孔祥強(qiáng)(菏澤學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,山東 菏澤 274015)
矩陣特征值的擾動(dòng)問(wèn)題是矩陣擾動(dòng)分析的重要方向。A表示原始矩陣,B表示擾動(dòng)后的矩陣,對(duì)于A和B同階的情形,研究成果已相當(dāng)豐富。當(dāng)A與B不同階時(shí),對(duì)于這種矩陣特征值的殘差擾動(dòng)界的研究,部分成果可參見(jiàn)文獻(xiàn)[1-3]。文獻(xiàn)[4]研究了不變子空間上可對(duì)角化矩陣及可對(duì)稱化矩陣的殘差擾動(dòng)界。文獻(xiàn)[5]研究了Hermite矩陣與可對(duì)稱化矩陣特征值的Weyl-殘差型擾動(dòng)界。本文繼續(xù)研究Hermite矩陣及可對(duì)稱化矩陣特征值的擾動(dòng),得到新的Wielandt-Hoffman-殘差型擾動(dòng)界。
引理1[8]設(shè)A,B∈Cn×n均是Hermite陣,Q∈Cn×n是Hermite正定陣,其特征值γ1≥γ2≥…≥γn,c是任意正數(shù),則
其中
定理1設(shè)A∈Cn×n為Hermite陣,即存在酉陣P,使A=PΛ1P-1,Λ1=diag(λ1,…,λn);B∈Cm×m為可對(duì)稱化矩陣,即存在可逆陣Q,使
為列滿秩陣,Σ=diag(σ1,…,σm),σ1≥…≥σm,則存在1,…,n的某個(gè)排列π,使得
(1)
(2)
故
(3)
(4)
由引理1,
將式(2)、(3)、(4)代入上式,得
(5)
(6)
將式(5)、(6)代入(1),得
由引理2,存在1,…,n的某個(gè)排列π,使得
故
注1①不難看出,n=m時(shí),定理1仍成立,即為文[10]中結(jié)論。故定理1是文[10]中結(jié)論的推廣。
定理2設(shè)A∈Cn×n,B∈Cm×m均為可對(duì)稱化矩陣,即存在可逆陣P,Q,使得
A=PΛ1P-1,Λ1=diag(λ1,…,λn),
B=QΛ2Q-1,Λ2=diag(μ1,…,μm),
(7)
(8)
故
(9)
(10)
依引理1,
將式(8)、(9)、(10)代入上式,得
則
(11)
(12)
將式(11)、(12)代入(7),得
依引理2,存在1,…,n的某個(gè)排列π,使得
所以
故
②若A為Hermite陣,則K(P)=1,結(jié)論即為定理1。因此定理2比定理1 更強(qiáng)。
③若A,B均為Hermite陣,X為單位陣E,則結(jié)論即為Wielandt-Hoffman定理。故定理2是Wielandt-Hoffman定理的推廣。
本文探討了Hermite陣和可對(duì)稱化矩陣特征值的殘差型擾動(dòng)上界。以此為基礎(chǔ),可進(jìn)一步研究正規(guī)矩陣和可對(duì)角化矩陣特征值的擾動(dòng)界,進(jìn)而研究原始矩陣及其擾動(dòng)后的矩陣均為任意矩陣的情形。