李淑龍, 劉學文
(1.南方醫(yī)科大學生物醫(yī)學工程學院,廣東 廣州 510515;2.深圳西鄉(xiāng)中學新高中部,廣東 深圳 518102)
S1上映射的擴張問題已經(jīng)得到廣泛的研究[1-9],其在Teichmuller空間的研究中具有重要的作用。我們知道:Beurling-Ahlfors擴張不是共形自然的,而Douady-Earle擴張是共形自然的。 由于Beurling-Ahlfors擴張不是共形自然的,它只能直接用于萬有Teichmuller空間的研究,而不能直接用于一般的Teichmuller空間的研究。而Douady-Earle擴張是共形自然的,可以直接用于一般的Teichmuller空間的研究。
尋找單位圓周上映射的共形自然擴張是一個很有趣的問題。在本文中我們將定義單位圓周上同胚映射的共形自然擴張——逆擴張,并且我們將通過一個例子證明逆擴張不同于Douady-Earle擴張。
對于每個a,映射
∈G+
滿足ga:a→0且0→-a。
(1)
的唯一解,我們稱之為Douady-Earle擴張。 顯然F1是定義在D×D上的實解析函數(shù)。
引理2[2]Douady-Earle擴張是共形自然的,即滿足
E(gB°φ°h)=g°E(φ)°h, ?g,h∈G
易知(1)等價于方程
(2)
既然Douady-Earle擴張是共形自然的,不失一般性,我們可以假設E(φ)(0)=0,即
φ(ξ)|dξ|=0或φ(eiθ)dθ=0
(3)
若z∈S1,令z=eiθ,ζ=eit,且ζ=φ(eiθ)=eiψ(θ),則ψ:R→R是同胚映射,且滿足ψ(θ+2π)=ψ(θ)+2π。記φ的逆映射為φ-1,則
φ-1(ζ) = eiψ-1(t)
這里ψ-1是ψ:R→R的逆映射,滿足ψ-1(t+2π)=ψ-1(t)+2π。
由引理1,我們能夠如下定義φ:S1→S1的另一擴張N:
即它是同胚映射φ:S1→S1逆映射φ-1:S1→S1的Douady-Earle擴張映射的逆映射,我們稱之為逆擴張。
(4)
其等價于
(5)
假設aj,j=1,2,3是正整數(shù)并且滿足
(6)
記
我們考慮同胚映射ft:S1→S1如下:對于z=eiθ,
ft(eiθ)=
容易計算
由(3)知上式意味著ωt|z=0=E(ft)(0)=0。 但下面我們將證明
θ≠0,
事實上,記ft(eiθ)=eiψt(θ),那么
ψt(θ)=
(θ)=
ζθ=
A+B+C-2i
其中
所以
(ζ)|dζ| =A+B+C-2i =
(ζ)|dζ| =A+B+C-2i=
從上面這個例子我們馬上有如下定理:
定理1 逆擴張不同于Douady-Earle擴張。
由引理2,即Douady-Earle擴張是共形自然的,同樣地逆擴張也是共形自然的。
定理2 逆擴張映射是共形自然的,即滿足
G(g°φ°h)=g°G(φ)°h, ?g,h∈G
證明?g,h∈G,
G(g°φ°h)=[E((g°φ°h)-1)]-1=
[E(h-1°φ-1°g-1)]-1=[h-1°E(φ-1)°g-1]-1=
g°E-1(φ-1)°h
證畢。
參考文獻:
[1]李忠.擬共形映射及其在黎曼曲面論中的應用 [M].北京:科學出版社,1988.
[2]DOUADY A,EARLE C J.Conformally natural extension of homeomorphisms of the circle [J].Acta Mathematica,1986,157(1): 23-48.
[3]EARLE C,MARKOVIC V,SARIC D.Barycentric extension and the Bers embedding for asymptotic Teichmüller space [J].Contemporary Math,2002,311: 87-105.
[4]LI S L,LIU L X,SU W X.A family of conformally natural extensions of homeomorphisms of the circle [J].Complex Variables and Elliptic Equations,2008,53(5): 435-443.
[5]FOTIADIS A.Harmonic extensions of symmetric maps [J].Calc Var,2009,35:271-278.
[6]ABIKOFF W,EARLE C,MITRA S.Barycentric extensions of monotone maps of the circle [J].In the tradition of Ahlfors and Bers,III,Contemporary Math,2004,355:1-20.
[7]ABIKOFF W.Conformal barycenters and the Douady-Earle extension|a discrete dynamical approach [J].Anal Math,2002,86: 221-234.
[8]YAO G W.Harmonic maps and asymptotic Teichmuller space [J].Manuscripta Math,2007,122: 375-389.