劉龍生，周繼振

(安徽理工大學(xué)數(shù)學(xué)與大數(shù)據(jù)學(xué)院，安徽淮南232001)

令D={ z :|z|＜1}表示復(fù)平面上的開(kāi)單位圓盤(pán)，H(D)為D上的解析函數(shù)組成的集合。設(shè)0＜α＜∞，若f∈H(D)滿足

則稱f屬于α-Bloch空間[1-2]，記作Bα。B1就是Bloch空間，簡(jiǎn)記B。若在Bα中定義范數(shù)‖f‖α= |f(0)|+‖f‖Bα，則Bα是Banch空間。設(shè)0＜ α ＜ ∞，若f∈ H(D)滿足

則稱f屬于對(duì)數(shù)α-Bloch空間，記作LBα。若f∈LBα滿足

令u∈H(D)，由u可以定義H(D)上的點(diǎn)乘算子Mu(f)=u?f。令φ為D上的解析自映射，即φ∈H( D )且φ( D ) ?D，由φ可以在H( D )上定義線性復(fù)合算子Cφ(f)=f°φ。故u,φ可以在H( D )上定義加權(quán)復(fù)合算子Tu,φ(f)=??f°φ。有關(guān)Bloch型空間上的加權(quán)復(fù)合算子和算子理論的結(jié)果，見(jiàn)參考文獻(xiàn)[3-8]。

為了簡(jiǎn)便，本文中C在不同的地方表示不同的常數(shù)。若存在與變量x無(wú)關(guān)的常數(shù)C使得f(x)≤Cg(x)，則記作f?g。下面先給出Bα空間到對(duì)數(shù)Bloch型空間LBβ上的加權(quán)復(fù)合算子緊性刻畫(huà)。

引理1[7]令0＜α＜∞，對(duì)任意f∈Bα和z∈D，則下列結(jié)論成立：

引理2[8]令α＞0，則存在f1,f2∈Bα和常數(shù)C使得

引理3設(shè)u∈H(D),φ(D)?D，則Tu,φ為緊算子當(dāng)且僅當(dāng)對(duì)于Bα中任意有界序列{ fn}，其中{ fn}在D上內(nèi)閉一致收斂于0，恒有‖Tu,φf(shuō)n‖β,log=0。

下面介紹本文的主要結(jié)論之一，Tu,φ:Bα→LBβ的有界性特征。

定理1設(shè)u∈H(D)和β＞0，φ是D上解析自映射，則下列結(jié)論成立：

(i)當(dāng)0＜α＜1時(shí)，則Tu,φ:Bα→ LBβ是有界的當(dāng)且僅當(dāng)u∈LBβ且

(ii)當(dāng)α =1時(shí)，則Tu,φ:Bα→ LBβ是有界的當(dāng)且僅當(dāng)(2)式成立且

(iii)當(dāng)α＞1時(shí)，則Tu,φ:Bα→LBβ是有界的當(dāng)且僅當(dāng)(2)式成立且

證明(i)充分性。設(shè)u∈LBβ和條件(2)成立，令

直接計(jì)算得

必要性。令Tu,φ:Bα→LBβ是有界算子，則對(duì)任意f∈Bα，存在常數(shù)C使得

令f(z)=1，得u∈ LBβ。由引理1得

應(yīng)用基本不等式，聯(lián)立(6)式和(7)式得

取函數(shù)f1,f2∈Bα使得(1)式成立，由條件(8)式直接得

故條件(2)式成立。

根據(jù)引理1直接計(jì)算得

下面證明必要性。不失一般性，任取w∈D且滿足 ||φ(w)＞δ＞0。令

其中，λw=-log(1 - |φ(w)|2)。直接驗(yàn)證得fw∈Bα且

有關(guān)計(jì)算過(guò)程可參考文獻(xiàn)[9]。因Tu,φ:Bα→LBβ是有界的，故

在上式中令z=w，得(3)式成立。聯(lián)立(3)式和(10)式，再次根據(jù)基本不等式得(ii)成立。

(iii)的證明與(i)和(ii)的情形是類(lèi)似的，在此僅給出必要性證明中用到的函數(shù)。不失一般性，任取w∈D且滿足 ||φ(w)＞δ＞0。令

易驗(yàn)證得gw∈Bα且滿足

具體計(jì)算過(guò)程可參考文獻(xiàn)[9]。余下的證明過(guò)程類(lèi)似于(ii)，在此省略過(guò)程，定理證畢。

根據(jù)定理1，容易得到如下推論。

推論1令u(z)∈H(D)，則下列結(jié)論成立：

(1)當(dāng)0＜α＜1時(shí)，則Mu:Bα→LBβ是有界的當(dāng)且僅當(dāng)u∈LBβ且

(2)當(dāng)α=1時(shí)，則Mu:Bα→LBβ是有界的當(dāng)且僅當(dāng)(11)式樣成立且

(3)當(dāng)α＞1時(shí)，則Mu:Bα→LBβ是有界的當(dāng)且僅當(dāng)(11)式成立且

證明令φ(z)=z，由定理1可直接得推論1。

推論2設(shè)α＞0，φ是D上解析自映射，則Cφ:Bα→LBβ是有界的當(dāng)且僅當(dāng)

證明令u=1，定理1直接推得推論2。

下面的定理主要是刻畫(huà)了加權(quán)復(fù)合算子Tu,φ:Bα→LBβ的緊性特征。

定理2設(shè)u∈H(D),φ(D)?D，φ是D上解析自映射，則下列結(jié)論成立：

(i)當(dāng)0＜α＜1時(shí)，則Tu,φ:Bα→ LBβ是緊的，當(dāng)且僅當(dāng)u,uφ∈LBβ且

(ii)當(dāng)α =1時(shí)，則Tu,φ:Bα→ LBβ是緊的，當(dāng)且僅當(dāng)u,uφ ∈ LBβ和(12)式成立且

(iii)當(dāng)α＞ 1時(shí)，則Tu,φ:Bα→ LBβ是緊的，當(dāng)且僅當(dāng)u,uφ∈ LBβ，(12)式成立且

證明設(shè) α＞0，若Tu,φ:Bα→LBβ是緊的，顯然Tu,φ是有界的。 分別令f=1和f(z)=z，可得u,uφ ∈LBβ，取D里點(diǎn)列{ zn}使得| φ(zn)|=1。令

易得序列{fn}在Bα里是一致有界，且{ fn}在D上內(nèi)閉一致收斂于0[3]，直接計(jì)算得

注意到

(i)的必要性已證明，下面證明(ii)的必要性。選取D里點(diǎn)列{ zn}使得| φ(zn)|=1。 令

其中λn=-log(1 - |φ(zn)|2)，易得序列{ gn}是Bα里的一致有界序列且在D上內(nèi)閉一致收斂于0，直接計(jì)算得

故得(13)式成立。

再證(iii)的必要性。 選取D里點(diǎn)列{ zn}使得| φ(zn)|=1。令

易得序列{hn}在Bα里一致有界且在D上內(nèi)閉一致收斂于0。計(jì)算得

故得(14)式成立。

下面證明(i)的充分性。取Bα里一致有界序列{ fn}使得{ fn}在D上內(nèi)閉一致收斂于0。根據(jù)文獻(xiàn)[8]的引理3.2，得n→ ∞時(shí)，有|f(z)| → 0。因u ∈ LBβ得

另一方面，當(dāng)δ→1時(shí)，則有

因?yàn)閡,uφ ∈ LBβ,故(1 - |z|2)β| u(z)φ′(z)| ＜ ∞。因?yàn)閒n′(z)在D上內(nèi)閉一致收斂于0，故

類(lèi)似可證(ii)和(iii)的充分性，在此省略證明，定理證畢。

根據(jù)定理2，易得如下推論。

推論3設(shè)α＞0,φ是D上解析自映射，則Cφ:Bα→LBβ是緊的當(dāng)且僅當(dāng)

證明令u=1，由定理2直接得推論3。

引理4設(shè)U?，則閉集U是緊的當(dāng)且僅當(dāng)U是有界集且

對(duì)加權(quán)復(fù)合算子Tu,φ:Bα→LB0β的有界性與緊性刻畫(huà)，考慮α的取值范圍不同，得到如下結(jié)果。

定理3設(shè)u(z)∈H(D),φ(D)?D,0＜α＜1，則以下三個(gè)命題等價(jià)：

(i)Tu,φ:Bα→是有界算子；

(ii)Tu,φ:Bα→是緊算子；

證明(ii)?(i)顯然。

(iii)?(ii)設(shè)(iii)成立，易得(2)式成立且u ∈ LBβ，根據(jù)定理1得Tu,φ:Bα→ LBβ是有界的。取{ fn} ∈Bα使得當(dāng)n→ ∞時(shí)，fn在D上內(nèi)閉一致收斂于0。由u∈和(16)式得，對(duì)?ε ＞ 0, ?δ∈(0,1)，使得當(dāng)δ＜|z|＜1時(shí)，有

當(dāng)δ＜ ||z＜1時(shí)，由引理1和上述估計(jì)式得

因?yàn)棣攀侨我獾?，?/p>

另一方面，易得

因?yàn)閧 fn′}在D上內(nèi)閉一致收斂于0且ε是任意的

(i)?(iii)設(shè)Tu,φ:Bα→是有界算子。 令f(z)=1，得u ∈。令

易得gw∈Bα且gw(φ(w))=0,gw′(φ(w))= α(1 - |φ (w)|2)-α。直接計(jì)算得故(16)式成立，定理證畢。

定理4 設(shè)u∈H(D),φ(D)?D,α=1，則以下三個(gè)命題等價(jià)：

(i)Tu,φ:Bα→是有界算子；

(ii)Tu,φ:Bα→是緊算子；

(iii)(16)式成立且

證明(i)?(iii)設(shè)Tu,φ:Bα→LBβ0是有界算子。令fw按(9)式定義，直接計(jì)算得

令gw按(19)式定義，類(lèi)似于定理3中的(i)?(iii)的證明，可得(16)式成立。證明的其余部分類(lèi)似于定理3的證明，在此省略過(guò)程，定理證畢。

定理5設(shè)u∈H(D),φ(D)?D,α＞1，則以下三個(gè)命題等價(jià)：

(i)Tu,φ:Bα→是有界算子；

(ii)Tu,φ:Bα→是緊算子；

(iii)(16)式成立且

證明 (i)?(iii)設(shè)Tu,φ:Bα→ LBβ0是有界算子，w∈ D且滿足|φ(w)|＞ δ＞ 0。 令

易驗(yàn)證hw∈Bα且滿足hw(φ(w))=,hw'(φ(w))=0，直接計(jì)算得

令gw按(19)式定義，類(lèi)似于定理3中的(i)?(iii)的證明，可得(16)式成立。證明的其余部分類(lèi)似于定理3的的證明，在此省略過(guò)程，定理證畢。