矩阵分析课件chapter5 特征值的估计及对称矩阵的极性例题详解.docVIP

第五章 特征值的估计及对称矩阵的极性 本章主要讨论数值代数中的三个特殊理论， 即特征值的估计广义特征值问题以及实对称 矩阵（一般是Hermite矩阵）特征值的 极小极大原理，其次也涉及到一些特征值 和奇异值的扰动问题,最后简要地介绍矩阵 直积的一些性质及其在线性矩阵方程求解 方面的应用。这几方面的内容，在矩阵的 理论研究与实际应用当中都有着相当重要 的作用。 5.1特征值的估计 特征值的界 首先给出直接估计矩阵特征值模的上界的 一些方法 定理5.1 设A=(ars)?Rn×n,令 M= 表示A任一特征值，则的虚部Im() 满足不等式 （5.1.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)中等号成立。 定理5.4 （Hadamard’s inequality） 设A=(ars)?Cn×n,则有 (5.1.7) 且式(5.1.7)中等号成立的充分条件是某 as0=0或者（ar,as）=0(r?s), 这里a1,…,an表示A的n个列向量。 定理5.5 （Schur’s inequality） 设A=(ars)?Cn×n的特征值为?1，…，?n，则有 (5.1.9) 定义5.3 设A=（aij）?Cn×n,称由不等式 |z-aii|≤Ri (5.1.10) 在复平面上确定的区域为矩阵A的第i个 Gerschgorin圆（盖尔圆）Gi的半径（i=1,…,n）. 定理5.6 （Gerschgorin theorem1） 矩阵A=（aij）?Cn×n的一切特征值都 在它的n个盖尔圆的并集之内。 定理5.7 (Gerschgorin theorem2) 由矩阵A的所有盖尔圆组成的连通部分中 有且仅有A的k个特征值(盖尔圆相重时 重复计数，特征值相同时也重复计数). 推论 若将式(5.1.10)中的Ri改作 (5.1.13) 则定理5.6与定理5.7的结论仍然成立。 其中 ?i为任意的正实数。 利用推论，有时能够得到更精确的 特征值的包含区域。 例5. 严格对角占优矩阵非奇异。 定理5.8 设不可约矩阵*A=(aij)n×n有一个 特征值?在其n个盖尔圆|z-aii|≤Ri(I=1,…,n) 并集的边界上，则所有 n个圆周 |z-aii|=Ri(I=1,…,n) (5.1.16) 都通过点?。 谱与范数的关系：?(A)?||A|| 利用定理5.8,加强式(5.1.15) 的结果如下定理 所述。 定理5.9如果A=(aij)n×n不可约,且存在i0使得 则有p(A)||A|| 定理5.10 (Ky Fan)设A=(aij)?Cn×n,B=(bij)?Rn×n, 如果bij?|aij|(I,j=1,…,n)则对A的任一特征值?， 必有I使 (5.1.17) 引理2 设?和?是两个非负实数，0≤?≤1， 则有 ???1-?≤ ??+(1-?)? 定理5.11 （Ostrowski theorem1） 设A=(aij)?Cn×n,0≤?≤1,?是A的任一特征值。 则存在i使得 (5.1.19) 推论1. 在定理5.11的条件下，存在i使得 |?-aii|≤?Ri(A)+(1-?)Ri(AT) （5.1.24 关于定理5.11，还有以下的推论 推论2如果A奇异，取0≤?≤1，则存在i使得 (1) |aii|≤[Ri(A)]?[Ri(AT)]1-?; |aii|≤?Ri(A)+(1-?)Ri(AT). 推论3 对于0≤?≤1，恒成立 (1) ?(A) ≤max{|aii|+[Ri(A)]?[Ri(AT)]1-?}; (2) ?(A) ≤max{|aii|