Skip to main content

Theory and Modern Applications

On the meromorphic solutions of some linear difference equations

Abstract

This paper is devoted to studying the growth of meromorphic solutions of some linear difference equations. We obtain some results on the growth of meromorphic solutions when most coefficients in such equations have the same order, which are supplements of previous results due to Chiang and Feng, and Laine and Yang. Some examples are given to show the sharpness of our results.

MSC:39B32, 30D35, 39A10.

1 Introduction and main results

In this paper, the term meromorphic function will mean meromorphic in the whole complex plane . It is assumed that the reader is familiar with the standard notations and basic results of Nevanlinna theory (see, e.g., [13]). In addition, we use σ(f) and σ 2 (f) to denote the order and the hyper-order of a meromorphic function f(z), and λ(f) and λ(1/f) to denote the exponents of convergence of zeros and poles of f(z), respectively. For a meromorphic function f(z), when 0<σ(f)< or 0< σ 2 (f)<, its type τ(f) and hyper-type τ 2 (f) are defined by τ(f)= lim r T ( r , f ) r σ ( f ) and τ 2 (f)= lim r log T ( r , f ) r σ 2 ( f ) (see, e.g., [1, 2, 4]).

Recently, meromorphic solutions of complex difference equations have become a subject of great interest from the viewpoint of Nevanlinna theory, due to the apparent role of the existence of such solutions of finite order for the integrability of discrete difference equations (see, e.g., [519]). Halburd and Korhonen [13] proved that when the difference equation

ω(z+1)+ω(z1)=R(z,ω),
(1.1)

where R(z,ω) is rational in both of its arguments and has an admissible meromorphic solution of finite order, then either ω satisfies a difference Riccati equation, or equation (1.1) can be transformed by a linear change in ω(z) to a difference Painlevé equation or a linear difference equation. Thus the linear difference equation plays an important role in the study of properties of difference equations.

Chiang and Feng [8] considered the linear difference equation

a k (z)f(z+k)++ a 1 (z)f(z+1)+ a 0 (z)f(z)=0,
(1.2)

and obtained the following results.

Theorem A [8]

Let a 0 (z),, a k (z) be polynomials. If there exists an integer l (0lk) such that

deg( a l )> max 0 j k j l { deg ( a j ) }

holds, then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f)1, where deg( a l ) denotes the degree of the polynomial a l .

Theorem B [8]

Let a 0 (z),, a k (z) be entire functions. If there exists an integer l (0ln) such that

σ( a l )> max 0 j k j l { σ ( a j ) }

holds, then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f)σ( a l )+1.

Note that in Theorems A and B, Eq. (1.2) has only one dominating coefficient a l . For the case when there is no dominating coefficient and all coefficients are polynomials in Eq. (1.2), Chen [10] obtained an improvement of Theorem A.

Theorem C [10]

Let a 0 (z),, a k (z) be polynomials such that

deg( a 0 ++ a k )= max 0 j k {deg a j }1.

Then every finite order meromorphic solution f (0) of Eq. (1.2) satisfies σ(f)1.

For the case when there is more than one of coefficients which have the maximal order, Laine and Yang [18] obtained the following result.

Theorem D [18]

Let a 0 (z),, a k (z) be entire functions of finite order such that among those having the maximal order σ= max 0 j k {σ( a j )}, exactly one has its type strictly greater than the others. Then for every meromorphic solution f (0) of Eq. (1.2), we have σ(f)σ+1.

Note that in Theorem D, the condition that exactly one coefficient has the maximal type among those coefficients having the maximal order, guarantees that every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f) max 0 j k {σ( a j )}+1. The following example shows that when there exists more than one coefficient having the maximal type among those coefficients having the maximal order, σ(f) max 0 j k {σ( a j )}+1 may hold.

Example 1.1 The difference equation

e z + 1 f(z+1) e z f(z)=0

admits an entire solution f(z)= e z 2 , where a 1 (z)= e z + 1 , a 0 (z)= e z satisfy σ( a 1 )=σ( a 0 )=1=σ, τ( a 1 )=τ( a 0 ). Here σ(f)=2=σ+1.

Thus we pose the following questions.

Question 1.1 What can be said if there exists more than one coefficient having the maximal type and the maximal order in Eq. (1.2)?

Question 1.2 What can be said if all coefficients of Eq. (1.2) have the order zero? From the definition of the type of an entire function and the assumptions of Theorem B or Theorem D, we know that in Theorems B and D there exists at least one coefficient a l such that σ( a l )>0.

Question 1.3 What can be said if there exists more than one coefficient having the order ∞ in Eq. (1.2)?

The main purpose of this paper is to investigate the above questions for Eq. (1.2). The remainder of the paper investigates the properties of meromorphic solutions of a non-homogeneous linear difference equation corresponding to (1.2).

Theorem 1.1 Let a j (z)= A j (z) e P j ( z ) (j=0,1,,k), where P j (z)= α j n z n ++ α j 0 are polynomials with degree n (≥1), A j (z) (0) are entire functions of σ( A j )<n. If α j n (j=0,1,,k) are distinct complex numbers, then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f) max 0 j k {σ( a j )}+1.

Theorem 1.2 Let a j (z)= A j (z) e P j ( z ) + D j (z) (j=0,1,,k), where A j (z), P j (z) satisfy the hypothesis of Theorem  1.1, D j (z) are entire functions with σ( D j )<n. If α j n (j=0,1,,k) are distinct complex numbers, then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f) max 0 j k {σ( a j )}+1.

Remark 1.1 In Theorems 1.1 and 1.2, we have σ( a 0 )==σ( a k ) and τ( a 0 )==τ( a k ) if | α 0 n |==| α k n |. Therefore Theorems 1.1 and 1.2 are supplements of Theorem D.

Remark 1.2 From the proof of Theorems 1.1 and 1.2, we know that the same result also holds for Eq. (1.2) in the case when at least two coefficients have the form of a j (z) in Theorem 1.1 or 1.2, and the orders of the others are less than n.

Theorem 1.3 Let H be a complex set satisfying dens ¯ {r=|z|:zH}>0, and let a 0 (z),, a k (z) be entire functions satisfying max 0 j k {σ( a j )}σ. If there exists an integer l (0lk) such that for some constants 0α<β and δ>0 sufficiently small,

| a l ( z ) | exp { β r σ δ } ,
(1.3)
| a j ( z ) | exp { α r σ δ } ,j=0,,k,jl,
(1.4)

as z for zH, then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f)σ( a l )+1.

Remark 1.3 Note that σ may be zero in Theorem 1.3.

Example 1.1 shows the sharpness of Theorems 1.1 and 1.3, where H={z:argz=0}. The following example illustrates the sharpness of Theorem 1.2.

Example 1.2 The difference equation

( z 2 e 2 z 3 + e 4 ) f(z+1) ( e 2 z 1 + z 2 ) f(z)=0

admits a solution f(z)= e ( z + 1 ) 2 , where a 1 (z)= z 2 e 2 z 3 + e 4 , a 0 (z)=( e 2 z 1 + z 2 ) satisfy the hypothesis of Theorem 1.2 and σ( a 1 )=σ( a 0 ), τ( a 1 )=τ( a 0 ). Here σ(f)=2=max{σ( a 0 ),σ( a 1 )}+1.

When there exists more than one coefficient having the order ∞ in Eq. (1.2), we obtain the following result. Note that in this case Theorem D is invalid.

Theorem 1.4 Let a 0 , a 1 ,, a k be entire functions. If there exists an integer l (0lk) such that

max { σ 2 ( a j ) : j = 0 , , k , j l } σ 2 ( a l ) ( 0 < σ 2 ( a l ) < ) , max { τ 2 ( a j ) : σ 2 ( a j ) = σ 2 ( a l ) } < τ 2 ( a l ) ( 0 < τ 2 ( a l ) < ) ,

then every meromorphic solution f (0) of Eq. (1.2) satisfies σ(f)= and σ 2 (f) σ 2 ( a l ).

Next we consider the properties of meromorphic solutions of the non-homogeneous linear difference equation corresponding to (1.2)

a k (z)f(z+k)++ a 1 (z)f(z+1)+ a 0 (z)f(z)=F(z),
(1.5)

where F(z) (0) is an entire function.

Theorem 1.5 Let a j (z) (j=0,,k) satisfy the hypothesis of Theorem  1.1 or Theorem  1.2, and let F(z) be an entire function of σ(F)<n. Then at most one meromorphic solution f 0 of Eq. (1.5) satisfies max 0 j k {σ( a j )}σ( f 0 )< max 0 j k {σ( a j )}+1 and max{λ( f 0 ),λ(1/ f 0 )}=σ( f 0 ), the other solutions f satisfy σ( f 0 ) max 0 j k {σ( a j )}+1.

Theorem 1.6 Let a j (z) (j=0,,k) satisfy the hypothesis of Theorem  1.4, and let F(z) be an entire function. Then

  1. (i)

    If σ 2 (F)< σ 2 ( a l ) or σ 2 (F)= σ 2 ( a l ), τ 2 (F)< τ 2 ( a l ), then every meromorphic solution f (0) of Eq. (1.5) satisfies σ(f)= and σ 2 (f) σ 2 ( a l ).

  2. (ii)

    If σ 2 (F)> σ 2 ( a l ), then every meromorphic solution f (0) of Eq. (1.5) satisfies σ(f)= and σ 2 (f) σ 2 (F).

2 Lemmas

Lemma 2.1 [8]

Let η 1 , η 2 be two arbitrary complex numbers, and let f(z) be a meromorphic function of finite order σ. Let ε>0 be given, then there exists a subset E(0,+) with finite logarithmic measure such that for all |z|=rE[0,1], we have

exp { r σ 1 + ε } | f ( z + η 1 ) f ( z + η 2 ) | exp { r σ 1 + ε } .

Lemma 2.2 [20]

Suppose that P(z)=(α+iβ) z n + (α, β are real numbers, |α|+|β|0) is a polynomial with degree n1, A(z) (0) is an entire function with σ(A)<n. Set g(z)=A(z) e P ( z ) , z=r e i θ , δ(P,θ)=αcosnθβsinnθ. Then for any given ε>0, there exists a set E 1 [0,2π) that has linear measure zero, such that for any θ[0,2π)( E 1 E 2 ), there is R>0 such that for |z|=r>R, we have

  1. (i)

    if δ(P,θ)>0, then

    exp { ( 1 ε ) δ ( P , θ ) r n } < | g ( r e i θ ) | <exp { ( 1 + ε ) δ ( P , θ ) r n } ;
  2. (ii)

    if δ(P,θ)<0, then

    exp { ( 1 + ε ) δ ( P , θ ) r n } < | g ( r e i θ ) | <exp { ( 1 ε ) δ ( P , θ ) r n } ,

where E 2 ={θ[0,2π):δ(P,θ)=0} is a finite set.

Lemma 2.3 [21]

Let f(z) be an entire function of order σ(f)=σ<+. Then for any given ε>0, there is a set E[1,+) having finite linear measure such that for all z satisfying |z|=r[0,1]E and r sufficiently large, we have

exp { r σ + ε } | f ( z ) | exp { r σ + ε } .

Lemma 2.4 [15]

Let f be a non-constant meromorphic function, cC, δ<1 and ε>0. Then

m ( r , f ( z + c ) f ( z ) ) =o ( T ( r + | c | , f ) 1 + ε r δ )
(2.1)

for all r outside of a possible exceptional set E with finite logarithmic measure E d r r <.

Remark 2.1 By [5], we know that

( 1 + o ( 1 ) ) T ( r | h | , f ( z ) ) T ( r , f ( z + h ) ) ( 1 + o ( 1 ) ) T ( r + | h | , f ( z ) ) ( r > r 0 > 0 ) ,
(2.2)

where hC. So, by (2.1) and (2.2), we immediately have

m ( r , f ( z + c ) f ( z + h ) ) =o ( T ( r + | c h | + | h | , f ) 1 + ε r δ )
(2.3)

for all r outside of a possible exceptional set E with finite logarithmic measure E d r r <.

Lemma 2.5 [4]

Let f be a meromorphic function with hyper-order 0< σ 2 (f)< and hyper-type 0< τ 2 (f)<, then for any given β< τ 2 (f), there exists a subset E[1,+) of infinite logarithmic measure such that T(r,f)>β r σ 2 ( f ) holds for all rE.

Lemma 2.6 Let G(z)= j = 1 k B j (z) e P j ( z ) , where P j (z)= α j n z n ++ α j 0 are polynomials with degree n (≥1), B j (z) (0) are meromorphic functions of σ( B j )<n. If α j n (j=1,,k) are distinct complex numbers, then σ(G)=n.

Proof By the Weierstrass factorization, we obtain

B j (z)= B j 1 ( z ) B j 2 ( z ) ,
(2.4)

where B j 1 (z), B j 2 (z) are entire functions of order less than n. Let Q(z)= j = 1 k B j 2 (z), H(z)=Q(z)G(z), then σ(Q)<n and by (2.4), we get

H(z)= j = 1 k D j (z) e α j n z n ,
(2.5)

where D j (z)=Q(z) B j (z) e P j ( z ) α j n z n are entire functions of σ( D j )<n.

Next we prove that σ(H)=n. Set σ( D j )= σ j , arg α j n = φ j (1jk). By Lemma 2.3, for any given ε (0<ε<n max 1 j k σ j ), there is a set E[1,+) having finite linear measure such that for all z satisfying |z|=r[0,1]E and r sufficiently large, we have

exp { r σ j + ε } | D j ( z ) | exp { r σ j + ε } (1jk).
(2.6)

Without loss of generality, suppose that | α l n |max{| α j n |:1jk,jl}. Let θ 0 satisfy cos( φ l +n θ 0 )=1. Then by (2.5) and (2.6), for z=r e i θ 0 satisfying |z|=r[0,1]E and r sufficiently large, we have

| H ( z ) | | D l ( z ) | | e α l n z n | j = 1 j l k | D j ( z ) | | e α j n z n | exp { r σ l + ε } exp { | α l n | r n } j = 1 j l k exp { r σ j + ε } exp { | α j n | r n cos ( φ j + n θ 0 ) } = exp { | α l n | r n r σ l + ε } [ 1 j = 1 j l k exp { ( | α j n | cos ( φ j + n θ 0 ) | α l n | ) r n } exp { r σ j + ε + r σ l + ε } ] .
(2.7)

We discuss the following two cases.

Case 1. | α l n |>| α j n | for 1jk, jl. Then by (2.7), for z=r e i θ 0 satisfying |z|=r[0,1]E and r sufficiently large, we have

| H ( z ) | exp { | α l n | r n r σ l + ε } ( 1 o ( 1 ) ) .
(2.8)

Case 2. Among α j n (1jk) there exist α i 1 n ,, α i m n ( i j {1,,k}{l}) such that | α i 1 n |==| α i m n |=| α l n |. Since α j n (1jk) are distinct non-zero complex numbers, we have

cos( φ i 1 + θ 0 )<1,,cos( φ i m + θ 0 )<1.

Hence by (2.7), we also obtain (2.8).

By (2.8), we get σ(H)n. On the other hand, by the elementary order considerations, we have σ(H)n. So, σ(H)=n. Then by G(z)=H(z)/Q(z) and σ(Q)<n, we get σ(G)=n. □

3 Proofs of the results

Proof of Theorem 1.1 Let f (0) be a meromorphic solution of (1.2). Suppose that σ(f)<n+1, then by Lemma 2.1, for any given ε>0, there exists a set E(0,+) with finite logarithmic measure such that for all |z|=rE[0,1], we have

| f ( z + j ) f ( z + l ) | exp { r σ ( f ) 1 + ε } (j=0,,k,jl).
(3.1)

Set z=r e i θ , α j n =| α j n | e i φ j and δ( P j ,θ)=| α j n |cos( φ j +nθ) (j=0,,k). Then E 1 ={θ[0,2π):δ( P j ,θ)=0,j=0,,k}{θ[0,2π):δ( P j P i ,θ)=0,0i<jk} is a set of linear measure zero. Considering each a j (z)= A j (z) e P j ( z ) , by Lemma 2.2, for the above ε>0, there exists a set F j [0,2π) of linear measure zero such that for any z=r e i θ satisfying θ[0,2π)( E 1 F j ) and r sufficiently large, we have

  1. (i)

    if δ( P j ,θ)>0, then

    exp { ( 1 ε ) δ ( P j , θ ) r n } < | a j ( r e i θ ) | <exp { ( 1 + ε ) δ ( P j , θ ) r n } ;
    (3.2)
  2. (ii)

    if δ( P j ,θ)<0, then

    exp { ( 1 + ε ) δ ( P j , θ ) r n } < | a j ( r e i θ ) | <exp { ( 1 ε ) δ ( P j , θ ) r n } .
    (3.3)

Set E 2 = j = 0 k F j , then E 2 is a set of linear measure zero. Since α j n are distinct complex numbers, there exists only one l{0,,k} such that δ( P l ,θ)=max{δ( P j ,θ):j=0,,k} for any θ[0,2π)( E 1 E 2 ). Now we take a ray argz= θ 0 [0,2π)( E 1 E 2 ) such that δ( P l , θ 0 )>0. Let δ 1 =δ( P l , θ 0 ), δ 2 =max{δ( P j , θ 0 ):j=0,,k,jl}, then δ 1 > δ 2 . We discuss the following two cases.

Case 1. δ 2 >0. We rewrite (1.1) in the form

a l (z)= j = 0 j l k a j (z) f ( z + j ) f ( z + l ) .
(3.4)

By (3.1), (3.2) and (3.4), we get for z=r e i θ 0 and sufficiently large rE[0,1],

exp { ( 1 ε ) δ 1 r n } | a l ( r e i θ 0 ) | j = 0 j l k exp { ( 1 + ε ) δ ( P j , θ 0 ) r n } exp { r σ ( f ) 1 + ε } k exp { ( 1 + ε ) δ 2 r n } exp { r σ ( f ) 1 + ε } .
(3.5)

When 0<2ε<min{ δ 1 δ 2 δ 1 + δ 2 ,n+1σ(f)}, by (3.5), we get

exp { δ 1 δ 2 2 r n } kexp { r σ ( f ) 1 + ε } .

This is impossible.

Case 2. δ 2 <0. By (3.1), (3.3) and (3.4), we get for z=r e i θ 0 and sufficiently large rE[0,1],

exp { ( 1 ε ) δ 1 r n } | a l ( r e i θ 0 ) | j = 0 j l k exp { ( 1 ε ) δ ( P j , θ 0 ) r n } exp { r σ ( f ) 1 + ε } k exp { r σ ( f ) 1 + ε } .

This is a contradiction. Hence we get σ(f)n+1= max 0 j k {σ( a j )}+1. □

Proof of Theorem 1.2 By Lemmas 2.2 and 2.3, we know that for any given ε>0, there is a set E[1,+) having finite linear measure such that for all z satisfying |z|=r[0,1]E and r sufficiently large, we have

exp { ( 1 ε ) δ ( P j , θ ) r n } < | a j ( r e i θ ) | <exp { ( 1 + ε ) δ ( P j , θ ) r n }
(3.6)

if δ( P j ,θ)>0, and

| a j ( r e i θ ) | <exp { r σ ( D j ) + ε }
(3.7)

if δ( P j ,θ)<0. Then using the similar argument to that of Theorem 1.1 and only replacing (3.2) (or (3.3)) by (3.6) (or (3.7)), we can prove Theorem 1.2. □

Proof of Theorem 1.3 Let f (0) be a meromorphic solution of (1.2). Suppose that σ(f)<σ+1, then by Lemma 2.1, for any given ε (0<ε<σ+1σ(f)2δ), there exists a set E(0,+) with finite logarithmic measure such that for all |z|=rE[0,1], we have

| f ( z + j ) f ( z + l ) | exp { r σ ( f ) 1 + ε } <exp { r σ 2 δ } (j=0,,k,jl).
(3.8)

Rewrite (1.1) in the form

1= j = 0 j l k a j ( z ) f ( z + j ) a l ( z ) f ( z + l ) .
(3.9)

Since E[0,1] has finite logarithmic measure, the density of E[0,1] is zero. Hence (1.3) and (1.4) also hold for zHE[0,1]. Substituting (1.3), (1.4) and (3.8) into (3.9), we get for zHE[0,1],

1 j = 0 j l k exp { ( α β ) r σ δ } exp { r σ 2 δ } 0 ,

a contradiction. Hence we get σ(f)σ+1. By the assumptions of Theorem 1.3, we know that σ( a l )=σ. So, σ(f)σ( a l )+1. □

Proof of Theorem 1.4 Let f (0) be a meromorphic solution of (1.2). By (1.2) we get

a l (z)= j = 0 j l k a j (z) f ( z + j ) f ( z + l ) .
(3.10)

By Lemma 2.4 and (3.10), we get

m ( r , a l ( z ) ) j = 0 j l k m ( r , a j ( z ) ) + j = 0 j l k m ( r , f ( z + j ) f ( z + l ) ) + O ( 1 ) = j = 0 j l k m ( r , a j ( z ) ) + j = 0 j l k o ( T ( r + | l | + | j l | , f ) 1 + ε r δ ) + O ( 1 ) = j = 0 j l k T ( r , a j ( z ) ) + o ( T ( r + 2 k , f ) 1 + ε r δ ) + O ( 1 )
(3.11)

for r, rE, where E is a set of finite logarithmic measure.

Let β 1 , β 2 be two real numbers such that max{ τ 2 ( a j ): σ 2 ( a j )= σ 2 ( a l )}< β 1 < β 2 < τ 2 ( a l ). Then by Lemma 2.5, we know that there exists a set H of infinite logarithmic measure such that

T(r, a l )>exp { β 2 r σ 2 ( a l ) }

holds for all rH. Therefore we can take a sequence { r n } such that r n HE, r n and

T( r n , a l )>exp { β 2 r n σ 2 ( a l ) }
(3.12)

holds for sufficiently large r n .

On the other hand, if σ 2 ( a j )< σ 2 ( a l ), then for any given ε>0 and sufficiently large r n , we have

T( r n , a j )<exp { r n σ 2 ( a j ) + ε } <exp { β 1 r n σ 2 ( a l ) } ;
(3.13)

if max{ τ 2 ( a j ): σ 2 ( a j )= σ 2 ( a l )}< τ 2 ( a l ), then for sufficiently large r n , we have

T( r n , a j )<exp { β 1 r n σ 2 ( a l ) } .
(3.14)

Then substituting (3.12), (3.13) (or (3.14)) into (3.11), we get

exp { β 2 r n σ 2 ( a l ) } < T ( r n , a l ) = m ( r n , a l ) < k exp { β 1 r n σ 2 ( a l ) } + o ( T ( r n + 2 k , f ) 1 + ε r n δ ) .
(3.15)

Hence by (3.15), for sufficiently large r n , we have

( 1 o ( 1 ) ) exp { β 2 r n σ 2 ( a l ) } =o ( T ( r n + 2 k , f ) 1 + ε r n δ ) .
(3.16)

Then by (3.16), we get σ(f)= and σ 2 (f) σ 2 ( a l ). □

Proof of Theorem 1.5 Let f (0) be a meromorphic solution of (1.5). Suppose that σ(f)< max 0 j k {σ( a j )}, then by Lemma 2.6 we obtain σ(F)=σ( j = 0 k a j (z)f(z+j))=n. This contradicts σ(F)<n. Therefore we have σ(f) max 0 j k {σ( a j )}.

Suppose that there exist two distinct meromorphic solutions f 1 (0), f 2 (0) of Eq. (1.5) such that max{σ( f 1 ),σ( f 2 )}< max 0 j k {σ( a j )}+1. Then f 1 f 2 is a meromorphic solution of the homogeneous linear difference equation corresponding to (1.5), and σ( f 1 f 2 )< max 0 j k {σ( a j )}+1. By Theorem 1.1 or Theorem 1.2, we get a contradiction. So, Eq. (1.5) has at most one meromorphic solution f 0 satisfying max 0 j k {σ( a j )}σ( f 0 )< max 0 j k {σ( a j )}+1.

Next we prove max{λ( f 0 ),λ(1/ f 0 )}=σ( f 0 ) in the case σ( f 0 )= max 0 j k {σ( a j )}. Suppose that max{λ( f 0 ),λ(1/ f 0 )}<σ( f 0 ), then by the Weierstrass factorization, we obtain

f 0 (z)= g 1 ( z ) g 2 ( z ) e Q ( z ) ,
(3.17)

where Q(z)=β z n + is a polynomial of degree n, g 1 (z) and g 2 (z) are entire functions of σ( g 1 )=λ( g 1 )=λ( f 0 ), σ( g 2 )=λ( g 2 )=λ(1/ f 0 ). Let g(z)= g 1 ( z ) g 2 ( z ) e Q ( z ) β z n and B j (z)= A j (z) e P j ( z ) α j n z n . Substituting (3.17) into (1.5), we get

j = 0 k B j (z)g(z+j) e α j n z n + β ( z + j ) n =F(z)
(3.18)

in the case a j = A j e P j . Since α j n are distinct complex numbers, by Lemma 2.6, we obtain that the order of the left-hand side of (3.18) is n. This contradicts σ(F)<n. For a j = A j e P j + D j , by using a similar to the above argument, we also obtain a contradiction.

It is obvious that max{λ( f 0 ),λ(1/ f 0 )}=σ( f 0 ) provided that max 0 j k {σ( a j )}<σ( f 0 )< max 0 j k {σ( a j )}+1. Therefore we have max{λ( f 0 ),λ(1/ f 0 )}=σ( f 0 ). □

Proof of Theorem 1.6 First we consider the case σ 2 (F)< σ 2 ( a l ) or σ 2 (F)= σ 2 ( a l ), τ 2 (F)< τ 2 ( a l ). Let f (0) be a meromorphic solution of (1.5). By (1.5), (2.2) and (2.3), we get

m ( r , a l ( z ) ) m ( r , F ( z ) f ( z + l ) ) + j = 0 j l k m ( r , a j ( z ) ) + j = 0 j l k m ( r , f ( z + j ) f ( z + l ) ) + O ( 1 ) T ( r , F ( z ) ) + T ( r , f ( z + l ) ) + j = 0 j l k m ( r , a j ( z ) ) + j = 0 j l k o ( T ( r + | l | + | j l | , f ) 1 + ε r δ ) + O ( 1 ) T ( r , F ( z ) ) + ( 1 + o ( 1 ) ) T ( r + | l | , f ( z ) ) + j = 0 j l k T ( r , a j ( z ) ) + o ( T ( r + 2 k , f ) 1 + ε r δ ) + O ( 1 )
(3.19)

for r, rE, where E is a set of finite logarithmic measure.

Let β 1 , β 2 be two real numbers such that max{ τ 2 ( a j ), τ 2 (F): σ 2 ( a j )= σ 2 ( a l )}< β 1 < β 2 < τ 2 ( a l ). Then by Lemma 2.5, we can take a sequence { r n } such that r n HE, r n and (3.12)-(3.14) also hold for sufficiently large r n , where H is defined by Lemma 2.5. On the other hand, for sufficiently large r n we have

T( r n ,F)<exp { β 1 r n σ 2 ( a l ) } .
(3.20)

Substituting (3.12), (3.13) (or (3.14)) (3.20) into (3.19), we get

exp { β 2 r n σ 2 ( a l ) } T ( r n , a l ) = m ( r n , a l ) < ( k + 1 ) exp { β 1 r n σ 2 ( a l ) } + 3 T ( 2 r n , f ) 2 .
(3.21)

Hence by (3.21), we get σ(f)= and σ 2 (f) σ 2 ( a l ).

Next we consider the case σ 2 (F)> σ 2 ( a l ). Let f (0) be a meromorphic solution of (1.5). By (1.5) and (2.2), we get

T ( r , F ( z ) ) j = 0 k T ( r , a j ( z ) ) + j = 0 k T ( r , f ( z + j ) ) + O ( 1 ) j = 0 k T ( r , a j ( z ) ) + 2 ( k + 1 ) T ( r + k , f ( z ) ) .
(3.22)

By the definition of hyper-order, we know that there exists a sequence { r n } such that r n , and for any given ε (0<2ε< σ 2 (F) σ 2 ( a l )) and sufficiently large r n , we have

T( r n ,F)>exp { r n σ 2 ( F ) ε } ,
(3.23)
T( r n , a j )<exp { r n σ 2 ( a j ) + ε } (j=0,,k).
(3.24)

Substituting (3.23), (3.24) into (3.22), we get σ(f)= and σ 2 (f) σ 2 (F). □

References

  1. Hayman WK: Meromorphic Functions. Clarendon Press, Oxford; 1964.

    MATH  Google Scholar 

  2. Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.

    Book  MATH  Google Scholar 

  3. Yang L: Value Distribution Theory and New Research. Science Press, Beijing; 1982. (in Chinese)

    MATH  Google Scholar 

  4. Cao TB, Xu JF, Chen ZX: On the meromorphic solutions of linear differential equations on the complex plane. J. Math. Anal. Appl. 2010, 364: 130-142. 10.1016/j.jmaa.2009.11.018

    Article  MathSciNet  MATH  Google Scholar 

  5. Ablowitz MJ, Halburd R, Herbst B: On the extension of the Painlevé property to difference equations. Nonlinearity 2000, 13: 889-905. 10.1088/0951-7715/13/3/321

    Article  MathSciNet  MATH  Google Scholar 

  6. Bergweiler W, Ishizaki K, Yanagihara N: Meromorphic solutions of some functional equations. Methods Appl. Anal. 1998, 5: 248-258.

    MathSciNet  MATH  Google Scholar 

  7. Bergweiler W, Ishizaki K, Yanagihara N: Growth of meromorphic solutions of some functional equations I. Aequ. Math. 2002, 63: 140-151. 10.1007/s00010-002-8012-x

    Article  MathSciNet  MATH  Google Scholar 

  8. Chiang YM, Feng SJ:On the Nevanlinna characteristic of f(z+η) and difference equations in the complex plane. Ramanujan J. 2008, 16: 105-129. 10.1007/s11139-007-9101-1

    Article  MathSciNet  MATH  Google Scholar 

  9. Chiang YM, Feng SJ: On the growth of logarithmic differences, difference quotients and logarithmic derivatives of meromorphic functions. Trans. Am. Math. Soc. 2009, 361: 3767-3791. 10.1090/S0002-9947-09-04663-7

    Article  MathSciNet  MATH  Google Scholar 

  10. Chen ZX: Growth and zeros of meromorphic solution of some linear difference equations. J. Math. Anal. Appl. 2011, 373: 235-241. 10.1016/j.jmaa.2010.06.049

    Article  MathSciNet  MATH  Google Scholar 

  11. Chen ZX, Shon KH: Value distribution of meromorphic solutions of certain difference Painlevé equations. J. Math. Anal. Appl. 2010, 364: 556-566. 10.1016/j.jmaa.2009.10.021

    Article  MathSciNet  MATH  Google Scholar 

  12. Chen ZX: On growth, zeros and poles of meromorphic solutions of linear and nonlinear difference equations. Sci. China Ser. A 2011, 54: 2123-2133. 10.1007/s11425-011-4265-y

    Article  MathSciNet  MATH  Google Scholar 

  13. Chen ZX, Shon KH: On the growth and fixed points of solutions of second order differential equations with meromorphic coefficients. Acta Math. Sin. Engl. Ser. 2005, 21: 753-764. 10.1007/s10114-004-0434-z

    Article  MathSciNet  MATH  Google Scholar 

  14. Halburd RG, Korhonen R: Difference analogue of the lemma on the logarithmic derivative with applications to difference equations. J. Math. Anal. Appl. 2006, 314: 477-487. 10.1016/j.jmaa.2005.04.010

    Article  MathSciNet  MATH  Google Scholar 

  15. Halburd RG, Korhonen R: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 2006, 31: 463-478.

    MathSciNet  MATH  Google Scholar 

  16. Halburd RG, Korhonen R: Meromorphic solutions of difference equations, integrability and the discrete Painlevé equations. J. Phys. A 2007, 40: 1-38. 10.1088/1751-8113/40/1/001

    Article  MathSciNet  MATH  Google Scholar 

  17. Heittokangas J, Korhonen R, Laine I, Rieppo J, Tohge K: Complex difference equations of Malmquist type. Comput. Methods Funct. Theory 2001, 1: 27-39.

    Article  MathSciNet  MATH  Google Scholar 

  18. Laine I, Yang CC: Clunie theorems for difference and q -difference polynomials. J. Lond. Math. Soc. 2007, 76: 556-566. 10.1112/jlms/jdm073

    Article  MathSciNet  MATH  Google Scholar 

  19. Wang J: Growth and poles of meromorphic solutions of some difference equations. J. Math. Anal. Appl. 2011, 379: 367-377. 10.1016/j.jmaa.2011.01.022

    Article  MathSciNet  MATH  Google Scholar 

  20. Halburd RG, Korhonen R: Finite-order meromorphic solutions and the discrete Painlevé equations. Proc. Lond. Math. Soc. 2007, 94: 443-474.

    Article  MathSciNet  MATH  Google Scholar 

  21. Chen ZX: On the hyper order of solutions of some second order linear differential equation. Acta Math. Sin. Engl. Ser. 2002, 18: 79-88. (in Chinese) 10.1007/s101140100107

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work is supported by the National Natural Science Foundation of China (No. 11201195, 11171119), the Natural Science Foundation of Jiangxi, China (No. 20122BAB201012, 20132BAB201008, 20122BAB211005), the STP of the Education Department of Jiangxi, China (No. GJJ12179). The authors thank the referee for his/her valuable suggestions to improve the present article.

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Huifang Liu or Zhiqiang Mao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors drafted the manuscript, read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Liu, H., Mao, Z. On the meromorphic solutions of some linear difference equations. Adv Differ Equ 2013, 133 (2013). https://doi.org/10.1186/1687-1847-2013-133

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-133

Keywords