Open Access

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

Advances in Difference Equations20122012:216

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

Received: 4 July 2012

Accepted: 27 November 2012

Published: 17 December 2012

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.

Keywords

q-shiftdifference equationtranscendental meromorphic function

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 d t .

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 ( c z ) = 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 c 0 ( | 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 } = σ ,

q C { 0 } , | q | > 1 , d 2 , and all coefficients of (3) are of growth S ( r , f ) . If d = max { s , t } > 2 n σ , 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 ( c z + η ) = 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 : = s t , 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)

    q 1 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 = 2 log 2 , c 2 = 3 log 2 , q = 1 and η = 2 log 2 .

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)

    q 1 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)

    q 1 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 ) ) ) = d T ( 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 ) and N ( 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 ( q z + 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 q C { 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 q 1 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 ( q z + 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 ( q z + 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 ) ) , r E ,
(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 q 1 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 , f p ) ( 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 ) , r H ( 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 q 1 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 q 1 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.

Declarations

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

Authors’ Affiliations

(1)
Department of Informatics and Engineering, Jingdezhen Ceramic Institute
(2)
Department of Mathematics, Nanchang University

References

  1. Hayman WK: Meromorphic Functions. Clarendon, Oxford; 1964.MATHGoogle Scholar
  2. Yang L: Value Distribution Theory. Springer, Berlin; 1993.MATHGoogle Scholar
  3. Yi HX, Yang CC: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht; 2003. Chinese original: Science Press, Beijing (1995)MATHGoogle 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.MathSciNetView ArticleMATHGoogle Scholar
  5. Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci., Ser. B 2011, 31(2):627–633.MathSciNetView ArticleMATHGoogle 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-1MathSciNetView ArticleMATHGoogle 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/17476930903394770MathSciNetView ArticleMATHGoogle 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.053MathSciNetView ArticleMATHGoogle Scholar
  9. Laine I, Rieppo J, Silvennoinen H: Remarks on complex difference equations. Comput. Methods Funct. Theory 2005, 5(1):77–88.MathSciNetView ArticleMATHGoogle Scholar
  10. Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A 2007, 83: 148–151. 10.3792/pjaa.83.148MathSciNetView ArticleMATHGoogle Scholar
  11. Liu K, Qi XG: Meromorphic solutions of q -shift difference equations. Ann. Pol. Math. 2011, 101: 215–225. 10.4064/ap101-3-2MathSciNetView ArticleMATHGoogle Scholar
  12. Liu K, Yang LZ: Value distribution of the difference operator. Arch. Math. 2009, 92: 270–278. 10.1007/s00013-009-2895-xView ArticleMathSciNetMATHGoogle Scholar
  13. Zhang JL, Korhonen RJ:On the Nevanlinna characteristic of f ( q z ) and its applications. J. Math. Anal. Appl. 2010, 369: 537–544. 10.1016/j.jmaa.2010.03.038MathSciNetView ArticleMATHGoogle 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.010MathSciNetView ArticleMATHGoogle 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/321MathSciNetView ArticleMATHGoogle 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.MathSciNetView ArticleMATHGoogle 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-zMathSciNetView ArticleMATHGoogle 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.009MathSciNetView ArticleMATHGoogle Scholar
  19. Gao LY: Systems of complex difference equations of Malmquist type. Acta Math. Sin. 2012, 55: 293–300.MathSciNetMATHGoogle Scholar
  20. Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.View ArticleMATHGoogle Scholar
  21. Halburd, RG, Korhonen, RJ, Tohge, K: Holomorphic curves with shift-invariant hyperplane preimages. arXiv:0903.3236v1Google Scholar
  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.038MathSciNetView ArticleMATHGoogle Scholar
  24. Barsegian GA: Gamma Lines: On the Geometry of Real and Complex Functions. Taylor & Francis, London; 2002.MATHGoogle 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.357View ArticleMATHGoogle Scholar
  26. Bank S: A general theorem concerning the growth of solutions of first-order algebraic differential equations. Compos. Math. 1972, 25: 61–70.MathSciNetMATHGoogle 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-5MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Xu et al.; licensee Springer 2012

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