1. 引言
拟共形映射起源于上世纪30年代,1928年Grötzsch引进一类正则的拟共形映射用于解决一类非共形映射的极值问题:在把矩形
映射到矩形
且保持顶点对应的连续可微映射中,怎样的换“最接近”共形映射。Teichmüller继承和发展了Grötzsch的思想和方法,运用拟共形映射去研究经典的Riemann模问题,并建立和发展了现在所称的Teichmüller空间理论。
1940年左右,Teichmüller首先在给定的两个紧Riemann曲面R1和R2之间的同伦类中寻找极值拟共形映射并证明这样的极值拟共形映射是存在唯一并且是Teichmüller映射,对于有限型Riemann曲面,上述结论也被证明是正确的。但是对于无限型Riemann曲面,上述问题的结论就变得比较复杂。利用正规族理论可以知道每个同伦类中极值拟共形映射一定是存在的,但是可以不唯一。Strebel通过构造烟囱区域上的仿射拉伸映射给出了极值拟共形映射不唯一的性质。
1987~1988年,Strebel [1] [2]针对不同的区域和映射分别进行了研究,得到了下面两个定理:
定理1.1 分别记
。则
在
中唯一极值的充要条件是:
都是E的聚点;
在
中极值的充要条件是:
至少有一个是E的聚点。
定理1.2 记
是扩充复平面到自身的拟共形映射,E是平面中闭的点集,E的可能聚点为0或∞。则
在
中唯一极值的充要条件是:0和∞都是E的聚点;
在
中极值的充要条件是:0和∞至少有一个是E的聚点。
其中
,如果对
成立
,那么称
在
中极值;如果对
且
,成立
,那么称
在
中中唯一极值。
记
其中
为一常数,
,Reich和Strebel证明了下面的定理:
定理1.3
在
中极值的充要条件为
,
在
中唯一极值的充要条件为
。2005年,Reich [3]给出了临界情况下
的正规Reich序列的一个明确例子。2021年,MENG X [4]考虑了另一种唯一性极值拟共形映射,在唯一性与非唯一性交界的情况下,首次明确给出了这种情况下的正规Reich序列。1986年,Reich [5]证明了当
时,是唯一极值的,在证明中,给出了当
时的正规Reich序列,但是当
时,正规Reich序列无法工作。1988年,Strebel [5]为
的情况构建了正规的Reich序列。1995年,程金发[6]证明了当
,
是唯一极值的,在证明中,给出了当
时的正规Reich序列,但是当
,正规Reich序列无法工作。在本文中,我们为这种情况构建了正规的Reich序列。
2. 定义与符号
首先我们给出拟共形映射的定义。平面区域
上的同胚映射
成为K-拟共形(简记为K-qc)映射,如果它满足条件:1)
在
内具有A.C.L性质,2)
的最大伸缩商
,其中
称为的复特征或的Beltrami系数。
平面区域设
为至少有两个边界点的平面域。Teichmüller空间
是从拟共形映射
到变量域
的等价类空间
。两个拟共形映射
从
到
和
从
到
是等价的如果有一个保角映射
从
到
以及通过拟共形映射的同伦
把
映射为
使得
对任意
和每一个在
边界上的
都成立。用
表示
的Teichmüller等价类;有时用
表示等价类,
是
的Beltrami系数。
用
表示
中的单位球。对于
,定义
。
我们说
在
中是极值的如果
,对于任何其他
,我们说
是唯一极值的。对应的
也称为极值或者唯一极值的。如果拟共形映射
的Beltrami系数
为Teichmüller类型,则称其为Teichmüller类型,即,
, (2.1)
其中为
常数,
是
中的一个几乎可测的函数。特别的,如果
在
中是全纯的,我们称
为Teichmüller映射,对应的
为Teichmüller微分。
设
为全纯函数
组成的Banach空间,属于
,具有范数
。
对于
和
,集合
。
1970年,Reich [7]证明了以下定理。
定理2.1 设
由(1.1)给出。假设存在一个函数序列
,使得
(2.2)
几乎逐点成立于
上,
(2.3)
则
是唯一极值的。
1981年,Reich [8]表明,只要适当加强(2.2)的条件,(2.3)就可以被
较弱的有界性假设所取代。这在他的定理中得到了证明,如下所述。
定理2.2 设
,由(2.1)给出。假设存在一个函数序列
,使得
(2.4)
几乎逐点成立于
上,
,
(2.5)
(2.6)
均匀地相对于
,而
。则
是唯一极值的。
一般来说,如果
满足上面的Reich’s条件,由[8],对于在
中的
,我们称
为Reich序列。请注意,对于
,Reich序列
在
中不一定是逐点收敛的(参见[9] [10] [11])。因此,如果
在
上逐点收敛到某个
,我们称
为
在
上的正规Reich序列。
设
,由(2.1)给出。我们说
在
上满足弱Reich’s条件,如果
中存在一个序列
,使得(2.4)~(2.6)成立。如果
满足弱Reich’s条件,我们称
为
在
上的弱Reich序列。为了证明
,的唯一极值性,当我们不能通过定理2.1找到正规的Reich序列,我们可以用定理2.2找到弱Reich序列。例如,定义:
(2.7)
从[1]开始,人们就知道族(2.7)有一个精确的过渡点
。众所周知,
的一个水平延伸是唯一极值的当且仅当
。这很容易验证
.
当
时提供正规的Reich序列,但对于临界情况
则无法工作。2005年,Reich [3]给出了临界情况下
的正规Reich序列的一个明确例子。
2021年,MENG X [4]考虑了另一种唯一性极值拟共形映射,在唯一性与非唯一性交界的情况下,首次明确给出了这种情况下的正规Reich序列。
定义
,
是由二次微分
生成的Teichmüller映射。复膨胀为
。
1986年,Reich [8]证明了当
时,
是唯一极值的,在证明中,给出了当
时的正规Reich序列,但是当时
,正规Reich序列无法工作。在[1]中,Strebel为这种情况构建了正规的Reich序列。
定义
,
是由二次微分
生成的Teichmüller映射。复膨胀为
。
1995年,程金发[6]证明了当
,
是唯一极值的,在证明中,给出了当
时的正规Reich序列,但是当
,正规Reich序列无法工作。在本文中,我们为这种情况构建了正规的Reich序列。
3. 主要定理及证明
定理3.1序列:
表示右半平面上的分支,该分支在正y轴上是实的,为
提供正规的Reich序列。证明:我们有
,
和
.
我们主要关注
的左半部分到线
,首先将其表示为
,即
。我们也让
。显然,
等价于
,
考虑
.
设
,并且设
。因此
。
易知
,由:
,我们有:
,由:
并且
(3.1)
当n充分大时,我们得到
因为
当
时,由(2.1)我们得到
(3.2)
接下来我们来估计(2.2)式的右边部分,当n充分大时。由
我们得到
由
,
我们得到:
由于
,易知
,当
,因此
(3.3)
当
,设
,则
,因此
由上可得:
。
接下来我们来估计另外一部分:设
。则
。
设
,则
,我们得到当
。设
。
由上可得:
。
由:
。
可得:
。
由上可得:
由(3.3)~(3.4),我们得到:
。
当时
上式趋于0。证明完毕。