- Research
- Open access
- Published:

# Some results on *q*-difference equations

*Advances in Difference Equations*
**volume 2012**, Article number: 191 (2012)

## Abstract

In this paper, we consider the *q*-difference analogue of the Clunie theorem. We obtain there is no zero-order entire solution of {f}^{n}(z)+{({\mathrm{\nabla}}_{q}f(z))}^{n}=1 when n\ge 2; there is no zero-order transcendental entire solution of {f}^{n}(z)+P(z){({\mathrm{\nabla}}_{q}f(z))}^{m}=Q(z) when n>m\ge 0; and the equation {f}^{n}+P(z){\mathrm{\nabla}}_{q}f(z)=h(z) has at most one zero-order transcendental entire solution *f* if *f* is not the solution of {\mathrm{\nabla}}_{q}f(z)=0, when n\ge 4.

**MSC:**30D35, 30D30, 39A13, 39B12.

## 1 Introduction and main results

It is well known that Clunie’s theorem (see [1], Lemma 1; also see [2], p.39, Lemma 2.4.1) is a useful tool in studying complex differential equations. It states that {Q}_{n}(f) is a polynomial of total degree *n* at most in the meromorphic function *f* and its derivatives having meromorphic functions as coefficients. If T(r) is the maximum of the characteristics of the coefficients, then

Later, Clunie’s theorem has been improved into many forms (see [2], pp.39-44) which are valuable tools for studying meromorphic solutions of Painlevé and other non-linear differential equations; see, *e.g.*, [2].

In 2007, Laine and Yang [3] obtained a discrete version of Clunie’s theorem.

**Theorem A** *Let* *f* *be a transcendental meromorphic solution of finite*-*order* *ρ* *of a difference equation of the form*

*where* U(z,f), P(z,f), *and* Q(z,f) *are difference polynomials such that the total degree* degU(z,f)=n *in* f(z) *and its shifts*, *and* degQ(z,f)\le n. *Moreover*, *we assume that* U(z,f) *contains just one term of maximal total degree in* f(z) *and its shifts*. *Then for each* \epsilon >0,

*possibly outside of an exceptional set of finite logarithmic measure*.

Now let us introduce some notation. Let {c}_{j}\in \mathbb{C} for j=1,\dots ,n, and let *I* be a finite set of multi-indexes \lambda =({\lambda}_{0},\dots ,{\lambda}_{n}). A difference polynomial of a meromorphic function w(z) is defined as

where the coefficients {a}_{\lambda}(z) are small with respect to w(z) in the sense that T(r,{a}_{\lambda})=o(T(r,w)) as *r* tends to infinity outside of an exceptional set *E* of finite logarithmic measure

The total degree of P(z,w) in w(z) and in the shifts of w(z) is denoted by {deg}_{w}(P), and the order of a zero of P(z,{x}_{0},{x}_{1},\dots ,{x}_{n}), as a function of {x}_{0} at {x}_{0}=0, is denoted by {ord}_{0}(P); see, *e.g.*, [4]. Moreover, the weight of a difference polynomial (1.1) is defined by

where *λ* and *I* are the same as in (1.1) above. The difference polynomial P(z,w) is said to be homogeneous with respect to w(z) if the degree {d}_{\lambda}={\lambda}_{0}+\cdots +{\lambda}_{n} of each term in the sum (1.1) is non-zero and the same for all \lambda \in I.

Recently, Korhonen obtained a new Clunie-type theorem in [4].

**Theorem B** *Let* w(z) *be a finite*-*order meromorphic solution of*

*where* P(z,w) *is a homogeneous difference polynomial with meromorphic coefficients*, *and* H(z,w) *and* Q(z,w) *are polynomials in* w(z) *with meromorphic coefficients having no common factors*. *If*

*then* N(r,w)\ne S(r,w).

**Theorem C** *Let* w(z) *be a finite*-*order meromorphic solution of*

*where* P(z,w) *is a homogeneous difference polynomial with meromorphic coefficients*, *and* H(z,w) *and* Q(z,w) *are polynomials in* w(z) *with meromorphic coefficients having no common factors*. *If*

*then for any* \delta \in (0,1),

*where* *r* *goes to infinity outside of an exceptional set of finite logarithmic measure*, *and* T(r) *is the maximum of the Nevanlinna characteristics of the coefficients of* P(z,w), Q(z,w), *and* H(z,w).

The non-autonomous Schröder *q*-difference equation

where the right-hand side is rational in both arguments, has been widely studied during the last decades; see, *e.g.*, [5–8]. Gundersen *et al.* [9] considered the order of growth of meromorphic solutions of (1.2), from which a *q*-difference analogue of the classical Malmquist theorem [10] is given: if the *q*-difference equation (1.2) admits a meromorphic solution of order zero, then (1.2) reduces to a *q*-difference Riccati equation, *i.e.*, {deg}_{f}R=1.

Bergweiler *et al.* [11] treated the functional equation

where 0<|c|<1 is a complex number, {a}_{j}(z) (j=0,1,\dots ,n), and Q(z) are rational functions with {a}_{0}(z)\not\equiv 0, {a}_{1}(z)\equiv 1. They concluded that all meromorphic solutions of (1.3) satisfy T(r,f)=O({(logr)}^{2}). This implies that all meromorphic solutions of (1.3) are of zero order of growth.

Let us recall {\mathrm{\Delta}}_{c}f(z) of a meromorphic function in the whole plane ℂ is given by

while

denotes {\mathrm{\nabla}}_{q}f(z) of a meromorphic function in the whole plane ℂ, where c\in \mathbb{C}\mathrm{\setminus}\{0\} and q\in \mathbb{C}\mathrm{\setminus}\{0,1\}. The upper logarithmic density of *E* is defined by

In particular, we denote by {S}_{q}(r,f) any quantity satisfying {S}_{q}(r,f)=o(T(r,f)) for all *r* outside of a set of upper logarithmic density 0 on the set of logarithmic density 1.

In 2009, Liu [12] proved the following the result.

**Theorem D** *There is no non*-*constant entire solution with finite order of the non*-*linear difference equation*

It is well known that {f}^{n}(z)+{g}^{n}(z)=1 has no entire solutions when n\ge 3 (see [13], Theorem 3), and from Theorem D, we can say there is no non-constant entire solutions with finite order of the equation {f}^{n}(z)+{({\mathrm{\Delta}}_{c}f(z))}^{n}=1, when n\ge 2.

In this paper, we replace {\mathrm{\Delta}}_{c}f(z) by {\mathrm{\nabla}}_{q}f(z) and get the following result.

**Theorem 1** *There is no non*-*constant entire solution with zero order of the non*-*linear* *q*-*difference equation*

*when* n\ge 2.

**Theorem 2** *Let* P(z) *and* Q(z) *be polynomials*, *and let* *n* *and* *m* *be integers satisfying* n>m\ge 0. *Then there is no non*-*constant entire transcendental solution with zero order of the non*-*linear* *q*-*difference equation*

In 2010, Yang and Laine [14] got the following result.

**Theorem E** *Let* n\ge 4 *be an integer*, M(z,f) *be a linear difference polynomial of* *f*, *not vanishing identically*, *and* *h* *be a meromorphic function of finite order*. *Then the difference equation*

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

In this paper, we replace difference polynomial by *q*-difference polynomial and get the following result.

**Theorem 3** *Let* n\ge 4 *be an integer*, \tilde{M}(r,f) *be a linear* *q*-*difference polynomial of* *f*, *not vanishing identically*, *and* h(z) *be a meromorphic function*. *Suppose* f(z) *is the solution of* *q*-*difference equation*

*If* f(z) *is not the solution of* \tilde{M}(r,f)=0, *then equation* (1.7) *possesses at most one transcendental entire solution of zero order*.

## 2 Auxiliary results

The following auxiliary results will be instrumental in proving the theorems.

**Lemma 1** ([5], Theorem 1.2)

*Let* f(z) *be a non*-*constant zero*-*order meromorphic function and* q\in \mathbb{C}\mathrm{\setminus}\{0\}. *Then*

**Lemma 2** ([5], Theorem 2.1)

*Let* f(z) *be a non*-*constant zero*-*order meromorphic solution of*

*where* P(z,f) *and* Q(z,f) *are* *q*-*difference polynomials in* f(z). *If the degree of* Q(z,f) *as a polynomial in* f(z) *and its* *q*-*shifts is at most* *n*, *then*

**Lemma 3** ([15], Theorem 1.1)

*Let* f(z) *be a non*-*constant zero*-*order meromorphic function and* q\in \mathbb{C}\mathrm{\setminus}\{0\}. *Then*

**Lemma 4** ([15], Theorem 1.3)

*Let* f(z) *be a non*-*constant zero*-*order meromorphic function and* q\in \mathbb{C}\mathrm{\setminus}\{0\}. *Then*

**Lemma 5** ([16], Lemma 4)

*If*
T:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}
*is a piecewise continuous increasing function such that*

*then the set*

*has logarithmic density* 0 *for all* {C}_{1}>1 *and* {C}_{2}>1.

**Lemma 6** *Let* f(z) *be a zero*-*order entire function*, q\in \mathbb{C}\mathrm{\setminus}\{0\}, *and* *a* *be a non*-*zero constant*. *If* f(z) *and* {\mathrm{\nabla}}_{q}f(z) *share the set* \{a,-a\} *CM*, *then* f(z) *is a constant*.

*Proof* Since f(z) is an entire function of zero order, and f(z) and {\mathrm{\nabla}}_{q}f(z) share the set \{a,-a\} CM, it is immediate to conclude that

where *k* is a constant.

If {k}^{2}\ne 1, let

and

Then {h}_{1}(z) and {h}_{2}(z) are entire functions, and

From (2.1)-(2.3), we have

From (2.2), (2.3), and (2.5), we obtain

Since {h}_{1} and {h}_{2} with zero order have no zeros and no poles, both {h}_{1} and {h}_{2} are constants. (2.4) implies that f(z) is a constant.

If {k}^{2}=1, from (2.1) we get f(z)={\mathrm{\nabla}}_{q}f(z). According to Lemma 3, it implies that f(z) must be a constant. □

## 3 Clunie theorem for *q*-difference

Let us consider the *q*-difference polynomial case. Let {d}_{j}\in \mathbb{C} for j=1,\dots ,n, and let {I}_{q} be a finite set of multi-indexes \gamma =({\gamma}_{0},\dots ,{\gamma}_{n}). A difference polynomial of a meromorphic function w(z) is defined as

where the coefficients {a}_{\gamma}(z) are small with respect to w(z) in the sense that T(r,{a}_{\gamma})=o(T(r,w)) as *r* tends to infinity outside of an exceptional set *E* of finite logarithmic measure

The total degree of P(z,w) in w(z) and in the *q*-shifts of w(z) is denoted by {deg}_{w}^{q}(P), and the order of a zero of P(z,{x}_{0},{x}_{1},\dots ,{x}_{n}), as a function of {x}_{0} at {x}_{0}=0, is denoted by {ord}_{0}^{q}(P); see, *e.g.*, [4]. Moreover, the weight of a difference polynomial (1.1) is defined by

where *γ* and {I}_{q} are the same as in (3.1) above. The difference polynomial P(z,w) is said to be homogeneous with respect to w(z), if the degree {d}_{\gamma}={\gamma}_{0}+\cdots +{\gamma}_{n} of each term in the sum (1.1) is non-zero and the same for all \gamma \in {I}_{q}.

In this paper, we will obtain the new Clunie theorem for *q*-difference polynomials.

**Theorem 4** *Let* w(z) *be a zero*-*order meromorphic solution of*

*where* P(z,w) *is a homogeneous* *q*-*difference polynomial with polynomial coefficients*, *and* H(z,w) *and* Q(z,w) *are polynomials in* w(z) *with polynomial coefficients having no common factors*. *If*

*then* N(r,w)\ne {S}_{q}(r,w).

*Proof* Since P(r,w) is homogeneous, by Lemma 1 it follows that

Moreover, Mohon’ko’s theorem (see [17], Theorem 1.13) implies that

where

According to (3.2), (3.3), (3.4), and the assumption of Theorem 4, it follows that

This contradicts the assertion of Theorem 4 that N(r,w)={S}_{q}(r,w). Let us denote {q}_{max}=max\{|{q}_{j}|,(j=1,\dots ,n)\}, by Lemma 5 we will obtain that

Therefore,

which is a contradiction to (3.5). We can conclude that N(r,w)\ne {S}_{q}(r,w). □

**Theorem 5** *Let* w(z) *be a zero*-*order meromorphic solution of*

*where* P(z,w) *is a homogeneous* *q*-*difference polynomial with polynomial coefficients*, *and* H(z,w) *and* Q(z,w) *are polynomials in* w(z) *with polynomial coefficients having no common factors*. *If*

*then*

*Proof* On the one hand, (3.2) and (3.5) imply that

On the other hand, by Lemma 4, we can obtain that

(3.6) and (3.7) show that

□

## 4 Proof of Theorem 1

If n\ge 3, there are no non-constant entire solutions of equation (1.5) according to [13]. Let us consider n=2, that is,

From (4.1), we get f(z) and {\mathrm{\nabla}}_{q}f(z) share the set \{\frac{\sqrt{2}}{2},-\frac{\sqrt{2}}{2}\} CM. From Lemma 6, we obtain that f(z) is a constant.

## 5 Proof of Theorem 2

Suppose that *f* is a transcendental entire solution of equation (1.6) with zero order. If {\mathrm{\nabla}}_{q}f(z)\equiv 0, then {f}^{n}(z)=Q(z), and the conclusion holds. If {\mathrm{\nabla}}_{q}f(z)\not\equiv 0, we have

From Lemma 1, Lemma 2, and the condition n>m, we have

which is impossible.

## 6 Proof of Theorem 3

Assume now, contrary to the assertion, that *f* and *g*, which are not the solutions of \tilde{M}(r,f)=0 and \tilde{M}(r,g)=0, are two distinct zero-order transcendental entire solutions of (1.7), then we can write

From (6.1), we obtain

Therefore, we have

is an entire function, and {\eta}_{1},\dots ,{\eta}_{n-1} are distinct roots ≠1 of the equation {z}^{n}=1. Hence, N(r,\frac{\tilde{M}(r,f)-\tilde{M}(r,g)}{f(z)-g(z)})=0. From Lemma 1, we get

If \frac{f}{g} is not a constant, (6.3) implies that

Thus,

From the second fundamental theorem, we have

From (6.6), (6.5), and *f*, *g* are zero-order entire functions, we get a contradiction. Therefore, \frac{f}{g} must be a constant. If f/g=k\ne {\eta}_{j}, *k* is a constant, then from (6.1) we have

From Lemma 2 and (6.7), we get a contradiction. Thus, f/g={\eta}_{j} for some j=1,\dots ,n-1 and

This implies that

and

From (6.9) and (6.2), we obtain

From (6.9) and (6.2), it is easy to get \tilde{M}(r,f)=0 and \tilde{M}(r,g)=0, which is impossible.

## References

Clunie J: On integral and meromorphic functions.

*J. Lond. Math. Soc.*1962, 37: 17–27. 10.1112/jlms/s1-37.1.17Laine I:

*Nevanlinna Theory and Complex Differential Equations*. Walter de Gruyter, Berlin; 1993.Laine I, Yang CC: Clunie theorems for difference and

*q*-difference polynomials.*J. Lond. Math. Soc.*2007, 76: 556–566. 10.1112/jlms/jdm073Korhonen R: A new Clunie type theorem for difference polynomials.

*J. Differ. Equ. Appl.*2011, 17(3):387–400. 10.1080/10236190902962244Barnett D, Halburd R-G, Korhonen R-J, 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(3):457–474.Ishizaki K, Yanagihara N: Wiman-Valiron method for difference equations.

*Nagoya Math. J.*2004, 175: 75–102.Ishizaki K, Yanagihara N: Borel and Julia directions of meromorphic Schröder functions.

*Math. Proc. Camb. Philos. Soc.*2005, 139: 139–147. 10.1017/S0305004105008492Valiron G:

*Fonctions Analytiques*. Press Univ. de France, Paris; 1952.Gundersen G-G, Heittokangas J, Laine I, Rieppo J, Yang D-Q: Meromorphic solutions of generalized Schröder equations.

*Aequ. Math.*2002, 63(1–2):110–135. 10.1007/s00010-002-8010-zMalmquist J: Sur les fonctions à un nombre fini des branches définies par les équations différentielles du premier ordre.

*Acta Math.*1913, 36: 297–343. 10.1007/BF02422385Bergweiler W, Ishizaki K, Yanagihara N: Growth of meromorphic solutions of some functional equations. I.

*Aequ. Math.*2002, 63(1–2):140–151. 10.1007/s00010-002-8012-xLiu K: Meromorphic functions sharing a set with applications to difference equations.

*J. Math. Anal. Appl.*2009, 359: 384–393. 10.1016/j.jmaa.2009.05.061Gross F:On the equation {f}^{n}+{g}^{n}=1.

*Bull. Am. Math. Soc.*1966, 72: 86–88. 10.1090/S0002-9904-1966-11429-5Yang C-C, Laine I: On analogies between nonlinear difference and differential equations.

*Proc. Jpn. Acad., Ser. A, Math. Sci.*2010, 86: 10–14. 10.3792/pjaa.86.10Zhang J-L, Korhonen R:On the Nevanlinna characteristic of f(qz) and its applications.

*J. Math. Anal. Appl.*2010, 369: 537–544. 10.1016/j.jmaa.2010.03.038Hayman W-K: On the characteristic of functions meromorphic in the plane and of their integrals.

*Proc. Lond. Math. Soc.*1965, 14A: 93–128. 10.1112/plms/s3-14A.1.93Yi H-X, Yang C-C:

*Uniqueness Theory of Meromorphic Functions*. Science Press, Beijing; 1995.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The first author discovered some essential ideas for the proof of this paper, and made the actual writing. The fours discussed the paper together. The other authors checked the proofs of the paper. 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.

## About this article

### Cite this article

Zhang, J., Wang, G., Chen, J. *et al.* Some results on *q*-difference equations.
*Adv Differ Equ* **2012**, 191 (2012). https://doi.org/10.1186/1687-1847-2012-191

Received:

Accepted:

Published:

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