有界線性算子的(UWΠ)性質(zhì)及亞循環(huán)性

趙巨濤, 曹小紅

(1. 長(zhǎng)治學(xué)院 數(shù)學(xué)系, 山西 長(zhǎng)治 046011; 2. 陜西師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 西安 710119)

1 引言與預(yù)備知識(shí)

Weyl[1]研究表明, Hilbert空間中自伴算子的Weyl譜恰好等于該算子的譜集除去有限重的孤立特征值, 該結(jié)論稱為Weyl定理.之后, 許多數(shù)學(xué)工作者對(duì)Weyl定理進(jìn)行了變型和推廣[2-4].(UWΠ)性質(zhì)[5]是Weyl定理的一種變型, 關(guān)于該性質(zhì)的研究目前得到廣泛關(guān)注[6-8].本文利用新的譜集, 討論算子或者算子函數(shù)的(UWΠ)性質(zhì)與亞循環(huán)性之間的關(guān)系.

令ρea(T)={λ∈:T-λI為上半Fredholm算子且ind(T-λI)≤0},ρSF+(T)={λ∈:T-λI為上半Fredholm算子},σea(T)=ρea(T)稱為算子T∈B(H)的本質(zhì)逼近點(diǎn)譜.可以證明σea(T)?[σw(T)∩σa(T)].記ρ(T)=σ(T),ρw(T)=σw(T),ρb(T)=σb(T),σ0(T)=σ(T)σb(T).對(duì)集合E?, 用isoE,accE和intE分別表示E中孤立點(diǎn)的全體、E聚點(diǎn)的全體及E內(nèi)點(diǎn)的全體.

2 主要結(jié)果

對(duì)T∈B(H), 若

σa(T)σea(T)=PD(T),

則稱T滿足(UWΠ)性質(zhì)[5], 記作T∈(UWΠ), 其中PD(T)=σ(T)σD(T).

令T∈B(H), 對(duì)x∈H,x在T下的軌道定義為

Orb(T,x)={x,Tx,T2x,…}.

1)σw(T)∪?D連通;

2)σ0(T)=σ(T)σb(T)=?;

3) ?λ∈ρSF(T), ind(T-λI)≥0.

例1設(shè)A,B∈B(l2)定義為

A(x1,x2,x3,…)=(x2,x3,x4,…),B(x1,x2,x3,…)=(0,x1,x2,x3,…).

σa(T)=D,σea(T)=?D,PD(T)=?,

于是T?(UWΠ).

例2設(shè)T∈B(l2)定義為

T(x1,x2,x3,…)=(0,x1,x2,x3,…),

例3設(shè)A,B∈B(l2)定義為

A(x1,x2,x3,…)=(0,x1,x2,x3,…),B(x1,x2,x3,…)=(0,x2,x3,x4,…),

σa(T)={0}∪{λ∈: |λ|=1},σea(T)={λ∈: |λ|=1},PD(T)=?,

σa(T)=σea(T)=σ(T)=σw(T)=σb(T),PD(T)=?.

下面討論這兩種性質(zhì)同時(shí)成立的條件, 為此先定義一個(gè)新的譜集, 令

記σ1(T)=ρ1(T), 則顯然σ1(T)?σw(T)?σb(T)?σ(T).

若T∈(UWΠ), 則ρ1(T)?ρ(T)∪ isoσ(T).事實(shí)上, 若λ0∈ρ1(T), 則存在>0, 使得當(dāng)0<|μ-λ0|<時(shí),T-μI為Weyl算子, 且

由于T∈(UWΠ), 則T-μI為Browder算子.設(shè)asc(T-μI)=p, 則由文獻(xiàn)[14]中引理3.4知,

于是當(dāng)0<|μ-λ0|<時(shí),T-μI可逆.從而λ0∈ρ(T)∪ isoσ(T).

σ(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞},

且σ(T)∪?D連通.

σ(T)?[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}

顯然成立.對(duì)于反包含, 設(shè)

λ0?[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}.

由σea(T)=σ(T)知, accσ1(T)∩σea(T)=accσ1(T).從而必有λ0?accσ1(T).于是存在>0, 使得當(dāng)0<|λ-λ0|<時(shí),λ∈ρ1(T).故λ∈ρ(T)∪ isoσ(T).由于λ0?accisoσ(T), 故可知λ0∈isoσ(T)∪ρ(T).若λ0∈isoσ(T), 則利用λ0?{λ∈isoσ(T): des(T-λI)=∞}知des(T-λ0I)<∞.于是由文獻(xiàn)[15]中定理2.6知,T-λ0I為Drazin可逆的, 即λ0∈PD(T), 與PD(T)=?矛盾.因此可得λ0∈ρ(T), 即λ0?σ(T).

反之, 先證明T∈(UWΠ).根據(jù)半Fredholm算子攝動(dòng)定理[15]可知,

ρSF(T)∩[accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}]=?,

于是

因此

[σa(T)σea(T)]∩σ(T)=[σa(T)σea(T)]=?.

同理易見

PD(T)∩{[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}=?,

于是σa(T)σea(T)=PD(T), 即T∈(UWΠ).

σ0(T)∩{[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}=?

知,σ0(T)=σ0(T)∩σ(T)=?.同理可證明σw(T)=σ(T), 于是σw(T)∪?D連通.又由

例5令T∈B(l2)定義為

T(x1,x2,x3,…)=(x2,x3,x4,…),

σ(T)=D, accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}=?.

于是

σ(T)≠accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞},

即[accσ1(T)∩σea(T)]不可缺.

σ(T)≠[accσ1(T)∩σea(T)]∪{λ∈isoσ(T): des(T-λI)=∞},

即accisoσ(T)不可缺.

例8令A(yù),T∈B(l2)定義為

則σ(T)=σea(T)∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}且σ(T)∪?D, 但T?(UWΠ).

由文獻(xiàn)[15]中定理2.6知,

?σ(T)∩{λ∈: des(T-λI)<∞}?PD(T),

故當(dāng)PD(T)=?時(shí), ?σ(T)∩{λ∈: des(T-λI)<∞}=?.又由于accisoσ(T)??σ(T), 從而accisoσ(T)∩{λ∈: des(T-λI)<∞}=?.于是當(dāng)PD(T)=?時(shí), accisoσ(T)?{λ∈?σ(T): des(T-λI)=∞}.從而當(dāng)T∈(UWΠ)且時(shí), 由定理1知,

σ(T)=[accσ1(T)∩σea(T)]∪{λ∈?σ(T): des(T-λI)=∞}.

根據(jù)半Fredholm算子的攝動(dòng)定理可知,

ρSF(T)∩?σ(T)?ρb(T)?{λ∈: des(T-λI)<∞}.

在定理1或推論1中, 利用包含關(guān)系intσ1(T)?accσ1(T), 將accσ1(T)改為intσ1(T), 同理可證下列結(jié)論, 即下列敘述等價(jià):

2)σ(T)=[intσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}, 且σ(T)∪?D連通;

3)σ(T)=[intσ1(T)∩σea(T)]∪{λ∈?σ(T): des(T-λI)=∞}, 且σ(T)∪?D連通.

下面用H(σ(T))表示在σ(T)的一個(gè)鄰域上解析, 并且在σ(T)的任一分支上不為常值的函數(shù)的全體.

若σ(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}或者σ(T)=[accσ1(T)∩σea(T)]∪{λ∈?σ(T): des(T-λI)=∞}, 則由定理1的證明可知,

σa(T)=σea(T)=σ(T)=σw(T),PD(T)=σ0(T)=?，

且任給λ∈ρSF(T), ind(T-λI)≥0.由半Fredholm算子指標(biāo)的特點(diǎn)可知, 此時(shí)對(duì)于算子T,σw(·)滿足譜映射定理[2].類似文獻(xiàn)[2]中定理5可證, 此刻σea(·)也滿足譜映射定理.于是任給f∈H(σ(T)),

PD(f(T))=σ0(f(T))=?且σa(f(T))=f(σa(T))=f(σea(T))=σea(f(T)),

從而f(T)∈(UWΠ).再利用指標(biāo)的特點(diǎn)可知, 任給f∈H(σ(T))及任給μ∈ρSF(f(T)), ind(f(T)-μI)≥ 0.從而可得下列結(jié)論.

推論3設(shè)σ(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}或者σ(T)=[accσ1(T)∩σea(T)]∪{λ∈?σ(T): des(T-λI)=∞}連通.若f∈H(σ(T)), 且存在λ0∈σ(T), 使得|f(λ0)|≠0, 則存在c∈, 使得且f(T)∈(UWΠ).

1)T∈(UWΠ);

2)σ(T)=accσ1(T)∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞};

3)σ(T)=accσ1(T)∪{λ∈?σ(T): des(T-λI)=∞};

4)σ(T)=intσ1(T)∪{λ∈?σ(T): des(T-λI)=∞}.

定理2設(shè)T∈B(H), 則任給f∈H(σ(T)),f(T)∈(UWΠ)當(dāng)且僅當(dāng)下列結(jié)論之一成立:

1)σa(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}, 且任給λ,μ∈ρSF+(T), ind(T-λI)·ind(T-μI)≥0;

2)σb(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}.

證明: 充分性.設(shè)結(jié)論1)成立.由

σa(T)=[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}

可證得σa(T)=σea(T),PD(T)=?.任給f∈H(σ(T)), 根據(jù)PD(f(T))?f(PD(T))知PD(f(T))=?.又由半Fredholm算子指標(biāo)的特點(diǎn)知,σea(·)滿足譜映射定理, 即任給f∈H(σ(T)),σea(f(T))=f(σea(T)), 于是σea(f(T))=f(σea(T))=f(σa(T))=σa(f(T)).從而任給f∈H(σ(T), 有f(T)∈(UWΠ).

設(shè)結(jié)論2)成立.由于

[σea(T)]∩{[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}=?,

PD(T)∩{[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}=?,

則

σea(T)=σb(T),PD(T)?σ0(T).

又由于

從而

{λ∈ρSF(T): ind(T-λI)<0}∩σb(T)=?.

但由于{λ∈ρSF(T): ind(T-λI)<0}?σb(T), 故{λ∈ρSF(T): ind(T-λI)<0}=?, 即任給λ∈ρSF(T), 有ind(T-λI)≥0.

設(shè)f∈H(σ(T)), 并設(shè)

μ0∈σa(f(T))σea(f(T)).

反之, 令μ0∈PD(f(T)), 且令f(T)-μ0I=(T-λ1I)n1(T-λ2I)n2…(T-λkI)nkg(T), 其中λi≠λj(i≠j),g(T)可逆.不失一般性, 不妨設(shè)任給λi(1≤i≤k),λi∈σ(T), 由于Drazin譜滿足譜映射定理, 于是任給λi(1≤i≤k),λi∈PD(T).又由于PD(T)=σ0(T), 于是任給1≤i≤k,T-λiI為Browder算子.從而f(T)-μ0I為Browder算子, 即μ0∈σa(f(T))σea(f(T)).于是再次證明了f(T)滿足(UWΠ)性質(zhì).

必要性.此時(shí)顯然T∈(UWΠ).首先可斷言: 任給λ,μ∈ρSF+(T), ind(T-λI)·ind(T-μI)≥0.事實(shí)上, 若存在λ0,μ0∈ρSF+(T), 使得ind(T-λ0I)=n>0, ind(T-μI)=-m<0.則n必為有限正整數(shù),m為正整數(shù)或者+∞.若m有限, 則定義f0(T)=(T-λ0I)m(T-μ0I)n, 否則設(shè)f0(T)=(T-λ0I)(T-μ0I).從而0∈σa(f0(T))σea(f0(T)).由于f0(T)∈(UWΠ), 則f0(T)為Browder算子, 于是T-λ0I和T-μ0I均為Browder算子, 與ind(T-λ0I)=n>0, ind(T-μI)=-m<0矛盾.所以斷言成立.

下面分兩種情形討論.

情形1) 設(shè)σ0(T)=?.下面證結(jié)論1)必成立.

此時(shí)由T∈(UWΠ)知,σa(T)=σea(T),PD(T)=?.包含關(guān)系σa(T)?[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}顯然成立.反之, 設(shè)λ0?{[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}.若λ0?σea(T), 則λ0?σa(T).下設(shè)λ0?accσ1(T).類似于定理1的證明可知,λ0∈PD(T)∪ρ(T).由于PD(T)=?, 則λ0∈ρ(T), 于是λ0?σa(T).

情形2) 設(shè)σ0(T)≠?.下面證結(jié)論2)必成立.

首先可斷言:σb(T)=σea(T).

事實(shí)上, 設(shè)λ0?σea(T), 取μ0∈σ0(T).令f(T)=(T-λ0I)(T-μ0I), 則0∈σa(f(T))σea(f(T)).由于f(T)滿足(UWΠ)性質(zhì), 于是f(T)為Browder算子, 從而T-λ0I為Browder算子, 即得σb(T)?σea(T).反包含顯然成立, 于是σb(T)=σea(T).

類似于定理1可知,

σb(T)?{accσ1(T)∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}}.

又由于σb(T)=σea(T), 于是

σb(T)?[accσ1(T)∩σea(T)]∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}.

反包含顯然成立.故結(jié)論2)成立.證畢.

1) 任給f∈H(σ(T)),f(T)∈(UWΠ);

2)σ(T)=accσ1(T)∪ accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞};

3)σ(T)=accσ1(T)∪{λ∈?σ(T): des(T-λI)=∞};

4)σ(T)=intσ1(T)∪{λ∈?σ(T): des(T-λI)=∞};

5)T∈(UWΠ).

必要性.由定理1顯然可得.證畢.

結(jié)合定理1, 可得下列結(jié)論.

推論7設(shè)T∈B(H), 則下列敘述等價(jià):

3)σ(T)=accσ1(T)∪ accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}, 且σ(T)∪?D連通;

4)σ(T)=accσ1(T)∪{λ∈?σ(T): des(T-λI)=∞}, 且σ(T)∪?D連通;

5)σ(T)=intσ1(T)∪{λ∈?σ(T): des(T-λI)=∞}, 且σ(T)∪?D連通.

若任給x∈H, 有‖T*x‖2≤‖T2x‖·‖x‖, 則T∈B(H)稱為*-paranormal算子， 其中T*表示T的共軛算子.若任給λ∈,T-λI均為*-paranormal算子, 則T∈B(H)稱為完全*-paranormal算子.

對(duì)完全*-paranormal算子T, ?λ∈,T-λI均有有限的升標(biāo).于是當(dāng)T為完全*-paranormal算子時(shí), 有下列性質(zhì): ?λ∈ρSF+(T), ind(T-λI)≤0.

若T的共軛算子T*為完全*-paranormal算子, 則σea(T)=σb(T),σa(T)=σ(T).于是

accσ1(T)∩σea(T)=accσ1(T),σa(T)σea(T)?PD(T),

且任給λ∈ρSF(T), 均有ind(T-λI)≥0.于是有:

推論9若算子T*∈B(H)為完全*-paranormal算子, 則任給f∈H(σ(T)),f(T)∈(UWΠ)當(dāng)且僅當(dāng)下列結(jié)論之一成立:

1)σ(T)=accσ1(T)∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞};

2)σb(T)=accσ1(T)∪accisoσ(T)∪{λ∈isoσ(T): des(T-λI)=∞}.