朱劍峰
(華僑大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,福建 泉州362021)
設(shè)u為定義在區(qū)域D?C上的實(shí)函數(shù),如果u具有二階連續(xù)偏導(dǎo)數(shù)且滿足Laplace方程:Δu=uxx+uyy=0,則稱u為D上的調(diào)和函數(shù).設(shè)f(z)=u+iv為定義在區(qū)域D的復(fù)變函數(shù),如果u和v皆為D上的調(diào)和函數(shù)則f(z)為D上的調(diào)和映照.令U={|z|<1}為單位圓盤(pán),f(z)為定義在U上調(diào)和函數(shù).則由文獻(xiàn)[1]知f(z)可表示為
設(shè)f(z)為U上的單葉保向調(diào)和映照,則由Lewy[2]定理可知f(z)的Jacobian恒正,即Jf=|h′|2-|g′|2>0.若進(jìn)一步地存在常數(shù)K>1,使得
則稱f(z)為U上的調(diào)和K-擬共形映照.
調(diào)和擬共形映照是共形映照的推廣,近年來(lái)國(guó)內(nèi)外許多同行研究了調(diào)和映照成為擬共形映照的充要條件,以及調(diào)和擬共形映照下的極值理論、偏差估計(jì)等取得了許多有趣的結(jié)論[3-10].
1952年,Heinz證明了如下的定理.
定理A (Heinz引理[11])設(shè)w(z)為單位圓盤(pán)U到自身上的單葉調(diào)和映照滿足w(0)=0,則有
式(2)中:c>0為常數(shù).
定理B 設(shè)w(z)為單位圓盤(pán)U到自身上的調(diào)和K-擬共形映照,滿足w(0)=0,則對(duì)于任意的z∈U,有
文中利用調(diào)和測(cè)度的擬不變性得到邊界函數(shù)F的一個(gè)偏差估計(jì),進(jìn)而利用不等式(4)得到調(diào)和擬共形映照下Heinz不等式的一個(gè)精確下界估計(jì).
定理2 設(shè)w(z)=P[F](z)為單位圓盤(pán)U到自身上的調(diào)和擬共形映照,F(xiàn)(exp(it))=exp(iγ(t))為其邊界函數(shù).對(duì)于z1=exp(i(s-t)),z2=exp(i(s-t))∈T,令θ=γ(s+t)-γ(s-t),則有F(z1)=exp(iθ)F(z2),且對(duì)于0≤s,t≤2π,有
證明 由定理2的條件及調(diào)和測(cè)度的擬不變性(參見(jiàn)文獻(xiàn)[4]的式(1.9))可知,對(duì)于0≤s,t≤2π,有不等式
定理2證畢.
定理3 假設(shè)w(z)=P[F](z)為單位圓到自身上的調(diào)和K-擬共形映照,且滿足w(0)=0,其中F(exp(it))=exp(iγ(t))為邊界函數(shù),則有
圖1 函數(shù)B(K)的圖像Fig.1 Graphics of the function B(K)
定理3證畢.
注1 定理3中若假設(shè)K=1,則w(z)=exp(ix)z為單位圓到自身上的共形映照,此時(shí)|wz(z)|2+|wˉz(z)|2=1.這說(shuō)明定理3的下界B(K)達(dá)到1是精確的.
[1] DUREN P.Harmonic mappings in the plane[M].New York:Cambridge University Press,2004:6-7.
[2] LEWY L.On the non-vanishing of the Jocobian in certain one-to-one mappings[J].Bull Am Math Soc,1932,42(10):689-692.
[3] KALAJ D.Quasiconformal and harmonic mappings between Jordan domains[J].Mayh Z,2008,260(2):237-252.
[4] PARTYKA D,SAKAN K.On an asymptotically sharp variant of Heinz′s inequality[J].Ann Acad Sci Fenn Math,2005,30:167-182.
[5] MIROSLAV P.Boundary correspondence under harmonic quasiconformal homeomorphisma of the unit disk[J].Ann Acad Sci Fenn Math,2002,27(2):365-372.
[6] QIU Song-liang,REN Liang-yu.Sharp estimate for Hübner′s upper bound function with applications[J].Appl Math J Chinese Univ,2010,25(2):227-235.
[7] 朱劍峰.單位圓盤(pán)上調(diào)和擬共形映照的復(fù)特征估計(jì)[J].華僑大學(xué)學(xué)報(bào):自然科學(xué)版,2010,31(4):476-479.
[8] 朱劍峰,黃心中.兩類調(diào)和函數(shù)的擬共形性質(zhì)[J].華僑大學(xué)學(xué)報(bào):自然科學(xué)版,2011,32(6):705-709.
[9] ZHU Jian-feng,ZENG Xiao-ming.Estimate for Heinz inequality in the small dilatation of harmonic quasiconformal mappings[J].Journal of Computational Analysis and Applications,2011,13(6):1081-1087.
[10] 朱劍峰.單位圓到凸區(qū)域上的調(diào)和擬共形映照[J].數(shù)學(xué)進(jìn)展,2012,41(1):50-54.
[11] HEINZ E.über die l?sungen der minimalfl?chengleichung[J].Nachr Akad Wiss Math-Phys KI,1952,2:51-56.
[12] HALL R R.On an inequality of Heina[J].J Analyse Math,1982,42(1):185-198.