- Research
- Open Access
- Published:

# On hyper-order of solutions of higher order linear differential equations with meromorphic coefficients

*Advances in Difference Equations*
**volume 2016**, Article number: 107 (2016)

## Abstract

In this paper, we investigate the growth of meromorphic solutions of the differential equations

and

where \(A_{0}(z)\not\equiv0, A_{1}(z), \ldots, A_{k-1}(z)\) and \(F(z)\not \equiv0\) are meromorphic functions. A precise estimation of the hyper-order of meromorphic solutions of the above equations is given provided that there exists one dominant coefficient, which improves and extends previous results given by Belaïdi, Chen, *etc.*

## Introduction and main results

For a meromorphic function *f* in the complex plane \(\mathbb{C}\), the order of growth and the lower order of growth are defined as

respectively. The exponent of convergence of the poles sequence of *f* is defined as

For fast-growing meromorphic functions the growth is typically measured in terms of the hyper-order, defined as

Nevanlinna theory of meromorphic functions is a powerful tool in the field of complex differential equations. For an introduction to the theory of differential equations in the complex plane by using Nevanlinna theory; see, for example [1–3]. Active research in this field was started by Wittich [4] and his students in the 1950s and 1960s. The order of growth of solutions of the equation

is one of the aims in studying complex differential equations, where \(A_{0}(z)\not\equiv0, A_{1}(z), \ldots, A_{k}(z)\) are entire functions. For the case \(k=2\), from [5–7], we know that every nontrivial solution of the equation

is of infinite order provided that (i) \(\rho(A)<\rho(B)\); or (ii) \(\rho (B)<\rho(A)\leq\frac{1}{2}\); or (iii) \(A(z)\) is polynomial and \(B(z)\) is transcendental with \(\rho(B)=0\). Motivated by the result above, it is obvious that every nontrivial solution of (1.1) is of infinite order provided that the coefficient \(A_{0}(z)\) is dominant over others. For example, if \(\max\{\rho(A_{j}), j=1, 2, \ldots, k-1\} <\rho(A_{0})\), then every nontrivial solution of (1.1) is of infinite order. Another generalized condition is found by Hellerstein *et al.* in [8].

### Theorem 1.1

([8])

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\), \(F(z)\)
*be entire functions*. *Suppose there exists an integer*
*s*, \(0\leq s\leq k-1\), *such that*

*Then every solution of*

*is either a polynomial or an entire function of infinite order*.

In 2000, Chen and Yang studied the hyper-order of solutions of (1.1).

### Theorem 1.2

([9])

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\)
*be entire function satisfying*

*Then every nontrivial solution*
*f*
*of* (1.1) *satisfies*
\(\rho _{2}(f)=\rho(A_{0})\).

In Theorems 1.1 and 1.2, the authors consider all coefficients are entire functions. When the coefficients \(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\) and \(F(z)\) are meromorphic functions, many authors investigated the value distribution of solutions of (1.1) and (1.3); see, for example, [10–18]. Especially, we mention the following result given by Chen [14], in which a precise estimation of hyper-order of solutions of (1.1) is obtained.

### Theorem 1.3

([14], Theorem 2)

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\)
*be meromorphic functions*. *Suppose there exists an integer*
*s*, \(0\leq s\leq k-1\), *satisfying*

*If equation* (1.1) *has a meromorphic solution*, *then every transcendental meromorphic solution*
*f*
*of* (1.1) *satisfies*
\(\rho _{2}(f)=\rho(A_{s})\).

In 2005, Xiao and Chen considered the non-homogeneous equation (1.3), the following result is proved.

### Theorem 1.4

([19])

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z), F(z)\)
*be meromorphic functions*. *Suppose there exists an integer*
*s*, \(0\leq s\leq k-1\), *satisfying*

*If equation* (1.3) *has a meromorphic solution*, *then every transcendental meromorphic solution*
*f*
*of* (1.3) *satisfies*
\(\rho _{2}(f)=\rho(A_{s})\).

Belaïdi studied equation (1.1), a precise estimation of hyper-order of solutions of (1.1) is also obtained by using different conditions from those mentioned above, in which the growths of the coefficients are limited in a set having positive densities.

### Theorem 1.5

([20])

*Let*
*E*
*be a set of complex numbers satisfying*
\(\overline{\operatorname{dens}}(\{|z|: z\in E\})>0\), *and let*
\(A_{j}(z)\), \(j=0, 1, \ldots, k-1\), *be entire functions such that*

*and for some constants*
\(0\leq\beta<\alpha\), *we have*, *for all*
\(\varepsilon>0\)
*sufficiently small*,

*as*
\(z\rightarrow\infty\)
*for*
\(z\in E\). *Then every nontrivial solution*
*f*
*of* (1.1) *satisfies*
\(\rho _{2}(f)=\rho(A_{0})\).

Theorem 1.5 and the remaining theorems involve the logarithmic measure and densities of set, which will be recalled in Section 2. In this paper, we study the growth of solutions of (1.1) and (1.3), and one of the goals is to extend Theorems 1.3 and 1.4 in which the condition \(\rho(A_{s})<\frac{1}{2}\) is deleted. On the other hand, we consider the case of a meromorphic coefficient in Theorem 1.5. The following results are proved by combining the methods of Theorems 1.3, 1.4, and 1.5.

### Theorem 1.6

*Let*
*E*
*be a set of complex numbers satisfying*
\(\mathrm{m}_{\mathrm{l}}(\{ |z|: z\in E\})=\infty\), *and let*
\(A_{j}(z)\), \(j=0, 1, \ldots, k-1\), *be meromorphic functions*. *Suppose there exists an integer*
*s*, \(0\leq s\leq k-1\), *satisfying*

*and for some constants*
\(0\leq\beta<\alpha\), *we have*, *for all*
\(\varepsilon>0\)
*sufficiently small*,

*as*
\(z\rightarrow\infty\)
*for*
\(z\in E\). *Then every nontrivial meromorphic solution*
*f*
*whose poles are of uniformly bounded multiplicities of equation* (1.1) *satisfies*
\(\rho_{2}(f)=\rho(A_{s})\).

For the case of non-homogeneous equation, we get the following result.

### Theorem 1.7

*Let*
*E*
*and*
\(A_{j}(z)\), \(j=0, 1, \ldots, k-1\)
*be defined as Theorem *
1.6, *and let*
\(F(z)\not\equiv0\)
*be meromorphic function*. *Suppose there exists an integer*
*s*, \(0\leq s\leq k-1\), *satisfying*

*and for some constants*
\(0\leq\beta<\alpha\), *we have*, *for all*
\(\varepsilon>0\)
*sufficiently small*, *equations* (1.4) *and* (1.5) *hold as*
\(z\rightarrow\infty\)
*for*
\(z\in E\). *Then every nontrivial meromorphic solution*
*f*
*whose poles are of uniformly bounded multiplicities of equation* (1.3) *satisfies*
\(\rho_{2}(f)=\rho(A_{s})\).

### Remark 1.8

From [12], Remark 3.1, we know that the condition that the multiplicity of poles of the meromorphic solution *f* is uniformly bounded is necessary. Hence the condition was missing in Theorems 1.3 and 1.4. Of course, the condition could also be changed by \(\delta(\infty, f)>0\).

## Auxiliary results

The Lebesgue linear measure of a set \(E\subset[0, \infty)\) is \(\mathrm{m}(E)=\int_{E}\,dt\), and the logarithmic measure of a set \(F\subset[1, \infty)\) is \(\mathrm{m}_{\mathrm{l}}(F)=\int_{F}\frac{dt}{t}\). The upper and lower densities of \(E\subset[0, \infty)\) are given by

and

respectively.

A lemma on logarithmic derivatives due to Gundersen [21] plays an important role in proving our results.

### Lemma 2.1

*Let*
*f*
*be a transcendental meromorphic function*, *and let*
\(\alpha>1\)
*be a given real constant*. *Let*
*k*
*and*
*j*
*be two integers such that*
\(k>j\geq0\). *Then there exists a set*
\(E\subset(1, \infty)\)
*with*
\(\mathrm{m}_{\mathrm{l}}(E)<\infty\), *and a constant*
\(B>0\)
*depending only on*
*α*
*and*
*j*, *k*, *such that*, *for all*
*z*
*satisfying*
\(|z|\notin(E\cup[0, 1])\), *we have*

The following result was proved originally in [22]; see also [14], Lemma 3.

### Lemma 2.2

*Let*
*f*
*be a meromorphic function of order*
\(\rho(f)=\beta<\infty\). *Then*, *for any given*
\(\varepsilon>0\), *there exists a set*
\(E\subset(1, \infty)\)
*with*
\(\mathrm{m}_{\mathrm{l}}(E)<\infty\)
*and*
\(\mathrm{m} (E)<\infty\), *such that*, *for all*
*z*
*satisfying*
\(|z|=r\notin([0, 1]\cup E)\),

The next lemma is related to the central index.

### Lemma 2.3

([14], Lemma 2)

*Let*
\(f(z)=\frac{g(z)}{d(z)}\)
*be a meromorphic function*, *where*
\(g(z)\)
*and*
\(d(z)\)
*are entire functions satisfying*

*Then there exists a set*
\(E\subset(1, \infty)\)
*with*
\(\mathrm{m}_{\mathrm{l}} (E)<\infty\), *such that*, *for all*
*z*
*satisfying*
\(|z|=r\notin ([0, 1]\cup E)\)
*and*
\(|g(z)|=M(r, g)\), \(M(r, g)=\max_{|z|=r}|g(z)|\), *we have*

*where*
\(\nu_{g}(r)\)
*denotes the central index of*
\(g(z)\).

### Lemma 2.4

*Let*
\(f(z)=\frac{g(z)}{d(z)}\)
*be a meromorphic function*, *where*
\(g(z)\)
*and*
\(d(z)\)
*are entire functions*. *If*
\(0\leq\rho(d)<\mu(f)\), *then*
\(\mu (g)=\mu(f)\), \(\rho(g)=\rho(f)\). *Moreover*, *if*
\(\rho(f)=\infty\), *then*
\(\rho_{2}(f)=\rho_{2}(g)\).

### Proof

We divide the proof into the following three cases.

Case 1. \(\rho(f)<\infty\). Since \(T(r, f)\leq T(r, g)+T(r, d)+O(1)\), for any given \(\varepsilon\in(0, \frac{\rho(f)-\rho(d)}{2})\), there exists an increasing sequence \((r_{n})\) with \(r_{n}\rightarrow\infty\) as \(n\rightarrow\infty\), such that

hold for all sufficiently large *n*. This implies that, for all sufficiently large *n*,

Thus, for all sufficiently large *n*,

Hence, \(\rho(f)\leq\rho(g)\). On the other hand, since \(T(r, g)\leq T(r, f)+T(r, d)\), and \(\rho(d)<\rho(f)\), we get

Therefore, we get \(\rho(g)=\rho(f)\).

In a similar way to above and the definition of the lower order of growth, we can prove

Case 2. \(\mu(f)=\infty\). Suppose on the contrary to the assertion that \(\mu(g)<\mu(f)\). We aim for a contradiction. By the definition of the lower order of growth, there exist a constant \(M>0\) and an increasing sequence \((r_{n})\) with \(r_{n}\rightarrow\infty\) as \(n\rightarrow\infty \), such that

hold for all sufficiently large *n*. Then, for all sufficiently large *n*,

Therefore, \(\mu(f)\leq M\). This is a contradiction with our assumption.

Case 3. \(\mu(f)<\infty\) and \(\rho(f)=\infty\). In a similar way to proving cases 1 and 2, we can prove case 3.

Finally, we will prove \(\rho_{2}(f)=\rho_{2}(g)\). Suppose that \(\rho (f)=\infty\). Then there exists an increasing sequence \((r_{n})\) with \(r_{n}\rightarrow\infty\) as \(n\rightarrow\infty\), such that

Combining \(\rho(d)<\mu(f)\) and the definitions of the order and the lower order, we get

Then there exists a positive integer *N*, such that, for \(n>N\),

Hence, \(\rho_{2}(f)\leq\rho_{2}(g)\). In a similar way to proving case 1, we get \(\rho_{2}(f)\geq\rho_{2}(g)\). Therefore, \(\rho_{2}(f)=\rho _{2}(g)\). □

### Lemma 2.5

([23], Lemma 2)

*Let*
*f*
*be an entire function of infinite order*, *with the hyper*-*order*
\(\rho_{2}(f)<\infty\), *and let*
\(\nu(r)\)
*be the central index of*
*f*. *Then*

### Lemma 2.6

([5], Lemma 5)

*Let*
\(g: [0, \infty)\rightarrow\mathbf{R}\)
*and*
\(h: [0, \infty )\rightarrow\mathbf{R}\)
*be monotonically nondecreasing functions such that*
\(g(r)\leq h(r)\)
*outside of an exceptional set*
*E*
*with*
\(\mathrm{m}_{\mathrm{l}}(E)<\infty\). *Then*, *for any*
\(\alpha>1\), *there exists an*
\(r_{0}>1\)
*such that*
\(g(r)\leq h(\alpha r)\)
*for all*
\(r>r_{0}\).

### Lemma 2.7

*Let*
*f*
*be a meromorphic solution of equation* (1.1), *where*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\)
*are meromorphic functions*. *If there exists an integer number*
\(s\in\{0, 1, 2, \ldots, k-1\}\)
*that satisfies*

*then*
\(\rho(f)\geq\rho(A_{s})\), \(\mu(f)\geq\mu(A_{s})\).

### Proof

By equation (1.1),

Combining the formula above and the first main theory in Nevanlinna theory, we get

In a similar way to proving \(T(r, f')\leq2T(r, f)+m(r, \frac{f'}{f})\), see [24], p.97, for every integer \(j\in[1, k]\),

Combining the two inequalities above,

where \(c_{1}\), \(c_{2}\) are positive constant.

It follows from \(\rho(A_{j})<\rho(A_{s})\), \(j\neq s\), and the lemma on the logarithmic derivative that

Set \(b=\max\{\rho(A_{j}), j\neq s\}\). Then for any given \(\varepsilon \in(0, \frac{\mu(A_{s})-b}{2})\), there exists a constant \(R>1\), such that, for all \(r>R\),

Combining the two inequalities above and (2.1), we get

By using the lemma on logarithmic derivative again, we get \(\mu(f)\geq \mu(A_{s})\). □

### Lemma 2.8

*Let*
*f*
*be a meromorphic solution of equation* (1.3), *where*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z), F(z)\not\equiv0\)
*are meromorphic functions*. *If there exists an integer number*
\(s\in\{0, 1, 2, \ldots, k-1\}\)
*that satisfies*

*then*
\(\rho(f)\geq\rho(A_{s})\), \(\mu(f)\geq\mu(A_{s})\).

### Proof

In a similar way to proving Lemma 2.7, we can get the proof of Lemma 2.8, here we omit the details. □

### Lemma 2.9

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\)
*be meromorphic functions of finite order*. *Suppose there exists an integer number*
\(s\in\{0, 1, 2, \ldots, k-1\}\), *such that*

*Then every infinite order meromorphic solution*
*f*
*whose poles are of uniformly bounded multiplicities of equation* (1.1) *satisfies*
\(\rho_{2}(f)\leq\rho(A_{s})\).

### Proof

By equation (1.1),

By Lemma 2.2, for any given \(\varepsilon>0\), there exists a set \(E_{1}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{1})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{1})\),

Since the poles of *f* come from the poles of \(A_{j}(z)\), \(j=0, 1, \ldots, k-1\), and the multiplicities of poles of *f* are uniformly bounded, we have \(\lambda(\frac{1}{f})<\mu(A_{s})\). Set \(f(z)=\frac {g(z)}{d(z)}\), where \(g(z)\) is an entire function, \(d(z)\) is the classic product of poles sequence of *f*. It follows from Lemmas 2.4 and 2.7 that

By Lemma 2.3, there exists a set \(E_{2}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{2})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{2})\), \(|g(z)|=M(r, g)\),

It follows from (2.2), (2.3) and (2.4) that there exists a constant \(R>1\), such that, for all *z* satisfying \(|z|=r\notin([0, R]\cup E_{1}\cup E_{2})\), \(|g(z)|=M(r, g)\), and \(\nu _{g}(r)>1\),

Then

Combining Lemma 2.4 and the inequality above, we have

This completes the proof. □

### Lemma 2.10

*Let*
\(A_{0}(z), A_{1}(z), \ldots, A_{k-1}(z)\)
*and*
\(F(z)\not\equiv0\)
*be meromorphic functions of finite order*. *Suppose there exists an integer number*
\(s\in\{0, 1, 2, \ldots, k-1\}\), *such that*

*Then every infinite order meromorphic solution*
*f*
*whose poles are of uniformly bounded multiplicities of equation* (1.3) *satisfies*
\(\rho_{2}(f)\leq\rho(A_{s})\).

### Proof

By equation (1.3),

By Lemma 2.2, for any given \(\varepsilon>0\), there exists a set \(E_{3}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{3})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{3})\), we have (2.3) and

Since the poles of *f* come from the poles of \(A_{j}(z)\), \(j=0, 1, \ldots, k-1\), \(F(z)\), and the multiplicities of poles of *f* are uniformly bounded, we have \(\lambda(\frac{1}{f})<\mu(A_{s})\). Set \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) is an entire function, \(d(z)\) is a classic product of poles sequence of *f*. It follows from Lemmas 2.3, 2.4 and 2.8 that there exists a set \(E_{4}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{4})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{4})\), \(|g(z)|=M(r, g)\), equation (2.4) holds.

It follows from (2.3), (2.4), and (2.5) that there exists a constant \(R>1\), such that, for all *z* satisfying \(|z|=r\notin([0, R]\cup E_{3}\cup E_{4})\), \(|g(z)|=M(r, g)\),

Since \(\rho(d)<\rho(A_{s})\), for all \(r>R\),

It follows from (2.6) and (2.8) that

Combining (2.7) and the inequality above, we get

Combining Lemmas 2.5, 2.6, and the inequality above, we get

Combining Lemma 2.4 and the inequality above, we have

This completes the proof. □

## Proof of Theorems 1.6 and 1.7

### Proof of Theorem 1.6

By Lemma 2.7, it is easy to see that equation (1.1) cannot have any nonzero rational solution. By (1.1),

By Lemma 2.1, for \(\alpha=2\), there exists a set \(E_{1}\subset (1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{1})<\infty\) and constant \(B>0\), such that, for all *z* satisfying \(|z|=r\notin([0, R_{1}]\cup E_{1})\), where \(R_{1}>1\) is a constant,

and

By Lemma 2.3, there exists a set \(E_{2}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{2})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{2})\) and \(|g(z)|=M(r, g)\),

Considering the equation above, there exists a constant \(R_{2}\) (\(>R_{1}\)), such that, for all *z* satisfying \(|z|=r>R_{2}\), \(\nu _{g}(r)>1\), \(|1+o(1)|>\frac{1}{2}\), and \(|g(z)|=M(r, g)\), \(M(r, g)>1\),

Set \(H_{1}=\{|z|: z\in E\}\backslash([0, R_{2}]\cup E_{1}\cup E_{2})\). Then \(\mathrm{m}_{\mathrm{l}}(H_{1})=\infty\). It follows from (3.1), (3.2), (3.3), (3.5) and conditions (1.4), (1.5) that, for all *z* satisfying \(|z|=r\in H_{1}\) and \(|g(z)|=M(r, g)\),

Therefore, we get

It follows from the inequality above and Lemma 2.9 that

This completes the proof. □

### Proof of Theorem 1.7

By Lemma 2.8, we know that if equation (1.3) has solutions, then the solution must be transcendental. By equation (1.3),

By Lemma 2.1, for \(\alpha=2\), there exists a set \(E_{3}\subset (1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{3})<\infty\) and constant \(B>0\), such that, for all *z* satisfying \(|z|=r\notin([0, R_{3}]\cup E_{3})\), where \(R_{3}>1\) is a constant, equations (3.2) and (3.3) hold.

Set \(f(z)=\frac{g(z)}{d(z)}\), where \(g(z)\) is an entire function, \(d(z)\) is a classic product of a poles sequence of *f*. Since the poles of *f* come from the poles of \(A_{j}(z)\), \(j=0, 1, \ldots, k-1\), \(F(z)\), and the multiplicities of the poles of *f* are uniformly bounded, we have \(\lambda(\frac{1}{f})=\lambda(d)=\rho(d)\leq b\), where

Let *η* be constant satisfying \(b<\eta<\mu(A_{s})\). By Lemma 2.2, there exists a set \(E_{4}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{4})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{4})\),

By Lemma 2.3, there exists a set \(E_{5}\subset(1, \infty)\) with \(\mathrm{m}_{\mathrm{l}}(E_{5})<\infty\), such that, for all *z* satisfying \(|z|=r\notin([0, 1]\cup E_{5})\) and \(|g(z)|=M(r, g)\), equation (3.4) holds. Therefore, there exists a constant \(R_{4}\) (\(>R_{3}\)), such that, for all *z* satisfying \(|z|=r>R_{4}\), \(\nu_{g}(r)>1\), \(|1+o(1)|>\frac{1}{2}\), and \(|g(z)|=M(r, g)\), \(M(r, g)>1\), equation (3.5) holds.

Set \(H_{2}=\{|z|: z\in E\}\backslash([0, R_{4}]\cup E_{3}\cup E_{4}\cup E_{5})\). Then \(\mathrm{m}_{\mathrm{l}}(H_{2})=\infty\). It follows from (3.7) that, for all *z* satisfying \(|z|=r\in H_{2}\), \(r>R_{4}\), and \(|g(z)|=M(r, g)\),

It follows from (3.2), (3.3), (3.5), (3.6), (3.8), and conditions (1.4), (1.5) that, for all *z* satisfying \(|z|=r\in H_{2}\) and \(|g(z)|=M(r, g)\),

By \(\eta<\mu(A_{s})\leq\rho\) and for any given \(\varepsilon\in(0, \frac {\mu(A_{s})-\eta}{2})\), we get

It follows from the inequality above and Lemma 2.10 that

This completes the proof. □

## References

Laine, I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin (1993)

Laine, I: Complex differential equations. In: Handbook of Differential Equations: Ordinary Differential Equations, vol. 4. Elsevier, Amsterdam (2008)

Long, JR: Applications of Value Distribution Theory in the Theory of Complex Differential Equations. University of Eastern Finland, Diss. 176, 1-43 (2015)

Wittich, H: Neuere Untersuchungen Über Eindeutige Analytische Funktionen. Springer, Berlin (1955)

Gundersen, GG: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc.

**305**(1), 415-429 (1988)Hellerstein, S, Miles, J, Rossi, J: On the growth of solutions of \(f''+gf'+hf=0\). Trans. Am. Math. Soc.

**324**(2), 693-706 (1991)Ozawa, M: On a solution of \(w''+e^{-z}w'+(az+b)w=0\). Kodai Math. J.

**3**, 295-309 (1980)Hellerstein, S, Miles, J, Rossi, J: On the growth of solutions of certain linear differential equations. Ann. Acad. Sci. Fenn., Ser. A 1 Math.

**17**(2), 343-365 (1992)Chen, ZX, Yang, CC: Quantitative estimations on the zeros and growth of entire solutions of linear differential equations. Complex Var. Theory Appl.

**42**, 119-133 (2000)Bank, S, Laine, I: On the growth of meromorphic solutions of linear and algebraic differential equations. Math. Scand.

**40**, 119-126 (1977)Belaïdi, B, Habib, H: Properties of meromorphic solutions of a class of second order linear differential equations. Int. J. Anal. Appl.

**5**(2), 198-211 (2014)Cao, TB, Xu, JF, Chen, ZX: On the meromorphic solutions of linear differential equations on the complex plane. J. Math. Anal. Appl.

**364**, 130-142 (2010)Chen, WJ, Xu, JF: Growth of meromorphic solutions of higher-order linear differential equations. Electron. J. Qual. Theory Differ. Equ.

**2009**, 1 (2009)Chen, ZX: On the rate of growth of meromorphic solutions of higher order linear differential equations. Acta Math. Sin.

**42**(3), 551-558 (1999)Chen, ZX, Shon, KH: On the growth and fixed points of solutions of second order differential equations with meromorphic coefficients. Acta Math. Sin.

**21**(4), 753-764 (2005)Long, JR, Zhu, J: On the growth of solutions of second order differential equations with meromorphic coefficients. Int. J. Res. Rev. Appl. Sci.

**14**(2), 316-323 (2013)Long, JR, Zhu, J, Li, XM: Growth of solutions of some higher-order linear differential equations. Acta Math. Sci. Ser. A Chin. Ed.

**33**(3), 401-408 (2013)Wang, LJ, Liu, HF: Growth of meromorphic solutions of higher order linear differential equations. Electron. J. Differ. Equ.

**2014**, 125 (2014)Xiao, LP, Chen, ZX: On the growth of meromorphic solutions of a class of higher-order differential equation. J. Math. Study

**38**(3), 265-271 (2005)Belaïdi, B: Estimation of the hyper-order of entire solutions of complex linear ordinary differential equations whose coefficients are entire functions. Electron. J. Qual. Theory Differ. Equ.

**2002**, 5 (2002)Gundersen, GG: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. (2)

**37**(1), 88-104 (1988)Chen, ZX: On the zeros of meromorphic solutions of second order differential equation with meromorphic coefficients. Acta Math. Sci.

**16**(3), 276-283 (1996)Chen, ZX: On the hyper-order of solutions of some second-order linear differential equations. Acta Math. Sin.

**18**(1), 79-88 (2002)Yang, L: Value Distribution Theory. Springer, Berlin (1993)

## Acknowledgements

The authors thank the referee for his/her valuable suggestions to improve the paper. This research work is supported by the Foundation of Science and Technology of Guizhou Province of China (Grant No. [2015]2112), the National Natural Science Foundation of China (Grant No. 11501142).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the manuscript. All authors read and approved the final manuscript.

## Rights and permissions

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

## About this article

### Cite this article

Long, J., Zhu, J. On hyper-order of solutions of higher order linear differential equations with meromorphic coefficients.
*Adv Differ Equ* **2016, **107 (2016). https://doi.org/10.1186/s13662-016-0806-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-016-0806-6

### MSC

- 34M10
- 30D35

### Keywords

- complex differential equation
- meromorphic function
- hyper-order