- Research
- Open Access

# The zeros of *q*-shift difference polynomials of meromorphic functions

- Junfeng Xu
^{1}Email author and - Xiaobin Zhang
^{2}

**2012**:200

https://doi.org/10.1186/1687-1847-2012-200

© Xu and Zhang; licensee Springer 2012

**Received: **28 May 2012

**Accepted: **6 November 2012

**Published: **22 November 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 well-known differential polynomials, where $f(z)$ is a meromorphic function with finite logarithmic order.

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

## Keywords

- difference equation
- meromorphic function
- logarithmic order
- Nevanlinna theory
- difference polynomials

## 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 zero-sequence 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)$.

*q*-difference equation

where the right-hand 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 *q*-difference has been developed to study *q*-difference equations and *q*-difference 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 *q*-shift difference polynomials (see [13]), which can be seen as difference versions of the above classical results.

**Theorem C** *Let* *f* *be a zero*-*order 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 zero*-*order 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]).

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

*λ*. A non-negative 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 one-sided 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 *logarithmic-type 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)$.

*a*-point of $f(z)$ means a root of the equation $f(z)=a$. Let $\{{z}_{j}(a)\}$ be the sequence of

*a*-points 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*

*a-points 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 *a*-points 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 *a*-points of $f(z)$. The corresponding result for meromorphic functions of finite logarithmic order also holds. That is, if $f(z)$ is a non-constant 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 *a*-points 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 non-constant 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)=(1-z)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}}{(1-z/{q}^{j})}^{-1}$, $|p|>1$. Then $f(qz)=\frac{f(z)}{1-qz}$ and ${f}^{n}(z)f(qz)=\frac{f{(z)}^{n+1}}{1-qz}$ 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 logarithmic*-

*type 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 non*-

*constant zero*-

*order 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 Lemma 3.2 and (3.6), we can obtain

**Lemma 3.4**

*If*$f(z)$

*is a non*-

*constant zero*-

*order 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 non*-

*constant meromorphic function*,

*n*

*be a positive integer*. $P(f)={a}_{n}{f}^{n}+{a}_{n-1}{f}^{n-1}+\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 non*-

*constant zero*-

*order meromorphic function and*$q\in \mathbb{C}\mathrm{\setminus}\{0\}$,

*then*

*on a set of lower logarithmic density* 1.

*λ*, then (3.9) can be rewritten into

*Let*$f(z)$

*be a non*-

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

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.

where $U(r,f)={(logr)}^{\lambda (r)}$ is a logarithmic-type function of $T(r,f)$.

for sufficiently large *r*.

*λ*. Hence,

That is, $G-b$ 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

We claim that $\phi (z)$ is transcendental. Suppose that $\phi (z)$ is rational, it contradicts (4.2) if $n\ge 3$. The claim holds.

where $U(r,f)={(logr)}^{\lambda (r)}$ is a logarithmic-type function of $T(r,f)$.

*r*. Hence, by (4.6) we have

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

## Declarations

### 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).

## Authors’ Affiliations

## References

- Hayman W:
*Meromorphic Functions*. Clarendon, Oxford; 1964.MATHGoogle Scholar - Yang L:
*Value Distribution Theory*. Springer, Berlin; 1993.MATHGoogle Scholar - 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.MathSciNetView ArticleMATHGoogle Scholar - 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/s00010-002-8010-zMathSciNetView ArticleMATHGoogle Scholar - Ishizaki K, Yanagihara N: Wiman-Valiron method for difference equations.
*Nagoya Math. J.*2004, 175: 75–102.MathSciNetMATHGoogle Scholar - Ishizaki K, Yanagihara N: Borel and Julia directions of meromorphic Schröder functions.
*Math. Proc. Camb. Philos. Soc.*2005, 139: 139–147. 10.1017/S0305004105008492MathSciNetView ArticleMATHGoogle Scholar - Xu JF, Zhang ZL: An application to the Borel directions of Schröder functions.
*Adv. Math.*2008, 37(1):101–106.MathSciNetGoogle Scholar - Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials.
*Acta Math. Sci.*2011, 31: 627–633.MathSciNetView ArticleMATHGoogle Scholar - Chen ZX: On value distribution of difference polynomials of meromorphic functions.
*Abstr. Appl. Anal.*2011., 2011: Article ID 239853Google Scholar - Liu K: Zeros of difference polynomials of meromorphic functions.
*Results Math.*2010, 57: 365–376. 10.1007/s00025-010-0034-4MathSciNetView ArticleMATHGoogle Scholar - Liu K, Laine I: A note on value distribution of difference polynomials.
*Bull. Aust. Math. Soc.*2010, 81(3):353–360. 10.1017/S000497270900118XMathSciNetView ArticleMATHGoogle Scholar - Liu K, Liu XL, Cao TB: Value distributions and uniqueness of difference polynomials.
*Adv. Differ. Equ.*2011., 2011: Article ID 234215Google Scholar - Liu K, Qi XG: Meromorphic solutions of
*q*-shift difference equations.*Ann. Pol. Math.*2011, 101(3):215–225. 10.4064/ap101-3-2MathSciNetView ArticleMATHGoogle Scholar - Laine I, Yang CC: Clunie theorems for difference and
*q*-difference polynomials.*J. Lond. Math. Soc.*2007, 76(3):556–566. 10.1112/jlms/jdm073MathSciNetView ArticleMATHGoogle Scholar - Laine I, Yang CC: Value distribution of difference polynomials.
*Proc. Jpn. Acad., Ser. A*2007, 83: 148–151. 10.3792/pjaa.83.148MathSciNetView ArticleMATHGoogle Scholar - Hayman W: Picard values of meromorphic functions and their derivatives.
*Ann. Math.*1959, 70: 9–42. 10.2307/1969890MathSciNetView ArticleMATHGoogle Scholar - Mues E: Über ein problem von Hayman.
*Math. Z.*1979, 164: 239–259. 10.1007/BF01182271MathSciNetView ArticleMATHGoogle Scholar - Bergeiler W, Eremenko A: On the singularities of the inverse to a meromorphic function of finite order.
*Rev. Mat. Iberoam.*1995, 11: 355–373.View ArticleMathSciNetGoogle Scholar - 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.038MathSciNetView ArticleMATHGoogle Scholar - Chern PTY: On meromorphic functions with finite logarithmic order.
*Trans. Am. Math. Soc.*2006, 358(2):473–489. 10.1090/S0002-9947-05-04024-9MathSciNetView ArticleMATHGoogle Scholar - Chern PTY, Kim IS: Criteria of an entire series with finite logarithmic order.
*Taiwan. J. Math.*2011, 15(1):331–336.MathSciNetMATHGoogle Scholar - 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)MathSciNetMATHGoogle Scholar - 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.Google Scholar - 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.147MathSciNetView ArticleMATHGoogle Scholar - Zhang, XB, Yi, HX: On some problems of difference functions and difference equations. Bull. Malays. Math. Sci. Soc. (to appear)Google Scholar
- Chiang Y-M, Feng S-J:On the Nevanlinna characteristic of $f(z+\eta )$ and difference equations in the complex plane.
*Ramanujan J.*2008, 16(1):105–129. 10.1007/s11139-007-9101-1MathSciNetView ArticleMATHGoogle Scholar - Yang CC, Yi HX:
*The Uniqueness Theory of Meromorphic Functions*. Kluwer Academic, Dordrecht; 2003.View ArticleMATHGoogle Scholar - 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.010MathSciNetView ArticleMATHGoogle Scholar

## Copyright

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