Fermat型方程亞純解的一點注記

楊振柳，呂 鋒

(中國石油大學(華東)理學院，山東 青島 266580)

1 引言及主要結果

在2021年，陳敏風、高宗升和黃志波[15]證明了如下定理。

定理A考慮如下差分方程

fm(z)+fn(z+c)=eαz+β

其中m、n≥1,α、c∈C{0},β∈C為復數(shù)。

則當n=m≥3或者(n,m)=(2,3)、(2,4)、(3,2)、(4,2)時，方程沒有非平凡的有限級亞純函數(shù)解。

根據(jù)上述結論，我們提出下列問題。

問題1注意到αz+β是一個一次多項式，上述結論能否推廣到一般的多項式?

問題2上述結果能否由有限級推廣為超級小于1的情況?

本文中,我們利用Nevanlinna值分布理論、差分模擬結果以及橢圓函數(shù)的性質(zhì)研究了上述問題，得到了下面結論。

定理1方程f(z)2+f(z+c)3=eP不存在超級小于1的非常數(shù)亞純解，其中c≠0為一常數(shù)，P為多項式。

定理2方程f(z)2+f(z+c)4=eP不存在超級小于1的非常數(shù)亞純解，其中c≠0為一常數(shù)，P為多項式。

注顯然，根據(jù)以前的結論，當m≥4,n≥3時，方程fm(z)+fn(z+c)=eP的亞純解的問題易解決，其余情況留待后續(xù)研究。

2 引理

引理2.1[6,15,17]在復平面C上，函數(shù)方程fn(z)+gm(z)=1的非常數(shù)亞純函數(shù)解有以下結論：

(2)當n=2,m=4,f(z)=sn′(u),g(z)=sn(u)，其中u為非常數(shù)整函數(shù)，sn為Jacobi橢圓函數(shù)滿足sn′2=1-sn4。

引理2.2[18]設T:[0,+∞)→[0,+∞)是正值、非減的連續(xù)函數(shù)，令s∈(0,∞)。若T的超級嚴格小于1，即

令δ∈(0,1-ζ)，則

這里r→∞去掉一個對數(shù)測度有限的集合。

下面，我們運用類似文獻[13]中的方法，證明定理1和2。

3 定理的證明

定理1的證明假設f為方程的一個非常數(shù)亞純解，下證矛盾。我們將方程改為

進一步可得

(3.1)

上述等式變形得

(3.2)

由D′2=4D3-1，可得

這里A是一個非零常數(shù)。進一步由引理2.2可得

3T(r,D(u(z+c)))=

T(r,4D3(z+c)-1)+O(1)=

O(rdegP)

上式表明了

T(r,D(u(z+c)))≤

故D(u(z+c))為有限級，進而u是一個多項式。再由(3.1)得

N(r,D(u(z)))=N(r,D′(u(z+c)))=

另外，通過引理2.2可得

N(r,D(u(z)))=N(r,D(u(z+c)))+

比較上面兩式，可得

(3.3)

注意到D的極點重數(shù)為2和u是一個多項式。故

其與(3.3)式矛盾，故定理得證。

定理2的證明我們用類似定理1的方法證明定理2。同樣，假設f為方程一個非常數(shù)亞純解,下證矛盾。我們將方程改為

進一步可得

(3.4)

上述等式變形得

(3.5)

由sn′2=sn4-1，可得

[sn′(u(z))]2=1-sn4(u(z))=

進一步由引理2.2可得

4T(r,sn(u(z)))=T(r,1-sn4(u(z)))+O(1)=

上式表明了

故sn(u(z))為有限級，進而u是一個多項式。再由(3.4)得

N(r,sn(u(z+c)))=N(r,sn′(u(z)))=

另外，由引理2.2,可得

N(r,sn(u(z+c)))=N(r,sn(u(z)))+

根據(jù)上面兩個式子，可得

(3.6)

注意到函數(shù)sn的極點重數(shù)為1和u是一個多項式。故有

N(r,sn(u(z+c))+O(logr)

其與(3.6)式矛盾，故定理得證。