 Research
 Open Access
 Published:
The zeros of qshift difference polynomials of meromorphic functions
Advances in Difference Equations volume 2012, Article number: 200 (2012)
Abstract
In this paper, we investigate the value distribution of difference polynomials f{(z)}^{n}f(qz+c) and {f}^{n}(z)+a[f(qz+c)f(z)] related to two wellknown differential polynomials, where f(z) is a meromorphic function with finite logarithmic order.
MSC:30D35, 39B12.
1 Introduction
In this paper, we shall assume that the reader is familiar with the fundamental results and the standard notation of the Nevanlinna value distribution theory of meromorphic functions (see [1, 2]). The term ‘meromorphic function’ will mean meromorphic in the whole complex plane ℂ. In addition, we will use notations \rho (f) to denote the order of growth of a meromorphic function f(z), \lambda (f) to denote the exponents of convergence of the zerosequence of a meromorphic function f(z), \lambda (\frac{1}{f}) to denote the exponents of convergence of the sequence of distinct poles of f(z).
The nonautonomous Schröder qdifference equation
where the righthand side is rational in both arguments, has been widely studied during the last decades (see, e.g., [3–7]). There is a variety of methods which can be used to study the value distribution of meromorphic solutions of (1.1).
Recently, the Nevanlinna theory involving qdifference has been developed to study qdifference equations and qdifference polynomials. Many papers have focused on complex difference, giving many difference analogues in value distribution theory of meromorphic functions (see [8–15]).
Hayman [16] posed the following famous conjecture.
Theorem A If f is a transcendental meromorphic function and n\ge 1, then {f}^{n}{f}^{\prime} takes every finite nonzero value b\in \mathbb{C} infinitely often.
This conjecture has been solved by Hayman [1] for n\ge 3, by Mues [17] for n=2, by Bergweiler and Eremenko [18] for n=1.
Hayman [16] also proved the following famous result.
Theorem B If f(z) is a transcendental meromorphic function, n\ge 5 is an integer, and a (≠0) is a constant, then {f}^{\prime}(z)af{(z)}^{n} assumes all finite values b\in \mathbb{C} infinitely often.
He also conjectured in [1] that the same result holds for n=3 and 4. However, Mues [17] proved that the conjecture is not true by providing a counterexample and proved that {f}^{\prime}a{f}^{4} has infinitely many zeros.
Liu and Qi proved two theorems which considered qshift difference polynomials (see [13]), which can be seen as difference versions of the above classical results.
Theorem C Let f be a zeroorder transcendental meromorphic function and q be a nonzero complex constant. Then, for n\ge 6, {f}^{n}(z)f(qz+c) assumes every nonzero value b\in \mathbb{C} infinitely often.
Theorem D Let f be a zeroorder transcendental meromorphic function and a, q be nonzero complex constants. Then, for n\ge 8, {f}^{n}(z)+a[f(qz+c)f(z)] assumes every nonzero value b\in \mathbb{C} infinitely often.
Remark 1 They also conjectured the numbers n\ge 6 and n\ge 8 can be reduced in Theorems C and D. But they could not deal with it. In fact, Zhang and Korhonen [19] also proved a result similar to Theorem C under the condition n\ge 6. Obviously, it is an interesting question to reduce the number n. In this paper, our results give some answers in some sense.
2 Main results
In order to express our results, we need to introduce some definitions (see [20, 21]).
A positive increasing function S(r), defined for r>0, is said to be of finite logarithmic order λ if
S(r) is said to be of infinite logarithmic order if the limit superior above is infinite.
Definition 1 If f(z) is a function meromorphic in the complex plane ℂ, the logarithmic order of f is the logarithmic order of its characteristic function T(r,f).
It is clear that the logarithmic order of a nonconstant rational function is 1, but there exist infinitely many transcendental entire functions of logarithmic order 1 from Theorem 7.3 [20]. Hence, the transcendental meromorphic function is of the logarithmic order ≥1.
Let f(z) be a meromorphic function of finite positive logarithmic order λ. A nonnegative continuous function \lambda (r) defined in (0,+\mathrm{\infty}) is said to be proximate logarithmic order of T(r,f), if \lambda (r) satisfies the following three conditions:

(1)
{lim}_{r\to +\mathrm{\infty}}\lambda (r)=\lambda.

(2)
{\lambda}^{\prime}(r) exists everywhere in (0,+\mathrm{\infty}) except possibly in a countable set where {\lambda}^{\prime}({r}^{+}) and {\lambda}^{\prime}({r}^{}) exist. Moreover, if we use the onesided derivative {\lambda}^{\prime}({r}^{+}) or {\lambda}^{\prime}({r}^{}) instead of {\lambda}^{\prime}(r) of r in the exceptional set, then
\underset{r\to +\mathrm{\infty}}{lim}r(logr){\lambda}^{\prime}(r)loglogr=0.(2.2) 
(3)
Let U(r,f)={(logr)}^{\lambda (r)}, we have T(r,f)\le U(r,f) for sufficiently large r and
\frac{T(r,f)}{U(r,f)}=1.(2.3)
The above function U(r,f) is called a logarithmictype function of T(r,f). If f(z) is a meromorphic function of finite positive logarithmic order λ, then T(r,f) has proximate logarithmic order \lambda (r).
Let f(z) be a meromorphic function, for each a\in \stackrel{\u02c6}{\mathbb{C}}=\mathbb{C}\cup \{\mathrm{\infty}\}, an apoint of f(z) means a root of the equation f(z)=a. Let \{{z}_{j}(a)\} be the sequence of apoints of f(z) with {r}_{j}(a)\le {r}_{j+1}(a), where {r}_{j}(a)={z}_{j}(a). The logarithmic exponent of convergence of apoints of f(z) is a number {\rho}_{log}(a) which is defined by
This quantity plays an important role in measuring the value distribution of apoints of f(z).
Throughout this paper, we denote the logarithmic order of n(r,f=a) by {\lambda}_{log}(a), where n(r,f=a) is the number of roots of the equation f(z)=a in z\le r. It is well known that if a meromorphic function f(z) is of finite order, then the order of n(r,f=a) equals the exponent of convergence of apoints of f(z). The corresponding result for meromorphic functions of finite logarithmic order also holds. That is, if f(z) is a nonconstant meromorphic function and of finite logarithmic order, then for each a\in \stackrel{\u02c6}{\mathbb{C}}, the logarithmic order of n(r,f=a) equals the logarithmic exponent of convergence of apoints of f(z).
Although for any given meromorphic function f(z) with finite positive order and for any a\in \stackrel{\u02c6}{\mathbb{C}}, the counting functions N(r,f=a) and n(r,f=a) both have the same order, the situation is different for functions of finite logarithmic order. That is, if f(z) is a nonconstant meromorphic function in ℂ, for each a\in \stackrel{\u02c6}{\mathbb{C}}, N(r,f=a) is of logarithmic order {\lambda}_{log}(a)+1 where {\lambda}_{log}(a) is the logarithmic order of n(r,f=a).
Theorem 2.1 If f(z) is a transcendental meromorphic function of finite logarithmic order λ, with the logarithmic exponent of convergence of poles less than \lambda 1 and q, c are nonzero complex constants, then for n\ge 2, {f}^{n}(z)f(qz+c) assumes every value b\in \mathbb{C} infinitely often.
Remark 2 The following examples show that the hypothesis the logarithmic exponent of convergence of poles {\lambda}_{log}(\mathrm{\infty}) is less than \lambda 1 is sharp.
Example 1 Let f(z)={\prod}_{j=0}^{\mathrm{\infty}}{(1{q}^{j}z)}^{1}, 0<p<1. Then f(qz)=(1z)f(z). But {f}^{n}(z)f(qz) have only one zero. We know (see [22, 23])
Thus, \lambda =2, and the logarithmic exponent of convergence of poles {\lambda}_{log}(\mathrm{\infty}) is equal to \lambda 1=1. Hence, the condition the logarithmic exponent of convergence of poles is less than \lambda 1 cannot be omitted.
Example 2 Let f(z)={\prod}_{j=0}^{\mathrm{\infty}}{(1z/{q}^{j})}^{1}, p>1. Then f(qz)=\frac{f(z)}{1qz} and {f}^{n}(z)f(qz)=\frac{f{(z)}^{n+1}}{1qz} have no zeros. Note that T(r,f)=N(r,f)=O({(logr)}^{2}) (see [22–24]), then \lambda =2, and the logarithmic exponent of convergence of poles {\lambda}_{log}(\mathrm{\infty}) is equal to \lambda 1=1. Hence, our condition the logarithmic exponent of convergence of poles is less than \lambda 1 cannot be omitted.
Remark 3 We note that the authors claimed b is nonzero in Theorem C. But b can be zero in Theorem 2.1.
Theorem 2.2 If f(z) is a transcendental meromorphic function of finite logarithmic order λ, with the logarithmic exponent of convergence of poles less than \lambda 1, and a, q are nonzero complex constants, then for n\ge 5, {f}^{n}(z)+a[f(qz+c)f(z)] assumes every value b\in \mathbb{C} infinitely often.
Remark 4 The authors also claimed b is nonzero in Theorem D. In fact, b can take the zeros in Theorem D from their proof.
In the following, we consider the difference polynomials similar to Theorem 2.2 and Theorem 1.5 in [25].
Theorem 2.3 If f(z) is a transcendental meromorphic function of finite logarithmic order λ, with the logarithmic exponent of convergence of poles less than \lambda 1, and a, q are nonzero constants, then for n\ge 3, {f}^{n}(z)af(qz+c) assumes every value b\in \mathbb{C} infinitely often.
3 Proof of Theorem 2.1
We need the following lemmas for the proof of Theorem 2.1.
For a transcendental meromorphic function f(z), T(r,f) is usually dominated by three integrated counting functions. However, when f(z) is of finite logarithmic order, T(r,f) can be dominated by two integrated counting functions as the following shows.
Lemma 3.1 ([20])
If f(z) is a transcendental meromorphic function of finite logarithmic order λ, then for any two distinct extended complex values a and b, we have
where U(r,f)={(logr)}^{\lambda (r)} is a logarithmictype function of T(r,f). Furthermore, if T(r,f) has a finite lower logarithmic order
with \lambda \mu <1, then
Lemma 3.2 If f(z) is a nonconstant zeroorder meromorphic function and q\in \mathbb{C}\mathrm{\setminus}\{0\}, then
on a set of lower logarithmic density 1.
Lemma 3.3 ([26])
Let f(z) be a meromorphic function of finite order ρ, and let c\in \mathbb{C}\mathrm{\setminus}\{0\}. Then, for each \epsilon >0, one has
From the proof of Theorem 2.1 in [26], we know if f(z) is of zero order, then (3.5) can be written into
From Lemma 3.2 and (3.6), we can obtain
Lemma 3.4 If f(z) is a nonconstant zeroorder meromorphic function and q\in \mathbb{C}\mathrm{\setminus}\{0\}, then
on a set of lower logarithmic density 1.
Remark 5 If f(z) is a transcendental meromorphic function of finite logarithmic order λ, then (3.7) can be rewritten into
Lemma 3.5 ([27])
Let f be a nonconstant meromorphic function, n be a positive integer. P(f)={a}_{n}{f}^{n}+{a}_{n1}{f}^{n1}+\cdots +{a}_{1}f where {a}_{i} is a meromorphic function satisfying T(r,{a}_{i})=S(r,f) (i=1,2,\dots ,n). Then
Lemma 3.6 If f(z) is a nonconstant zeroorder meromorphic function and q\in \mathbb{C}\mathrm{\setminus}\{0\}, then
on a set of lower logarithmic density 1.
From the proofs of Theorem 1.3 [19] and Theorem 2.2 [26], we can obtain the lemma easily. If f(z) is a transcendental meromorphic function of finite logarithmic order λ, then (3.9) can be rewritten into
Let f(z) be a nonconstant meromorphic function of zero order, and let q,c\in \mathbb{C}\mathrm{\setminus}\{0\}. Then
on a set of logarithmic density 1.
Lemma 3.8 If f(z) is a transcendental meromorphic function of finite logarithmic order λ and c\in \mathbb{C}\mathrm{\setminus}\{0\}, and n\ge 2 is an integer, set G(z)={f}^{n}(z)f(qz+c), then T(r,G)=O(T(r,f)).
Proof We can rewrite G(z) in the form
For each \epsilon >0, by Lemma 3.7 and (3.11), we get that
From Lemma 3.6, we have
By (3.12) and (3.13), we have
By Lemma 3.5 and (3.8), we have
Thus, from (3.15) we have
That is, T(r,f)\le O(T(r,G)) from n\ge 2.
Thus, (3.14) and (3.16) give that T(r,G)=O(T(r,f)). □
Proof of Theorem 2.1 Denote G(z)=f{(z)}^{n}f(qz+c).
We claim that G(z) is transcendental if n\ge 2.
Suppose that G(z) is a rational function R(z). Then f{(z)}^{n}=R(z)/f(qz+c). Therefore, by Lemma 3.5 and (3.8), nT(r,f(z))=T(r,f{(z)}^{n})=T(r,R(z)/f(qz+c))\le T(r,f(qz+c))+O(logr)=(1+o(1))T(r,f(z)), which contradicts n\ge 2.
Hence, the claim holds.
By Lemma 3.1, Lemmas 3.53.6, Lemma 3.8, and (3.8), we have
where U(r,f)={(logr)}^{\lambda (r)} is a logarithmictype function of T(r,f).
Note that for the logarithmic exponent of convergence of poles less than \lambda 1, we have
Suppose that
By Lemma 3.8, we know (3.19) can be written into
From (3.17) and (3.20), we have
for sufficiently large r.
By (3.19), (3.21), and n\ge 2, we have
This contradicts the fact that T(r,f) has logarithmic order λ. Hence,
That is, Gb has infinitely many zeros, then {f}^{n}(z)f(qz+c)b has infinitely many zeros. This completes the proof of Theorem 2.1. □
4 Proof of Theorems 2.2 and 2.3
Let
By Lemma 3.4 and (3.8), we obtain
which implies that
From (4.1), we can easily get
By (4.2)(4.3) and n\ge 3, we have
We claim that \phi (z) is transcendental. Suppose that \phi (z) is rational, it contradicts (4.2) if n\ge 3. The claim holds.
Suppose that N(r,\frac{1}{\phi 1})=o\{T(r,\phi )\}. In the following, we will get a contradiction. By (4.4), we have
Note that for the logarithmic exponent of convergence of poles less than \lambda 1, we have
By Lemma 3.1 and (4.4)(4.5), we obtain
where U(r,f)={(logr)}^{\lambda (r)} is a logarithmictype function of T(r,f).
By (4.2) and (4.7), we have
for sufficiently large r. Hence, by (4.6) we have
This contradicts the fact that T(r,f) has logarithmic order λ. Hence,
That is, \phi 1 has infinitely many zeros, then {f}^{n}(z)+a[f(qz+c)f(z)]b has infinitely many zeros.
This completes the proof of Theorem 2.2.
The proof of Theorem 2.3 is similar to the proof of Theorem 2.2, we omit it here.
References
 1.
Hayman W: Meromorphic Functions. Clarendon, Oxford; 1964.
 2.
Yang L: Value Distribution Theory. Springer, Berlin; 1993.
 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. A 2007, 137: 457–474.
 4.
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/s000100028010z
 5.
Ishizaki K, Yanagihara N: WimanValiron method for difference equations. Nagoya Math. J. 2004, 175: 75–102.
 6.
Ishizaki K, Yanagihara N: Borel and Julia directions of meromorphic Schröder functions. Math. Proc. Camb. Philos. Soc. 2005, 139: 139–147. 10.1017/S0305004105008492
 7.
Xu JF, Zhang ZL: An application to the Borel directions of Schröder functions. Adv. Math. 2008, 37(1):101–106.
 8.
Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci. 2011, 31: 627–633.
 9.
Chen ZX: On value distribution of difference polynomials of meromorphic functions. Abstr. Appl. Anal. 2011., 2011: Article ID 239853
 10.
Liu K: Zeros of difference polynomials of meromorphic functions. Results Math. 2010, 57: 365–376. 10.1007/s0002501000344
 11.
Liu K, Laine I: A note on value distribution of difference polynomials. Bull. Aust. Math. Soc. 2010, 81(3):353–360. 10.1017/S000497270900118X
 12.
Liu K, Liu XL, Cao TB: Value distributions and uniqueness of difference polynomials. Adv. Differ. Equ. 2011., 2011: Article ID 234215
 13.
Liu K, Qi XG: Meromorphic solutions of q shift difference equations. Ann. Pol. Math. 2011, 101(3):215–225. 10.4064/ap10132
 14.
Laine I, Yang CC: Clunie theorems for difference and q difference polynomials. J. Lond. Math. Soc. 2007, 76(3):556–566. 10.1112/jlms/jdm073
 15.
Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A 2007, 83: 148–151. 10.3792/pjaa.83.148
 16.
Hayman W: Picard values of meromorphic functions and their derivatives. Ann. Math. 1959, 70: 9–42. 10.2307/1969890
 17.
Mues E: Über ein problem von Hayman. Math. Z. 1979, 164: 239–259. 10.1007/BF01182271
 18.
Bergeiler W, Eremenko A: On the singularities of the inverse to a meromorphic function of finite order. Rev. Mat. Iberoam. 1995, 11: 355–373.
 19.
Zhang JL, 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.038
 20.
Chern PTY: On meromorphic functions with finite logarithmic order. Trans. Am. Math. Soc. 2006, 358(2):473–489. 10.1090/S0002994705040249
 21.
Chern PTY, Kim IS: Criteria of an entire series with finite logarithmic order. Taiwan. J. Math. 2011, 15(1):331–336.
 22.
Bergweiler W, Ishizaki K, Yanagihara N: Meromorphic solutions of some functional equations. Methods Appl. Anal. 1998, 5: 248–258. Correction: Methods Appl. Anal. 6(4), 617–618 (1999)
 23.
Katsuya I: Value distribution theory and its applications for some linear functional equations. Univ. Joensuu Dept. Math. Rep. Ser. 6. In Symposium on Complex Differential and Functional Equations. Univ. Joensuu, Joensuu; 2004:85–93.
 24.
Fletcher A, Langley JK, Meyer J: Slowly growing meromorphic functions and the zeros of differences. Math. Proc. R. Ir. Acad., Sect. A 2009, 109(2):147–154. 10.3318/PRIA.2009.109.2.147
 25.
Zhang, XB, Yi, HX: On some problems of difference functions and difference equations. Bull. Malays. Math. Sci. Soc. (to appear)
 26.
Chiang YM, Feng SJ:On the Nevanlinna characteristic of f(z+\eta ) and difference equations in the complex plane. Ramanujan J. 2008, 16(1):105–129. 10.1007/s1113900791011
 27.
Yang CC, Yi HX: The Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht; 2003.
 28.
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
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Nos. 11126327, 11171184), the Science Research Foundation of CAUC, China (No. 2011QD10X), NSF of Guangdong Province (No. S2011010000735), STP of Jiangmen, China (No. [2011]133) and The Foundation for Distinguished Young Talents in Higher Education of Guangdong, China (No. 2012LYM_0126).
Author information
Affiliations
Corresponding author
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.
About this article
Cite this article
Xu, J., Zhang, X. The zeros of qshift difference polynomials of meromorphic functions. Adv Differ Equ 2012, 200 (2012). https://doi.org/10.1186/168718472012200
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472012200
Keywords
 difference equation
 meromorphic function
 logarithmic order
 Nevanlinna theory
 difference polynomials