system: [SYSTEM]

user: 1. 引言及主要结果 本文采用Nevanlinna理论中的基本符号 [ 1 ] [ 2 ]，例如 m ( r ， f ) ， N ( r ， f ) ， N ¯ ( r ， f ) ， T ( r ， f ) 等，设 f ( z ) 为复平面 ℂ 上的非常数的亚纯函数，它的级与下级分别定义为： ρ ( f ) = lim r → ∞ sup log + T ( r ， f ) log r μ ( f ) = lim r → ∞ inf log + T ( r ， f ) log r 若 ρ ( f ) = μ ( f ) ，则称 f ( z ) 为正规增长的亚纯函数。 设 f ( z ) 为复平面 ℂ 上的非常数的亚纯函数，用 λ ( f ) 表示 f ( z ) 的零点收敛指数，对任意的复数 a ∈ ℂ ，则有 λ ( a ， f ) = lim r → ∞ sup log + N ( r ， 1 f − a ) log r 设 f ( z ) 为复平面上的超越亚纯函数，若 a 为任一复数，定义 a 为 f ( z ) 的亏量为 δ ( a ， f ) = lim r → ∞ inf m ( r ， 1 f − a ) T ( r ， f ) = 1 − lim r → ∞ sup N ( r ， 1 f − a ) T ( r ， f ) 容易看出 0 ≤ δ ( a ， f ) ≤ 1 。若 δ ( a ， f ) > 0 ，则 a 为 f ( z ) 的亏值。并且 f ( z ) 的亏值至多是可数的，由Nevanlinna第二基本定理知，对于定义在复平面上的亚纯函数，其亏量总和不超过2， ∑ a ∈ ℂ δ ( a ， f ) ≤ 2 。当亚纯函数的亏量和等于2时，则称为具有最大亏量和的亚纯函数。 当 a = ∞ 时，上述记号中的 m ( r ， 1 f − a ) 和 N ( r ， 1 f − a ) 分别为 m ( r ， f ) ， N ( r ， f ) 。 对于一个亚纯函数 f ( z ) ，用 S ( r ， f ) 表示任意满足 S ( r ， f ) = o ( T ( r ， f ) ) 的量，可能去除 r 的一个对数测度为有限的一个集合，且它每次出现时不一定相同。 在早期已有文章研究了具有最大亏量和的亚纯函数及其导函数的特征函数的关系的差分模拟，1967年，Edrei和Weitsman [ 3 ] [ 4 ] 证明了如下结果： 定理A 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数，若 ∑ a ∈ ℂ δ ( a ， f ) = η ≥ 1 且 δ ( ∞ ， f ) = 2 − η ，则 T ( r ， f ′ ) ∼ η T ( r ， f ) ， r → ∞ . 1989年，杨连中 [ 5 ] 推广了上述结论，证明了 定理B 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数，若 ∑ a ∈ ℂ δ ( a ， f ) = 1 且 δ ( ∞ ， f ) = 1 ，则 T ( r ， f ( k ) ) ∼ T ( r ， f ) ， r → ∞ ， 其中 k 为任意正整数。 2016年，王品玲、刘丹、方明亮 [ 6 ] 对定理B从导数做到了差分模拟，证明了如下定理。 定理C 设 c 是一个非零有限复数， n 是一个正整数， f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数，若 ∑ a ∈ ℂ δ ( a ， f ) = 1 且 δ ( ∞ ， f ) = 1 ，若 Δ c n f ( z ) ≡ 0 ，则有 1) T ( r ， Δ c n f ( z ) ) ∼ T ( r ， f ) ， r → + ∞ ， 2) δ ( 0 ， Δ c n f ( z ) ) = δ ( ∞ ， Δ c n f ( z ) ) = 1 。 其中， Δ c f ( z ) = f ( z + c ) − f ( z ) ， Δ c 2 f ( z ) = Δ c ( Δ c f ( z ) ) ， ⋯ ， Δ c n f ( z ) = Δ c ( Δ c n − 1 f ( z ) ) 。 2021年，陈湘、吴昭君 [ 7 ] 把定理C推广到一般的线性差分多项式，证明了如下结果： 定理D 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数， c 是一个非零有穷复数，定义 f ( z ) 的线性差分多项式为： P ( z ， f ) = a n f ( z + n c ) + a n − 1 f ( z + ( n − 1 ) c ) + ⋯ + a 1 f ( z + c ) + a 0 f ( z ) ( ≡ 0 ) ， (1.1) 其中 a i ( 0 ≤ i ≤ n ) 是不全为零的复数且 ∑ i = 1 n a i = 0 。若 ∑ a ∈ ℂ δ ( a ， f ) = 1 且 δ ( ∞ ， f ) = 1 ，则有 1) T ( r ， P ( z ， f ) ) ∼ T ( r ， f ) ， r → ∞ ， 2) δ ( 0 ， P ( z ， f ) ) = δ ( ∞ ， P ( z ， f ) ) = 1 。 当 n = 1 ， a 1 = 1 ， a 0 = − 1 时， P ( z ， f ) = Δ c f ( z ) ；当 n ≥ 1 ， a i = C n i ( − 1 ) n − i ， 0 ≤ i ≤ n 时，可以得到 P ( z ， f ) = Δ c n f ( z ) 。因此定理D推广了定理C。 定理E 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数， P ( z ， f ) 如定理D中定义，若 δ ( ∞ ， f ) = 1 ，则 ∑ a ∈ ℂ δ ( a ， f ) ≤ δ ( 0 ， P ( z ， f ) ) . 定理F 设 f ( z ) 为复平面 ℂ 上的超越亚纯函数， P ( z ， f ) 如(1.1)式所定义，若 N ( r ， 1 f − a ) + N ( r ， f ) = S ( r ， f ) ， 其中 a 是一个有穷复数，则 P ( z ， f ) 取每个非零有穷复数 b 无穷多次，且 λ ( b ， P ( z ， f ) ) = ρ ( f ) 。 本文根据定理D得到的结果，把定理D中的有穷复数推广到小函数，得到更广泛的线性差分多项式，得到的结果推广了定理D，同时也相应地推广了定理E和定理F，证明了如下定理。为了叙述方便，文章中提及到的取极限问题，都默认为根据实际情况去掉了一个对数测度为有限的例外集。 定理1 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数， c i ( 1 ≤ i ≤ n ) 是互不相同的非零有穷复数，定义 f ( z ) 的线性差分多项式为： Q ( z ， f ) = b n ( z ) f ( z + c n ) + b n − 1 ( z ) f ( z + c n − 1 ) + ⋯ + b 1 ( z ) f ( z + c 1 ) + b 0 ( z ) f ( z ) ( ≡ 0 ) ， (1.2) 其中 b i ( z ) ( 0 ≤ i ≤ n ) 是 f 不恒为零的小函数并且满足 ∑ i = 1 n b i ( z ) = 0 ，若 ∑ a ∈ ℂ δ ( a ， f ) = 1 且 δ ( ∞ ， f ) = 1 ，则有 1) T ( r ， Q ( z ， f ) ) ∼ T ( r ， f ) ， r → ∞ ， 2) δ ( 0 ， Q ( z ， f ) ) = δ ( ∞ ， Q ( z ， f ) ) = 1 。 定理2 设 f ( z ) 为复平面 ℂ 上的有穷级超越亚纯函数， Q ( z ， f ) 如定理1中定义， δ ( ∞ ， f ) = 1 ，则 ∑ a ∈ ℂ δ ( a ， f ) ≤ δ ( 0 ， Q ( z ， f ) ) . 定理3 设 f ( z ) 为复平面 ℂ 上的超越亚纯函数， Q ( z ， f ) 如(1.2)式所定义，若 N ( r ， 1 f − a ) + N ( r ， f ) = S ( r ， f ) ， 其中 a 是一个有穷复数，则 Q ( z ， f ) 取每个非零有穷复数 ω 无穷多次，且 λ ( ω ， Q ( z ， f ) ) = ρ ( f ) 。