gerschgorin特征值分离性定理的推广.docxVIP

文章编号 :100924822 (2004) 0520390203Ge r sc hgo rin 特征值分离性定理的推广杜宇辉 ,路云龙( 北华大学 师范理学院 , 吉林 吉林13 文章编号 :100924822 (2004) 0520390203 Ge r sc hgo rin 特征值分离性定理的推广 杜宇辉 ,路云龙 ( 北华大学 师范理学院 , 吉林 吉林 13 20 33) 摘要 :给出了矩阵特征值分布的分离性定理的一般性结果 ,进而得到了 Brualdi 型与 Brauer 型的分离性定理 ,改 进了已有的若干结果. 关键词 :特征值 ;有向图 ; k 2pat h 覆盖 中图分类号 :O151 . 21 文献标识码 :A 设 A = ( aij ) ∈C n ×n , N ∑ , i ∈ N . λ( A) 表 A 之特征值集合. 关 = { 1 , , n } . R i ( A ) ai j = j ∈N \ { i} 于矩阵特征值分布 , 有下面著名的 Gerschgo rin 圆盘定理 : 定理 1 1 (1) λ( A) 设 A = ( aij ) ∈C n ×n , Gi = { z ∈C ≤ R i ( A ) } , i ∈ N , 则 | z - aii | Α ∪Gi ; i ∈N ( 2) 若在上面 n 个圆盘中 , 有 k 个互相连通且与其余 n - k 个不相交 , 则 A 恰有 k 个特征值 ( 记入重数) 含在此 k 个圆盘组成的区域内. Wilkinso n 曾利用定理 1 之结论 (2) 对矩阵特征值进行了细致的扰动分析2 ,利用特征值的连续性我 们在非常一般的情况下给出定理 1 之结论 (2) 的一个推广. ×n 定理 2 设 A = ( aij ) ∈C n , D = diag{ a11 , 又设 R , S 是有界闭集 , R ∩ S = O, 使得λ( A t ) Α 重数计) , 则 R 恰含有 A 的 k 个特征值. , a n n } , B = A - D , 并记 A t = D + tB , t ∈[ 0 , 1 . R ∪ S , t ∈[ 0 , 1 . 若 R 恰包含 D 的 k 个特征值 ( 按 证明 记λ( A) = {λi } ,λ( At ) = {λi ( t) } , 由Ostrowski 定理及其证明[4 ] ,知λi ( t) , i ∈N ,是区间[ 0 , 1 ] 上 的 n 个连续函数. 先证明 :若λk (0) = ∈ R ,则λk (1) = λk ∈ R . 否则假设λk (1) = λk ∈S . 由λk ( t) 的连 akk 续性及[ 0 , 1 ] 的连通性知 ,λk ( [0 , 1 ]) = {λk ( t) | t ∈[ 0 , 1 } 为连通集合[5 ] . 因 R , S 是闭集 ,故 R 与 S 的距离 1 d ( R , S ) 0 ,取δ = d ( R , S ) . 令 E = λ ( [0 , 1 ]) ∩ ∪U ( z ;δ) , F = λ ( [0 , 1 ]) ∩ ∪U ( z ;δ) ,这里 U ( z ; k k 3 z ∈R z ∈S δ) 表 z 的δ开邻域 ,则 E , F 均为非空集合 ,且有 E ∩ lF = O,又因λ( At ) Α R ∪ S ,故λk ( [0 , 1 ]) = R ∪ S . 立见λk ( [0 , 1 ]) 不连通[5 ] ,矛盾. 同理可证 :若λk (0) = ∈ S ,则λk (1) = λk ∈ S . akk 由λ( A 0 ) = { a11 , , a n n } Α R ∪ S , 知此时 R 与 S 分别包含 D 的 k 和 n - k 个特征值 (按重数计) , 综合前面讨论 , 立见定理成立. 下面利用3 中结果 ,给出定理 2 的几个具体结果 ,他们的特殊情况给出了 Brualdi 型与 Brauer 型的分 离性定理. 记 Γ( A) 表示 A ∈C n ×n 的有向图 , N 是Γ( A ) 的结点集合 , E ( A) = {〈i , j 〉| ≠0 , i , j ∈ N } 是 aij 〈, i r - 1 , i r〉称为 Γ( A ) 的有向路径 , 简记为 ρ: i 1 , i 2 , 它的边集合. 有向边的序列〈: i 1 , i 2 〉〈, i 2 , i 3 〉, , i r . 一条封闭的有向路径 γ: i