楊佳霖 張珣 邱鄭宜人
【摘 要】 令 f=h+是定義在單位圓盤(pán)Δ上的調(diào)和函數(shù), 規(guī)范化h(0)=g(0)=h'(0)-1=0,在這篇文章中, 我們通過(guò)h和g的冪級(jí)數(shù)展開(kāi)系數(shù), 給出了f的象為α(0<α<1)凸的充分條件, 使其在Δ中是擬共形同胚的,而且可以擬共形延拓到復(fù)平面。
【關(guān)鍵詞】 調(diào)和函數(shù);凸;擬共形延拓
一、緒論
設(shè)Δ={z:|z|<1}為復(fù)平面中的單位圓盤(pán)。在單位圓盤(pán)Δ中,如果實(shí)值函數(shù)u和v都是調(diào)和的,則稱(chēng)復(fù)值函數(shù)f=u+iv是調(diào)和函數(shù)。顯然,在單位圓盤(pán)Δ中,對(duì)于任何調(diào)和函數(shù)f,我們可以規(guī)范化f=h+,其中h和g都是解析的。我們稱(chēng)h和g分別是f的解析部分和共軛解析部分。眾所周知,當(dāng)且僅當(dāng)
|h'(z)|>|g'(z)|(z∈Δ) (1.1)
f=h+是局部單葉且保向的。
有關(guān)調(diào)和函數(shù)的更多細(xì)節(jié),我們可以查閱參考文獻(xiàn)[8],[9]和專(zhuān)著[2]。
用H表示單位圓盤(pán)上調(diào)和函數(shù)f=h+保向且滿(mǎn)足規(guī)范化條件h(0)
=g(0)=fz(0)-1=0的函數(shù)類(lèi),則對(duì)于f=h+∈H,h和g有以下展開(kāi)式:
, ? ? ? ? ? ? ?(1.2)
對(duì)于α∈[0,1),如果,|z|=r<1。 ? ?(1.3)
則函數(shù)f∈H是α階的凸調(diào)和函數(shù)(見(jiàn)[9])。我們記CH(α)為α階凸調(diào)和函數(shù)組成調(diào)和函數(shù)類(lèi)。
如果保向同胚函數(shù)f:G→f(G)在G上滿(mǎn)足線(xiàn)上絕對(duì)連續(xù)且,其中,則稱(chēng)f為K-擬共形映射。
當(dāng)f是全純的時(shí)候,F(xiàn)ait([4])通過(guò)展開(kāi)式中的系數(shù),給了f成為星象函數(shù)并可以擬共性延拓到整個(gè)復(fù)平面的一個(gè)充分條件。
當(dāng)f是調(diào)和的時(shí)候,通過(guò)(1.2),Avci 和Zlotkiewicz([1])利用系數(shù)an,bn給出了f成為星象函數(shù)的一個(gè)充分條件,Silverman ([10])給出了當(dāng)b1=0時(shí),f是單葉的、保向的和星象的充分條件。Jahangiri ([6])推廣了當(dāng)b1不一定為0時(shí)的相應(yīng)結(jié)果。Hamada等([5])給出了使f可以擬共性延拓到整個(gè)復(fù)平面的一個(gè)充分條件。
本文,我們將以(1.2)的形式研究H。利用系數(shù)an,bn,我們將給出f為α(0 <α<1)凸的一個(gè)充分條件,并證明這個(gè)充分條件也能保證f是擬共形同胚并且可以擬共性延拓到整個(gè)復(fù)平面。
二、α階凸的充分系數(shù)條件
在本節(jié)中,對(duì)于f∈H,我們將證明關(guān)于f∈CH(α)以下充分條件。
定理1 如果f=h+具有式(1.2)展開(kāi)式,且滿(mǎn)足以下條件
,(0≤α)
那么f在單位圓盤(pán)Δ內(nèi)是單葉調(diào)和函數(shù),且f∈CH(α)。
證明首先我們證明f是局部單葉的且在單位圓盤(pán)△內(nèi)保向,這是因?yàn)?/p>
在下文中,我們驗(yàn)證f是單葉的。如果g(z)=0,則f是解析的,并且其單葉性遵循其凸性([3])。如果g(z)≠0,我們現(xiàn)在證明當(dāng)z1≠z2時(shí),f(z1)≠f(z2)。
對(duì)于單位圓盤(pán)Δ內(nèi)的z1≠z2,我們得到z(t)=(1-t)z1+t z2
∈Δ,其中0≤t≤1。因此可以寫(xiě)成:
(2.1)
并且
(2.2)
另一方面,通過(guò)(2.1)
Reh'(z)-|g'(z)|≥Reh'(z)-
≥1--
>1--
≥0。 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (2.3)
聯(lián)合(2.2)和(2.3),我們可以得到f是單葉的。
下面證明f∈CH(α)。根據(jù)(1.3),我們只需要證明
=
=Re
其中,z=reiθ,0≤θ<2π,0≤r<1, and 0≤α<1。
不難驗(yàn)證Rew≥α當(dāng)且僅當(dāng)|1-α+w|≥|1+α-w|,因此我們只需證明|A(z)+(1-α)B(z)|-|A(z)-(1+α)B(z)|≥0,
其中A(z)=zh'+ ,。 ? ? ? (2.4)
通過(guò)(1.2)中h和g的系列展開(kāi),我們得到了
|A(z)+(1-α)B(z)|=
=
= ? ? ?(2.5)
|A(z)-(1+α)B(z)|=
=
= ? ? ? ? ?(2.6)
將(2.5)、(2.6)與條件(2.1)、(2.4)相結(jié)合,得到
|A(z)+(1-α)B(z)|-|A(z)-(1+α)B(z)|
≥
≥
證明完畢。
三、調(diào)和函數(shù)的擬共形和擬共形延拓
在給出結(jié)果之前,我們介紹一些與擬共形映射相關(guān)的概念。關(guān)于擬共性映射的理論,我們參考專(zhuān)著[7]。設(shè)f:G→是中域G的保向同胚。若f在G內(nèi)線(xiàn)上絕對(duì)連續(xù)且,其中稱(chēng)為f的復(fù)伸張,則我們稱(chēng)f是G的K-擬共形映射,
在本節(jié)中,我們將證明條件(2.1)也可以使成為擬共形并且可以拓到整個(gè)復(fù)平面。實(shí)際上,我們有以下兩個(gè)定理:
定理2設(shè)f=h+∈H是滿(mǎn)足條件(2.1)的調(diào)和函數(shù),則f是單位圓盤(pán)Δ上的擬共形映射且:
定理3設(shè)f=h+∈H是滿(mǎn)足條件(2.1)的調(diào)和函數(shù),映射
(3.1)
是f到整個(gè)復(fù)平面上的擬共形延拓,使得復(fù)伸張μF滿(mǎn)足
定理2的證明若an=bn=0,對(duì)于所有的n≥2,則f=是仿射映射。由于f是保向的,所以f=是擬共形映射且。因此,在下文中,假設(shè)f不是仿射映射,我們將通過(guò)以下兩個(gè)斷言來(lái)證明該定理。
結(jié)論1
由于f不是仿射映射,通過(guò)(2.1),易知
令,通過(guò)(1.2),對(duì)于任意z∈Δ,都有
結(jié)論2f在單位圓盤(pán)Δ上是絕對(duì)連續(xù)的。
對(duì)于任意z1,z2∈Δ,且z1≠z2,有
≤
≤(1+k)|z1-z2|
這意味著f在單位圓盤(pán)Δ上是絕對(duì)連續(xù)的。
根據(jù)定義以及結(jié)論1、結(jié)論2,我們知道f是單位圓盤(pán)Δ上的擬共形映射,且。
定理3的證明可以從[5]中的定理3.6推導(dǎo)出來(lái)。在給出定理3的證明之前,我們先介紹[5]中定理3.6的結(jié)果。對(duì)于正實(shí)數(shù)的序列{}n=2,3…,用H()表示滿(mǎn)足條件的形式(1.2)的調(diào)和映射集合f=h+且|b1|<1以及。
在[5]中證明了以下定理:
定理A([5]) 設(shè){}n=2,3…是一個(gè)正實(shí)數(shù)的序列,且
對(duì)n≥3,令f=h+∈H()。如果,此時(shí)映射
是f到整個(gè)復(fù)平面的擬共性延拓,且復(fù)伸張μF滿(mǎn)足
定理3的證明根據(jù)定理A,為證明定理3,我們只需要驗(yàn)證(2.1)是否滿(mǎn)足定理A中的條件。
根據(jù)(2.1)可以得到a1=1且f是保向的,且我們知道|b1|<1。由(2.1),令=n,有。
對(duì)于任意n≥3,且
因此,根據(jù)定理A,我們得到(3.1)定義的F是f到復(fù)平面的擬共形延拓。又由定理2證明中斷結(jié)論1,有,
證明完畢。
【參考文獻(xiàn)】
[1] Y.Avci, E. Zlotkiewicz, On harmonic univalent mappings, Ann. Univ. Mariae Curie Sklodowska Sect.A 44(1990), 1-7.
[2] P. Duren, Harmonic functions in the plane, Cambridge Univ. Press, Cambridge, 2004.
[3] P. Duren, Univalent functions, Cambridge Univ. Press, Cambridge, 2004.
[4] M. Fait, J. G. Krzyz, J. Zygmunt, Explicit quasiconformal extensions for some classes of univalent functions, Comment. Math. Helv. 51(1976), 279-285.
[5] H. Hamada, T. Honda, K. H. Shon, Quasiconformal extensions of starlike harmonic mappings in the unit disc, 4(2013), 1377-1387.
[6] J. M. Jahangiri, Harmonic functions starlike in the unit disk,Journal of Mathematical Analysis and Applications.235(1999), 470-477.
[7] O. Lehto, K.I.Virtanen, Quasiconformal Mappings in the Plane, 4(2013), 1377-1387.
[8] J. Clunie, T. Sheil-Small, Harmonic univalent functions, Ann. Acad. Sci. Fenn. Ser. A. I Math.9(1984), 3-25.
[9] T. Sheil-Small, harmonic mappings, J. London Math.Soc 2(42)(1990), 237-248.
[10] H. Silverman, Harmonic univalent functions with negative coefficients, J. Math. Anal. Appl. 220(1998), 283-289.