楊曉英

(四川信息職業(yè)技術(shù)學(xué)院 基礎(chǔ)教育部, 四川 廣元 628017)

1 引言

設(shè)Cm×n表示m×n階復(fù)矩陣的集合，A∈Cn×n, 若X∈Cn×n滿足下列方程[1]：

Ak+1X=Ak,XAX=X,AX=XA, 則稱X為A的Drazin逆, 記作X=AD。這里ind(A)=k, ind(A)表示A的指數(shù),Aπ=I-AAD。矩陣的Drazin逆在奇異微分方程、迭代法、控制論中都有廣泛的應(yīng)用。近年來(lái), 關(guān)于矩陣和的Drazin逆的表示，許多學(xué)者在不同條件下都做了很多討論[1-11]。其中，文獻(xiàn)[1]給出P2QP=0,P3Q=0,Q2=0和PQP2=0,QP3=0,Q2=0條件下體上兩矩陣和的Drazin逆公式。在以上研究基礎(chǔ)上，本文分別給出在P2QP+PQ2P=0,P2Q2+PQ3=0,P3Q=0,Q3P=0和Q3P+Q2P2=0,PQ2P+PQP2=0,PQ3=0,QP3=0條件下兩矩陣和Drazin逆的表示。這推廣了文獻(xiàn)[1]中的一些結(jié)果。關(guān)于分塊矩陣Drazin逆的表示一直是許多學(xué)者討論的焦點(diǎn)，應(yīng)用這些結(jié)論可以進(jìn)一步討論分塊矩陣Drazin逆的表示。

下面給出幾個(gè)重要的引理。

引理1[2]設(shè)A∈Cm×n,B∈Cn×m。則(AB)D=A((BA)D)2B。

引理2[3]設(shè)P,Q∈Cn×n, 如果PQ=0, 那么

其中

2 主要結(jié)果

文獻(xiàn)[1]給出在P2QP=0,P3Q=0,Q2=0和PQP2=0,QP3=0條件下兩矩陣和Drazin逆的表示，本文我們應(yīng)用以上引理分別給出在P2QP+PQ2P=0,P2Q2+PQ3=0,P3Q=0,Q3P=0和Q3P+Q2P2=0,PQ2P+PQP2=0,PQ3=0,QP3=0條件下兩矩陣和Drazin逆的表示。這些條件比上面的條件更弱。

定理1設(shè)

若P2QP+PQ2P=0,P2Q2+PQ3=0,P3Q=0,Q3P=0。則

這里

J=(PD)2+PQX(PD)2+PQ(PQ)DX,

K=(Q2)D+QP(QP)DY+QPY(Q2)D,

其中，

ind(PQ)=s1, ind(P)=r1，ind(QP)=s2,ind(Q)=r2。

證明由引理1，可知

記

由P2QP+PQ2P=0,P2Q2+PQ3=0,得EF=0。

由條件P3Q=0，得E1E2=0, (E2)2=0。由引理2，通過(guò)計(jì)算得：

ED=E1D+E2(E1D)2。

又Q3P=0, 得F1F2=0, (F2)2=0。由引理2，得：

FD=F1D+F2(F1D)2。

再由引理3，得

其中

因此

進(jìn)而

因此，結(jié)論顯然成立。

定理2設(shè)

若Q3P+Q2P2=0,PQ2P+PQP2=0,PQ3=0,QP3=0, 則

這里

其中，H=(QD)2+(QD)2XPQ+X(PQ)DPQ,

L=(PD)2+Y(QP)DQP+(PD)2YQP,

ind(Q)=s1, ind(PQ)=r1，ind(P)=s2,ind(QP)=r2。

證明由引理1，可知

由Q3P+Q2P2=0,PQ2P+PQP2=0,得EF=0。

由條件PQ3=0，得E1E2=0, (E1)2=0。由引理2，得

ED=E2D+(E2D)2E1。

又QP3=0, 得F1F2=0, (F1)2=0。由引理2，得

FD=F2D+(F2D)2F1。

再由引理3，得

其中

因此

進(jìn)而

這里，H=(QD)2+(QD)2XPQ+X(PQ)DPQ。L=(PD)2+Y(QP)DQP+(PD)2YQP。

因此，結(jié)論顯然成立。

下面的推論是文獻(xiàn)[1]中的重要結(jié)果。

推論1[1]設(shè)P,Q∈Cn×n，若P2QP=0,P3Q=0,Q2=0，則

其中ind(P2)=n1, ind(QP)=n2。

推論2[1]設(shè)P,Q∈Cn×n，若PQP2=0,QP3=0,Q2=0，則

其中ind(P2)=n1, ind(QP)=n2。