Skip to main content

Theory and Modern Applications

Existence and growth of meromorphic solutions of some nonlinear q-difference equations

Abstract

In this paper, we investigate the existence of transcendental meromorphic solutions of order zero of some nonlinear q-difference equations and some more general equations. We also give some estimates on the growth of transcendental meromorphic solutions of these equations. Some examples are given to illustrate the sharpness of some of our results.

MSC:30D35, 39B32.

1 Introduction and main results

In this paper, a meromorphic function means being meromorphic in the whole complex plane. We also assume that the readers are familiar with the usual notations of Nevanlinna theory (see, e.g., [13]). Especially, we use notations σ(f) and μ(f) for the order and the lower order of a meromorphic function f. We also denote by S(r,f) any quantity satisfying S(r,f)=o(T(r,f)) for all r outside of a possible exceptional set of finite logarithmic measure. Moreover, the standard definitions of logarithmic measure and logarithmic density can be found in [4].

In last two decades, there has been a renewed interest in the complex analytic properties of complex differences and meromorphic solutions of complex difference equations owing to the introduction of Nevanlinna theory in this field. And the study of complex q-differences and q-difference equations is an important component of the study of complex differences and difference equations.

The original study of complex nonlinear q-difference equations can be derived from the study of the nonautonomous Schröder equation

f(qz)=R ( z , f ( z ) )
(1.1)

by Valiron [5], which is closely related to the equations in complex dynamic systems. Indeed, Ritt [6] is an earlier classical paper on the autonomous Schröder equation

f(qz)=R ( f ( z ) ) .

And in the important collection [7] of research problems, Rubel posed the question: What can be said about the more general equation (1.1)?

Recently, a number of papers (including [823]) focus on complex differences and complex q-differences. These papers also investigate the existence and the growth of meromorphic solutions of complex difference equations and complex q-difference equations.

In particular, Yang-Laine [21] pointed out some similarities between results on the existence and uniqueness of finite order entire solutions of the nonlinear differential equations and differential-difference equations. They obtained the following results.

Theorem A Let p(z), q(z) be polynomials. Then a nonlinear difference equation

f 2 (z)+q(z)f(z+1)=p(z)
(1.2)

has no transcendental entire solutions of finite order.

Theorem B Let n4 be an integer, M(z,f) be a linear differential-difference polynomial of f, not vanishing identically, and h be a meromorphic function of finite order. Then the differential-difference equation

f n (z)+M(z,f)=h(z)
(1.3)

possesses at most one admissible transcendental entire solution of finite order such that all coefficients of M(z,f) are small functions of f. If such a solution f exists, then f is of the same order as h.

Some generalizations of Theorems A and B can be found in Peng-Chen [19], and we omit those results here.

In this paper, we consider a similar problem on the existence and the growth of transcendental meromorphic solutions of complex q-difference equations (resp. differential-q-difference equations) instead of complex difference equation (1.2) (resp. differential-difference equation (1.3)). And the involved equations are more general than (1.1). Moreover, the fact that all meromorphic solutions of the Riccati q-difference equation and linear q-difference equation, both with rational coefficients, are of order zero, shows that it is of great importance to investigate meromorphic solutions of order zero of q-difference equations.

Theorem 1.1 Let s(z) (0), t(z) be rational functions, qC{0,1}, and n, m be positive integers such that nm.

  1. (i)

    If n>m, then the nonlinear q-difference equation

    f n (z)+s(z)f(qz)f ( q 2 z ) f ( q m z ) =t(z)
    (1.4)

has no transcendental meromorphic solutions of order zero. Furthermore, when |q|>1, if there exists a transcendental meromorphic solution f of positive order of (1.4), then

σ(f)μ(f) log n log m m log | q | .
  1. (ii)

    If n<m, then nonlinear q-difference equation (1.4) has no transcendental entire solutions of order zero.

Corollary 1.1 Let s(z) (0), t(z) be rational functions, qC{0,1}, and n2 be an integer. Then the nonlinear q-difference equation

f n (z)+s(z)f(qz)=t(z)
(1.5)

has no transcendental meromorphic solutions of order zero. Furthermore, when |q|>1, if there exists a transcendental meromorphic solution f of positive order of (1.5), then

σ(f)=μ(f)= log n log | q | .

Remark 1.1 Wittich [24] and Ishizaki [18] had earlier treated equation (1.5) of the case n=1, which is the first order linear q-difference equation.

Remark 1.2 Equation (1.4) may have meromorphic solutions of order zero, when n=m. For example, the function

f(z)= 1 i = 0 ( 1 q i z ) ,0<|q|<1

is a transcendental meromorphic function of order zero (see Ramis [20]), and it satisfies the nonlinear q-difference equation

f 2 (z) 1 ( 1 z ) 2 ( 1 q z ) f(qz)f ( q 2 z ) =0,

where n=m=2.

Remark 1.3 Equations (1.4) and (1.5) may have meromorphic solutions of positive orders, when |q|>1. For example, the function

f(z)= e z 2 z

satisfies the nonlinear q-difference equation

f 20 (z) 8 z 18 f(2z)f(4z)=0,

where n=20>2=m, q=2 and σ(f)=μ(f)=2> log 4 10= log n log m m log | q | . And the function

f(z)= cos z z

satisfies the nonlinear q-difference equation

f 2 (z) 1 z f(2z)= 1 2 z 2 ,

where n=2, q=2 and σ(f)=μ(f)=1= log n log | q | . The above two examples show that the estimates on the growth of meromorphic solutions of equations (1.4) and (1.5) are sharp.

In the following, we consider the existence of entire solutions of order zero of a type of differential-q-difference equation, which includes equations (1.4) and (1.5) as its special cases. We define a differential-q-difference polynomial in f, which is a finite sum of products of f, derivatives of f and of their q-shifts, with all meromorphic coefficients of these monomials of growth S(r,f). Concretely, we denote a differential-q-difference polynomial in f by

U q (z,f)= λ J b λ (z) i = 1 k λ f ( i ) ( z ) m λ , i j = 1 l λ f ( j ) ( q μ λ , j z ) n λ , j ,

where J is a finite set of indices, b λ (z), λJ are meromorphic functions of growth S(r,f), and qC{0,1}. And we denote the degree of U q (z,f) by

deg f U q (z,f)= max λ J { i = 1 k λ m λ , i + j = 1 l λ n λ , j } .

In particular, if each monomial of U q (z,f) is of the same degree, then we call U q (z,f) a homogeneous differential-q-difference polynomial in f.

Theorem 1.2 Let n, m be integers such that n>2m>0, U q (z,f) (0) be a homogeneous differential-q-difference polynomial in f of degree m, with all meromorphic coefficients of growth S(r,f), and t(z) be a rational function. Then the differential-q-difference equation

f n (z)+ U q (z,f)=t(z)
(1.6)

has no transcendental entire solutions of order zero.

Corollary 1.2 Let n3 be an integer, U q (z,f) (0) be a linear differential-q-difference polynomial in f, with all meromorphic coefficients of growth S(r,f), and t(z) be a rational function. Then differential-q-difference equation (1.6) has no transcendental entire solutions of order zero.

Corollary 1.3 Let s j (z), j=1,,m+1 be rational functions, not all vanishing identically, qC{0,1}, and let n (≥3), m be positive integers. Then the nonlinear q-difference equation

f n (z)+ j = 1 m s j (z)f ( q j z ) = s m + 1 (z)
(1.7)

has no transcendental entire solutions of order zero. Furthermore, if n>m, then nonlinear q-difference equation (1.7) has no transcendental meromorphic solutions of order zero, and any transcendental meromorphic solution f of positive order of (1.7) satisfies σ(f)μ(f) log n log m m log | q | .

Remark 1.4 The results concerning the existence of meromorphic solutions of order zero in Theorem 1.1(i) and Corollary 1.1 are not only special cases of Theorem 1.2 and Corollary 1.2 respectively, but also more precise.

Remark 1.5 Clearly, equations (1.4)-(1.7) can have rational solutions.

2 Preliminary lemmas

Lemma 2.1 (See [22])

Let f be a non-constant zero-order meromorphic function and qC{0}. Then

T ( r , f ( q z ) ) = ( 1 + o ( 1 ) ) T(r,f)

on a set of lower logarithmic density 1.

The following two lemmas can be seen as special cases of [[23], Theorem 3]. In fact, the present versions we give here are more precise than the original one. To facilitate the readers, we give the corresponding proofs here.

Lemma 2.2 Suppose that f is a transcendental meromorphic solution of the equation

f(qz)f ( q 2 z ) f ( q m z ) = a 0 ( z ) + a 1 ( z ) f ( z ) + + a p ( z ) f ( z ) p b 0 ( z ) + b 1 ( z ) f ( z ) + + b t ( z ) f ( z ) t ,
(2.1)

where qC, |q|>1 and all meromorphic coefficients are of growth S(r,f). If d=max{p,t}>m, then for sufficiently large r,

T(r,f)K ( d m ) log r m log | q | ,

where K (>0) is a constant. Thus, the lower order of f satisfies μ(f) log d log m m log | q | .

Proof We will use the observation (see [[10], p.249]) as

T ( r , f ( q j z ) ) =T ( | q | j r , f ) +O(1).
(2.2)

Noting that |q|>1, by (2.1), (2.2) and Valiron-Mohon’ko theorem (see [[2], Theorem 2.2.5 and Corollary 2.2.7]), we have that for any given ε (0<ε< d m d + m ),

d ( 1 ε ) T ( r , f ) d T ( r , f ) + S ( r , f ) j = 1 m T ( r , f ( q j z ) ) + S ( r , f ) j = 1 m T ( | q | j r , f ) + S ( r , f ) m ( 1 + ε ) T ( | q | m r , f ) ,
(2.3)

outside of a possible exceptional set of finite logarithmic measure. We apply [[2], Lemma 1.1.1] to deal with the exceptional set here. It follows by (2.3) that for any given α>1, there exists an r 0 >0 such that

d(1ε)T(r,f)m(1+ε)T ( α | q | m r , f )

holds for all r r 0 . Hence,

T ( α | q | m r , f ) d ( 1 ε ) m ( 1 + ε ) T(r,f),r r 0 .
(2.4)

Inductively, for any kN, we have by (2.4) that

T ( ( α | q | m ) k r , f ) ( d ( 1 ε ) m ( 1 + ε ) ) k T(r,f),r r 0 .
(2.5)

For sufficiently large s, there exists a kN such that

s[ ( α | q | m ) k r 0 , ( α | q | m ) k + 1 r 0 ), i.e. k> log s log ( α | q | m r 0 ) log ( α | q | m ) .
(2.6)

We have by (2.5)-(2.6) that

T(s,f)T ( ( α | q | m ) k r 0 , f ) ( d ( 1 ε ) m ( 1 + ε ) ) log s log log ( α | q | m r 0 ) log ( α | q | m ) T( r 0 ,f).
(2.7)

Letting ε0 and α1, we have by (2.7) that

T(s,f) ( d m ) log s log ( | q | m r 0 ) m log | q | T( r 0 ,f)=K ( d m ) log s m log | q | ,

where K= ( d m ) log ( | q | m r 0 ) m log | q | T( r 0 ,f) (>0) is a constant. Thus, we get μ(f) log d log m m log | q | . □

Lemma 2.3 Suppose that f is a transcendental meromorphic solution of the equation

j = 1 m s j (z)f ( q j z ) = a 0 ( z ) + a 1 ( z ) f ( z ) + + a p ( z ) f ( z ) p b 0 ( z ) + b 1 ( z ) f ( z ) + + b t ( z ) f ( z ) t ,
(2.8)

where qC, |q|>1 and all meromorphic coefficients are of growth S(r,f). If d=max{p,t}>m, then for sufficiently large r,

T(r,f)K ( d m ) log r m log | q | ,

where K (>0) is a constant. Thus, the lower order of f satisfies μ(f) log d log m m log | q | .

Proof Note that (2.3) holds for both (2.1) and (2.8), then the proof of Lemma 2.3 is similar to that of Lemma 2.2. □

Lemma 2.4 (See [9])

Let f be a non-constant zero-order meromorphic function and qC{0}. Then

m ( r , f ( q z ) f ( z ) ) =o ( T ( r , f ) )

on a set of logarithmic density 1.

Lemma 2.5 (See [14])

Suppose that f is a transcendental meromorphic solution of an equation of the form (1.1) with |q|>1 and meromorphic coefficients of growth S(r,f). Then we have that

σ(f)= log d log | q | ,

where d= deg f R.

3 Proofs of Theorem 1.1 and Corollary 1.1

3.1 Proof of Theorem 1.1

  1. (i)

    Suppose that f(z) is a transcendental meromorphic solution of order zero of (1.4). It follows by (1.4) and Lemma 2.1 that

    n T ( r , f ) = T ( r , f n ) = T ( r , t ( z ) s ( z ) f ( q z ) f ( q 2 z ) f ( q m z ) ) j = 1 m T ( r , f ( q j z ) ) + T ( r , t ) + T ( r , s ) m ( 1 + o ( 1 ) ) T ( r , f ) + O ( log r ) = m ( 1 + o ( 1 ) ) T ( r , f )
    (3.1)

on a set of lower logarithmic density 1. It is clear that (3.1) is a contradiction since n>m. Thus, (1.4) has no transcendental meromorphic solutions of order zero if n>m.

Furthermore, when |q|>1, we can transform (1.4) into

f(qz)f ( q 2 z ) f ( q m z ) = t ( z ) f n ( z ) s ( z ) .
(3.2)

By (3.2) and Lemma 2.2, we have

σ(f)μ(f) log n log m m log | q | .
  1. (ii)

    Suppose that f(z) is a transcendental entire solution of order zero of (1.4). By (3.2) and Lemmas 2.1, 2.4, we have

    m T ( r , f ) = m m ( r , f ) = m ( r , f m ) m ( r , f m f ( q z ) f ( q 2 z ) f ( q m z ) ) + m ( r , f ( q z ) f ( q 2 z ) f ( q m z ) ) j = 1 m m ( r , f ( z ) f ( q j z ) ) + m ( r , t f n s ) j = 1 m o ( T ( r , f ( q j z ) ) ) + m ( r , f n ) + O ( log r ) = n ( 1 + o ( 1 ) ) T ( r , f )
    (3.3)

on a set of logarithmic density 1. It is clear that (3.3) is a contradiction since n<m. Thus, (1.4) has no transcendental meromorphic solutions of order zero if n<m.

3.2 Proof of Corollary 1.1

Since n2>1=m, we immediately know by Theorem 1.1(i) that (1.5) has no transcendental meromorphic solutions of order zero. And when |q|>1, if there is a transcendental meromorphic solution f of positive order of (1.5), then we have

σ(f)μ(f) log n log | q | .

On the other hand, we have by (1.5) and Lemma 2.5 that σ(f)= log n log | q | . Thus, f has a regular order

σ(f)=μ(f)= log n log | q | .

4 Proofs of Theorem 1.2 and Corollaries 1.2, 1.3

4.1 Proof of Theorem 1.2

Suppose that f(z) is a transcendental entire solution of order zero of (1.6). It follows by (1.6) that

f n m (z)= t ( z ) f m ( z ) U q ( z , f ) f m ( z ) .
(4.1)

Noting that U q (z,f) is a homogeneous differential-q-difference polynomial in f of degree m, by the logarithmic derivative lemma, Lemma 2.4 and (4.1), we have

( n m ) T ( r , f ) = m ( r , f n m ) m ( r , t f m ) + m ( r , U q ( z , f ) f m ) m T ( r , f ) + o ( T ( r , f ) )
(4.2)

on a set of logarithmic density 1. It is clear that (4.2) is a contradiction since n>2m. Thus, (1.6) has no transcendental entire solution of order zero if n>2m.

4.2 Proof of Corollary 1.2

Since U q (z,f) is a linear differential-q-difference polynomial in f, the degree of U q (z,f) is m=1. Thus, by n3>2=2m, we immediately know by Theorem 1.2 that (1.6) has no transcendental entire solutions of order zero.

4.3 Proof of Corollary 1.3

The first part result of Corollary 1.3 is a special case of Corollary 1.2. The second part result of Corollary 1.3 can be proved similarly to Theorem 1.1(i) by replacing Lemma 2.2 with Lemma 2.3.

References

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

    Google Scholar 

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

    Book  Google Scholar 

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

    Google Scholar 

  4. Hayman WK: On the characteristic of functions meromorphic in the plane and of their integrals. Proc. Lond. Math. Soc. 1965, s3-14A(1):93-128. 10.1112/plms/s3-14A.1.93

    Article  MathSciNet  Google Scholar 

  5. Valiron G: Fonctions Analytiques. Press Univ. de France, Paris; 1954.

    Google Scholar 

  6. Ritt J: Transcendental transcendency of certain functions of Poincaré. Math. Ann. 1925/26, 95(1):671-682.

    Article  MathSciNet  Google Scholar 

  7. Rubel L: Some research problems about algebraic differential equations. Trans. Am. Math. Soc. 1983, 280(1):43-52. 10.1090/S0002-9947-1983-0712248-1

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. Barnett D, Halburd R, Korhonen R, Morgan W: Nevanlinna theory for the q -difference operator and meromorphic solutions of q -difference equations. Proc. R. Soc. Edinb. A 2007, 137(3):457-474.

    Article  MathSciNet  Google Scholar 

  10. Bergweiler W, Ishizaki K, Yanagihara N: Meromorphic solutions of some functional equations. Methods Appl. Anal. 1998, 5(3):248-259. (Correction: Methods Appl. Anal. 6(4), 617-618 (1999))

    MathSciNet  Google Scholar 

  11. Bergweiler W, Langley JK: Zeros of differences of meromorphic functions. Math. Proc. Camb. Philos. Soc. 2007, 142(1):133-147. 10.1017/S0305004106009777

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  14. Gundersen G, Heittokangas J, Laine I, Rieppo J, Yang DG: Meromorphic solutions of generalized Schröder equations. Aequ. Math. 2002, 63(1-2):110-135. 10.1007/s00010-002-8010-z

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  16. Halburd RG, Korhonen RJ: Finite-order meromorphic solutions and the discrete Painlevé equations. Proc. Lond. Math. Soc. 2007, 94(2):443-474.

    Article  MathSciNet  Google Scholar 

  17. Halburd RG, Korhonen RJ: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 2006, 31(2):463-478.

    MathSciNet  Google Scholar 

  18. Ishizaki K: Hypertranscendency of meromorphic solutions of a linear functional equation. Aequ. Math. 1998, 56(3):271-283. 10.1007/s000100050062

    Article  MathSciNet  Google Scholar 

  19. Peng CW, Chen ZX: Property of meromorphic solutions of certain nonlinear differential and difference equations. J. South China Norm. Univ. 2012, 44(1):24-28. (in Chinese)

    MathSciNet  Google Scholar 

  20. Ramis JP: About the growth of entire functions solutions of linear algebraic q -difference equations. Ann. Fac. Sci. Toulouse 1992, 1(1):155-160.

    Article  MathSciNet  Google Scholar 

  21. Yang CC, Laine I: On analogies between nonlinear difference and differential equations. Proc. Jpn. Acad., Ser. A, Math. Sci. 2010, 86(1):10-14. 10.3792/pjaa.86.10

    Article  MathSciNet  Google Scholar 

  22. 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  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  24. Wittich H: Bemerkung zu einer Funktionalgleichungen von H. Poincaré. Arch. Math. 1950, 2: 90-95. (in German)

    Article  Google Scholar 

Download references

Acknowledgements

The authors thank the referees and the editors for their valuable comments to improve the readability of our paper. And this work was supported by the National Natural Science Foundation of China (11126145 and 11171119) and the Natural Science Foundation of Jiangxi Province in China (20114BAB211003 and 20122BAB211005).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xiu-Min Zheng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All 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

Zheng, XM., Tu, J. Existence and growth of meromorphic solutions of some nonlinear q-difference equations. Adv Differ Equ 2013, 33 (2013). https://doi.org/10.1186/1687-1847-2013-33

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords