龍 芳，王 珺

(1.江西省機械高級技工學(xué)校 基礎(chǔ)課部，南昌 330013； 2.復(fù)旦大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，上海 200433)

本文中的亞純函數(shù)均指在復(fù)平面上的亞純函數(shù)，且本文采用的記號為Nevanlinna理論的標準記號，其基本概念和詳細定義可見參考文獻[1-3].設(shè)f(z)是非常數(shù)的亞純函數(shù)，我們用T(r,f)，N(r,f)分別表示f的特征函數(shù)和極點計數(shù)函數(shù)，并定義f的增長級和超級為

(1)

這里log表示對數(shù)運算.

由于Nevanlinna理論的引入，復(fù)差分方程的研究取得了一系列的豐富成果[4-5].隨后，Halburd和Korhonen[6]討論了既包含微分算子又包含差分算子的時滯微分方程.這類方程廣泛存在于物理、生物、管理、經(jīng)濟等多個科學(xué)領(lǐng)域中，并且它與微分Painlevé方程有著緊密的聯(lián)系.例如，方程

ω(z)[ω(z+1)-ω(z-1)]+aω′(z)=bω(z),

(2)

其中a≠0，b為常數(shù)，形式上連續(xù)收斂到第一類微分Painlevé方程[7].Halburd和Korhonen[6]研究了比式(2) 更一般的方程

(3)

其中a(z)為有理函數(shù)，P(z,ω)和Q(z,ω)均為關(guān)于ω(z)的非零互素多項式，

P(z,ω)=bn(z)ω(z)n+bn-1(z)ωn-1+…+b1(z)ω+b0(z),

Q(z,ω)=cm(z)ωm+cm-1(z)ωm-1+…+c1(z)ω+c0(z),

系數(shù)bn,bn-1,…,b1,b0,cm,cm-1,…,c1,c0均為關(guān)于z的有理函數(shù).他們證明了如果方程(3)有一個超級小于1的超越亞純解，則R(z,ω)可退化為簡單形式.具體結(jié)果如下：

定理A[4，定理1.1]如果方程(3)具有超級小于1的亞純解，則

degω(P)=degω(Q)+1≤3,

(4)

或者R(z,ω)關(guān)于ω的次數(shù)為0,1.

我們想進一步研究超級小于1的亞純解的增長性，希望能得到其增長級的下界估計.利用級小于1的亞純函數(shù)差分性質(zhì)，我們證明了下面的結(jié)果.

定理1假設(shè)方程(3)的系數(shù)都為有理函數(shù)，如果系數(shù)bn,cm滿足在n=m+1時存在常數(shù)d，使得

則方程(3)的任意超越整函數(shù)ω必滿足ρ(ω)≥1.

定理2假設(shè)方程(3)的系數(shù)都為常數(shù)，如果存在一增長級小于1的超越亞純解ω，則1≤degω(P)=degω(Q)+1≤3，同時ω必有極點，且只有單極點.

我們將方程(2)改寫為下面的形式：

利用定理1和定理2，我們?nèi)菀卓闯鱿旅娴慕Y(jié)論.

推論1假設(shè)方程(2)的系數(shù)都為常數(shù)時，則其任意超越亞純解ω必滿足ρ(ω)≥1.

事實上，如果推論中超越亞純解ω為整函數(shù)，根據(jù)定理1，它必然滿足ρ(ω)≥1.當(dāng)ω具有極點且它的增長級小于1時，根據(jù)定理2，我們得到degω(P)=degω(Q)+1.但是b=P(z)/Q(z)意味著此時degω(P)=degω(Q)，這是矛盾的.綜上所述，推論1的結(jié)論成立.

下面介紹證明結(jié)論所需要的幾個引理.

f(z±1)-f(z)=±f′(z)(1+o(1)).

注1由引理1不難看出，當(dāng)z→∞且|z|?E時，

f(z+1)-f(z-1)=(f(z+1)-f(z))-(f(z-1)-f(z))=2f′(z)(1+o(1)).

引理2[2]假設(shè)f(z)為超越整函數(shù)，則存在一對數(shù)測度有窮的集合F，使得

對于滿足|f(z)|=M(r,f)且|z|=r?F的z成立.

v(r,f)∶=max{k,|ak|rk=μ(r,f)},μ(r,f)∶=max{ |ak|rk,k=0,1,2,…}.

引理3[9,(3.1.14)]假設(shè)f(z)為超越整函數(shù)，則

下面來證明定理1.

我們利用反證法.假設(shè)存在超越整函數(shù)解ω滿足ρ(ω)<1.由于ω超越，我們知道

(5)

根據(jù)定理A的結(jié)論，顯然degω(P)=degω(Q)+1≤3或者degω(R)=0,1.這意味著3種情形： degω(P)=degω(Q)+1，或degω(R)=0，或degω(Q)=1,degω(P)=0.由于a(z)和P(z,ω),Q(z,ω)的系數(shù)都為有理函數(shù)，所以存在r0和l>0使得當(dāng)|z|=r≥r0時，

r-l≤max{|a(z)|,|bi(z)|,|cj(z)|:i=0,1,2,…,m;j=0,1,2,…,n}≤rl.

(6)

這意味著當(dāng)r→∞時，

M(r,ω)-1max{|a(z)|,|bi(z)|,|cj(z)|:i=0,1,2,…,m;j=0,1,2,…,n}→0.

(7)

接下來，我們就上面degω(P)與degω(Q)的3種情形分別進行討論.

情形1假設(shè)degω(R)=0，則R(z,ω)=b0(z)/c0(z)，從而當(dāng)|z|=r≥r0時，

|R(z,ω)|≤r2l.

(8)

利用注1和方程(3)，我們得到

(9)

其中z滿足|z|?E，集合E具有有窮對數(shù)測度.對于滿足|ω(z)|=M(r,ω)，|z|=r的那些z，利用引理2和引理3，我們知道當(dāng)r?F→∞時，

(10)

綜合式(6)～(10)，不難推出

2M(r,ω)r-1≤2|ω′(z)|≤|a(z)|+|R(z,ω)|≤2r2lr?E∪F.

這意味著當(dāng)r充分大時M(r,ω)≤r2l+1，與式(5)相矛盾.

情形2假設(shè)degω(Q)=1,degω(P)=0.我們利用式(7)，不難看出對于滿足|ω(z)|=M(r,ω),|z|=r的那些z，必存在r1≥r0使得當(dāng)r≥r1時，

(11)

從而對于上述的z，如果r?F，根據(jù)式(5)，(10)和(11)，我們得到

(12)

結(jié)合式(9)，(10)和(12)，對于滿足|ω(z)|=M(r,ω)，|z|=r?E∪F的那些z，當(dāng)r充分大時，有

(13)

情形3假設(shè)degω(P)=degω(Q)+1.此時，對于滿足|ω(z)|=M(r,ω)且|z|=r的那些z，有特別地，當(dāng)d=0時，則存在常數(shù)s使得

(14)

(15)

我們將式(9)改寫為

(16)

其中z滿足|z|?E.如果d≠0，將式(7)和(14)代入式(16)，我們得到

其中z滿足|ω(z)|=M(r,ω)且|z|=r?E∪F，這是矛盾的.如果d=0，將式(7)和(15)代入式(16)，可知

(17)

綜合上面3種情形的討論，在定理1的條件下，我們得到： 方程(3)的任意超越整函數(shù)解ω只能滿足ρ(ω)≥1.

下面來證明定理2.

利用反證法.假設(shè)存在超越亞純解ω滿足ρ(ω)<1.根據(jù)定理A的結(jié)論，我們知道1≤degω(P)=degω(Q)+1≤3，或degω(R)=0，或degω(Q)=1，degω(P)=0.同時由定理1的結(jié)論，容易看出這個增長級小于1的亞純函數(shù)解ω必然存在極點.不妨設(shè)z0為其中一個極點，重數(shù)為p.從而ω′/ω在z0附近有展開

(18)

接下來，我們分2種情況進行討論.

情形1假設(shè)degω(R)=0，則R(z,ω)為常數(shù)b0/c0.

將式(18)代入方程(3)，我們推出在z0附近，

(19)

這說明ω在點z0+1或z0-1處也有重數(shù)至少為1的極點.不失一般性，假設(shè)ω在點z0+1有極點.按照上述步驟繼續(xù)下去，我們可知z0+k都為ω的極點，其中k為自然數(shù).這意味著對于大于r0的r，

n(r,ω)≥1+[r-r0],

(20)

其中[x]為正數(shù)x的整數(shù)部分.因為

所以利用式(20)，我們可知

(21)

注意到

r-r0-1<[r-r0]≤r-r0,

將此代入式(21)，我們得到ρ(ω)≥1，與條件ρ(ω)<1相矛盾.

情形2假設(shè)degω(Q)=1，degω(P)=0，則在z0附近，

(22)

將式(18)，(22)代入式(3)中，我們可得在z0附近，式(19)仍然成立.類似于情形1的分析，我們同樣得出矛盾.

綜合上述2種情形的討論，我們知道只可能有

1≤degω(P)=degω(Q)+1≤3.

如果ω有一個極點z1，其重數(shù)為p≥2，則在z1附近，有

(23)

其中α為常數(shù).將式(23)代入式(3)中，可知

(24)

這說明ω在點z1+1或z1-1處也有重數(shù)為p的極點.不失一般性，假設(shè)ω在點z1+1有極點，繼續(xù)這個步驟可知z1+k都為ω的極點，其中k為自然數(shù).從而類似于情形1中的討論，我們得到ρ(ω)≥1，這是不可能的.

綜上所述，我們知道1≤degω(P)=degω(Q)+1≤3，且ω只有單極點.