Abstract
We obtain some results regarding the problem of the periodicity of entire functions f(z) when differential polynomials P(z, f) with constant coefficients generated by f(z) are periodic. We provide some sufficient conditions that ensure the periodicity of f(z) , and we discuss some properties of periodic functions. Our results generalize and improve some earlier ones and have an importance concerning entire solutions of differential equations of the form \( P(z,f) =h(z)\), where h(z) is a periodic function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, there has been renewed interest in the periodicity of entire functions and differential polynomials. This can be attributed to the development on the application of Nevanlinna theory into the theory of complex differential and difference equations. Here we assume that the reader is familiar with the fundamental results and standard notations of Nevanlinna theory [6, 7, 17], including the notions of order, hyper-order and convergence exponent of zeros. For instance, a meromorphic function \(\varphi (z)\) is said to be a small function of a meromorphic function f(z) if the Nevanlinna characteristic \(T(r,\varphi )\) of \( \varphi (z) \) satisfies \(T(r,\varphi )=S(r,f)\), where the notation S(r, f) stands for any quantity satisfying \(S(r,f)=o(T(r,f))\) as \(r\rightarrow \infty \) possibly outside an exceptional set of finite linear, resp. logarithmic, measure. In addition, a periodic function f(z) with fundamental period c or mc, for some integer \(m\in {\mathbb {N}}\), is said to be c-periodic.
Our starting point is the following conjecture.
Conjecture 1.1
(Generalized Yang’s conjecture) Let f(z) be a transcendental entire function and n, k be positive integers. If \(f(z)^n f^{(k)}(z)\) is a periodic function, then f(z) is also a periodic function.
This conjecture originally appeared in [10, 15] for \( n = 1 \), known as Yang’s Conjecture. The present form of Conjecture 1.1 has been stated in [8]. It has been verified in the case \(k=1\) in [8, 15]. Furthermore, Conjecture 1.1 remains true for entire functions having a Picard exceptional value with some restrictions on the growth [8, 11].
The origin of this conjecture goes back to 1939, when Titchmarsh [14, p. 267] showed that the differential equation
has no real entire solutions of finite order other than \( f(z)=\pm \sin (z) \). After that, Li, Lü and Yang [10, Theorem 1] removed the assumption of f(z) being real entire function in Titchmarsh’s result. This, in fact, leads to the above conjecture after seeing that the differential polynomial \( f(z)f''(z)=-\sin ^2(z) \) and the solutions \( f(z)=\pm \sin (z) \) are both periodic functions. This property of the periodicity appears in certain general non-linear differential equations. For example, the periodic function \( f(z)=e^{z / 4}+e^{-z / 4} \) satisfies the differential equation
Also, we see that the periodicity phenomenon occurs for meromorphic functions as well. For example, the periodic function \( f(z)=e^{2 z} /\left( e^{z}-1\right) \) satisfies the differential equation
These observations lead to the question of whether the above conjecture is still valid if \(f(z)^nf^{(k)}(z)\) is replaced by a general differential polynomial P(z, f) with small coefficients. As shown by the following example, the answer to this question is not always affirmative.
Example 1.1
(1) The function \(f(z)=\exp (e^{2\pi iz}-z)\) is not periodic whereas the polynomial \( P(z,f):= e^{ 2z} f(z)^2 + e^{z} f(z)\) is periodic. (2) The function \(f(z)=ze^z+d\), where d is a constant, is not periodic whereas the differential polynomial \( P(z,f):=(f'(z))^2-f(z)f''(z)+df(z)=\left( e^{z}-d\right) ^2 \) is periodic.
Therefore, the natural way to deal with the aforementioned question is to consider the following problem, instead.
Problem 1.1
Under what conditions the periodicity of a differential polynomial P(z, f) implies that of f(z) ?
This problem has been considered, for example in [8, 9, 11, 12, 16], for P(z, f) having the following specific forms:
where Q(z) is a polynomial, L(f) is a linear differential polynomial. In contrast to the above, our approach in treating Problem 1.1 allows us to consider a more general form of P(z, f) . Consequently, we give generalizations to the earlier results as well as new findings.
This paper is organized as follows. In Sect. 2, we give our main results discussing the Problem 1.1 in cases when P(z, f) is a differential monomial and a differential polynomial with at least two non-zero terms and with constant coefficients. Some further results are given in Sect. 3, where we discuss the periodicity of some meromorphic functions and the periodicity of polynomials in an entire function with non-constant coefficients. The results of Sect. 3 will be used to prove the results of Sect. 2. Results in Sect. 3 can also be seen of independent interest. Finally, the proofs of the results of Sect. 2 are given in Sect. 4.
2 Periodicity of Differential Polynomials
This section is devoted to stating our main results regarding Problem 1.1. In fact, we mainly focus on the case when f(z) is a transcendental entire function. The case of meromorphic functions is still open for further research.
Here, we give some conditions on f(z) so that the implication in Problem 1.1 holds. Besides, when P(z, f) reduces to a differential monomial, we find that no condition concerning the form of P(z, f) is needed. However, for differential polynomials with at least two terms, some conditions on P(z, f) are required.
2.1 Differential Monomials
We recall the following result.
Theorem A
([11, Theorem 3.1]) Let f(z) be a transcendental entire function and n, k be positive integers. Suppose that \(f(z)^{n} f^{(k)}(z)\) is a periodic function with period c, and one of the following holds:
-
(i)
f(z) has the value 0 as a Picard exceptional value, and \( \rho _2(f)<\infty \).
-
(ii)
f(z) has a nonzero Picard exceptional value.
Then f(z) is periodic of period c or \( (n+1) c \).
As for the case when f(z) has, in particular, a finite Borel exceptional value, we mention the following result.
Theorem B
([12, Theorem 1.1]) Let f(z) be a transcendental entire function with \(\rho _2(f)<~1\) and n, k be positive integers. If there is a constant d such that \( \lambda (f-d)< \rho (f) \le ~\infty \) and \(f(z)^{n} f^{(k)}(z)\) is a periodic function, then f(z) is a periodic function as well.
The main objective of this subsection is to improve and generalize Theorems A and B by replacing \( f(z)^{n} f^{(k)}(z) \) with an arbitrary differential monomial.
A differential monomial M(z, f) generated by f(z) is a finite product of f(z) and its derivatives, that is,
where \(\lambda _{0},\ldots ,\lambda _{n}\) are non-negative integers. The quantities
are called the degree and the weight of M(z, f) , respectively.
Our first result deals with the case when f(z) has, in particular, the value 0 as a Borel exceptional value.
Theorem 2.1
Let f(z) be a transcendental entire function with \( \lambda (f)< \rho (f) \le \infty \), and suppose that M(z, f) is a periodic function with period c. Then the following holds:
-
1.
If \( \rho _2(f)<1 \), then \( f(z)=e^{az+b} \), where a, b are non-zero constants and \( e^{\gamma _M ac}=1 \).
-
2.
If \( 1\le \rho _2(f)< \infty \) and \( \lambda (f) < \rho _2(f)\), then f(z) is c-periodic.
Clearly, if an entire function f(z) is periodic, then \( f^{(k)}(z) \) must be periodic. The converse is not always true, as shown by the function \( f(z)=e^z+z \). However, the following consequence of Theorem 2.1 shows, under certain condition, that the converse holds.
Corollary 2.1
Let f(z) be a transcendental entire function, and suppose there exists a constant \( d\in {\mathbb {C}}\) such that \( \lambda (f-d)< \rho (f) \le \infty \). If \(f^{(k)}(z) \) is a periodic function with period c, where \( k\in {\mathbb {N}} \), then the conclusions of Theorem 2.1 hold.
This can be proved by taking \( g(z)=f(z)-d \) and \( M(z,g) =g^{(k)}(z)\). The rest follows immediately.
In contrast to Theorem 2.1, the next result shows that when f(z) has, in particular, a nonzero Borel exceptional value, the condition “\( \lambda (f) < \rho _2(f)\)” is not needed, and there is no restriction on the growth of f(z) .
Theorem 2.2
Let f(z) be a transcendental entire function, and suppose there exists a constant \( d\ne 0 \) such that \( \lambda (f-d)< \rho (f) \le \infty \). If M(z, f) is a periodic function with period c and \( \lambda _{0}>0 \), then f(z) is c-periodic.
The conclusion in Theorem 2.1(1) means clearly that f(z) is periodic of period c or \(\gamma _Mc\). Furthermore, from the proofs of Theorems 2.1 and 2.2, the conclusion of f(z) being c-periodic also means that f(z) is periodic of period c or \(\gamma _Mc\).
2.2 Differential Polynomials with at Least Two Non-zero Terms
Define the differential polynomial P(z, f) by
Here \(\alpha _j\) are non-zero constants and \( M_j(z,f) \) are differential monomials given by
where \(\lambda _{0j},\ldots ,\lambda _{nj}\) are non-negative integers.
Let \(\gamma _1,\gamma _2,\ldots ,\gamma _m\) be the degrees of \(M_1(z,f), M_2(z,f), \ldots , M_m(z,f)\), respectively. Similarly, let \(\Gamma _1,\Gamma _2,\ldots ,\Gamma _m\) be the weights of \(M_1(z,f), M_2(z,f), \ldots , M_m(z,f)\), respectively. Both degree and weight of differential monomials are given in (2.2). The total degree \(\gamma _{P}\) and total weight \(\Gamma _P\) of P(z, f) are defined, respectively, by
Since the differential polynomial P(z, f) is supposed to be periodic, we may assume, without loss of generality, that \(\gamma _{j}>0\), for all \(j\in \{1,\ldots ,m\}\).
Before stating our main results, we need to fix some notations. Define the sequence of positive integers \( \delta _1, \delta _2, \ldots , \delta _l \) as follows:
Clearly \( 1\le l\le m \) and the sequence \( \{\delta _i\} \) is strictly increasing. We denote by \(\Lambda (\delta _i)\) the set that contains the indices of the terms in (2.3) with the highest weights among those of degree \(\delta _i\). Now, we define the subset \(\Lambda _P\subset \{\delta _1,\delta _2,\ldots ,\delta _l\}\) by
The set \( \Lambda _P \) is illustrated by the following differential polynomial
where \(\delta _1=1\), \( \delta _2=2 \) and \(\delta _3=\gamma _P=3\). Here, we have \(\Lambda _{P}=\{1,3\}\), since
In this subsection, we discuss the periodicity of f(z) according to its hyper-order. To start with, we assume that the hyper-order of f(z) is \( <1 \).
Theorem 2.3
Let f(z) be a transcendental entire function with \(\rho _2(f)<1\), and suppose that there exists \( d\in {\mathbb {C}} \) such that \( \lambda (f-d)<\rho (f)\le \infty \). Suppose that \(P(z,f)\not \equiv 0\) is periodic with period c, \(\lambda _{0j}>0\) for every \(j\in \{1,\ldots ,m\}\) and one of the following holds
-
(i)
\(d=0\),
-
(ii)
\(d\ne 0\) and \(\lambda _{01}=\cdots =\lambda _{0m}=\lambda >0\),
-
(iii)
\(d\ne 0\) and \( \gamma _P\in \Lambda _{P} \).
Then f(z) is c-periodic.
The conclusion of Theorem 2.3 may not hold if \(P(z,f)\equiv 0\). For example, the function \(f(z)=e^{z^2}\) is not periodic and
Example 1.1(2) shows that the conclusion of Theorem 2.3 may not hold if the function f(z) does not appear in each term of P(z, f) , i.e., \( \lambda _{0j}=0 \) for some j.
Theorem 2.3 improves [2, Theorem 1] in the sense that in our result, the differential polynomial does not need to have one term only with the highest degree.
From the proof of Theorem 2.3, we see that no condition on \(\lambda _{0j}\) and \(\gamma _{P}\) is needed when d is a Picard exceptional value of f(z) . We state this without proof as follows.
Corollary 2.2
Let f(z) be a transcendental entire function with a finite Picard exceptional value d and \(\rho _2(f)<1\). Suppose that \(P(z,f)\not \equiv 0\) is a periodic function with period c. Then f(z) is c-periodic.
From Corollary 3.1 below and from the proof of Theorem 2.3 we see that f(z) in the conclusion of Theorem 2.3 and Corollary 2.2 has the form \(f(z)=e^{az+b} +d\), where a, b are non-zero constants and a satisfies \( e^{\delta ac} =1 \), where \(\delta \) is an integer not exceeding \(\gamma _{P}\).
Next, we present some sufficient conditions that ensure the periodicity of f(z) when its hyper-order is \( \ge 1 \).
Theorem 2.4
Let f(z) be a transcendental entire function with \(1\le \rho _2(f)<\infty \), and suppose that there exists \( d\in {\mathbb {C}} \) such that \( \lambda (f-d)<\rho _2(f) \). Suppose that P(z, f) is a periodic function with period c, \(\Lambda _P\ne \emptyset \) and one of the following holds:
-
(i)
\(d=0\);
-
(ii)
\(d\ne 0\) and \(\gamma _{P}\in \Lambda _P\).
Then f(z) is c-periodic.
From the proof of Theorem 2.4, one may see that the condition “\( \gamma _{P}\in \Lambda _P \)” is not needed if \(\lambda _{0j}=0\) for all \(j\in \{1,\ldots ,m\}\).
The condition \(\Lambda _P \ne \emptyset \) is a sufficient, but not a necessary condition for the periodicity of f(z). The following example illustrates this point. For example, the function \(f(z)=e^{\sin z}\) satisfies \( \lambda (f)=0<1=\rho _2(f) \) and solves the differential equation
Here, P(z, f) and f(z) are both periodic while \(\Lambda _P = \emptyset \).
Furthermore, from Lemma 4.2 below and the condition \( \Lambda _p \ne \emptyset \), one may see that \( P(z,f)\not \equiv ~0 \) in Theorem 2.4.
3 Further Results
In this section, we give some observations on the periodicity of meromorphic functions as well as on the periodicity of polynomials in an entire function f(z) with non-constant coefficients. The results presented here will be used later to prove the main theorems of Sect. 2, and are also of independent interest.
3.1 Periodicity of Some Meromorphic Functions
We start with following basic result.
Proposition 3.1
Let \( v(z)\not \equiv 0 \) be a meromorphic function of order \( \rho (v)<\infty \), and g(z) be a non-constant entire function. If \( F(z) = v(z)e^{g(z)} \) is a periodic function of period \( \tau \), then either \( \rho (g)\ge 1 \), or g(z) is polynomial. In the case when g(z) is polynomial, we have
Proof
Denote \(q(z):=g(z)-g(z+\tau )\). Then, by periodicity of F(z),
This implies that q(z) must be a polynomial since \( \rho (v)<\infty \). If \(\deg (q)= m\), then \(g^{(m+1)}(z)\) is periodic, and according to [17, Lemma 5.1] we have either \(g^{(m+1)}(z)\) is a constant, i.e., g(z) is polynomial with \( \deg (g)=m+1 \), or \(\rho (g)\ge 1\). Now, in the case when g(z) is polynomial and \( \deg (g) \ge 2 \), we obtain from (3.1) and [3, Theorem 9.2] that
If \( \deg (g) \!\!=\!\!1 \), then again from (3.1) we get that \( v(z+\tau )/ v(z)\) is constant. \(\square \)
Remark 3.1
If \( \rho (v)<1 \) in Proposition 3.1, then v(z) must be constant. Indeed, If q(z) in (3.1) is not constant, then we get a contradiction with \( \rho (v)<1 \). Thus, q(z) must be a constant, and then from [1, Lemma 3.3] and [17, Lemma 5.1], v(z) is constant.
As a consequence of Proposition 3.1, we have the following improvement of [4, Corollary 2].
Corollary 3.1
Let f(z) be a non-constant periodic entire function with \( \rho _2(f)<1 \). Then, for any \( d\in {\mathbb {C}} \), we have either \( f(z)=e^{az+b}+d \), for some \( a,b \in {\mathbb {C}} \), or
Proof
Let \( d \in {\mathbb {C}} \) be arbitrary. Assume that f(z) is not of the form \(e^{az+b} +d\). Therefore, if \( \lambda (f-d)<\rho (f)\), then we can write
where v(z) and g(z) are entire functions such that \(\rho (v)=\lambda (f-d)<\infty \). Obviously, g(z) is a polynomial, otherwise it follows from Proposition 3.1 that \(\rho _2(f)=\rho (g)\ge 1\), which contradicts our assumption. Now, if \(\deg (g)\ge 2\), we may use Proposition 3.1 again to obtain
which is a contradiction, and thus, \(\rho (v)<\deg (g)=1\). From this and Remark 3.1 we conclude that v(z) must be constant, that is, f(z) is of the form \( e^{az+b} +d \), which contradicts the assumption.
Now, let \( k\in {\mathbb {N}} \) be arbitrary. Clearly, the periodicity of \(f^{(k)}(z)\) follows from that of f(z). Hence, it follows from the previous reasoning, with \( d=0 \), that either
or \( f^{(k)}(z)\) has the form \( f^{(k)}(z) = e^{az+b} \), i.e., f(z) is of the form
where c is a constant (depending on a, b and k) and p(z) is a polynomial of degree less than k. Since f(z) is periodic, we conclude that p(z) must be a constant, which is not possible by the assumption. Thus, we have the conclusion of Corollary 3.1. \(\square \)
Next, we present the following improvement of [5, Theorem 1].
Proposition 3.2
Let \(g_1(z),g_2(z),\ldots ,g_n(z)\) be non-constant entire functions such that \(g_{j}(z)-g_{k}(z)\) are non-constant whenever \(j\ne k\), and let \( v_0(z), v_1(z), \ldots , v_n(z) \) be non-zero meromorphic functions with \( \max \limits _{0\le j\le n} \rho (v_j) <1\). If
is periodic of period \(\tau \), then each \(v_{j}(z)\) (\( j=0,\ldots ,n \)) must be constant, and for every \( k=1, \ldots ,n \), \(g_k(z)=p_k(z)+a_k z\), where \(a_k\) is a constant and \(p_k(z)\) is periodic of period \(\tau \).
Proof
Notice that F(z) must be non-constant, otherwise \(v_{j}(z)\equiv 0\) (\( j=0,\ldots ,n \)) by Borel’s lemma. We follow the idea of the proof of [5, Theorem 1]. Since \( F(z)=F(z+\tau ) \), it follows from Borel’s lemma that, and for any \( k\in \{1,\ldots ,n\} \), there exists a fixed integer \( m_k \) such that
From Proposition 3.1 and Remark 3.1, we get that \( v_k(z) \) (\( k=1,\ldots ,n \)) are constants. Similarly, Borel’s lemma implies that \( v_0(z) \) is periodic. Hence, it is constant as \( \rho (v_0)~<~1 \). \(\square \)
3.2 Periodicity of Polynomials with Non-constant Coefficients
The following theorem was the key in proving several new results concerning Conjecture 1.1 and some of its general forms in [11]. It is an extension of the classical result of C. and A. Rényi [13, Theorem 2].
Theorem C
([11, Theorem 2.1]) Let f(z) be a transcendental entire function such that \(N(r,1/f)=S(r,f)\), A(z) be non-vanishing meromorphic function satisfying \( T(r,A) = S(r,f) \), and let
P(z) be a polynomial with at least two non-zero terms. If \( A(z) P\left( f(z)\right) \) is periodic of period c, then f(z) is c-periodic.
The aim of this subsection is to extend Theorem C, and give a general study on the periodicity of polynomials in f(z) with non-constant coefficients. This will be so useful in proving our main theorems.
Let Q(f) be a polynomial in f(z) with at least two non-zero terms and defined as
where \(\alpha _{\nu _s}(z)\) are non-vanishing meromorphic functions and small with respect to f(z).
The next result gives necessary conditions for the periodicity of Q(f) .
Theorem 3.1
Let f(z) be a transcendental entire function with \(N(r,1/f)=S(r,f)\) and let Q(f) be as in (3.3) and be a periodic function of period c. Then for all \(s\in \{1,\ldots ,l\}\), the terms \(\alpha _{\nu _{s}}(z)f(z)^{\nu _{s}}\) are periodic of period c. Furthermore, for any distinct \(m,n\in \{1,\ldots ,l\}\) for which \(\nu _{m}\nu _n>0\), the functions
are periodic of period c.
Proof
Since Q(f) is periodic of period c, it follows that
where \(f_c\) stands for \(f(z+c)\). Making use of the Valiron-Mohon’ko theorem [6, Theorem 2.2.5], it follows \(T(r,f_c)\sim T(r,f)\) as \(r \rightarrow \infty \), probably outside an exceptional set of finite linear measure. Let \(m\in \{1,\ldots ,l\}\). Then, dividing both sides of (3.5) by \(\alpha _{\nu _m}(z)f(z)^{\nu _m}\) yields
Clearly, for every \(s\ne m\),
cannot be constants. Then, using [17, Theorem 1.62] we obtain
Since \(m\in \{1,\ldots ,l\}\) is arbitrary, we deduce the first assertion that all the terms are periodic of period c. The periodicity of the functions (3.4) follows directly from (3.6). \(\square \)
The conclusions of Theorem 3.1 cannot be a sufficient condition for the periodicity of f(z) as shown by the following example.
Example 3.1
For the entire function \(f(z)=e^{e^z}\left( \frac{e^z-1}{z}\right) \), the polynomial
is periodic, the coefficients satisfy (3.4), but f(z) is not periodic.
Remark 3.2
Gross [5, Theorem 2] proved that the function \(e^{g(z)}+g(z)\) cannot be periodic if g(z) is not periodic. This result is a special case of Theorem 3.1. Indeed, if f(z) is a transcendental entire function with \(N(r,1/f)=S(r,f)\) and g(z) is a small function of f(z), then \(f(z)+g(z)\) is periodic of period c if and only if f(z) and g(z) are periodic of period c.
In general, the periodicity of f(z) is related to the periodicity of the coefficients of Q(f). This is shown in the following corollary.
Corollary 3.2
Under the hypotheses of Theorem 3.1, the statements below are equivalent:
-
(i)
One coefficient \(\alpha _{\nu _{s}}(z)\) with \(\nu _{s}>0\) is c-periodic;
-
(ii)
All the coefficients are c-periodic;
-
(iii)
f(z) is c-periodic.
Proof
Suppose that one of the coefficients \(\alpha _{\nu _s}(z)\) with \(\nu _s >0\) is c-periodic. Then, by (3.6), \(f(z)^{\nu _s}\) has the same period as \(\alpha _{\nu _{s}}(z)\). In fact, if \(\alpha _{\nu _{s}}(z)\) is of period mc, for some positive integer m, then f(z) is either of period mc or \(\nu _{s}mc\). This shows that if one of the coefficients \(\alpha _{\nu _s}(z)\) with \(\nu _s >0\) is c-periodic, then f(z) is c-periodic either. Now, let f(z) be a c-periodic function. Then, from (3.6) we see that all the coefficients \(\alpha _{\nu _{s}}(z)\) must have the same period as f(z). Therefore, for all \(s\in \{1,\ldots ,l\}\), \(\alpha _{\nu _{s}}(z)\) is c-periodic. \(\square \)
One can see that Theorem C can be obtained from Theorem 3.1 and Corollary 3.2. Indeed, if there exist distinct m, n such that \( \nu _m\nu _n>0 \) and \( \alpha _{\nu _{m}}(z) / \alpha _{\nu _{n}}(z) \) is constant, then from (3.4), we see that both \( \alpha _{\nu _{m}}(z) \) and \( \alpha _{\nu _{n}}(z) \) are c-periodic, and then f(z) is c-periodic by Corollary 3.2.
In particular, if all the coefficients of Q(f) are of order \( <1 \) and \(Q(f)-Q(0)\) has at least one constant coefficient, then Corollary 3.2 and [17, Lemma 5.1] reveal that all the coefficients of Q(f) must be constants.
Next, we show how the growth of the coefficients of Q(f) is related to the zeros of f(z) in Theorem 3.1.
Corollary 3.3
In Theorem 3.1, assume in addition that the coefficients of Q(f) are all entire functions of order \( <1 \), and at least one of them is non-constant. Then \( \lambda (f)\ge 1 \).
Proof
Assume that \( \lambda (f)<1 \). Then we can write \( f(z) =v(z)e^{g(z)} \), where \( \rho (v)<1 \). By substituting this f(z) in Q(f) and using Proposition 3.2, we obtain, for any \( s\in \{1, \ldots ,l\} \), that \( \alpha _{\nu _{s}}(z) v(z)^{\nu _{s}} \) is constant. Since both \( \alpha _{\nu _s}(z) \) and v(z) are entire functions of order \( <1 \), it follows that both of them must be constants, and then all the coefficients are constants, which contradicts the assumption. Thus \( \lambda (f)\ge 1 \). \(\square \)
Example 3.1 shows that the conclusion of Corollary 3.3 is sharp. In the case of meromorphic coefficients, the conclusion of Corollary 3.3 does not hold. For example, any non-constant entire function v(z) with \( \rho (v)<1 \), and take \(f(z)=v(z) e^z \). Then the polynomial
is periodic. Here, all the coefficients are of order \( <1 \), and \( \lambda (f)<1 \).
4 Proofs
4.1 Proofs of Theorems 2.1 and 2.2
Before proceeding with the proofs, we give a preparation on the monomial M(z, f) .
Let f(z) be a transcendental entire function and let \( d\in {\mathbb {C}} \) such that \( \lambda (f-d)<\rho (f) \). Then, by Weierstrass factorization theorem, we may write \(f(z)=\pi (z) e^{h(z)}+d\), where h(z) is an entire function and \(\pi (z)\) is the canonical product of zeros of \(f(z)-d\) with \(\rho (\pi )<\rho (f)\). Notice, for any positive integer k, that
where \({\mathcal {Q}}_k(\pi ,h')\) is a differential polynomial in \(\pi (z)\) and \(h'(z)\) with constant coefficients. Here, \({\mathcal {Q}}_k(\pi ,h')\) is non-linear with respect to \( h'(z) \) with degree \(\deg _{h'}{\mathcal {Q}}_k\le k-1\), and linear with respect to \( \pi (z) \). Therefore, substituting \(f(z)=\pi (z)e^{h(z)}+d\) into (2.1) yields
where
and \({\mathcal {L}}_k(\pi ,h')=\pi (z)\, h'(z)^k+{\mathcal {Q}}_k(\pi ,h')\). Expanding the product in (4.2) yields
where \(Q(\pi ,h')\) is a differential polynomial in \(\pi (z)\) and \(h'(z)\) with constant coefficients, and \(\deg _{h'} Q\le \Gamma _M-1\).
Proof of Theorem 2.1
Here we have \( d=0 \), and therefore (4.1) becomes
where H(z) satisfies (4.2) and (4.3).
(1) Suppose that \(\rho _2(f)<1\). Since \( \rho (\pi )< \rho (f)\le \infty \) and \( \rho (h) <1 \), it follows that \( \rho (H)< \infty \). Hence, from the periodicity of \( M(z,f) =H(z)e^{\gamma _Mh(z)}\) and Proposition 3.1 we deduce that h(z) is a polynomial with \(\deg (h)=1\). Indeed, if \( \deg (h)\ge 2\), we may use Proposition 3.1 to obtain
which is a contradiction. Now, from (4.3) we have
and then Remark 3.1 asserts that H(z) must be a constant, that is, the product (4.2) is a constant. Since all factors of (4.2) are entire functions of order \( <1 \), it follows that all these factors must be constants. Notice that, for each k, the differential polynomial \({\mathcal {L}}_k(\pi ,h')\) takes the form
and \( \rho ({\mathcal {L}}_k) \le \rho (\pi )<1 \). If now \(\lambda _{0}>0\), then \(\pi (z)\) is a constant. Otherwise, there exists a positive \(\lambda _{k}\) for which \({\mathcal {L}}_k(\pi ,h')\) is constant. Therefore,
If \(\pi '(z)\not \equiv 0\), then \( \pi '(z) \) is a non-trivial solution of a linear differential equation with constant coefficients, i.e., \( \pi '(z)\) is a linear combination of functions of the form \( e^{\alpha z} \), where \( \alpha \) is a constant. This yields \(\rho (\pi ')=\rho (\pi )=1\), which contradicts \( \rho (\pi )<1 \). Thus \(\pi (z)\) must be a non-zero constant. Hence, f(z) takes the form \( e^{az+b} \), where a and b are non-zero constants. From the periodicity of M(z, f) , we directly obtain \( e^{\gamma _Mac}=1 \).
(2) Suppose now that \(1\le \rho _2(f)< \infty \) and \( \lambda (f)<\rho _2(f) \). Then \(\rho (\pi )<\rho (h)=\rho _2(f)<~\infty \), and hence \( \rho (H)\le \rho (h)<\infty \). Since M(z, f) is periodic of period c, it follows that
As in the proof of Proposition 3.1, q(z) is polynomial. If \(\deg (q)=t\ge 1\), then applying [3, Theorem 9.2] to (4.4) yields
Making use of (4.3) and the fact that \( h(z+c) = h(z) + q(z)\), we obtain
where \(\pi _c(z)\) stands for \(\pi (z+c)\), \({\tilde{Q}}(\pi _c,h')\) is a differential polynomial in \(\pi _c(z)\) and \(h'(z)\) with polynomial coefficients, and of degree \(\deg _{h'}{\tilde{Q}}\le \Gamma _M-1\). Combining (4.6) and (4.4) results in
If \(\pi _c(z)^{\gamma _M}-e^{-\gamma _M q(z)} \pi (z)^{\gamma _M}\not \equiv 0,\) then by taking the Nevanlinna characteristic function of both sides of (4.7) and keeping in mind that \(\rho =\rho (\pi )<\infty \), we obtain
Hence, \(\rho (h)\le \max \{\rho , t\}\), which contradicts (4.5) and \( \rho (\pi )<\rho (h) \). Therefore,
which implies that \(f_c(z)^{\gamma _M}=f(z)\). Hence, f(z) is periodic of period c or \(\gamma _M c\).
Consider next the case \(t=0\). This means that \(q(z)=q\) is a constant, hence \(h'(z+c)=h'(z)\). From (4.3), and by making use of (4.4), we get
The same arguments as for the case \(t\ge 1\) lead to the same conclusion that f(z) is periodic of period c or \(\gamma _M c\). \(\square \)
Proof of Theorem 2.2
Since \(\lambda _{0}>0\), it follows from (4.1) that
Without loss of generality, we may assume that \(\gamma _{M}>\lambda _{0}\), since otherwise \(M(z,f)=f(z)^{\gamma _{M}}\), and the periodicity of f(z) follows trivially from that of M(z, f).
Recall that \(\rho (\pi )<\rho (f)=\rho (e^h)\). Since \(e^{h(z)}\) is of regular order, we deduce by the properties of the limit that \(T(r,\pi )=S(r,e^h)\) and consequently \(T(r,H)=S(r,e^h)\). Thus, M(z, f) can be regarded as a polynomial (with at least two terms) in \(e^{h(z)}\) with coefficients being small with respect to \(e^{h(z)}\). Making use of Theorem 3.1 and considering the first two terms of (4.8) result in
and
From the above two equations, we get that \(\pi (z)e^{h(z)}\) is periodic of period c. Thus f(z) is periodic of period c. \(\square \)
4.2 Proofs of Theorems 2.3 and 2.4
Similarly to Subsect. 4.1, we have \( f(z)=\pi (z) e^{h(z)}+d \) and we see that each monomial \( M_j(z,f) \) in (2.3) satisfies
Here, \( H_j(z) \) has the same form as in (4.2) and (4.3), i.e.,
and
where \({\mathcal {L}}_k(\pi ,h')=\pi (z)\, h'(z)^k+{\mathcal {Q}}_k(\pi ,h')\) and \(Q_j(\pi ,h')\) is a differential polynomial in \(\pi (z)\) and \(h'(z)\) with constant coefficients, and \(\deg _{h'} Q_j\le \Gamma _j-1\). Therefore,
Proof of Theorem 2.3
(i) Assume that \(d=0\) and \( \lambda _{0j}>0\) for all j. Then (4.11) becomes
Using the sequence defined in (2.5), P(z, f) can be rewritten as:
where
Here, we have \( \rho ({\tilde{H}}_i) \le \max \{\rho (\pi );\rho (h) \}< \rho (e^h)\), and then
Thus, P(z, f) can be seen as a polynomial in \( e^{h(z)} \) with coefficients being small with respect to \( e^{h(z)} \). For the rest of the proof we use the following lemma. \(\square \)
Lemma 4.1
If \( \lambda _{0j}>0\) for all j, and there exists \( p\in \{1,\ldots ,l\} \) such that \( {\tilde{H}}_p(z) e^{\delta _p h(z)} \) is non-zero periodic, then f(z) is periodic of period c or \( \delta _{p}c \).
Proof
Proposition 3.1 reveals that h(z) is a polynomial of degree \( \deg (h)=1 \), and \( \rho ({\tilde{H}}_p)\le \rho (\pi )<\rho (f)=\deg (h)=1 \). Then, Remark 3.1 reveals that \( {\tilde{H}}_p(z) \) is a constant.
From (4.14) and (4.9), we have
By assumption, we have \(\lambda _{0j}>0\) for all \(j\in \{1,2,\ldots ,m\}\). If \(\pi (z)\) is non-constant, then \(\pi (z)\) has at least one zero \(z_0\). Plugging \(z_0\) in (4.15) yields \({\tilde{H}}_p=0\), which is a contradiction. Thus, \( \pi (z) \) does not have zeros, and then \(\pi (z)\) must be a non-zero constant since \(\rho (\pi )<1\). From the periodicity of \( {\tilde{H}}_p e^{\delta _p h(z)} \), we conclude that f(z) is periodic of period c or \( \delta _{p}c \). \(\square \)
Now, return to the proof of Theorem 2.3. Since \( P(z,f) \not \equiv 0\), it follows that there is a \( p\in \{1,\ldots ,l\} \) such that \( {\tilde{H}}_p(z)\not \equiv 0 \). Now, if P(z, f) has only one term, i.e.,
then, by periodicity of P(z, f) and Lemma 4.1 we deduce that f(z) is periodic of period c or \( \delta _{p}c \). If P(z, f) has at least two non-zero terms, then we may apply Theorem 3.1 to obtain that the term \( {\tilde{H}}_p(z)e^{\delta _ph(z)} \) is periodic. Again, Lemma 4.1 results in the conclusion that f(z) is periodic of period c or \( \delta _{p}c \).
(ii) Assume now that \(d\ne 0\) and all \(\lambda _{0j}\) are equal to the same positive integer \(\lambda \). Then, we may write (4.11) as
where \({\tilde{H}}_i(z)\) are given in (4.14) and the \(\delta _i\)’s are defined in (2.5). Clearly, the coefficients \({\tilde{H}}_i(z)\) are not all vanishing identically, since otherwise \(P(z,f)\equiv 0\), which is a contradiction. If the sum in (4.17) reduces to a constant, then Theorem 3.1 reveals directly that f(z) is c-periodic. Otherwise, expanding (4.17) yields
Let \( p\in \{1,\ldots ,m\} \) be the largest index for which \({\tilde{H}}_p(z)\not \equiv 0\). Then the leading term of P(z, f) would be \({\tilde{H}}_p(z)e^{\delta _ph(z)}\). It follows by applying Theorem 3.1 that \({\tilde{H}}_p(z)e^{\delta _ph(z)}\) is periodic of period c, and then Lemma 4.1 gives that f(z) is periodic of period c or \(\delta _{p}c\).
(iii) Assume that \( d\ne 0 \), \( \lambda _{0j}>0\) for all j and \( \gamma _p \in \Lambda _{P} \). Recall that \(\delta _l=\gamma _P\). It follows from the following lemma that \( {\tilde{H}}_l(z) \) defined in (4.14) satisfies \({\tilde{H}}_l(z)\not \equiv 0\).
Lemma 4.2
If there exists s such that \(\delta _s\in \Lambda _P\), then \({\tilde{H}}_s(z)\not \equiv 0\).
Proof
By making use of (4.10), we obtain
where
and \({\tilde{\Gamma }}_s\) is the highest weight of the terms with degree \(\delta _{s}\) in (2.3), \({\tilde{Q}}_s(\pi ,h')\) is a differential polynomial in \(h'(z)\) and \( \pi (z) \) with \(\deg _{h'}\le {\tilde{\Gamma }}_s-1\), with constant coefficients.
If \({\tilde{H}}_s(z)\equiv 0\), then from (4.19) we get that \( T(r,h') = O(T(r,\pi )) \), and this yields \( \rho (h)\le \rho (\pi ) \), which contradicts the assumption \( \rho (\pi )<\rho (h) \). Thus \({\tilde{H}}_s(z)\not \equiv 0\). This completes the proof the lemma. \(\square \)
From (4.11) we obtain that
where \({\mathcal {D}}(z,e^{h(z)})\) is a polynomial in \(e^{h(z)}\) of degree \(\le \delta _l-1\), with coefficients being small with respect to \(e^{h(z)}\). Therefore, using Theorem 3.1, we obtain that \( {\tilde{H}}_l(z)e^{\delta _lh(z)} \) is periodic of period c, and then Lemma 4.1 asserts that f(z) is periodic of period c or \(\delta _{l}c\).
Proof of Theorem 2.4
(i) Assume that \(d=0\). In this case, P(z, f) takes the form (4.13). Since \(\Lambda _P\ne \emptyset \), there exists \(\delta _s\in \Lambda _P\), and hence \( {\tilde{H}}_s(z)\not \equiv 0 \). Keeping in mind that \(T(r,{\tilde{H}}_i)=S(r,e^h)\), for all \(i=1,\ldots ,l\), we may apply Theorem 3.1 to (4.13) to obtain that \( {\tilde{H}}_s(z)e^{\delta _s h(z)} \) is periodic of period c. Following the same reasoning as in the proof of Theorem 2.1(2), we conclude that f(z) is either periodic of period c or \(\delta _s c\).
(ii) Assume now that \(d\ne 0\). If \(\lambda _{0j}=0\) for all \(j=1,\ldots ,m\), then P(z, f) takes the form (4.13), and as in the previous case (i), we conclude the periodicity of f(z). Otherwise, if \( \gamma _{P}\in \Lambda _{P} \), then by recalling that \(\delta _l=\gamma _P \in \Lambda _P\), we get \({\tilde{H}}_l(z)\not \equiv 0\) by Lemma 4.2. Applying Theorem 3.1 into (4.20), we obtain that \( {\tilde{H}}_l(z)e^{\delta _lh(z)} \) is periodic of period c. Again, as in Case (i) we obtain that f(z) is periodic of period c or \( \gamma _P c \). \(\square \)
Data Availability Statement
Not applicable.
References
Bergweiler, W., Langley, J.K.: Zeros of differences of meromorphic functions. Math. Proc. Camb. Philos. Soc. 142(1), 133–147 (2007)
Chen, Y. Y., Long, F., Wang, J.: On entire solutions of some non-linear differential equations. (Submitted)
Chiang, Y.M., Feng, S.: On the Nevanlinna characteristic of \(f(z +\eta )\) and difference equations in the complex plane. Ramanujan J. 16(1), 105–129 (2008)
Gross, F., Yang, C.C.: On periodic entire functions. Rend. Circ. Mat. Palermo 21(3), 284–292 (1972)
Gross, F.: On the periodicity of compositions of entire functions. Can. J. Math. 18, 724–730 (1966)
Laine, I.: Nevanlinna theory and complex differential equations. Walter de Gruyter, Berlin, New York (1993)
Liu, K., Laine, I., Yang, L.Z.: Complex delay-differential equations. Walter de Gruyter, Berlin, Boston (2021)
Liu, K., Wei, Y., Yu, P.Y.: Generalized Yang’s Conjecture on the periodicity of entire functions. Bull. Korean Math. Soc. 57(5), 1259–1267 (2020)
Liu, K., Yu, P.Y.: A note on the periodicity of entire functions. Bull. Aust. Math. Soc. 100(2), 290–296 (2019)
Li, P., Lü, W.R., Yang, C.C.: Entire solutions of certain types of nonlinear differential equations. Houston J. Math. 45(2), 431–437 (2019)
Latreuch, Z., Zemirni, M.A.: On a theorem of A. and C. Rényi and a conjecture of C. C. Yang concerning periodicity of entire functions. Anal. Math. 48(1), 111–125 (2022)
Lü, W., Zhang, X.: On the periodicity of transcendental entire functions. Results Math. 75(4), 13 (2020). (Paper No. 176)
Rényi, A., Rényi, C.: Some remarks on periodic entire functions. J. Anal. Math. 14(1), 303–310 (1965)
Titchmarsh, E.C.: The theory of functions, 2nd edn. Oxford University Press, Oxford (1939)
Wang, Q., Hu, P.C.: On zeros and periodicity of entire functions. Acta Math. Sci. 38A(2), 209–214 (2018)
Wei, Y.M., Liu, K., Liu, X.L.: The periodicity on a transcendental entire function with its differential polynomials. Anal. Math. 47(3), 695–708 (2021)
Yang, C.C., Yi, H.X.: Uniqueness theory of meromorphic functions. Science Press and Kluwer Acad. Publ, Beijing (2003)
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
All the authors have made an equal contribution.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Zemirni, M.A., Laine, I. & Latreuch, Z. New Findings on the Periodicity of Entire Functions and Their Differential Polynomials. Mediterr. J. Math. 20, 136 (2023). https://doi.org/10.1007/s00009-023-02351-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02351-z