APP下载

零点位于直线上的亚纯函数的正规定则

2014-06-23童晓丽刘晓俊

上海理工大学学报 2014年4期
关键词:亚纯断言正整数

童晓丽, 刘晓俊

(上海理工大学理学院,上海 200093)

零点位于直线上的亚纯函数的正规定则

童晓丽, 刘晓俊

(上海理工大学理学院,上海 200093)

讨论了亚纯函数的零点分布在直线上的亚纯函数的正规性,得到:设F是定义在单位圆盘D上的亚纯函数族,若存在M≥0,使得对于F中任意的亚纯函数f满足f的零点分布在一直线上,其极点重级m≥3(m∈ℤ+),且f′(z)不取1,当f取值0时,f′(z)的模不大于M,则F在区域D内是正规的.

亚纯函数;零点;正规族

1 问题的提出

Bloch原理曾经提出:设P是一个亚纯函数的性质,若亚纯函数f在复平面ℂ上满足性质P,即〈f,ℂ〉∈P,则必有f≡常数.那么对于区域D上的亚纯函数族F,它的每一个元素f在区域D上满足性质P,即〈f,D〉∈P,则F在区域D上正规.例如,可取性质1为:P1={f≠0,f(k)≠1,k∈ℤ+},1959年,Hayman[1]证明了如下的Picard型定理:

定理1设f为复平面ℂ上的亚纯函数,若f∈P1,则f≡常数.

相应地,在1979年顾永兴[2]证明了对应的正规定则:

定理2设F为区域D⊂ℂ内的亚纯函数族,k≥1是正整数,若对于任意f∈F,f∈P1,则F在D内正规.

由此可见,上述性质1满足Bloch原理.再例如,取性质2为:P2={f的零点重级≥k+1,其极点均为重级,f(k)≠1},1998年王跃飞等[3]证明了定理3和定理4.

定理3设f(z)是开平面上的有穷级亚纯函数,k≥1是正整数,若f(z)满足f∈P2,则f≡常数.

定理4设F为区域D⊂ℂ内的亚纯函数族,k≥1是正整数,若对于任意f∈F,f∈P2,则F在D内正规.

同样,上述性质2也满足Bloch原理.

最近,常建明[4]将定理1中的限制条件“f(k)≠1”减弱为“f(k)-1有有限多个零点”,得到了定理5和定理6.

定理5设F为D内的非零亚纯函数族,k为正整数,如果对任意f∈F,满足f(k)-1至多有k个零点(不计重级),则F在D内正规.

定理6设F为D内的非零亚纯函数族,k为正整数,如果对任意f∈F,f(k)-1有至多k+1个零点(不计重级),设存在ε,满足0<ε≤1,使得对任意f∈F,f(k)-1有k+1个可判别的单零点z1,z2,…,zk+1,并且满足

则F在D内正规.

本文从另一方面考虑函数的正规性,将定理1中的限制条件“f(z)≠0”减弱为“f的零点分布在一条直线上”,得到结果为:

定理7设F是定义在单位圆盘D上的亚纯函数族,若存在M≥0,使得对于任意f∈F,有

b.f的零点分布在一直线上;

c.f的极点重级m≥3;

d.f′(z)≠1,则F在区域D内是正规的.

2 主要例子

例1设fn(z)=n(ez-1),,易见fn(z)的零点为zk,n=2kπi,k∈ℤ,位于虚轴上,故zk,n∈D.因为f′n(z)=n ez,若,但当n充分大时,zm,n∉D.显然{fn(z)}在D上不正规.

注1例1说明定理7的条件是必要的.

注2例2[5]说明定理7的条件“f的极点均为重级极点”是必要的.

注2例2、例3说明定理7中的条件“f的极点重级≥3”是不能减弱的.

以上说明定理7中的条件“f的零点分布在一直线上”是必要的.

3 引 理

引理1[6]设F是单位圆盘上的亚纯函数,k≥1是正整数.F中每个函数的零点重级至少为k,且存在A≥1,使得对任意f∈F,当f(z)=0时,有.若F在z0处不正规,则对任意0≤ α≤k,必存在

a.点列zn→z0;

b.正数列ρn→0+;

引理2[7]设f为复平面上的非常数亚纯函数,b为非零复数,k为一正整数,则f或f(k)-b有零点;若f为超越亚纯函数,则f或f(k)-b有无穷多个零点.

引理4[8]若实函数f(x)满足如下条件:

a.f(x)在闭区间[a,b]上连续;

b.f(x)在开区间(a,b)内可导;

c.f(a)=f(b),则在(a,b)内至少存在一点ξ,使得f′(ξ)=0.

4 定理7的证明

证明若存在z0∈D,使得F在点z0处不正规.由引理1,存在点列zn∈D,zn→z0,函数列fn∈F以及正数列ρn→0+,使得在ℂ上

式中,g(ζ)为复平面ℂ上的非常值有穷级亚纯函数,并且g#(ζ)≤g#(0)=M+1.

所以断言:

a.g′(ζ)≠1;

b.g(ζ)的零点分布在同一直线上.

假设存在ζ0∈D使得g′(ζ0)=1,断言g′(ζ)≢1,否则g(ζ)=ζ-ζ1.因为,矛盾.因此由Hurwitz定理,存在ζn,ζn→ζ0,使得对于充分大的n,有g′(ζn)=1,即f′n(zn+ρnζn)=1,与f′(z)≠1相矛盾.故断言a成立.

下证断言b.不妨设g至少有3个不同的零点,设ζ1,ζ2,ζ3是g的任意3个相异的零点.由式(1)和Hurwitz定理知:对于δ>0,存在点列ζn,i∈Dδ(ζi),i=1,2,3,当n充分大时有则fn(zn+ρnζn,i)=0.由条件知f的零点分布在一直线上,可得到tn为实常数,即

式中,a,b(≠0),c为有穷复数;m为正整数.

因为g的极点均为重级极点,由式(2)可得g至少有3个不同的零点.

设g的零点分布在直线L上:ξ=α+βζ,其中α,β∈ℂ,ζ∈(-∞,+∞).令G(ζ)=g(α+βζ),那么G(ζ)的零点分布在实轴上.所以

当deg(H(ζ))≥4,此时分两种情形进行讨论:

情形1H(ζ)仅有单级零点.

情形2H(ζ)有重级零点.

此时断言H(ζ)有重级零点,且仅有一个二重零点,可设ζ0是H(ζ)的重级零点,由

故F在D内正规.

[1] Hayman W K.Meromorphic functions[M].Oxford:Clarendon Press,1964.

[2] Gu Y X.A normal criterion of meromorphic families[J].Scientia Sinica Math,1979(1):267-274.

[3] Wang Y F,Fang M L.Picard values and normal families of meromerphic function with zeros[J].Acta Math Sinica,1998,14(1):17-26.

[4] Chang J M.Normality and quasinormality of zero-free meromorphic functions[J].Acta Math Sinica,2012,28(4):707-716.

[5] Nevo S,Pang X C,Zalcman L.Quasinormality and meromorphic functions with multiple zeros[J].Anal Math,2007,101(1):1-23.

[6] Pang X C,Zalcman L.Normal families and shared values[J].Bull London Math Soc,2002,32(3):325 -331.

[7] 顾永兴,庞学诚,方明亮.正规族理论及其应用[M].北京:科学出版社,2007.

[8] 华东师范大学数学系.数学分析[M].北京:高等教育出版社,2001.

[9] 孟耀霞,刘晓俊.涉及微分多项式的亚纯函数族正规定则[J].上海理工大学学报,2013,35(1):87-90.

(编辑:金 虹)

A Normal Criterion of Meromorphic Functions Whose Zeros Distribute on Some Straight Lines

TONGXiao-li, LIUXiao-jun
(College of Science,University of Shanghai for Science and Technology,Shanghai 200093,China)

The normality of meromorphic functions whose zeros distribute on some straight lines was discussed and it is proved:let F be a family of meromorphic functions on a unit disk D,all of whose poles have multiplicity at least m,where m≥3 is an integer.If there exists M≥0,such that for each f∈F,all zeros of f distribute on a straight line,f′(z)≠1,z∈D andthen F is normal on D.

meromorphic functions;zeros;normal family

O 174.52

A

2013-05-20

国家自然科学基金资助项目(11371139);数学天元专项基金资助项目(11226095)

童晓丽(1988-),女,硕士研究生.研究方向:复分析.E-mail:tongxiaoli5063261@163.com

刘晓俊(1982-),男,副教授.研究方向:复分析.E-mail:xiaojunliu2007@hotmail.com

1007-6735(2014)04-0362-04

10.13255/j.cnki.jusst.2014.04.011

猜你喜欢

亚纯断言正整数
von Neumann 代数上保持混合三重η-*-积的非线性映射
C3-和C4-临界连通图的结构
关于包含Euler函数φ(n)的一个方程的正整数解
亚纯函数关于单叶离散值的正规定理
亚纯函数的Borel方向与Tsuji特征函数
被k(2≤k≤16)整除的正整数的特征
亚纯函数的差分多项式
Top Republic of Korea's animal rights group slammed for destroying dogs
亚纯函数与其差分的唯一性
方程xy=yx+1的全部正整数解