AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 943209 10.1155/2013/943209 943209 Research Article Growth of Meromorphic Solutions of Some q-Difference Equations Zhang Guowei Vigo-Aguiar Jesus 1 School of Mathematics and Statistics Anyang Normal University Anyang, Henan 455000 China aynu.edu.cn 2013 28 2 2013 2013 10 11 2012 06 01 2013 17 01 2013 2013 Copyright © 2013 Guowei Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We estimate the growth of the meromorphic solutions of some complex q-difference equations and investigate the convergence exponents of fixed points and zeros of the transcendental solutions of the second order q-difference equation. We also obtain a theorem about the q-difference equation mixing with difference.

1. Introduction and Main Results

In this paper, we mainly use the basic notation of Nevanlinna Theory, such as T(r,f), N(r,f), and m(r,f), and the notation S(r,f) is defined to be any quantity satisfying S(r,f)=o(T(r,f)) as r possibly outside a set of r of finite linear measure (see ). In addition, we use the notation ρ(f) to denote the order of growth of the meromorphic function f(z) and λ(f) to denote the exponent of convergence of the zeros. We also use the notation τ(f) to denote the exponent of convergence of fixed points of f. We give the definition of τ(f) as following.

Definition 1.

Let f be a nonconstant meromorphic function. The exponent of convergence of fixed points of f is defined by (1)τ(f)=limsuprlogN(r,1/(f-z))logr.

Recently, a number of papers focused on complex difference equations, such as  and on difference analogues of Nevanlinna’s theory, such as [7, 8]. Correspondingly, there are many papers focused on the q-difference (or c-difference) equations, such as .

Because of the intimate relations between iteration theory and the functional equations of Schröder, Böttcher and Abel and Bergweiler et al.  studied the following functional equation (2)j=0naj(z)f(qjz)=Q(z), where q(0<|q|<1) is a complex number and aj(z), j=0,1,,n and Q(z) are rational functions, and a0(z)0,an(z)1. They obtained the following two theorems.

Theorem A.

All meromorphic solutions of (2) satisfy T(r,f)=O((logr)2).

Theorem B.

All transcendental meromorphic solutions of (2) satisfy (logr)2=O(T(r,f)).

What will happen if the right-hand side of (2) is a rational function in f? That is, for the functional equation (3)j=1nγj(z)f(qjz)=R(z,f(z))=i=0sαi(z)fi(z)i=0tβi(z)fi(z), where q(0<|q|<1) is a complex number, αj(z)(j=0,1,,s), αs(z)0, βj(z)(j=0,1,,t), βt(z)0, γj(z)(j=0,1,,n), and γn=1 are coefficients, and R(z,f) is irreducible in f. Gundersen et al.  studied the case that n=1 on the left-hand side of (3). Following the results in , we continue to study the properties of the solutions of (3) in the case of n>1 on the left-hand side. In fact, we obtain the following theorem.

Theorem 2.

Suppose that f is a nonconstant meromorphic solution of equation of (3) and the coefficients are small functions of f. Then, d=max{s,t}n and ρ(f)log(n/d)/(-log|q|).

In particular, we concern the second-order q-difference equation with rational coefficients, that is, in the case of n=2. From Theorem 2, we know that if f is a nonconstant meromorphic solution, then d2. Thus, the second-order q-difference equation is the following form: (4)f(q2z)+γ1(z)f(qz)=α0(z)+α1(z)f(z)+α2(z)f2(z)β0(z)+β1(z)f(z)+β2(z)f2(z).

First of all, we give some remarks.

Remark 3.

If α2(z) and β2(z) are not zero at the same time, by Theorem 2, we derive that the solution of (4) is of order zero.

Remark 4.

If α2(z)=β2(z)=β1(z)0, by Theorem A, the solutions of (4) is also of order zero.

Remark 5.

If α2(z)=β2(z)=0,β1(z)0, by Theorem 2, the order of the solutions is less than log(2)/(-log|q|). Thus, a question arises: does the equation have a solution which is of order nonzero under this situation? This question is still open.

In , Chen and Shon proved some theorems about the properties of solutions of the difference Painlevé I and II equations, such as the exponents of convergence of fixed points and the zeros of transcendental solutions. A natural question arises: how about the exponents of convergence of the fixed points and the zeros of transcendental solutions of the q-difference equation (4)? Do the transcendental solutions have infinitely many fixed points and zeros? The following theorem, in which the coefficients are constants, answers the above questions partly.

Theorem 6.

Suppose that f is a transcendental solution of the equation (5)f(q2z)+γ1f(qz)=α0+α1f(z)+α2f2(z)β0+β1f(z)+β2f2(z), where |q|<1, the coefficients γ1, α0, α1, α2, β0, β1, and β2 are constants, and at least one of α2,β2 is nonzero. Then, ρ(f)=0 and (i)f has infinitely many fixed points, and (ii)f has infinitely many zeros, whenever α00.

In the rest of the paper, we consider (3) when |q|>1. In , Heittokangas et al. considered the essential growth problem for transcendental meromorphic solutions of complex difference equations, which is to find lower bounds for their characteristic functions. Following this idea, Zheng and Chen  obtained the following theorem for q-difference equations.

Theorem C.

Suppose that f is a transcendental solution of equation (6)j=1naj(z)f(qjz)=R(z,f(z))=P(z,f(z))Q(z,f(z)), where q,|q|>1, the coefficients aj(z) are rational functions, and P, Q are relatively prime polynomials in f over the field of rational functions satisfying p=degfP, t=degfQ, and d=p-t2. If f has infinitely many poles, then for sufficiently large r, n(r,f)Kdlogr/(nlog|q|) holds for some constant K>0. Thus, the lower order of f, which has infinitely many poles, satisfies μ(f)logd/(nlog|q|).

Regarding Theorem C, they obtained the lower bound of the order of solutions. Then, how about the upper bound of the order of the solutions? Can the conditions of Theorem C become a little more simple? In fact, we have the following theorem.

Theorem 7.

Suppose that f is a transcendental solution of (3), where |q|>1, n<d=max{s,t} and the coefficients are rational functions. Then, log(d/n)/(nlog|q|)ρ(f)log(d+n-1)/(log|q|).

We know that the difference analogues and q-difference analogues of Nevanlinna’s theory have been investigated. Consequently, many results on the complex difference equations and q-difference equations have been obtained respectively. Thus, mixing the difference and q-difference equations together is a natural idea. The following Theorem 8 is just a simple application of the above idea, and further investigation is required.

In what follows, we will consider difference products and difference polynomials. By a difference product, we mean a difference monomial, that is, an expression of type (7)jsf(z+cj)nj, where c1,,cs are complex numbers and n1,,ns are natural numbers. A difference polynomial is a finite sum of difference products, that is, an expression of the form (8)P(z,f)={J}bJ(z)(jJf(z+cj)), where cj(jJ) is a set of distinct complex numbers and the coefficients bJ(z) of difference polynomials are small functions as understood in the usual the Nevanlinna theory; that is, their characteristic is of type S(r,f).

Theorem 8.

Suppose that f is a nonconstant meromorphic solution of the equation (9)i=1nai(z)f(qiz)={J}bJ(z)(jJf(z+cj)), where |q|>1 and the index set J consists of m elements and the coefficients ai(z)(an(z)=1) and bJ(z) are small functions of f. If f is of finite order, then |q|<n+m-1.

2. Some Lemmas

The following important result by Valiron and Mohon’ko will be used frequently, one can find the proof in Laine’s book [16, page 29].

Lemma 9.

Let f be a meromorphic function. Then, for all irreducible rational function in f, (10)R(z,f(z))=j=0paj(z)f(z)jj=0qbj(z)f(z)j, with meromorphic coefficients aj(z), bj(z), the characteristic function of R(z,f(z)) satisfies (11)T(r,R(z,f(z)))=dT(r,f)+O(Ψ(r)), where d=max{p,q} and (12)Ψ(r)=maxi,j{T(r,aj),T(r,bj)}. In the particular case when (13)T(r,aj)=S(r,f),j=0,1,,p,T(r,bj)=S(r,f),j=0,1,,q, One has T(r,R(z,f(z)))=dT(r,f)+S(r,f).

The next lemma on the relationship between T(r,f(qz)) and T(|q|r,f(z)) is due to Bergweiler et al. [10, page 2].

Lemma 10.

One case see that (14)T(r,f(qz))=T(|q|r,f)+O(1) holds for any meromorphic function f and any constant q.

Lemma 11 (see [<xref ref-type="bibr" rid="B8">12</xref>]).

Let Φ:(1,)(0,) be a monotone increasing function, and let f be a nonconstant meromorphic function. If for some real constant α(0,1), there exist real constants K1>0 and K21 such that (15)T(r,f)K1Φ(αr)+K2T(αr,f)+S(αr,f), then (16)ρ(f)logK2-logα+limsuprlogΦ(r)logr.

Lemma 12 (see [<xref ref-type="bibr" rid="B2">9</xref>, Theorem 2.2]).

Let f(z) be a nonconstant zero-order meromorphic solution of (17)P(z,f)=0, where P(z,f) is a c-difference (or q-difference) equation in f(z). If P(z,α)0, where α is a zero-order meromorphic function such that T(r,α)=o(T(r,f)) on a set of logarithmic density 1, and in particular, α is a constant, then (18)m(r,1f-α)=o(T(r,f)), on a set of logarithmic density 1.

Lemma 13 (see [<xref ref-type="bibr" rid="B7">7</xref>]).

Let f be a meromorphic function of finite order, and let c be a nonzero complex constant. Then one has (19)m(r,f(z+c)f(z))+m(r,f(z)f(z+c))=S(r,f).

Lemma 14 (see [<xref ref-type="bibr" rid="B7">7</xref>]).

Let f be a meromorphic function of finite order ρ, and let c is a nonzero complex constant. Then, for each ε>0, one has (20)T(r,f(z+c))=T(r,f)+O(rρ-1+ε)+O(logr).

It is evident that S(r,f(z+c))=S(r,f) from Lemma 14.

By (7), (8), and Lemmas 13 and 14, Laine and Yang obtained the following lemma in .

Lemma 15.

The characteristic function of a difference polynomial P(z,f) in (8) satisfies (21)T(r,P(z,f))nT(r,f)+O(rρ-1+ε)+S(r,f), provided that f is a meromorphic function of finite order ρ and the index set J consists of n elements.

3. Proof of Theorems Proof of Theorem <xref ref-type="statement" rid="thm1">2</xref>.

Set Φ(r)=maxi,j,k{T(r,αi(z)),T(r,βj(z)),T(r,γk(z))}=S(r,f). From (3) and Lemmas 9 and 10 and noting 0<|q|<1, we immediately obtain (22)T(r,R(z,f(z)))=dT(r,f)+O(Φ(r))=T(r,j=1nγj(z)f(qjz))i=1nT(|q|ir,f)+O(Φ(r))nT(|q|r,f)+S(r,f)nT(r,f)+S(r,f), and so we have dn. From (22), we have (23)T(r,f)ndT(|q|r,f)+S(r,f). Since S(r,f)=o(T(r,f)), we have (24)T(r,f)nd(1-ε)T(|q|r,f), for each ε. From (24) and Lemma 11, we have ρ(f)log(n/d)/(-log|q|).

Proof of Theorem <xref ref-type="statement" rid="thm2">6</xref>.

Assume that f(z) is a transcendental solution of (5). Since at least one of α2,β2 is non-zero, by Remark 3, we obtain that ρ(f)=0.

(I) Set g(z)=f(z)-z. Substituting f(z)=g(z)+z into (5), we obtain that (25)g(q2z)+γ1g(qz)+q2z+γ1qz=α0+α1g(z)+α1z+α2(g(z)+z)2β0+β1g(z)+β1z+β2(g(z)+z)2. By (25), we may define (26)P1(z,g(z)):=(g(q2z)+γ1g(qz)+q2z+γ1qz)×(β0+β1g(z)+β1z+β2(g(z)+z)2)-α0+α1g(z)+α1z+α2(g(z)+z)2. By (26), we see that (27)P1(z,0)=(q2+qγ1)β2z3+[(q2+qγ1)β1-α2]z2+[(q2+qγ1)β0-α1]z-α0. Suppose that P1(z,0)0, and we split into two cases. If q2+qγ1=0, then we obtain α0=α1=α2=0. Thus, the right-hand side of (5) is vanishing. This contradicts to our assumption. If q2+qγ10, we obtain α0=β2=0 and α2/β1=α1/β0=q2+qγ1. Then, the right-hand side of (5) becomes (q2+qγ1)f; this also contradicts to our assumption. Thus, we have P1(z,0)0. By Lemma 12, we obtain that (28)m(r,1g)=o(T(r,f)), on a set of logarithmic density 1. Thus, (29)N(r,1f-z)=N(r,1g)=(1-o(1))T(r,f), on a set of logarithmic density 1. Hence, by (29), f has infinitely many fixed points and (30)τ(f)=λ(g)=ρ(f).

(II) By (5), we derive that (31)P2(z,f):=[f(q2z)+γ1f(qz)][β0+β1f(z)+β2f2(z)]-[α0+α1f(z)+α2f2(z)]. By (31) and the assumption α00, we obtain that (32)P2(z,0):=α00. By Lemma 12 and (32), we have (33)m(r,1f)=o(T(r,f)), on a set of logarithmic density 1. Thus, (34)N(r,1f)=(1-o(1))T(r,f), on a set of logarithmic density 1. Hence, by (34), f has infinitely many zeros and (35)λ(f)=ρ(f).

Proof of Theorem <xref ref-type="statement" rid="thm3">7</xref>.

From (3), we have (36)f(qnz)=i=0sαi(z)fi(z)i=0tβi(z)fi(z)-j=1n-1γj(z)f(qjz). By the properties of the Nevanlinna characteristic function and Lemma 9, we have (37)T(r,f(qnz))dT(r,f)+j=1n-1T(r,γj(z)f(qjz))+O(logr). By |q|>1 and Lemma 10, we obtain (38)T(|q|nr,f(z))dT(r,f(z))+j=1n-1T(|q|jr,f(z))+O(logr)(d+n-1)T(|q|n-1r,f(z))+O(log|q|n-1r). Setting α=1/|q|,R=|q|nr, we have (39)T(R,f(z))(d+n-1)T(αR,f(z))+O(logαR). Applying Lemma 11 to (39) yields (40)ρ(f)log(d+n-1)log|q|. We now prove the lower bound of the order of the solutions. From (3), by the properties of the Nevanlinna characteristic function and Lemma 9, we have (41)j=1nT(r,f(qjz))dT(r,f)+O(logr). By Lemma 10 and noting |q|>1, we obtain (42)T(|q|nr,f)kT(r,f)+g(r), where k=d/n and |g(r)|<Klogr for some K and all r greater than some r0. Hence, for r>r0, (43)T(|q|njr,f)kT(|q|n(j-1)r,f)+g(|q|n(j-1)r)kjT(r,f)+Ej(r), where (44)|Ej(r)|=|kj-1g(r)+kj-2g(|q|nr)++g(|q|n(j-1)r)|Kkj-1i=0j-1log|q|nirkiKkj-1(log|q|ni=0iki+logri=01ki). For r sufficiently large and i, we note that since k=d/n>1, the two series converge, and hence (45)|Ej(r)|Ckjlogr, where C is a positive constant. Since f is a transcendental meromorphic function, we can choose r0 sufficiently large such that for all rr0, by the increasing property of T(r,f), we have T(r,f)Clogr for some constant C. Hence, we get (46)T(|q|njr,f)>Ckjlogr, for some constant C. By the definition of the order of f, we have (47)ρ(f)=limsupj,rlogT(|q|njr,f)log|q|njrlogC+jlogk+loglogrjnlog|q|+logr. So we have ρ(f)log(d/n)/(nlog|q|). Thus, we complete the proof.

Proof of Theorem <xref ref-type="statement" rid="thm4">8</xref>.

Suppose that the order of f is ρ<. We rewrite (9) as (48)f(qnz)={J}bJ(z)(jJf(z+cj))-i=1n-1aizf(qiz). By the property of the Nevanlinna characteristic function, we have (49)T(r,f(qnz))T(r,{J}bJ(z)(jJf(z+cj)))+i=1n-1T(r,ai(z)f(qiz))+O(1). By Lemmas 10 and 15, we obtain (50)T(|q|nr,f(z))mT(r,f(z))+in-1T(|q|ir,f(z))+O(rρ-1+ε)+S(r,f), for each ε. Since |q|>1, we derive (51)T(|q|nr,f(z))(m+n-1)T(|q|n-1r,f(z))+O((|q|n-1r)ρ-1+ε)+S(|q|n-1r,f) for each ε. Setting α=1/|q|, R=|q|nr, Φ(R)=O((αR)ρ-1+ε) and applying Lemma 11 to (51), yield (52)ρ(f)=ρlog(m+n-1)log|q|+ρ-1+ε, for each ε. Thus, we obtain (53)|q|<m+n-1.

Acknowledgments

The author wishes to express his thanks to the referee for his/her valuable suggestions and comments. The present investigation was supported by the National Natural Science Foundation under Grant no. 11226088 and the Key Project of Natural Science Foundation of Educational Committee of Henan Province under Grant no. 12A110002 of the People’s Republic of China.

Hayman W. K. Meromorphic Functions 1964 Oxford, UK Oxford Mathematical Monographs, Clarendon Press MR0164038 Yang L. Value Distribution Theory 1993 Berlin, Germany Springer MR1301781 Yang C. C. Yi H. X. Uniqueness Theory of Meromorphic Functions 2003 Beijing, China Kluwer Academic MR2105668 Ablowitz M. J. Halburd R. G. 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 MR1759006 ZBL0956.39003 Chen Z. X. Shon K. H. On zeros and fixed points of differences of meromorphic functions Journal of Mathematical Analysis and Applications 2008 344 1 373 383 10.1016/j.jmaa.2008.02.048 MR2416313 ZBL1144.30012 Chen Z. X. Shon K. H. Value distribution of meromorphic solutions of certain difference Painlevé equations Journal of Mathematical Analysis and Applications 2010 364 2 556 566 10.1016/j.jmaa.2009.10.021 MR2576206 ZBL1183.30026 Chiang Y. M. Feng S. J. On the Nevanlinna characteristic of f(z+η) and difference equations in the complex plane Ramanujan Journal 2008 16 1 105 129 10.1007/s11139-007-9101-1 MR2407244 ZBL1152.30024 Halburd R. G. Korhonen R. J. Difference analogue of the lemma on the logarithmic derivative with applications to difference equations Journal of Mathematical Analysis and Applications 2006 314 2 477 487 10.1016/j.jmaa.2005.04.010 MR2185244 ZBL1085.30026 Barnett D. C. Halburd R. G. Morgan W. Korhonen R. J. Nevanlinna theory for the q-difference operator and meromorphic solutions of q-difference equations Proceedings of the Royal Society of Edinburgh A 2007 137 3 457 474 10.1017/S0308210506000102 MR2332677 Bergweiler W. Ishizaki K. Yanagihara N. Meromorphic solutions of some functional equations Methods and Applications of Analysis 1998 5 3 248 258 correction: Methods and Applications of Analysis, vol. 6, no. 4, pp. 617–618, 1999 MR1659151 ZBL0924.39017 Bergweiler W. Langley J. K. Zeros of differences of meromorphic functions Mathematical Proceedings of the Cambridge Philosophical Society 2007 142 1 133 147 10.1017/S0305004106009777 MR2296397 ZBL1114.30028 Gundersen G. G. Heittokangas J. Laine I. Rieppo J. Yang D. Meromorphic solutions of generalized Schröder equations Aequationes Mathematicae 2002 63 1-2 110 135 10.1007/s00010-002-8010-z MR1891280 ZBL1012.30016 Laine I. Yang C. C. Clunie theorems for difference and q-difference polynomials Journal of the London Mathematical Society 2007 76 3 556 566 10.1112/jlms/jdm073 MR2377111 Zheng X. M. Chen Z. X. Some properties of meromorphic solutions of q-difference equations Journal of Mathematical Analysis and Applications 2010 361 2 472 480 10.1016/j.jmaa.2009.07.009 MR2568711 Heittokangas J. Korhonen R. Laine I. Rieppo J. Tohge K. Complex difference equations of Malmquist type Computational Methods and Function Theory 2001 1 1 27 39 MR1931600 ZBL1013.39001 Laine I. Nevanlinna Theory and Complex Differential Equations 1993 Berlin, Germany Walter de Gruyter 10.1515/9783110863147 MR1207139