 Research
 Open access
 Published:
On meromorphic solutions of some linear differential equations with entire coefficients being Fabry gap series
Advances in Difference Equations volume 2015, Article number: 32 (2015)
Abstract
In this paper, we investigate the growth and the exponent of convergence of the sequence of φpoints of meromorphic solutions of the linear differential equations
and
with entire coefficients \(A_{j}(z)\), \(j=0,1,\ldots,k\) and \(F(z)\), where \(k\geq2\), \(A_{0}(z)A_{k}(z)\not\equiv0\), \(\varphi(z)\) is a meromorphic function of finite order, and there is only one dominant coefficient \(A_{k}(z)\) of the maximal order, which is also a Fabry gap series.
1 Introduction and main results
We make use of the standard notations of Nevanlinna’s value distribution theory (see, e.g., [1–3]). In the whole paper, let \(f(z)\) be a meromorphic function in the whole complex plane.
Firstly, let us recall the following definitions (see, e.g., [4–6]).
Definition 1.1
The iterated porder \(\sigma_{p}(f)\) and the iterated plower order \(\mu_{p}(f)\) of a meromorphic function \(f(z)\) are defined respectively by
Especially, \(\sigma(f)=\sigma_{1}(f)\), \(\mu(f)=\mu_{1}(f)\).
Definition 1.2
The finiteness degree of the order of a meromorphic function \(f(z)\) is defined by
Definition 1.3
The iterated exponents of convergence of the sequence of apoints and the sequence of distinct apoints of a meromorphic function \(f(z)\) are defined respectively by
where \(a\in\mathbb{C}\cup\{\infty\}\).
Further, we can get the definitions \(\lambda_{p}(f\varphi)\) and \(\overline{\lambda}_{p}(f\varphi)\), when a is replaced by a meromorphic function \(\varphi(z)\).
Secondly, let us recall some results on the growth of solutions of the homogeneous linear differential equation
where \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are entire functions (see, e.g., [4, 6–13]). It is well known that all solutions of (1.1) are entire functions.
In 1993, Chen and Gao considered the growth of solutions of (1.1) and obtained the following theorem in [9].
Theorem A
(see [9])
Suppose that \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are entire functions and satisfy

(i)
\(\sigma(A_{j})<\sigma(A_{0})<\infty\), \(j=1,\ldots,k1\)
or

(ii)
\(A_{0}(z)\) is a transcendental entire function with \(\sigma(A_{0})<\infty\), and \(A_{j}(z)\), \(j=1,\ldots,k1\), are polynomials.
Then every solution \(f(z)\) (≢0) of (1.1) satisfies \(\sigma(f)=\infty\).
Generally, when \(A_{d}(z)\) (\(0\leq d\leq k1\)) is dominant, Chen and Gao obtained the following theorem in [10] in 1997.
Theorem B
(see [10])
Suppose that \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are entire functions, and there exists \(A_{d}(z)\) (\(0\leq d\leq k1\)) such that

(i)
\(\sigma(A_{j})<\sigma(A_{d})<\frac{1}{2} \) (\(j=0,\ldots,d1,d+1,\ldots,k1\))
or

(ii)
\(A_{d}(z)\) is transcendental with \(\sigma(A_{d})=0\) and \(A_{j}(z)\) (\(j\neq d\)) are polynomials.
Then every solution \(f(z)\) (≢0) of (1.1) is either a polynomial with \(\deg f\leq d1\), or an infinite order entire function. Furthermore, if among \(A_{d1}(z),\ldots,A_{0}(z)\) there exist and only exist \(A_{m_{1}}(z),\ldots,A_{m_{s}}(z)\) (\(d1\geq m_{1}>m_{2}>\cdots>m_{s}\geq0\)) being transcendental, and \(\sigma(A_{m_{j}})\) (\(j=1,\ldots,s\)) are unequal to each other or \(s=1\), and if (1) \(m_{s}=0\), or (2) \(m_{s}>0\) and polynomials \(A_{m_{s}1}(z),\ldots,A_{0}(z)\) satisfy that \(\deg A_{j}j\) (\(j=m_{s}1,\ldots,0\)) are unequal to each other or \(m_{s}=1\) and \(A_{0}(z)\not\equiv0\), then every solution \(f(z)\) (≢0) of (1.1) satisfies \(\sigma(f)=\infty\).
Theorems A and B give the properties of solutions of (1.1) when there is exactly one coefficient that has the maximal order. Thus, a natural question arises: how about the properties of solutions of (1.1) when there is more than one coefficient having the maximal order? In this paper, we proceed in this way.
Now, we turn to consider the homogeneous linear differential equation
where \(k\geq2\), \(A_{k}(z)A_{0}(z)\not\equiv0\), and \(A_{j}(z)\), \(j=0,1,\ldots,k\), are entire functions. Hamani and Belaïdi in [14] and He et al. in [15] investigated (1.2) and obtained the properties of the iterated order of solutions of (1.2) when there exists one \(A_{s}(z)\) (\(s\in\{0,1,\ldots,k1\}\)) having the maximal iterated order. When \(A_{k}(z)\) has the order larger than the others or \(A_{k}(z)\) is transcendental while the others are polynomials, by dividing (1.2) by \(A_{k}(z)\), we find that it is just the case when all coefficients of (1.1) are meromorphic and have the same order \(\sigma(A_{k})\). For this case, we obtain the following results.
Theorem 1.1
Suppose that \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k\), are entire functions satisfying \(A_{k}(z)A_{0}(z)\not\equiv0\) and \(\sigma(A_{j})<\sigma(A_{k})<\infty\), \(j=0,1,\ldots,k1\). Suppose that \(A_{k}(z)=\sum_{n=0}^{\infty}c_{\lambda_{n}}z^{\lambda_{n}}\) and the sequence of exponents \(\{\lambda_{n}\}\) satisfies the Fabry gap condition
Then every rational solution \(f(z)\) of (1.2) is a polynomial with \(\deg f\leq k1\), and every transcendental meromorphic solution \(f(z)\) of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies
where \(\varphi(z)\) is a finite order meromorphic function and does not solve (1.2).
Remark 1.1
Suppose that \(A_{k}(z)=\sum_{n=0}^{\infty}c_{\lambda_{n}}z^{\lambda_{n}}\) is an entire function, and the sequence of exponents \(\{\lambda_{n}\}\) satisfies Fabry gap condition (1.3), then the series \(\sum_{n=0}^{\infty}c_{\lambda_{n}}z^{\lambda_{n}}\) is called a Fabry gap series. It follows by [16] that if \(A_{k}(z)\) is a Fabry gap series, then it has no deficient values. In particular, zero is not a deficient value of \(A_{k}(z)\), then the solutions of (1.2) are meromorphic in general.
Theorem 1.2
Suppose that \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k\), are entire functions satisfying \(A_{k}(z)A_{0}(z)\not\equiv0\) and

(i)
\(\sigma(A_{j})<\sigma(A_{k})<\frac{1}{2}\), \(j=0,1,\ldots,k1\)
or

(ii)
\(A_{k}(z)\) is transcendental with \(\sigma(A_{k})=0\), and \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are polynomials.
Then every rational solution \(f(z)\) of (1.2) is a polynomial with \(\deg f\leq k1\), and every transcendental meromorphic solution \(f(z)\) of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies
where \(\varphi(z)\) is a finite order meromorphic function and does not solve (1.2).
Next, we consider the nonhomogeneous linear differential equation
where \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k\), \(F(z)\) are entire functions, \(A_{k}(z)A_{0}(z)F(z)\not\equiv0\) and \(A_{j}(z)\), \(j=0,1,\ldots,k\), satisfy the hypotheses of Theorem 1.1 or 1.2.
Theorem 1.3
Suppose that \(A_{j}(z)\), \(j=0,1,\ldots,k\), satisfy the hypotheses of Theorem 1.1 or 1.2, \(F(z)\) (≢0) is an entire function of finite order.

(i)
If \(\sigma(F)<\sigma(A_{k})\) (now \(A_{k}(z)\) does not satisfy (ii) of Theorem 1.2), then every rational solution \(f(z)\) of (1.4) is a polynomial with \(\deg f\leq k1\), and every transcendental meromorphic solution \(f(z)\) of (1.4), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies
$$\overline{\lambda}(f\varphi)=\lambda(f\varphi)=\sigma(f)=\infty,\qquad \overline{\lambda}_{2}(f\varphi)=\lambda_{2}(f\varphi)= \sigma_{2}(f)=\sigma(A_{k}), $$where \(\varphi(z)\) is a finite order meromorphic function and does not solve (1.4).

(ii)
If \(\sigma(F)>\sigma(A_{k})\), then every infinite order meromorphic solution \(f(z)\) of (1.4) satisfies
$$\overline{\lambda}(f\varphi)=\lambda(f\varphi)=\sigma(f)=\infty, $$where \(\varphi(z)\) is a finite order meromorphic function and does not solve (1.4). And every finite order meromorphic solution \(f_{0}(z)\) satisfies
$$\sigma(F)\leq\sigma(f_{0})\leq\max\bigl\{ \sigma(F), \overline{ \lambda}(f_{0})\bigr\} . $$
For the case of entire solutions, we can deduce the following Corollary 1.1 easily.
Corollary 1.1
Under the hypotheses of Theorem 1.1 or 1.2 or 1.3, the same conclusions hold for every entire solution of (1.2) or (1.4).
2 Preliminary lemmas
Lemma 2.1
(see [17])
Let \(f(z)\) be a transcendental meromorphic function of finite order, \(\Gamma=\{(k_{1},j_{1}), \ldots, (k_{m},j_{m})\}\) be a finite set of distinct pairs of integers which satisfy \(k_{i}>j_{i}\geq0\) for \(i=1,\ldots,m\), and let \(\varepsilon>0\) be a given constant. Then there exists a set \(E\subset(1,+\infty)\) that has finite logarithmic measure such that for all z satisfying \(z\notin E\cup[0,1]\) and for all \((k,j)\in\Gamma\), we have
Lemma 2.2
(see [6])
Let \(f(z)=\frac{g(z)}{d(z)}\) be a meromorphic function, where \(g(z)\), \(d(z)\) are entire functions of finite iterated order satisfying \(i(f)=p\in\mathbb{N}\), \(\mu_{p}(g)=\mu_{p}(f)\leq\sigma_{p}(g)=\sigma_{p}(f)\), \(i(d)< p\) or \(\sigma_{p}(d)<\mu_{p}(f)\). Let z be a point with \(z=r\) at which \(g(z)=M(r,g)\), and let \(\nu_{g}(r)\) denote the central index of \(g(z)\), then the estimation
holds for all \(z=r\) outside a set E of r of finite logarithmic measure.
Lemma 2.3
Let \(f(z)\) satisfy the hypotheses of Lemma 2.2, then there exists a set \(E\subset(1, +\infty)\) having finite logarithmic measure such that for all z satisfying \(z=r\notin E\cup[0,1]\) and \(g(z)=M(r,g)\), we have
Proof
It follows by Lemma 2.2 that
where \(z=r\notin E\cup[0,1]\), \(E\subset(1, +\infty)\) is of finite logarithmic measure and \(g(z)=M(r,g)\). Since \(g(z)\) is transcendental, \(\nu_{g}(r)\rightarrow\infty\) (\(r\rightarrow\infty\)). Hence, when z satisfies \(z=r\notin E\cup[0,1]\) and \(g(z)=M(r,g)\), we get Lemma 2.3. □
Lemma 2.4
Let \(A(z)=\sum_{n=0}^{\infty}c_{\lambda_{n}}z^{\lambda_{n}}\) be an entire function of finite order and the sequence of exponents \(\{\lambda_{n}\}\) satisfy (1.3), and \(f(z)\) be an entire function satisfying \(\sigma(f)=\sigma\in(0, +\infty)\). Then, for any given ε (\(0<\varepsilon<\sigma\)), there exists a set \(H\subset(1, +\infty)\) satisfying \(\overline{\log\operatorname{dens}}\,H\geq\eta\), where \(\eta\in(0,1)\) is a constant, such that for all z satisfying \(z=r\in H\), one has
where \(L(r,A)=\min_{z=r}A(z)\), \(M(r,A)=\max_{z=r}A(z)\), \(M(r,f)=\max_{z=r}f(z)\).
We may deduce the following Remark 2.1 from Lemma 2.4 immediately.
Remark 2.1
Let \(A(z)=\sum_{n=0}^{\infty}c_{\lambda_{n}}z^{\lambda_{n}}\) be an entire function satisfying \(\sigma(A)=\sigma\in(0,+\infty)\), and let the sequence of exponents \(\{\lambda_{n}\}\) satisfy (1.3). Then, for any given ε (\(0<2\varepsilon<\sigma\)), there exists a set \(H\subset(1, +\infty)\) satisfying \(\overline{\log\operatorname{dens}}\,H\geq\eta\), where \(\eta\in(0,1)\) is a constant such that for all z satisfying \(z=r\in H\), one has
Lemma 2.5
(see [6])
Let \(A_{j}(z)\), \(j=0,1,\ldots,k1\), \(F(z)\) (≢0) be meromorphic functions, and \(f(z)\) be a meromorphic solution of
satisfying one of the following conditions:

(i)
\(\max\{i(F)=q, i(A_{j})\ (j=0,1,\ldots,k1)\}< i(f)=p+1\) (\(0< p<\infty\)),

(ii)
\(b=\max\{\sigma_{p+1}(F),\sigma_{p+1}(A_{j})\ (j=0,1,\ldots,k1)\}<\sigma _{p+1}(f)=\sigma\).
Then \(\overline{\lambda}_{p+1}(f)=\lambda_{p+1}(f)=\sigma _{p+1}(f)=\sigma\).
Lemma 2.6
(see [12])
Suppose that \(k\geq2\), \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are meromorphic functions, \(\sigma=\max\{\sigma(A_{j}), j=0,1,\ldots,k1\}\). If \(f(z)\) is a transcendental meromorphic solution of (1.1) and all poles of \(f(z)\) are of uniformly bounded multiplicity, then we have \(\sigma_{2}(f)\leq\sigma\).
Lemma 2.7
(see [17])
Let \(f(z)\) be a transcendental meromorphic function, \(\Gamma=\{(k_{1},j_{1}), \ldots, (k_{m},j_{m})\}\) be a finite set of distinct pairs of integers which satisfy \(k_{i}>j_{i}\geq0\) for \(i=1,\ldots,m\), and \(\alpha>1\) be a given constant. Then there exists a set \(E\subset(1,+\infty)\) that has finite logarithmic measure, and exists a constant \(C>0\), that depends only on α and Γ, such that for all z satisfying \(z\notin E\cup[0,1]\) and for all \((k,j)\in\Gamma\), we have
Lemma 2.8
(see [18])
Let \(f(z)\) be an entire function of order \(\sigma(f)=\sigma<\frac{1}{2}\) and denote \(A(r)=\inf_{z=r}\logf(z)\), \(B(r)=\sup_{z=r}\logf(z)\). If \(\sigma<\alpha<\frac{1}{2}\), then
Lemma 2.9
(see [19])
Let \(f(z)\) be an entire function with \(\mu(f)=\mu< \frac{1}{2}\) and \(\mu<\sigma=\sigma(f)\). If \(\mu\leq\delta< \min\{\sigma,\frac{1}{2}\}\) and \(\delta< \alpha< \frac{1}{2}\), then
where \(C(\sigma,\delta,\alpha)\) is a positive constant depending only on σ, δ, α.
Lemma 2.10
(see [11])
Let \(f(z)\) be a meromorphic function with \(\sigma(f)=\beta<\infty\). Then, for any \(\varepsilon>0\), there exists a set \(E\subset(1, +\infty)\) with \(mE<\infty\) such that for all z with \(z=r\notin E\cup[0,1]\), \(r\rightarrow\infty\), we have
Lemma 2.11
(see [20])
Let \(g: [0, +\infty)\rightarrow\mathbb{R}\) and \(h: [0, +\infty)\rightarrow\mathbb{R}\) be monotone nondecreasing functions such that \(g(r) \leq h(r)\) for all \(r\notin E\cup[0,1]\), where \(E\subset(1, +\infty)\) is a set of finite logarithmic measure. Let \(\alpha>1\) be a given constant. Then there exists \(r_{0}=r_{0}(\alpha)>0\) such that \(g(r) \leq h(\alpha r)\) for all \(r > r_{0}\).
Lemma 2.12
(see [6])
Let \(f(z)\) be an entire function of finite iterated order with \(i(f)=p+1\), \(p\in\mathbb{N}\), and \(\nu_{f}(r)\) be the central index of \(f(z)\). Then
3 Proofs of Theorems 1.11.3
Proof of Theorem 1.1
Suppose that \(f(z)\) is a rational solution of (1.2). Since \(\sigma(A_{k})>\max\{\sigma(A_{j}), j=0,1,\ldots,k1\}\), it is clear that \(f(z)\) is a polynomial with \(\deg f\leq k1\).
Now, suppose that \(f(z)\) is a transcendental meromorphic solution of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\). And we suppose on the contrary that \(\sigma(f) < \infty\). By Lemma 2.1, there exists a set \(E_{1}\subset(1,+\infty)\) of finite logarithmic measure such that for all z satisfying \(z=r\notin [0,1]\cup E_{1}\), we have
Since \(\lambda(\frac{1}{f})<\mu(f)\), by Hadamard’s factorization theorem, we may denote \(f(z)\) as \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) and \(d(z)\) are entire functions and \(d(z)\) is the canonical product formed by all poles of \(f(z)\) such that \(\sigma(d)=\lambda(\frac{1}{f})<\mu(f)=\mu(g)\leq\sigma(g)=\sigma(f)<\infty\). Then, by Lemma 2.3, there exists a set \(E_{2}\subset(1,+\infty)\) of finite logarithmic measure such that for all z satisfying \(z=r\notin [0,1]\cup E_{2}\) and \(g(z)=M(r,g)\), we have
Set \(\sigma=\sigma(A_{k})\) and \(\beta=\max\{\sigma(A_{j}), j=0,1,\ldots,k1\}\). Since \(\beta<\sigma\), for any given ε (\(0<\varepsilon<\frac{\sigma\beta}{2}\)) and sufficiently large \(r=z\), we have
By Remark 2.1, for the above ε, there exists a set \(H_{1}\subset(1, +\infty)\) of infinite logarithmic measure such that for all z satisfying \(z=r\in H_{1}\), we have
And from (1.2) we can obtain that
Combining (3.1)(3.5), we have
Noting that \(0<\varepsilon<\frac{\sigma\beta}{2}\), we can see that (3.6) is a contradiction. Therefore, every transcendental meromorphic solution \(f(z)\) of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies \(\sigma(f)=\infty\).
Next, we prove \(\overline{\lambda}(f\varphi)=\lambda(f\varphi)=\sigma(f)=\infty\). Set \(g(z)=f(z)\varphi(z)\), then \(g(z)\) solves the equation
and satisfies \(\sigma(g)=\sigma(f)=\infty\). Since \(\varphi(z)\) does not solve (1.2), we have that
Then, by Lemma 2.5 and \(\sigma(\varphi)<\infty\), we have
that is,
In the end, we prove \(\overline{\lambda}_{2}(f\varphi)=\lambda_{2}(f\varphi)=\sigma_{2}(f)=\sigma\). By Lemma 2.6, every transcendental meromorphic solution \(f(z)\), whose poles are of uniformly bounded multiplicities, of the equation
satisfies \(\sigma_{2}(f)\leq\max\{\sigma(\frac{A_{j}}{A_{k}}), j=0,1,\ldots,k1\}=\sigma(A_{k})=\sigma\). On the other hand, by Lemma 2.7, there exist a set \(E_{3}\subset(1,+\infty)\) that has finite logarithmic measure and a constant \(B>0\) such that for all z satisfying \(z=r\notin [0,1]\cup E_{3}\), we have
Combining (3.2)(3.5) with (3.8), we have
which implies \(\sigma_{2}(f)\geq\sigma\varepsilon\). Since ε (\(0<\varepsilon<\frac{\sigma\beta}{2}\)) is arbitrary, \(\sigma_{2}(f)\geq\sigma=\sigma(A_{k})\) holds. Therefore, we have \(\sigma_{2}(f)=\sigma=\sigma(A_{k})\).
By using a similar method as above and Lemma 2.5, we can obtain that
□
Proof of Theorem 1.2
(i) Suppose that \(f(z)\) is a rational solution of (1.2). Since \(\sigma(A_{k})>\max\{\sigma(A_{j}), j=0,1,\ldots,k1\}\), it is clear that \(f(z)\) is a polynomial with \(\deg f\leq k1\).
Now, suppose that \(f(z)\) is a transcendental meromorphic solution of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\). And we suppose on the contrary that \(\sigma(f) < \infty\). Since \(\lambda(\frac{1}{f})<\mu(f)\), by Hadamard’s factorization theorem, we may denote \(f(z)\) as \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) and \(d(z)\) are entire functions and \(d(z)\) is the canonical product formed by all poles of \(f(z)\) such that \(\sigma(d)=\lambda(\frac{1}{f})<\mu(f)=\mu(g)\leq\sigma(g)=\sigma(f)<\infty\). Then (3.1) and (3.2) hold for all z satisfying \(z=r\notin[0,1]\cup E_{1}\cup E_{2}\) and \(g(z)=M(r,g)\). Now, we choose two constants \(\tau, \gamma\) such that for \(j=0,1,\ldots,k1\),
Since \(\sigma=\sigma(A_{k})<\frac{1}{2}\), by Lemmas 2.8 and 2.9, there exists a set \(H_{2}\subset(1, +\infty)\) of infinite logarithmic measure such that for all z satisfying \(z=r\in H_{2}\), we have
Since \(\sigma(A_{j}) <\tau\), \(j=0,1,\ldots,k1\), we have, for sufficiently large \(r=z\),
Then (3.1), (3.2), (3.5), (3.9), (3.10) imply that
which is a contradiction. Therefore, every transcendental meromorphic solution \(f(z)\) of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies \(\sigma(f)=\infty\).
By Lemma 2.6, every transcendental meromorphic solution \(f(z)\), whose poles are of uniformly bounded multiplicities, of equation (3.7) satisfies \(\sigma_{2}(f)\leq \max\{\sigma(\frac{A_{j}}{A_{k}}), j=0,1,\ldots,k1\}=\sigma(A_{k})\). On the other hand, combining (3.2), (3.5) with (3.8)(3.10), we have
which implies \(\sigma_{2}(f)\geq\gamma\). Letting \(\gamma\rightarrow\sigma(A_{k})\), we have \(\sigma_{2}(f)\geq\sigma(A_{k})\). Therefore, we have \(\sigma_{2}(f)=\sigma(A_{k})\).
By using a similar method as the one in the proof of Theorem 1.1, we can prove
(ii) Suppose that \(f(z)\) is a rational solution of (1.2). Since \(A_{k}(z)\) is transcendental and \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are polynomials, we can easily obtain that \(f(z)\) is a polynomial with \(\deg f\leq k1\).
Now, suppose that \(f(z)\) is a transcendental meromorphic solution of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\). And we suppose on the contrary that \(\sigma(f)<\infty\). Since \(\lambda(\frac{1}{f})<\mu(f)\), by Hadamard’s factorization theorem, we may denote \(f(z)\) as \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) and \(d(z)\) are entire functions and \(d(z)\) is the canonical product formed by all poles of \(f(z)\) such that \(\sigma(d)=\lambda(\frac{1}{f})<\mu(f)=\mu(g)\leq\sigma(g)=\sigma(f)<\infty\). Then (3.1) and (3.2) hold for all z satisfying \(z=r\notin[0,1]\cup E_{1}\cup E_{2}\) and \(g(z)=M(r,g)\). Since \(A_{j}(z)\), \(j=0,1,\ldots,k1\), are polynomials, there exists \(M>0\) such that
Since \(A_{k}(z)\) is transcendental, by Lemma 2.8, there exists a set \(H_{3}\subset(1, +\infty)\) of infinite logarithmic measure such that for all z satisfying \(z=r\in H_{3}\), we have
Hence,
Then (3.1), (3.2), (3.5), (3.11) and (3.12) imply that
which is a contradiction. Therefore, every transcendental meromorphic solution \(f(z)\) of (1.2), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies \(\sigma(f)=\infty\).
By using a similar method as the one in the proof of Theorem 1.1, we can obtain that
Now, (3.7) together with Lemma 2.6 implies that
that is,
□
Proof of Theorem 1.3
We prove only the case under the hypotheses of Theorem 1.1, and the case under the hypotheses of Theorem 1.2 can be proved similarly. So, we omit the proof of the second case.
(i) Suppose that \(f(z)\) is a rational solution of (1.4). Since \(\sigma(A_{k})>\max\{\sigma(A_{j}), j=0, 1,\ldots, k1, \sigma(F)\}\), it is clear that \(f(z)\) is a polynomial with \(\deg f\leq k1\).
Now, suppose that \(f(z)\) is a transcendental meromorphic solution of (1.4), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\). And we suppose on the contrary that \(\sigma(f)<\infty\). Since \(\lambda(\frac{1}{f})<\mu(f)\), by Hadamard’s factorization theorem, we may denote \(f(z)\) as \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) and \(d(z)\) are entire functions and \(d(z)\) is the canonical product formed by all poles of \(f(z)\) such that \(\sigma(d)=\lambda(\frac{1}{f})<\mu(f)=\mu(g)\leq\sigma(g)=\sigma(f)<\infty\). Then (3.1) and (3.2) hold for all z satisfying \(z=r\notin[0,1]\cup E_{1}\cup E_{2}\) and \(g(z)=M(r,g)\). Set \(\sigma=\sigma(A_{k})\) and \(\delta=\max\{\sigma(A_{j}), j=0,1,\ldots,k1, \sigma(F)\}\). Since \(\delta<\sigma\), for any given ε (\(0<\varepsilon<\min\{\frac{\sigma\delta}{2},\frac{\mu (f)\lambda(\frac{1}{f})}{2}\}\)) and sufficiently large \(r=z\), we have
Moreover, (3.4) holds for all z satisfying \(z=r\in H_{1}\). Since \(\sigma(d)=\lambda(\frac{1}{f})<\mu(f)=\mu(g)\), for the above ε and sufficiently large z satisfying \(z=r\) and \(g(z)=M(r,g)\), we have that
In addition, (1.4) implies
Then (3.1), (3.2), (3.4), (3.13)(3.15) imply that
Since \(0<\varepsilon<\frac{\sigma\delta}{2}\), (3.16) is a contradiction. Therefore, every transcendental meromorphic solution \(f(z)\) of (1.4), whose poles are of uniformly bounded multiplicities such that \(\lambda(\frac{1}{f})<\mu(f)\), satisfies \(\sigma(f)=\infty\).
Set \(g(z)=f(z)\varphi(z)\), then \(g(z)\) solves the equation
and satisfies \(\sigma(g)=\sigma(f)=\infty\). Since \(\varphi(z)\) does not solve (1.4), we have that
By Lemma 2.5, we have
that is,
By using (3.13)(3.15) instead of (3.3) and (3.5) and using a similar method as the one in the proof of Theorem 1.1, we can prove \(\sigma_{2}(f)\geq\sigma(A_{k})\). (As for the case under the hypotheses of Theorem 1.2(i), combining (3.2), (3.8), (3.9) with (3.13)(3.15), we have
which implies \(\sigma_{2}(f)\geq\gamma\). Letting \(\gamma\rightarrow\sigma(A_{k})\), we have \(\sigma_{2}(f)\geq\sigma(A_{k})\).) Now, we turn to prove that \(\sigma_{2}(f)\leq\sigma(A_{k})\). Equation (1.4) also implies that
Then, by Lemma 2.2, there exists a set \(E_{4}\subset(1, +\infty)\) of finite logarithmic measure such that for any z satisfying \(z=r\notin E_{4}\cup[0,1]\) and \(g(z)=M(r,g)\), we have
Since \(\max\{\sigma(\frac {A_{k1}}{A_{k}}),\ldots,\sigma(\frac{A_{0}}{A_{k}}),\sigma(\frac{F}{A_{k}})\}=\sigma(A_{k})<\infty\), by Lemma 2.10, for any given \(\varepsilon>0\), there exists a set \(E_{5}\subset(1, +\infty)\) of finite logarithmic measure such that for any z satisfying \(z=r\notin E_{5}\cup[0,1]\), we have
Then (3.14), (3.17) and (3.18) imply that for sufficiently large \(r\notin E_{4}\cup E_{5}\cup[0,1]\), we have
that is,
By Lemmas 2.11 and 2.12, we can obtain that \(\sigma_{2}(f)=\sigma_{2}(g)\leq\sigma(A_{k})+\varepsilon\). Since ε (>0) is arbitrary, we have \(\sigma_{2}(f)\leq \sigma(A_{k})\). Therefore, \(\sigma_{2}(f)= \sigma(A_{k})>0\). And from (1.4), Lemma 2.5 and the fact that
we have
By using a similar method as above, we can obtain that
(ii) Suppose that \(f(z)\) is an infinite order meromorphic solution of (1.4). By using a similar method as the one above, we can obtain that
For every finite order meromorphic solution \(f_{0}(z)\) of (1.4), by a similar reasoning as the one in the proof of Theorem 1 of [10], we easily know that
holds for sufficiently large r and any given \(\varepsilon>0\). Therefore, we have \(\sigma(f_{0})\leq\max\{\sigma(F), \overline{\lambda}(f_{0})\}\). We also have \(\sigma(F)\leq\sigma(f_{0})\) from (1.4). Hence, we have
□
References
Hayman, WK: Meromorphic Functions. Clarendon, Oxford (1964)
Yang, L: Value Distribution Theory and Its New Research. Science Press, Beijing (1982) (in Chinese)
Yang, CC, Yi, HX: Uniqueness Theory of Meromorphic Functions. Mathematics and Its Applications, vol. 557. Kluwer Academic, Dordrecht (2003)
Cao, TB, Xu, JF, Chen, ZX: On the meromorphic solutions of linear differential equations on the complex plane. J. Math. Anal. Appl. 364(1), 130142 (2010)
Kinnunen, L: Linear differential equations with solutions of finite iterated order. Southeast Asian Bull. Math. 22(4), 385405 (1998)
Tu, J, Chen, ZX: Growth of solutions of complex differential equations with meromorphic coefficients of finite iterated order. Southeast Asian Bull. Math. 33, 153164 (2009)
Belaïdi, B, Hamouda, S: Growth of solutions of an nth order linear differential equation with entire coefficients. Kodai Math. J. 25, 240245 (2002)
Belaïdi, B, Hamani, K: Order and hyperorder of entire solutions of linear differential equations with entire coefficients. Electron. J. Differ. Equ. 2003, 17 (2003)
Chen, ZX, Gao, SA: The complex oscillation theory of certain nonhomogeneous linear differential equations with transcendental entire coefficients. J. Math. Anal. Appl. 179, 403416 (1993)
Chen, ZX, Gao, SA: Entire solutions of differential equations with finite order transcendental entire coefficients. Acta Math. Sin. 13(4), 453464 (1997)
Chen, ZX: The growth of solutions of a type of second order differential equations with entire coefficients. Chin. Ann. Math., Ser. A 20(1), 714 (1999) (in Chinese)
Chen, WJ, Xu, JF: Growth of meromorphic solutions of higherorder linear differential equations. Electron. J. Qual. Theory Differ. Equ. 2009, 1 (2009)
Lan, ST, Chen, ZX: On the growth of solutions of higher order differential equation. Acta Math. Appl. Sin. 36(5), 851861 (2013) (in Chinese)
Hamani, K, Belaïdi, B: Growth of solutions of complex linear differential equations with entire coefficients of finite iterated order. Acta Univ. Apulensis 27, 203216 (2011)
He, J, Zheng, XM, Hu, H: Iterated order of meromorphic solutions of certain higher order linear differential equations with meromorphic coefficients of finite iterated order. Acta Univ. Apulensis 33, 145157 (2013)
Hayman, WK, Rossi, JF: Characteristic, maximum modulus and value distribution. Trans. Am. Math. Soc. 284, 651664 (1984)
Gundersen, G: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. 37(2), 88104 (1988)
Barry, PD: On a theorem of Besicovitch. Q. J. Math. 14(1), 293302 (1963)
Barry, PD: Some theorems related to the \(\cos\pi\rho\) theorem. Proc. Lond. Math. Soc. 21(3), 334360 (1970)
Gundersen, G: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc. 305(1), 415429 (1988)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (11301233, 11171119), the Youth Science Foundation of Education Bureau of Jiangxi Province (GJJ14271) and Sponsored Program for Cultivating Youths of Outstanding Ability in Jiangxi Normal University of China.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors drafted the manuscript, read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Wu, SZ., Zheng, XM. On meromorphic solutions of some linear differential equations with entire coefficients being Fabry gap series. Adv Differ Equ 2015, 32 (2015). https://doi.org/10.1186/s1366201503803
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201503803