 Research
 Open Access
 Published:
On the value distribution and uniqueness of difference polynomials of meromorphic functions
Advances in Difference Equations volume 2013, Article number: 90 (2013)
Abstract
In this paper, we study the zeros of difference polynomials of meromorphic functions of the forms
where $P(f)$ is a nonzero polynomial of degree n, ${c}_{j}\in \mathbb{C}\setminus \{0\}$ ($j=1,\dots ,d$) are distinct constants, $n,k,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,\dots ,d)\in {\mathbb{N}}_{+}$, and $\alpha (z)$ is a small function of f. Our results of this paper are an improvement of the previous theorems given by Chen and Chen (Chinese Ann. Math., Ser. A 33(3):359374, 2012) and Liu et al. (Appl. Math. J. Chin. Univ. Ser. B 27(1):94104, 2012). In addition, we also investigate the uniqueness for difference polynomials of transcendental entire functions sharing one value and obtain some results which extend the recent theorem given by Liu et al. (Adv. Differ. Equ. 2011:234215, 2012).
MSC:30D35, 39A10.
1 Introduction and main results
This purpose of this paper is to study the problem of the zeros and uniqueness of complex difference polynomials of meromorphic functions. The fundamental results and the standard notations of the Nevanlinna value distribution theory of meromorphic functions are used (see [1, 2]). In addition, for a meromorphic function f, we use $S(r,f)$ to denote any quantity satisfying $S(r,f)=o(T(r,f))$ for all r outside a possible exceptional set E of finite logarithmic measure ${lim}_{r\to \mathrm{\infty}}{\int}_{[1,r)\cap E}\frac{dt}{t}<\mathrm{\infty}$. A meromorphic function $a(z)$ is called a small function with respect to f if $T(r,a(z))=S(r,f)$, and the hyper order of a meromorphic function f is defined by
Recently, the topic of a difference equation and a difference product in the complex plane ℂ has attracted many mathematicians, a number of papers have focused on value distribution and uniqueness of differences and differences operator analogues of Nevanlinna theory (including [3–7]).
For a transcendental meromorphic function f of finite order, a nonzero complex constant c and $\alpha (z)\in \mathbb{S}(f)$, Liu et al. [8], Chen et al. [9], Luo and Lin [10] studied the zeros distributions of difference polynomials of meromorphic functions and obtained: If $n\ge 6$, then $f{(z)}^{n}f(z+c)\alpha (z)$ has infinitely many zeros [[8], Theorem 1.2]; if $n>m$, then $P(f)f(z+c)a(z)$ has infinitely many zeros (see [[10], Theorem 1]), where $P(z)={a}_{n}{z}^{n}+{a}_{n1}{z}^{n1}+\cdots +{a}_{1}z+{a}_{0}$ is a nonzero polynomial, where ${a}_{0},{a}_{1},\dots ,{a}_{n}$ (≠0) are complex constants and m is the number of the distinct zeros of $P(z)$.
In 2012, Liu et al. [11] studied the zeros distribution of differencedifferential polynomials, which are the derivatives of difference products of entire functions, and obtained the result as follows.
Theorem 1.1 (see [[11], Theorem 1.1])
Let f be a transcendental entire function of finite order. If $n\ge k+2$, then the differencedifferential polynomial ${[f{(z)}^{n}f(z+c)]}^{(k)}\alpha (z)$ has infinitely many zeros.
In the same year, Chen and Chen [12] studied the zeros of difference polynomials ${f}^{n}({f}^{m}1){\prod}_{j=1}^{d}f{(z+{c}_{j})}^{{s}_{j}}$, where ${c}_{j}\in \mathbb{C}\setminus \{0\}$ ($j=1,\dots ,d$) are distinct constants, $n,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,\dots ,d)\in {\mathbb{N}}_{+}$, and obtained the following theorem.
Theorem 1.2 (see [[12], Theorem 1.1])
Let f be a transcendental entire function of finite order. If $n\ge 2$, then ${f}^{n}({f}^{m}1){\prod}_{j=1}^{d}f{(z+{c}_{j})}^{{s}_{j}}\alpha (z)$ has infinitely many zeros.
Let
We investigate the value distribution of difference polynomials of a more general form
where $P(f)$ is a nonzero polynomial of degree n, m is the number of the distinct zeros of $P(z)$, ${c}_{j}\in \mathbb{C}\setminus \{0\}$ ($j=1,\dots ,d$) are distinct constants, $n,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,\dots ,d)\in {\mathbb{N}}_{+}$, and $\alpha (z)$ is a small function of f. Set $\lambda ={s}_{1}+{s}_{2}+\cdots +{s}_{d}$, we obtain the following results.
Theorem 1.3 Let f be a transcendental meromorphic (resp. entire) function of ${\rho}_{2}(f)<1$, and let $F(z)$ be stated as in (1). If ${c}_{j}\in \mathbb{C}\setminus \{0\}$ ($j=1,\dots ,d$) are distinct constants, $n,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,\dots ,d)\in {\mathbb{N}}_{+}$ satisfy $n>m(k+1)+2d+1+\lambda $ (resp. $n>m(k+1)+d\lambda $), then ${(F(z))}^{(k)}\alpha (z)$ has infinitely many zeros.
Theorem 1.4 Let f be a transcendental meromorphic (resp. entire) function of ${\rho}_{2}(f)<1$, and let ${F}_{1}(z)$ be stated as in (2). If ${c}_{j}\in \mathbb{C}\setminus \{0\}$ ($j=1,\dots ,d$) are distinct constants, $n,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,\dots ,d)\in {\mathbb{N}}_{+}$ satisfy $n>(m+2d)(k+1)+\lambda +d+1$ (resp. $n>(m+2d)(k+1)$), then ${({F}_{1}(z))}^{(k)}\alpha (z)$ has infinitely many zeros, provided that $f(z+{c}_{j})\ne f(z)$ for $j=1,2,\dots ,d$.
Let $f(z)$ and $g(z)$ be two nonconstant meromorphic functions for some $a\in \mathbb{C}\cup \{\mathrm{\infty}\}$. If the zeros of $f(z)a$ and $g(z)a$ (if $a=\mathrm{\infty}$, zeros of $f(z)a$ and $g(z)a$ are the poles of $f(z)$ and $g(z)$ respectively) coincide in locations and multiplicities, we say that $f(z)$ and $g(z)$ share the value a CM (counting multiplicities), and if they coincide in locations only, we say that $f(z)$ and $g(z)$ share a IM (ignoring multiplicities).
For the uniqueness of difference of meromorphic functions, some results have been obtained (see [8, 10, 13–15]). Here, we only state some newest theorems as follows.
Theorem 1.5 [[10], Theorem 2]
Let f and g be transcendental entire functions of finite order, let c be a nonzero complex constant, let $P(z)$ be stated as in Theorem 1.3, and let $n>2{\mathrm{\Gamma}}_{0}+1$ be an integer, where ${\mathrm{\Gamma}}_{0}={m}_{1}+2{m}_{2}$, ${m}_{1}$ is the number of simple zeros of $P(z)$, and ${m}_{2}$ is the number of multiple zeros of $P(z)$. If $P(f)f(z+c)$ and $P(g)g(z+c)$ share 1 CM, then one of the following results holds:

(i)
$f\equiv tg$ for a constant t such that ${t}^{l}=1$, where $l=GCD\{{\lambda}_{0},{\lambda}_{1},\dots ,{\lambda}_{n}\}$ and
$${\lambda}_{i}=\{\begin{array}{ll}i+1,& {a}_{i}\ne 0,\\ n+1,& {a}_{i}=0,\end{array}\phantom{\rule{1em}{0ex}}i=0,1,2,\dots ,n.$$ 
(ii)
f and g satisfy the algebraic equation $R(f,g)\equiv 0$, where $R({\omega}_{1},{\omega}_{2})=P({\omega}_{1}){\omega}_{1}(z+c)P({\omega}_{2}){\omega}_{2}(z+c)$;

(iii)
$f(z)={e}^{\alpha (z)}$, $g(z)={e}^{\beta (z)}$, where $\alpha (z)$ and $\beta (z)$ are two polynomials, b is a constant satisfying $\alpha +\beta \equiv b$ and ${a}_{n}^{2}{e}^{(n+1)b}=1$.
In this paper, we investigate the uniqueness problem of difference polynomials of entire functions
and obtain the following results.
Theorem 1.6 Let f, g be transcendental entire functions of ${\rho}_{2}(f),{\rho}_{2}(g)<1$. If ${({F}^{\ast}(z))}^{(k)}$ and ${({G}^{\ast}(z))}^{(k)}$ share 1 CM and $n>max\{2(k+d+2)+m\lambda ,2d+2+\lambda ,k+1\}$, where ${c}_{j}\in \mathbb{C}$, $n,m,k,d,{s}_{j}\phantom{\rule{0.25em}{0ex}}(j=1,2,\dots ,d)\in {\mathbb{N}}_{+}$, then $f\equiv tg$ for a constant t such that ${t}^{\kappa}=1$, where $\kappa =GCD\{m,n+\lambda \}$.
Theorem 1.7 Under the assumptions of Theorem 1.6, if ${({F}^{\ast}(z))}^{(k)}$ and ${({G}^{\ast}(z))}^{(k)}$ share 1 IM and $n>max\{5(k+d)+4m+7\lambda ,k+1\}$, then the conclusions of Theorem 1.6 hold.
2 Some lemmas
To prove our theorems, we require some lemmas as follows.
Lemma 2.1 [2]
Let f be a nonconstant meromorphic function, and let $P(f)={a}_{0}+{a}_{1}f+{a}_{2}{f}^{2}+\cdots +{a}_{n}{f}^{n}$, where ${a}_{0},{a}_{1},{a}_{2},\dots ,{a}_{n}$ are constants and ${a}_{n}\ne 0$. Then
Lemma 2.2 [[16], Theorem 5.1]
Let f be a transcendental meromorphic function of ${\rho}_{2}(f)<1$, $\varsigma <1$, and let ε be an enough small number. Then
for all r outside of a set of finite logarithmic measure.
Lemma 2.3 [[16], Lemma 8.3]
Let $T:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ be a nondecreasing continuous function, and let $s\in (0,+\mathrm{\infty})$. If the hyper order of T is strictly less that one, that is,
and $\delta \in (0,1\varsigma )$, then
for all r runs to infinity outside of a set of finite logarithmic measure.
From Lemma 2.3, we can get the following lemma easily.
Lemma 2.4 Let $f(z)$ be a transcendental meromorphic function of hyper order ${\rho}_{2}(f)<1$, and let c be a nonzero complex constant. Then we have
and
Lemma 2.5 Let f be a transcendental meromorphic function of ${\rho}_{2}(f)<1$, let $F(z)$ be stated as in (1). Then we have
If f is a transcendental entire function of ${\rho}_{2}(f)<1$, we have
where $\lambda ={s}_{1}+{s}_{2}+\cdots +{s}_{d}$.
Proof If f is a transcendental entire function of ${\rho}_{2}(f)<1$, from Lemma 2.1Lemma 2.3, we have
On the other hand, from Lemma 2.1, we have
Thus, we can get (4).
If f is a meromorphic function of ${\rho}_{2}(f)<1$, from Lemma 2.1 and Lemma 2.4, we have
On the other hand, from Lemma 2.1 and Lemma 2.4, we have
Thus, we can get (3). □
Using the same method as in Lemma 2.5, we can get the following lemma easily.
Lemma 2.6 Let f be a transcendental meromorphic function of ${\rho}_{2}(f)<1$, and let ${F}_{1}(z)$ be stated as in (2). Then we have
If f is a transcendental entire function of ${\rho}_{2}(f)<1$, we have
In the following, we explain some definitions and notations which are used in this paper. For $a\in \mathbb{C}\cup \mathrm{\infty}$ and k is a positive integer, we denote by ${\overline{N}}_{k}(r,\frac{1}{fa})$ the counting function of those apoints of f whose multiplicities are not less than k; in counting the apoints of f, we ignore the multiplicities (see [1, 17]) and ${N}_{k}(r,\frac{1}{fa})=\overline{N}(r,\frac{1}{fa})+{\overline{N}}_{2}(r,\frac{1}{fa})+\cdots +{\overline{N}}_{k}(r,\frac{1}{fa})$.
Definition 2.7 [18]
When f and g share 1 IM, we denote by ${\overline{N}}_{L}(r,\frac{1}{f1})$ the counting function of the 1points of f whose multiplicities are greater than 1points of g, where each zero is counted only once; similarly, we have ${\overline{N}}_{L}(r,\frac{1}{g1})$. Let ${z}_{0}$ be a zero of $f1$ of multiplicity p and a zero of $g1$ of multiplicity q. We also denote by ${N}_{11}(r,\frac{1}{f1})$ the counting function of those 1points of f where $p=q=1$.
Lemma 2.8 [2] and [[7], Lemma 2.4]
Let f be a nonconstant meromorphic function, and let p, k be positive integers. Then
Lemma 2.9 [19]
Let f and g be two meromorphic functions. If f and g share 1 CM, then one of the following three cases holds:

(i)
$$\begin{array}{rl}T(r,f)+T(r,g)\le & 2{N}_{2}(r,f)+2{N}_{2}(r,g)+2{N}_{2}(r,\frac{1}{f})+2{N}_{2}(r,\frac{1}{g})\\ +S(r,f)+S(r,g);\end{array}$$

(ii)
$f\equiv g$;

(iii)
$f\cdot g=1$.
Lemma 2.10 [20]
Let f and g be two meromorphic functions. If f and g share 1 IM, then one of the following cases must occur:

(i)
$$\begin{array}{rl}T(r,f)+T(r,g)\le & 2[{N}_{2}(r,f)+{N}_{2}(r,\frac{1}{f})+{N}_{2}(r,g)+{N}_{2}(r,\frac{1}{g})]\\ +3{\overline{N}}_{L}(r,\frac{1}{f1})+3{\overline{N}}_{L}(r,\frac{1}{g1})\\ +S(r,f)+S(r,g);\end{array}$$

(ii)
$f=\frac{(b+1)g+(ab1)}{bg+(ab)}$, where a (≠0), b are two constants.
Lemma 2.11 [[21], Theorem 2.1]
Let ${a}_{0}(z),\dots ,{a}_{n}(z),b(z)$ be polynomials such that ${a}_{0}(z){a}_{n}(z)\not\equiv 0$, $deg({\sum}_{deg{a}_{j}=d}{a}_{j})=d$, where $d={max}_{0\le j\le n}\{deg{a}_{j}\}$. If $f(z)$ is a transcendental meromorphic solution of
then $\rho (f)\ge 1$.
Lemma 2.12 Let $f(z)$ and $g(z)$ be transcendental entire functions of ${\rho}_{2}(f)<1$, ${\rho}_{2}(g)<1$. If $n\ge k+1$ and
then $f\equiv g$.
Proof Suppose that $f\not\equiv g$. Since $f(z)$ and $g(z)$ are transcendental entire functions of ${\rho}_{2}(f)<1$, ${\rho}_{2}(g)<1$ and $n\ge k+1$, we have that f and g have no zeros. Then we can set $f(z)={e}^{\alpha (z)}$ and $g(z)={e}^{\beta (z)}$, where $\alpha (z)$, $\beta (z)$ are entire functions with order less than one. Substituting f and g into (5), we get
Set
If $k=1$, we have
which implies that ${A}_{1}^{\prime}(z){e}^{{A}_{1}(z)}{A}_{2}^{\prime}(z){e}^{{A}_{2}(z)}$ has no zeros. If ${A}_{1}^{\prime}(z)\ne 0$, then ${A}_{2}^{\prime}(z)\equiv 0$, and thus ${A}_{2}(z)$ has to be a constant, that is,
where ${\xi}_{1}\in \mathbb{C}$. Then from Lemma 2.11, we get $\rho (\alpha (z))\ge 1$, which implies ${\rho}_{2}(f)\ge 1$. Hence, we can get a contradiction. If ${A}_{1}^{\prime}(z)=0$, then ${A}_{1}(z)$ has to be a constant, that is,
where ${\xi}_{2}\in \mathbb{C}$. Thus, from Lemma 2.11 we can get that ${\rho}_{2}(f)\ge 1$, a contradiction.
If $k\ge 2$, then we have
where
${c}_{\mu}$, ${d}_{\mu}$ are positive integers, ${i}_{\iota},{j}_{\iota}\in N$ ($\iota =1,2,\dots ,k1$), $I=\{{i}_{1},{i}_{2},\dots ,{i}_{k1}\}$ and $J=\{{j}_{1},{j}_{2},\dots ,{j}_{k1}\}$ satisfy
From (6), we have $({U}_{1}^{\prime}+{A}_{1}^{\prime}{U}_{1}){e}^{{A}_{1}}({U}_{2}^{\prime}+{A}_{2}^{\prime}{U}_{2}){e}^{{A}_{2}}$ has no zeros. If ${U}_{1}^{\prime}+{A}_{1}^{\prime}{U}_{1}\ne 0$, then ${U}_{2}^{\prime}+{A}_{2}^{\prime}{U}_{2}=0$. If ${A}_{2}$ is transcendental entire, we have
Since ${A}_{1}$, ${A}_{2}$ are entire, we have
Thus, from (7), (8) and the definition of ${U}_{2}$, we can get $T(r,{A}_{2}^{\prime})\le o(T(r,{A}_{2}^{\prime}))$, a contradiction with ${A}_{2}^{\prime}$ is transcendental entire. Hence, ${A}_{2}$ is a polynomial. From Lemma 2.11, we can get ${\rho}_{2}(f)\ge 1$, which is a contradiction. If ${U}_{1}^{\prime}+{A}_{1}^{\prime}{U}_{1}=0$, similar to the above argument, we can get a contradiction.
Therefore, we can get that $f\equiv g$. □
3 Proofs of Theorems 1.3 and 1.4
3.1 The Proof of Theorem 1.3
From (1), by Lemma 2.5 and Lemma 2.8, we have that $F(z)$ is not constant and $S(r,{F}^{(k)})=S(r,F)=S(r,f)$. Next, we consider two cases.
Case 1. If f is a transcendental meromorphic function of ${\rho}_{2}(f)<1$, we first suppose that ${(P(f){\prod}_{j=1}^{d}f{(z+{c}_{j})}^{{s}_{j}})}^{(k)}=a(z)$ has finitely solutions. By the second fundamental theorem for three small functions (see [[1], Theorem 2.25]) and Lemma 2.8, we have
By Lemma 2.4, Lemma 2.5 and Lemma 2.8, we obtain
From f is transcendental and $n>m(k+1)+2d+1+\lambda $, we can get a contradiction to (10). Then $F{(z)}^{(k)}a(z)$ has infinitely many zeros.
Case 2. If f is a transcendental entire function of ${\rho}_{2}(f)<1$. Suppose that ${(P(f){\prod}_{j=1}^{d}f{(z+{c}_{j})}^{{s}_{j}})}^{(k)}=a(z)$ has finitely solutions. By using the same argument as in Case 1 and (4), we have
which is a contradiction with $n>m(k+1)+d\lambda $.
Thus, we complete the proof of Theorem 1.3.
3.2 The Proof of Theorem 1.4
We consider two cases as follows.
Case 1. Suppose that f is a transcendental meromorphic function of ${\rho}_{2}(f)<1$. Similar to the proof of Case 1 in Theorem 1.3, and using Lemma 2.6, we have
Since $n>(m+2d)(k+1)+d+1+\lambda $ and f is transcendental, we can get a contradiction.
Case 2. Suppose that f is a transcendental entire function of ${\rho}_{2}(f)<1$. Similar to the proof of Case 1 in Theorem 1.4, by Lemma 2.6, we can get
which is a contradiction with $n>(m+2d)(k+1)$ and f is transcendental.
Thus, from Cases 1 and 2, we prove Theorem 1.4.
4 Proofs of Theorems 1.6 and 1.7
4.1 The proof of Theorem 1.6
Let $H(z)={({F}^{\ast}(z))}^{(k)}$ and $G(z)={({G}^{\ast}(z))}^{(k)}$. From the assumptions of Theorem 1.6, we have that $H(z)$, $G(z)$ share 1 CM. By Lemma 2.8, we have
By Lemma 2.4 and Lemma 2.5, we can get $S(r,H)=S(r,f)$. Similarly, we have $S(r,G)=S(r,g)$. Then the following three cases are considered.
Case 1. Suppose that $H(z)$, $G(z)$ satisfy Lemma 2.9(i). Since $f(z)$, $g(z)$ are entire functions of ${\rho}_{2}(f)$, ${\rho}_{2}(g)<1$, from Lemma 2.4 and Lemma 2.5, we have
and
From (11) and by Lemma 2.5, we have
Similarly, we have
and
Then, from Lemma 2.9(i) and (10)(14), we have
Since f, g are transcendental and $n>2(k+d+2)+m\lambda $, we can get a contradiction.
Case 2. If $H(z)\equiv G(z)$, then we have
where $Q(z)$ is a polynomial of degree at most $k1$. If $Q(z)\not\equiv 0$, by the second fundamental theorem and Lemma 2.5, we have
Similarly, we have
From (17), (18) and $n>2(k+d+2)+m\lambda >2d+m+2\lambda $, we can get a contradiction. Thus, $Q(z)\equiv 0$, that is,
Set $h=\frac{f}{g}$. If h is a constant. Substituting $f=gh$ into (19), we can get
Since g is a transcendental entire function, we have ${\prod}_{j=1}^{d}g{(z+{c}_{j})}^{{s}_{j}}\not\equiv 0$. Then, from (20), we have
Suppose that ${h}^{n+\lambda}\ne 1$, by Lemma 2.4 and (21), we have $T(r,g)=S(r,g)$, which is contradiction with a transcendental function g. Then ${h}^{n+\lambda}=1$. Similar to this discussion, we can get that ${h}^{n+m+\lambda}=1$. If h is not a constant, from (19) we have
If 1 is a Picard value of $h{(z)}^{n+m}{\prod}_{j=1}^{d}{(h(z+{c}_{j}))}^{{s}_{j}}$, then by the second fundamental theorem and Lemma 2.5,
From the above inequality and $n>2d+2+\lambda >\lambda +2d+2m$, by Lemma 2.5, we can get a contradiction. Therefore, 1 is a Picard value of ${h}^{n+m}{\prod}_{j=1}^{d}{(h(z+{c}_{j}))}^{{s}_{j}}$. Now, two cases are considered as follows.
Subcase 2.1. ${h}^{n+m}{\prod}_{j=1}^{d}{(h(z+{c}_{j}))}^{{s}_{j}}\not\equiv 1$. Then from (22), we have
Then from (23) and by the second fundamental theorem and Lemma 2.5, we have
which is a contradiction with $n>2d+2+\lambda $.
Subcase 2.2. ${h}^{n+m}{\prod}_{j=1}^{d}{(h(z+{c}_{j}))}^{{s}_{j}}\equiv 1$. Thus, we have
which is a contradiction with $n>2d+2+\lambda >\lambda m$.
Case 3. If $H(z)G(z)\equiv 1$. From Lemma 2.12, we can get that $f\equiv g$.
Thus, this completes the proof of Theorem 1.6.
4.2 The proof of Theorem 1.7
From the assumptions of Theorem 1.7, we have $H(z)$, $G(z)$ share 1 IM. From the definitions of $H(z)$, $G(z)$, by Lemma 2.4, Lemma 2.5 and Lemma 2.8, we have
similarly, we have
Case 1. Suppose that $H(z)$, $G(z)$ satisfy Lemma 2.10(i). From (9), (11)(13), (24) and (25), we have
Since $n>5(k+d)+4m+7\lambda $ and f, g are transcendental, we can get a contradiction.
Case 2. If $H(z)$, $G(z)$ satisfy Lemma 2.10(ii), that is,
where a (≠0), b are two constants.
We consider three cases as follows.
Subcase 2.1. $b\ne 0,1$. If $ab1\ne 0$, then by (26) we know
Since f, g are entire functions of ${\rho}_{2}(f)<1$, ${\rho}_{2}(g)<1$, by the second fundamental theorem and Lemma 2.5, we have
that is,
Similarly, we have
From (27) and (28), we have
which is a contradiction with $n>5(k+d)+4m+7\lambda $.
If $ab1=0$, then by (26) we know $H=((b+1)G)/(bG+1)$. Since f, g are entire functions, we get that $\frac{1}{b}$ is a Picard exceptional value of $G(z)$. By the second fundamental theorem, we have
which is a contradiction with $n>5(k+d)+4m+7\lambda $.
Subcase 2.2. $b=1$. Then (26) becomes $H=a/(a+1G)$.
If $a+1\ne 0$, then $a+1$ is a Picard exceptional value of G. Similar to the discussion in Subcase 2.1, we can deduce a contradiction again.
If $a+1=0$, then $HG\equiv 1$. From Lemma 2.12, we can get that $f\equiv g$.
Subcase 2.3. $b=0$. Then (26) becomes $H=(G+a1)/a$.
If $a1\ne 0$, then $\overline{N}(r,\frac{1}{G+a1})=\overline{N}(r,\frac{1}{H})$. Similar to the discussion in Subcase 2.1, we can deduce a contradiction again.
If $a1=0$, then $H\equiv G$. Using the same argument as in the proof of Case 2 in Theorem 1.6, we can get that f, g satisfy $f\equiv tg$ for a constant t such that ${t}^{m}=1$ and ${t}^{n+\lambda}=1$.
Thus, we complete the proof of Theorem 1.7.
Author’s contributions
HYX completed the main part of this article, HYX corrected the main theorems. The author read and approved the final manuscript.
References
 1.
Hayman WK: Meromorphic Functions. Clarendon, Oxford; 1964.
 2.
Yi HX, Yang CC: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht; 2003. (Chinese original: Science Press, Beijing, 1995)
 3.
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/s1113900791011
 4.
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.010
 5.
Halburd RG, Korhonen RJ: Finiteorder meromorphic solutions and the discrete Painleve equations. Proc. Lond. Math. Soc. 2007, 94: 443–474.
 6.
Halburd RG, Korhonen RJ: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 2006, 31: 463–478.
 7.
Zhang JL, Yang LZ: Some results related to a conjecture of R. Brück. J. Inequal. Pure Appl. Math. 2007., 8: Article ID 18
 8.
Liu K, Liu XL, Cao TB: Value distributions and uniqueness of difference polynomials. Adv. Differ. Equ. 2011., 2011: Article ID 234215
 9.
Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci. 2011, 31B(2):627–633.
 10.
Luo XD, Lin WC: Value sharing results for shifts of meromorphic functions. J. Math. Anal. Appl. 2011, 377: 441–449. 10.1016/j.jmaa.2010.10.055
 11.
Liu K, Liu XL, Cao TB: Some results on zeros and uniqueness of differencedifferential polynomials. Appl. Math. J. Chin. Univ. Ser. B 2012, 27(1):94–104. 10.1007/s117660122795x
 12.
Chen MR, Chen ZX: Properties of difference polynomials of entire functions with finite order. Chin. Ann. Math., Ser. A 2012, 33(3):359–374.
 13.
Heittokangas J, Korhonen RJ, Laine I, Rieppo J: Uniqueness of meromorphic functions sharing values with their shifts. Complex Var. Elliptic Equ. 2011, 56: 81–92. 10.1080/17476930903394770
 14.
Heittokangas J, Korhonen RJ, Laine I, Rieppo J, Zhang JL: Value sharing results for shifts of meromorphic functions, and sufficient conditions for periodicity. J. Math. Anal. Appl. 2009, 355: 352–363. 10.1016/j.jmaa.2009.01.053
 15.
Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A, Math. Sci. 2007, 83: 148–151. 10.3792/pjaa.83.148
 16.
Halburd, RG, Korhonen, RJ, Tohge, K: Holomorphic curves with shiftinvariant hyperplane preimages. arXiv:0903.3236v1
 17.
Yang L: Value Distribution Theory. Springer, Berlin; 1993.
 18.
Banerjee A: Weighted sharing of a small function by a meromorphic function and its derivative. Comput. Math. Appl. 2007, 53: 1750–1761. 10.1016/j.camwa.2006.10.026
 19.
Fang ML, Hua XH: Entire functions that share one value. J. Nanjing Unvi. Math. Biquarterly 1996, 13: 44–48.
 20.
Fang CY, Fang ML: Uniqueness of meromorphic functions and differential polynomials. Comput. Math. Appl. 2002, 44: 607–617. 10.1016/S08981221(02)00175X
 21.
Li S, Gao ZS: Finite order meromorphic solutions of linear difference equations. Proc. Jpn. Acad., Ser. A, Math. Sci. 2011, 87: 73–76. 10.3792/pjaa.87.73
Acknowledgements
The author thanks the referee for his/her valuable suggestions to improve the present article. This work was supported by the NSFC (61202313), the Natural Science Foundation of JiangXi Province in China (Grant No. 2010GQS0119 and No. 20122BAB201016).
Author information
Additional information
Competing interests
The author declares that they have no competing interests.
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, H. On the value distribution and uniqueness of difference polynomials of meromorphic functions. Adv Differ Equ 2013, 90 (2013). https://doi.org/10.1186/16871847201390
Received:
Accepted:
Published:
Keywords
 uniqueness
 meromorphic function
 hyperorder