第五章特征值估计及对称矩阵的极性-1.ppt

第五章 特征值估计及极性 知识要点： 特征值的估计； 广义特征值问题； 特征值的极小极大原理; 特征值和奇异值的扰动； 广义特征值分析的应用。 §5.1特征值的估计 一、特征值的界 ： 1.定理 设A=(aij)?Rn×n，若?表示A的任一特征值，则|Im(?)|?M[0.5n(n-1)]0.5，其中M=max{0.5|aij-aji|} 。 2.推论 实对称矩阵的特征值都是实数。 证 当A为实对称矩阵时，M=0．由定理可得Im(?)=0．即?为实数。 3.引理 设B?Cn×n，单位列向量y?Cn，则||y||B2 ? ||B||m?=n·max|bij| 一、特征值的界 4. 定理 设A?Cn×n，则A的任一特征值? 满足|?|?||A||m?， |Re(?)|?0.5||A+AH||m?， |Im(?)|? 0.5||A－AH||m?。(该虚部模上界更优) 5. 推论 Hermite矩阵的特征值都是实数，反Hermite矩阵的特征值为零或纯虚数． 证 由4.知，当A为Hermite阵时，Im(?)=0，即?为实数；当A为反Hermite阵时，Re(?)=0，即?为零或纯虚数。 一、特征值的界 6.定义 设A=(aij)?Cn×n,记Rr=?s?r|ars|,?r=1,…,n，如果|arr|＞Rr (r=1，…，n)，则称矩阵A按行严格对角占优；如果|arr|?Rr (r=1，…，n)，且有l?ro?n，使得|aroro|Rro成立，则称矩阵A按行(弱)对角占优。 7. 定义 设A?Cn×n，如果AT按行严格对角占优，则称A按列严格对角占优；如果AT按行(弱)对角占优、则称A按列(弱)对角占优。 一、特征值的界 8.定理 设A=(aij)?Cn×n，令Mr=|arr|+?sr|ars|，mr=|arr|-?s?r|ars| ，若A按行严格对角占优，则0?r=1,…,nmr?|detA|=?r=1,…,n|?r(A)|??r=1,…,n Mr ， 且当ars=0(s＞r)时，式中等号成立。 模最小 特征值的上界min(|?(A)|)?(?rMr)1/n 9.定理 设A=(aij)?Cn×n,则|detA|?[?s(?r|ars|2)] 0.5 。 10.定理 设A=(aij)?Cn×n的特征值为?1,…,?n，则?r| ?r|2 ?||A||F2 ，式中等号成立的充要条件是A为正规矩阵。 二、特征值的包含区域 1. 定义 设A=(aij)?Cn×n，称区域Gi:|z-aii|?Ri为矩阵A的第i个盖尔圆，其中Ri=?j?i|aij|称为盖尔圆Gi的半径(i=l，…，n) 。 2. 定理 矩阵A=(aij)?Cn×n的一切特征值都在它的n个盖尔圆的并集之内． 3.定理 由矩阵A的所有盖尔圆组成的连通部分中任取一个，如果它是由k个盖尔圆构成的，则在这个连通部分中有且仅有A的k个特征值(盖尔圆相重时重复计数．特征但相同时也重复计数)．． 二、特征值的包含区域 由两个或两个以上的盖尔圆构成的连通部分，可能在其中的一个盖尔圆中有两个或两个以上的特征值，而在另外的一个或几个盖尔圆中没有特征值． 若将Ri改作ri=?j?i(|aij|?i/?j) ，则两个盖尔定理仍然成立，其中?i都是正数。 适当选取这些正数，可以获得只含A的一个特征值的孤立盖尔圆． 二、特征值的包含区域 选取的一般方法是：观察A的n个盖尔圆，欲使第i个盖尔圆Gi的半径变大(或小)些，就取?i＞1(或?i＜1)．而取其它正数=1。 此时，B=DAD-1的第i个盖尔圆的半径变大(或小)，而B的其余盖尔圆的半径相对变小(或变大)． 但是，这种隔离矩阵特征值的办法还不能用于任意的具有互异特征值的矩阵．比如主对角线上有相同元素的矩阵． 如果矩阵A按行(列)严格对角占优，则detA?0。 例: 隔离矩阵A= 的特征值． A的3个盖尔圆为G1： |z-20|?5.8，G2： |z-10|?5，G3： |z-10j|?3。G1与G2相交；而G3孤立，其中恰好有A的一个特征值，记作?3 (见左图)．选取D=diag(1，1，2)，则B=DAD-1的三个盖尔圆为G1’： |z-20|?5.4，G2’： |z-10|?4.5，G3’： |z-10j|?6。易见，这是3个孤立的盖尔圆，每个盖尔圆中恰好有B的(也是A的)一个特征值(见右图)． 三、扰动理论中的特征值估计 1.定理: 设A=PDP-1?Cn×n ，D=diag(?1,…,?n)，Q?Cn×n，且A+Q的特征值?1,…, ?n，则对任一?j，存在着?i使得|?i-?j|?||PQP-1||? 。如果?i是一个重数为m的特征值，且圆盘Si ={z||z-?i|?