本文主要研究某些给定的微分方程组的 ρ 2 ( f ) < 1 的整体解或亚纯解的存在性，并获得一些有意义结果。并且，如果考虑的方程组允许超越解的存在，那么我们可以获得求解的精确表达。我们的结果改进和补充了前人的研究成果。

Nevanlinna理论，差分–微分方程，亚纯解，超越阶，小函数

Hui Xu, Mengmeng Zhang

College of Science, China University of Petroleum (East China), Qingdao Shandong

Received: Aug. 14^th, 2020; accepted: Sep. 7^th, 2020; published: Sep. 14^th, 2020

In this paper, we will mainly study further on the existence of entire or meromorphic solutions with ρ 2 ( f ) < 1 of some given systems of difference-differential equations, and obtain some interesting results. And if the considered systems admit a transcendental entire solution, then we can obtain the precise expression of the solution. Our results improve and complement the previous research results.

Keywords:Nevanlinna Theory, Difference-Differential Equation, Meromorphic Solution, Hyper-Order, Small Function

Copyright © 2020 by author(s) and beplay安卓登录

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

设f表示超越亚纯函数。假设已知Nevanlinna理论的基本结果及其标准符号，如 m ( r , f ) , N ( r , f ) , T ( r , f ) , S ( r , f ) 等，见 [ 1 ] 和 [ 2 ]。在研究复平面上的微分方程时，证明某些给定微分方程的整体解或亚纯解的存在性或唯一性一直是一个有趣而困难的问题。最近，有许多研究和结果与不同方程的整体或亚纯解的存在性或增长性有关，见 [ 3 ] [ 4 ] [ 5 ] 中的参考文献。当 r → ∞ 时， T ( r , a ) = S ( r , f ) ( = o ( 1 ) T ( r , f ) ) 非恒定亚纯函数α被称为f的小函数，可能在有限线性测度的r值集合之外。此外， ρ 2 ( f ) 超阶定义为：

ρ 2 ( f ) = lim r → ∞ sup log log T ( r , f ) log r

费马型泛函方程亚纯解

f ( z ) n + g ( z ) n = 1 (1.1)

Gross [ 6 ] 证明(1.1)在 n ≥ 4 时不存在超越亚纯解，Montel [ 7 ] 证明(1.1)在 n ≥ 3 时不存在超越全解。Iyer [ 8 ] 得出结论，如果 n = 2 ，那么(1.1)有完整的解 f ( z ) = sin ( h ( z ) ) 和 g ( z ) = cos ( h ( z ) ) ，其中 h ( z ) 是任何整函数，不存在其他解。近年来，许多文献都集中在复微分方程和微分方程的亚纯解上。费马型函数方程已被许多作者研究过。让我们从 [ 9 ] 中给出的结果开始。我们重写了原定理，如下，Yang [ 9 ] 研究了费马型泛函方程：

a ( z ) f ( z ) n + b ( z ) g ( z ) m = 1 (1.2)

其中 a ( z ) ， b ( z ) 是关于 f ( z ) 的小函数。其得到了以下结果。

定理A 设m，n为正整数满足：

1 m + 1 n < 1

则不存在满足(1.2)的非恒定整体解 f ( z ) 和 g ( z ) 。定理A表明在(1.2)中存在 m > 2 ， n > 2 的非恒定整体解。然而，当 m = n = 2 以及 g ( z ) 与(1.2)中的 f ( z ) 有特殊关系时，这个问题值得考虑。Tang和Liao [ 10 ] 研究了费马型方程推广的整体解。Liu和Yang [ 10 ] 考虑了微分方程的有限阶整体解：

f ( z + c ) 2 + ( f ( k ) ( z ) ) 2 = 1 (1.3)

其中c表示一个非零常数。2017年，高凌云研究了具有有限阶微分方程的整体解，得到了以下结果。

定理B设 ω 是下面微分方程的有限阶超越整体解：

( ω ″ ( z ) − ω ( z ) ) 2 + ω ( z + c ) 2 = 1 (1.4)

则

ω ( z ) = e 2 z + b + e − 2 z − b 2 = cos [ i ( 2 z + b ) ]

或

ω ( z ) = e − 2 z + b + e 2 z − b 2 = cos [ − i ( 2 z − b ) ]

其中b是常数， c = ( 1 + 4 k ) π 2 2 ，k是整数。如果将限制条件“有限阶”扩展到“超阶 ρ 2 < 1 ”，我们能够得到以下结果。

定理1.1 设 ω 为微分方程(1.4)的 ρ 2 ( ω ) < 1 的超越整体解，则 ω ( z ) = e 2 z + b + e − 2 z − b 2 ，或 ω ( z ) = e − 2 z + b + e 2 z − b 2 ，其中b是常数， c = ( 1 + 4 k ) π 2 2 ，k是整数。

最近，高凌云研究了两类不同微分方程组的有限阶整体解，得到了以下结果。

定理C 假设整函数 ω 1 , ω 2 满足方程组

( ω ″ 1 ( z ) − ω 1 ( z ) ) 2 + ω 2 ( z + c ) 2 = 1 , ( ω ″ 2 ( z ) − ω 2 ( z ) ) 2 + ω 1 ( z + c ) 2 = 1 (1.5)

若 ρ ( ω 1 , ω 2 ) < ∞ ，则

( ω 1 ( z ) , ω 2 ( z ) ) = ( e 2 z + b 1 + e − 2 z − b 1 2 , e 2 z + b 2 + e − 2 z − b 2 2 )

或

( ω 1 ( z ) , ω 2 ( z ) ) = ( e − 2 z + b 1 + e 2 z − b 1 2 , e − 2 z + b 2 + e 2 z − b 2 2 )

其中b是常数， c = ( 1 + 4 k ) π 2 2 ，k是整数。

本文去掉了“有限阶”的限制条件，并且得到了如下定理

定理1.2如果用弱约束条件“ ρ 2 ( ω 1 , ω 2 ) < 1 ”代替约束条件“ ρ ( ω 1 , ω 2 ) < ∞ ”，则定理C的结论也成立。

为了证明我们的定理，我们需要以下结论。

引理2.1 ( [ 11 ]) 假设f是非正常亚纯函数， p ( f ) = a 0 f n + a 1 f n − 1 + ⋯ + a n_，当 a 0 不恒为零， a 1 , a 2 , ⋯ , a n 满足 T ( r , a i ) = S ( r , f ) , i = 0 , 1 , ⋯ , n .那么 p ( f ) 满足

T ( r , p ( f ) ) = n T ( r , f ) + S ( r , f )

引理2.2 ( [ 12 ])设f是一个非常数亚纯函数， ρ 2 ( f ) < 1 ， c ∈ C ，有

m ( r , f ( z + c ) f ( z ) ) = S ( r , f )

在有限对数测度的可能的例外集之外。

引理2.3 ( [ 2 ]，定理1.44和定理1.45)设h为非常数整函数， f ( z ) = e h ( z ) 。如果 h ( z ) 是p次多项式，则得到

(1) 如果 h ( z ) 是p次多项式， ρ ( f ) = μ ( f ) = p ；

(2) 如果 h ( z ) 是超越整函数， ρ ( f ) = μ ( f ) = ∞ ；

(3) ρ 2 ( f ) = ρ ( h )

引理2.4 ( [ 2 ]，定理1.55)设 g 1 , g 2 , ⋯ , g p ，是满足 Θ ( ∞ , g j ) = 1 ( j = 1 , 2 , ⋯ , p )的超越亚纯函数。当 a j ∈ C − { 0 } ( j = 1 , 2 , ⋯ , p )时， ∑ j = 1 p a j g j = 1 ，我们得到 ∑ j = 1 p δ ( 0 , g j ) < p − 1

假设 ω 是 ρ ( ω ) < 1 的(4.4)的超越整体解。为了证明定理1.1，(1.4)写为

ω ″ ( z ) − ω ( z ) = sin h ( z ) , ω ( z + c ) = cos h ( z ) (3.1)

其中，h为非恒定整函数。

当 ρ 2 ( ω ( z + c ) ) = ρ ( ω ( z ) ) < 1 时， T ( r , ω ( z ) ) = T ( r , ω ( z + c ) ) + S ( r , ω ( z ) ) 。由(3.1)，引理2.1，引理2.2，引理2.3，可得 ρ ( h ) < 1 。再次使用(3.1)，结果如下所示：

ω ( z ) = cos h ( z − c ) , ω ″ ( z ) = − cos h ( z − c ) h ′ 2 ( z − c ) − sin h ( z − c ) h ′ 2 ( z − c )

由此可得：

[ i h ′ 2 ( z − c ) + h ″ ( z − c ) + i ] e 2 i h ( z − c ) + e i [ h ( z ) + h ( z − c ) ] − e i [ h ( z − c ) − h ( z ) ] = h ″ ( z − c ) − i h ′ 2 ( z − c ) − i (3.2)

情形1 如果 h ″ ( z − c ) + i h ′ 2 ( z − c ) + i ≡ 0 ，则(3.2)可化为

e i [ h ( z ) + h ( z − c ) ] − e i [ h ( z − c ) − h ( z ) ] = 2 h ″ ( z − c ) (3.3)

由 h ″ ( z − c ) ≡ 0 得(3.3)中的h(z)是一个常数。因此 h ″ ( z − c ) ≡ 0 。

情形2 如果 h ″ ( z − c ) + i h ′ 2 ( z − c ) + i ≡ 0 ， h ″ ( z − c ) − i h ′ 2 ( z − c ) − i ≡ 0 ，则(3.2)变为

2 h ″ ( z − c ) e i [ h ( z ) + h ( z − c ) ] + e 2 i h ( z − c ) = 1

因此 h ″ ( z − c ) − i h ′ 2 ( z − c ) − i ≡ 0 。

由于 h ( z ) 不是常数，我们得到了 h ( z − c ) − h ( z ) 和 h ( z ) + h ( z − c ) 不能都是常数的结论。首先，假设 h ( z ) − h ( z − c ) 是常数，则 h ′ ( z ) 是周期函数。如果 h ′ ( z ) 不是常数，则 ρ ( h ′ ) ≥ 1 ，即矛盾。因此， h ′ ( z ) 是常数，同时得到 h ( z ) = A z + B ，其中 A , B 是常数。在这种情况下，我们知道定理1.1的结论是成立的。同理，如果 h ( z ) + h ( z − c ) 是常数，我们知道定理1.1的结论也成立。现在，我们可以假设 h ( z ) + h ( z − c ) 和 h ( z − c ) − h ( z ) 不是常数，在这种情况下，引理2.4告诉我们，这是不可能的。因此，我们完成了定理1.1的证明。

假设 ( ω 1 , ω 2 ) 是(1.5)的超越整体解，且 ρ 2 ( ω 1 , ω 2 ) < 1 。显然，由(4.5)得

ω ″ 1 ( z ) − ω 1 ( z ) = sin h 1 ( z ) , ω 2 ( z + c ) = cos h 1 ( z ) (4.1)

ω ″ 2 ( z ) − ω 2 ( z ) = sin h 2 ( z ) , ω 1 ( z + c ) = cos h 2 ( z ) (4.2)

其中， h 1 , h 2 是非恒定的整函数。

此外，通过(4.1)以及引理2.3中的条件 ρ ( h 1 ) = ρ 2 ( ω 2 ) < 1 ，此外，(4.2)也给出了 ρ ( h 2 ) = ρ 2 ( ω 1 ) < 1 。结合(4.1)和(4.2)，我们得到

ω 1 ( z ) = cos h 2 ( z − c ) , ω ″ 1 ( z ) = − cos h 2 ( z − c ) h ′ 2 2 ( z − c ) − sin h 2 ( z − c ) h ′ 2 2 ( z − c ) (4.3)

ω 2 ( z ) = cos h 1 ( z − c ) , ω ″ 2 ( z ) = − cos h 1 ( z − c ) h ′ 1 2 ( z − c ) − sin h 1 ( z − c ) h ′ 1 2 ( z − c ) (4.4)

由上述式子又可得

[ i h ′ 2 2 ( z − c ) + h ″ 2 ( z − c ) + i ] e 2 i h 2 ( z − c ) + e i [ h 1 ( z ) + h 2 ( z − c ) ] − e i [ h 2 ( z − c ) − h 1 ( z ) ] = h ″ 2 ( z − c ) + i h ′ 2 2 ( z − c ) + i (4.5)

[ i h ′ 1 2 ( z − c ) + h ″ 1 ( z − c ) + i ] e 2 i h 1 ( z − c ) + e i [ h 2 ( z ) + h 1 ( z − c ) ] − e i [ h 1 ( z − c ) − h 2 ( z ) ] = h ″ 1 ( z − c ) − i h ′ 1 2 ( z − c ) − i (4.6)

以定理1.1的证明方式继续进行，为了证明定理1.2，将考虑以下情况。

情形1若 h ″ 2 ( z − c ) + i h ′ 2 2 ( z − c ) + i ≡ 0 ，则(4.5)变为

e i [ h 1 ( z ) + h 2 ( z − c ) ] − e i [ h 2 ( z − c ) − h 1 ( z ) ] = 2 h ″ 2 ( z − c ) (4.7)

如果 h ″ 2 ( z − c ) ≡ 0 ，则(4.7)中 h 1 ( z ) 是一个常数。因此 h ″ 2 ( z − c ) ≡ 0 。

情形2若 h ″ 1 ( z − c ) + i h ′ 1 2 ( z − c ) + i ≡ 0 且 h ″ 1 ( z − c ) − i h ′ 1 2 ( z − c ) − i ≡ 0 ，则(4.5)为

2 h ″ 2 ( z − c ) e i [ h 1 ( z ) + h 2 ( z − c ) ] + e 2 i h 1 ( z ) = 1

这是不可能的。因此有：

h ″ 2 ( z − c ) + i h ′ 2 2 ( z − c ) + i ≡ 0 , h ″ 2 ( z − c ) − i h ′ 2 2 ( z − c ) − i ≡ 0 (4.8)

同理，利用同样的方法，通过(4.6)我们可以证明如下结果：

h ″ 1 ( z − c ) + i h ′ 1 2 ( z − c ) + i ≡ 0 , h ″ 1 ( z − c ) − i h ′ 1 2 ( z − c ) − i ≡ 0 (4.9)

通过(4.5)，(4.6)，(4.8)和(4.9)以及引理2.4，我们可以得到 h 2 ( z − c ) − h 1 ( z ) 是常数，或者 h 1 ( z ) + h 2 ( z − c ) 是常数，或者 h 1 ( z − c ) − h 2 ( z ) 是常数，或者 h 2 ( z ) + h 1 ( z − c ) 是常数。

显然，如果 h 2 ( z − c ) − h 1 ( z ) 是常数，则(4.6)表示 h 1 ( z − c ) − h 2 ( z ) 是常数，或者 h 2 ( z ) + h 1 ( z − c ) 是常数。

假设 h 2 ( z − c ) − h 1 ( z ) 和 h 1 ( z − c ) − h 2 ( z ) 是常数。在这种情况下，很容易证明 h ′ 1 ( z ) 是周期函数。如果 h ′ 1 ( z ) 不是常数，则 ρ ( h 1 ) ≥ 1 ，这与 ρ ( h 1 ) < 1 相矛盾。因此 h ′ 1 是常数，我们设 h 1 ( z ) = s 1 z + t 1 ，其中 s 1 , t 1 是常数。此外，我们也可以得到 h 2 ( z ) = s 2 z + t 2 ，其中 s 2 , t 2 是常数。在这种情况下，我们知道定理1.2的结论成立。

接下来，假设 h 2 ( z − c ) − h 1 ( z ) 和 h 2 ( z ) + h 1 ( z − c ) 是常数。在这种情况下，很容易看出 h ′ 2 ( z ) 是一个周期函数。如果 h ′ 2 ( z ) 不是常数，则 ρ ( h 2 ) ≥ 1 ，这与 ρ ( h 2 ) < 1 相矛盾。因此 h ′ 2 是常数，我们设 h 2 ( z ) = u 2 z + v 2 ，其中 u 2 , v 2 是常数。此外，我们可以得到 h 1 ( z ) = u 1 z + v 1 ，其中 u 1 , v 1 是常数。在这种情况下，我们知道定理1.2的结论成立。

本文利用不同且更简单的证明，给出了三个主要结果，扩展了文献 [ 13 ] 中的主要结果，以上两个结果是在更弱的约束条件下得到的，故对于实际来讲更优。

非常感谢中国石油大学(华东)提供的良好研究环境以及大学生创新创业训练项目“一类复方程解的存在性及其相关问题的研究”(项目编号：201910425077)提供的大力支持。

徐 慧,张蒙蒙. 一类微分方程组的亚纯解Meromorphic Solutions to Some Systems of Difference-Differential Equations[J]. 理论数学, 2020, 10(09): 837-842. https://doi.org/10.12677/PM.2020.109096