1. 引言及主要结果
Aharonov不变量,是经典的Schwarzian导数的推广,并且在亚纯函数的单叶性以及拟共形扩张中都起了至关重要的作用。而由Lavie引入的Lavie导数在许多拟共形映射的研究中也有许多漂亮的结果。Lavie导数与Schwarzian导数的高阶导数以及Aharonov不变量之间都存在着密切的联系。除此之外,在本文中我们还将给出有关Aharonov不变量和Lavie导数的一个刻画。
为了叙述相关背景和结果,我们先从一些简单的定义和记号开始。我们用
表示复平面,
表示单位圆盘
,而
。对于在复平面
内的区域D上一个单叶解析函数f,且在点z处导数
,解析函数f在z点处的Schwarzian导数
定义为
其中
称为f的pre-Schwarzian导数。
Schwarzian导数具有下列性质:
性质1 如果f是一个分式线性变换,那么
性质2 如果函数f在定义域上不为0,那么
该性质可用于定义局部单射亚纯函数的Schwarzian导数。
性质3 Schwarzian导数满足复合公式
特别地,如果g是一个Möbius变换,那么
Schwarzian导数在单叶函数和Teichmüller空间理论中扮演着一个重要的角色,更多研究详见 [1] - [8] 。
设
表示
内所有的全纯函数
所组成的Banach空间,具有下列有限范数
设
的闭子空间
是由所有的属于
的全纯函数
所组成,并且具有下列有限范数
对于在复平面
内的区域D上一个单叶函数f,具有
,
,
,考虑生成函数
对每一个
,
,展开成幂级数为
则这个量
称为Aharonov不变量(见 [3] )。
注意
因此,
和
是f的pre-Schwarzian导数
和Schwarzian导数
。由此,
,可以看作是高阶Schwarzian导数。
Aharonov在 [3] 中证明了关于
这个量的下列性质:
1) 当
时,
2) 对于
,有Mӧbius变换
,使得
设f是
中的一个共形映射,由Lavie [9] 引入的Lavie导数可以定义为
根据Aharonov不变量的定义,我们由
这表明当
时,Aharonov不变量的情况和Lavie导数的情况是一致的。
由此当
时,对于Lavie导数,Harmelin [4] 有如下结果。
定理2 [4] 设f是
上的一个共形映射,则我们有
当
时,则有
从上述的两个论断中,我们不难发现,Lavie导数与Schwarzian导数的高阶导数以及Aharonov不变量之间都存在着密切的联系。除此之外,在本文中我们还将给出有关Aharonov不变量和Lavie导数的一个刻画。
我们知道
通过计算
设
,
,则
是在
的邻域内的共形映射,设
根据Aharonov不变量的定义,我们可以得到共形映射
关于Aharonov不变量的一个显式表达式。
定理3 当
时,
是
的邻域内的共形映射,则有
我们知道一个单位圆盘
存在可以拟共形延拓到整个复平面
的共形映射f,对此,我们有如下结果。
由Stroethoff [10] 给出了Bloch函数的一些高阶导数的表征。
引理1 [10] 设
是
上的一个全纯函数且
,则下列表述是等价的:
1)
(或
),
2)
(或
)。
对于Lavie导数我们得到如下结果。
定理4 设
,f是
上的一个有界共形函数,如果
,则
。
2. 主要结果的证明
本节对本文的主要结果进行刻画,即开始定理3、定理4的证明。
接下来开始定理3的证明。
根据式子
又
我们有
重复利用上式递推可得
因为
所以代入可得
即定理3得证。
接下来对定理4进行证明。
由引理1,我们可以有关系
,其等价于
则由Aharonov不变量与Lavie导数之间的关系,即
当
时有
故有
通过定理2可知
故
由此可以推导出
这表明
,证毕。