Skip to main content

Theory and Modern Applications

The growth of solutions of systems of complex q-shift difference equations

Abstract

In this paper, we study the properties of systems of two types of complex q-shift difference equations with meromorphic solutions from the point of view of Nevanlinna theory. Some results obtained in this paper improve and extend the previous theorems given by Gao, and five examples show the extension of solutions of the system of complex difference equation.

MSC:39A50, 30D35.

1 Introduction and main results

In this paper, the problem of the existence and growth of solutions of complex difference equations will be studied. The fundamental results and the standard notations of the Nevanlinna value distribution theory of meromorphic functions will be used in this paper (see [13]). In addition, for a meromorphic function f, S(r,f) denotes any quantity satisfying S(r,f)=o(T(r,f)) for all r outside of a possible exceptional set E of finite logarithmic measure lim r [ 1 , r ) E d t t <, S 1 (r,f) denotes any quantity satisfying S 1 (r,f)=o(T(r,f)) for all r on a set F of logarithmic density 1 (or for all r outside of a possible exceptional set F of logarithmic density 0, the logarithmic density of a set F is defined by

lim sup r 1 log r [ 1 , r ] F 1 t dt.

Throughout this paper, the set E of finite logarithmic measure and F of logarithmic density will be not necessarily the same at each occurrence.

In recent years, there has been an increasing interest in studying difference equations, difference product and q-difference in the complex plane , considerable attention was paid to the growth of solutions of difference equations, value distribution and the uniqueness of differences analogues of Nevanlinna’s theory [413]. Chiang and Feng [6], Halburd and Korhonen [14] established a difference analogue of the logarithmic derivative lemma independently, and Barnett, Halburd, Korhonen and Morgan [4] also established an analogue of the logarithmic derivative lemma on q-difference operators. After their works, many people applied it to prove a number of results on meromorphic solutions of complex difference equations.

In 2000, Ablowitz, Halburd and Herbst [15] studied some class of complex difference equations,

(1)
(2)

where the coefficients are meromorphic functions, and obtained the following results.

Theorem 1.1 (see [15])

If the difference equation (1) (or (2)) with polynomial coefficients a i (z), b i (z) admits a transcendental meromorphic solution of finite order, then d=max{p,q}2.

In 2001, Heittokangas et al. [16] further investigated some complex difference equations which are similar to (1) and (2) and obtained the following results which are the improvement of Theorems 1.1 and 1.2.

Theorem 1.2 (see [[16], Proposition 8 and Proposition 9])

Let c 1 ,, c n C{0}. If the equations

i = 1 n f ( z + c j ) = R ( z , f ( z ) ) , i = 1 n f ( z + c j ) = R ( z , f ( z ) ) , R ( z , f ( z ) ) : = P ( z , f ( z ) ) Q ( z , f ( z ) ) = a 0 ( z ) + a 1 ( z ) f + + a s ( z ) f s b 0 ( z ) + b 1 ( z ) f + + b t ( z ) f t

with rational coefficients a i (z), b i (z) admit a transcendental meromorphic solution of finite order, then d=max{s,t}.

In 2002, Gundersen et al. [17] studied the growth of meromorphic solutions of q-difference equations and obtained the result as follows.

Theorem 1.3 (see [[17], Theorem 3.2])

Suppose that f is a transcendental meromorphic solution of an equation of the form

f(cz)=R ( z , f ( z ) ) = i = 0 s a i ( z ) f ( z ) i j = 0 t b j ( z ) f ( z ) j

with meromorphic coefficients a i (z), b j (z) and a constant c0 (|c|>1), assuming that d:=max{s,t}1, a s (z)0, b t (z)0, and that R(z,f(z)) is irreducible in f. Then ρ(f)= log d log | c | .

In 2010, Zheng and Chen [18] further considered the growth of meromorphic solutions of q-difference equations and obtained some results which extended the theorems given by Heittokangas et al. [16].

Theorem 1.4 (see [18])

Suppose that f is a transcendental meromorphic solution of the equation of the form

λ I d λ ( z ) f ( q z ) i λ 1 f ( q 2 z ) i λ 2 f ( q n z ) i λ n μ J e μ ( z ) f ( q z ) j μ 1 f ( q 2 z ) j μ 2 f ( q n z ) j μ n =R ( z , f ( z ) ) ,
(3)

where I={( i λ 1 , i λ 2 ,, i λ n )}, J={ j μ 1 , j μ 2 ,, j μ n } are two finite index sets satisfying

max λ , μ { i λ 1 + i λ 2 ++ i λ n , j μ 1 + j μ 2 ++ j μ n }=σ,

qC{0}, |q|>1, d2, and all coefficients of (3) are of growth S(r,f). If d=max{s,t}>2nσ, then for sufficiently large r, T(r,f)K ( d 2 n σ ) log r n log | q | , where K (>0) is a constant. Thus, the lower order of f satisfies μ(f) log d log 2 n σ n log | q | .

In 2011, Liu and Qi [11] investigated the properties of meromorphic solutions of a q-shift difference equation and obtained some results as follows.

Theorem 1.5 (see [[11], Theorem 4.1])

Suppose that f is a transcendental meromorphic solution of

f(cz+η)=R ( z , f ( z ) ) = i = 0 s a i ( z ) f ( z ) i j = 0 t b j ( z ) f ( z ) j ,

where the coefficients a i (z), b j (z) are rational, and |c|>1. Assuming R(z,f(z)) is irreducible in f, a s (z) b t (z)0. If s>t+1 and m:=st, then λ(1/f)log|m|/log|c|, provided that f has infinitely many poles.

In 2012, Gao [19] investigated a complex difference equation which is similar to (3) and obtained the following theorem.

Theorem 1.6 (see [[19], Theorem 1.1])

Let c 1 ,, c n C{0}. If the equation

λ I d λ ( z ) f ( z ) i λ 0 f ( z + c 1 ) i λ 1 f ( z + c 2 ) i λ 2 f ( z + c n ) i λ n μ J e μ ( z ) f ( z ) j μ 0 f ( z + c 1 ) j μ 1 f ( z + c 2 ) j μ 2 f ( z + c n ) j μ n =R ( z , f ( z ) )
(4)

has a transcendental meromorphic solution of finite order, then

max{s,t} Γ 1 + Γ 2 ,

where Γ 1 =max{ i λ 0 + i λ 1 ++ i λ n }, Γ 2 =max{ j μ 0 + j μ 1 ++ j μ n }, d λ (z), e μ (z), a j (z) and b j (z) are small functions of f.

Thus, the following questions arise naturally:

Question A Will the assertion of Theorem 1.6 remain valid if the transcendental meromorphic solution has infinite order?

Question B What will happen when f(z+ c i ) is replaced by f( q i z+ c i ) for i=1,2,,n in Theorem 1.6?

In this paper, we investigate the above questions and obtain the following theorem.

Theorem 1.7 Let q, c 1 ,, c n C{0}, and d λ (z), e μ (z), a i (z) and b j (z) be of growth o(T(r,f)) without an exceptional set as r. If f is a transcendental meromorphic solution of the equation of the form

λ I d λ ( z ) f ( z ) i λ 0 f ( q z + c 1 ) i λ 1 f ( q 2 z + c 2 ) i λ 2 f ( q n z + c n ) i λ n μ J e μ ( z ) f ( z ) i λ 0 f ( q z + c 1 ) j μ 1 f ( q 2 z + c 2 ) j μ 2 f ( q n z + c n ) j μ n =R ( z , f ( z ) )
(5)

and satisfies one of the following conditions:

  1. (i)

    q=1 and ρ 2 (f)<1;

  2. (ii)

    q1 and ρ(f)=0.

Then the conclusion of Theorem  1.6 still holds.

Remark 1.1 Theorem 1.7 is an improvement of Theorem 1.6. And Theorem 1.7 is an answer to Question A and Question B.

In this paper, we also investigated the extension of a meromorphic solution of the following system of complex q-shift difference equations of the form:

{ P 1 ( z , f 1 ( q z + η ) ) = J 1 a J 1 ( z ) ( j J 1 f 2 ( z + c j ) ) , P 2 ( z , f 2 ( q z + η ) ) = J 2 a J 2 ( z ) ( j J 2 f 1 ( z + c j ) ) ,
(6)

and

{ Ω 1 ( z , f 1 , f 2 ) = R 1 ( z , f 1 ) , Ω 2 ( z , f 1 , f 2 ) = R 2 ( z , f 2 ) ,
(7)

where q,η, c 1 ,, c n C{0}, { J ι } is a collection of all subsects of {1,2,, n ι }, ι=1,2, two q-shift difference polynomials Ω 1 (z, f 1 , f 2 ), Ω 2 (z, f 1 , f 2 ) are defined by

and R 1 (z, f 1 ), R 2 (z, f 2 ) are defined by

R 1 ( z , f 1 ) = P 1 ( z , f 1 ) Q 1 ( z , f 1 ) = i = 0 s 1 a i 1 ( z ) f 1 i j = 0 t 1 b j 1 ( z ) f 1 j , R 2 ( z , f 2 ) = P 2 ( z , f 2 ) Q 2 ( z , f 2 ) = i = 0 s 2 a i 2 ( z ) f 2 i j = 0 t 2 b j 2 ( z ) f 2 j ,

and all coefficients { a i 1 (z)}, { a i 2 (z)}, { b i 1 (z)}, { b i 2 (z)}, { a ( i ) (z)}, { b ( i ) (z)} and a J 1 (z), a J 2 (z) are small functions of f 1 , f 2 , and a s l l b t l l 0 for l=1,2. Let

Γ 11 = max ( i ) { ν = 0 n i 1 ν } , Γ 12 = max ( i ) { ν = 0 n i 2 ν } , Γ 21 = max ( j ) { ν = 0 n j 1 ν } , Γ 22 = max ( j ) { ν = 0 n j 2 ν } ,

and

S(r):= l = 1 2 ( T ( r , a i l ) + T ( r , b j l ) ) + ( i ) T(r, a ( i ) )+ ( j ) T(r, b ( j ) ).

The order and hyper order of a meromorphic solution ( f 1 , f 2 ) of the system (6) are defined by

ρ=ρ( f 1 , f 2 )=max { ρ ( f 1 ) , ρ ( f 2 ) } , ρ 2 = ρ 2 ( f 1 , f 2 )=max { ρ 2 ( f 1 ) , ρ 2 ( f 2 ) } ,

where

ρ( f k )= lim sup r log T ( r , f k ) log r , ρ 2 ( f k )= lim sup r log log T ( r , f k ) log r ,k=1,2.

To state our main results, we require the following definition.

Definition 1.8 (see [19])

If ( f 1 , f 2 ) is a meromorphic solution of the equation system (6), and its component f k satisfies

lim sup r , r E S ( r ) T ( r , f k ) =0,k=1,2,

then f k is called admissible, where E is an exceptional set with finite logarithmic measure.

Theorem 1.9 For the system (6), { J i } are two collections of all non-empty subsets of {1,2,, n i } for i=1,2, c j (j=1,2,,n) are distinct complex constants, and P i (z,u) is a polynomial in u of deg u = s i (>0), its coefficients of P i (z,u) are all small functions of f 1 f 2 . Let ( f 1 , f 2 ) be a meromorphic solution of the system (6) such that f 1 , f 2 are non-rational meromorphic, and all the coefficients of (6) are small functions relative to f 1 , f 2 . Thus,

  1. (i)

    if 0<|q|<1 and s 1 s 2 n 1 n 2 , we have

    μ( f 1 )+μ( f 2 ) log s 1 s 2 log n 1 n 2 log | q | ;
    (8)
  2. (ii)

    if |q|>1 and s 1 s 2 n 1 n 2 , then

    ρ( f 1 )+ρ( f 2 ) log n 1 n 2 log s 1 s 2 log | q | ;
    (9)
  3. (iii)

    if q=1 and s 1 s 2 n 1 n 2 , then μ( f 1 )+μ( f 2 ),

where μ(f) is the lower order of f.

Some examples will show that the conclusions (8) and (9) in Theorem 1.9 are sharp.

Example 1.1 The function ( f 1 (z), f 2 (z))=( e z , e z ) satisfies the system

{ [ f 1 ( z + c ) ] 2 [ f 1 ( z c ) ] 2 + f 1 ( z + 2 c ) + f 1 ( z 2 c ) = a 1 ( z ) ( f 2 ( q z + η ) ) 8 + b 1 ( z ) ( f 2 ( q z + η ) ) 2 , [ f 2 ( z c ) ] 2 2 + f 2 ( z + 2 c ) + f 2 ( z 2 c ) = a 2 ( z ) ( f 1 ( q z + η ) ) 8 + b 2 ( z ) ( f 1 ( q z + η ) ) 2 ,

where c, η are any nonzero complex constants, q= 1 2 , and

a 1 (z)= e 8 η , b 1 (z)= e 2 η ( e 2 c + e 2 c ) , a 2 (z)= e 8 η , b 2 (z)= e 2 η ( e 2 c + e 2 c ) .

Thus, we have

μ( f 1 )+μ( f 2 )=1+1= log s 1 s 2 log n 1 n 2 log | q | ,

where s 1 = s 2 =8, n 1 = n 2 =4 and |q|= 1 2 <1. This example shows that the equality in (8) can be arrived at.

Example 1.2 The function ( f 1 (z), f 2 (z))=( e z 2 , e ( z + 1 ) 2 ) satisfies the system

{ f 1 ( z + c ) + f 1 ( z c ) = a 1 ( z ) ( f 2 ( q z + η ) ) 4 , f 2 ( z + c ) + f 2 ( z c ) = a 2 ( z ) ( f 1 ( q z + η ) ) 4 ,

where c is any nonzero complex constant, q= 1 2 , η=1, and

a 1 (z)= e c 2 ( e 2 z c + e 2 z c ) , a 2 (z)= e ( c + 1 ) 2 ( e 2 z ( c + 1 ) + e 2 z ( c + 1 ) 4 c ) e 4 z 4 .

We note that a 1 (z), a 2 (z) are small functions relative to e z 2 , e ( z + 1 ) 2 . Thus, we have

μ( f 1 )+μ( f 2 )=4>2= log s 1 s 2 log n 1 n 2 log | q | ,

where s 1 = s 2 =4, n 1 = n 2 =2 and |q|= 1 2 <1. This example shows that the inequality (8) is true.

Example 1.3 The function ( f 1 (z), f 2 (z))=( e z , e z ) satisfies the system

{ f 1 ( z + c ) f 1 ( z c ) f 1 ( z + 2 c ) f 1 ( z 2 c ) + f 1 ( z + c ) f 1 ( z c ) = a 1 ( z ) ( f 2 ( q z + η ) ) 2 + b 1 ( z ) f 2 ( q z + η ) , f 2 ( z + c ) f 2 ( z c ) f 2 ( z + 2 c ) f 2 ( z 2 c ) + f 2 ( z + c ) f 2 ( z c ) = a 2 ( z ) ( f 1 ( q z + η ) ) 2 + b 2 ( z ) f 1 ( q z + η ) ,

where c, η are any nonzero complex constants, q=2, and

a 1 (z)= e 2 η , b 1 (z)= e η , a 2 (z)= e 2 η , b 2 (z)= e η .

Thus, we have

ρ( f 1 )+ρ( f 2 )=2= log n 1 n 2 log s 1 s 2 log | q | ,

where n 1 = n 2 =4, s 1 = s 2 =2 and |q|=2>1. This example shows that the equality in (9) can be arrived at.

Example 1.4 The function ( f 1 (z), f 2 (z))=( e z 2 , e ( z + 1 ) 2 ) satisfies the system

{ d 1 ( z ) f 1 ( z + c ) f 1 ( z c ) f 1 ( z + 2 c ) f 1 ( z 2 c ) f 1 ( z + 3 c ) f 1 ( z 3 c ) × f 1 ( z + 4 c ) f 1 ( z 4 c ) + d 2 ( z ) f 1 ( z + c ) f 1 ( z c ) f 1 ( z + c 2 ) f 1 ( z c 2 ) = a 1 ( z ) ( f 2 ( q z + η ) ) 2 + b 1 ( z ) f 2 ( q z + η ) , e 1 ( z ) f 2 ( z + c ) f 2 ( z c ) f 2 ( z + 2 c ) f 2 ( z 2 c ) f 2 ( z + 3 c ) f 2 ( z 3 c ) × f 2 ( z + 4 c ) f 2 ( z 4 c ) + e 2 ( z ) f 2 ( z + c ) f 2 ( z c ) f 2 ( z + c 2 ) f 2 ( z c 2 ) = a 2 ( z ) ( f 1 ( q z + η ) ) 2 + b 2 ( z ) f 1 ( q z + η ) ,

where c is a nonzero constant, q=2, η=1,

d 1 (z)= e 60 c 2 , d 2 (z)= e 5 2 c 2 , e 1 (z)= e 60 c 2 8 e 16 z , e 2 (z)= e 5 2 c 2 4 e 8 z ,

and

a 1 (z)=1, b 1 (z)=1, a 2 (z)= e 8 z 2 , b 2 (z)= e 4 z 1 .

We note that a i (z), b i (z), d i (z), e i (z), i=1,2 are small functions relative to e z 2 , e ( z + 1 ) 2 . Thus, we have

ρ( f 1 )+ρ( f 2 )=4 log 2 25= log n 1 n 2 log s 1 s 2 log | q | ,

where n 1 = n 2 =10, s 1 s 2 =2 and |q|=2>1. This example shows that the inequality in (9) is true.

Example 1.5 The function ( f 1 (z), f 2 (z))=( e e z , e e z ) satisfies the following system:

{ f 1 ( z + 2 log 2 ) + f 1 ( z + 3 log 2 ) + f 1 ( z + 2 log 2 ) f 1 ( z + 3 log 2 ) = f 2 ( z 2 log 2 ) + ( f 2 ( z 2 log 2 ) ) 2 + ( f 2 ( z 2 log 2 ) ) 3 , f 2 ( z + 2 log 2 ) + f 2 ( z + 3 log 2 ) + f 2 ( z + 2 log 2 ) f 2 ( z + 3 log 2 ) = f 2 ( z 2 log 2 ) + ( f 2 ( z 2 log 2 ) ) 2 + ( f 2 ( z 2 log 2 ) ) 3 .

We have μ( f 1 )+μ( f 2 )=. Thus, it shows that (iii) in Theorem 1.9 is true when s 1 = s 2 = n 1 = n 2 =3, c 1 =2log2, c 2 =3log2, q=1 and η=2log2.

Theorem 1.10 Let ( f 1 , f 2 ) be an admissible meromorphic solution of (7), max{ s 1 , t 1 }> Γ 11 , max{ s 2 , t 2 }> Γ 22 and satisfy one of the following conditions:

  1. (i)

    q=1 and ρ 2 ( f 1 , f 2 )<1;

  2. (ii)

    q1 and ρ( f 1 , f 2 )=0.

Then

( max { s 1 , t 1 } Γ 11 ) ( max { s 2 , t 2 } Γ 22 ) Γ 12 Γ 21 .

Theorem 1.11 Let ( f 1 , f 2 ) be an admissible meromorphic solution of (7), the coefficients { a i 1 (z)}, { a i 2 (z)}, { b i 1 (z)}, { b i 2 (z)}, { a ( i ) (z)} and { b ( i ) (z)} of (7) be meromorphic functions and not necessarily small functions of f 1 , f 2 and

max{ s 1 , t 1 }> Γ 11 ,max{ s 2 , t 2 }> Γ 22 .

If f 1 , f 2 and q satisfy one of the following conditions:

  1. (i)

    q=1 and ρ 2 ( f 1 , f 2 )<1;

  2. (ii)

    q1 and ρ( f 1 , f 2 )=0.

Then the solutions in the pair ( f 1 , f 2 ) are either both admissible or both non-admissible.

Remark 1.2 It is easy to see that Theorem 1.7, Theorem 1.10 and Theorem 1.11 are the improvement of some results in [19].

2 Some lemmas

Lemma 2.1 (Valiron-Mohon’ko [20])

Let f(z) be a meromorphic function. Then, for all irreducible rational functions in f,

R ( z , f ( z ) ) = i = 0 m a i ( z ) f ( z ) i j = 0 n b j ( z ) f ( z ) j ,

with meromorphic coefficients a i (z), b j (z), the characteristic function of R(z,f(z)) satisfies

T ( r , R ( z , f ( z ) ) ) =dT(r,f)+O ( Ψ ( r ) ) ,

where d=max{m,n} and Ψ(r)= max i , j {T(r, a i ),T(r, b j )}.

Lemma 2.2 ([[21], Theorem 5.1])

Let f be a transcendental meromorphic function of ρ 2 (f)<1, ς<1, ε be a number small enough. Then

m ( r , f ( z + c ) f ( z ) ) =o ( T ( r , f ) r 1 ς ε ) =S(r,f)

for all r outside of a set of finite logarithmic measure.

Lemma 2.3 ([[21], Lemma 8.3])

Let T:[0,+)[0,+) be a non-decreasing continuous function and let s(0,+). If the hyper order of T is strictly less that one, that is,

lim sup r log log T ( r ) log r <1,

and δ(0,1ς), then

T(r+s)=T(r)+o ( T ( r ) r δ )

for all r runs to infinity outside of a set of finite logarithmic measure.

From Lemma 2.3, we can get the following lemma easily.

Lemma 2.4 Let f(z) be a transcendental meromorphic function of hyper order ρ 2 (f)<1 and c be a non-zero complex constant. Then we have

T ( r , f ( z + c ) ) =T ( r , f ( z ) ) +S(r,f),N ( r , f ( z + c ) ) =N ( r , f ( z ) ) +S(r,f).

Lemma 2.5 ([[22], p.36] or [[13], Theorem 1.1 and Theorem 1.3])

Let f(z) be a transcendental meromorphic function of zero order and q be a nonzero complex constant. Then

T ( r , f ( q z ) ) =T ( r , f ( z ) ) + S 1 (r,f),N ( r , f ( q z ) ) =N ( r , f ( z ) ) + S 1 (r,f),

on a set of logarithmic density 1 or for all r outside of a possible exceptional set of logarithmic density 0.

Lemma 2.6 Let f(z) be a transcendental meromorphic function of zero order and q, c be two nonzero complex constants. Then

T ( r , f ( q z + c ) ) =T ( r , f ( z ) ) + S 1 (r,f)andN ( r , f ( q z + c ) ) N(r,f)+ S 1 (r,f).

Proof By using the idea of [[22], p.47], we can get the conclusions of Lemma 2.6 easily. Now, we will give another method to prove this lemma as follows.

From Lemma 2.4 and Lemma 2.5, we get the first equality of this lemma.

Next, the idea of the proof of the other inequalities of this lemma is from [8, 23]. Since f is of zero order, by Lemma 2.5, we have

N ( r , f ( q z + c ) ) = N ( r , f ( q ( z + c q ) ) ) = N ( r , f ( z + c q ) ) + S 1 ( r , f ( z + c q ) ) N ( r + | c q | , f ) + S 1 ( r , f ( z + c q ) ) .
(10)

By Lemma 2.5 and since f is a meromorphic function of zero order, we have S 1 (r,f(z+ c q ))= S 1 (r,f). And by Lemma 2.3, we have

N ( r + | c q | , f ) N(r,f)+S(r,f),
(11)

outside of a possible exceptional set with finite logarithmic measure.

From (10), (11) and N(r,f)N(r+| c q |,f), we have N(r+| c q |,f)=N(r,f)+S(r,f) and N(r,f(qz+c))N(r,f)+ S 1 (r,f). □

Lemma 2.7 ([4, 14] or [[11], Theorem 2.1])

Let f(z) be a nonconstant zero-order meromorphic function and qC{0}. Then

m ( r , f ( q z + η ) f ( z ) ) =S(r,f),

on a set of logarithmic density 1 for all r outside of a possible exceptional set of logarithmic density 0.

Lemma 2.8 ([[22], p.44] or [[19], Lemma 2.5])

If

lim sup r , r E 1 S ( r ) T ( r , f 1 ) =0,T(r, f 2 )=O ( S ( r ) ) (r E 2 ),

then

lim sup r , r E 1 E 2 T ( r , f 2 ) T ( r , f 1 ) =0,

where E 1 , E 2 are sets with finite logarithmic measure.

Lemma 2.9 Let q, c 1 ,, c n C{0}, f 1 , f 2 be two transcendental meromorphic functions and T(r, a ( i ) )=o(T(r, f k )), k=1,2,

Ω 1 (z, f 1 , f 2 )= ( i ) a ( i ) k = 1 2 f k i k 0 ( f k ( q z + c 1 ) ) i k 1 ( f k ( q n z + c n ) ) i k n ,

where (i) is an index set consisting of finite elements.

If q=1 and ρ 2 ( f k )<1 for k=1,2, then

T ( r , Ω 1 ( z , f 1 , f 2 ) ) k = 1 2 Γ 1 k T(r, f k )+M+o ( T ( r , f 1 ) + T ( r , f 2 ) )

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

If q1 and ρ( f k )=0 for k=1,2, then

T ( r , Ω 1 ( z , f 1 , f 2 ) ) k = 1 2 Γ 1 k T(r, f k )+M+o ( T ( r , f 1 ) + T ( r , f 2 ) )

for all r on a set F of logarithmic density 1 or for all r outside of a possible exceptional set F of logarithmic density 0, where Γ 1 k , k=1,2 are as stated in Section  1, M a real constant and not necessarily the same at each occurrence.

Proof Set G ( i ) = a ( i ) (z) k = 1 2 ( f k ( z ) ) i k 0 ( f k ( q z + c 1 ) ) i k 1 ( f k ( q n z + c n ) ) i k n .

Let z 1 be a pole of Ω 1 (z, f 1 , f 2 ) of order τ that is not the zero and pole of a ( i ) (z), then there exists at least one index i{(i)} such that G ( i ) has a pole at z 1 of order τ 1 τ. Thus, there exists a subset { σ 0 , σ 1 ,, σ μ } of {0,1,2,,n} such that each one of f k (z), f k (qz+ c 1 ),, f k ( q n z+ c n ) (k=1,2) has a pole at z 1 . If m σ j (≥1) (j=0,1,,μ) are the order of f( q κ j z+ c κ j ) at z 1 respectively, then we have

τ τ 1 = m σ 0 i σ 0 + m σ 1 i σ 1 + + m σ μ i σ μ m k 0 i k 0 + m k 1 i k 1 + + m k n i k n .

Hence, we have n(r, Ω 1 (z, f 1 , f 2 )) k = 1 2 i k 0 (n(r, f k (z)))+ i k 1 n(r, f k (qz+ c 1 ))+ + i k n n(r, f k ( q n z+ c n ))+ ( i ) n(r, a ( i ) ), that is,

N ( r , Ω 1 ( z , f 1 , f 2 ) ) k = 1 2 [ i k 0 N ( r , f k ( z ) ) + i k 1 N ( r , f k ( q z + c 1 ) ) + + i k n N ( r , f k ( q n z + c n ) ) ] + ( i ) N ( r , a ( i ) ) + M .
(12)

We can rewrite G ( i ) in the following form:

G ( i ) = a ( i ) (z) k = 1 2 ( f k ( z ) ) i k 0 + i k 1 + + i k n ( f k ( q z + c 1 ) f k ) i k 1 ( f k ( q n z + c n ) f k ) i k n .

It follows

m ( r , G ( i ) ) m ( r , a ( i ) ) + k = 1 2 ( i k 0 + i k 1 + + i k n ) m ( r , f k ) + M + O { p = 1 n ( m ( r , f 1 ( q p z + c p ) f 1 ( z ) ) + m ( r , f 2 ( q p z + c p ) f 2 ( z ) ) ) } .

Thus,

m ( r , Ω 1 ( r , f 1 , f 2 ) ) m ( r , a ( i ) ) + k = 1 2 max { i k 0 + i k 1 + + i k n } m ( r , f k ) + M + O { p = 1 n ( m ( r , f 1 ( q p z + c p ) f 1 ( z ) ) + m ( r , f 2 ( q p z + c p ) f 2 ( z ) ) ) } .
(13)

We will consider two cases as follows.

Case 1. If q=1 and ρ 2 ( f k )<1. By Lemma 2.2, since the coefficients a ( i ) (z) are small functions of f 1 , f 2 , and from (13) and the definitions of S(r,f), S 1 (r,f), we have

m ( r , Ω 1 ( z , f 1 , f 2 ) ) Γ 11 m(r, f 1 )+ Γ 12 m(r, f 2 )+M+o ( T ( r , f 1 ) + T ( r , f 2 ) ) ,rE,
(14)

where E is a set of finite logarithmic measure and Γ 11 , Γ 12 are as stated in Section 1.

Since q=1 and ρ 2 ( f k )<1, by Lemma 2.3 and Lemma 2.4, from (12), we have

N ( r , Ω 1 ( z , f 1 , f 2 ) ) ( i ) N(r, a ( i ) )+ k = 1 2 Γ 1 k N(r, f k )+o ( T ( r , f 1 ) + T ( r , f 2 ) ) +M
(15)

for all r outside of a possible exceptional set E of finite logarithmic measure. From (14) and (15), we get

T ( r , Ω 1 ( z , f 1 , f 2 ) ) k = 1 2 Γ 1 k T(r, f k )+M+o ( T ( r , f 1 ) + T ( r , f 2 ) )

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

Case 2. If q1 and ρ( f k )=0 for k=1,2. By using the same argument as in Case 1, from Lemma 2.6, Lemma 2.7 and Lemma 2.8, we can get

T ( r , Ω 1 ( z , f 1 , f 2 ) ) k = 1 2 Γ 1 k T(r, f k )+M+o ( T ( r , f 1 ) + T ( r , f 2 ) )

for all r on a set of logarithmic density 1. □

Lemma 2.10 ([[24], Lemma 4])

Suppose that a meromorphic function f has finite lower order λ. Then, for every constant c>1 and a given ε, there exists a sequence r n = r n (c,ε) such that

T(c r n ,f) c λ + ε T( r n ,f).

Lemma 2.11 ([25])

Let f(z) be a transcendental meromorphic function and p(z)= p k z k + p k 1 z k 1 ++ p 1 z+ p 0 be a complex polynomial of degree k>0. For given 0<δ<| p k |, let λ=| p k |+δ, μ=| p k |δ, then for given ε>0 and for r large enough,

(1ε)T ( μ r k , f ) T(r,fp)(1+ε)T ( λ r k , f ) .

Lemma 2.12 ([26, 27] or [5])

Let g:(0,+)R, h:(0,+)R be monotone increasing functions such that g(r)h(r) outside of an exceptional set E with finite linear measure, or g(r)h(r), rH(0,1], where H(1,) is a set of finite logarithmic measure. Then, for any α>1, there exists r 0 such that g(r)h(αr) for all r r 0 .

3 The proof of Theorem 1.9

From the assumptions of Theorem 1.9, we get that f 1 , f 2 are transcendental meromorphic functions.

Denote Ψ i (r)=max{T(r, a j i (z))|j=1,2,, s i }, i=1,2, and C=max{| c 1 |,| c 2 |,,| c n |}. Since T(r,f(z+c))(1+o(1))T(r+|c|,f)+M (Ref. [15]), by applying Lemma 2.1 to (6) and using the same argument as in Lemma 2.9, we have

(16)
(17)

for sufficiently large r and any given β i >1, ε i >0, i=1,2. By Lemma 2.11 and (16), (17), for θ i =|q| δ i (0< δ i <|q|, 0< θ i <1), i=1,2 and sufficiently large r, we get

s 1 ( 1 ε 1 ) T ( θ 1 r , f 1 ) n 1 ( 1 + ε 1 ) T ( β 1 r , f 2 ) , s 2 ( 1 ε 2 ) T ( θ 2 r , f 2 ) n 2 ( 1 + ε 2 ) T ( β 2 r , f 1 ) ,

outside of a possible exceptional set E 1 , E 2 of finite linear measure, respectively. From Lemma 2.12, for any given γ i >1 (i=1,2) and sufficiently large r, we can obtain

s 1 ( 1 ε 1 ) T ( θ 1 r , f 1 ) n 1 ( 1 + ε 1 ) T ( β 1 γ 1 r , f 2 ) , s 2 ( 1 ε 2 ) T ( θ 2 r , f 2 ) n 2 ( 1 + ε 2 ) T ( β 2 γ 2 r , f 1 ) ,

that is,

s 1 ( 1 ε 1 ) n 1 ( 1 + ε 1 ) T(r, f 1 )T ( β 1 γ 1 θ 1 r , f 2 ) , s 2 ( 1 ε 2 ) n 2 ( 1 + ε 2 ) T(r, f 2 )T ( β 2 γ 2 θ 2 r , f 1 ) .
(18)

Case 3.1 Since β i >1, γ i >1, 0< θ i <1, then we have β i γ i θ i >1, i=1,2. From (18), and by Lemma 2.10, for any given ε>0, there exists a sequence r n such that

s 1 ( 1 ε 1 ) n 1 ( 1 + ε 1 ) T ( r n , f 1 ) ( β 1 γ 1 θ 1 ) μ ( f 2 ) + ε T ( r n , f 2 ) , s 2 ( 1 ε 2 ) n 2 ( 1 + ε 2 ) T ( r n , f 2 ) ( β 2 γ 2 θ 2 ) μ ( f 1 ) + ε T ( r n , f 1 )

for r n > r 0 . From the above inequalities, we have

s 1 ( 1 ε 1 ) n 1 ( 1 + ε 1 ) s 2 ( 1 ε 2 ) n 2 ( 1 + ε 2 ) ( β 1 γ 1 θ 1 ) μ ( f 2 ) + ε ( β 2 γ 2 θ 2 ) μ ( f 1 ) + ε .
(19)

Thus, let ε 0, δ i 0, β i 1 and γ i 1 for i=1,2 and ε =max{ε, ε 1 , ε 2 }, since 0<|q|<1 and s 1 s 2 n 1 n 2 , from (19), we can get

μ( f 1 )+μ( f 2 ) log s 1 s 2 log n 1 n 2 log | q | .

Thus, (8) holds.

Case 3.2 Suppose that |q|>1. By using the same argument as above, we can get

s 1 ( 1 ε 1 ) T ( θ 1 r , f 1 ) n 1 ( 1 + ε 1 2 ) T ( r + C , f 2 ) + S ( r , f 2 ) , s 2 ( 1 ε 2 ) T ( θ 2 r , f 2 ) n 2 ( 1 + ε 2 2 ) T ( r + C , f 1 ) + S ( r , f 1 ) ,

where θ i =|q| δ i ( δ i >0 is chosen to be such that θ i >1), and r is sufficiently large. We can choose sufficiently small ε i >0 such that 1 θ i + ε i <1. Thus, it follows

outside of a possible exceptional set E i (i=1,2) of finite logarithmic measure, respectively.

Since n 1 n 2 s 1 s 2 , 1 θ i <1, i=1,2, and f 1 , f 2 are transcendental, by applying Lemma 3.1 in [17] and Lemma 2.12, for ε i 0 and δ i 0, we have

ρ( f 1 ) log n 1 n 2 log s 1 s 2 2 log | q | ,ρ( f 2 ) log n 1 n 2 log s 1 s 2 2 log | q | ,

which implies that (9) is true.

Case 3.3 q=1 and s 1 s 2 > n 1 n 2 . By using the same argument as in Case 3.1, we can get that μ( f 1 )+μ( f 2 ).

From Case 3.1, Case 3.2 and Case 3.3, the proof of Theorem 1.9 is completed.

4 Proofs of Theorems 1.7, 1.10 and 1.11

4.1 The proof of Theorem 1.7

Two cases will be considered as follows.

Case 4.1 Suppose that q=1 and ρ 2 (f)<1. By applying Lemma 2.1 and Lemma 2.9 for equation (5), we can get

max{s,t}T(r,f)( Γ 1 + Γ 2 )T(r,f)+O(1)+o ( T ( r , f ) )

for all r outside of a possible exceptional set E of finite logarithmic measure. From the above inequality, we have

max{s,t} Γ 1 + Γ 2 + O ( 1 ) + o ( T ( r , f ) ) T ( r , f )

for all r outside of a possible exceptional set E of finite logarithmic measure. Since f is transcendental, we can get

max{s,t} Γ 1 + Γ 2 .

Case 4.2 Suppose that q1 and ρ(f)=0. By using the same argument as in Case 4.1, we can get

max{s,t}T(r,f)( Γ 1 + Γ 2 )T(r,f)+O(1)+o ( T ( r , f ) )

for all r on a set of logarithmic density 1. Since f is transcendental, from the definition of logarithmic density, we can get

max{s,t} Γ 1 + Γ 2 .

Thus, this completes the proof of Theorem 1.7.

4.2 The proof of Theorem 1.10

Two cases will be considered to prove Theorem 1.10.

Case 4.3 If q=1 and ρ 2 ( f 1 , f 2 )<1. By applying Lemma 2.1 and Lemma 2.9 for the system of complex equations (7), and from the assumptions of Theorem 1.10, we have

(20)
(21)

where H 1 , H 2 are the sets of finite logarithmic measure. Since ( f 1 , f 2 ) is a transcendental meromorphic solution of (5), from (20) and (21), we have

(22)

for all r outside of a possible exceptional set H 3 = H 1 H 2 of finite logarithmic measure. Thus, from (22), we can get

[ max { s 1 , t 1 } Γ 11 ] [ max { s 2 , t 2 } Γ 22 ] Γ 12 Γ 21 .

Case 4.4 Suppose that q1 and ρ( f 1 , f 2 )=0. By using a similar method as that in Case 4.3, we have

max { s 1 , t 1 } T ( r , f 1 ) k = 1 2 Γ 1 k T ( r , f k ) + O ( 1 ) + o ( T ( r , f 1 ) + T ( r , f 2 ) ) , r F 1 , max { s 2 , t 2 } T ( r , f 2 ) k = 1 2 Γ 2 k T ( r , f k ) + O ( 1 ) + o ( T ( r , f 1 ) + T ( r , f 2 ) ) , r F 2 ,

where F 1 , F 2 are the sets of logarithmic density 0. Thus, we get

(23)

for all r outside of a possible exceptional set F 3 = F 1 F 2 of logarithmic density 0. Thus, from the definition of logarithmic density, we can get

[ max { s 1 , t 1 } Γ 11 ] [ max { s 2 , t 2 } Γ 22 ] Γ 12 Γ 21 .

Thus, the proof of Theorem 1.10 is completed.

4.3 The proof of Theorem 1.11

Two cases will be considered as follows.

Case 4.5 If q=1 and ρ 2 ( f 1 , f 2 )<1. Since all coefficients { a i 1 (z)}, { a i 2 (z)}, { b i 1 (z)}, { b i 2 (z)}, { a ( i ) (z)} and { b ( i ) (z)} are not necessarily small functions, by using the same argument as in Lemma 2.9, from Lemma 2.1, we have

(24)
(25)

where H 3 , H 4 are two sets of finite logarithmic measure, S(r) is as stated in Section 1.

Suppose that the component f 1 is admissible and f 2 is non-admissible, from (24) we have

max{ s 1 , t 1 } Γ 11 +o(1)+ Γ 12 T ( r , f 2 ) T ( r , f 1 ) + S ( r ) T ( r , f 1 )

for all r outside of a possible exceptional set of finite logarithmic measure. Thus, from Lemma 2.8, we have

max{ s 1 , t 1 } Γ 11

outside of a possible exceptional set E 3 = H 3 E 2 E 1 with finite logarithmic measure, which contradicts the assumptions of Theorem 1.11.

Suppose that the component f 2 is admissible and f 1 is non-admissible, from (25) we have

max{ s 2 , t 2 } Γ 22 +o(1)+ Γ 21 T ( r , f 1 ) T ( r , f 2 ) + S ( r ) T ( r , f 2 )

for all r outside of a possible exceptional set of finite logarithmic measure. Thus, from Lemma 2.8, we have

max{ s 2 , t 2 } Γ 22

outside of a possible exceptional set E 4 = H 4 E 2 E 1 with finite logarithmic measure, which contradicts the assumptions of Theorem 1.11.

Case 4.6 If q=1 and ρ( f 1 , f 2 )=0. By using the same argument as in Case 4.5, noting the definitions of logarithmic measure and logarithmic density, we can prove that the conclusion of Theorem 1.11 is true.

Thus, the proof of Theorem 1.11 is completed.

References

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

    MATH  Google Scholar 

  2. Yang L: Value Distribution Theory. Springer, Berlin; 1993.

    MATH  Google Scholar 

  3. Yi HX, Yang CC: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht; 2003. Chinese original: Science Press, Beijing (1995)

    MATH  Google Scholar 

  4. Barnett DC, Halburd RG, Korhonen RJ, Morgan W: Nevanlinna theory for the q -difference operator and meromorphic solutions of q -difference equations. Proc. R. Soc. Edinb., Sect. A, Math. 2007, 137: 457–474.

    Article  MathSciNet  MATH  Google Scholar 

  5. Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci., Ser. B 2011, 31(2):627–633.

    Article  MathSciNet  MATH  Google Scholar 

  6. 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 

  7. Heittokangas J, Korhonen RJ, Laine I, Rieppo J: Uniqueness of meromorphic functions sharing values with their shifts. Complex Var. Elliptic Equ. 2011, 56: 81–92. 10.1080/17476930903394770

    Article  MathSciNet  MATH  Google Scholar 

  8. Heittokangas J, Korhonen RJ, Laine I, Rieppo J, Zhang JL: Value sharing results for shifts of meromorphic functions, and sufficient conditions for periodicity. J. Math. Anal. Appl. 2009, 355: 352–363. 10.1016/j.jmaa.2009.01.053

    Article  MathSciNet  MATH  Google Scholar 

  9. Laine I, Rieppo J, Silvennoinen H: Remarks on complex difference equations. Comput. Methods Funct. Theory 2005, 5(1):77–88.

    Article  MathSciNet  MATH  Google Scholar 

  10. Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A 2007, 83: 148–151. 10.3792/pjaa.83.148

    Article  MathSciNet  MATH  Google Scholar 

  11. Liu K, Qi XG: Meromorphic solutions of q -shift difference equations. Ann. Pol. Math. 2011, 101: 215–225. 10.4064/ap101-3-2

    Article  MathSciNet  MATH  Google Scholar 

  12. Liu K, Yang LZ: Value distribution of the difference operator. Arch. Math. 2009, 92: 270–278. 10.1007/s00013-009-2895-x

    Article  MathSciNet  MATH  Google Scholar 

  13. Zhang JL, Korhonen RJ:On the Nevanlinna characteristic of f(qz) and its applications. J. Math. Anal. Appl. 2010, 369: 537–544. 10.1016/j.jmaa.2010.03.038

    Article  MathSciNet  MATH  Google Scholar 

  14. Halburd RG, Korhonen RJ: 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. Ablowitz MJ, Halburd RG, 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 

  16. Heittokangas J, Korhonen RJ, Laine I, Rieppo J, Tohge K: Complex difference equations of Malmquist type. Comput. Methods Funct. Theory 2001, 1(1):27–39.

    Article  MathSciNet  MATH  Google Scholar 

  17. Gundersen GG, Heittokangas J, Laine I, Rieppo J, Yang D: Meromorphic solutions of generalized Schröder equations. Aequ. Math. 2002, 63: 110–135. 10.1007/s00010-002-8010-z

    Article  MathSciNet  MATH  Google Scholar 

  18. Zheng XM, Chen ZX: Some properties of meromorphic solutions of q -difference equations. J. Math. Anal. Appl. 2010, 361: 472–480. 10.1016/j.jmaa.2009.07.009

    Article  MathSciNet  MATH  Google Scholar 

  19. Gao LY: Systems of complex difference equations of Malmquist type. Acta Math. Sin. 2012, 55: 293–300.

    MathSciNet  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  21. Halburd, RG, Korhonen, RJ, Tohge, K: Holomorphic curves with shift-invariant hyperplane preimages. arXiv:0903.3236v1

  22. Goldberg AA, Ostrovskii IV Translations of Mathematical Monographs. In Value Distribution of Meromorphic Functions. 2nd edition. Am. Math. Soc., Providence; 2008.

    Google Scholar 

  23. Zhang JL: Value distribution and shared sets of differences of meromorphic functions. J. Math. Anal. Appl. 2010, 367: 401–408. 10.1016/j.jmaa.2010.01.038

    Article  MathSciNet  MATH  Google Scholar 

  24. Barsegian GA: Gamma Lines: On the Geometry of Real and Complex Functions. Taylor & Francis, London; 2002.

    MATH  Google Scholar 

  25. Goldstein R: Some results on factorization of meromorphic functions. J. Lond. Math. Soc. 1971, 4(2):357–364. 10.1112/jlms/s2-4.2.357

    Article  MATH  Google Scholar 

  26. Bank S: A general theorem concerning the growth of solutions of first-order algebraic differential equations. Compos. Math. 1972, 25: 61–70.

    MathSciNet  MATH  Google Scholar 

  27. Gundersen GG: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc. 1988, 305: 415–429. 10.1090/S0002-9947-1988-0920167-5

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the referee for his/her valuable suggestions to improve the present article. This work was supported by the NSFC (11101201 and 61202313), the Natural Science Foundation of Jiang-Xi Province in China (Grant No. 2010GQS0119, No. 20122BAB201016 and No. 20122BAB201044) and the National Science and Technology Support Plan (2012BAH25F02).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hong-Yan Xu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

HYX completed the main part of this article, HYX, TBC and BXL corrected the main theorems. All authors 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

Xu, HY., Cao, TB. & Liu, BX. The growth of solutions of systems of complex q-shift difference equations. Adv Differ Equ 2012, 216 (2012). https://doi.org/10.1186/1687-1847-2012-216

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-216

Keywords