网站建设代理怎么做,做坑网站需要,设计公司注册需要什么条件,电子商务网站建设规划教案目录 28.正定矩阵#xff0c;最小值打赏 28.正定矩阵#xff0c;最小值
由第 26 26 26讲的末尾可知在矩阵为实对称矩阵时#xff0c;正定矩阵有以下四种判定方法#xff08;都是充要条件#xff09;#xff1a;
所有特征值都为正左上角所有 k k k阶子矩阵行列式都为正最小值打赏 28.正定矩阵最小值
由第 26 26 26讲的末尾可知在矩阵为实对称矩阵时正定矩阵有以下四种判定方法都是充要条件
所有特征值都为正左上角所有 k k k阶子矩阵行列式都为正 1 ≤ k ≤ n 1 \le k \le n 1≤k≤n所有主元都为正对于任意非零实向量 x ⃗ \vec{x} x 均满足 x ⃗ T M x ⃗ 0 \vec{x}^T M \vec{x} 0 x TMx 0
其中最后一种常常作为正定矩阵的定义
当上述判定条件中的正都换为非负时得到的就是半正定矩阵
对于一个实对称矩阵 A A A x ⃗ T A x ⃗ \vec{x}^T A \vec{x} x TAx 等于一个由二次项构成的多项式这种形式就是矩阵的二次型
例 对于矩阵 A [ 2 6 6 7 ] A \begin{bmatrix} 2 6 \\ 6 7 \end{bmatrix} A[2667]它的二次型为 x ⃗ T A x ⃗ [ x 1 x 2 ] [ 2 6 6 7 ] [ x 1 x 2 ] 2 x 1 2 12 x 1 x 2 7 x 2 2 \vec{x}^T A \vec{x} \begin{bmatrix} x_1 x_2 \end{bmatrix} \begin{bmatrix} 2 6 \\ 6 7 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} 2 x_1^2 12 x_1 x_2 7 x_2^2 x TAx [x1x2][2667][x1x2]2x1212x1x27x22 容易证明无论对于多少阶的实对称矩阵得到的都是二次项构成的多项式即不存在三次型四次型等 也就是说如果一个实对称矩阵的二次型恒大于零那么它是一个正定矩阵当考虑一个多元二次函数是否恒为正时可以找到对应的对称矩阵并判断是否为正定矩阵 如果这个多元二次函数有二次项或常数项可以给 x ⃗ \vec{x} x 末尾添加一个元素 1 1 1那么对应的对称矩阵最后一个元素即为常数项的值最后一列和最后一行的元素除最后一个依次为对应的自变量的系数的二分之一 即函数 f ( x 1 , ⋯ , x n ) a 1 , 1 x 1 2 ⋯ a n , n x n 2 b 1 x 1 ⋯ b n x n c f(x_1 , \cdots , x_n) a_{1 , 1} x_1^2 \cdots a_{n , n} x_n^2 b_1 x_1 \cdots b_n x_n c f(x1,⋯,xn)a1,1x12⋯an,nxn2b1x1⋯bnxnc其中 a i , j a_{i , j} ai,j表示 x i x j x_i x_j xixj的系数对应的对称矩阵为 [ a 1 , 1 a 1 , 2 2 ⋯ b 1 2 a 1 , 2 2 a 2 , 2 ⋯ b 2 2 ⋮ ⋮ ⋱ ⋮ b 1 2 b 2 2 ⋯ c ] \begin{bmatrix} a_{1 , 1} \dfrac{a_{1 , 2}}{2} \cdots \dfrac{b_1}{2} \\ \dfrac{a_{1 , 2}}{2} a_{2 , 2} \cdots \dfrac{b_2}{2} \\ \vdots \vdots \ddots \vdots \\ \dfrac{b_1}{2} \dfrac{b_2}{2} \cdots c \end{bmatrix} a1,12a1,2⋮2b12a1,2a2,2⋮2b2⋯⋯⋱⋯2b12b2⋮c 不过此时“对应的对称矩阵是正定矩阵”就成了充分条件而非充要条件 考虑将一个二阶实对称矩阵的二次型表示为图像继续使用刚才的例子 [ 2 6 6 7 ] \begin{bmatrix} 2 6 \\ 6 7 \end{bmatrix} [2667]得到 z 2 x 2 12 x y 7 y 2 z 2x^2 12xy 7y^2 z2x212xy7y2 当 y 0 , x 0 y 0 , x 0 y0,x0时分别得到 z O x zOx zOx面和 y O z yOz yOz面上的二次函数当 x y x y xy时得到一个 z O x zOx zOx面和 y O z yOz yOz面中间的二次函数 依此类推可以发现在部分情况下 z 0 z 0 z0并且可以想象到这个函数图像类似一个马鞍原点是一个鞍点在某个方向是极大值在另一个方向是极小值 反之当矩阵为正定矩阵时图像类似一个碗抛物面 此时将图像水平切开即令 z z z为一个常数那么马鞍图像的截面为一个双曲线碗图像的截面为一个椭圆 把刚才的例子的最后一个元素换为 20 20 20得到 [ 2 6 6 20 ] \begin{bmatrix} 2 6 \\ 6 20 \end{bmatrix} [26620] 二者的二次型分别配方得到 { 2 x 1 2 12 x 1 x 2 7 x 2 2 2 ( x 3 y ) 2 − 11 y 2 2 x 1 2 12 x 1 x 2 20 x 2 2 2 ( x 3 y ) 2 2 y 2 \left \{ \begin{matrix} 2 x_1^2 12 x_1 x_2 7 x_2^2 2(x 3y)^2 - 11y^2 \\ 2 x_1^2 12 x_1 x_2 20 x_2^2 2(x 3y)^2 2y^2 \end{matrix} \right. {2x1212x1x27x222(x3y)2−11y22x1212x1x220x222(x3y)22y2 实际上配方后这些平方的系数和实对称矩阵的主元有关 例如 [ 2 6 6 20 ] L U \begin{bmatrix} 2 6 \\ 6 20 \end{bmatrix} LU [26620]LU分解后得到 [ 1 0 3 1 ] [ 2 6 0 2 ] L U \begin{matrix} \begin{bmatrix} 1 0 \\ 3 1 \end{bmatrix} \begin{bmatrix} 2 6 \\ 0 2 \end{bmatrix} \\ L U \end{matrix} [1301]L[2062]U两个主元分别用作平方的系数而 3 3 3用作第一个平方里 y y y的系数 n n n阶实对称矩阵的二次型可以写成 d 1 ( x 1 ⋯ e 1 , n x n ) 2 d 2 ( x 2 ⋯ e 2 , n x n ) 2 ⋯ d n x n 2 d_1(x_1 \cdots e_{1 , n} x_n)^2 d_2(x_2 \cdots e_{2 , n} x_n)^2 \cdots d_n x_n^2 d1(x1⋯e1,nxn)2d2(x2⋯e2,nxn)2⋯dnxn2 模拟一下消元过程可以发现 d i u i , i , e i , j l j , i d_i u_{i , i} , e_{i , j} l_{j , i} diui,i,ei,jlj,i u , l u , l u,l表示 L U LU LU分解后 U , L U , L U,L中的元素这是可以证明的但是我还没找到描述起来比较简洁的证明方法 由此可以发现平方项的系数即为对应主元所以正定矩阵的主元均为正数 已知某个二元函数 f ( x , y ) f(x , y) f(x,y)在 ( x 0 y 0 ) (x_0 y_0) (x0y0)处有极小值的一个充分条件是函数在 ( x 0 , y 0 ) (x_0 , y_0) (x0,y0)的某邻域内连续且有一阶及二阶偏导数又 f x ( x 0 , y 0 ) f x ( x 0 , y 0 ) 0 , f x x ( x 0 , y 0 ) f y y ( x 0 , y 0 ) − f x y 2 ( x 0 , y 0 ) 0 f_x(x_0 , y_0) f_x(x_0 , y_0) 0 , f_{xx}(x_0 , y_0) f_{yy}(x_0 , y_0) - f_{xy}^2(x_0 , y_0) 0 fx(x0,y0)fx(x0,y0)0,fxx(x0,y0)fyy(x0,y0)−fxy2(x0,y0)0且 f x x ( x 0 , y 0 ) 0 f_{xx}(x_0 , y_0) 0 fxx(x0,y0)0 易证最后两个条件刚好与矩阵 [ f x x ( x 0 , y 0 ) f x y ( x 0 , y 0 ) f y x ( x 0 , y 0 ) f y y ( x 0 , y 0 ) ] \begin{bmatrix} f_{xx}(x_0 , y_0) f_{xy}(x_0 , y_0) \\ f_{yx}(x_0 , y_0) f_{yy}(x_0 , y_0) \end{bmatrix} [fxx(x0,y0)fyx(x0,y0)fxy(x0,y0)fyy(x0,y0)]是正定矩阵等价 这还可以推广至更加多元的函数 证明 暂时不会证明 \color{OrangeRed}暂时不会证明 暂时不会证明 对于一个二阶正定矩阵 A A A把它拆为 Q Λ Q T Q \Lambda Q^T QΛQT其中的 Q , Q T Q , Q^T Q,QT可以分别被视为行向量和列向量的旋转矩阵并且二者导致的旋转一样 令 x ⃗ T A x ⃗ x ⃗ T Q Λ Q T x ⃗ 1 \vec{x}^T A \vec{x} \vec{x}^T Q \Lambda Q^T \vec{x} 1 x TAx x TQΛQTx 1依本讲第 2 2 2点可知这是一个中心在原点正上方的平行于 x O y xOy xOy面的斜椭圆的方程容易发现两个特征值分别决定斜椭圆长轴和短轴长度即 2 1 λ 1 , 2 1 λ 2 2 \sqrt{\dfrac{1}{\lambda_1}} , 2 \sqrt{\dfrac{1}{\lambda_2}} 2λ11 ,2λ21 分别为长轴和短轴长度其中 λ 1 λ 2 \lambda_1 \lambda_2 λ1λ2两个特征向量分别与长轴和短轴方向一致 推广到更加高阶这种关系也是成立的比如三阶正定矩阵的三个特征值倒数的平方根的两倍分别等于对应椭球的三个主轴长度三个特征向量分别与三个主轴方向一致 这就是为什么这种拆分被称为主轴定理 证明 暂时不会证明 \color{OrangeRed}暂时不会证明 暂时不会证明 打赏
制作不易若有帮助欢迎打赏
