1. 引言
正规族理论的核心问题是关于正规定则的研究,其发展主要分成两大板块:一是亚纯函数正规族的研究,这方面的主要方法有Zalcman引理以及涉及导数的Pang-Zalcman引理;二是关于一般复流形间全纯映射族的正规定则。在全纯曲线的例子中也存在一些类似的现象。
2015年,叶亚盛、庞学诚和杨刘 [1] 考虑全纯曲线f与其导曲线
“强分担”超平面的情形,证明了如下定理:
定理 YPY设
是一族从区域
到
的全纯曲线,
是
中的
个处于一般位置的超平面,
是一个实数,
。若对于任意的
,满足以下条件:
1)
与
在D上“强分担”
;
2) 若
,那么
,其中
是一个坐标超平面。
则
在D上正规。
注1 “强分担”超平面H,不仅要求
,更要求在满足
的那些点有
。
2020年,刘晓俊、庞学诚和杨锦华 [2] 减弱条件“强分担”并对超平面的第一系数做非零的限制,得到了:
定理LPY 设
是一族从区域
到
的全纯曲线,
是
中处于一般位置的超平面,
且
。若对于任意的
,满足以下条件:
1) 若
,则
,其中
;
2) 若
,那么
,其中
。
是一个常数。
则
在D上正规。
问题:若将“
是
中处于一般位置的超平面”改成可移动的超平面,结论是否仍然成立?
得到以下结论:
定理1 设
是一族从区域
到
的全纯曲线,
是处于强一般位置的移动超平面,即对任意的
,
,其中
,这里
在D内解析。若对于任意的
,满足以下条件:
1) 若
,则
;
2) 若
,那么
,其中
,
是一个常数。
则
在D上正规。
该定理推广了定理LPY的结果,并且拓展了研究关于分担超平面的正规定则的思路和想法,是否还可以对超平面的限制条件继续减弱或者将函数所需满足的条件减弱成一个条件?
不过可惜的是,由于全纯曲线过于抽象,要满足以上条件的超平面和全纯曲线非常少,所以在本文中没有找到合适的例子。
在证明该定理之前,先说明一些概念。
2. 定义与符号
首先,我们回顾一些关于
的定义与符号。
是N维复射影空间,且对任意的
,
当且仅当存在某个
,使得
。
的等价类记作
,则
。
设
是
中的超平面,由如下形式给出
其中
是
的法向量,这里
。
定义2.1若对任意的
,对任意的
,向量组
都线性无关,则称
为处于强一般位置的移动超平面。
其次,设
是全纯曲线,U是D的开子集。任意在U内满足
的全纯曲线
称作f在U上的既约表示,其中
是典型的商映射。
定义2.2设
是开集,若
在U内全纯且没有公共零点,则称
是f的一个既约表示。
设
是一个超平面,记
。在文中,仅考虑满足
的标准化超平面。
对全纯曲线f的任何一个既约表示
,我们可以定义全纯函数
,
再置,
.
定义2.3设
是一个全纯曲线,
。再设
是f在z处的任何一个既约表示,称
是f在z处的Fubini-Study导数,简称F-S导数,其中
。
注1当
时,则
是亚纯函数,此时
,
即通常意义下的球面导数。
最后,按照文 [1] 中关于导曲线的定义,我们有
定义2.4设f是从D映到
的全纯曲线,
是f在D上的任意一个满足
的既约表示,
,则
称作f关于第
个分量的全纯导曲线,其中
是全纯函数,使得
和
没有公共零点,
。
注2简单起见,将
记作
,并且显然地有
的定义与f的既约表示的选取无关。当
时,
对应的是亚纯函数
的导数,即f的导函数
,而
对应的是亚纯函数
的导数,即
的导函数
。
在证明主要定理之前,先介绍一些本文常用符号。在本文中,D是复平面
上的一个区域,
代表第一坐标超平面。我们记
表示序列
按照
上的Fubini-Study度量在
上内闭一致收敛于g。
3. 主要引理
引理3.1 [3] 设
是一族从
中的双曲区域
映到
的全纯映射。
在
上不正规当且仅当存在子列
,点列
满足
,正数列
满足
,使得
在
上内闭一致收敛于从
映到
的非常值全纯映射
。
在证明主要定理的过程中,还需要如下Hurwitz定理。
引理3.2 [2] 设
是定义在区域
内的一列全纯函数,
是任意一个复数,且设
在D的任意一个紧子集上一致收敛于非常值的全纯函数
。若存在点
,使得
,则对于每一个充分大的n,方程
在D内有根。此外,存在
的某领域U,使得
在U内根的总数与
在U内根的总数相同(计重数)。
注3当
时,
在U的所有零点都会收敛到
。
由Nevanlinna理论中关于线性退化的第二基本定理可得如下结论:
引理3.3 [4] 设
是全纯曲线,
是
中
个处于一般位置的超平面。若对每个
,要么
落在
内,要么
不取
,则f是常值。
4. 定理的证明
倘若不然,不妨假设
在点
处不正规。由引理3.1可得,存在点列
满足
,全纯曲线列
,正数列
,使得
,
其中g是
上的非常值全纯曲线。
断言:g要么不取
,要么
。
断言的证明:
设
是g的某个既约表示。若不然,假设存在点
,使得
但
。
由引理3.2,存在点列
,收敛到
,使得
,
也就是说
. (4.1)
由定理1的条件(2),我们有
和
.
令
,推出
。则
。
我们不妨假设在领域U上有
以及对所有充分大的n,
。则对于每一个这样的n,
是
在U上的既约表示。
由(4.1)和条件(1),我们有
,
则有,
.
因
,故存在
,使得
,则当n充分大时,有
,从而
。
又有,
. (4.2)
令
,
,
。由(4.2)式,当
时,
,则有
。于是,我们不妨设
是
的
重零点,则
。
又由(4.2)式,对于任意充分大的n,
在
内有m个零点(计重数),不妨设为
,满足
,
所以
是
的m个不同零点,其中
。
当
时,
且
,则
是
的m重零点。
故
,矛盾。
因此,
在D上正规。
致谢
三年前,怀着对将来的美好憧憬,载着家人的期望来到上海理工大学。值此学业即将完成之际,我谨向在我读研期间对我的科研、学习和生活方面给予关心和帮忙的人们致以最衷心的感谢和最美好的祝愿!首先,衷心地感谢我的导师刘晓俊老师,本论文是在刘老师的指导下完成的。无论是论文的选题、查阅资料还是最终的写作,都倾注了导师大量的心血。能师从刘老师,我为自己感到庆幸。借此机会,我谨向刘晓俊老师致以深深的谢意。其次,感谢始终关心和支持我的同学和朋友们!感谢你们在科研、生活上给予的帮助;感谢室友的陪伴,三年里,我们朝夕相处、相互倾听、规划将来,衷心感谢你们给予我的关心和帮忙。同窗之谊,终生难忘!需要特殊感谢的是我的父母,他们是我十多年求学路上的坚强后盾。始终以来你们的支持、理解和鼓舞,是我努力向前的动力!最后,我要感谢我的母校,母校给予了我一个宽敞的学习环境,让我不断吸取学问,充实自己。