田學(xué)剛，王少英

(濱州學(xué)院 理學(xué)院，山東 濱州 256603)

0 引言

關(guān)于算子方程AX=XAX，1954年Aronszajn在文獻(xiàn)[1]中給出了這個(gè)方程存在解的充要條件，文獻(xiàn)[2]討論了方程每一個(gè)解都是冪等解的充要條件，文獻(xiàn)[3]利用分塊矩陣技巧，討論了算子方程AX=XAX和AX=XA=XAX有解的充要條件，并利用算子止的不變子空間給出了通解．此外，文獻(xiàn)[4]利用算子分塊的技巧得到了方程A*X+X*A=B有解的充要條件，并利用算子A的Moore-Penrose逆給出了該方程解的一般形式．文獻(xiàn)[5]研究了C*代數(shù)上的方程axa*=c的正解和實(shí)正解存在的條件和解的一般形式．本文把文獻(xiàn)[3]中的算子方程推廣到更一般的C*代數(shù)上的方程ax=xax和ax=xa=xax，利用C*代數(shù)中元素的矩陣表示及Moore-Penrose逆，方程ax=xax和ax=xa=xax有正則解的條件，并給出解的一般形式．

1 預(yù)備知識

設(shè)A表示有單位元1的C*代數(shù)．如果元素a滿足a*a=aa*，稱a是正規(guī)的：如果元素a滿足a*=a，稱a是自伴的；如果a2=a*則稱a是投影．若存在b∈A滿足aba=a，則稱a是正則的，用Areg表示C*代數(shù)A中所有正則元的集合．若存在a+∈A滿足下面4個(gè)方程

aa+a=a，a+aa+=a+，(a+a)*=a+a，(aa+)*=aa+；

則稱a+為元素a的Moore-Penrose逆．如果a的Moore-Penrose逆存在，則是唯一的，且aa+和a+a都是A中的投影．關(guān)于Moore-Penrose逆有如下結(jié)論：

a是正則的?aA是閉的?a+存在

若a是正則的，可得

aa+c=c?cA?aA

如果投影p1，p2滿足p1+p2=2且p1p2=p2p1=0，則稱(p1，p2)是一個(gè)正交投影對．對于A中的每個(gè)元素x，根據(jù)正交對(p1，p2)可以表示為2×2矩陣的形式，

首先介紹幾個(gè)相關(guān)定義和引理：

定義1設(shè)a∈A，如果存在投影p∈A，(p≠0，1)使得apA?pA，則稱p是元素a的一個(gè)非平凡的不變投影．

定義2設(shè)a∈A，如果存在投p∈A，(p≠0，1)使得apA?pA且a*pA?pA，則稱p是元素a的一個(gè)非平凡的約化投影．

引理1[6]設(shè)p，q正A是投影，則存在一個(gè)冪等元素g∈A，使得

p=gg+,q=1-g+g

的充要條件是

1-pqp∈A-1,A=pA+qA

引理2[2]設(shè)a∈A是正規(guī)元，若ba=ab則b*a=ab*

2 主要結(jié)論

定理1設(shè)a∈Areg，則方程ax=xax有非平凡的正則解的充要條件是a有非平凡的不變投影．

證明 設(shè)p是a的非平凡的不變投影，即apA?pA，于是有pap=ap，所以p是方程ax=xax的一個(gè)非平凡的正則解．

設(shè)x0是方程ax=xax的任一非平凡正則解，下面分三種情況證明．

(H1)如果x0x0+<1,設(shè)p=x0x0+，則根據(jù)投影對(p,1-p),可得a,x0有如下矩陣表示

于是

由ax0=x0ax0可得

a21x11=0,a21x12=0,

所以

即

這里a11=a2a+,a12=a(1-aa+).

取

(a-x0a)x0=0,

也就是

故x0=1，這與x0是非平凡正則解矛盾，所以情形(H3)不存在．

推論1設(shè)a∈Areg，如果aa+<1則方程ax=xax有非平凡的正則解．

定理2設(shè)a∈Areg，如果a有非平凡的不變投影，則方程ax=xax就有無數(shù)多個(gè)冪等解．

證明 設(shè)p是a的一個(gè)非平凡不變投影，則根據(jù)投影對(p，1-p)，令x有如下矩陣表示

其中x12=py(1-p)，y∈A是任意的元素，容易驗(yàn)證x是A中的冪等元．又因?yàn)閜是a的一個(gè)非平凡不變投影，即有(1-p)ap=0，所以經(jīng)過計(jì)算可得x是方程ax=xax的冪等解．

推論2設(shè)a∈Areg，p是a的非平凡不變投影，則方程ax=xax滿足xx+=p的全部冪等解為

x=p+py(1-p)，

其中y∈A是任意元．

證明 設(shè)x0是方程ax=xax的一個(gè)解，即ax0=x0ax0，則

定理4設(shè)a∈Areg，則方程ax=xax存在非平凡的正則解充分必要條件是方程xa=xax存在非平凡的正則解．

證明 若方程ax=xax有非平凡的正則解，由定理1可知，a存在非平凡的不變投影p，即apA?pA，也就是(1-p)ap=0．所以根據(jù)投影對(p，1-p)可得

從而

所以[1-(1-p)]a*(1-p)=0，容易得到(1-p)(1-p)+a*(1-p)=a*(1-p)，也就是a*(1-p)A?(1-p)A,即1-p是a*的非平凡的不變投影．由定理1可得方程a*x*=x*a*x*有非平凡的正則解，從而方程xa=xax存在非平凡的正則解.

定理5設(shè)a∈Areg是正規(guī)的，則方程ax=xa=xax有非平凡正則解的充分必要條件是a有非平凡的約化投影．這時(shí)方程的全部解為

S={x=p+(1-aa+)t(1-aa+)：p2=p,pa=ap,t∈A}.

證明 設(shè)x是方程ax=xa=xax的任一解，因?yàn)閍a*=a*a，ax=xa，所以由引理2可得a*=x*a，即p=aa+是a的非平凡的約化投影．因此a，x有如下矩陣形式

這里a11=a2a+，x11=aa+xaa+，x22=(1-aa+)x(1-aa+)．通過計(jì)算ax=xa=xax可得

a11x11=x11a11=x11a11x11,

所以

反之，設(shè)任一x∈S，則x=p+(1-aa+)t(1-aa+)，其中p2=p，pa=ap，t=∈A.因?yàn)閍是正規(guī)的且ap=pa，所以由引理2可得

所以x是方程ax=xa=xax的解.

如果ax=xa=xax有非平凡的正則解，則a有一個(gè)非平凡的不變投影，因?yàn)閍是正規(guī)的，所以a有非平凡的約化投影．

反之，若a有非平凡的約化投影p，即(1-p)ap=0,pa(1-p)=0，顯然p是方程ax=xa=xax的非平凡正則解.

定理6設(shè)a∈Areg，如果aa+=1或a+a=1,則方程ax=xa=xax有非平凡解的充分必要條件是a有兩個(gè)非平凡的不變投影p，q，使得

1-pqp∈A-1,A=pA+qA,

這時(shí)方程的全部解為

S={x:x2=x,xa-ax}.

證明 設(shè)x是方程ax=xa=xax的任一非平凡解，則(x-x2)a=a(x—x2)=0．如果aa+=1,可得(x-x2)=(x-x2)aa+=0；如果a+a=1，可得(x-x2)=a+a(x-x2)=0，所以x是冪等元．由于axx+A=xax+A=xx+xax+A=xx+axx+A?xx+A，即p=xx+是a的不變投影，又a(1-x+x)A=(1-x+x)a(1-x+x)A?(1-x+x)A，所以可得q=1-x+x也是a的不變投影．由引理1可知1-pqp∈A-1，A=pA+gA.

如果a有非平凡的不變投影p，q，使得1-pqp∈A-1,A=pA+qA,則由引理1可知存在冪等元g，使得gg+=p，(1-g+g)=q．又因?yàn)閍pA?pA，aqA?qA,所以ap=pap=qaq,進(jìn)一步可得ga=ag=gag，故g是方程ax=xa=xax的一個(gè)非平凡解.

由以上證明過程可知，若x是方程ax=xa=xax的任一解，則x∈S,反之，若x∈S則

0=(x-x2)a=x2a-xa=xax-xa=xax-ax,

所以方程的全部解為S={x:x2=x,xa=ax}.