王潔, 林珍連, 王建飛
(華僑大學(xué) 數(shù)學(xué)科學(xué)學(xué)院, 福建 泉州 362021)
在單復(fù)變幾何函數(shù)論中,正實(shí)部函數(shù)是極為重要的函數(shù)族,記為P[1],則有
將P推廣到多復(fù)變的單位球Βn上,記為M,則有
M={f∈H(Βn,Cn):f(0)=0,Re〈f(z),z〉>0}.
注1當(dāng)α=0,定義2即為單位球Βn上的星形映射[7-8].
文獻(xiàn)[9]利用Ω的Minkowski泛函ρ(z)給出另一種星形映射及α次殆星映射的定義.由以上定義可知,若f是Ω上的α次殆星映射,則f必是Ω上的星形映射.
定義3[10-11]設(shè){f(z,t)}t≥0,z∈Βn為一個(gè)全純映射族,f(0,t)=0,Jf(0,t)=exp(t)In.如果對(duì)于任意0≤s≤t<+∞都有f(·,s)f(·,t),即存在全純映射v=v(·,s,t),且v∈H(Βn,Cn),使得‖v‖<1,v(0,s,t)=0,f(z,s)=f(v(z,s,t),t),0≤s≤t<+∞,z∈Βn.如果f(·,t)為Βn上的雙全純映射,則稱從屬鏈{f(z,t)}t≥0為L(zhǎng)?ewner鏈.
星形映射及其子族是多復(fù)變數(shù)幾何函數(shù)論的主要研究對(duì)象之一,如何構(gòu)造這些映射的例子十分重要[12-13].文中給出Β2上α次殆星映射的有界構(gòu)造,應(yīng)用這類有界映射,可得到α次殆星映射與L?ewner鏈的關(guān)系,文中結(jié)果推廣了Β2上星形映射的結(jié)果.
為證明以上主要結(jié)論,需引入以下2個(gè)引理.
引理2[14]設(shè)映射族f(z,t)=exp(t)z+…:Βn×[0,+∞)→Cn滿足以下條件:1) 對(duì)任意的t≥0,f(·,t)∈H(Βn,Cn);2) 對(duì)任意的z∈Βn,f(z,·)在[0,+∞)上絕對(duì)連續(xù).
證明:顯然f(z1,z2)是Β2上的正規(guī)化雙全純映射,且f在C2上全純,由定義1可知,要證明f為Β2上的α次殆星映射,只需證明
(1)
由調(diào)和函數(shù)的最小模原理可知,只需證明式(1)對(duì)z∈?Βn成立,則有
(2)
由式(2)可知,f為Β2上的α次殆星映射,當(dāng)且僅當(dāng)
從而f為Β2上的α次殆星映射,當(dāng)且僅當(dāng)
由引理1可得
當(dāng)α=0時(shí),可得到推論1.
證明:由定理1可知,命題1)?命題2),因此,只需證明命題2)?命題3).易見, 對(duì)于任何的t≥0,g(·,t)∈H(Β2,C2),g(0,t)=0,Jg(0,t)=exp(t)I2,g(z,t)∈C∞(Β2×[0,+∞)),且有
注意到
從而有
因此,g(z,t)是Β2上的L?ewner鏈,當(dāng)且僅當(dāng)Re〈h(z,t),z〉>0,z∈Β2,t≥0,從而有
由類似定理1的方法可得
注3當(dāng)α=0時(shí),此結(jié)果由文獻(xiàn)[15]的引理2.3給出.