圓周上的小Hankel算子

李永寧，梁煥超，丁宣浩

1.重慶工商大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，重慶 400067；2.經(jīng)濟(jì)社會(huì)應(yīng)用統(tǒng)計(jì)重慶市重點(diǎn)實(shí)驗(yàn)室，重慶 400067

1 預(yù)備知識(shí)

本節(jié)我們主要回顧經(jīng)典的Hardy空間上Hankel算子的基本性質(zhì)，例如有界性，有限秩性質(zhì)等，這與我們下節(jié)中所要探討的uH2上的小Hankel算子的一些基本性質(zhì)密切相關(guān)．

引理1[7]若φ∈L2(?D)，則Hφ是有界的當(dāng)且僅當(dāng)存在g∈L∞(?D)使得Hφ=Hg．

引理2[6]若φ∈L∞(?D)，則Hφ是有限秩的當(dāng)且僅當(dāng)存在一個(gè)非零的解析多項(xiàng)式a(z)使得aφ∈H∞(?D)．

2 小Hankel算子的基本性質(zhì)

本節(jié)我們主要討論uH2上小Hankel算子的一些基本性質(zhì)，例如有界性，有限秩性質(zhì)等．顯然地，根據(jù)小Hankel算子的定義，通過標(biāo)準(zhǔn)的計(jì)算，我們可得：

命題2若φ∈H∞(?D)，則bφ=0．

從經(jīng)典的Hardy空間上的Toeplitz算子乘積與Hankel算子乘積的關(guān)系出發(fā)，我們得到了uH2上的小Toeplitz算子乘積與小Hankel算子乘積之間的關(guān)系式．該關(guān)系式在后面研究小Hankel算子的有限秩性質(zhì)時(shí)發(fā)揮了重要作用．

命題3設(shè)u為非常數(shù)值的內(nèi)函數(shù)，且φ，ψ∈L∞(?D)，則

證根據(jù)Hardy空間上Toeplitz算子與Hankel算子之間的關(guān)系

(1)

則對(duì)任意的x∈H2，ux∈uH2，將ux代入(1)式，可得

Pφψu(yù)x-PφPψu(yù)x=PφP-ψu(yù)x

(2)

(3)

注意到

(4)

運(yùn)用相同的技巧，可得

(5)

(6)

將等式(4)-(6)代入等式(3)中，則等式(3)可變形為

(7)

現(xiàn)在將算子Mu作用在(7)式的兩端，則可得

這意味著

因此，我們就得到了uH2上的小Toeplitz算子與小Hankel算子之間的關(guān)系

(8)

證畢．

由MφMψ=Mφψ=MψMφ以及乘法算子在L2上的表示可知Hφψ=HφTψ+SφHψ，從而當(dāng)φ∈H∞(?D)時(shí)，Hφψ=HψTφ=SφHψ．雖然DφDψ=DψDφ和DφDψ=Dφψ在一般情況下并不成立，但通過直接計(jì)算，關(guān)于小Toeplitz算子和小Hankel算子，我們得到了類似的結(jié)果．

命題4若φ∈H∞(?D)，則bφψ=bψtφ=Sφbψ．

證 對(duì)任意的x∈H2，ux∈uH2，由于bφψu(yù)x=P-(φψu(yù)x)，而且

又因?yàn)閤∈H2，φ∈H∞(?D)，故φx∈H2，從而P-φx=0，因此bψtφux=P-(ψu(yù)φx)，故bψtφ=bφψ．

類似地，因?yàn)?/p>

Sφbψu(yù)x=P-(φP-(ψu(yù)x))=P-(φ(I-P)(ψu(yù)x))=P-(φψu(yù)x)-P-(φP(ψu(yù)x))

而且由φ∈H∞(?D)知φP(ψu(yù)x)∈H2，故P-(φP(ψu(yù)x))=0．從而Sφbψu(yù)x=P-(φψu(yù)x)=bφψu(yù)x，因此Sφbψ=bφψ．則有bφψ=bψtφ=Sφbψ．

故命題4得證．

算子的有界性是算子理論中非常基本且重要的問題，所以關(guān)于小Hankel算子在什么條件下是有界算子的問題是我們需要最先解決的問題．下述定理給出了小Hankel算子的有界性的完全刻畫：

定理1若φ∈L2(?D)，則bφ是有界的當(dāng)且僅當(dāng)存在g∈L∞(?D)使得Hφu=Hg．

證由于

所以bφ是有界的當(dāng)且僅當(dāng)Hφu是有界的，則由引理1知，bφ是有界算子充要條件為：存在g∈L∞(?D)使得Hφu=Hg．

對(duì)于任意的φ，ψ∈L∞(?D)，關(guān)于小Hankel算子，我們主要考慮以下兩個(gè)問題：

問題1在什么條件下，bφ是有限秩算子？

對(duì)于上述兩個(gè)問題，根據(jù)Hardy空間上有限秩的Hankel算子的刻畫以及Hankel算子與小Hankel算子之間的關(guān)系，我們得到如下結(jié)果：

定理2若φ∈L∞(?D)，則bφ是有限秩算子當(dāng)且僅當(dāng)存在解析多項(xiàng)式a(z)，使得a(z)φ(z)u(z)∈H∞(?D)．

證對(duì)任意的x∈H2，有ux∈uH2，則

bφux=P-φux=Hφux

從而，bφ為有限秩算子當(dāng)且僅當(dāng)Hφu為有限秩算子．因此，根據(jù)引理2，bφ為有限秩算子當(dāng)且僅當(dāng)存在解析多項(xiàng)式a(z)，使得a(z)φ(z)u(z)∈H∞(?D)．

下述例1表明：存在φ∈L∞(?D)，使得小Hankel算子bφ是有限秩算子，但Hankel算子Hφ卻不是有限秩的．

3 展 望