 Research
 Open access
 Published:
Some results of meromorphic solutions of secondorder linear differential equations
Journal of Inequalities and Applications volume 2013, Article number: 304 (2013)
Abstract
In this paper, we investigate the growth and the zeros of difference of the first and second derivative of the solutions of the secondorder linear differential equations
and a small function, where {A}_{j}(z) (≢0) (j=0,1,2) are meromorphic functions and {a}_{0}<0, {a}_{1}{a}_{2}\ne 0, {a}_{1}\ne {a}_{2}. Our result extended the results of Peng and Chen, Belaïdi and others.
MSC:34M10, 30D35.
1 Introduction and main results
In this paper, we shall assume that the reader is familiar with the fundamental results and the standard notation of the Nevanlinna value distribution theory of meromorphic functions (see [1–3]). The term ‘meromorphic function’ will mean meromorphic in the whole complex plane ℂ. In addition, we will use notations \rho (f) to denote the order of growth of a meromorphic function f(z), \lambda (f) to denote the exponents of convergence of the zerosequence of a meromorphic function f(z), \overline{\lambda}(f) to denote the exponents of convergence of the sequence of distinct zeros of f(z).
In order to give some estimates of fixed points, we recall the following definitions (see [4, 5]).
Definition 1.1 Let f and g be two meromorphic functions satisfying \rho (g)<\rho (f), and let {z}_{1},{z}_{2},\dots ({z}_{j}={r}_{j}, 0\le {r}_{1}\le {r}_{2}\le \cdots) be the sequence of distinct zeros of the meromorphic function fg. Then {\overline{\tau}}_{g}(f), the exponent of convergence of the sequence of distinct zeros of fg, is defined by
It is evident that
and {\overline{\tau}}_{g}(f)=\overline{\lambda}(fg).
Clearly, if g(z)=z, then Definition 1.1 is equivalent to the definition of the exponent of convergence of the sequence of distinct fixed points of f(z). We denote {\overline{\tau}}_{z}(f)=\overline{\tau}(f).
For the secondorder linear differential equation
where B(z) is an entire function of finite order, it is well known that each solution f of (1.1) is an entire function. If {f}_{1} and {f}_{2} are any two linearly independent solutions of (1.1), then at least one of {f}_{1}, {f}_{2} must have infinite order [6]. Hence, ‘most’ solutions of (1.1) will have infinite order.
Thus a natural question is: What condition on B(z) will guarantee that every solution f\not\equiv 0 of (1.1) will have infinite order? Frei, Ozawa, Amemiya and Langley, and Gundersen studied the question. For the case that B(z) is a transcendental entire function, Gundersen [7] proved that if \rho (B)\ne 1, then for every solution f\not\equiv 0 of (1.1) has infinite order.
In 2002, Chen considered the problem and obtained the following result in [8].
Theorem A Let a, b be nonzero complex numbers and a\ne b, B(z)\not\equiv 0 be a nonconstant polynomial or B(z)=h(z){e}^{bz}, where h(z) is a nonzero polynomial. Then every solution f (≢0) of the equation
has infinite order.
Theorem B Suppose that {A}_{j}(z) (≢0) (j=0,1) are entire functions and \rho ({A}_{j})<1, let a, b be complex numbers and ab\ne 0 and a\ne b, then every solution f (≢0) of the equation
has infinite order.
Recently in [9], Peng and Chen have investigated the order and the hyperorder of solutions of some secondorder linear differential equations and have proved the following result.
Theorem C Suppose that {A}_{j}(z) (≢0) (j=1,2) are entire functions and \rho ({A}_{j})<1, let {a}_{1}, {a}_{2} be complex numbers such that {a}_{1}{a}_{2}\ne 0, and let {a}_{1}\ne {a}_{2} (suppose that {a}_{1}\le {a}_{2}). If arg{a}_{1}\ne \pi or {a}_{1}<1, then every solution f (≢0) of the equation
has infinite order and {\rho}_{2}(f)=1.
In this paper, we extend and improve the above result from entire solutions to meromorphic solutions.
Theorem 1.1 Suppose that {A}_{j}(z) (≢0) (j=0,1,2) are meromorphic functions and \rho ({A}_{j})<1, and {a}_{1}, {a}_{2} are two complex numbers such that {a}_{1}{a}_{2}\ne 0, {a}_{1}\ne {a}_{2} (suppose that {a}_{1}\le {a}_{2}). Let {a}_{0} be a strictly negative real constant. If arg{a}_{1}\ne \pi or {a}_{1}<{a}_{0}, then every solution f (≢0), whose poles are of uniformly bounded multiplicities, of the equation
has infinite order and {\rho}_{2}(f)=1.
Remark 1 It has been shown by Bank [10] that the growth of a meromorphic solution of a linear differential equation with meromorphic coefficients cannot be estimated uniformly in terms of the growth of the coefficients alone. Bank [10] (see also [11]) stated his result in terms of an example. Hence, in addition to the growth of the coefficients, some additional piece of information is needed when estimating the growth of meromorphic solutions. Bank and Laine [12] have shown that the number of zeros of a solution should also be taken into account in the meromorphic coefficients case. Chiang and Hayman ([13], Corollary 2.5) showed that we can estimate the growth of a meromorphic solution, when \delta (\mathrm{\infty})>0, in terms of the Nevanlinna characteristics of the coefficients. The condition \delta (\mathrm{\infty})>0 is sharp because \delta (\mathrm{\infty})=0 in Bank’s example. In this paper, we give an additional condition that the solutions whose poles are of uniformly bounded multiplicities can guarantee the growth of the poles of the meromorphic solution less than or equal to the meromorphic coefficients. We can change the condition that the multiplicity of the poles is uniformly bounded to \delta (\mathrm{\infty})>0 when we considered the hyper order by using Lemma 2.7.
Since the beginning of the last four decades, a substantial number of research articles have been written to describe the fixed points of general transcendental meromorphic functions (see [14]). In [4], Chen first studied the problems on the fixed points of solutions of secondorder linear differential equations with entire coefficients. Since then, Wang and Yi [15], Laine and Rieppo [16], Chen and Shon [17], Liu and Zhang [18], El Farissi and Belaïdi [19] studied the problems on the fixed points of solutions of secondorder linear differential equations with meromorphic coefficients and their derivatives.
The other main purpose of this paper is to study the exponent of convergence of the sequence of distinct fixed points of all solutions of equation (1.2). In fact, inspired by [5, 20–22], we can generalize the fixedpoint to the small function.
Theorem 1.2 Let {A}_{j}(z), {a}_{j} satisfy the additional hypotheses of Theorem 1.1. If φ (≢0) is a meromorphic function whose order is less than 1, then every meromorphic solution f\not\equiv 0, whose poles are of uniformly bounded multiplicities, of equation (1.2) satisfies
Corollary 1 Let {A}_{j}(z), {a}_{j} satisfy the additional hypotheses of Theorem 1.1. If f\not\equiv 0 is a meromorphic solution, whose poles are of uniformly bounded multiplicities, of equation (1.2), then f, {f}^{\prime}, {f}^{\u2033} all have infinitely fixed points and satisfy
2 Lemmas
The following lemma, due to Gross [23], is important in the factorization and uniqueness theory of meromorphic functions, playing an important role in this paper as well. We give a slightly changed form as follows.
Lemma 2.1 ([22])
Suppose that {f}_{1}(z),{f}_{2}(z),\dots ,{f}_{n}(z) (n\ge 2) are meromorphic functions and {g}_{1}(z),{g}_{2}(z),\dots ,{g}_{n}(z) are entire functions satisfying the following conditions:

(i)
{\sum}_{j=1}^{n}{f}_{j}(z){e}^{{g}_{j}(z)}\equiv {f}_{n+1}.

(ii)
If 1\le j\le n+1, 1\le k\le n, the order of {f}_{j} is less than the order of {e}^{{g}_{k}(z)}. If n\ge 2, 1\le j\le n+1, 1\le h<k\le n, and the order of {f}_{j}(z) is less than the order of {e}^{{g}_{h}{g}_{k}}.
Then {f}_{j}(z)\equiv 0 (j=1,2,\dots ,n+1).
Lemma 2.2 ([24])
Let f be a transcendental meromorphic function of finite order ρ. Let \epsilon >0 be a constant, and let k and j be integers satisfying k>j\ge 0. Then there exists a set {E}_{1}\subset [\frac{\pi}{2},\frac{3\pi}{2}), which has linear measure zero, such that if \theta \in [\frac{\pi}{2},\frac{3\pi}{2})\mathrm{\setminus}{E}_{1}, then there is a constant R=R(\theta )>0 such that for all z satisfying argz=\theta and z\ge R, we have
Lemma 2.3 ([17])
Let g(z) be a meromorphic function with \rho (g)=\beta <\mathrm{\infty}. Then, for any given \epsilon >0, there exists a set {E}_{2}\subset [\frac{\pi}{2},\frac{3\pi}{2}) that has linear measure zero such that if \psi \in [\frac{\pi}{2},\frac{3\pi}{2})\mathrm{\setminus}{E}_{2}, then there is a constant R=R(\psi )>1 such that, for all z satisfying argz=\psi and z=r>R, we have
Lemma 2.4 ([17])
Consider g(z)=A(z){e}^{az}, where A(z) (≢0) is a meromorphic function with \rho (A)=\alpha <1, a is a complex constant, a=a{e}^{i\phi} (\phi \in [0,2\pi )). Set {E}_{3}=\{\theta \in [0,2\pi ):cos(\phi +\theta )=0\}, then {E}_{3} is a finite set. Then, for any given ε (0<\epsilon <1\alpha), there is a set {E}_{4}\in [0,2\pi ) that has linear measure zero, if z=r{e}^{i\theta}, \theta \in [0,2\pi )\mathrm{\setminus}({E}_{3}\cup {E}_{4}), then we have when r is sufficiently large:

(i)
If cos(\phi +\theta )>0, then
exp\{(1\epsilon )r\delta (az,\theta )\}\le g(z)\le exp\{(1+\epsilon )r\delta (az,\theta )\}; 
(ii)
If cos(\phi +\theta )<0, then
exp\{(1+\epsilon )r\delta (az,\theta )\}\le g(z)\le exp\{(1\epsilon )r\delta (az,\theta )\};
where \delta (az,\theta )=acos(\phi +\theta ).
Lemma 2.5 ([9])
Suppose that n\ge 1 is a positive integer. Let {P}_{j}(z)={a}_{jn}{z}^{n}+\cdots (j=1,2) be nonconstant polynomials, where {a}_{jq} (q=1,\dots ,n) are complex numbers and {a}_{1n}{a}_{2n}\ne 0. Set z=r{e}^{i\theta}, {a}_{jn}={a}_{jn}{e}^{i{\theta}_{j}}, {\theta}_{j}\in [\frac{\pi}{2},\frac{3\pi}{2}), \delta ({P}_{j},\theta )={a}_{jn}cos({\theta}_{j}+n\theta ), then there is a set {E}_{5}\subset [\frac{\pi}{2n},\frac{3\pi}{2n}) that has linear measure zero. If {\theta}_{1}\ne {\theta}_{2}, then there exists a ray argz=\theta, \theta \in [\frac{\pi}{2n},\frac{\pi}{2n})\mathrm{\setminus}({E}_{5}\cup {E}_{6}) such that
or
where {E}_{6}=\{\theta \in [\frac{\pi}{2n},\frac{3\pi}{2n}):\delta ({P}_{j},\theta )=0\} is a finite set, which has linear measure zero.
In Lemma 2.5, if \theta \in [\frac{\pi}{2n},\frac{\pi}{2n})\mathrm{\setminus}({E}_{5}\cup {E}_{6}) is replaced by \theta \in [\frac{\pi}{2n},\frac{3\pi}{2n})\mathrm{\setminus}({E}_{5}\cup {E}_{6}), then we can obtain the same result.
Lemma 2.6 ([25])
Let {A}_{0},{A}_{1},\dots ,{A}_{k1}, F\not\equiv 0 be finite order meromorphic functions. If f(z) is an infinite order meromorphic solution of the equation
then f satisfies \lambda (f)=\overline{\lambda}(f)=\rho (f)=\mathrm{\infty}.
Lemma 2.7 ([26])
Let k\ge 2 and {A}_{0},{A}_{1},\dots ,{A}_{k1} be meromorphic functions. Let \rho =max\{\rho ({A}_{j}),j=0,1,\dots ,k1\} and all poles of f are of uniformly bounded multiplicity. Then every transcendental meromorphic solution of the differential equation
satisfies {\rho}_{2}(f)\le \rho.
Remark 2 The condition that the multiplicity of poles of the solution f is uniformly bounded can be changed by \delta (\mathrm{\infty},f)>0 for the solution f (see [27]).
Lemma 2.8 (see [24])
Let f be a transcendental meromorphic function. Let \alpha >1 be a constant, and let k and j be integers satisfying k>j\ge 0. Then there exists a set {E}_{7}\subset (1,\mathrm{\infty}), which has finite logarithmic measure, and a constant C>0 such that for all z satisfying z\notin {E}_{7}\cup [0,1], we have (with r=z)
Let F(r) and G(r) be nondecreasing realvalued functions on (0,\mathrm{\infty}) such that F(r)\le G(r) for all r outside of a set E\subset (0,\mathrm{\infty}) of finite linear measure or outside of a set H\cup [0,1], where H\cup [1,\mathrm{\infty}) is of finite logarithmic measure. Then, for every constant \alpha >1, there exists an {r}_{0}>0 such that F(r)\le G(\alpha r) for all r>{r}_{0}.
Lemma 2.10 Let {a}_{0} be a constant satisfying {a}_{0}<0. If arg{a}_{1}\ne \pi or {a}_{1}<{a}_{0}, then we have {a}_{1}\ne c{a}_{0} (0<c\le 1).
The proof is trivial, we omit it here.
3 Proof of Theorem 1.1
First of all we prove that equation (1.2) cannot have a meromorphic solution f\not\equiv 0 with \rho (f)<1. Assume a meromorphic solution f\not\equiv 0 with \rho (f)={\rho}_{1}<1 satisfies equation (1.2). Then \rho ({f}^{(j)})={\rho}_{1}<1 (j=1,2). Rewrite (1.2) as
We consider two cases:

(1)
{a}_{2}\ne {a}_{0}, note that {a}_{1}\ne {a}_{0}, {a}_{1}\ne {a}_{2}, \rho ({A}_{1}f)<1, \rho ({A}_{2}f)<1, \rho ({A}_{0}{f}^{\prime})<1, \rho ({f}^{\u2033})<1 and by Lemma 2.1, we have f\equiv 0, which is a contradiction.

(2)
{a}_{2}={a}_{0}, then (3.1) can be rewritten into
{A}_{1}f{e}^{{a}_{1}z}+({A}_{0}{f}^{\prime}+{A}_{2}f){e}^{{a}_{2}z}={f}^{\u2033}.
Note that {a}_{1}\ne {a}_{2}, \rho ({A}_{1}f)<1, \rho ({A}_{0}{f}^{\prime}+{A}_{2}f)<1, \rho ({f}^{\u2033})<1 and by Lemma 2.1 again, we have f\equiv 0, which is a contradiction.
Therefore, \rho (f)\ge 1.
Now assume f is a meromorphic solution of equation (1.2) with 1\le \rho (f)=\rho <\mathrm{\infty}. From equation (1.2), we know that the poles of f(z) can occur only at the poles of {A}_{j} (j=0,1,2). Note that the multiplicities of pole points of f are uniformly bounded, and thus we have
where {M}_{1} and M are some suitable positive constants. Then we have \lambda (1/f)\le \alpha =max\{\rho ({A}_{j}):j=0,1,2\}<1.
Let f=g/d, d be the canonical product formed with the nonzero poles of f(z), with \beta =\rho (d)=\lambda (d)=\lambda (1/f)\le \alpha <1, let g be an entire function and 1\le \rho (g)=\rho (f)=\rho <\mathrm{\infty}. Substituting f=g/d into (1.2), we can get
For any given ε (0<\epsilon <1\alpha), there is a set {E}_{1}\subset [\frac{\pi}{2},\frac{3\pi}{2}) that has linear measure zero such that if \theta \in [\frac{\pi}{2},\frac{3\pi}{2})\mathrm{\setminus}{E}_{1}, then there is a constant R=R(\theta )>1 such that for all z satisfying argz=\theta, and z=r>R, we have by Lemma 2.3
By Lemma 2.2, for any given ε (0<\epsilon <min\{1\alpha ,\frac{{a}_{2}{a}_{1}}{{a}_{2}+{a}_{1}}\}), there exists a set {E}_{2}\subset [\frac{\pi}{2},\frac{3\pi}{2}) that has linear measure zero such that if \theta \in [\frac{\pi}{2},\frac{3\pi}{2})\setminus {E}_{2}, then there is a constant {R}_{0}={R}_{0}(\theta )>1 such that for all z satisfying argz=\theta and z\ge {R}_{0}, we have
and
Setting z=r{e}^{i\theta}, {a}_{1}={a}_{1}{e}^{i{\theta}_{1}}, {a}_{2}={a}_{2}{e}^{i{\theta}_{2}}, {\theta}_{1},{\theta}_{2}\in [\frac{\pi}{2},\frac{3\pi}{2}).
Case 1. arg{a}_{1}\ne \pi, which is {\theta}_{1}\ne \pi.
Subcase 1.1. Assume that {\theta}_{1}\ne {\theta}_{2}. By Lemma 2.5, for the above ε, there is a ray argz=\theta such that \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}) (where {E}_{5} and {E}_{6} are defined as in Lemma 2.5, {E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6} is of linear measure zero) satisfying \delta ({a}_{1}z,\theta )>0, \delta ({a}_{2}z,\theta )<0 or \delta ({a}_{1}z,\theta )<0, \delta ({a}_{2}z,\theta )>0 for a sufficiently large r.
When \delta ({a}_{1}z,\theta )>0, \delta ({a}_{2}z,\theta )<0 for a sufficiently large r, we have, by Lemma 2.4,
By (3.6) and (3.7), we have
By (3.2), we get
Since \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}), we know that cos\theta >0, then {e}^{{a}_{0}z}={e}^{{a}_{0}rcos\theta}<1. Therefore, by (3.3) we obtain
Substituting (3.4)(3.5), (3.8) and (3.10) into (3.9), we obtain
where {M}_{1}>0 and k>0 are some constants. By \delta ({a}_{1}z,\theta )>0 and \alpha +\epsilon <1, we know that (3.11) is a contradiction.
When \delta ({a}_{1}z,\theta )<0, \delta ({a}_{2}z,\theta )>0, using a proof similar to the above, we can get a contradiction.
Subcase 1.2. Assume that {\theta}_{1}={\theta}_{2}. By Lemma 2.5, for the above ε, there is a ray argz=\theta such that \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}) satisfying \delta ({a}_{1}z,\theta )>0. Since {a}_{1}\le {a}_{2}, {a}_{1}\ne {a}_{2} and {\theta}_{1}={\theta}_{2}, then {a}_{1}<{a}_{2}, thus \delta ({a}_{2}z,\theta )>\delta ({a}_{1}z,\theta )>0. For a sufficiently large r, we get, by Lemma 2.4,
By (3.12) and (3.13), we get
where {M}_{2}=exp\{[(1\epsilon )\delta ({a}_{2}z,\theta )(1+\epsilon )\delta ({a}_{1}z,\theta )]r\}1.
Since 0<\epsilon <min\{1\alpha ,\frac{{a}_{2}{a}_{1}}{{a}_{2}+{a}_{1}}\}, we see that (1\epsilon )\delta ({a}_{2}z,\theta )(1+\epsilon )\delta ({a}_{1}z,\theta )>0, then exp\{[(1\epsilon )\delta ({a}_{2}z,\theta )(1+\epsilon )\delta ({a}_{1}z,\theta )]r\}>1, {M}_{2}>0.
Since \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}), we know that cos\theta >0, then {e}^{{a}_{0}z}={e}^{{a}_{0}rcos\theta}<1. Therefore, by (3.3) we obtain
Substituting (3.4)(3.5) and (3.14)(3.15) into (3.9), we obtain
By \delta ({a}_{1}z,\theta )>0, {M}_{2}>0 and \alpha +\epsilon <1, we know that (3.16) is a contradiction.
Case 2. {a}_{1}<{a}_{0}, which is {\theta}_{1}=\pi.
Subcase 2.1. Assume that {\theta}_{1}\ne {\theta}_{2}, then {\theta}_{2}\ne \pi. By Lemma 2.5, for the above ε, there is a ray argz=\theta such that \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}) satisfying \delta ({a}_{2}z,\theta )>0. Since cos\theta >0, we have \delta ({a}_{1}z,\theta )={a}_{1}cos({\theta}_{1}+\theta )={a}_{1}cos\theta <0. For a sufficiently large r, we have
By (3.17) and (3.18), we get
Using the same reasoning as in Subcase 1.1, we can get a contradiction.
Subcase 2.2. Assume that {\theta}_{1}={\theta}_{2}, then {\theta}_{1}={\theta}_{2}=\pi. By Lemma 2.5, for the above ε, there is a ray argz=\theta such that \theta \in (\frac{\pi}{2},\frac{3\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}), then cos\theta <0, \delta ({a}_{1}z,\theta )={a}_{1}cos({\theta}_{1}+\theta )={a}_{1}cos\theta >0, \delta ({a}_{2}z,\theta )={a}_{2}cos({\theta}_{1}+\theta )={a}_{2}cos\theta >0. Since {a}_{1}\le {a}_{2}, {a}_{1}\ne {a}_{2} and {\theta}_{1}={\theta}_{2}, then {a}_{1}<{a}_{2}, thus \delta ({a}_{2}z,\theta )>\delta ({a}_{1}z,\theta )>0. For a sufficiently large r, we get (3.12), (3.13) and (3.14) hold.
Using the same reasoning as in Subcase 1.2, we can get a contradiction.
Concluding the above proof, we obtain \rho (f)=\rho (g)=+\mathrm{\infty}.
In the following, we prove that if all poles of f are of uniformly bounded multiplicity, then {\rho}_{2}(f)=1.
By Lemma 2.7 and max\{\rho ({A}_{0}{e}^{{a}_{0}z}),\rho ({A}_{1}{e}^{{a}_{1}z}+{A}_{2}{e}^{{a}_{2}z})\}=1, then {\rho}_{2}(f)\le 1.
By Lemma 2.8, we know that there exists a set {E}_{7}\subset (1,+\mathrm{\infty}) with finite logarithmic measure and a constant C>0 such that for all z satisfying z=r\notin [0,1]\cup {E}_{7}, we get
For Subcases 1.1 and 2.1, we have proved that there exists a ray argz=\theta satisfying \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}), for a sufficiently large r, we get that (3.8) or (3.19) hold, that is,
where {h}_{1}>0 is a constant.
By (1.2), we have
Since \theta \in (\frac{\pi}{2},\frac{\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}), then cos\theta >0, {e}^{{a}_{0}rcos\theta}<1. By (3.20), (3.21) and (3.22), we obtain
By {h}_{1}>0, \alpha +\epsilon <1, (3.23) and Lemma 2.9, we know that for the constant \alpha =2, there exists {r}_{0}. When r>{r}_{0}, we have {\rho}_{2}(f)\ge 1, then {\rho}_{2}(f)=1.
For Subcases 1.2 and 2.2, we have proved that there exists a ray argz=\theta such that \theta \in (\frac{\pi}{2},\frac{3\pi}{2})\mathrm{\setminus}({E}_{1}\cup {E}_{2}\cup {E}_{5}\cup {E}_{6}). For a sufficiently large r, we get that (3.14) holds, and we also get cos\theta <0, \delta ({a}_{1}z,\theta )>{a}_{0}cos\theta >0.
By (3.14), (3.20) and (3.22), we obtain
By \delta ({a}_{1}z,\theta )>{a}_{0}cos\theta >0, {M}_{2}>0, \alpha +\epsilon <1 and (3.24) and Lemma 2.9, we know that for the constant \alpha =2, there exists {r}_{0}, when r>{r}_{0}, we have {\rho}_{2}(f)\ge 1, then {\rho}_{2}(f)=1.
The proof of Theorem 1.1 is complete.
4 Proof of Theorem 1.2
Assume that f (≢0) is a meromorphic solution of (1.2); then \rho (f)=\mathrm{\infty} by Theorem 1.1. Set {g}_{0}(z)=f(z)\phi (z), {g}_{0}(z) is a meromorphic function and \rho ({g}_{0})=\rho (f)=\mathrm{\infty}. Substituting f={g}_{0}+\phi into (1.2), we have
where {h}_{0,1}={A}_{0}{e}^{{a}_{0}z}, {h}_{0,0}={A}_{1}{e}^{{a}_{1}z}+{A}_{2}{e}^{{a}_{2}z} and {h}_{0}=({\phi}^{\u2033}+{h}_{0,1}{\phi}^{\prime}+{h}_{0,0}\phi ). Obviously, {h}_{0}\not\equiv 0. In fact, if {h}_{0}\equiv 0, then
By Theorem 1.1, we have \rho (\phi )=\mathrm{\infty}, it is a contradiction. Hence {h}_{0}\not\equiv 0. Note that the functions {h}_{0,1}, {h}_{0,0} and {h}_{0} are of finite order, by Lemma 2.6 and (4.1), we have \overline{\lambda}({g}_{0})=\overline{\lambda}(f\phi )=\mathrm{\infty}.
Now we prove that \overline{\lambda}({f}^{\prime}\phi )=\mathrm{\infty}. Let {g}_{1}(z)={f}^{\prime}(z)\phi (z), then \rho ({g}_{1})=\rho ({f}^{\prime})=\rho (f)=\mathrm{\infty} and \overline{\lambda}({g}_{1})=\overline{\lambda}({f}^{\prime}\phi ).
Differentiating both sides of (1.2), we have
By (1.2), we have
Substituting (4.3) into (4.2), we have
Combining {f}^{\prime}={g}_{1}+\phi, {f}^{\u2033}={g}_{1}^{\prime}+{\phi}^{\prime}, {f}^{\u2034}={g}_{1}^{\u2033}+{\phi}^{\u2033} into (4.4), we have
where
Now we prove {h}_{1}\not\equiv 0. In fact, if {h}_{1}\equiv 0, then
We can rewrite (4.6) in the form
Since \rho =\rho (\phi )<1, \rho ({A}_{k})<1 (k=0,1,2), then \rho ({f}_{j})<1 (j=1,\dots ,7). Note that {a}_{1}\ne {a}_{2} and Lemma 2.10, then 2{a}_{1}\ne {a}_{1},{a}_{1}+{a}_{0},{a}_{1}+{a}_{2},2{a}_{2}. In order to apply Lemma 2.1, we need to consider three cases:

(i)
If 2{a}_{1}\ne {a}_{0}+{a}_{2},{a}_{2}. By Lemma 2.1, we get {f}_{6}\equiv 0, that is, {A}_{1}\equiv 0, a contradiction.

(ii)
If 2{a}_{1}={a}_{0}+{a}_{2}, then by Lemma 2.10, 2{a}_{2}\ne {a}_{1},2{a}_{1},{a}_{2}+{a}_{0},{a}_{1}+{a}_{2},{a}_{0}+{a}_{1},{a}_{2}. By Lemma 2.1, we get {f}_{7}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(iii)
If 2{a}_{1}={a}_{2}, then by Lemma 2.10, 2{a}_{2}\ne {a}_{1},2{a}_{1},{a}_{2}+{a}_{0},{a}_{1}+{a}_{2},{a}_{0}+{a}_{1},{a}_{2}. By Lemma 2.1, we get {f}_{7}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.
Hence {h}_{1}\not\equiv 0.
For equation (4.5), since {h}_{1}\not\equiv 0 and \rho ({g}_{1})=\mathrm{\infty}, by Lemma 2.6, we have
Using a similar way to above, we can easily prove that {h}_{1,0}\not\equiv 0. We omit it here.
In the following, we prove \overline{\lambda}({f}^{\u2033}\phi )=\mathrm{\infty}.
Let {g}_{2}(z)={f}^{\u2033}\phi, then \rho ({g}_{2})=\rho ({f}^{\u2033})=\rho (f)=\mathrm{\infty} and \overline{\lambda}({g}_{2})=\overline{\lambda}({f}^{\u2033}\phi ).
Differentiating the two sides of (1.2), we get
By (4.4), we have
From (4.3), (4.8) and (4.9), we obtain
where
where
Substituting {f}^{\u2033}={g}_{2}+\phi, {f}^{\u2034}={g}_{2}^{\prime}+{\phi}^{\prime}, {f}^{(4)}={g}_{2}^{\u2033}+{\phi}^{\u2033} into (4.10), we have
where
Similarly, if one can prove {h}_{2}\not\equiv 0, then by Lemma 2.6, we can get \overline{\lambda}({g}_{2})=\rho ({g}_{2})=\mathrm{\infty}. Hence \overline{\lambda}({f}^{\u2033}\phi )=\mathrm{\infty}.
Now we prove {h}_{2}\not\equiv 0. Note that
where
Obviously, {H}_{1}, {H}_{2} are meromorphic functions and \rho ({H}_{j})<1 (j=1,2). From (4.14), (4.15)(4.16), we know
Let H=\frac{{\phi}^{\u2033}}{\phi}{h}_{1,0}{h}_{0,0}+\frac{{\phi}^{\prime}}{\phi}{H}_{1}+{H}_{2}. We only need to prove H\not\equiv 0.
Note that \rho (\frac{{\phi}^{\u2033}}{\phi})<1, \rho (\frac{{\phi}^{\prime}}{\phi})<1 and {h}_{1,0}{h}_{0,0}={h}_{0,1}^{\prime}{h}_{0,0}+{h}_{0,0}^{2}{h}_{0,1}{h}_{0,0}^{\prime}. From this and (4.15)(4.16), we can write H into the following form:
It is easy to see {f}_{13}={A}_{1}^{3}, {f}_{14}={A}_{2}^{3}, which come from the term {h}_{0,0}^{3} in {H}_{2}.
We can prove that \rho ({f}_{i})<1 (1\le i\le 12). Set \mathrm{\Lambda}=\{{a}_{0}+{a}_{1}+{a}_{2},{a}_{0}+{a}_{2},2{a}_{1},2{a}_{2},{a}_{1}+{a}_{2},2{a}_{1}+{a}_{2},{a}_{1}+2{a}_{2},2{a}_{0}+{a}_{1},2{a}_{0}+ {a}_{2},2{a}_{1}+{a}_{0},2{a}_{2}+{a}_{0},{a}_{1}+{a}_{2},3{a}_{1},3{a}_{2}\}. Note that {a}_{1}\ne {a}_{2} and Lemma 2.10, then 3{a}_{1}\ne {a}_{1}+{a}_{0},{a}_{1}+2{a}_{0},2{a}_{1},2{a}_{1}+{a}_{0},2{a}_{1}+{a}_{2},3{a}_{2},{a}_{1}+2{a}_{2} and 3{a}_{2}\ne 2{a}_{2},3{a}_{1},2{a}_{1}+{a}_{2},{a}_{1}+2{a}_{2}. Using the same way as above, we need to consider seven cases:

(i)
If 3{a}_{1}\ne {a}_{2}+{a}_{0},{a}_{2}+2{a}_{0},{a}_{1}+{a}_{2},2{a}_{2}+{a}_{0},{a}_{0}+{a}_{1}+{a}_{2},2{a}_{2}. By Lemma 2.1, we get {f}_{13}\equiv 0, that is, {A}_{1}\equiv 0, a contradiction.

(ii)
If 3{a}_{1}={a}_{2}+{a}_{0}, then we can conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(iii)
If 3{a}_{1}={a}_{2}+2{a}_{0}, then we can conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(iv)
If 3{a}_{1}={a}_{1}+{a}_{2}, then we can conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(v)
If 3{a}_{1}=2{a}_{2}+{a}_{0}, then we can conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(vi)
If 3{a}_{1}={a}_{0}+{a}_{1}+{a}_{2}, then we can conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.

(vii)
If 3{a}_{1}=2{a}_{2}, then we conclude that 3{a}_{2}\ne \mathrm{\Lambda}\{3{a}_{2}\}. Hence, by Lemma 2.1, we get {f}_{14}\equiv 0, that is, {A}_{2}\equiv 0, a contradiction.
Hence, we prove H\not\equiv 0 and {h}_{2}\not\equiv 0.
This proved the theorem.
References
Hayman W: Meromorphic Functions. Clarendon, Oxford; 1964.
Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.
Yang CC, Yi HX: The Uniqueness Theory of Meromorphic Functions. Kluwer Academic, New York; 2003.
Chen ZX: The fixed points and hyperorder of solutions of second order linear differential equations. Acta Math. Sci. 2000, 20: 425–432. (in Chinese)
Zhang XM, Liu MS: The frequency of the zeros of the difference of a solution to a linear differential equation and a small function. Southeast Asian Bull. Math. 2009, 33: 999–1011.
Frei M:Über die subnormalen Lösungen der Differentialgleichungen {w}^{\u2033}+{e}^{z}{w}^{\prime}+(\text{konst.})f=0. Comment. Math. Helv. 1961, 36: 1–8.
Gundersen G:On the question of whether {f}^{\u2033}+{e}^{z}{f}^{\prime}+B(z)f=0 can admit a solution f\not\equiv 0 of finite order. Proc. R. Soc. Edinb., Sect. A 1986, 102: 9–17. 10.1017/S0308210500014451
Chen ZX:The growth of solutions of differential equation {f}^{\u2033}+{e}^{z}{f}^{\prime}+Q(z)f=0. Sci. China Ser. A 2001, 31(9):775–784.
Peng F, Chen ZX: On the growth of solutions of some secondorder linear differential equations. J. Inequal. Appl. 2011., 2011: Article ID 635604
Bank SB: A note on algebraic differential equations whose coefficients are entire functions of finite order. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 1972, 83: 291–297.
Bank SB: On the existence of meromorphic solutions of differential equations having arbitrarily rapid growth. J. Reine Angew. Math. 1976, 288: 176–182.
Bank SB, Laine I: On the growth of meromorphic solutions of linear and algebraic differential equations. Math. Scand. 1977, 40: 119–126.
Chiang YM, Hayman WK: Estimates on the growth of meromorphic solutions of linear differential equations. Comment. Math. Helv. 2004, 79: 451–470.
Zhuang QT, Yang CC: The Fixed Points and Factorization Theory of Meromorphic Functions. Press in Beijing University, Beijing; 1988. (in Chinese)
Wang J, Yi HX: Fixed points and hyperorder of differential polynomials generated by solutions of differential equation. Complex Var. Theory Appl. 2003, 48: 83–94. 10.1080/0278107021000037048
Laine I, Rieppo J: Differential polynomials generated by linear differential equations. Complex Var. Theory Appl. 2004, 49: 897–911. 10.1080/02781070410001701092
Chen ZX, Shon KH: On the growth and fixed points of solutions of second order differential equation with meromorphic coefficients. Acta Math. Sin. Engl. Ser. 2005, 21(4):753–764. 10.1007/s101140040434z
Liu MS, Zhang XM: Fixed points of meromorphic solutions of higher order linear differential equations. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 2006, 31: 191–211.
El Farissi A, Belaïdi B: On oscillation theorems for differential polynomials. Electron. J. Qual. Theory Differ. Equ. 2009, 2009(22):1–10.
Belaïdi B, El Farissi A: Growth of solutions and oscillation of differential polynomials generated by some complex linear differential equations. Hokkaido Math. J. 2010, 39(1):127–138.
Chen ZX: The relation between solution of a class of second order differential equation with functions of small growth. Chin. Ann. Math., Ser. A 2006, 27: 431–442.
Xu JF, Yi HX: Growth and fixed points of meromorphic solutions of higherorder linear differential equations. J. Korean Math. Soc. 2009, 46(4):747–758. 10.4134/JKMS.2009.46.4.747
Gross F: On the distribution of values of meromorphic functions. Trans. Am. Math. Soc. 1968, 131(1):199–214. 10.1090/S00029947196802209384
Gundersen G: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. 1988, 37(2):88–104.
Chen ZX: Zeros of meromorphic solutions of higher order linear differential equations. Analysis 1999, 14: 425–438.
Chen WJ, Xu JF: Growth of meromorphic solutions of higherorder linear differential equations. Electron. J. Qual. Theory Differ. Equ. 2009, 1: 1–13.
Cao TB, Xu JF, Chen ZX: On the meromorphic solutions of linear differential equations on the complex plane. J. Math. Anal. Appl. 2010, 364: 130–142. 10.1016/j.jmaa.2009.11.018
Gundersen G: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc. 1988, 305(1):415–429. 10.1090/S00029947198809201675
Acknowledgements
The authors would like to thank the referee for his/her constructive suggestions and for pointing out some errors in our original manuscript. These comments greatly improved the readability of the paper. This work was supported by the National Natural Science Foundation of China (No. 11126327, 11171184), NSF of Guangdong Province (No. S2011010000735), STP of Jiangmen, China (No. [2011]133) and the Outstanding Young Innovative Talents Fund of Department of Education of Guangdong (No. 2012LYM0126).
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 article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xu, J., Zhang, X. Some results of meromorphic solutions of secondorder linear differential equations. J Inequal Appl 2013, 304 (2013). https://doi.org/10.1186/1029242X2013304
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013304