Hostname: page-component-586b7cd67f-2brh9 Total loading time: 0 Render date: 2024-11-26T14:14:01.285Z Has data issue: false hasContentIssue false

THE DIFFERENCE ANALOGUE OF THE TUMURA–HAYMAN–CLUNIE THEOREM

Published online by Cambridge University Press:  06 November 2023

MINGLIANG FANG
Affiliation:
School of Sciences, Hangzhou Dianzi University, Hangzhou 310012, PR China e-mail: [email protected]
HUI LI*
Affiliation:
School of Science, China University of Mining and Technology-Beijing, Beijing 100083, PR China
XIAO YAO
Affiliation:
School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071, PR China e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

We prove a difference analogue of the celebrated Tumura–Hayman–Clunie theorem. Let f be a transcendental entire function, let c be a nonzero constant and let n be a positive integer. If f and $\Delta _c^n f$ omit zero in the whole complex plane, then either $f(z)=\exp (h_1(z)+C_1 z)$, where $h_1$ is an entire function of period c and $\exp (C_1 c)\neq 1$, or $f(z)=\exp (h_2(z)+C_2 z)$, where $h_2$ is an entire function of period $2c$ and $C_2$ satisfies

$$ \begin{align*} \bigg(\frac{1+\exp(C_2c)}{1-\exp(C_2 c)}\bigg)^{2n}=1. \end{align*} $$

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction

Let f be a meromorphic function on the complex plane ${\mathbb C}$ . We assume that the reader is familiar with the fundamental results and the standard notation of the Nevanlinna value distribution theory. We refer readers to [Reference Hayman12, Reference Yang and Yi16, Reference Yang17] for more details. A quick introduction of some basic notions in Nevanlinna theory can be found in Section 2.

For any $n\in \mathbb {N}$ and $c\in \mathbb {C}\backslash \{0\}$ , we define the forward difference operator $\Delta _c f(z)$ by

$$ \begin{align*} \Delta_c f(z)=f(z+c)-f(z) \end{align*} $$

and, by induction,

$$ \begin{align*} \Delta_c^{n+1} f(z)=\Delta_c^{n} f(z+c)-\Delta_c^{n} f(z). \end{align*} $$

In addition, we use the usual notation $\Delta f(z)$ for $c=1$ .

In 1935, Csillag [Reference Csillag6] proved the following result.

Theorem 1.1. Let $m, \,n$ be two distinct positive integers and let f be a transcendental entire function. If $f\not =0$ , $f^{(m)}\not =0$ , $f^{(n)}\not =0$ , then $f(z)=e^{az+b}$ , where $a\,(\not = 0), b$ are constants.

Tumura [Reference Tumura15], Hayman [Reference Hayman11] and Clunie [Reference Clunie5] improved Theorem 1.1 as follows.

Theorem 1.2. Let $n\,(\ge 2)$ be a positive integer and let f be a transcendental entire function. If $f\not =0$ , $f^{(n)}\not =0$ , then $f(z)=e^{az+b}$ , where $a\,(\not = 0), b$ are constants.

Recently, there has been growing interest in difference analogues of the value distribution of meromorphic functions (see [Reference Chen and Shon2Reference Chiang and Feng4, Reference Halburd and Korhonen8Reference Halburd, Korhonen and Tohge10]). In 2013, Chen [Reference Chen1] obtained a difference analogue of Theorems 1.1 and 1.2.

Theorem 1.3. Let f be a transcendental entire function of finite order, let c be a nonzero constant and let n be a positive integer. If $f\not = 0$ , $\Delta _c^n f\not = 0$ , then $f(z)=e^{az+b}$ , where $a\,(\not = 0), b$ are constants.

The conclusion in Theorem 1.3 does not hold without a growth condition on f. For example, if $f(z)=\exp (\sin (2\pi z)+z)$ , then $\Delta ^n f\not =0$ for any $n\in \mathbb {N}$ .

Inspired by Theorems 1.2 and 1.3, together with the above example, we naturally pose the following question.

Question 1.4. What can we say if f is a transcendental entire function in Theorem 1.3 without a further assumption on the growth order?

We consider this question and obtain the following result.

Theorem 1.5. Let f be a transcendental entire function, let c be a nonzero constant and let n be a positive integer. If $f\not = 0$ , $\Delta _c^n f\not = 0$ , then either

(1.1) $$ \begin{align} f(z)=\exp(h_1(z)+C_1 z), \end{align} $$

where $h_1$ is an entire function of period c and $\exp (C_1 c)\neq 1$ , or

(1.2) $$ \begin{align} f(z)=\exp(h_2(z)+C_2 z), \end{align} $$

where $h_2$ is an entire function of period $2c$ and $C_2$ satisfies

$$ \begin{align*} \bigg(\frac{1+\exp(C_2c)}{1-\exp(C_2 c)}\bigg)^{2n}=1. \end{align*} $$

As an application of Theorem 1.5, we obtain the following result which improves Theorem 1.3.

Theorem 1.6. Let f be a transcendental entire function of hyper-order less than $1$ and c be a nonzero constant. Assume that f and $\Delta _{c}^n f$ omit zero in the whole complex plane for some $n\in \mathbb {N}$ . Then $f(z)=e^{az+b}$ , where $a\neq 0$ and b are constants.

Frank [Reference Frank7] and Langley [Reference Langley13] proved that Theorem 1.2 remains valid for meromorphic functions. They obtained the following theorem.

Theorem 1.7. Let $n\,(\ge 2)$ be a positive integer and let f be a transcendental meromorphic function. If $f\not =0$ , $f^{(n)}\not =0$ , then $f(z)=e^{az+b}$ , where $a\,(\not = 0), b$ are constants.

Based on Theorems 1.2, 1.3 and 1.7, it is natural to ask whether Theorem 1.3 is valid or not for meromorphic functions. The following example shows that the answer to this question is in the negative.

Example 1.8. Let b and c be two complex numbers in $\mathbb {C}\backslash \{0\}$ . For any entire function $H(z)$ with period c and $n\in \mathbb {N}$ , we can always construct a polynomial $P(z)$ of degree n such that $\Delta _c^nP(z)\equiv b$ and each zero of $P(z)$ is also a zero of $1-e^{H(z)}$ . Let ${f(z)={P(z)}/{1-e^{H(z)}}}$ . Then both $f(z)$ and $\Delta _c^nf(z)$ omit zero.

2 Preliminaries

In this section, we collect some basic results which will be used in the proof of our main results.

Let us recall some basic notation of Nevanlinna theory. Let f be a nonconstant meromorphic function. The Nevanlinna characteristic is defined by

$$ \begin{align*} T(r,f)=m(r,f)+N(r,f), \end{align*} $$

where $m(r,f)$ is the proximity function defined by

$$ \begin{align*} m(r,f)=\frac{1}{2\pi}\int_{0}^{2\pi}\log^{+}|f(re^{i\theta})|\,d\theta \end{align*} $$

and $N(r,f)$ denotes the integrated counting function of poles of f defined by

$$ \begin{align*} N(r, f)=\int_{0}^{r}\frac{n(t, f)-n(0,f)}{t}\,dt+n(0,f)\log r \end{align*} $$

and $n(t,f)$ is the number of poles of f in $\{z: |z|\le t\}$ counting multiplicities. The order and the hyper-order of f are defined by

$$ \begin{align*}\ \rho(f)=\limsup_{r\rightarrow\infty}\frac{\log^{+}T(r,f)}{\log r}\end{align*} $$

and

$$ \begin{align*}\rho_{2}(f)=\limsup_{r\rightarrow\infty}\frac{\log ^{+}\log ^{+}T(r,f)}{\log r}.\end{align*} $$

In addition, for any entire function f and $r>0$ , the maximum modulus of f is denoted by

$$ \begin{align*} M(r, f)=\sup\limits_{|z|=r}|f(z)|. \end{align*} $$

The order and the hyper-order of an entire function f can also be defined by

$$ \begin{align*}\ \rho(f)=\limsup_{r\rightarrow\infty}\frac{\log^{+}\log^{+}M(r,f)}{\log r}\end{align*} $$

and

$$ \begin{align*}\rho_{2}(f)=\limsup_{r\rightarrow\infty}\frac{\log ^{+}\log ^{+}\log^{+}M(r,f)}{\log r}.\end{align*} $$

To prove our results, we need Pólya’s lemma on the growth of the composite of two entire functions.

Lemma 2.1 (Pólya’s lemma, [Reference Pólya14]).

Let f and g be two entire functions. Then

$$ \begin{align*} M(r,f\circ g)\ge M\bigg(C M\bigg(\frac r{2},g\bigg),f\bigg) \end{align*} $$

for some constant $C>0$ , where $(f\circ g)(z)=f(g(z))$ for any $z\in \mathbb {C}$ .

We also need the following version of Borel’s theorem.

Lemma 2.2 (Borel’s theorem, [Reference Yang and Yi16]).

Let $p_{j}, \ q_j \ (j=1, \ldots , n)$ be entire functions such that:

  1. (i) $\sum _{j=1}^{n}p_{j} e^{q_{j}}\equiv 0$ ;

  2. (ii) $q_{s}-q_{t}$ is not constant for $1\leq s<t\leq n$ ;

  3. (iii) $T(r,p_j)=o\{T(r,e^{q_s-q_t})\} \ (r\to \infty , r\not \in E)$ for $1\leq j\leq n$ , $1\leq s<t\leq n$ , where E is of finite linear measure or finite logarithmic measure.

Then $p_{j}\equiv 0$ for $j=1, \ldots , n$ .

By Lemma 2.2, we can immediately obtain the following lemma, which is crucial in the proof of our main result.

Lemma 2.3. Let $f_0, \ldots , f_{m-1}$ be nonconstant entire functions such that $f_{s}-f_{t}$ is not constant for $0\leq s<t\leq m-1$ and let $a_0, \ldots , a_m$ be nonzero entire functions such that $T(r,a_j)=o\{T(r,e^{f_s-f_t})\}$ $(r\to \infty , r\not \in E)$ for $0\leq j \leq m$ , $0\leq s<t\leq m-1$ , where E is of finite logarithmic measure. If there exists an entire function g such that

$$ \begin{align*} a_0 e^{f_0}+\cdots +a_{m-1} e^{f_{m-1}}\equiv a_m e^{g}, \end{align*} $$

then $m=1$ .

Proof. If $m=1$ , we are done. Assume that $m\geq 2$ . From Lemma 2.2, there exists i with $0\leq i\leq m-1$ such that $g(z)-f_{i}(z)\equiv C_1$ for some constant $C_1$ . Thus,

$$ \begin{align*} (a_i-a_m e^{C_1})e^{f_i}+\sum_{j=0, j\neq i}^{m-1} a_j e^{f_{j}}\equiv 0. \end{align*} $$

Therefore, by Lemma 2.2, we deduce $a_j=0, j\neq i$ , which leads to a contradiction. Thus, the integer $m=1$ .

3 Proof of Theorem 1.5

Proof. By rescaling $f(z)$ using the transformation $g(z) = f(cz)$ , we may assume without loss of generality that $c=1$ . Since f and $\Delta ^n f$ omit zero in $\mathbb {C}$ for some $n\in \mathbb {N}$ , there exist two entire functions g and h such that

$$ \begin{align*} f(z)=e^{g(z)} \quad \mbox{and} \quad \Delta^n f(z)=e^{h(z)}. \end{align*} $$

It follows that

(3.1) $$ \begin{align} (-1)^n\sum_{k=0}^{n}C_{n}^{k}(-1)^k e^{g(z+k)}=e^{h(z)}. \end{align} $$

We divide our proof into three steps.

Step 1. We claim that there exists a constant D and a positive integer l $(1\le l \le n)$ such that

$$ \begin{align*} g(z+l)-g(z)\equiv D. \end{align*} $$

Indeed, if there is no such l, then for $0\leq i<j\leq n$ ,

$$ \begin{align*} g(z+j)-g(z+i)\not\equiv \mbox{constant} \end{align*} $$

(because otherwise, $g(z+j-i)-g(z)\equiv \mbox {constant}$ and we can choose $l=j-i$ , which contradicts our assumption). Applying Lemma 2.3 to (3.1) yields $n=0$ , which is impossible. This verifies our claim.

Step 2. We claim that either $l=1$ or $l=2$ . Suppose the conclusion is not true, that is, $l\ge 3$ . It is easy to see that

(3.2) $$ \begin{align} (-1)^n e^{h(z)}=&\sum_{k=0}^{n}C_{n}^{k}(-1)^k e^{g(z+k)} \nonumber\\ =&\sum_{j=0}^{l-1}\sum_{k\equiv j \pmod l,\, k\leq n}C_{n}^{k}(-1)^k e^{g(z+k)} \nonumber\\ =&\sum_{j=0}^{l-1}\sum_{k\equiv j \pmod l,\, k\leq n}C_{n}^{k}(-1)^k e^{{(k-j)D}/{l}} e^{g(z+j)} \nonumber\\ =&\sum_{j=0}^{l-1}e^{g(z+j)} \sum_{k\equiv j \pmod l,\, k\leq n}C_{n}^{k}(-1)^k e^{{(k-j)D}/{l}}. \end{align} $$

For simplification, write $E=e^{{D}/{l}}$ and

$$ \begin{align*} \phi_{j}(E):=\sum_{k\equiv j \pmod l,\, k\leq n}C_{n}^{k}(-1)^k E^{k-j}. \end{align*} $$

For any $E\in \mathbb {C}\backslash \{0\}$ , we define

$$ \begin{align*} \mathcal{L}_{E}:=\{j: 0\leq j\leq l-1, \phi_{j}(E)\neq 0\}. \end{align*} $$

We claim that $\sharp \mathcal {L}_{E}=1$ . Indeed, by (3.1), $\sharp \mathcal {L}_{E}\ge 1$ . If $\sharp \mathcal {L}_{E}\ge 2$ , then we can rewrite (3.2) as

$$ \begin{align*} \sum_{j\in \mathcal{L}_{E}} \phi_j(E) e^{g(z+j)}=(-1)^n e^{h(z)}, \end{align*} $$

in contradiction to Lemma 2.3. Therefore, $\sharp \mathcal {L}_{E}=1$ . It follows that there exists an integer p $(0\leq p\leq l-1)$ such that

(3.3) $$ \begin{align} \phi_{p}(E)\neq 0 \quad \text{and} \quad \phi_{j}(E)=0 \end{align} $$

with $j\neq p$ , $0\le j \le l-1$ . Let $\omega _{l}=e^{{2\pi i}/{l}}$ . Note that for any fixed j, we have $\omega _{l}^{k-j}=1$ if $k\equiv j \pmod l$ . Therefore,

(3.4) $$ \begin{align} \phi_{j}(E)&=\sum_{k\equiv j \pmod l,\, k\leq n}C_{n}^{k}(-1)^k E^{k-j}\nonumber\\ &=\frac{1}{l}\sum_{k=0}^{n}C_{n}^k(-1)^kE^{k-j}\sum_{t=0}^{l-1}(\omega_l^t)^{k-j}\nonumber\\ &=\frac1{l}\sum_{t=0}^{l-1}\sum_{k=0}^{n}C_{n}^k(-1)^k(\omega_l^t E)^{k-j}\nonumber\\ &=\frac{1}{l}\sum_{t=0}^{l-1}\frac{(1-\omega_{l}^{t}E)^{n}}{\omega_{l}^{tj}E^j}. \end{align} $$

Thus, we can write (3.3) in the form

(3.5) $$ \begin{align} \left\{ \begin{aligned} &(1-\omega_l E)^n &+&\, (1-\omega_l^2 E)^n & + \cdots & + (1-\omega_l^l E)^n& =0 \\ &\omega_l^{-1}(1-\omega_l E)^n &+& \omega_l^{-2}(1-\omega_l^2 E)^n & +\cdots & +\omega_l^{-l}(1-\omega_l^l E)^n & =0 \\ & \cdots \\\, &\omega_l^{-(p-1)}(1-\omega_l E)^n &+&\, \omega_l^{-2(p-1)}(1-\omega_l^2 E)^n& +\cdots & +\omega_l^{-l(p-1)}(1-\omega_l^l E)^n & =0\\ &\omega_l^{-(p+1)}(1-\omega_l E)^n &+&\, \omega_l^{-2(p+1)}(1-\omega_l^2 E)^n & +\cdots & + \omega_l^{-l(p+1)}(1-\omega_l^l E)^n& =0\\ & \cdots \\ &\omega_l^{-(l-1)}(1-\omega_l E)^n &+&\, \omega_l^{-2(l-1)}(1-\omega_l^2 E)^n & +\cdots & +\omega_l^{-l(l-1)}(1-\omega_l^l E)^n & =0. \end{aligned} \right. \end{align} $$

Let $\boldsymbol {\alpha }=((1-\omega _l E)^n, (1-\omega _l^2 E)^n, \ldots , (1-\omega _l^l E)^n)^T\in \mathbb {C}^{l}$ and

$$ \begin{align*}A= \left(\begin{matrix}1&1&\cdots&1\\ \omega_l^{-1}&\omega_l^{-2}&\cdots& \omega_l^{-l}\\\vdots&\vdots&\cdots&\vdots\\ \omega_l^{-(p-1)}&\omega_l^{-2(p-1)}&\cdots& \omega_l^{-l(p-1)}\\ \omega_l^{-(p+1)}&\omega_l^{-2(p+1)}&\cdots& \omega_l^{-l(p+1)}\\ \vdots&\vdots&\cdots&\vdots\\ \omega_l^{-(l-1)}&\omega_l^{-2(l-1)}&\cdots&\omega_l^{-l(l-1)} \end{matrix}\right). \end{align*} $$

Then we can also write (3.3) as

(3.6) $$ \begin{align} A\boldsymbol{\alpha}=0. \end{align} $$

Since the rank $r(A)$ of the matrix A is exactly $l-1$ , the dimension of the linear space

(3.7) $$ \begin{align} \{x\in \mathbb{C}^{l}: Ax=0\} \end{align} $$

is exactly 1.

Let $\boldsymbol {\beta }=(\omega _{l}^{-(l-p)}, \ldots , \omega _{l}^{-p(l-p)}, \ldots , \omega _{l}^{-l(l-p)} )^{T}\in \mathbb {C}^{l}$ . Observe that

$$ \begin{align*} &\omega_{l}^{-k}\cdot\omega_{l}^{-(l-p)}+ \omega_{l}^{-2k}\cdot\omega_{l}^{-2(l-p)}+\cdots+\omega_{l}^{-lk}\cdot\omega_{l}^{-l(l-p)}\\ &\quad =\frac{\omega_{l}^{-l(k+l-p)} \cdot\omega_{l}^{-(k+l-p)}-\omega_{l}^{-(k+l-p)} }{1-\omega_{l}^{-(k+l-p)} } =\frac{\omega_{l}^{-(k+l-p)}-\omega_{l}^{-(k+l-p)} }{1-\omega_{l}^{-(k+l-p)} }=0, \end{align*} $$

where $k=0, 1, \ldots , p-1,p+1,\ldots ,l-1$ . It follows that

$$ \begin{align*} A\boldsymbol{\beta}=0 \end{align*} $$

and

$$ \begin{align*} |\omega_l^{-(l-p)}|=\cdots=|\omega_l^{-p(l-p)}|=\cdots=|\omega_l^{-l(l-p)}|=1. \end{align*} $$

Therefore, there is a nonzero constant $k_0$ such that $\alpha =k_0\beta $ , which yields

$$ \begin{align*} |1-\omega_{l}E|=\cdots=|1-\omega_{l}^{p}E|=\cdots =|1-\omega_{l}^{l}E|. \end{align*} $$

Set $E=\rho e^{i \theta }$ . Then

$$ \begin{align*} |1-\rho e^{i (\theta+{2k \pi}/{l})}| \end{align*} $$

does not depend on $k\,(1\leq k\leq l)$ . Equivalently, $|\cos (\theta +{2k\pi }/{l})|$ is independent of k. However,

$$ \begin{align*} |\cos(\theta)|=\bigg|\cos\bigg(\theta+\frac{2\pi}{l}\bigg)\bigg|= \bigg|\cos\bigg(\theta+\frac{4\pi}{l}\bigg)\bigg| \end{align*} $$

leads to $l=1$ or $l=2$ . This contradicts our assumption that $l\geq 3$ . Therefore, we obtain $l=1$ or $l=2$ .

Step 3. Now, it suffices to consider the following two cases.

Case 1: $l=1$ , that is, there is a constant $C_1$ such that $g(z+1)-g(z)=C_1$ . By the assumption in Theorem 1.5, it is easy to see that $C_1\notin \{2k\pi i: k\in \mathbb {Z}\}$ .

Case 2: $l=2$ , that is, there is a constant $C_2$ such that $g(z+2)-g(z)=2C_2$ . It follows from (3.1) and (3.4) that

(3.8) $$ \begin{align} (-1)^n e^{h(z)}=(-1)^n\Delta^n e^{g(z)}=\phi_0 e^{g(z)}+\phi_1e^{g(z+1)}, \end{align} $$

where

$$ \begin{align*} \phi_0=\frac{(1-e^{C_2})^n+(1+e^{C_2})^n}{2} \quad \mbox{and} \quad \phi_1=\frac{(1-e^{C_2})^n-(1+e^{C_2})^n}{2 e^{C_2}}. \end{align*} $$

If $\phi _0\phi _1\neq 0$ , then applying Lemma 2.3 to (3.8) yields

$$ \begin{align*} \phi_0 e^{g(z)} \equiv 0 \quad \mbox{or} \quad \phi_1e^{g(z+1)}\equiv 0, \end{align*} $$

which are both impossible. Thus, $\phi _0 \phi _1\equiv 0$ , which yields

$$ \begin{align*} \bigg(\frac{1+\exp C_2}{1-\exp C_2}\bigg)^{2n}=1. \end{align*} $$

This completes the proof of Theorem 1.5.

4 Proof of Theorem 1.6

Proof. As in the proof of Theorem 1.5, we can assume without loss of generality that $c=1$ . Since f is a transcendental entire function with hyper-order less than 1,

$$ \begin{align*} \limsup_{r\to +\infty}\frac{\log \log T(r,f)}{\log r}<1, \end{align*} $$

which yields

$$ \begin{align*} \lim_{r\to +\infty}\frac{\log T(r, f)}{r}=0. \end{align*} $$

Together with the fact that $T(r, f)\leq \log M(r, f)\leq 3T(2r, f)$ , this gives

(4.1) $$ \begin{align} \lim_{r\to +\infty}\frac{\log\log M(r, f)}{r}=0. \end{align} $$

It follows from Theorem 1.5 that

(4.2) $$ \begin{align} f(z)=e^{g(z)}, \end{align} $$

where $g(z)=h(z)+C_1 z$ , $h(z)$ is an entire function with period 1 or 2 and $C_1$ is a constant. Then by Lemma 2.1,

$$ \begin{align*} M(r, f)\geq M\bigg(C M\bigg(\frac{r}{2}, g\bigg), e^z \bigg)=\exp\bigg(C M\bigg(\frac{r}{2}, g\bigg)\bigg) \end{align*} $$

for some absolute constant $C>0$ . This together with (4.1) yields

$$ \begin{align*} \lim_{r\to +\infty}\frac{\log M(r, g)}{r}=0. \end{align*} $$

Thus,

$$ \begin{align*} \lim_{r\to +\infty}\frac{T(r, g)}{r}=0. \end{align*} $$

If g is a polynomial, then the degree of g is exactly $1$ , in view of the fact that the hyper-order of f is less than 1. Thus, $f(z)= e^{a z +b}$ , where $a\neq 0$ and b are constants.

If g is a transcendental entire function, then according to (4.2), $H(z)=g'(z)$ is a periodic function with period 1 or 2. It is easy to see that for $\alpha \in \mathbb {C}$ , if $\alpha $ is not a Picard exceptional value of H, then

$$ \begin{align*} \frac{1}{r} n\bigg(r, \frac{1}{H-\alpha}\bigg)>C'>0 \end{align*} $$

for some constant $C'>0$ . It follows that

$$ \begin{align*} T(r, H)\geq N \bigg(r, \frac{1}{H-\alpha} \bigg)\geq C' r. \end{align*} $$

Thus,

$$ \begin{align*} \liminf_{r\to +\infty}\frac{T(r, g)}{r}\geq C'>0, \end{align*} $$

which leads to a contradiction. Therefore, the theorem is proved.

Acknowledgements

The authors would like to thank the referee for valuable suggestions and comments. The authors also thank Yang Chengwei for help during the preparation of this paper.

Footnotes

This work was partially supported by the National Natural Science Foundation of China (Grant Nos. 12171127, 12071047, 12301096, 11901311, 12371074) and National Key Technologies R&D Program of China (2020YFA0713300).

References

Chen, Z. X., ‘Relationships between entire functions and their forward differences’, Complex Var. Elliptic Equ. 58(3) (2013), 299307.10.1080/17476933.2011.584251CrossRefGoogle Scholar
Chen, Z. X. and Shon, K. H., ‘Estimates for the zeros of differences of meromorphic functions’, Sci. China Ser. A 52(11) (2009), 24472458.10.1007/s11425-009-0159-7CrossRefGoogle Scholar
Chiang, Y. M. and Feng, S. J., ‘On the Nevanlinna characteristic of $f(z+\eta)$ and difference equations in the complex plane’, Ramanujan J. 16(1) (2008), 105129.10.1007/s11139-007-9101-1CrossRefGoogle Scholar
Chiang, Y. M. and Feng, S. J., ‘On the growth of logarithmic differences, difference quotients and logarithmic derivatives of meromorphic functions’, Trans. Amer. Math. Soc. 361 (2009), 37673791.10.1090/S0002-9947-09-04663-7CrossRefGoogle Scholar
Clunie, J., ‘On integral and meromorphic functions’, J. Lond. Math. Soc. 37 (1962), 1727.10.1112/jlms/s1-37.1.17CrossRefGoogle Scholar
Csillag, P., ‘Über ganze Funktionen, welehe drei nicht verschwindende Ableitungen besitzen’, Math. Ann. 110 (1935), 745752.10.1007/BF01448056CrossRefGoogle Scholar
Frank, G., ‘Eine Vermutung von Hayman über Nullstellen meromorpher Funktionen’, Math. Z. 149 (1976), 2936.10.1007/BF01301627CrossRefGoogle Scholar
Halburd, R. G. and Korhonen, R. J., ‘Difference analogue of the lemma on the logarithmic derivative with applications to difference equations’, J. Math. Anal. Appl. 314(2) (2006), 477487.10.1016/j.jmaa.2005.04.010CrossRefGoogle Scholar
Halburd, R. G. and Korhonen, R. J., ‘Nevanlinna theory for the difference operator’, Ann. Acad. Sci. Fenn. Math. 31(2) (2006), 463478.Google Scholar
Halburd, R. G., Korhonen, R. J. and Tohge, K., ‘Holomorphic curves with shift-invariant hyperplane preimages’, Trans. Amer. Math. Soc. 366(8) (2014), 42674298.10.1090/S0002-9947-2014-05949-7CrossRefGoogle Scholar
Hayman, W. K., ‘Picard values of meromorphic functions and their derivatives’, Ann. of Math. 70(2) (1959), 942.10.2307/1969890CrossRefGoogle Scholar
Hayman, W. K., Meromorphic Functions, Oxford Mathematical Monographs, 3 (Clarendon Press, Oxford, 1964).Google Scholar
Langley, J. K., ‘Proof of a conjecture of Hayman concerning $f$ and ${f}^{{\prime\prime} }$ ’, J. Lond. Math. Soc. 48(2) (1993), 500514.10.1112/jlms/s2-48.3.500CrossRefGoogle Scholar
Pólya, G., ‘On an integral function of an integral function’, J. Lond. Math. Soc. 1(1) (1926), 1215.10.1112/jlms/s1-1.1.12CrossRefGoogle Scholar
Tumura, Y., ‘On the extensions of Borel’s theorem and Saxer–Csillag’s theorem’, Proc. Phys. Math. Soc. Japan 19(3) (1937), 2935.Google Scholar
Yang, C. C. and Yi, H. X., Uniqueness Theory of Meromorphic Functions (Kluwer Academic Publishers and Science Press, Dordrecht–Beijing–New York, 2003).10.1007/978-94-017-3626-8CrossRefGoogle Scholar
Yang, L., Value Distribution Theory (Springer, New York, 1993).Google Scholar