Hermite矩陣與矩陣方程的解

李小明, 朱心怡, 魏俊潮

(揚(yáng)州大學(xué)數(shù)學(xué)科學(xué)學(xué)院, 江蘇 揚(yáng)州 225002)

1 預(yù)備知識

Cn×n表示復(fù)數(shù)域C上的全矩陣環(huán)．設(shè)A∈Cn×n, 若A=AH, 則稱A是Hermite矩陣, 簡稱H矩陣[9-10]． 矩陣A的Moore-Penrose逆矩陣, 即MP逆矩陣是指存在唯一的矩陣A+, 滿足A=AA+A,A+=A+AA+, (AA+)H=AA+, (A+A)H=A+A．眾所周知,Cn×n上每個矩陣都存在Moore-Penrose逆矩陣．矩陣A稱為群可逆矩陣, 是指存在唯一的矩陣, 記為A#(稱為A的群逆矩陣), 滿足A=AA#A,A#=A#AA#,AA#=A#A．設(shè)A是群可逆矩陣, 若A#=A+, 則稱A為EP矩陣． 有關(guān)EP矩陣的研究, 可參考文獻(xiàn)[11-13]．

引理1[1]若A∈Cn×n是H矩陣,則A是EP矩陣．

引理2[9]若A∈Cn×n, 則A是H矩陣當(dāng)且僅當(dāng)A+是H矩陣．

引理3[9]若A∈Cn×n, 則A是H矩陣當(dāng)且僅當(dāng)AAH=A2．

引理4[7]若A∈Cn×n是群可逆矩陣, 則:

i)A#=A#A+A=AA+A#;

ii)A+=A+(AA#)H=(AA#)HA+;

iii) 下列條件等價: 1)A是EP矩陣; 2)A=A2A+; 3)A=A+A2; 4)A+=A+A+A; 5)A+=AA+A+; 6)AH=AHA+A; 7)AH=AA+AH; 8)AA#=AA+; 9)A#A=A+A; 10) (AA#)H=AA+AH; 11)A+=A#AA+; 12)AH=AHA#A; 13)A#=A#AA+．

引理5[10]設(shè)A∈Cn×n是群可逆矩陣, 則: i)AAH是EP矩陣且(AAH)+=(A+)HA+; ii)A2是群可逆矩陣且(A2)#=A#A+A#A=(A#)2; iii) (A2)+=A+A#AA+．

2 主要結(jié)果

定理6設(shè)A∈Cn×n是群可逆矩陣, 則

i)A是H矩陣當(dāng)且僅當(dāng)(A+)HA+=A+A#AA+;

ii)A是H矩陣當(dāng)且僅當(dāng)(A+)HA+=(A#)2;

iii)A是H矩陣當(dāng)且僅當(dāng)(A+)HA+=A+A#;

iv)A是H矩陣當(dāng)且僅當(dāng)(A+)HA#=A+A#AA+．

證明 i) 必要性．假設(shè)A是H矩陣, 由引理1知,A是EP矩陣, 故A#=A+．由引理2知,A+是H矩陣, 故(A+)H=A+,A+A#AA+=A+A#AA#=A+A#=(A+)2=(A+)HA+．

充分性．由引理5知, (A+)HA+=(AAH)A+,A+A#AA+=(A2)+, 故(AAH)+=(A2)+．由MP逆的唯一性知,AAH=A2, 故由引理3知,A是H矩陣．

ii) 必要性．設(shè)A是H矩陣, 由引理2知(A+)H=A+．由引理1知A#=A+, 故(A+)HA+=(A+)2=(A#)2．

充分性．由引理5知(A+)HA+=(AAH)+=(AAH)#, (A#)2=(A2)#, 故(AAH)#=(A2)#．由群逆元的唯一性, 得AAH=A2, 故由引理3知A是H矩陣．

iii) 必要性．由于A是H矩陣, 則由(ii)的證明知,(A+)HA+=(A+)2=A+A#．

充分性．由引理5知, (AAH)+=(A+)HA+=(A+)HA+AA+=A+A#AA+=(A2)+, 于是AAH=A2, 由引理3知A是H矩陣．

iv) 必要性．因為A是H矩陣, 所以由(ii)的證明知A+A#AA+=(A+)HA#AA#=(A+)HA#．

充分性．由引理5及引理4知, (A2)+=A+A#AA+=A+A#AA+AA+=(A+)HA#AA+=(A+)HA+=(AAH)+,A2=AAH, 由引理3知A是H矩陣．

引理7設(shè)A∈Cn×n是群可逆矩陣, 則

i) ((A+)HA#)+=A+A2AH;

ii) ((A+)HA#)#=AAHAA#;

iii)A+A#AA+是群可逆矩陣且(A+A#AA+)#=(AA#)HA2(AA#)H．

證明 i) 直接驗證可得((A+)HA#)(A+A2AH)=(A+)HA#AAH=(A+)HAH=AA+,(A+A2AH)·((A+)HA#)=A+A2(A+A)HA#=A+A2A+AA#=A+A2A+A#A=A+AA#A=A+A, ((A+)HA#)·(A+A2AH)((A+)HA#)=AA+(A+)HA#=(A+)HA#, (A+A2AH)((A+)HA#)(A+A2AH)=A+AA+A2AH=A+A2AH, (((A+)HA#)(A+A2AH))H=(AA+)H=AA+=((A+)HA#)(A+A2AH), ((A+A2AH)((A+)HA#))H=(A+A)H=A+A=(A+A2AH)((A+)HA#), 故((A+)HA#)+=A+A2AH．

ii) 注意到((A+)HA#)(AAHAA#)=(A+)HAHAA#=(AA+)HAA#=AA+AA#=AA#, (AAHAA#)((A+)HA#)=AAH(A+)HA#=A(AA+)HA#=AA+AA#=AA#,((A+)HA#)(AAHAA#)·((A+)HA#)=AA#(A+)HA#=(A+)HA#, (AAHAA#)((A+)HA#)(AAHAA#)=AA#AAHAA#=AAHAA#, ((A+)HA#)(AAHAA#)=AA#=AAHAA#(A+)HA#, 故((A+)HA#)#=AAHAA#．

iii) (A+A#AA+)((AA#)HA2(AA#)H)=A+A#AA+A2(AA#)H=A+A#A2(AA#)H=A+A(AA#)H=(AA#)H, ((AA#)HA2(AA#)H)(A+A#AA+)=(AA#)HA2(A+A)HA#A+=(AA#)HA2A+AA#A+=(AA#)HAA+=(AA#)H, (A+A#AA+)((AA#)HA2(AA#)H)(A+A#AA+)=(AA#)HA+A#AA+=(A+A)HA#A+=A+A#AA+,((AA#)HA2(AA#)H)(A+A#AA+)((AA#)HA2·(AA#)H)=(AA#)H(AA#)HA2(AA#)H=(AA#AA#)HA2(AA#)H=(AA#)HA2(AA#)H, 故(A+A#AA+)#=(AA#)HA2(AA#)H．

定理8設(shè)A∈Cn×n是群可逆矩陣,則

i)A是H矩陣當(dāng)且僅當(dāng)A2=A+A2AH;

ii)A是H矩陣當(dāng)且僅當(dāng)AAHAA#=(AA#)HA2(AA#)H．

證明 i) 必要性．若A是H矩陣, 由引理1知,A是EP矩陣, 則A#=A+, 進(jìn)而A2=AA#AA=A#AAAH=A+A2AH．

充分性．由引理4以及引理7, 得(A+)HA#=(((A+)HA#)+)+=(A+A2AH)+=(A2)+=A+A#AA+．由定理6的(iv)知,A是H矩陣．

ii) 必要性．假設(shè)A是H矩陣, 則A=AH．由引理1知,A是EP矩陣,A#=A+, 故(AA#)HA2·(AA#)H=(AA+)HA2(AA+)H=AA+A2AA+=A3A+=AAHAA#．

充分性．根據(jù)引理7, 有(A+A#AA+)#=(AA#)HA2(AA#)H=AAHAA#=((A+)HA#)#．由群逆元的唯一性知,A+A#AA+=(A+)HA#, 故由定理6的(iv)知,A是H矩陣．

定理9設(shè)A∈Cn×n是群可逆矩陣, 則A是H矩陣當(dāng)且僅當(dāng)AHAA#=A+A2(AA#)H．

證明 必要性．對定理8的(ii)中等式左乘A+, 得AHAA#=A+A2(AA#)H．

充分性．設(shè)AHAA#=A+A2(AA#)H, 用A(AA#)H左乘, 得AAHAA#=A2(AA#)H．用A+A右乘, 得A2(AA#)H=A2, 故A(AA#)H=A, 從而AH=AA#AH．由引理4知A是EP矩陣, 則AAHAA#=A2(AA#)H=AA#AH=(AA+)HA2(AA+)H=(AA#)HA2(AA#)H, 故由定理8知A是H矩陣．

定理10設(shè)A∈Cn×n是群可逆矩陣, 則: i)A是H矩陣當(dāng)且僅當(dāng)AA#=(A+)HA(AA#)H; ii)A是H矩陣當(dāng)且僅當(dāng)AA#=(A#)HA(AA#)H．

證明 i) 必要性．由于A是H矩陣, 故定理9中等式成立．用(A+)H左乘此等式得AA#=(A+)HA(AA#)H．

充分性．設(shè)AA#=(A+)HA(AA#)H, 右乘AA+, 得AA+=AA#, 故A是EP矩陣．于是AA#=(A+)HA(AA#)H=(A+)HA(AA+)H=(A+)HA2A+=(A+)HA, 有A#=A(A#)2=(A+)HAA#=(A+)H=(A#)H, 故A是H矩陣．

ii) 必要性．設(shè)A是H矩陣, 由引理1知A是EP矩陣, 有A#=A+, 故(A#)HA(AA#)H=A#A(AA+)H=A#A2A#=AA#．

充分性．設(shè)AA#=(A#)HA(AA#)H, 右乘AA+得AA#=AA+, 故A是EP矩陣, 有AA#=(A#)HA(AA+)H=(A#)HA2A+=(A#)HA2A#=(A+)HA．由(i)的證明知,A是H矩陣．

根據(jù)定理10可構(gòu)造矩陣方程

(A#)HX(AA#)H=AA#．

(1)

定理11設(shè)A∈Cn×n是群可逆矩陣, 則A是H矩陣當(dāng)且僅當(dāng)矩陣方程(1)有解, 且一般解為

X=A+U-AA+UA+A,U∈Cn×n．

(2)

證明 必要性．若A是H矩陣, 由定理10(ii)知,A為方程(1)的解, 且(A#)H(A+U-AA+UA+A)(AA#)H=(A#)HA(AA#)H+(A#)HU(AA#)H-(A#)HAA+UA+A(AA#)H=AA#+(A#)HU(AA#)H-(A#)HU(AA#)H=AA#, 所以式(2)總是矩陣方程(1)的解．設(shè)X0為方程(1)的解, 則(A#)HX0(AA#)H=AA#．由AA+X0A+A=(AA+)HX0(A+A)H=(AA#)HX0(AA#)H=AHAA#=A, 得X0=A+X0-AA+X0A+A, 故式(2)為矩陣方程(1)的一般解．

充分性．已知方程(1)的一般解由式(2)給出, 令U=O, 有(A#)HA(AA#)H=AA#, 由定理10(ii)知A是H矩陣．

定理12設(shè)A∈Cn×n是群可逆矩陣, 則A是EP矩陣當(dāng)且僅當(dāng)矩陣方程(1)有解, 且解的一般形式為

X=AH+U-AA+UA+A,U∈Cn×n．

(3)

證明 必要性．若A是EP矩陣, 則A=A#, 有(A#)HAH(AA#)H=(A+)HAH(AA+)H=(AA+AA+)H=(AA+)H=AA+=AA#, 故AH是方程(1)的解, 于是(A#)H(AH+U-AA+UA+A)·(AA#)H=(A#)HAH(AA#)H+(A#)HU(AA#)H-(A#)HAA+UA+A(AA#)H=AA#, 即式(3)總是方程(1)的解．設(shè)X0為方程(1)的解, 則(A#)HX0(AA#)H=AA#,AA+X0A+A=(AA+)HX0(A+A)H=(AA#)HX0(A#A)H=AH(A#)HX0(AA#)H=AHAA#=AHAA+=AH, 于是X0=AH+X0-AA+X0A+A, 故方程(1)的解總有式(3)的形式．

充分性．已知方程(1)的一般解由式(3)給出, 則(A#)H(AH+U-AA+UA+A)(AA#)H=AA#, 即有(AA#)H=AA#．由引理4得,A是EP矩陣．

構(gòu)造矩陣方程

A(A#)HXA+AA#=AA#．

(4)

定理13設(shè)A∈Cn×n是群可逆矩陣, 則矩陣方程(4)的一般解由式(3)給出．

證明 直接計算可得A(A#)H(AH+U-AA+UA+A)A+AA#=A(A#)HAHA+AA#+A(A#)HUA+AA#-A(A#)HAA+UA+AA+AA#=AA+AA#+A(A#)HUA+AA#-A(AA+A#)HUA+·AA#=AA#, 故式(3)總是方程(4)的解． 設(shè)X0為方程(4)的解, 則A(A#)HX0A+AA#=AA#．右乘A得A(A#)HX0A+A=A, 左乘AA+AHA+得AA+X0A+A=AA+AHA+A, 故AA+(X0-AH)A+A=O．所以,X0=AH+(X0-AH)-AA+(X0-AH)A+A=O, 即方程(4)的解總是形如式(3)．

推論14設(shè)A∈Cn×n是群可逆矩陣,A是EP矩陣當(dāng)且僅當(dāng)矩陣方程(1)與矩陣方程(4)同解．

構(gòu)造矩陣方程

XA#=(A#)HX(AA#)H．

(5)

證明 必要性．若A是H矩陣, 那么由定理10(ii)知方程(5)的解為X=A．

充分性．1) 若解為X=A, 由定理10(ii)知A是H矩陣; 2) 若解為X=A#, 有A#A#=(A#)HA#(AA#)H, 兩邊同時右乘AA+得A#A+=(A#)2, 同時左乘A2得AA+=AA#, 由引理4知A是EP矩陣, 故A#=A+, 于是A+A#=A#A#=(A#)HA#(AA#)H=(A+)HA+(AA#)H=(A+)HA+, 由定理6(iii)知A是H矩陣; 3) 若解為X=A+, 有A+A#=(A#)HA+(AA#)H, 即A+A#=(A#)HA+, 右乘AA+得A+A#=A+A#AA+, 左乘A2得AA#=AA+, 由引理4知A是EP矩陣, 有A#=A+, 故A是H矩陣; 4) 若解為X=AH, 有AHA#=(A#)HAH(AA#)H,即AHA#=(A#)HAH, 右乘AA+得AHA#=AHA#AA+, 左乘A+(A#)H得A+A#=A+A#AA+, 此時同 (3), 故A是EP矩陣, 有A#=A+, 則AHA#=(A#)HAH=(AA+)H=AA+, (A#)HA=(AHA#)H=(AA+)H=AA+, (A#)HA(AHA#)H=(A#)HAAA+=(A#)HA=AA+=AA#,由定理10(ii)知A是H矩陣; 5) 若解為X=(A#)H, 有(A#)HA#=(A#)H(A#)H(AA#)H, 左乘(AH)2得AHA#=(A#)HAH·(AA#)H, 由(4)知A是H矩陣; 6) 若解為X=(A+)H, 有(A+)HA#=(A#)H(A+)H(AA#)H, 右乘AA+得(A+)HA+=(A+)HA#, 左乘AAH得AA+=AA#, 由引理4知A是EP矩陣, 則此時同X=(A#)H, 故A是H矩陣．

考慮矩陣方程

XA#=(A#)HY(AA#)H．

(6)

定理16設(shè)A∈Cn×n是群可逆矩陣, 則矩陣方程(6)的一般解為

(7)

推論17設(shè)A∈Cn×n是群可逆矩陣, 則A是EP矩陣當(dāng)且僅當(dāng)矩陣方程(6)的一般解為

(8)

證明 必要性．注意到當(dāng)A是EP矩陣時,PA+A+A=PA#A#A=PA#=PA+總成立, 故由定理16知, 矩陣方程(6)的一般解由式(8)給出．

充分性．若式(8)是矩陣方程(6)的一般解, 則((A#)HPA+A+U-UA+A+)A#=(A#)H(PA++V-AA+VA+A)(AA#)H, 化簡得(A#)HPA+AA#=(A#)HPA+(AA#)H=(A#)HPA+,P∈Cn×n．特別地, 取P=A, 得(A#)HAA#=(A#)H, 右乘A+A得(A#)H=(A#)HA+A, 取共軛轉(zhuǎn)置得A#=A+AA#, 由引理4知,A是EP矩陣．

定理18設(shè)A∈Cn×n是群可逆矩陣, 則A是H矩陣當(dāng)且僅當(dāng)矩陣方程(6)的一般解為

(9)

證明 必要性．當(dāng)A是H矩陣時, (A#)H=A#且A是EP矩陣, 故由推論17知結(jié)論成立．

充分性．由式(9)是矩陣方程(6)的一般解知, 令U=V=O, 有A#PA+AA#=(A#)HPA+·(AA#)H, 取P=A, 化簡得A#=(A#)H, 故A是H矩陣．

定理19設(shè)A∈Cn×n是群可逆矩陣, 考慮矩陣方程

XAA#=A#(AA#)HY(AA#)HA,

(10)

則其一般解為

(11)

定理20設(shè)A∈Cn×n是群可逆矩陣, 則A是H矩陣當(dāng)且僅當(dāng)矩陣方程(10)的一般解為式(8)．

證明 必要性．假設(shè)A是H矩陣, 由定理19知,矩陣方程(10)的一般解由式(11)給出．又A是H矩陣,有(A#)H=(A+)H=A+=A#, 則(A#)HPA+A=A#PA+A, 且式A+A+AP=A#A#AP=A#P=A+P總成立, 故矩陣方程(10)的一般解為式(8)．

充分性．由于式(8)是矩陣方程(10)的一般解, 令U=V=O, 得(A#)HPA+A=A#(AA#)HPA+·(AA#)HA．取P=A, 得(A#)HA=A#(AA#)HA, 右乘(A+)2得(A#)HA+=A#A+, 左乘A+A得A#A+=A+AA#A+, 右乘A2得A#A=A+A, 所以A是EP矩陣, 有(A+)HA+=(A#)HA+=A#A+=A+A#, 由定理6知,A是H矩陣．