穩(wěn)定單葉調(diào)和凸函數(shù)和星像函數(shù)的構(gòu)造

朱孟坤，黃心中

（華僑大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，福建 泉州362021）

1 預(yù)備知識

單位圓盤D＝｛z‖z|＜1｝上的復(fù)值調(diào)和映照可表示為f（z）＝h（z）＋g（z），其中，h（z），g（z）為在D上的解析函數(shù).Lewy［1］證明了單連通區(qū)域Ω上的調(diào)和映照f（z）＝h（z）＋g（z）是局部單葉的，當且僅當它的Jf（z）＝|h′（z）|2－|g′（z）|2≠0，當Jf（z）＞0時，稱f（z）是保向的；否則，稱f（z）為反向的.如果Ω上的單葉調(diào)和映照f（z）滿足|g′（z）／h′（z）|≤t＜1，t為常數(shù)，則f（z）為Ω上的調(diào)和擬共形映照.關(guān)于擬共形映照的性質(zhì)，可見文獻［2］.如果為D上的單葉調(diào)和映照，Clunie等［3］提出了系數(shù)猜想，極值映照可由達到.該猜想在單葉調(diào)和映照的一些子集上成立，但在整個集合上成立與否仍未得到證明.近年來，許多學(xué)者對該猜想做了大量的研究［4－7］.文獻［8－9］研究了單葉調(diào)和映照成為調(diào)和擬共形映照的性質(zhì).Hernández等［10］研究了單葉調(diào)和映照的穩(wěn)定性問題，圍繞調(diào)和映照及解析函數(shù)的穩(wěn)定單葉性及穩(wěn)定幾何性質(zhì)進行深入研究，對以上猜想的解決做了大量工作.

定義在D上的保向單葉調(diào)和凸映照對任意λ∈?D，若都是D上的單葉凸映照，則稱f（z）為D上的穩(wěn)定調(diào)和凸映照（SHC）；如果都是D上的單葉星像映照，則稱f（z）為D上的穩(wěn)定調(diào)和星像映照（SHS＊）.Hernández等［10］研究D上k－凸解析函數(shù)的水平剪切函數(shù)為穩(wěn)定調(diào)和凸映照的問題，證明了如下定理.

定理A對任意的λ且|λ|＝1，保向調(diào)和映照fλ（z）＝h（z）＋λg（z）為D上的調(diào)和凸映照的充分必要條件，是Fλ（z）＝h（z）＋λg（z）為D上凸解析函數(shù).

定理B若是D上的保向單葉穩(wěn)定調(diào)和凸映照，則對任意的λ∈，有h（z）＋λg（z）都是D上的凸函數(shù).特別地，當λ＝0時，h（z）是D上的單葉凸函數(shù).

定義1D上局部單葉解析函數(shù)稱為k－凸解析函數(shù)，若φ（z）滿足

特別地，當式（1）中的非負常數(shù)k不存在時，稱φ（z）為0－凸函數(shù).

基于定理A，B，Hernández等［10］還證明了定理C.

定理C設(shè)φ（z）為一個k－凸解析函數(shù)，則存在μ∈D，當|μ|充分小時，由方程組

構(gòu)造出來的調(diào)和映照f（z）＝h（z）＋g（z）∈SHC.

定理D定義在單位圓上的解析函數(shù)h（z），g（z），H（z）以及G（z）滿足如下關(guān)系，即

則f（z）＝h（z）＋g（z）∈SHC的充分必要條件是F（z）＝H（z）＋G（z）∈SHS＊.

2 主要結(jié)果及證明

由k－凸解析函數(shù)的定義可知：0≤k≤1.當k＝1時，恒等映照φ（z）＝z為D上的1－凸解析函數(shù).構(gòu)造一類k－凸解析函數(shù)，使得0≤k≤1.記函數(shù)其中，α為任意正實數(shù).易證φ（z）在D上單葉解析.由調(diào)和映照的最小模原理可得

故φ（z）為－凸解析函數(shù)，當z→－1時，k→.當α＝0時，φ（z）為0－凸解析函數(shù)；當α→∞時，φ（z）為1－凸解析函數(shù).

定理1存在一個φ0（z）為D上的單葉解析凸函數(shù)，由方程組

記（z）＝H（z）＋λG（z），λ∈?D，易知（z）在D上單葉解析.又因為|λ|＝1，0＜|μ|＜1且z∈D，可知.根據(jù)調(diào)和映照最小模原理可得

記μ＝ρexp（iθ），|ρ|＜1，令λ＝exp（－iθ），則式（4）恒小于等于零.故當0＜|μ|＜1時，（z）為非凸單葉解析函數(shù)，根據(jù)定理證畢.

由定理1可知：對于定理C，只有當φ（z）為k－凸函數(shù)時，由式（3）構(gòu)造的調(diào)和映照f（z）＝h（z）＋才有可能是穩(wěn)定凸的.為此，將μ的取值范圍精確化，方便構(gòu)造出更多的SHC類函數(shù).

定理2設(shè)φ（z）是D上的k－凸解析函數(shù)（k＞0），則對于μ∈D且滿足由方程組

構(gòu)造出來的單葉保向調(diào)和映照f（z）＝h（z）＋g（z）∈SHC.

證明 定義φθ（z）＝h（z）－exp（2iθ）g（z），ω（z）＝μz.根據(jù)定理A，只需驗證函數(shù)φθ（z）在D內(nèi)對于任意的θ∈（0，π）為凸解析函數(shù).利用φ（z）為k－凸解析函數(shù)這個假設(shè)以及凸解析函數(shù)的特點，可得到

例1令φ（z）＝z，則φ（z）為1－凸函數(shù)，由定理2可知：僅當|μ|≤－1時，滿足式（5）的解f（z）.分別取可得通過Mathematica軟件，它們將D分別映成的區(qū)域，如圖1所示.圖1中：Re表示實部；Im 表示虛部.

通過探究定理2發(fā)現(xiàn)，ω（z）＝μz的形式并不是固定的，對此還可作如下推廣.

推論1設(shè)φ（z）為D上的k－凸解析函數(shù)（k＞0）.則對于μ∈D且滿足由方程組

構(gòu)造出來的單葉保向調(diào)和映照f（z）＝h（z）＋g（z）∈SHC.

圖1 單位圓盤D 經(jīng)過fμ（z）映照后的圖像Fig.1 Function fμ（z）maps Donto the domains respectively

圖2 單位圓盤D 經(jīng)f（z）映照后的圖像Fig.2 Function f（z）maps D onto the domain

例2令則且取μ＝得到方程組

定理3設(shè)φ（z）是定義在D上的k－凸解析函數(shù).則對于μ∈D且滿足使調(diào)和映照f（z）＝h（z）＋g（z）為D上關(guān)于原點的穩(wěn)定調(diào)和星像映照，其中，h（z），g（z）分別滿足

證明 記

由簡單計算可得，H（z）－G（z）＝φ（z），G′（z）／H′（z）＝μz.由定理2可知F（z）＝H（z）＋G（z）為D上的穩(wěn)定調(diào)和凸映照，又因為zH′（z）＝h（z），zG′（z）＝－g（z）且h（0）＝g（0）＝0，由定理D 可知為D上的關(guān)于原點的穩(wěn)定調(diào)和星像映照.

例3對于D上的1－凸解析函數(shù)φ（z）＝z.取.根據(jù)定理3可得，故

通過Mathematica軟件，f（z）將D映成的區(qū)域，如圖3所示.類比推論1，很容易得到如下推論.

圖3 單位圓盤D 經(jīng)f（z）映照后的圖像Fig.3 Function f（z）maps D onto the domain

推論2設(shè)φ（z）為D上的k－凸解析函數(shù)，則對于μ∈D且滿足使調(diào)和映照f（z）＝h（z）＋g（z）為D上關(guān)于原點的穩(wěn)定調(diào)和星像映照.其中，h（z），g（z）分別滿足

推論2可根據(jù)推論1、定理3及定理D 直接得出.

［1］LEWY H.On the non－vanishing of the Jacobian in certain one－to－one mappings［J］.Uspekhi Mat Nauk，1948，3（2）：216－219.

［2］AHLFORS L V.Lectures on quasiconformal mappings［M］.New Jersey：Van Nostrand Princeton，1966：15－22.

［3］CLUNIE J.SHEIL－SMALL T.Harmonic univalent functions［J］.Ann Acad Sci Fenn Ser（A），1984，9（1）：3－25.

［4］石擎天，黃心中.調(diào)和映照與其剪切函數(shù)的單葉性［J］.華僑大學(xué)學(xué)報：自然科學(xué)版，2013，34（3）：334－338.

［5］王其文，黃心中.在微分算子作用下調(diào)和函數(shù)的單葉半徑估計［J］.華僑大學(xué)學(xué)報：自然科學(xué)版，2014，35（2）：227－231.

［6］潘旭玲，黃心中.一類單位圓盤上單葉調(diào)和映照的延拓定理［J］.華僑大學(xué)學(xué)報：自然科學(xué)版，2013，34（6）：701－705.

［7］BSHOUTY D，LYZZAIK A.Problems and conjectures in planar harmonic mappings［J］.J Analysis，2010，18：69－81.

［8］黃心中.單位圓到水平條形無界區(qū)域的調(diào)和擬共形映照［J］.數(shù)學(xué)學(xué)報：中文版，2014，57（7）：875－880.

［9］HUANG Xin－zhong.Harmonic quasiconformal mappings on the upper half－plane［J］.Complex Variables and Elliptic Equations，2013，58（7）：1005－1011.

［10］HERNáNDEZ R，MARTíN M J.Stable geometric properties of analytic and harmonic functions［J］.Math Proc Camb Phil Soc，2013，155（2）：343－359.

［11］DUREN P.Univalent functions［M］.New York：Springer－Verlag，1983：40－45.

［12］DUREN P.Harmonic mappings in the plane［M］.Cambridge：Cambridge University Press，2004：29－56.