闕玉琴，陳行堤（華僑大學(xué)數(shù)學(xué)科學(xué)學(xué)院，福建泉州362021）

?

一類(lèi)調(diào)和映照的系數(shù)估計(jì)

闕玉琴，陳行堤
（華僑大學(xué)數(shù)學(xué)科學(xué)學(xué)院，福建泉州362021）

摘要：在單葉調(diào)和映照的系數(shù)猜想的基礎(chǔ)上，獲得單葉調(diào)和映照在第二復(fù)伸張滿足標(biāo)準(zhǔn)化條件下的系數(shù)估計(jì)，結(jié)果漸進(jìn)于單葉函數(shù)的系數(shù)估計(jì)，建立了兩個(gè)猜想的聯(lián)系，并獲得此類(lèi)映照的增長(zhǎng)和覆蓋定理.

關(guān)鍵詞：?jiǎn)稳~調(diào)和映照；穩(wěn)定調(diào)和映照；系數(shù)估計(jì)；增長(zhǎng)定理

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

若f（z）為定義在單位圓盤(pán)D＝｛｜z｜＜1｝上的調(diào)和映照，則存在D上的兩個(gè)解析函數(shù)h（z）和g（z），使得f（z）＝h（z）＋g（z），且稱h（z）和g（z）為f的解析元和反解析元［1－11］.由Lewy［6］定理知，調(diào)和映照f(shuō)在單位圓上局部單葉當(dāng)且僅當(dāng)

若Jf＞0，則f為單位圓盤(pán)上的保向調(diào)和映照，其第2復(fù)伸張為ω（z）＝g′（z）/h′（z），且在單位圓內(nèi)滿足｜ω（z）｜＜1.SH表示單位圓盤(pán)上的單葉保向調(diào)和映照且具有展式，即的全體.記S0H＝｛f∈SH∶fz（0）＝0｝.

經(jīng)典的單葉解析函數(shù)類(lèi)，即

1985年，de Branges［4］證明了Bieberbach猜想，當(dāng)n≥2時(shí)，｜an｜≤n.1984年，Clunie等［1］提出了規(guī)范化單葉調(diào)和映照的系數(shù)猜想A.

猜想A 如果f＝h＋g珚∈S0H，且h和g的表達(dá)式為（1），那么不等式

對(duì)所有的n≥2成立.當(dāng)f（z）為調(diào)和Koebe函數(shù)，即時(shí)，等號(hào)成立.

這個(gè)猜想在S0H一些子類(lèi)是成立的，如凸、星象、近于凸、典型實(shí)和沿一個(gè)方向凸的單葉調(diào)和映照類(lèi)［1，10－11］.記

2014年，Ponnusamy等［8］證明了猜想A在類(lèi)H0H（S）也是正確的，即定理A.

定理A 設(shè)f＝h＋珚g∈S0H（S），式（1）為h和g的表達(dá)式，則對(duì)所有的n≥2，式（2）成立.這是S0H（S）類(lèi)系數(shù)的精確上界，當(dāng)f為調(diào)和Koebe函數(shù)K（z）時(shí)，等號(hào)成立.

2013年，Hernández等［7］提出了穩(wěn)定性理論.如果調(diào)和映照f(shuō)＝h＋g珚單葉（凸）且對(duì)于所有的θ有fθ＝h＋exp（iθ）g珚單葉，則稱f是穩(wěn)定單葉（凸）；而且還證明了若調(diào)和映照f(shuō)＝h＋珚g穩(wěn)定單葉當(dāng)且僅當(dāng)解析函數(shù)F＝h＋g穩(wěn)定單葉.不是所有的調(diào)和映照都是穩(wěn)定單葉的，比如調(diào)和Koebe函數(shù)只在θ＝π時(shí)成立.2014年，Ponnusamy［8］提出了一個(gè)猜想：對(duì)于每一個(gè)，一定存在一個(gè)θ使得h＋exp（iθ）g∈S.

文中繼續(xù)研究S0H（S）類(lèi)調(diào)和映照，利用第2復(fù)伸張的標(biāo)準(zhǔn)化條件，得到漸進(jìn)于經(jīng)典的單葉解析函數(shù)類(lèi)S的系數(shù)估計(jì).

2　主要定理及證明

定理1 假設(shè)單位圓盤(pán)上的保向調(diào)和映照f(shuō)＝h＋珚g∈S0H（S），h和g的表達(dá)式滿足式（1），其第2復(fù)伸張為ω（z）滿足ω（0）＝0，ω′（0）＝0，ω″（0）＝0，…，ω（m－1）（0）＝0，ω（m）（0）≠0.

當(dāng)n≤m時(shí)，有

當(dāng)n＝m＋k，k＝1，2，3，…時(shí)，有特別地，當(dāng)m→∞時(shí)，｜an｜≤n；當(dāng)m＝1時(shí)，｜an｜≤（n＋1）（2n＋1）/6，｜bn｜≤（n－1）（2n－1）/6.證明 因?yàn)閒＝h＋g珚∈S0H（S），所以存在一個(gè)θ，使得

由de Branges定理，當(dāng)n≥2時(shí)，｜φn｜≤n.因?yàn)閒為保向的調(diào)和映照，所以ω（0）＝0，且對(duì)于所有的z∈D，有

而且有所以有

因?yàn)棣兀▃）滿足ω（0）＝0，ω′（0）＝0，ω″（0）＝0，…，ωm－1（0）＝0，ωm（0）≠0，所以有

又由于

所以，可令

因?yàn)椋兀▃）｜＜1，由從屬原理根據(jù)Rogosinski定理［9］，對(duì)所有的n，有

｜wn－1｜≤1， ｜vn－1｜≤1.

因此有

當(dāng)n＝m＋1時(shí)，有

∞

所以

特別地，當(dāng)m→∞時(shí)，｜am＋k｜≤m＋k，即｜an｜≤n，｜bn｜＝0，其為解析函數(shù)類(lèi)的系數(shù)估計(jì)；當(dāng)m＝1，｜an｜≤（n＋1）（2n＋1）/6，｜bn｜≤（n－1）（2n－1）/6，其為Ponnusamy的S0H（S）類(lèi)的系數(shù)估計(jì).

由于解析函數(shù)S類(lèi)的子類(lèi)凸函數(shù)的系數(shù)估計(jì)為當(dāng)n≥2時(shí)系數(shù)的模小于等于1，所以類(lèi)似定理1的證明得到.

推論1 假設(shè)f＝h＋珚g∈S0H（C），其中，h和g滿足式（1）且第2復(fù)伸張ω（z）滿足式（4），則當(dāng)n≤m時(shí)，有

當(dāng)n＝m＋k，k＝1，2，3，…時(shí)，有

特別地，當(dāng)m→∞時(shí)，｜an｜≤1；當(dāng)m＝1時(shí)，｜an｜≤（n＋1）/2.

推論2 假設(shè)f＝h＋珚g∈SH（S），其中h和g滿足式（1），則當(dāng)n＜m時(shí)，有

證明 設(shè)f0＝h0＋g珚0∈S0H（S），其中且其第2復(fù)伸張ω0（z）滿足則

由定理1，當(dāng)n＜m時(shí)，有

｜a0，n｜≤n， ｜b0，n｜＝0.

當(dāng)n＝m＋k，k＝0，1，2，…時(shí)，有

所以，當(dāng)n＜m時(shí)，有｛｜an｜＝｜a0，n＋b1b0，n｜≤｜a0，n｜＋｜b0，n｜≤n，｜bn｜＝｜b0，n＋b1a0，n｜≤｜b0，n｜＋｜a0，n｜≤n.，2，…時(shí)，有

當(dāng)n＝m＋k，k＝0，1（）（）

3　結(jié)果的運(yùn)用

SH（S）類(lèi)有下列的性質(zhì)：若，則函數(shù)為

其中：c∈D，此性質(zhì)稱為仿射不變.類(lèi)似地，若f∈SH（S），則函數(shù)為

此性質(zhì)稱為線性不變.定理B為SH類(lèi)調(diào)和函數(shù)的增長(zhǎng)和覆蓋定理［3］.

定理B 假設(shè)α是所有函數(shù)f∈SH類(lèi)第二項(xiàng)系數(shù)｜a2｜的上確界，則對(duì)于每個(gè)函數(shù)f∈S0H滿足

特別地，每個(gè)函數(shù)f∈S0H包含一個(gè)1/2α圓.

定理1證明了第2復(fù)伸張滿足式（4）的S0H（S）類(lèi)的精確系數(shù)估計(jì)，作為定理1的運(yùn)用，可以證明第2復(fù)伸張滿足式（4）的條件下S0H（S）類(lèi)的精確系數(shù)估計(jì).利用定理B，給出一個(gè)S0H（S）類(lèi)更優(yōu)的增長(zhǎng)和覆蓋定理.

定理2 對(duì)每一個(gè)復(fù)伸張滿足式（4）的f∈S0H（S），當(dāng)m＞1時(shí)，滿足下面的不等式，即

特別地，此類(lèi)映照包含了一個(gè)1/4圓.

參考文獻(xiàn)：

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

［2］DUREN P.Univalent functions［M］.New York：Springer－Verlag，1983：17－21.

［3］DUREN P.Harmonic mappings in the plane［M］.Cambridge：Cambridge University Press，2004：86－110

［4］de BRANGES L.A proof of the Bieberbach conjecture［J］.Acta Math，1985，154（1/2）：137－152.

［5］GREINER P.Geometric properties of harmonic shears［J］.Comput Methods Funct Theory，2004，4（1）：77－96.

［6］LEWY H.On the non－vanishing of the Jacobian in certain one－to－one mappings［J］.Bull Amer Math Soc，1936，42 （1）：689－692.

［8］PONNUSAMY S，KALIRAJ A S.On the coefficient conjecture of clunie and sheil－small on univalent harmonic mappings［DB/OL］［2014－03－22］.http：∥arxiv.org/abs/1403.5619.

［9］ROGOSINSKI W.On the coefficients of subordinate functions［J］.Proc London Math Soc，1990，42（1）：237－248.

［10］SHEIL－SMALL T.Constants for planar harmonic mappings［J］.J London Math Soc，1990，42（1）：237－248.

［11］WANG Xiao－tian，LIANG Xiang－qian，ZHANG Yu－qin.Precise coefficient estimates for close－to－convex harmonic univalent mappings［J］.J Math Anal Appl，2001，263（2）：501－509.

（責(zé)任編輯：陳志賢 英文審校：黃心中）

On the Coefficient Estimates for One Subclass of Harmonic Mappings

QUE Yu－qin，CHEN Xing－di
（School of Mathematical Sciences，Huaqiao University，Quanzhou 362021，China）

Abstract：We study the coefficient estimates of a subclass of harmonic mappings，which second complex dilatations satisfy some normal condition.The result is asymptotic to the estimates of univalent analytic functions，the relationship of the coefficient conjecture of these two class mappings is established.We also obtain the growth and covering theorem for this class of mappings.

Keywords：harmonic mapping；stable harmonic mapping；coefficient estimate；distortion theorem

通信作者：陳行堤（1976－），男，副教授，博士，主要從事函數(shù)論的研究.E－mail：chxtt＠hqu.edu.cn.

中圖分類(lèi)號(hào)：O 174.55

文獻(xiàn)標(biāo)志碼：A

文章編號(hào)：1000－5013（2015）04－0484－05

doi：10.11830/ISSN.1000－5013.2015.04.0484

收稿日期：2014－10－27

基金項(xiàng)目：國(guó)家自然科學(xué)基金資助項(xiàng)目（11471128）；福建省自然科學(xué)基金計(jì)劃資助項(xiàng)目（2014J01013）；華僑大學(xué)中青年教師科研提升資助計(jì)劃（ZQN－YX110）