1. 引言及主要结果
本文采用Nevanlinna理论中的基本符号 [1] [2],例如
等,设
为复平面
上的非常数的亚纯函数,它的级与下级分别定义为:
若
,则称
为正规增长的亚纯函数。
设
为复平面
上的非常数的亚纯函数,用
表示
的零点收敛指数,对任意的复数
,则有
设
为复平面上的超越亚纯函数,若
为任一复数,定义
为
的亏量为
容易看出
。若
,则
为
的亏值。并且
的亏值至多是可数的,由Nevanlinna第二基本定理知,对于定义在复平面上的亚纯函数,其亏量总和不超过2,
。当亚纯函数的亏量和等于2时,则称为具有最大亏量和的亚纯函数。
当
时,上述记号中的
和
分别为
。
对于一个亚纯函数
,用
表示任意满足
的量,可能去除
的一个对数测度为有限的一个集合,且它每次出现时不一定相同。
在早期已有文章研究了具有最大亏量和的亚纯函数及其导函数的特征函数的关系的差分模拟,1967年,Edrei和Weitsman [3] [4] 证明了如下结果:
定理A 设
为复平面
上的有穷级超越亚纯函数,若
且
,则
.
1989年,杨连中 [5] 推广了上述结论,证明了
定理B 设
为复平面
上的有穷级超越亚纯函数,若
且
,则
,
其中
为任意正整数。
2016年,王品玲、刘丹、方明亮 [6] 对定理B从导数做到了差分模拟,证明了如下定理。
定理C 设
是一个非零有限复数,
是一个正整数,
为复平面
上的有穷级超越亚纯函数,若
且
,若
,则有
1)
,
2)
。
其中,
。
2021年,陈湘、吴昭君 [7] 把定理C推广到一般的线性差分多项式,证明了如下结果:
定理D 设
为复平面
上的有穷级超越亚纯函数,
是一个非零有穷复数,定义
的线性差分多项式为:
, (1.1)
其中
是不全为零的复数且
。若
且
,则有
1)
,
2)
。
当
时,
;当
时,可以得到
。因此定理D推广了定理C。
定理E 设
为复平面
上的有穷级超越亚纯函数,
如定理D中定义,若
,则
.
定理F 设
为复平面
上的超越亚纯函数,
如(1.1)式所定义,若
,
其中
是一个有穷复数,则
取每个非零有穷复数
无穷多次,且
。
本文根据定理D得到的结果,把定理D中的有穷复数推广到小函数,得到更广泛的线性差分多项式,得到的结果推广了定理D,同时也相应地推广了定理E和定理F,证明了如下定理。为了叙述方便,文章中提及到的取极限问题,都默认为根据实际情况去掉了一个对数测度为有限的例外集。
定理1 设
为复平面
上的有穷级超越亚纯函数,
是互不相同的非零有穷复数,定义
的线性差分多项式为:
, (1.2)
其中
是
不恒为零的小函数并且满足
,若
且
,则有
1)
,
2)
。
定理2 设
为复平面
上的有穷级超越亚纯函数,
如定理1中定义,
,则
.
定理3 设
为复平面
上的超越亚纯函数,
如(1.2)式所定义,若
,
其中
是一个有穷复数,则
取每个非零有穷复数
无穷多次,且
。
2. 主要引理
引理1 [8] 设
为复平面
上的有穷级超越亚纯函数满足
且
,则
的亏值个数不超过
。
引理2 [9] [10] 设
为复平面
上的非常数有穷级亚纯函数,
是一个非零有穷复数,则
,
其中
,
具有有穷对数测度,即
。
引理3 [1] [6] 设
为复平面
上的非常数有穷级亚纯函数,
是一个非零有穷复数,则
,
.
由引理2和结合
的定义,可得如下引理。
引理4 设
为复平面
上的非常数有穷级亚纯函数,
是一个非零有穷复数,
如定理1中定义,则
.
引理5 [11] 设
为复平面
上的非常数有穷级亚纯函数,满足
,
,则
为正规增长的且级为正整数。
3. 定理的证明
定理1的证明 先证明结论(1),即证明
. (3.1)
由引理1知
有有限个有穷亏值,设为
,由引理2得:
(3.2)
由引理2和引理3可得:
(3.3)
由(3.2)得:
因为
,即
(3.4)
所以
所以得到:
,结论(1)得证。
下面证结论(2)。
由(3.2)的推导过程中有
(3.5)
由(3.1)和(3.5)得:
即
。
由
和
以及(3.1)式,得到:
即
,证毕。
定理2的证明
如果
,定理2显然成立。下面证当
的情况。
由(3.3)和(3.4)得
(3.6)
由(3.6)知
所以得
(3.7)
由(3.2)的推导过程中得到
从而
因此得到
由上式结合(3.7)式可得
因为
是任意的,结合(3.4)式,因此
。
定理3的证明对任意非零复数
,由题设可知
,即
又因为
所以
由引理4得
(3.8)
由引理3和引理4以及Nevanlinna第一基本定理可得
(3.9)
又因为由(3.6)得
(3.10)
由(3.8)~(3.10)式和Nevanlinna第一基本定理得
由上式和题设条件可得
(3.11)
由此可知
可以取每个非零复数
无穷多次。
另一方面,
(3.12)
由引理5知
是正规增长的,由(3.11)和(3.12)以及零点收敛指数和级的定义得
。
基金项目
国家自然科学基金青年项目(11901119);中英合作项目(H2018177)。
NOTES
*通讯作者。