# Zeros of some difference polynomials

- Shuangting Lan
^{1}and - Zongxuan Chen
^{1}Email author

**2013**:194

https://doi.org/10.1186/1687-1847-2013-194

© Lan and Chen; licensee Springer 2013

**Received: **25 March 2013

**Accepted: **14 June 2013

**Published: **1 July 2013

## Abstract

In this paper, we study zeros of some difference polynomials in $f(z)$ and their shifts, where $f(z)$ is a finite order meromorphic function having deficient value ∞. These results improve previous findings.

## Keywords

## 1 Introduction and results

In this paper, we use the basic notions of Nevanlinna’s theory (see [1]). In addition, we use the notations $\sigma (f)$ to denote the order of growth of the meromorphic function $f(z)$, and $\lambda (f)$ to denote the exponent of convergence of zeros of $f(z)$.

Hayman [2] studied the Picard values of a meromorphic function and their derivatives, and he obtained the following result.

**Theorem A** *If* $f(z)$ *is a transcendental entire function*, $n\ge 3$ *is an integer*, *and* *a* (≠0) *is a constant*, *then* ${f}^{\prime}(z)-af{(z)}^{n}$ *assumes all finite values infinitely often*.

Yang [3, 4] extended Theorem A to some differential polynomial in $f(z)$, where $f(z)$ is a transcendental meromorphic function satisfying $N(r,f)+N(r,\frac{1}{f})=S(r,f)$.

is called a difference polynomial in $f(z)$ and its shifts, and $d(P)={max}_{\lambda \in I}\{d(\lambda )\}$ is its degree, where *I* is a finite set of the index $\lambda =({i}_{\lambda ,0},\dots ,{i}_{\lambda ,k})$, and ${a}_{\lambda}(z)$ are meromorphic coefficients being small with respect to *f* in the sense that $T(r,{a}_{\lambda})=S(r,f)$, $\lambda \in I$.

Zheng and Chen [5] obtained the following theorem, which may be considered as a difference counterpart of Theorem A.

**Theorem B** *Let* $f(z)$ *be a transcendental entire function of finite order*, *and let* *a*, *c* *be nonzero constants*. *Then*, *for any integer* $n\ge 3$, $f(z+c)-af{(z)}^{n}$ *assumes all finite values* $b\in \mathbb{C}$ *infinitely often*.

Chen [6] obtained the following Theorems C-E, which may be considered as another difference counterpart of Theorem A.

**Theorem C** *Let* $f(z)$ *be a transcendental entire function of finite order*, *and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants with* *c* *such that* $f(z+c)\not\equiv f(z)$. *Set* ${\mathrm{\Psi}}_{n}(z)=\mathrm{\Delta}f(z)-af{(z)}^{n}$, *where* $\mathrm{\Delta}f(z)=f(z+c)-f(z)$ *and* $n\ge 3$ *is an integer*. *Then* ${\mathrm{\Psi}}_{n}$ *assumes all finite values infinitely often*, *and for every* $b\in \mathbb{C}$ *one has* $\lambda ({\mathrm{\Psi}}_{n}-b)=\sigma (f)$.

**Theorem D** *Let* $f(z)$ *be a transcendental entire function of finite order with a Borel exceptional value* 0, *and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants*, *with* *c* *such that* $f(z+c)\not\equiv f(z)$. *Then* ${\mathrm{\Psi}}_{2}(z)$ *assumes all finite values infinitely often*, *and for every* $b\in \mathbb{C}$ *one has* $\lambda ({\mathrm{\Psi}}_{2}-b)=\sigma (f)$.

Zheng and Chen [7] extended the above Theorems B-D to a difference polynomial and proved the following theorem.

**Theorem E**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order satisfying*

*Suppose that*$P(z,f)$

*is a difference polynomial of the form*(1.1)

*and contains exactly one term of maximal total degree in*$f(z)$

*and its shifts*.

*Then*,

*for any given*$a\in \mathbb{C}\setminus \{0\}$,

*the difference polynomial*

*satisfies* $\delta (a,Q(z,f))<1$. *Therefore*, $Q(z,f)$ *takes every nonzero finite value infinitely often*.

*We observe that condition* (1.2) *can be weakened*. *It is well known that deficient value plays an important role in the theory of value distribution of meromorphic functions*. *In this paper*, *we consider the meromorphic function* $f(z)$ *having deficient value* ∞ *and obtain the following improvements of Theorem * E, *which may be stated as follows*.

**Theorem 1.1**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order*,

*and let*$P(z,f)$ (≢0)

*be a difference polynomial of the form*(1.1)

*with*

*k*

*different shifts*.

*Assume that*$\delta (\mathrm{\infty},f)>1-\frac{1}{2k+7}$.

*Then the difference polynomial*

*has infinitely many zeros and satisfies* $\delta (0,Q(z,f))<1$.

If we add the condition $\overline{N}(r,\frac{1}{f})=S(r,f)$, then the condition $\delta (\mathrm{\infty},f)>1-\frac{1}{2k+7}$ in Theorem 1.1 can be weakened as $\delta (\mathrm{\infty},f)>1-\frac{1}{2k+5}$, and we obtain the following theorem.

**Theorem 1.2**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order*,

*and let*$P(z,f)$ (≢0)

*be a difference polynomial of the form*(1.1)

*with*

*k*

*different shifts*.

*Assume that*$\delta (\mathrm{\infty},f)>1-\frac{1}{2k+5}$

*and*$\overline{N}(r,\frac{1}{f})=S(r,f)$,

*then the difference polynomial*

*has infinitely many zeros and satisfies* $\delta (0,Q(z,f))<1$.

**Example 1.1** For $f(z)={e}^{z}+1$, $c=log3$, we have ${\mathrm{\Psi}}_{2}(z)=-f{(z)}^{2}+\mathrm{\Delta}f(z)=-{e}^{2z}-1$. Here ${\mathrm{\Psi}}_{2}(z)\ne -1$, which shows that the condition $\overline{N}(r,\frac{1}{f})=S(r,f)$ in Theorem 1.2 cannot be replaced with $\overline{N}(r,\frac{1}{f-c})=S(r,f)$, where *c* is a nonzero constant.

If we add the additional condition $\overline{N}(r,f)=S(r,f)$, then we obtain the following.

**Theorem 1.3**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order satisfying*

*Then the difference polynomial* $Q(z,f)$ *defined by* (1.3) *has infinitely many zeros and satisfies* $\delta (0,Q(z,f))<1$.

**Theorem 1.4**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order with*$\delta (\mathrm{\infty},f)>0$

*satisfying*

*Then the difference polynomial* $Q(z,f)$ *defined by* (1.4) *has infinitely many zeros and satisfies* $\delta (0,Q(z,f))<1$.

**Remark 1.1** For any given $b\in \mathbb{C}$, applying Theorems 1.1-1.4 to the difference polynomial ${Q}^{\ast}(z,f)=Q(z,f)-b$, then we have $\delta (b,Q(z,f))<1$.

**Remark 1.2** If $Q(z,f)={a}_{n}(z)f{(z)}^{n}+P(z,f)$, where ${a}_{n}(z)$ is small with respect to *f*, applying Theorems 1.1-1.4 to the difference polynomial ${Q}^{\ast}(z,f)=\frac{Q(z,f)}{{a}_{n}(z)}$, then we also have $\delta (0,Q(z,f))<1$.

Applying Theorems 1.1-1.4 to the difference polynomial ${\mathrm{\Psi}}_{n}=\mathrm{\Delta}f(z)-af{(z)}^{n}$, we get the following Corollaries 1.5-1.8, which extend Theorems C, D.

**Corollary 1.5** *Let* $f(z)$ *be a transcendental meromorphic function of finite order with* $\delta (\mathrm{\infty},f)>\frac{8}{9}$, *and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants with* *c* *such that* $\mathrm{\Delta}f(z)$ *does not reduce to any constant and* $n\ge 3$ *is an integer*. *Then*, *for every* $b\in \mathbb{C}$, *one has* $\delta (b,{\mathrm{\Psi}}_{n})<1$.

**Corollary 1.6**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order satisfying*

*and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants*, *with* *c* *such that* $\mathrm{\Delta}f(z)$ *does not reduce to any constant and* $n\ge 3$ *is an integer*. *Then*, *for every* $b\in \mathbb{C}$, *one has* $\delta (b,{\mathrm{\Psi}}_{n})<1$.

**Corollary 1.7**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order satisfying*

*and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants*, *with* *c* *such that* $\mathrm{\Delta}f(z)$ *does not reduce to any constant*. *Then*, *for every* $b\in \mathbb{C}$, *one has* $\delta (b,{\mathrm{\Psi}}_{2})<1$.

**Corollary 1.8**

*Let*$f(z)$

*be a transcendental meromorphic function of finite order satisfying*$\delta (\mathrm{\infty},f)>0$

*and*

*and let* $a,c\in \mathbb{C}\setminus \{0\}$ *be constants with* *c* *such that* $\mathrm{\Delta}f(z)$ *does not reduce to any constant*. *Then*, *for every* $b\in \mathbb{C}$, *one has* $\delta (b,{\mathrm{\Psi}}_{2})<1$.

## 2 Lemmas for the proof of the theorem

**Lemma 2.1** [8]

*Given two distinct complex constants*${\eta}_{1}$, ${\eta}_{2}$,

*let*

*f*

*be a meromorphic function of finite order*.

*Then we have*

**Lemma 2.2** [9]

*Let*$f(z)$

*be a nonconstant meromorphic function of finite order*,

*then for any given constant*

*c*(≠0),

*we have*

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

**Lemma 2.3** [4]

*Let*$f(z)$

*be a transcendental meromorphic function*,

*and let*$P(f)$

*be an algebraic polynomial in*

*f*

*of the form*

*where*${a}_{n}(z)\not\equiv 0$, ${a}_{j}$ ($j=0,\dots ,n$)

*are small with respect to*

*f*.

*Then*

Using the same method as in the proof of Lemma 2.3, we show the following.

**Lemma 2.4**

*Let*$f(z)$

*be a transcendental meromorphic function with*$\delta (\mathrm{\infty},f)>0$,

*and let*$P(f)$

*be an algebraic polynomial in*

*f*

*of the form*(2.1),

*where*${a}_{n}(z)\not\equiv 0$, ${a}_{j}(z)$

*satisfy*$m(r,{a}_{j})=S(r,f)$, $j=0,\dots ,n$,

*then*

*Proof*Since ${a}_{j}(z)$ satisfy $m(r,{a}_{j})=S(r,f)$, $j=0,\dots ,n$, then

□

**Lemma 2.5** [10]

*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*${deg}_{f}U(z,f)=n$

*in*$f(z)$

*and its shifts*,

*and*${deg}_{f}Q(z,f)\le n$.

*Moreover*,

*we assume that all coefficients*${a}_{\lambda}(z)$

*in*(2.2)

*are small in the sense that*$T(r,{a}_{\lambda})=S(r,f)$

*and that*$U(z,f)$

*contains just one term of maximal total degree in*$f(z)$

*and its shifts*.

*Then*,

*for each*$\epsilon >0$,

*we have*

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

Yang and Laine in [11] further pointed out the following.

**Remark 2.1** If $P(z,f)$ and $Q(z,f)$ are differential-difference polynomials in $f(z)$ and its shifts with coefficients ${a}_{\lambda}(z)$ satisfy $m(r,{a}_{\lambda})=S(r,f)$, then Lemma 2.5 still holds.

## 3 Proof of Theorems 1.1-1.4

*Proof of Theorem 1.1*We assert that $Q(z,f)$ does not reduce to any constant. In fact if $Q(z,f)\equiv {C}_{1}$, where ${C}_{1}$ is some constant, then

*r*, we have

which is impossible. So, $Q(z,f)$ does not reduce to any constant.

So, $S(r,Q(z,f))\le S(r,f)$.

*i.e.*, $Q={C}_{2}{f}^{n}$ for a suitable constant ${C}_{2}$ leading to

We can see that ${C}_{2}\ne 1$, for $P(z,f)\not\equiv 0$. Since $n>d(P)$ by assumption and Lemma 2.5, (3.11) implies $m(r,f)=S(r,f)$, which shows that $T(r,f)=S(r,f)$, again by (3.3). It is a contradiction.

*ε*($0<\epsilon <\delta -1+\frac{1}{2k+7}$), we have

□

*Proof of Theorem 1.3*Using the same method as in the proof of Theorem 1.1, we see that (3.1)-(3.18) hold. By assumption $\overline{N}(r,f)=S(r,f)$ and (3.16)-(3.18), we have

*ε*, $0<\epsilon <\delta -\frac{2}{3}$, where $\delta =\delta (\mathrm{\infty},f)>\frac{2}{3}$, we have

□

*Proof of Theorem 1.2* The proof is similar to the proof of Theorem 1.1.

We also obtain (3.1)-(3.9), (3.12), (3.14) and (3.16), by assumption that $n\ge d(P)+1$.

*ε*, $0<\epsilon <\delta -1+\frac{1}{2k+5}$, where $\delta =\delta (\mathrm{\infty},f)>1-\frac{1}{2k+5}$, by (3.7), we obtain

□

*Proof of Theorem 1.4*Using the same method as in the proof of Theorem 1.2, we obtain (3.23). By (1.5) and (3.23), we have

*ε*, $0<\epsilon <\delta $, where $\delta =\delta (\mathrm{\infty},f)$, we have

□

## Declarations

### Acknowledgements

The authors would like to thank the editor and the referees for their constructive comments to improve the readability of our paper. The project was supported by the National Natural Science Foundation of China (11171119, 11126145).

## Authors’ Affiliations

## References

- Yang L:
*Value Distribution Theory and Its New Research*. Science Press, Beijing; 1982. (in Chinese)Google Scholar - Hayman WK: Picard values of meromorphic functions and their derivatives.
*Ann. Math.*1959, 70(1):9-42. 10.2307/1969890MathSciNetView ArticleGoogle Scholar - Yang CC: On deficiencies of differential polynomials.
*Math. Z.*1970, 116: 197-204. 10.1007/BF01110073MathSciNetView ArticleGoogle Scholar - Yang CC: On deficiencies of differential polynomials II.
*Math. Z.*1972, 125: 107-112. 10.1007/BF01110921MathSciNetView ArticleGoogle Scholar - Zheng XM, Chen ZX: On the value distribution of some difference polynomials.
*J. Math. Anal. Appl.*2013, 397: 814-821. 10.1016/j.jmaa.2012.08.032MathSciNetView ArticleGoogle Scholar - Chen ZX: On value distribution of difference polynomials of meromorphic functions.
*Abstr. Appl. Anal.*2011., 2011: Article ID 239853Google Scholar - Zheng XM, Chen ZX: On deficiencies of some difference polynomials.
*Acta Math. Sin.*2011, 54: 983-992. (in Chinese)MathSciNetGoogle 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: 477-487. 10.1016/j.jmaa.2005.04.010MathSciNetView ArticleGoogle Scholar - Chiang YM, Feng SJ:On the Nevanlinna characteristic of $f(z+\eta )$ and difference equations in the complex plane.
*Ramanujan J.*2008, 16: 105-129. 10.1007/s11139-007-9101-1MathSciNetView ArticleGoogle Scholar - Laine I, Yang CC: Clunie theorems for difference and
*q*-difference polynomials.*J. Lond. Math. Soc.*2007, 2(76):556-566.MathSciNetView ArticleGoogle Scholar - 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.10MathSciNetView ArticleGoogle 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.