Skip to main content

Theory and Modern Applications

Uniqueness of entire functions sharing two values with their difference operators

Abstract

In this paper, we mainly discuss the uniqueness problem when an entire function shares 0 CM and nonzero complex constant a IM with its difference operator. We also consider the general case where they share two distinct complex constants \(a^{*}\) CM and a IM under some additional condition and give some further discussions.

1 Introduction and main results

In this paper, meromorphic means meromorphic in the whole complex plane. We assume that the reader is familiar with the standard notation and results of the Nevanlinna theory (see, for instance, [1–3]).

Let \(f(z)\) and \(g(z)\) be two nonconstant meromorphic functions, and let a be an arbitrary complex constant. If \(f(z)-a\) and \(g(z)-a\) have the same zeros counting multiplicities (ignoring multiplicities), we say that \(f(z)\) and \(g(z)\) share a CM (IM). Especially, if \(f(z)\) and \(g(z)\) share a IM, then we denote by \(N_{(p,q)} (r,\frac{1}{f(z)-a} )\) (\(\overline{N}_{(p,q)} (r,\frac{1}{f(z)-a} ) \)) the counting function (the reduced counting function) of zeros of \(f(z)-a\) with respect to all the points such that they are zeros of \(f(z)-a\) with multiplicity p and zeros of \(g(z)-a\) with multiplicity q. In addition, by \(S(r,f)\) we denote any quantity that satisfies the condition \(S(r,f)=o(T(r,f))\) as \(r\to\infty\) possibly outside of an exceptional set of finite logarithmic measure.

Furthermore, we need some notation on differences. Let c be a nonzero complex constant, and let \(f(z)\) be a meromorphic function. We use the notation \(\Delta_{c}^{n}f(z)\) to denote the difference operators of \(f(z)\), which are defined by

$$ \Delta_{c} f(z) =f(z+c)-f(z)\quad \mbox{and} \quad \Delta_{c}^{n} f(z)=\Delta_{c}^{n-1}\bigl( \Delta_{c} f(z)\bigr), \quad n\in\mathbb{N}, n\geq2. $$

In particular, if \(c=1\), then we denote \(\Delta_{c}f(z)=\Delta f(z)\).

The uniqueness of meromorphic functions sharing values with their derivatives has always been an important topic of uniqueness of meromorphic functions. Many good and general results have been obtained (see [2]).

In 2000, Li and Yang [4] proved the following result.

Theorem A

([4])

Let \(f(z)\) be a nonconstant entire function, and let a and b be two distinct complex numbers. If \(f(z)\) and \(f^{(k)}(z)\) (\(k\geq1\)) share a, b IM, then \(f(z)\equiv f^{(k)}(z)\).

The uniqueness of meromorphic functions sharing values with their shifts or difference operators has become a subject of great interest recently. In 2009, Heittokangas et al. [5] started to consider the value sharing problems for shifts of meromorphic functions and obtained some important results. After that, many authors considered some related problems (see, for instance, [6–14]).

In 2013, Chen and Yi [6] considered the case where entire functions \(f(z)\) and \(\Delta_{c} f(z)\) share two values CM under the condition that the order of \(f(z)\) is not an integer or infinite and obtained the following theorem.

Theorem B

([6])

Let \(f(z)\) be a transcendental entire function such that its order \(\sigma(f)\) is not an integer or infinite, and let c be a constant such that \(f(z+c)\not\equiv f(z)\). If \(f(z)\) and \(\Delta_{c} f(z)\) share two distinct finite values a, b CM, then \(f(z)\equiv \Delta_{c} f(z)\).

In 2014, Zhang and Liao [14] discussed the case where the condition ‘its order \(\sigma(f)\) is not an integer or infinite’ is omitted and proved the following result.

Theorem C

([14])

Let \(f(z)\) be a transcendental entire function of finite order, and let a and b be two distinct constants. If \(\Delta f(z)\) (≢0) and \(f(z)\) share a, b CM, then \(\Delta f(z)\equiv f(z)\). Furthermore, \(f(z)\) must be of the form \(f(z) = 2^{z}h(z)\), where h is a periodic entire function with period 1.

In 2016, Li and Yi [8] considered the case where entire functions \(f(z)\) and \(\Delta_{c} f(z)\) share three values IM and obtained the following theorem.

Theorem D

([8])

Let \(f(z)\) be a nonconstant entire function such that \(\rho_{2}(f)< 1\), and let c be a nonzero complex number. Suppose that \(f(z)\) and \(\Delta_{c} f(z)\) share \(a_{1}\), \(a_{2}\), \(a_{3}\) IM, where \(a_{1}\), \(a_{2}\), \(a_{3}\) are three distinct finite values. Then \(2f(z)=f(z+c)\) for all \(z\in \mathcal{C}\).

From Theorems A-D a natural question is what results we can get if the condition that \(f(z)\) and \(\Delta_{c} f(z)\) share two values CM or three values IM is relaxed to one value CM and another one IM or even two values IM, and if \(\Delta_{c} f(z)\) is replaced by \(\Delta_{c}^{n} f(z)\)? Corresponding to this question, we first consider the case where \(f(z)\) and \(\Delta_{c}^{n} f(z)\) share 0 CM and nonzero complex constant a IM and get the following result.

Theorem 1.1

Let \(c\in\mathbb{C}\setminus\{0\}\), \(n\in\mathbb{N}\), and let \(f(z)\) be a nonconstant entire function of finite order. If \(f(z)\) and \(\Delta_{c}^{n} f(z)\) share 0 CM and a nonzero complex constant a IM, then \(f(z)\equiv\Delta_{c}^{n} f(z)\).

Remark 1

Some idea of the proof of Theorem 1.1 is due to [4]. We have not found any example such that \(f(z)\not\equiv\Delta_{c}^{n} f(z)\) under the condition that \(f(z)\) and \(\Delta_{c}^{n} f(z)\) share two distinct complex constants \(a^{*}\) CM and a IM. We wonder whether 0 CM in Theorem 1.1 can be replaced by an arbitrary complex constant \(a^{*}\) (≠a) CM or not.

Then we continue to investigate the case where 0 CM is replaced by arbitrary complex constant \(a^{*}\) (≠a) CM under some additional condition. Using a similar method as in the proof of Theorem 1.1, we have the next result.

Theorem 1.2

Let \(c\in\mathbb{C}\setminus\{0\}\), \(n\in\mathbb{N}\), and let \(f(z)\) be a nonconstant entire function of finite order. If \(f(z)\) and \(\Delta_{c}^{n} f(z)\) share two distinct complex constants \(a^{*}\) CM and a IM and if

$$ N \biggl(r,\frac{1}{f(z)-a^{*}} \biggr)= T(r,f)+S(r,f), $$
(1.1)

then \(f(z)\equiv\Delta_{c}^{n} f(z)\).

Remark 2

We omit the proof of Theorem 1.2, as it can be proved with a similar idea as in the proof of Theorem 1.1. In fact, we can consider the functions

$$ \gamma(z)=\frac{f'(z)(\Delta_{c}^{n}f(z)-f(z))}{(f(z)-a)(f(z)-a^{*})}, \qquad \eta(z)=\frac{(\Delta_{c}^{n}f(z))'(\Delta_{c}^{n}f(z)-f(z))}{(\Delta _{c}^{n}f(z)-a)(\Delta_{c}^{n}f(z)-a^{*})}. $$

Especially, it follows from (1.1) that \(m (r,\frac{1}{f(z)-a^{*}} )=S(r,f)\), which ensures that still \(T (r, \Delta_{c}^{n}f(z) )= T(r,f(z))+S(r,f)\) when \(f(z)\) and \(\Delta_{c}^{n} f(z)\) share \(a^{*}\) CM instead of 0 CM.

2 Proof of Theorem 1.1

Before giving the proof of Theorem 1.1, we need to introduce some lemmas. In particular, the following lemma can be derived from the difference logarithmic derivative lemma (see [15]), which was obtained independently by Chiang and Feng [16] and Halburd and Korhonen [17] and plays a very important role in studying the difference analogues of Nevanlinna theory.

Lemma 2.1

([15])

Let \(c\in\mathbb{C}\), \(n\in\mathbb{N}\), and let \(f(z)\) be a meromorphic function of finite order. Then for any small periodic function \(a(z)\) with period c, with respect to \(f(z)\),

$$ m \biggl(r,\frac{\Delta_{c}^{n}f}{f-a} \biggr)= S(r,f), $$

where the exceptional set associated with \(S(r,f)\) is of at most finite logarithmic measure.

Lemma 2.2

([2])

Suppose that \(f(z)\) is a nonconstant meromorphic function and \(P(f)=a_{0}f^{p}+a_{1}f^{p-1}+\cdots+a_{p} \) (\(a_{0}\neq0\)) is a polynomial in f of degree p with constant coefficients \(a_{j}\) (\(j=0,1,\ldots,p\)). Suppose furthermore that \(b_{j}\) (\(j=1,2,\ldots,q\)) (\(q>p\)) are distinct values. Then

$$ m \biggl(r,\frac{P(f)f'}{(f-b_{1})(f-b_{2})\cdots(f-b_{q})} \biggr)= S(r,f). $$

Lemma 2.3

([3])

If \(f_{1}(z)\) and \(f_{2}(z)\) are meromorphic functions in \(|z|< R\) (\(R\leq\infty\)), then

$$ N (r,f_{1}f_{2} )-N \biggl(r,\frac{1}{f_{1}f_{2}} \biggr)=N (r,f_{1} )+N (r,f_{2} )-N \biggl(r,\frac{1}{f_{1}} \biggr)-N \biggl(r,\frac{1}{f_{2}} \biggr), $$

where \(0< r< R\).

Lemma 2.4

([2])

Let \(f(z)\) be a nonconstant meromorphic function in the complex plane, and let \(R(f)=\frac{P(f)}{Q(f)}\), where

$$ P(f)=\sum_{k=0}^{p} a_{k}f^{k} \quad \textit{and} \quad Q(f)=\sum_{j=0}^{q} b_{j}f^{j} $$

are two mutually prime polynomials in f. If the coefficients \(\{a_{k}(z)\}\) and \(\{b_{j}(z)\}\) are small functions of f and \(a_{p}(z)\not\equiv0\), \(b_{q}(z)\not\equiv0\), then

$$ T\bigl(r,R(f)\bigr)=\max\{p,q\}T(r,f). $$

Proof of Theorem 1.1

Suppose \(f(z)\not\equiv\Delta_{c}^{n} f(z)\). Set

$$ \begin{aligned} &\gamma(z)=\frac{f'(z)(\Delta_{c}^{n}f(z)-f(z))}{f(z)(f(z)-a)}, \\ &\eta(z)=\frac{(\Delta_{c}^{n}f(z))'(\Delta_{c}^{n}f(z)-f(z))}{\Delta _{c}^{n}f(z)(\Delta_{c}^{n}f(z)-a)}. \end{aligned} $$
(2.1)

Note that \(f(z)\) is a nonconstant entire function of finite order and that 0 and a are CM and IM values shared by \(f(z)\) and \(\Delta_{c}^{n}f(z)\), respectively. We see that \(\gamma(z)\) and \(\eta(z)\) are entire. By the lemma of the logarithmic derivative and Lemma 2.1 it is obvious that

$$\begin{aligned} T\bigl(r,\gamma(z)\bigr) =&m\bigl(r,\gamma(z)\bigr)=m \biggl(r, \frac{f'(z)(\Delta _{c}^{n}f(z)-f(z))}{f(z)(f(z)-a)} \biggr) \\ \leq& m \biggl(r,\frac{f'(z)}{f(z)-a} \biggr)+m \biggl(r,\frac{\Delta _{c}^{n}f(z)}{f(z)}-1 \biggr)+S(r,f) =S(r,f). \end{aligned}$$
(2.2)

Since 0 is a CM value shared by \(f(z)\) and \(\Delta_{c}^{n}f(z)\), it gives

$$ \frac{\Delta_{c}^{n}f(z)}{f(z)}=e^{h(z)}, $$

where \(h(z)\) is an entire function. Using Lemma 2.1 again, we get

$$ T \bigl(r,e^{h(z)} \bigr)=m \bigl(r,e^{h(z)} \bigr)= m \biggl(r, \frac{\Delta_{c}^{n}f(z)}{f(z)} \biggr)=S(r,f), $$

and then

$$ T \bigl(r,\Delta_{c}^{n}f(z) \bigr)=T \bigl(r,e^{h(z)}f(z) \bigr)= T\bigl(r,f(z)\bigr)+S(r,f). $$
(2.3)

For any \(b\in\mathbb{C}\setminus\{0,a\}\), by Lemmas 2.1 and 2.2 we obtain

$$ \begin{aligned}[b] m \biggl(r,\frac{1}{f(z)-b} \biggr)&=m \biggl(r,\frac{f'(z)(\Delta _{c}^{n}f(z)-f(z))}{f(z)(f(z)-a)(f(z)-b)\gamma(z)} \biggr) \\ &\leq m \biggl(r,\frac{\Delta_{c}^{n}f(z)}{f(z)}-1 \biggr) +m \biggl(r,\frac{f'(z)}{(f(z)-a)(f(z)-b)} \biggr)+S(r,f) \\ &=S(r,f). \end{aligned} $$
(2.4)

According to the second fundamental theorem, we get

$$\begin{aligned} T\bigl(r,f(z)\bigr) \leq&\overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+ \overline{N} \biggl(r,\frac{1}{f(z)-a} \biggr)+\overline{N} \bigl(r,f(z) \bigr)+S(r,f) \\ \leq&\overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r, \frac{1}{f(z)-a} \biggr)+S(r,f). \end{aligned}$$

In addition, by (2.1), (2.2), and Lemma 2.1 we obtain

$$\begin{aligned}& \overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r, \frac{1}{f(z)-a} \biggr) \\& \quad =N \biggl(r,\frac{f'(z)}{f(z)(f(z)-a)} \biggr)=N \biggl(r,\frac{\gamma (z)}{\Delta_{c}^{n}f(z)-f(z)} \biggr) \\& \quad \leq T \bigl(r,\Delta_{c}^{n}f(z)-f(z) \bigr)+S(r,f)=m \bigl(r,\Delta _{c}^{n}f(z)-f(z) \bigr)+S(r,f) \\& \quad \leq m \biggl(r,\frac{\Delta_{c}^{n}f(z)}{f(z)}-1 \biggr)+m\bigl(r,f(z)\bigr)+S(r,f) \\& \quad =T\bigl(r,f(z)\bigr)+S(r,f). \end{aligned}$$

Combining the above two inequalities, we get

$$ \overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r,\frac{1}{f(z)-a} \biggr)=T\bigl(r,f(z)\bigr)+S(r,f). $$
(2.5)

Since \(f(z)\) is a nonconstant entire function of finite order, it follows from the second fundamental theorem and (2.3) that

$$\begin{aligned} 2T\bigl(r,f(z)\bigr) =&2T\bigl(r,\Delta_{c}^{n}f(z) \bigr)+S(r,f) \\ \leq& \overline{N} \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)} \biggr)+\overline {N} \biggl(r, \frac{1}{\Delta_{c}^{n}f(z)-a} \biggr)+\overline{N} \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr) \\ &{}+S(r,f). \end{aligned}$$

Note that 0 and a are CM and IM values shared by \(f(z)\) and \(\Delta_{c}^{n}f(z)\), respectively. From (2.3) and (2.5) we have

$$\begin{aligned}& \overline{N} \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)} \biggr)+\overline {N} \biggl(r, \frac{1}{\Delta_{c}^{n}f(z)-a} \biggr)+\overline{N} \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr) \\& \quad \leq \overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r,\frac{1}{f(z)-a} \biggr)+T \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr)-m \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr) \\& \quad \leq T\bigl(r,f(z)\bigr)+T \bigl(r,\Delta_{c}^{n}f(z) \bigr)-m \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr)+S(r,f) \\& \quad =2T\bigl(r,f(z)\bigr)-m \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr)+S(r,f). \end{aligned}$$

From the above two inequalities we obtain that

$$ m \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr)=S(r,f). $$
(2.6)

Obviously, we have

$$\begin{aligned}& m \biggl(r,\frac{f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)-m \biggl(r,\frac {\Delta_{c}^{n}f(z)-b}{f(z)-b} \biggr) \\& \quad = T \biggl(r,\frac{f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)-N \biggl(r,\frac {f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)-T \biggl(r,\frac{\Delta _{c}^{n}f(z)-b}{f(z)-b} \biggr) \\& \qquad {}+N \biggl(r,\frac{\Delta _{c}^{n}f(z)-b}{f(z)-b} \biggr) \\& \quad = N \biggl(r,\frac{\Delta_{c}^{n}f(z)-b}{f(z)-b} \biggr)-N \biggl(r,\frac {f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)+O(1). \end{aligned}$$

Considering functions \(f_{1}(z)=\Delta_{c}^{n}f(z)-b\), \(f_{2}(z)=\frac{1}{f(z)-b}\) and applying Lemma 2.3, we have

$$\begin{aligned}& N \biggl(r,\frac{\Delta_{c}^{n}f(z)-b}{f(z)-b} \biggr)-N \biggl(r,\frac {f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr) \\& \quad = N \bigl(r,\Delta_{c}^{n}f(z)-b \bigr)+N \biggl(r, \frac{1}{f(z)-b} \biggr)-N \bigl(r,f(z)-b \bigr) \\& \qquad {}-N \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr)+O(1) \\& \quad = N \biggl(r,\frac{1}{f(z)-b} \biggr)-N \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr)+O(1). \end{aligned}$$

Then by (2.3), (2.4), and (2.6) we get

$$\begin{aligned}& N \biggl(r,\frac{1}{f(z)-b} \biggr)-N \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr) \\& \quad = T \biggl(r,\frac{1}{f(z)-b} \biggr)-m \biggl(r,\frac{1}{f(z)-b} \biggr)-T \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr) \\& \qquad {} +m \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-b} \biggr) \\& \quad = T \biggl(r,\frac{1}{f(z)-b} \biggr)-T \biggl(r,\frac{1}{\Delta _{c}^{n}f(z)-b} \biggr)+S(r,f) \\& \quad = T \bigl(r,f(z) \bigr)-T \bigl(r,\Delta_{c}^{n}f(z) \bigr)+S(r,f)=S(r,f). \end{aligned}$$

Clearly, the last three equations give

$$ m \biggl(r,\frac{f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)-m \biggl(r,\frac {\Delta_{c}^{n}f(z)-b}{f(z)-b} \biggr)=S(r,f). $$

By Lemma 2.1 and (2.4) this equation yields

$$ \begin{aligned}[b] m \biggl(r,\frac{f(z)-b}{\Delta_{c}^{n}f(z)-b} \biggr)&= m \biggl(r,\frac {\Delta_{c}^{n}f(z)-b}{f(z)-b} \biggr)+S(r,f) \\ &\leq m \biggl(r,\frac{\Delta_{c}^{n}f(z)}{f(z)-b} \biggr)+m \biggl(r,\frac {b}{f(z)-b} \biggr)+S(r,f)=S(r,f). \end{aligned} $$
(2.7)

According to Lemma 2.2, from (2.1) and (2.7) we deduce that

$$\begin{aligned} T\bigl(r,\eta(z)\bigr) =&m\bigl(r, \eta(z)\bigr)=m \biggl(r,\frac{(\Delta_{c}^{n}f(z))'(\Delta _{c}^{n}f(z)-f(z))}{\Delta_{c}^{n}f(z)(\Delta_{c}^{n}f(z)-a)} \biggr) \\ \leq& m \biggl(r,\frac{(\Delta_{c}^{n}f(z))'(\Delta_{c}^{n}f(z)-b)}{\Delta _{c}^{n}f(z)(\Delta_{c}^{n}f(z)-a)} \biggr)+m \biggl(r,\frac{\Delta _{c}^{n}f(z)-f(z)}{\Delta_{c}^{n}f(z)-b} \biggr) \\ \leq& m \biggl(r,\frac{(\Delta_{c}^{n}f(z))'(\Delta_{c}^{n}f(z)-b)}{\Delta _{c}^{n}f(z)(\Delta_{c}^{n}f(z)-a)} \biggr)+m \biggl(r, 1-\frac{f(z)-b}{\Delta _{c}^{n}f(z)-b} \biggr) \\ =&S\bigl(r,\Delta_{c}^{n}f(z)\bigr)+S(r,f)=S(r,f). \end{aligned}$$
(2.8)

Let \(z_{0}\) be any zero of \(f(z)-a\) and \(\Delta_{c}^{n}f(z)-a\) with multiplicities p and q, respectively. From (2.1) we see that

$$\begin{aligned}& \gamma(z_{0})a=p\cdot \biggl(\frac{\Delta_{c}^{n}f(z)-f(z)}{z-z_{0}} \biggr) \bigg|_{z=z_{0}}, \\& \eta(z_{0})a=q\cdot \biggl(\frac{\Delta_{c}^{n}f(z)-f(z)}{z-z_{0}} \biggr) \bigg|_{z=z_{0}}. \end{aligned}$$

This leads to \(q\gamma(z_{0})=p\eta(z_{0})\). Similarly, for any zero of \(f(z)\) and \(\Delta_{c}^{n}f(z)\) with multiplicities p and q, denoted by \(z_{1}\), we can prove that \(q\gamma(z_{1})=p\eta(z_{1})\). We distinguish two cases.

Case 1. Suppose that \(q\gamma(z)\not\equiv p\eta(z)\). From the above discussion we see that any zero of \(f(z)-a\) and \(\Delta_{c}^{n}f(z)-a\) (or any zero of \(f(z)\) and \(\Delta_{c}^{n}f(z)\)) with multiplicities p and q must be the zero of \(q\gamma(z)-p\eta(z)\), and this, together with (2.2) and (2.8), yields

$$ \begin{aligned}[b] &\overline{N}_{(p,q)} \biggl(r, \frac{1}{f(z)} \biggr)+\overline {N}_{(p,q)} \biggl(r,\frac{1}{f(z)-a} \biggr) \\ &\quad \leq \overline{N} \biggl(r,\frac{1}{q\gamma(z)-p\eta(z)} \biggr)\leq T \bigl(r,q \gamma(z)-p\eta(z) \bigr) \\ &\quad \leq T \bigl(r,\gamma(z) \bigr)+T \bigl(r,\eta(z) \bigr)+O(1)=S(r,f). \end{aligned} $$
(2.9)

Thus (2.3) and (2.9) show that

$$\begin{aligned}& \overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r, \frac{1}{f(z)-a} \biggr) \\ & \quad = \sum_{p,q} \biggl(\overline{N}_{(p,q)} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N}_{(p,q)} \biggl(r, \frac{1}{f(z)-a} \biggr) \biggr) \\ & \quad \leq \sum_{p+q< 8} \biggl(\overline{N}_{(p,q)} \biggl(r,\frac {1}{f(z)} \biggr)+\overline{N}_{(p,q)} \biggl(r, \frac{1}{f(z)-a} \biggr) \biggr) \\ & \qquad {} + \sum_{p+q\geq8} \biggl(\overline{N}_{(p,q)} \biggl(r,\frac {1}{f(z)} \biggr)+\overline{N}_{(p,q)} \biggl(r, \frac{1}{f(z)-a} \biggr) \biggr) \\ & \quad \leq \frac{1}{8}\sum_{p+q\geq8} \biggl(N_{(p,q)} \biggl(r,\frac {1}{f(z)} \biggr)+N_{(p,q)} \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)} \biggr) \biggr) \\ & \qquad {} +\frac{1}{8}\sum_{p+q\geq8} \biggl( N_{(p,q)} \biggl(r,\frac {1}{f(z)-a} \biggr)+N_{(p,q)} \biggl(r, \frac{1}{\Delta _{c}^{n}f(z)-a} \biggr) \biggr)+S(r,f) \\ & \quad \leq \frac{1}{8} \biggl( N \biggl(r,\frac{1}{f(z)} \biggr)+N \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)} \biggr) \biggr) \\ & \qquad {} +\frac{1}{8} \biggl( N \biggl(r,\frac{1}{f(z)-a} \biggr)+N \biggl(r,\frac{1}{\Delta_{c}^{n}f(z)-a} \biggr) \biggr)+S(r,f) \\ & \quad \leq \frac{1}{4}T\bigl(r,f(z)\bigr)+\frac{1}{4}T\bigl(r, \Delta_{c}^{n}f(z)\bigr)+S(r,f) =\frac{1}{2}T \bigl(r,f(z)\bigr)+S(r,f), \end{aligned}$$

which contradicts (2.5).

Case 2. Suppose that \(q\gamma(z)\equiv p\eta(z)\).

Since \(\Delta_{c}^{n}f(z)\not\equiv f(z)\), according to (2.1), we have

$$ q\cdot\frac{f'(z)}{f(z)(f(z)-a)}\equiv p\cdot\frac{(\Delta_{c}^{n}f(z))'}{\Delta_{c}^{n}f(z)(\Delta_{c}^{n}f(z)-a)}. $$

Integration gives

$$ \biggl(\frac{f(z)}{f(z)-a} \biggr)^{q}\equiv A \biggl( \frac{\Delta_{c}^{n}f(z)}{\Delta_{c}^{n}f(z)-a} \biggr)^{p}, $$
(2.10)

where A (≠0) is a constant.

By Lemma 2.4 and (2.3) the last equation implies

$$ q T\bigl(r,f(z)\bigr)= p T\bigl(r\cdot\Delta_{c}^{n}f(z) \bigr)+O(1)= p T\bigl(r,f(z)\bigr)+S(r,f), $$

which leads to \(p=q\). By (2.10) it follows that there exists a nonzero constant B such that

$$ \frac{f(z)}{f(z)-a}\equiv B\frac{\Delta_{c}^{n}f(z)}{\Delta_{c}^{n}f(z)-a}. $$

Since \(\Delta_{c}^{n}f(z)\not\equiv f(z)\), we get that \(B\neq1\).

Rewrite the last equation as

$$ f(z)-\frac{aB}{B-1}=\frac{aB}{1-B}\cdot\frac{f(z)-a}{\Delta_{c}^{n}f(z)-a}. $$
(2.11)

Since \(B\neq0,1\), we get \(\frac{aB}{B-1}\neq0,a\). According to (2.11), it is obvious that any zero of \(f(z)-\frac{aB}{B-1}\) must be a zero of \(f(z)-a\), which is impossible. Hence \(f(z)-\frac{aB}{B-1}\) has no zeros. According to the second fundamental theorem and (2.5), we deduce the following contradiction:

$$\begin{aligned} T\bigl(r,f(z)\bigr) \leq&\overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+ \overline {N} \biggl(r,\frac{1}{f(z)-a} \biggr)+\overline{N} \biggl(r, \frac {1}{f(z)-\frac{aB}{B-1}} \biggr) \\ &{}+\overline{N} \bigl(r,f(z) \bigr)-T\bigl(r,f(z)\bigr)+S(r,f) \\ =&\overline{N} \biggl(r,\frac{1}{f(z)} \biggr)+\overline{N} \biggl(r, \frac{1}{f(z)-a} \biggr)+S(r,f) -T\bigl(r,f(z)\bigr)=S(r,f). \end{aligned}$$

Therefore we immediately get \(\Delta_{c}^{n}f(z)\equiv f(z)\). The proof of Theorem 1.1 is completed. □

References

  1. Laine, I: Nevanlinna Theory and Complex Differential Equations. de Gruyter Studies in Mathematics, vol. 15. de Gruyter, Berlin (1993)

    Book  MATH  Google Scholar 

  2. Yang, CC, Yi, HX: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht (2003)

    Book  MATH  Google Scholar 

  3. Yang, L: Value Distribution Theory. Springer, New York (1993)

    MATH  Google Scholar 

  4. Li, P, Yang, CC: When an entire function and its linear differential polynomial share two values. Ill. J. Math. 44(2), 349-361 (2000)

    MathSciNet  MATH  Google Scholar 

  5. Heittokangas, J, Korhonen, R, Laine, I, Rieppo, J, Zhang, JL: Value sharing results for shifts of meromorphic functions, and sufficient conditions for periodicity. J. Math. Anal. Appl. 355, 352-363 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Chen, ZX, Yi, HX: On sharing values of meromorphic functions and their differences. Results Math. 63, 557-565 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  7. Heittokangas, J, Korhonen, R, Laine, I, Rieppo, J: Uniqueness of meromorphic functions sharing values with their shifts. Complex Var. Elliptic Equ. 56, 81-92 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  8. Li, XM, Yi, HX: Meromorphic functions sharing four values with their difference operators or shifts. Bull. Korean Math. Soc. 53(4), 1213-1235 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  9. Li, S, Gao, ZS: Entire functions sharing one or two finite values CM with their shifts or difference operators. Arch. Math. 97(5), 475-483 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  10. Liu, HF, Mao, ZQ: On the uniqueness problems of entire functions and their difference operators. Taiwan. J. Math. 19(3), 907-917 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  11. Liu, K, Laine, I: A note on value distribution of difference polynomials. Bull. Aust. Math. Soc. 81(3), 353-360 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  12. Qi, XG, Liu, K: Uniqueness and value distribution of differences of entire functions. J. Math. Anal. Appl. 379, 180-187 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  13. Zhang, JL: Value distribution and shared sets of differences of meromorphic functions. J. Math. Anal. Appl. 367, 401-408 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. Zhang, J, Liao, LW: Entire functions sharing some values with their difference operators. Sci. China Math. 57(10), 2143-2152 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  15. Halburd, RG, Korhonen, RJ: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 31, 463-478 (2006)

    MathSciNet  MATH  Google Scholar 

  16. Chiang, YM, Feng, SJ: On the Nevanlinna characteristic of \(f(z+\eta)\) and difference equations in the complex plane. Ramanujan J. 16(1), 105-129 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Halburd, RG, Korhonen, RJ: Difference analogue of the lemma on the logarithmic derivative with applications to difference equations. J. Math. Anal. Appl. 314, 477-487 (2006)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the Natural Science Foundation of Guangdong (2015A030313620), Excellent Young Teachers Training Program of Guangdong High Education (YQ2015089), Excellent Young Teachers Training Program of Guangdong Ocean University (2014007, HDYQ2015006), and Project of Enhancing School with Innovation of Guangdong Ocean University (GDOU2016050206, GDOU2016050209).

Author information

Authors and Affiliations

Authors

Contributions

All authors have drafted the manuscript, read, and approved the final manuscript.

Corresponding author

Correspondence to BaoQin Chen.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, S., Mei, D. & Chen, B. Uniqueness of entire functions sharing two values with their difference operators. Adv Differ Equ 2017, 390 (2017). https://doi.org/10.1186/s13662-017-1444-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1444-3

MSC

Keywords