1. 引言及主要结果
本文中,亚纯函数均指整个复平面上的亚纯函数。以下将使用Nevanlinna值分布理论的标准符号
[1] [2] [3]。定义记号
表示满足
的任何函数f,其中
且可能除去r的一个有穷对数测度集。如果开平面上的另一个亚纯函数
满足
,则称
是
的小函数,且将
的小函数集合记为
。设
和
是两个非常数亚纯函数,b是复数。定义
和
CM分担b指的是
和
有相同的零点且每个零点的重级也相同,
和
CM分担
指的是
和
有相同的极点且每个极点的重级也相同。类似地,我们定义
和
CM分担小函数
,其中
。
设
是非常数亚纯函数,它的级定义为
设
是亚纯函数,
是级为
的超越亚纯函数。若
那么当
时,
是
的Borel例外函数,如果
,定义中
被
替代,此时
是
的Borel例外值。
设
是亚纯函数,定义其差分算子为
和
,
且
,其中
是非零常数。
被视为
的差分模拟。
1935年,Csillag研究了整函数关于导数的唯一性问题,证明了定理A。
定理A [4] 设
是非常数整函数,
是两个相互判别的正整数。如果
,
,
,那么
,其中
是常数。
后来,Tumura改进了定理A,得到了定理B。
定理B [5] 设
是非常数整函数,
是正整数。如果
,那么
,其中
是常数。
近年来,复差分方程的亚纯解,复差分算子的值分布和唯一性问题成为了复分析领域的研究热点。Halburd-Korhonen [6] [7] 和Chiang-Feng [8] 分别建立了对数导数引理的差分模拟,这为复差分算子的值分布理论和唯一性理论的研究提供了强有力的工具,也使该领域的研究工作取得了重大的突破。目前,该领域已取得丰富的研究成果。
2013年,陈宗煊得到了关于定理B的差分模拟,证明了定理C。
定理C [9] 设
是有穷级超越整函数,c是非零常数,n是正整数。如果
,
,那么
,其中
是常数。
后来,陈创鑫和陈宗煊将定理C推广到亚纯函数,得到了定理D。
定理D [10] 设
是有穷级超越亚纯函数,
是两个相互判别的复数且是
的Borel例外值,c是满足
的非零常数。如果
和
CM分担
,那么,
,
,
,其中
是常数。
2021年,陈创鑫和张然然研究了关于有穷级整函数的两个差分算子的分担函数问题,证明了定理E:
定理E [11] 设
是有穷级超越整函数且满足
,其中
是满足
的整函数。令
是满足
的常数。如果
和
CM分担
,其中
,那么,
,其中A,B是非零常数,
退化成常数。
本文针对定理E,提出猜想:若
是亚纯函数,是否存在类型的结果?通过讨论,得到了以下的结果。
定理1.1 设
是有穷级超越亚纯函数,
是
的Borel例外函数且
,其中
是满足
的亚纯函数,设
是满足
的非零常数。如果
和
CM分担
,那么,
,
,
,其中A,B是非零常数。
下面给出两个例子来说明定理1.1的适用性。
例1.2 设
,其中A,B是非零常数,当非零常数
满足
时,
,即
和
CM分担
,这说明定理1.1是非空的。
例1.3 设
,其中,
是非常数整函数,且满足
,
是满足
的非零常数,那么
,即
和
CM分担
,这说明定理1.1对无穷级超越亚纯函数是不适用的。
由定理1.1可以得到推论1.4。易知,推论1.4是对定理E的改进。
推论1.4 设
是有穷级超越整函数且满足
,其中
是满足
的整函数。令
是满足
的常数。如果
和
CM分担
,那么
,
,其中A,B是非零常数。
2. 定理证明所需要的引理
引理2.1 [12] 设g是级小于1的超越亚纯函数,h是正常数,则存在一个
集E,使得当
且
时,对满足
的所有c都有如下式子成立:
引理2.2 [6] [8] 设g是具有有穷
级的非常数亚纯函数,
是非零有穷复数,那么
对任意的
,可以得到
引理2.3 [13] 设g是亚纯函数,k是正整数,c是非零有穷复数。如果
,那么要么
,要么g是满足
的多项式。
引理2.4 [1] [2] [3] [14] 设f是一个非常数亚纯函数,
(其中一个可能为
)是f的三个相互判别的小函数,那么
引理2.5 [2] [15] 设
是亚纯函数,
是整函数,满足下列各条件:
(i)
;
(ii) 当
时,
不是常数;
(iii) 当
,
时,
其中
具有有限性测度或对数测度。
则
。
接下来,我们将叙述Clunie引理的差分模拟,它在定理1.1的证明中起着重要的作用。
引理2.6 [16] 设g是差分方程
的有穷
级超越亚纯解,其中
是差分多项式且满足
,并且
。更进一步地,假设
仅有一项取得最高次数。那么,对任何
,有
至多除去一个有穷对数测度集。
引理2. 7 设
是有穷级超越亚纯函数,
是
的Borel例外值,
是
的Borel例外函数,其中
是满足
的亚纯函数。如果对于满足
的非零常数
,D有
成立,(1)
那么,
,其中A,B是非零常数。
证明:因为
是有穷级超越亚纯函数,
是
的Borel例外值,
是
的Borel例外函数,由Hadamard分解定理可得
(2)
其中
是非常数多项式,
是满足
的亚纯函数,且
。
把(2)带入(1),可得
(3)
下面将证明分成以下三个步骤。
步骤1:证明
。
如果(3)中
,比较(3)两边的级,矛盾,因此
(4)
下证
是常数。假设
是非常数亚纯函数,由引理2.1,可知存在一个
集
,使得当
且
时,有
成立,这与(4)矛盾,因此
是常数。结合(4),有
,所以
。
步骤2:证明
。
假设
。断言
,若
由(1)与
可得
,这显然是矛盾的。此时,由(3),可得
由上式可得
是非零整函数。由引理2.2,可知
这是矛盾的。因此,
,
,其中
是常数,
是满足
的亚纯函数。
步骤3:证明
是非零常数。
把
代入(1),可以得到
(5)
由引理2.1,可知存在一个
集
,使得当
且
时,有
成立,即(5)中常数
,可得
。因此,由
和引理2.3可知,
是非零常数。
综上,引理2.7得证。
3. 定理1.1的证明
定理的证明将分成以下两种情形进行讨论:
情形1:
都不取
。
由
是
的Borel例外函数与Hadamard分解定理,可得
(6)
其中
是满足
的亚纯函数,
是满足
的非常数多项式,因此,可得
由(6),可得
因此,
其中,
类似可得
(7)
易知
,
,
,
,
,
,
,
,
都是
的小函数。
由(7)可得
(8)
运用引理2.4以及(8),可得
(9)
由(9)以及
和
CM分担
,可得
故
,这与
是
的Borel例外函数矛盾。
情形2:
,
。
因为
是有穷级超越亚纯函数且
是
的Borel例外值,
是
的Borel例外函数,根据Hadamard分解定理可得
其中
是非常数多项式,
是满足
的亚纯函数,且
。
由
和
CM分担
,可得
(10)
其中
是多项式。
断言
。由反证法,不妨假设
。则
其中
,
都是常数。
子情形2. 1:
。
将多项式
的首项系数分成两种情况来讨论。
当
时,由(10)可得
(11)
其中
,比较(11)两边的级,这显然是矛盾的。
当
时,由(10)可得
(12)
设
,
,
,
其中
,
且
,
,
。对(12)运用引理2.5,可得
,即
,矛盾。
子情形2.2:
。
由(10)可得
(13)
断言
,若
,通过比较(13)两边的级,可以得到矛盾。下面,把
代入(13),可得
(14)
当
时,由引理2.2,可知存在
,使得对满足
的所有z,都有
那么整函数
与
都是
的小函数。对(14)运用引理2.6,有
这是矛盾的。当
时,由(14),可以得到
(15)
分析可知
是不恒等于0的整函数,因此(15)式右边的函数存在无穷多个零点,但(15)式左边的函数没有零点,矛盾。
综合上述两种子情形,有
。因此,由(10)与引理2.7,定理1.1得证。
基金项目
国家自然科学基金资助项目(编号:12171127)。
国家自然科学基金资助项目(编号:11701188)。
NOTES
*通讯作者。