郭輝,李文華
(深圳大學數(shù)學與統(tǒng)計學院,廣東 深圳 518060)
Landau定理中上界的一個改進
郭輝,李文華
(深圳大學數(shù)學與統(tǒng)計學院,廣東 深圳518060)
通過相關(guān)文獻給出的穿孔平面C{0,1}的雙曲度量的密度函數(shù)的新的下界估計,借助廣義Schwarz引理我們對Landau定理中關(guān)于上界做了進一步改進并得到了一個帶參數(shù)的上界表達式.并且當參數(shù)取到0時,此結(jié)論正好為相關(guān)文獻得到的結(jié)果.
Landau定理;全純函數(shù);Poincar′e度量
記?={z:|z|<1}為單位圓,C{0,1}為穿孔平面,和ρ0,1(z)為穿孔平面雙曲度量的密度函數(shù).眾所周知,Landau定理是復(fù)分析的一個重要的經(jīng)典定理.設(shè)函數(shù)f(z)在單位圓?內(nèi)全純,且不取0和1,并在原點有展式:f(z)=a0+a1z+a2z2+...,Landau定理斷言:存在一個與f無關(guān)的常數(shù)C使得
(1.1)式中常數(shù)C被稱為Landau常數(shù).人們試圖給出其最佳值.經(jīng)過多年不斷努力,最終在20世紀70年代末80年代初,先后由賴萬才[1],Hempel[2]和Jenkins[3]彼此獨立地給出了C的精確值:
其證明方法各有不同.
盡管如此,Landau定理的顯式估計形式仍有改進的余地.1992年,李忠教授[4]在 Ahlfors[5],Hempel[2]及 Minda[6]等人的基礎(chǔ)之上,給出了穿孔面 C{0,1}上雙曲度量的密度函數(shù)ρ0,1(z)的新下界,并由此得到(1.1)式的一種改進形式,其結(jié)論(見文獻[4]中定理1)如下:
定理 1.1設(shè)函數(shù)f(z)在單位圓?內(nèi)全純,且不取0和1,并在原點有展式:
則存在一個絕對常數(shù)m>0使得下述估計式成立:
其中C是由(1.2)式?jīng)Q定的常數(shù),而
(1.3)式中的等號當且僅當f是C{0,1}的全純覆蓋映射且a0=-1時成立.
本文通過李忠教授(見文獻[4]中定理2)給出的穿孔平面C{0,1}的雙曲度量的密度函數(shù)新的下界估計,借助廣義Schwarz引理我們對定理A中關(guān)于(1.3)式做進一步改進,得到本文的主要結(jié)果如下:
定理 1.2設(shè)函數(shù)f(z)在單位圓?內(nèi)全純,且不取0和1,并在原點有展式:
則存在一個絕對常數(shù)m>0使得下述估計式成立:
其中C是由(1.2)式?jīng)Q定的常數(shù),α∈(0,0.01),且滿足
式中β是一個由α按上式確定的常數(shù),而n為(1.4)式中定義.(1.5)式中的等號當且僅當f 是C{0,1}的全純覆蓋映射且a0=-1時成立.
注1.1當定理1.1中α=0時,(1.5)式即為(1.1)式;而且從定理1.1的證明過程可知定理1.1對定理A中的上界估計做了改進.
首先,在證明定理1.1之前,我們介紹兩個引理.
引理 2.1(廣義Schwarz引理[7-8]) 設(shè)區(qū)域D與G,其Poincar′e度量分別為
f:D→G為全純函數(shù),則
其中等號在一點成立的充要條件是f是D到G的全純覆蓋映射.
引理 2.2[4]設(shè)ρ0,1(z)|dz|為C{0,1}的雙曲度量,其中Gauss曲率為-1.則
其中α和β與定理1.1中定義一樣.且上式中取到等號當且僅當z=-1時成立.
定理 1.1的證明首先假設(shè)|a0|=|f(0)|≤1.由引理2.1得到
我們?nèi)=0,(2.3)式變?yōu)棣?,1(f(0))|f′(0)|≤2,即為
將(2.4)式代入引理2.2中(2.2)式第一個不等式,得到
令Q(ζ)=|1-αζ|log(β|1-αζ|/|ζ|)和R(ζ)=|log|ζ||+C,并假設(shè)T(ζ)=Q(ζ)-R(ζ),那么(2.5)式變?yōu)?/p>
比較(1.5)式,(2.5)式和(2.6)式的形式,知道要證明(1.5)式轉(zhuǎn)化為估計T(a0).根據(jù)(1.6)式,得到
假定|ζ|≤1,那么有
經(jīng)過簡單的計算知:
又因為|ζ|≤1,利用不等式(x-1)/x≤logx,(0<x≤1),得到
進而得到,
結(jié)合(2.9)式,得到:
又根據(jù)(2.9)式,可知
那么由(2.8)式,(2.10)式和(2.11)式,得到
令x=Reζ,y=Imζ,對|ζ|≤1,有
結(jié)合(2.12)式和(2.13)式,得到
因此當|a0|≤1時,令
令ζ=a0,根據(jù)(2.14)式,得到
結(jié)合(2.6)式和(2.15)式,得到
另一方面,當|a0|>1,將上述結(jié)果應(yīng)用于F=1/f,同理可以得到,
取
那么結(jié)合 (2.16)式和 (2.17)式得到 (1.5)式.由證明過程中所應(yīng)用的引理 2.1及引理 2.2 知(1.5)式中的等號當且僅當f是C{0,1}的全純覆蓋映射且a0=-1時成立.
[1]Lai W C.The precise value of Hayman’s constant in Landau’s theorem[J].Sci.in China,1978,5:495-500.
[2]Hempel J A.The Poincar′e metric on the twice punctured plane and the theorems of Landau and Schottky [J].J.London Math.Soc.,1979,20:435-445.
[3]Jenkins J A.On explicit bounds in Landau’s theorem II[J].Canad.J.Math.,1981,33:559-562.
[4]Li Z.A new explicit bound in Landau’s theorem[J].Sci.in China(Series A),1992,35:463-470.
[5]Ahlfors L V.Conformal Invariants:Topics in Geometric Function Theory[M].New York:McGraw-Hill Book Company,1973.
[6]Minda D.A reflection principle for the hyperbolic metric and applications to geometric function theory[J]. Complex Variables Theory Appl.,1987,8:129-144.
[7]李忠.復(fù)分析導(dǎo)引[M].北京:北京大學出版社,2004.
[8]李忠.擬共形映射與Teichm¨uller空間[M].北京:北京大學出版社,2013.
2010 MSC:30C20,30C35
A improvement of the upper bound in Landau theorem Guo Hui,Li Wenhua
(College of Mathematics and Statistics,Shenzhen University,Shenzhen 518060,China)
On the basis of the lower bound of the Poincar′e density of the twice-punctured plane C{0,1}which was given in related literature,we improve the upper bounder expression of Landau theorem and obtain a new upper bounder expression with a parameter by Schwarz Lemma.Moreover,the expression is the result in related literature when the parameter is zero.
Landau theorem,holomorphic function,Poincar′e metric
O174
A
1008-5513(2016)04-0337-05
10.3969/j.issn.1008-5513.2016.04.002
2016-04-28.
國家自然科學基金(11101290).
郭輝(1966-),博士,教授,研究方向:復(fù)分析.