和佳星, 曹 阳

(吉林大学 数学学院, 长春 130012)

1 引言与主要结果

定义2[2]如果存在η∈(0,1), 使得水平集{z∈D; |u(z)|<η}是连通的, 则称一个属于H∞的内函数为单分支[3]内函数.

Aleksandrov[4]给出了内函数u(z)是单分支的充要条件为存在常数C=C(u), 使得对所有的a∈D, 均有

文献[2]证明了几类内函数是否为单分支的, 如有限Blaschke乘积是单分支的, 但插值Blaschke乘积和无穷Blaschke乘积不一定是单分支的.

定义3[5]若存在正数δ>0, 使得B(z)满足

则称B(z)为插值Blaschke乘积.

Dρ(an,r)={z∈D:ρ(z,an)<ε}

是两两分离的.

定义4[2]z与w在伪双曲度量下的距离定义为

则存在一个常数γ, 使得

|B′(eiθ)|≤{γ|φ′(eiθ)| a.e.

如果f∈Aut(D)并且f不是恒同映射, 则f或者在圆盘D内有一个不动点, 或者在圆周T上有两个(可以重复)不动点.

定义5[6]圆盘中自同构的分类定义如下：

1) 如果自同构在圆盘D内有且只有一个不动点, 则称其为椭圆型的；

2) 如果自同构在圆周T上有两个不同的不动点, 则称其为双曲型的;

3) 如果自同构在圆周T上有一个重复不动点, 则称其为抛物型的.

定义6设f:D→D和g:D→D分别是拓扑空间D和D上的连续自映射, 如果存在同胚映射h:D→D, 使得h∘f=g∘h, 则称f和g是拓扑共轭的.特别地, 如果f,g和h都是全纯(线性, 光滑,cr可微)的, 则称f和g是全纯(线性, 光滑,cr可微)共轭的, 称h是一个全纯(线性, 光滑,cr可微)共轭.

因为上半平面与单位圆盘是全纯共轭的, 因此本文利用文献[7]中的分类进行讨论, 将上半平面的全纯自映射gi(z)通过全纯共轭h(z)映射为单位圆盘上的全纯自映射

并利用作用任意的单位圆盘自映射A(z)得到

定理1在单位圆盘的解析自同构分类中, 抛物型的和双曲型的在迭代后得到的零点均可构成单分支的插值Blaschke乘积； 椭圆型的……