覃智高，龍見仁，2*

(1.貴州師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，貴州 貴陽 550001；2.廈門大學(xué)數(shù)學(xué)科學(xué)學(xué)院，福建 廈門 361055)

1 引言和主要結(jié)果

本文中使用亞純函數(shù)的 Nevanlinna 理論的標準記號,具體細節(jié)參看文獻 [1-3].對復(fù)平面C上的亞純函數(shù)f(z),用ρ(f),μ(f),ρ2(f) 分別表示亞純函數(shù)f(z) 的級、下級、超級.為了行文的需要,還需要回顧如下定義.

集合F?[1,+∞) 的上對數(shù)密度和下對數(shù)密度定義如下:

定義2設(shè)f(z) 為有窮正級整函數(shù),S(α,β)={z:α

則稱f(z) 在角域S(α,β) 內(nèi)以指數(shù)形式趨于無窮.如果對任意θ∈(α,β) 有

則稱f(z) 在角域S(α,β) 內(nèi)以指數(shù)形式趨于零.

另外,還需要下面的定義.

本文中主要研究線性微分方程

f(k)+Ak-1(z)f(k-1)+…+A1(z)f′+

A0(z)f=0

(1)

解的增長性問題,其中Aj(z) 是整函數(shù),j=0,1,…,k-1.從回顧兩個典型的結(jié)果開始.

定理1[4]設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若 max{ρ(Aj):j≠0}<ρ(A0),則方程 (1) 的任意非平凡解是無窮級.

定理3[6]設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若 max{ρ(Aj):j≠0}<ρ(A0)<+∞,則方程 (1)的任意非平凡解f滿足ρ2(f)=ρ(A0).

最近Long[11]研究了方程

f″+A(z)f′+B(z)f=0

(2)

解的增長性,其中A(z) 和B(z) 是整函數(shù),得到下面的結(jié)果.

定理5[11]設(shè)A(z) 是方程

f″+P(z)f=0

(3)

的非平凡解,其中P(z)=anzn+an-1zn-1+…+a0,an≠0,n是非負整數(shù),B(z) 是 Fabry 缺項級數(shù),使得ρ(B)≠ρ(A),則方程 (2) 的任意非平凡解是無窮級.

本文研究了方程 (1) 解的增長性,獲得了更為廣泛的結(jié)果.

定理6設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若存在s∈{1,2,…,k-1},使得As(z) 是方程 (3) 的非平凡解,A0(z)是Fabry缺項級數(shù)且ρ(A0)≠ρ(As),max{ρ(Aj):j≠0,s}<ρ(A0),其中P(z)=anzn+an-1zn-1+…+a0,an≠0,則方程 (1) 的任意超越解是無窮級.

注1定理 6的結(jié)論要求解為超越的,我們不知道超越解的條件是否可以去掉,其原因主要是在證明過程中使用了引理 4.

為了敘述下面的結(jié)果,需要使用楊-極值不等式函數(shù)及相關(guān)的定義.在亞純函數(shù)的 Nevanlinna 理論中,虧值和 Borel 方向是非常重要的概念,Yang[3]獲得了兩者之間的關(guān)系,被稱為楊-張不等式,Yang[12]利用定義 4 推廣了楊-張不等式.

定義4[12]設(shè)f是C上滿足 0<μ(f)<∞的亞純函數(shù),若對任意的ε>0 和任意的復(fù)數(shù)a∈C∪{∞}，有

μ(f),

至多除去兩個例外值,則從原點出發(fā)的半直線 argz=θ∈[0,2π) 叫做f的級≥μ(f) 的 Borel 方向,其中n(S(θ-ε,θ+ε,r),a,f) 是f-a在角域S(θ-ε,θ+ε,r)={z:θ-ε

Wu[13]研究了楊-極值不等式函數(shù),并獲得了這類函數(shù)的很多性質(zhì),具體參看下面的引理 8.

下面的兩個結(jié)果都涉及到楊-極值不等式函數(shù).

定理8[11]設(shè)A(z) 是楊-極值不等式函數(shù),B(z) 是 Fabry 缺項級數(shù),則方程 (2) 的任意非平凡解是無窮級.

定理9[14]設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若存在s∈{1,2,…,k-1},使得As(z) 是楊-極值不等式函數(shù),A0(z) 滿 足ρ(A0)≠ρ(As),max{ρ(Aj):j≠0,s}<ρ(A0),則方程 (1) 的任意非平凡解滿足ρ2(f)≥ρ(A0).

下面的結(jié)果涉及具有有窮 Borel 例外值的整函數(shù).

定理10[11]設(shè)A(z) 是具有有窮的 Borel 例外值的整函數(shù),B(z) 是 Fabry 缺項級數(shù),則方程 (2) 的任意非平凡解是無窮級.

結(jié)合前面幾個結(jié)果,關(guān)于方程 (1) 解的增長性,得到了下面的結(jié)果.

定理11設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若存在s∈{1,2,…,k-1},使得As(z) 是楊-極值不等式函數(shù),A0(z) 是Fabry缺項級數(shù),且max{ρ(Aj):j≠0,s}<ρ(A0),則方程 (1) 的任意非平凡解滿足ρ2(f)≥ρ(A0).

注2相比定理9的條件,定理11包含了情形ρ(A0)=ρ(As),因此定理11獲得了更為廣泛的結(jié)果.

定理12設(shè)Aj(z) 是整函數(shù),j=0,1,…,k-1,若存在s∈{1,2,…,k-1},使得As(z)為有窮的 Borel 例外值,A0(z) 是 Fabry 缺項級數(shù),且max{ρ(Aj):j≠0,s}<ρ(A0),則方程 (1) 的任意非平凡解滿足ρ2(f)≥ρ(A0).

2 引 理

引理1[15]設(shè)f是級為有窮的超越亞純函數(shù),對任意給定的常數(shù)ε>0,及滿足k>j≥0 的 兩個整數(shù)k,j,下列結(jié)論成立.

(i) 存在對數(shù)測度有窮的集合E?(1,+∞),使得對任意滿足 |z|?E的z有

(ii) 存在線性測度有窮的集合F?(1,+∞),使得對所有滿足 |z|?F的z有

若f是一般的亞純函數(shù),則有如下的對數(shù)導(dǎo)數(shù)估計.

引理2[15]設(shè)f(z) 是超越亞純函數(shù),α(>1) 是常數(shù),對任意給定的ε>0,存在對數(shù)測度有窮的集合E1?[1,+∞) 和常數(shù)B>0,B依賴于α和整數(shù)m,n,0≤m

引理3[16]設(shè)f(z) 為方程 (3) 的一個非平凡解,其中P(z)=anzn+an-1zn-1+…+a0,an≠0.令

j=0,1,…,n+1,θn+2=θ0+2π.

則f(z) 具有下列性質(zhì):

(i) 在每個角域Sj內(nèi),f要么以指數(shù)形式趨于無窮,要么以指數(shù)形式趨于零;

(ii) 若f在角域Sj內(nèi)以指數(shù)形式趨于零,則f在角域Sj-1和角域Sj+1(若j=n+1 則Sj+1=S0) 內(nèi)都以指數(shù)形式趨于無窮.然而,f可以在任意相鄰的角域內(nèi)以指數(shù)形式趨于無窮;

(iv) 若在相鄰角域Sj和Sj-1內(nèi)f都以指數(shù)形式趨于無窮,那么對任意給定的ε>0,在角域 {z:θj-ε

n(Ω(θj-ε,θj+ε,r),0,f)=

其中，n(Ω(θj-ε,θj+ε,r),0,f) 表示f在角域Ω(θj-ε,θj+ε,r)={θ-ε

|As(z)|≥exp{(1+δ)α|z|β},

對所有的j∈{0,1,…,s-1,s+1,…,k-1},有

|Aj(z)|≤exp{δα|z|β}.

|f(j)(z)-bj|≤exp{-(1-kδ)α|z|β};

|f(m)(z)|≤exp{-(1-kδ)α|z|β}.

logL(r,f)>(1-ε)logM(r,f),

logM(r,g)>rρ(g)-ε,

引理6[11]設(shè)f(z) 是具有有窮的 Borel 例外值c的有窮級整函數(shù),則f(z)=h(z)eQ(z)+c,其中h(z) 是整函數(shù)且ρ(h)<ρ(f),Q(z) 是多項式且 deg(Q)=ρ(f).

則存在一個正數(shù)R=R(ε)>1,使得當(dāng)z∈Sj,j=0,2,…,2n-2,對所有滿足 |z|=r>R的z有

Re{P(z)}>αn(1-ε)sin(nε)rn.

當(dāng)z∈Sj,j=1,3,…,2n-1,對所有滿足 |z|=r>R的z有

Re{P(z)}<-αn(1-ε)sin(nε)rn.

下面回顧楊-極值不等式函數(shù)的性質(zhì),設(shè)f是楊-極值不等式函數(shù),argz=θk是f的級≥μ(f) 的q條 Borel 方向,k=1,2,…,q,0≤θ1<θ2<…<θq<θq+1=θ1+2π.

引理8[13]設(shè)A(z) 是楊-極值不等式函數(shù),則

(i)μ(A)=ρ(A);

C(θki,θki+1,ε,δ(ai,A))T(|z|,A),

C(θki,θki+1,ε,δ(ai,A)) 是依賴于θki,θki+1,ε和δ(ai,A) 的正常數(shù).

引理9[14]設(shè)A(z) 是楊-極值不等式函數(shù),若存在 argz=θ∈(θj,θj+1),1≤j≤q,使得

3 定理的證明

定理6的證明根據(jù)定理的條件,如果ρ(As)<ρ(A0),則結(jié)論由定理1得證.故假設(shè)ρ(As)>ρ(A0),使用反證法,假設(shè)方程 (1) 存在一個有窮級超越解f.令

j=0,1,…,n+1,θn+2=θ0+2π.

應(yīng)用引理3,分兩種情況:

情形1.假設(shè)As(z) 在每個角域Sj都以指數(shù)形式趨于無窮,j=0,1,…,n+1.令b=max{ρ(Aj):j≠0,s}.由假設(shè)及文獻[2] 知,對任意的θ∈(θj,θj+1),有

(4)

|A0(z)|≤exp{|z|ρ(A0)+η}≤

(5)

|Aj(z)|≤exp{|z|b+η}≤exp{|z|ρ(As)-2η}≤

(6)

因此在角域Sj中,j=0,1,…,n+1,當(dāng)z→∞時,式(4)～(6) 成立.應(yīng)用引理 4,在角域Sj(ε)={z:θj+ε

在Sj(3ε)={z:θj+3ε

利用 Phragmén-lindel?f 定理得 |f(s)(z)| 在整個復(fù)平面有界.由 Liouville′s 定理知,f在整個復(fù)平面是一個多項式,這與f是方程 (1) 的超越解矛盾.故結(jié)論得證.

情形2.若在n+2 個角域中至少存在一個角域,使得As(z) 以指數(shù)形式趨于零.不妨設(shè)As(z) 在Sj0={z:θj0

(7)

|A0(z)|>exp{rρ(A0)-ε}.

(8)

又因 max{ρ(Aj):j≠0,s}=b<ρ(A0) 知,存在R1>0,當(dāng)r>R1時,有

|Aj(z)|

(9)

應(yīng)用引理 1,存在對數(shù)測度有窮的集合E2?(1,+∞),使得對所有滿足 |z|=r?(E2∪[0,1]) 的z有

(10)

exp{rnρ(A0)-ε}<|A0(rneiθ)|≤

(1+o(1)).

當(dāng)n充分大時,由ε的任意性知上式與b<ρ(A0) 矛盾.故方程 (1) 的任意超越解是無窮級.

應(yīng)用引理 2,存在對數(shù)測度有窮的集合E4?(1,+∞),使得對所有滿足 |z|=r?E4∪[0,1] 的z有

假設(shè)ai是As(z) 的p個有窮虧值,i=1,2,…,p,argz=θj是As(z) 的 2p條ρ(As) 級 Borel 方向,j=1,2,…,2p,于是有 2p個角域Sj={z:θj

C(θj,θj+1,ε,δ(ai,As))T(|z|,As),

(11)

其中C(θj,θj+1,ε,δ(ai,As)) 是依賴于θj,θj+1,ε,和δ(ai,As) 的正常數(shù),要么存在 argz=θ∈(θj,θj+1),使得

(12)

(13)

(14)

(15)

l=1,2,…,k-1.

(16)

結(jié)合式(13)～(16)和(1)有

BT(2r,f)2k(1+|aj0|+

由b+ε<ρ(A0)-ε及對充分大的n,有ρ2(f)≥ρ(A0).

定理12的證明設(shè)f是方程 (1) 的任一非平凡解,a是As(z)的一個有窮 Borel 例外值,由引理6有

As(z)=h(z)eQ(z)+a,

j=0,1,…,2m-1，

應(yīng)用引理7及ρ(h)

|As(reiθ)-a|>exp{Crm}.

(17)

對任意的z=reiθ∈Sj,j=1,3,…,2m-1,當(dāng)r充分大時,有

|As(reiθ)-a|

(18)

其中C是正常數(shù).我們考慮m個角域Si中的一個,i=1,3,…,2m-1,不失一般性設(shè)為S1,于是對任意的z=reiθ∈S1,當(dāng)r充分大時式(18) 成立.利用定理的條件及類似定理11的推導(dǎo),存在點列zn=rneiθ∈S1,其中 limn→∞r(nóng)n=∞,滿足式(14)～(16)及(18).再次利用類似于定理11的證明方法得ρ2(f)≥ρ(A0).

[1] HAYMAN W K.Meromorphic functions [M].Oxford:Qxford Mathematical Monographs Clarendon Press,1964:1-55.

[2] LAINE I.Nevanlinna theory and complex differential equations[M].Berlin:Walter de Gruyter,1993:18-50.

[3] YANG L.Value distribution theory [M].Berlin:Springer Verlag,1993:1-42.

[4] FREI M. über die l?sungen linearer differential gleichungen mit ganzen funktionen als koeffizienten [J].Comment Math Helv,1961,35:201-222.

[5] HELLERSTEIN S,MILES J,ROSSI J.On the gowth of solutions of certain linear differential equations [J].Ann Acad Sci Fenn Ser A I Math,1992,17:343-365.

[6] CHEN Z X,YANG C C.Quantitative estimations on the zeros and growth of entire solutions of linear differential equations[J].Complex Var Elliptic Equ,2000,42:119-133.

[7] LAINE I.Complex differential equations,in:handbook of differential equations,ordinary differential equations [M].Amsterdam:Elsevier,2008:1-35.

[8] LONG J R,ZHU J,LI X M.Growth of solutions to some higher-order linear differential equations [J].Acta Math Sci Ser A Chin Ed,2013,33(3):401-408.

[9] TU J,DONG T.Oscillation of complex high order linear differential equations with coefficients of finite iterated order [J].Elctron J Qual Theory Diff Equ,2009,66:1-13.

[10] ZHANG C Y,TU J.Growh of solutions to linear differential equations with entire coefficients of slow growth [J].Electron J Diff Equ,2010,43:1-12.

[11] LONG J R.Growth of solutions of second order complex linear differential equations with entire coefficients [J].Filomat,2018:32(1):275-284.

[12] YANG L.Deficient values and angular disttibution of entire functions [J].Trans Amer Math Soc,1988,308(2):583-601.

[13] WU S J.Some results on entire functions of finite lower order [J].Acta Math Sinica,1994,10(2):168-178.

[14] LONG J R,QIU C H,WU P C.On the growth of solutions of a class of higher order linear differential equations with extremal coefficients [J].Abstr Appl Anal,2014,305710：1-7.

[15] GUNDERSEN G G.Estimates for the logarithmic derivative of a meromorphic function,plus similar estimate [J].J London Math Soc,1988,37(2):88-104.

[16] HILLE E.Lectures on ordinary differential equations [M].Ontario:California-London-Don Mills,1969:120-167.

[17] LAINE I,YANG R H.Finite order solutions of complex linear differential equations [J].Electron J Diff Equ,2004,65:1-8.

[18] MARKUSHEVICH A I.Theory of functions of a complex variable [M].Englewood Cliffs:Prentice Hall,1965:221-256.