Open Access

Value distribution of q-difference differential polynomials of entire functions

Advances in Difference Equations20142014:80

https://doi.org/10.1186/1687-1847-2014-80

Received: 26 September 2013

Accepted: 18 February 2014

Published: 7 March 2014

Abstract

For a complex value q 0 , 1 , and a transcendental entire function f ( z ) with order, 0 < σ ( f ) < , we study the value distribution of q-difference differential polynomials [ f n ( z ) ( f ( q z ) f ( z ) ) ] ( k ) and [ f ( z ) f ( q z ) ] ( k ) .

MSC:30D35, 39A05.

Keywords

Nevanlinna theoryq-differenceentire functions

1 Introduction and main results

A meromorphic function f ( z ) means meromorphic in the complex plane . If no poles occur, then f ( z ) reduces to an entire function. For every real number x 0 , we define log + x : = max { 0 , log x } . Assume that n ( r , f ) counts the number of poles of f in | z | < r , each pole according to its multiplicity, and that n ¯ ( r , f ) counts the number of the distinct poles of f in | z | < r , ignoring the multiplicity. The characteristic function of f ( z ) is defined by
T ( r , f ) : = m ( r , f ) + N ( r , f ) ,
where
N ( r , f ) : = 0 r n ( t , f ) n ( 0 , f ) t d t + n ( 0 , f ) log r
and
m ( r , f ) : = 1 2 π 0 2 π log + | f ( r e i θ ) | d θ .

The notation N ¯ ( r , f ) is similarly defined with n ¯ ( r , f ) instead of n ( r , f ) . More notations and definitions of the Nevanlinna value distribution theory of meromorphic functions can be found in [1, 2].

A meromorphic function α ( z ) is called a small function with respect to f ( z ) , if T ( r , α ) = S ( r , f ) , where S ( r , f ) denotes any quantity satisfying S ( r , f ) = o ( T ( r , f ) ) as r outside a possible exceptional set E of finite logarithmic measure. The order and the exponent of convergence of zeros of meromorphic function f ( z ) is, respectively, defined as
σ ( f ) = lim sup r log T ( r , f ) log r , λ ( f ) = lim sup r log N ( r , 1 f ) log r .
The difference operators for a meromorphic function f ( z ) are defined as
Δ c f ( z ) = f ( z + c ) f ( z ) ( c 0 ) , q f ( z ) = f ( q z ) f ( z ) ( q 0 , 1 ) .

A Borel exceptional value of f ( z ) is any value a C { } satisfying λ ( f a ) < σ ( f ) , where λ ( f ) means λ ( 1 f ) .

Recently, the difference variant of the Nevanlinna theory has been established independently in [36]. Using these theories, value distributions of difference polynomials have been studied by many papers. For example, Laine and Yang [7] proved that if f ( z ) is a transcendental entire function of finite order, c is a nonzero complex constant and n 2 , then f n ( z ) f ( z + c ) takes every nonzero value infinitely often.

Chen [8] considered the value distribution of f ( z ) f ( z + c ) and obtained the following theorem.

Theorem A [[8], Corollary 1.3]

Let f ( z ) be a transcendental entire function of finite order, and let c be a nonzero complex constant. If f ( z ) has the Borel exceptional value 0, then H ( z ) = f ( z ) f ( z + c ) takes every nonzero value a C infinitely often.

Chen [9] considered zeros of difference product H n ( z ) = f n ( z ) Δ c f ( z ) and gave some conditions that guarantee H n ( z ) has finitely many zeros or infinitely many zeros.

Theorem B [[9], Theorem 1]

Let f ( z ) be a transcendental entire function of finite order and c C { 0 } be a constant such that f ( z + c ) f ( z ) . Set H n ( z ) = f n ( z ) Δ c f ( z ) where Δ c f ( z ) = f ( z + c ) f ( z ) , n 2 is an integer. Then the following statements hold.
  1. (1)

    If f ( z ) satisfies σ ( f ) 1 , or has infinitely many zeros, then H n ( z ) has infinitely many zeros.

     
  2. (2)

    If f ( z ) has only finitely many zeros and σ ( f ) = 1 , then H n ( z ) has only finitely many zeros.

     

The zero distribution of differential polynomials is a classical topic in the theory of meromorphic functions. Hayman [[10], Theorem 10] firstly considered the value distribution of f n f 1 , where f is a transcendental function.

Recently, Liu, Liu and Cao [11] investigated the zeros of [ f ( z ) n f ( z + c ) ] ( k ) α ( z ) and [ f ( z ) n Δ c f ( z ) ] ( k ) α ( z ) , where α ( z ) is a nonzero small function with respect to f ( z ) .

Theorem C [[11], Theorems 1.1 and 1.3]

Let f ( z ) be a transcendental entire function of finite order and α ( z ) be a nonzero small function with respect to f ( z ) . If n k + 2 , then [ f ( z ) n f ( z + c ) ] ( k ) α ( z ) has infinitely many zeros. If f ( z ) is not a periodic function with period c and n k + 3 , then [ f ( z ) n Δ c f ( z ) ] ( k ) α ( z ) has infinitely many zeros.

The main purpose of this paper is to consider a transcendental entire function f ( z ) with positive and finite order and obtain some results on the value distributions of the q-difference differential polynomials [ f n ( z ) ( f ( q z ) f ( z ) ) ] ( k ) and [ f ( z ) f ( q z ) ] ( k ) . The first theorem will consider what conditions guarantee that [ f n ( z ) q f ( z ) ] ( k ) has infinitely many zeros.

Theorem 1.1 Let f ( z ) be a transcendental entire function of finite and positive order σ ( f ) , q C { 0 , 1 } be a constant such that q σ ( f ) 1 and f ( z ) f ( q z ) . Set H ( z ) = [ f n ( z ) q f ( z ) ] ( k ) , n 1 is an integer. If f ( z ) has finitely many zeros, then H ( z ) α ( z ) has infinitely many zeros, where α ( z ) is a nonzero small entire function with respect to f ( z ) .

In the following, we will study the value distribution of [ f ( z ) f ( q z ) ] ( k ) .

Theorem 1.2 Let f ( z ) be a transcendental entire function of finite and positive order σ ( f ) , a be a finite Borel exceptional value of f ( z ) , q C { 0 , 1 } be a constant such that q σ ( f ) ± 1 . Set H ( z ) = [ f ( z ) f ( q z ) ] ( k ) , then the following statements hold.
  1. (1)

    If a = 0 , then 0 is also the Borel exceptional value of H ( z ) . So that H ( z ) has no nonzero finite Borel exceptional value.

     
  2. (2)

    If a 0 , then H ( z ) has no finite Borel exceptional value.

     
  3. (3)

    H ( z ) takes every nonzero value c C infinitely often and satisfies λ ( H c ) = σ ( f ) .

     

Using the similar method of the proof of Theorem 1.2(1), we get the following result immediately.

Corollary 1.1 Let f ( z ) be a transcendental entire function of finite and positive order σ ( f ) , q C { 0 , 1 } be a constant such that q σ ( f ) n . If 0 is a Borel exceptional value of f ( z ) , then 0 is also the Borel exceptional value of [ f n ( z ) f ( q z ) ] ( k ) .

2 Some lemmas

The following are the well-known Weierstrass factorization and Hadamard factorization theorems.

Lemma 2.1 [12]

If an entire function f ( z ) has a finite exponent of convergence λ ( f ) for its zero-sequence, then f ( z ) has a representation in the form
f ( z ) = Q ( z ) e g ( z ) ,

satisfying λ ( Q ) = σ ( Q ) = λ ( f ) . Further, if f ( z ) is of finite order, then g ( z ) in the above form is a polynomial of degree less or equal to the order of f ( z ) .

Lemma 2.2 [13]

Suppose that f 1 ( z ) , f 2 ( z ) , , f n ( z ) ( n 2 ) are meromorphic functions and g 1 ( z ) , g 2 ( z ) , , g n ( z ) are entire functions satisfying the following conditions:
  1. (1)

    j = 1 n f j ( z ) e g j ( z ) 0 ;

     
  2. (2)

    g j ( z ) g k ( z ) are not constants for 1 j < k n ;

     
  3. (3)

    For 1 j n , 1 h < k n , T ( r , f j ) = o ( T ( r , e g h g k ) ) ( r , r E ).

     

Then f j ( z ) 0 ( j = 1 , 2 , , n ).

3 The proofs

3.1 Proof of Theorem 1.1

Since f ( z ) is a transcendental entire function of finite order and has finitely many zeros, then by Lemma 2.1, f ( z ) can be written as
f ( z ) = g ( z ) e h ( z ) ,
where g ( z ) (0), h ( z ) are polynomials. Set
h ( z ) = a s z s + + a 0 ,
where a s , a s 1 , , a 0 are constants, and a s 0 . Since σ ( f ) 0 , then σ ( f ) = deg ( h ( z ) ) = s 1 . So
H ( z ) = [ f n ( z ) q f ( z ) ] ( k ) = [ g n ( z ) g ( q z ) e n h ( z ) + h ( q z ) g n + 1 ( z ) e ( n + 1 ) h ( z ) ] ( k ) = g 1 ( z ) e n h ( z ) + h ( q z ) g 2 ( z ) e ( n + 1 ) h ( z ) ,
where g 1 ( z ) , g 2 ( z ) are nonzero polynomials and
( n + 1 ) h ( z ) ( n h ( z ) + h ( q z ) ) = ( 1 q s ) a s z s + ( 1 q s 1 ) a s 1 z s 1 + + ( 1 q ) a 1 z .
Since q σ ( f ) = q s 1 , then ( n + 1 ) h ( z ) ( n h ( z ) + h ( q z ) ) is not a constant. So H ( z ) is a transcendental entire function, suppose that H ( z ) α ( z ) has finitely many zeros, then by Lemma 2.1, H ( z ) α ( z ) can be written as
H ( z ) α ( z ) = g 3 ( z ) e h 1 ( z ) .
Here g 3 ( z ) (0), h 1 ( z ) are polynomials. Combing the above equalities, we obtain
g 1 ( z ) e n h ( z ) + h ( q z ) g 2 ( z ) e ( n + 1 ) h ( z ) g 3 ( z ) e h 1 ( z ) α ( z ) = 0 .
(3.1)
Note that ( n + 1 ) h ( z ) ( n h ( z ) + h ( q z ) ) is not a constant and g 1 ( z ) , g 2 ( z ) , g 3 ( z ) are nonzero polynomials. If ( n h ( z ) + h ( q z ) ) h 1 ( z ) and ( n + 1 ) h ( z ) h 1 ( z ) are not constants, then by (3.1) and Lemma 2.2, we obtain
g 1 ( z ) 0 , g 2 ( z ) 0 , g 3 ( z ) 0 , α ( z ) 0 .

This is a contradiction.

If ( n h ( z ) + h ( q z ) ) h 1 ( z ) = c , where c is a constant, then (3.1) can be rewritten as
( g 1 ( z ) e c g 3 ( z ) ) e n h ( z ) + h ( q z ) g 2 ( z ) e ( n + 1 ) h ( z ) α ( z ) = 0 .
(3.2)
By (3.2) and Lemma 2.2, we obtain
g 1 ( z ) e c g 3 ( z ) 0 , g 2 ( z ) 0 , α ( z ) 0 .

This is a contradiction.

If ( n + 1 ) h ( z ) h 1 ( z ) = c , where c is a constant, then using the same method as above, we also obtain a contradiction.

Hence H ( z ) α ( z ) has infinitely many zeros.

3.2 Proof of Theorem 1.2

Since f ( z ) is a transcendental entire function of finite and positive order with a Borel exceptional value a, then by Lemma 2.1, f ( z ) can be written as
f ( z ) = a + g ( z ) e α z s .
Here s is a positive integer, α is a nonzero constant, g ( z ) is a nonzero entire function satisfying σ ( g ) < σ ( f ) = s , thus
f ( z ) f ( q z ) = ( a + g ( z ) e α z s ) ( a + g ( q z ) e α q s z s ) = a 2 + a g ( q z ) e α q s z s + a g ( z ) e α z s + g ( z ) g ( q z ) e α ( 1 + q s ) z s .
Since q σ ( f ) = q s ± 1 , g ( z ) is a nonzero entire function satisfying σ ( g ) < s , f ( z ) f ( q z ) is a transcendental entire function and σ ( f ( z ) f ( q z ) ) = s , and by the classical result of Nevanlinna theory, we get σ ( H ) = σ ( f ( z ) f ( q z ) ) = s . Then
H ( z ) = [ f ( z ) f ( q z ) ] ( k ) = [ a 2 + a g ( q z ) e α q s z s + a g ( z ) e α z s + g ( z ) g ( q z ) e α ( 1 + q s ) z s ] ( k ) = g 1 ( z ) e α q s z s + g 2 ( z ) e α z s + g 3 ( z ) e α ( 1 + q s ) z s .

Here g 1 ( z ) , g 2 ( z ) , g 3 ( z ) are differential polynomials of g ( z ) , g ( q z ) and σ ( g i ( z ) ) < s , i = 1 , 2 , 3 .

Case 1. a = 0 , by the above equality, we get
H ( z ) = g 3 ( z ) e α ( 1 + q s ) z s .

Since q σ ( f ) = q s 1 and σ ( g 3 ( z ) ) < s , this implies that 0 is the Borel exceptional value of H ( z ) .

Case 2. a 0 , suppose H ( z ) has a finite Borel exceptional value b, then by Lemma 2.1, H ( z ) can be written as
H ( z ) = b + h ( z ) e β z s .
Here β is a nonzero constant, h ( z ) is a nonzero entire function satisfying σ ( h ) < σ ( H ) = s . Combing the above equalities, we obtain
g 1 ( z ) e α q s z s + g 2 ( z ) e α z s + g 3 ( z ) e α ( 1 + q s ) z s h ( z ) e β z s b = 0 .
(3.3)

Since q σ ( f ) = q s ± 1 , we have α q s α α ( 1 + q s ) .

If α q s β , α β , α ( 1 + q s ) β . By (3.3) and Lemma 2.2, we obtain
g 1 ( z ) 0 , g 2 ( z ) 0 , g 3 ( z ) 0 , h ( z ) 0 , b 0 .

This is a contradiction.

If α q s = β , then (3.3) can be rewritten as
( g 1 ( z ) h ( z ) ) e α q s z s + g 2 ( z ) e α z s + g 3 ( z ) e α ( 1 + q s ) z s b = 0 .
(3.4)
By (3.4) and Lemma 2.2, we obtain
g 1 ( z ) h ( z ) 0 , g 2 ( z ) 0 , g 3 ( z ) 0 , b 0 .

Which is a contradiction.

If α = β or α ( 1 + q s ) = β , then using the same method as above, we also obtain a contradiction.

Case 3. From Case 1 and Case 2, we get that if f ( z ) has a finite Borel exceptional value, then any nonzero finite value c must not be the Borel exceptional value of H ( z ) , so H ( z ) takes every nonzero value c C infinitely often, since σ ( H ) = s , then λ ( H c ) = σ ( H ) = σ ( f ) .

The proof of Theorem 1.2 is completed.

Declarations

Acknowledgements

This research was partly supported by the NSFC (no. 11101201, 11301260), Foundation of Post Ph.D. of Jiangxi, the NSF of Jiangxi (no. 20122BAB211001, 20132BAB211003) and NSF of education department of Jiangxi (no. GJJ13077, GJJ13078) of China.

Authors’ Affiliations

(1)
Department of Mathematics, Nanchang University

References

  1. Hayman W: Meromorphic Functions. Clarendon, Oxford; 1964.Google Scholar
  2. Yang L: Value Distribution Theory. Science Press, Beijing; 1982. Springer, Berlin (1993)Google Scholar
  3. 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 2007, 137: 457–474.MathSciNetView ArticleGoogle Scholar
  4. Chiang YM, Feng SJ:On the Nevanlinna characteristic f ( z + η ) and difference equations in the complex plane. Ramanujan J. 2008, 16: 105–129. 10.1007/s11139-007-9101-1MathSciNetView ArticleGoogle Scholar
  5. Halburd RG, Korhonen RJ: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 2006, 31: 463–478.MathSciNetGoogle Scholar
  6. 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 ArticleGoogle Scholar
  7. Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A, Math. Sci. 2007, 83: 148–151. 10.3792/pjaa.83.148MathSciNetView ArticleGoogle Scholar
  8. Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci. 2011, 31B(2):627–633.MathSciNetGoogle Scholar
  9. Chen ZX: Value distribution of products of meromorphic functions and their differences. Taiwan. J. Math. 2011, 15: 1411–1421.Google Scholar
  10. Hayman WK: Picard values of meromorphic functions and their derivatives. Ann. Math. 1959, 70: 9–42. 10.2307/1969890MathSciNetView ArticleGoogle Scholar
  11. Liu K, Liu XL, Cao TB: Some results on zeros and uniqueness of difference-differential polynomials. Appl. Math. J. Chin. Univ. Ser. B 2012, 27: 94–104. 10.1007/s11766-012-2795-xMathSciNetView ArticleGoogle Scholar
  12. Ash R: Complex Variables. Academic Press, New York; 1971.Google Scholar
  13. Yi HX, Yang CC: Uniqueness Theory of Meromorphic Functions. Science Press, Beijing; 1995. Kluwer Academic, Dordrecht (2003)Google Scholar

Copyright

© Xu et al.; licensee Springer. 2014

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