調(diào)和K-擬共形映照下Heinz不等式的精確估計(jì)

朱劍峰

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

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

設(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｝為單位圓盤，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)和擬共形映照是共形映照的推廣，近年來國內(nèi)外許多同行研究了調(diào)和映照成為擬共形映照的充要條件，以及調(diào)和擬共形映照下的極值理論、偏差估計(jì)等取得了許多有趣的結(jié)論［3-10］.

1952年，Heinz證明了如下的定理.

定理A （Heinz引理［11］）設(shè)w（z）為單位圓盤U到自身上的單葉調(diào)和映照滿足w（0）＝0，則有

式（2）中：c＞0為常數(shù).

定理B 設(shè)w（z）為單位圓盤U到自身上的調(diào)和K-擬共形映照，滿足w（0）＝0，則對(duì)于任意的z∈U，有

文中利用調(diào)和測度的擬不變性得到邊界函數(shù)F的一個(gè)偏差估計(jì)，進(jìn)而利用不等式（4）得到調(diào)和擬共形映照下Heinz不等式的一個(gè)精確下界估計(jì).

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

定理2 設(shè)w（z）＝P［F］（z）為單位圓盤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)和測度的擬不變性（參見文獻(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.這說明定理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］ 朱劍峰.單位圓盤上調(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.