魏慧珍 ,涂金 ,徐洪焱
(1.江西師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,江西 南昌 330022;2.上饒師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,江西 上饒 334001)
Gross在文[1]中討論了Fermat型函數(shù)方程
并證明:方程(1.1)的整函數(shù)解形如f=cosa(z),g=sina(z),其中a(z)為整函數(shù).由文[2-3]可知,Fermat型函數(shù)方程的研究可追溯到60年以前甚至更早.近年來(lái),隨著Nevanlinna理論的快速發(fā)展,許多復(fù)分析學(xué)者應(yīng)用該理論于(偏)微分方程以及差分方程中,取得了大量重要且有趣的成果.尤其在研究復(fù)域內(nèi)的Fermat型函數(shù)方程方面,如: 劉凱,曹廷彬等討論了方程
得到
定理A[4]若f是(1.2)的整函數(shù)解,則f必須滿(mǎn)足f(z)=sin(z±iB),其中B ∈C,且c=2kπ,或c=(2k+1)π,k ∈Z.
2013年,Saleeby研究了
的整函數(shù)解與亞純函數(shù)解,得到
定理B[5]若f,g是(1.3)的整函數(shù)解與亞純函數(shù)解,則
2016年,劉凱,楊連忠等在文[6]中研究了方程(1.3)中g(shù)與f具有一些特殊關(guān)系時(shí)解的存在性以及形式,得到
定理C[6]若α0,±1,則方程f(z)2+2αf(z)f′(z)+f′(z)2=1,不存在超越亞純函數(shù)解.
定理D[6]若α0,±1,則方程f(z)2+2αf(z)f(z+c)+f(z+c)2=1的有限級(jí)超越整函數(shù)解的級(jí)數(shù)必須等于1.
而對(duì)于多變量的Fermat型函數(shù)方程,為敘述方便,以下均記z=(z1,z2).1995年,Khavinson在文[7]中證明了偏微分方程
定理F[14]令c=(c1,c2)∈C2,則
的任一超越整函數(shù)解具有形式f(z1,z2)=sin(Az1+B),其中A,B ∈C且為常數(shù),=1;特別地,當(dāng)c1=0時(shí),有f(z1,z2)=sin(z1+B).
受以上定理及結(jié)果啟發(fā),本文主要研究了二次三項(xiàng)式偏微分方程,即將方程(1.3)推廣到多變量的形式,如:方程
的有限級(jí)超越整函數(shù)解的存在性及其形式,其中α2∈C-{0,1}.
因此,本文只考慮α0,±1的情況.
從上述問(wèn)題出發(fā),文章得到
定理2.1若f(z1,z2)為方程(1.6)的有限級(jí)超越整函數(shù)解,則f(z1,z2)具有以下形式之一
以下兩個(gè)例子說(shuō)明定理2.1中的有限級(jí)超越整函數(shù)解的形式是精確的.
推論2.1若方程(1.7)中α,則該方程不存在有限級(jí)超越整函數(shù)解.
定理2.3若f(z1,z2)為方程(1.8)的有限級(jí)超越整函數(shù)解,則f(z1,z2)具有以下形式之一
以下兩個(gè)例子說(shuō)明定理2.3中的有限級(jí)超越整函數(shù)解的形式是精確的.
為了定理的證明,我們引入以下引理:
引理3.1[17-18]設(shè)F為Cn上的整函數(shù)F(0) =0,且ρ(nF)=ρ<∞,則存在一典型的函數(shù)fF與函數(shù)gF ∈Cn,滿(mǎn)足F(z)=fF(z)egF(z).特別地,若n=1,則fF為Weieratrass典型乘積.
注3.1記ρ(nF)=ρ<∞為函數(shù)F零點(diǎn)計(jì)數(shù)的函數(shù)的級(jí).
引理3.2[3]若g與h為復(fù)平面C上的整函數(shù),且g(h)為有限級(jí)整函數(shù),那么下面兩種情形之一發(fā)生:
1)h為多項(xiàng)式,g為有限級(jí)整函數(shù);
2)h為非多項(xiàng)式的有限級(jí)整函數(shù),g為零級(jí)超越整函數(shù).
證假設(shè)f(z1,z2)為方程(1.6)的有限級(jí)超越整函數(shù)解.令
其中u,v為整函數(shù).則方程(1.6)可寫(xiě)成以下形式
現(xiàn)對(duì)以下兩種情況進(jìn)行討論.
結(jié)合(4.3),(4.4)得
由(4.5)可知
利用初始條件:z1=0,z2=s,f(0,s)=?(s),其中?(s)是含s的參數(shù)表達(dá)式.根據(jù)(4.5)特征方程的參數(shù)表達(dá)式z1=t,z2=-t+s得到
其中?(s)是有限級(jí)超越整函數(shù).再結(jié)合z1=t,z2=-t+s得
根據(jù)(4.3),(4.4)得到k2=0,k1=±1.由(4.7)式得
將(4.8)代入(4.3)或(4.4)得
由(4.8),(4.9)式得
其中b0∈C.
其中
由(4.11),(4.12)得
由于u,v是超越的,故p(z)不是常數(shù),且
其中b0∈C.由(4.13)可知
利用初始條件:z1=0,z2=s,f(0,s)=φ0(s),其中φ0(s)是含s的參數(shù)表達(dá)式.根據(jù)(4.13)特征方程的參數(shù)表達(dá)式z1=t,z2=-t+s得
其中φ(s)是有限級(jí)超越整函數(shù),且
再結(jié)合z1=t,z2=-t+s得
將(4.18)代入(4.11)或(4.12)中得到
由(4.18),(4.19)式得到
其中b0,η ∈C.
綜合情形1和情形2,定理2.1證畢.
證假設(shè)f(z1,z2)為方程(1.7)的有限級(jí)超越整函數(shù)解.類(lèi)似定理2.1的證明,令
其中u,v為整函數(shù),則方程(1.7)可寫(xiě)成以下形式
現(xiàn)對(duì)以下兩種情況進(jìn)行討論.
結(jié)合(5.3),(5.4)得到
另一方面,由(5.3),(5.4)得
根據(jù)(5.3)與(5.6)得
由(5.7)式可知f√(z)為常數(shù),因此在該情形下方程無(wú)超越整函數(shù)解.
由(5.8),(5.9)得
另一方面,根據(jù)(5.8),(5.9)得
由(5.10),(5.11)得
同理可知u,v是超越的,由上述式子可得
設(shè)degPz1=m,若m ≥2,則(5.13)式左邊階數(shù)不為0,右邊為常數(shù),矛盾.因此m ≤1.若m=0,則(5.13)式左邊為0,右邊為常數(shù)不等于0,矛盾.因此得到m=1,則=0.于是(5.13)可寫(xiě)成
根據(jù)(5.14)得到
綜合情形1和情形2,定理2.2證畢.
證假設(shè)f(z1,z2)為方程(1.8)的有限級(jí)超越整函數(shù)解.類(lèi)似定理2.1的證明,令
其中u,v為整函數(shù).則方程(1.8)可寫(xiě)成以下形式
現(xiàn)對(duì)以下兩種情況進(jìn)行討論.
結(jié)合(6.3),(6.4)得到
根據(jù)(6.3)與(6.6)得
由(6.7)可知
利用初始條件:z1=0,z2=s,f(0,s)=ψ(s),其中ψ(s)是含s的參數(shù)表達(dá)式.根據(jù)(6.7)特征方程的參數(shù)表達(dá)式z1=t,z2=t+s得
其中ψ(s)是有限級(jí)超越整函數(shù).再結(jié)合z1=t,z2=t+s得
再根據(jù)(6.3)得k2=0,k1=±1.由(6.9)式得
將(6.10)代入(6.3)或(6.4)得
由(6.12),(6.13)得
由(6.12),(6.15)得
另外由(6.15)對(duì)z1求偏導(dǎo),再結(jié)合(6.14)得
同理可知u,v是超越的,由上述式子可得
同理得到p(z)具有以下形式
其中b0∈C.由(6.16)得
利用初始條件:z1=0,z2=s,f(0,s)=φ1(s),其中φ1(s)是含s的參數(shù)表達(dá)式.根據(jù)(6.16)特征方程的參數(shù)表達(dá)式z1=t,z2=t+s得
其中φ2(s)是有限級(jí)超越整函數(shù),且φ2(s)滿(mǎn)足
根據(jù)(6.20)得到
將(6.21)代入(6.12)或(6.13)中得到
由(6.21),(6.22)得到
其中b0,η ∈C.
綜合情形1和情形2,定理2.3證畢.