石擎天,林珍連

(1.泉州師范學院數(shù)學與計算機科學學院,福建 泉州 362000；2.華僑大學數(shù)學科學學院,福建 泉州 362021)

0 引言

設(shè)Δ={z:|z|<1}是復(fù)平面C上單位圓盤，Δ*=C/Δ是單位圓盤外區(qū)域。記Σ為Δ*到C上共形映照f(滿足規(guī)范化條件f′(∞)=1和f(∞)=∞)的全體，即f∈Σ可表示為

(1)

20世紀80年代以來,Σ類函數(shù)的面積估計、擬共形延拓、像域特征的刻畫等問題得到深入研究[1-2]。記Σ′={f∈Σ:f(z)≠0}，Σ′類函數(shù)可與S類建立一一對應(yīng)關(guān)系,即f∈S當且僅當g∈Σ′,其中g(shù)(z)=1/f(1/z)。1914年，為了證明S類中系數(shù)估計|a2|≤2，Gronwall[3]借助S類與Σ類間這種緊密聯(lián)系，運用Parseval公式得到經(jīng)典的面積定理,即定理1。

1971年，Lehto[4]推廣了定理1，即定理2。

(2)

其中a1是復(fù)常數(shù),且|a1|<1。

Dirichlet積分是研究擬共形映射極值性和調(diào)和映射存在性的重要工具[5-6]。受定理1和定理2的啟發(fā)，本文將Σ類推廣到調(diào)和映射中。

設(shè)ΣH是Δ*上單葉保向調(diào)和映射全體，且滿足規(guī)范化條件為

(3)

擬共形映射是復(fù)分析中非常重要的研究對象，是共形映射的推廣，且與調(diào)和映射既有緊密聯(lián)系又有較大差異,因此，它吸引了廣大學者們進行深入研究[8-11]。ΣH類是調(diào)和映射理論研究中非常重要的函數(shù)類，其面積偏差、單葉半徑、星象與凸像特征刻畫、Lipschitz連續(xù)性等問題的研究備受關(guān)注，并得到了一些較好的結(jié)果[7，12-16]。

本文在定理1和定理2的研究方法基礎(chǔ)上，結(jié)合ΣH類函數(shù)的性質(zhì)，對相應(yīng)面積定理進行分析，結(jié)果推廣了定理1和定理2，為深入研究ΣH類的系數(shù)估計、Lipschitz連續(xù)性、擬共形性等提供了一定的理論參考。

1 主要結(jié)果及其證明

為了給出具有擬共形延拓性的單葉調(diào)和映射的系數(shù)估計，先分析ΣH類的面積估計。

引理1 若f∈ΣH，則

(4)

證明設(shè)E是復(fù)平面C中緊致連通集使得ω=f(z)在Δ*上的函數(shù)值不取E中的點，即f(Δ*)∈CE。對于r>1，設(shè)Cr是f在圓周|z|=r上的像。因為f是單葉的，所以Cr是一條簡單閉曲線，且其圍成的閉域Er?E。由Green定理可得Er的面積為

(5)

注1 由引理1的證明可知，式(4)中等號成立當且僅當f∈∑H且m(E)=0。特別地，當A=0且bn=0對所有n=1,2,…時，引理1恰為定理1。因此，引理1是共形映射f∈Σ的面積定理的推廣。

應(yīng)用上述面積定理,得到了具有擬共形延拓性的單葉調(diào)和映射的系數(shù)估計如下。

(6)

(7)

其中，a0,a1是復(fù)常數(shù)且|a1|=k<1。

證明證明過程可分A=0和A≠0兩種情況。

(8)

另外，對于ρ>1，對f運用Cauchy-Green公式可得，

當|ξ|=ρ→∞時，則有

(9)

(10)

將式(8)代入式(10)可得

(11)

接下來將證明F(z)在Δ*上單葉，即對Δ*內(nèi)任意兩點z1,z2且z1≠z2，驗證F(z1)≠F(z2)。當|z1|=|z2|時，F(xiàn)(z1)-F(z2)=f(z1)-f(z2)≠0，從而F(z)在Δ*上單葉；當|z1|≠|(zhì)z2|時，不妨設(shè)argz1=argz2且|z1|<|z2|(否則,若argz1≠argz2，則考慮用eiθz1代替z1,使之滿足arg eiθz1=argz2，其中θ是某個常數(shù))。由于

其中γ是Δ*內(nèi)連接z1,z2的可求長曲線，所以F(z)也在Δ*上單葉。令

其中f*是f在Δ上的擬共形延拓，則g可擬共形延拓到復(fù)平面C且復(fù)特征滿足|ω(z)|≤k?；贏=0情形的證明可知,f的系數(shù)也滿足式(11)。

最后說明等號取等的條件。若f定義如式(7)，則bn=0,n=1,2…且an=0,n=2,3…，此時f在Δ*內(nèi)1-擬共形，在Δ內(nèi)K-擬共形，這里,k=|a1|=(K-1)/(K+1)<1，即式(11)顯然成立。

例1 函數(shù)f(z)=z+a1/z+Alg|z|，其中|a1|<1滿足式(6)。

對所有z∈Δ*都成立。