單位球上加權Bergman空間到Zygmund型空間上的積分型算子

趙艷輝, 廖春艷, 鄧春紅

(1.湖南科技學院理學院, 湖南永州 425199)

(2.湖南科技學院理學院計算數學研究所, 湖南永州 425199)

1 引言

設B表示Cn上的單位球,?B 表示單位球面,dv為標準體測度, 滿足v(B) = 1,dσ為標準面測度, 滿足σ(?B)=1,H(B) 代表B上的全純函數類.

定義1.1設0?1, 記

表示B上的加權 Bergman 空間其中

當 1≤p<∞時,在范數下是一個 Banach 空間.當 0

定義1.2設[0,1) 上的連續函數μ(r)>0, 如果存在常數0

設μ為[0,1) 上的正規函數,f ∈H(B),

這里?f表示f的復梯度,由文獻 [1]知等價.

設μ為 [0,1) 上的正規函數, 稱f屬于βμ空間是指:空間在范數

下是一個Banach 空間.

由文獻 [2]中的引理 2.1 可知, 設μ為 [0,1) 上的正規函數, 稱f ∈βμ當且僅當

定義1.3設μ為[0,1) 上的正規函數,B上的全純函數f如果滿足

則稱f屬于Zygmund 型空間則稱f屬于小 Zygmund 型空間(見文獻 [3–5]).如果μ(r)=1?r2, Zygmund 型空間(小 Zygmund 型空間就是典型的Zygmund 空間Z(小Zygmund 空間), 這里R(2)f(z)=R(Rf(z)).

定義1.4設?是B上的全純自映射,g ∈H(B) 且g(0)=0, 則由?和g誘導的H(B)上的算子定義為

文獻[3–11]研究了該類算子的性質.若用Rg代替g, 且?(z) =z, 算子Pg就是加權算子, 它在文獻[12]被引入并研究, 文獻[13–16]對幾個全純函數空間上的加權算子的有界性和緊性進行了討論.關于Bergman 空間上的復合算子和算子的有界性和緊性問題的討論得到了一些很好的結論, 如文獻[1,2,16–18].

本文的主要工作就是在Cn中的單位球上來給出空間到型空間上的有界算子和緊算子的充要條件.同時分別得到了單位圓盤D上和?(z) =z時單位球上的相應結論.本文中用記號c,c1,c2來表示與變量z,ω無關的正數,c,c1,c2可以與某些范數或有界量有關, 不同的地方可以表示不同的正常數.

2 有關引理

引理2.1[7]設f,g ∈H(B),g(0)=0, 則

引理 2.2[2]設則

引理2.3設0?1,μ為[0,1) 上的正規函數,?是B上的全純自映射,g ∈H(B),g(0) = 0, 則空間到型空間上的緊算子的充要條件是對任意在中有界且在B的任一緊子集上一致趨于0 的序列{fj}, 有

證由引理2.2 和Montel 定理按定義可證.

引理2.4[3]中的閉子集K是緊子集的充要條件是K是有界集, 且滿足

3 主要結果

定理3.1設0?1,μ是[0,1) 上的正規函數,?是B上的全純自映射, 且g ∈H(B),g(0)=0, 則空間到Zμ型空間的有界算子當且僅當

這里J?(z) 是?(z) 的 Jacobi 矩陣, 且

證 充分性設(3.1) – (3.2) 成立, 則由和引理2.1–2.2 有

必要性設空間到Zμ型空間的有界算子.取則由和βμ的定義可知g ∈βμ,g?l ∈βμ(l=1,2,···,n).

(1) 先證 (3.1) 式成立.?ω ∈B,u ∈Cn ?{0}.

則fω(?(ω))=0, 且由文獻 [19]中的定理 1.12 有

則fω(?(ω))=0, 且由文獻 [20]中的命題 1.4.10 有

所以類似(3.5) 式的證明, 結合(3.6) 式有

下面證明(3.2) 式成立.取

所以(3.2) 式成立.

綜上所述, 定理3.1 得證.

當?(z)=z時, 易知下列結論成立.

推論 3.2設 0?1,μ是 [0,1) 上的正規函數, 且g ∈H(B),g(0) = 0, 則Pg是空間到Zμ型空間的有界算子當且僅當

而對于單位圓盤則有以下結論成立.

推論 3.3設 0?1,n= 1,μ是 [0,1) 上的正規函數,?是單位圓盤D上的全純自映射, 且g ∈H(D),g(0)=0, 則空間到型空間的有界算子當且僅當

定理3.4設0?1,μ是[0,1) 上的正規函數,?是B上的全純自映射, 且g ∈H(B),g(0)=0, 則空間到Zμ型空間的緊算子當且僅當g ∈ βμ,g?l ∈ βμ, 且

證 充分性假設(3.8)和(3.9)式成立,則對任意ε>0,存在0<δ<1,當|?(z)|2>1?δ時,

設{fj} 是在B的任一緊子集上一致收斂于0 并滿足的全純函數列, 則 {fj}和 {?fj} 在E={ω:|ω|2≤1?δ} 上一致收斂于 0.

若 |?(z)|2>1?δ, 由 (3.10)–(3.11) 式及引理 2.2, 有

若|?(z)|2≤1?δ,因為g ∈βμ,g?l ∈βμ,所以由{fj} 和{?fj} 在E={ω:|ω|2≤1?δ}上一致收斂于0, 有

注意到{g(0)fj(?(0))}一致收斂于0,結合(3.12)式和(3.13)式,有0, 從而根據引理2.3 知空間到Zμ型空間的緊算子.

必要性設空間到Zμ型空間的緊算子, 由有界性的證明知g ∈ βμ,g?l ∈ βμ.

假設 (3.8) 式不成立, 則存在 {zj}?B,{uj}?Cn ?{0} 和常數ε0> 0, 使得rj=|?(zj)|→1(j →∞), 有

則fj(?(zj))=0.類似定理 3.1 中的證明易知

下面證明{fj} 在B的任一緊子集E ?{z:|z|≤r},0

所以{fj} 在B的任一緊子集上一致趨于0.但由(3.14) 式, 類似定理3.1 中的證明有

則fj(?(zj)) = 0.經計算易知且 {fj} 在B的任一緊子集E ?{z:|z|≤r},0

下面證明(3.9) 式成立.假設(3.9) 式不成立, 則存在{zj}?B和常數ε0> 0, 使得|?(zj)|→1(j →∞), 有

當?(z)=z時, 易知下列結論成立.

推論 3.5設 0?1,μ是 [0,1) 上的正規函數, 且g ∈H(B),g(0) = 0, 則Pg是空間到型空間的緊算子當且僅當g ∈βμ,g?l ∈βμ, 且

而對于單位圓盤則有以下結論成立.

推論 3.6設 0?1,n= 1,μ是 [0,1) 上的正規函數,?是單位圓盤D上的全純自映射, 且g ∈H(D),g(0) = 0, 則空間到Zμ型空間的緊算子當且僅當g ∈βμ且

定理 3.7設 0?1,μ是 [0,1) 上的正規函數,?是B上的全純自映射且g ∈H(B),g(0)=0, 則下列條件等價

證因為緊算子是有界算子, 所以(1)?(2) 成立, 由空間的定義及定理3.4 知(2)?(3) 也成立.再證 (3)?(1), 先證 (3)?(2).由定理 3.4, 對任意的類似于定理3.1 中充分性的證明有

再證(3)?(1).若條件(3) 成立, 則條件(2) 成立.集合在空間中是有界的, 由定理3.4 并結合(3.19) 式有