chapter5矩阵.docVIP

第五章 特征值的估计及对称矩阵的极性本章主要讨论数值代数中的三个特殊理论，即特征值的估计 广义特征值问题实对称矩阵（一般是Hermite矩阵）特征值的极小极大原理，其次也涉及到一些特征值和奇异值的扰动问题,最后简要地介绍矩阵直积的一些性质及其在线性矩阵方程求解方面的应用。这几方面的内容，在矩阵的理论研究与实际应用当中都有着相当重要的作用。 5.1特征值的估计 特征值的界首先给出直接估计矩阵特征值模的上界的一些方法 定理5.1 设A=(ars)(Rn×n,令M= 表示A任一特征值，则的虚部Im() 满足不等式 |Im(()|(||A(AT||2 / 2 |Im(()|(||A(AT||1(/2. 证明：设x+i(y为对应于的A的特征向量，则 A(x+i(y)=((+((i)(x+i(y) 其中=(+((i.显然x,y为实向量，且x,y为线性无关的 向量。 经整理A(x,y)=(x,y)B, 其中B=。从而(x,y)TA(x,y)=(x,y)T(x,y)B 展开有 =((+ (( (求等式两边矩阵的对角元之和，可得((xTx+yTy)=xTAx+yTAy (1) 等式两边矩阵的左上角单元减去右下角单元 可得：((xTx+yTy)=xT(A(AT)y 1).记B=A(AT,则 |xTBy|(||x||2 (||B||2(||y||2 从而 |(|(||x||2 (||B||2(||y||2 /((||x||2)2 +(||y||2)2) 利用ab/(a2+b2)(1/2 可得 |(|(||B||2 /2. 2).由于|xTBy|(||Bx||1 (||y||((||B||1(||x||1 (||y||( 从而 |(|(||B||1 (||x||1 (||y||( /((||x||2)2 +(||y||2)2) 易证明 ||x||1 (||y||( /((||x||2)2 +(||y||2)2)(/2. (显然，不妨假设(||x||2)2 +(||y||2)2=1,设||y||(=t=cos((), 则y必为t( ej 的形式（为什么？）， 从而极值转化为求解如下最大值问题：max ||x||1, 满足约束(||x||2)2=1(t2 这样有均值不等式||x||1(||x||2= (1(t2)1/2,从而我们需要求解t(1(t2)1/2的最大值，设t=cos(()可得t(1(t2)1/2的最大值为1/2. 从而得证。)因此 |(|(||B||1(/2. 3). 由于bii=0, i =1,2,…,n, bij= (bji, 因此 |xTBy|2=||2((2M)2 (利用(a1+a2+…+an)2( n((a1)2+(a2)2+…+(an)2)((2M)2 (n(n(1)/2) ((2M)2 (n(n(1)/2)( =M2 (n(n(1))(2([ (xT x)((yTy)( (xT y)2] 利用[ (xT x)((yTy)( (xT y)2]((xT x)((yTy)可得 |(|(M (2n(n(1))1/2 (xT x)1/2((yTy)1/2 /(xTx+yTy)(M (2n(n(1))1/2 / 2=M (n(n(1)/2)1/2 4). |xTBy|=||( 而 ((xT x)1/2((yTy)1/2 由此可以有|(|((1/2) 思考题：对于(1)式，利用定理推导的类似技术，求出关于|(|的界。 推论 实对称矩阵的特征值都是实数。 事实上，当A这实对称矩阵时，M=0.由定理5.1可得Im()=0,即为实数。 引理1 设B(Cn×n,列向量y(Cn满足||y||2=1,则|yHBy|. 定理5.2 设A(Cn×n，则A的任一特征值满足||||A|| (5.1.3 ) (5.1.4) 推论: Hermite矩阵的特征值都是实数; 反Hermite矩阵的特征值为零或纯虚数。 事实上，当A为Hermite矩阵时，由式（5.1.4）知Im()=0,即为实数； 当A为反Hermite矩阵时，由式（5.1.3）知Re()=0,即为为零或纯虚数。 定义.5.1设 ,则称矩阵A按行(弱)对角占优。 定义5.2 设A(Cn×n。如果AT按行严格对角占优，则称A按列严格对角占优； 如果AT按行（弱）对角占优，则称A按列（弱）对角占优。 对直接估计矩阵特征之乘积的模的界，再给出以下两个方法。 定理5.3 设A=(ars)(Cn×n,令Mr=|arr|+ 如果A按行严格对角占优，则(5.1.5) 且当ars=0(sr)时，式(5.1.5)中等号成立。 证明：由于A按对角占优， 所以det(A)(0. 考虑方程组 因为A按行对角占优，