f(x)=(xTMx)/(xTx)，M是实对称正定矩阵，则函数的最大和最小值分别为M的最大和最小特征值

sunrise_ccx

已于 2022-11-25 12:03:03 修改

阅读量5.2k

点赞数 4

CC 4.0 BY-SA版权

分类专栏：矩阵文章标签：正定矩阵实对称矩阵

于 2018-09-10 13:27:54 首次发布

本文链接：https://blog.youkuaiyun.com/qq_27061325/article/details/82585270

矩阵专栏收录该内容

1 篇文章

订阅专栏

本文探讨了二次型中实对称矩阵M的性质，特别是其特征向量间的正交性，并介绍了如何利用这些特征向量构建线性空间的基底。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Solution:

由于 $x^{T}Mx$ 是一个二次型，M一般表示为实对称矩阵，进而M对应于不同特征值的特征向量相互正交。因为

$Mx_{1}=\lambda_{1} x_{1}, Mx_{2}=\lambda_{2} x_{2}$ ，

$x_{2}^TMx_{1}=\lambda_{1}x_{2}^T x_{1},$

$\because M=M^T, \therefore x_{1}^TMx_{2}=\lambda_{1}x_{1}^T x_{2},$

$Meanwhile, x_{1}^TMx_{2}=\lambda_{2} x_{1}^T x_{2}, \therefore (\lambda_{1}-\lambda_{2})x_{1}^T x_{2}=0,$

$\because \lambda_{1}\neq \lambda_{2}, \therefore x_{1}^T x_{2}=0. \: \!$

因此可以将所有特征向量作为线性空间的一组基底，记为 $x_{i}^*, i=1,2,...,n$ ，满足

$(x_{i}^{*}, x_{j}^{*})=0, \mathrm{if}\, i\neq j$

$Mx_{i}^* = \lambda _{i} x_{i}^*$

这里 $\left ( a, b \right )$ 表示向量a, b的点乘运算。

则对于向量x，可以表示为 $x=\sum_{i=1}^{n}\alpha _{i} x_{i}^*$ ，显然 $x^Tx=\sum_{i=1}^{n}\alpha _{i}^{2}x_{i}^{*2}$ , 而分子

$x^TMx=(x, Mx)\\ =(\sum_{i=1}^{n}\alpha _{i} x_{i}^*, M\sum_{i=1}^{n}\alpha _{i} x_{i}^*)\\ =(\sum_{i=1}^{n}\alpha _{i} x_{i}^*, \sum_{i=1}^{n}\alpha _{i}M x_{i}^*)\\ =(\sum_{i=1}^{n}\alpha _{i} x_{i}^*, \sum_{i=1}^{n}\alpha _{i} \lambda _{i} x_{i}^*)\\ =\sum_{i=1}^{n}\lambda_{i}\alpha _{i}^{2} x_{i}^{*2}$

$\because \underline {\lambda} \leq \lambda _{i} \leq \overline{\lambda}$ ,

$\therefore \underline{\lambda}\sum_{i=1}^{n}\alpha _{i}^{2} x_{i}^*^{2}\leq x^TMx \leq \overline{\lambda}\sum_{i=1}^{n}\alpha _{i}^{2} x_{i}^*^{2}$ ,