 Research
 Open access
 Published:
Growth and fixed points of meromorphic solutions of nonhomogeneous linear differential equations
Advances in Difference Equations volume 2013, Article number: 370 (2013)
Abstract
In this paper, we investigate the growth and fixed points of meromorphic solutions and their derivatives of higherorder nonhomogeneous linear differential equations with meromorphic coefficients. Our results extend the previous theorems due to Gundersen and Yang, Han and Yi. As an application of our results, we generalized some previous results that are related to Brück’s conjecture.
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 notations 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).
Let f(z), g(z) and a(z) be three meromorphic functions with that f(z) and g(z) are nonconstant. We say that f(z) and g(z) share a(z) CM (counting multiplicities) if f(z)a(z) and g(z)a(z) have the same zeros with the same multiplicities.
In order to give some estimates of fixed points, we recall the following definitions (see [4, 5]).
Definition 1.1 Let {z}_{1},{z}_{2},\dots ({z}_{j}={r}_{j}, 0\le {r}_{1}\le {r}_{2}\le \cdots) be the sequence of distinct fixed points of transcendental meromorphic function f. Then \overline{\tau}(f), the exponent of convergence of the sequence of distinct fixed points of f, is defined by
It is evident that \overline{\tau}(f)={\overline{lim}}_{r\to \mathrm{\infty}}\frac{log\overline{N}(r,\frac{1}{fz})}{logr} and \overline{\tau}(f)=\overline{\lambda}(fz).
Nonhomogeneous linear differential equations is an important area of complex differential equations, which has a large number of potential applications. For growth estimates of solutions of a nonhomogeneous linear differential equation, in general there exist exceptional solutions that are not easy to discuss (see [6], Chapter 8).
Gundersen and Yang [7] proved the following wellknown result which can guarantee that every solution of nonhomogeneous linear differential equations has infinite order.
Theorem A Let P be a nonconstant polynomial. Then every solution f of the differential equation {f}^{\prime}{e}^{P(z)}f=1 is an entire function of infinite order.
Remark 1.1 Yang generalized the above result to {f}^{(k)} in [8].
Han and Yi [9] improved Theorem A and obtained the following.
Theorem B Let P(z) be a nonconstant polynomial, Q(z) (≢0) be a polynomial. Then every solution f\not\equiv 0 of the equation
has infinite order.
Lü, Liu and Yi [10] also generalized Theorem B and proved the following result.
Theorem C Let P(z), R(z) (≢0), Q(z) (≢0) be three polynomials with that P(z) is nonconstant. Then every solution f\not\equiv 0 of the equation
has infinite order.
In this paper, we generalized the above results by a different argument.
Theorem 1.1 Let P(z) be a nonconstant polynomial, R(z) (≢0), Q(z) (≢0) be meromorphic functions with max\{\rho (R),\rho (Q)\}<deg(P)=n and k be a positive integer. Then every meromorphic solution f\not\equiv 0, whose poles are of uniformly bounded multiplicities, of the equation
has infinite order and satisfies \overline{\lambda}(f)=\lambda (f)=\rho (f)=\mathrm{\infty}.
Corollary 1.2 Let P(z) be a nonconstant polynomial, R(z) (≢0), Q(z) (≢0) be meromorphic functions that have finitely many poles and max\{\rho (R),\rho (Q)\}<deg(P)=n and k be a positive integer. Then every meromorphic solution f\not\equiv 0 of equation (1.3) has infinite order and satisfies \overline{\lambda}(f)=\lambda (f)=\rho (f)=\mathrm{\infty}.
Corollary 1.3 Let P(z) be a nonconstant polynomial, R(z) (≢0), Q(z) (≢0) be rational functions and k be a positive integer. Then every meromorphic solution f\not\equiv 0 of equation (1.3) has infinite order and satisfies \overline{\lambda}(f)=\lambda (f)=\rho (f)=\mathrm{\infty}.
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 [11]). However, there are few studies on the fixed points of solutions of the differential equation. As shown 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 [8], Laine and Rieppo [12], Chen and Shon [13], Liu and Zhang [14], Xu and Yi [15] studied the problems on the fixed points of solutions of homogeneous linear differential equations with meromorphic coefficients and their derivatives. The other main purpose of this paper is to investigate the fixed point of the solution of (1.3).
Theorem 1.4 Let P(z), R(z), Q(z) satisfy the additional hypotheses of Theorem 1.1. If f\not\equiv 0 is any meromorphic solution, whose poles are of uniformly bounded multiplicities, of equation (1.3), then f, {f}^{\prime}, {f}^{\u2033} all have infinitely many fixed points and satisfy
2 Lemmas
The linear measure of a set E\subset [0,+\mathrm{\infty}) is defined as m(E)={\int}_{0}^{+\mathrm{\infty}}{\chi}_{E}(t)\phantom{\rule{0.2em}{0ex}}dt. The logarithmic measure of a set E\subset [1,+\mathrm{\infty}) is defined by lm(E)={\int}_{1}^{+\mathrm{\infty}}{\chi}_{E}(t)/t\phantom{\rule{0.2em}{0ex}}dt, where {\chi}_{E}(t) is the characteristic function of E.
Lemma 2.1 [16]
Let f be a transcendental meromorphic function of finite order σ. Let \epsilon >0 be a constant, and k and j be integers satisfying k>j\ge 0. Then the following two statements hold:

(a)
There exists a set {E}_{1}\subset (1,\mathrm{\infty}) which has finite logarithmic measure such that for all z satisfying z\notin {E}_{1}\cup [0,1], we have
\left\frac{{f}^{(k)}(z)}{{f}^{(j)}(z)}\right\le {z}^{(kj)(\sigma 1+\epsilon )}.(2.1) 
(b)
There exists a set {E}_{2}\subset [0,2\pi ) which has linear measure zero such that if \theta \in [0,2\pi ){E}_{2}, then there is a constant R=R(\theta )>0 such that (2.1) holds for all z satisfying argz=\theta and R\le z.
Lemma 2.2 [15]
Let f(z)=g(z)/d(z), where g(z) is transcendental entire, and let d(z) be the canonical product (or polynomial) formed with the nonzero poles of f(z). Then we have
where {B}_{i,j} are defined as a sum of a finite number of terms of the type
{C}_{j{j}_{1}\cdots {j}_{i}} are constants, and j+{j}_{1}+2{j}_{2}+\cdots +i{j}_{i}=n.
Using mathematical induction, we can easily prove the lemma.
Lemma 2.3 [17]
Let g(z) be a transcendental meromorphic function with \sigma (g)=\beta <\mathrm{\infty}. Then, for any given \epsilon >0, there exists a set E\subset [0,2\pi ) that has linear measure zero such that if \psi \in [0,2\pi )\setminus E, 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 [6]
Let P(z)=(\alpha +i\beta ){z}^{n}+\cdots (α, β are real, \alpha +\beta \ne 0) be a polynomial with degree n\ge 1, A(z)\not\equiv 0 be a meromorphic function with \sigma (A)<n. Set g(z)=A(z){e}^{P(z)}, z=r{e}^{i\theta}, \delta (P,\theta )=\alpha cosn\theta \beta sinn\theta, then for any given \epsilon >0, there is a set {E}_{1}\subset [0,2\pi ) that has linear measure zero such that for any \theta \in [0,2\pi )\setminus ({E}_{1}\cup {E}_{2}) and a sufficiently large r, we have:

(i)
If \delta (P,\theta )>0, then
exp\{(1\epsilon )\delta (P,\theta ){r}^{n}\}\le \leftg\left(r{e}^{i\theta}\right)\right\le exp\{(1+\epsilon )\delta (P,\theta ){r}^{n}\}; 
(ii)
If \delta (P,\theta )<0, then
exp\{(1+\epsilon )\delta (P,\theta ){r}^{n}\}\le \leftg\left(r{e}^{i\theta}\right)\right\le exp\{(1\epsilon )\delta (P,\theta ){r}^{n}\},
where {E}_{2}=\{\theta \in [0,2\pi );\delta (P,\theta )=0\} is a finite set.
Lemma 2.5 [18]
Let {A}_{0},{A}_{1},\dots ,{A}_{k1}, F\not\equiv 0 be meromorphic functions of finite order. If f(z) is an infiniteorder meromorphic solution of the equation
then f satisfies \lambda (f)=\overline{\lambda}(f)=\sigma (f)=\mathrm{\infty}.
Lemma 2.6 [19]
Let f(z) be an entire function, and suppose that
is unbounded on some ray argz=\theta with a constant \rho >0, then there exists an infinite sequence of {z}_{m}={r}_{m}{e}^{i\theta}, where {r}_{m}\to \mathrm{\infty}, such that G({z}_{m})\to \mathrm{\infty}.
Lemma 2.7 (see [19])
Let g(z) be an entire function with \rho (g)=\rho <\mathrm{\infty}. Suppose that there exists a set H\subset [0,2\pi ) which has linear measure zero such that {log}^{+}f(r{e}^{i\theta})\le M{r}^{\rho} for any ray argz=\theta \in [0,2\pi )\setminus H, where M is a positive constant depending on θ, where M is a positive constant independent of θ. Then \rho (g)\le \rho.
The next lemma plays a key role in our proof of Theorem 1.1, some ideas are due to [19–21].
Lemma 2.8 Let P(z) be a nonconstant polynomial, R(z) (≢0), Q(z) (≢0) be meromorphic functions with max\{\rho (R),\rho (Q)\}<deg(P)=n and k be a positive integer. We denote
If f\not\equiv 0, whose poles are of uniformly bounded multiplicities, is a finiteorder meromorphic solution of (1.3), then \rho ({L}_{f})\ge n.
Proof Suppose that \rho ({L}_{f})<n, we consider two cases.

(i)
If \rho (f)<n, then \rho ({f}^{(k)})<n. {L}_{f}={f}^{(k)}R(z){e}^{P(z)}f has the form
R(z){e}^{P(z)}=\frac{{L}_{f}{f}^{(k)}}{f}.
Note that \rho (R{e}^{P})=n and \rho (\frac{{L}_{f}{f}^{(k)}}{f})<n, we can obtain a contradiction.

(ii)
If n\le \rho (f)<\mathrm{\infty}, we rewrite (2.2) into
\frac{{L}_{f}}{f}=\frac{{f}^{(k)}}{f}+R(z){e}^{P(z)}.(2.3)
From equation (1.3), we know that the poles of f(z) can occur only at the poles of R(z), Q(z). Note that the multiplicities of pole points of f are uniformly bounded, and thus we have
where M is a positive constant. Then we have \lambda (1/f)\le \alpha =max\{\rho (R),\rho (Q)\}<n.
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 <n, g be an entire function and n\le \rho (g)=\rho (f)=\rho <\mathrm{\infty}. Substituting f=g/d into (2.3), by Lemma 2.2 we can get
By Lemma 2.1, for any given ε (0<\epsilon <n\beta), there exists a set {E}_{0}\in [0,2\pi ) that has linear measure zero such that if \theta \in [0,2\pi )\setminus {E}_{0}, 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
Set \rho ({L}_{f})=\gamma <n. Then, by Lemma 2.3, for the above given ε (0<2\epsilon <min\{n\gamma ,n\beta \}), there exists a set {E}_{1}\subset [0,2\pi ) that has linear measure zero such that if \theta \in [0,2\pi )\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, for sufficiently large r,
By Lemma 2.4, there exists a ray argz=\theta \in [0,2\pi )\setminus ({E}_{0}\cup {E}_{1}\cup {E}_{2}), {E}_{2}=\{\theta \in [0,2\pi );\delta (P,\theta )=0\} being a finite set such that \delta (P,\theta )>0, and for the above given ε, when r is sufficiently large, we have
We now prove that
is bounded on the ray argz=\theta. We assume that
is unbounded on the ray argz=\theta. Then, by Lemma 2.6, there is a sequence of points {z}_{m}={r}_{m}{e}^{i\theta} such that {r}_{m}\to +\mathrm{\infty} and that
From (2.7) and (2.9), we get
for m is large enough.
By (2.4)(2.6), (2.8) and (2.10), we obtain
where M (0<M<\mathrm{\infty}) is a constant and M may be different at different places. It is a contradiction with \beta +2\epsilon <n. Hence
is bounded on the ray argz=\theta. This is, g(z)\le Mexp\{{r}^{\beta +\epsilon}\} on the ray argz=\theta. Then, by Lemma 2.7, we have \rho (g)\le \beta +\epsilon <n, this is a contradiction.
Hence \rho ({L}_{f})\ge n.
The proof of Lemma 2.8 is completed. □
3 Proof of Theorem 1.1
Assume that f (≢0) is a meromorphic function of (1.3). Suppose, to the contrary, that \rho (f)<\mathrm{\infty}. By Lemma 2.8, we have n\le \rho ({L}_{f})=\rho (Q)<n and this is a contradiction. Hence every solution f of equation (1.3) is of infinite order. By Lemma 2.5, every solution f of equation (1.3) satisfies \overline{\lambda}(f)=\lambda (f)=\rho (f)=\mathrm{\infty}. The proof of Theorem 1.1 is completed.
4 Proof of Theorem 1.4
Assume that f (≢0) is a meromorphic function of (1.3), then by Theorem 1.1 we have \rho (f)=\mathrm{\infty}. Set {g}_{0}(z)=f(z)z, then z is a fixed point of f(z) if and only if {g}_{0}(z)=0. {g}_{0}(z) is a meromorphic function and \rho ({g}_{0})=\rho (f)=\mathrm{\infty}. If k\ge 2, substituting f={g}_{0}+z, {f}^{(k)}={g}_{0}^{(k)} into (1.3), we have
Obviously, QzR{e}^{P}\not\equiv 0. Here we just consider the meromorphic solutions of infinite order satisfying {g}_{0}=fz, by Lemma 2.5 we know that \overline{\lambda}({g}_{0})=\overline{\tau}(f)=\mathrm{\infty} holds. If k=1, substituting f={g}_{0}+z, {f}^{\prime}={g}_{0}^{\prime}+1 into (1.3), we can also obtain the same conclusion by a similar way.
Now we consider the fixed points of {f}^{\prime}(z).
Let {g}_{1}(z)={f}^{\prime}z, then z is a fixed point of {f}^{\prime}(z) if and only if {g}_{1}(z)=0. {g}_{1}(z) is a meromorphic function and \rho ({g}_{1})=\rho ({f}^{\prime})=\rho (f)=\mathrm{\infty}. Differentiating both sides of equation (1.3), we have
By (1.3), we have
Substituting (4.3) into (4.2), we derive
Substituting {f}^{\prime}={g}_{1}+z, {f}^{\u2033}={g}_{1}^{\prime}+1, {f}^{(j+1)}={g}_{1}^{(j)} (2\le j\le k) into (4.4), we get
Set {h}_{1}:={Q}^{\prime}\frac{{R}^{\prime}}{R}Q{P}^{\prime}+zR{e}^{P}. Obviously, {h}_{1}\not\equiv 0. Applying Lemma 2.5 to (4.5), we obtain \overline{\lambda}({g}_{1})=\overline{\lambda}({f}^{\prime}z)=\overline{\tau}({f}^{\prime})=\rho ({g}_{1})=\rho (f)=\mathrm{\infty}.
This completes the proof of Theorem 1.4.
5 An application
In 1996, Brück posed the following conjecture (see [22]).
Conjecture Let f be a nonconstant entire function such that the hyperorder {\sigma}_{2}(f) of f is not a positive integer and {\sigma}_{2}(f)<\mathrm{\infty}. If f and {f}^{\prime} share a finite value a CM, then
where c is a nonzero constant.
Since then, many results related to the conjecture have been obtained. The conjecture for the cases that a=0 has been proved by Brück [22]. Later, Gundersen and Yang [7], Yang [23] proved the following wellknown result.
Theorem D Let f be a nonconstant entire function with finite order. If f and {f}^{(k)} share a finite value a CM, then
where c is a nonzero constant.
Li and Yi [24] studied the case that an entire function of finite order shares a polynomial with its first derivative. They showed the following result.
Theorem E Let f be a nonconstant entire function with finite order, and let Q be a nonconstant polynomial. If f and {f}^{\prime} share Q CM, then
where c is a nonzero constant.
In this section, we will consider the case that an entire function of finite order shares a meromorphic function of order less than 1 with its k th derivative.
Theorem 5.1 Let f be a nonconstant entire function of finite order, R\not\equiv 0 be a meromorphic function that has finitely many poles and \rho (R)<1, and k be a positive integer. If f and {f}^{(k)} share R CM, then
where c is a nonzero constant.
Next we prove Theorem 5.1.
Proof Since f is of finite order and f and {f}^{(k)} share R CM, by the Hadamard factorization theorem for meromorphic functions with finite order, we have
where P(z) is a polynomial.
If P(z) is not a constant. Set F(z)=f(z)R(z) and Q(z)=R(z){R}^{(k)}(z). Then (5.1) can be rewritten as
Note that \rho (Q)\le \rho (R)<1\le deg(P). By Corollary 1.2, the order of F, and hence of f, is infinite. It is a contradiction. Hence P(z) is a constant. □
In [25], Li and Yi also proved the following related result.
Theorem F Let f be a nonconstant entire function of finite order, R be a nonzero rational function that has at least one pole and k be a positive integer. If fR and {f}^{(k)}R share 0 CM, then f={f}^{(k)}.
From Corollary 1.2, we immediately obtain a corollary which generalizes Theorem F.
Corollary 5.2 Let f be a nonconstant entire function of finite order, R\not\equiv 0 be a meromorphic function with finitely many poles (at least one pole) and \rho (R)<1 and k be a positive integer. If f and {f}^{(k)} share R CM, then f={f}^{(k)}.
References
Hayman WK: Meromorphic Functions. Clarendon, Oxford; 1964.
Yang L: Value Distribution Theory. Springer, Berlin; 1993.
Yang CC, Yi HX: 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: 425432. (in Chinese)
Jank G, Volkmann L: Einührung in die Theorie der meromorphen Funktionen mit Anwendungen auf Differentialgleichungen. Birkhäuser, Basel; 1985.
Markusherish AI: Theory of Functions of a Complex Variable. Prentice Hall, New York; 1965.
Gundersen GG, Yang LZ: Entire functions that share one value with one or two of their derivatives. J. Math. Anal. Appl. 1998, 223: 8895. 10.1006/jmaa.1998.5959
Wang J, Yi HX: Fixed points and hyperorder of differential polynomials generated by solutions of differential equation. Complex Var. Theory Appl. 2003, 48: 8394. 10.1080/0278107021000037048
Han Q, Yi HX: On the uniqueness problems of entire functions and their linear differential polynomials. Kodai Math. J. 2007, 30: 6673.
Lü F, Liu K, Yi HX: Normal families and uniqueness theorem of holomorphic functions. Kodai Math. J. 2010, 33: 217232. 10.2996/kmj/1278076338
Zhuang QT, Yang CC: The Fixed Points and Factorization Theory of Meromorphic Functions. Press in Beijing University, Beijing; 1988. (in Chinese)
Laine I, Rieppo J: Differential polynomials generated by linear differential equations. Complex Var. Theory Appl. 2004, 49: 897911. 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. 2004, 21: 753764.
Liu MS, Zhang XM: Fixed points of meromorphic solutions of higher order linear differential equations. Ann. Acad. Sci. Fenn., Math. 2006, 31: 191211.
Xu JF, Yi HX: Growth and fixed points of meromorphic solutions of linear differential equations. J. Korean Math. Soc. 2009, 46: 747758. 10.4134/JKMS.2009.46.4.747
Gundersen G: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. 1988, 37: 88104.
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: 775784.
Chen ZX: Zeros of meromorphic solutions of higher order linear differential equations. Analysis 1999, 14: 425438.
Wang J, Laine I: Growth of solutions of nonhomogeneous linear differential equations. Abstr. Appl. Anal. 2009., 2009: Article ID 363927
Belaïdi B, Farissi A: Relation between differential polynomials and small functions. Kyoto J. Math. 2010, 50: 453468. 10.1215/0023608X2009019
Xu JF, Zhang XB: Some results of meromorphic solutions of secondorder linear differential equations. J. Inequal. Appl. 2013., 2013: Article ID 304
Brück R: On entire functions which share one value CM with their first derivatives. Results Math. 1971, 78: 655658.
Yang LZ: Solution of a differential equation and its applications. Kodai Math. J. 1999, 22: 458464. 10.2996/kmj/1138044097
Li XM, Yi HX: An entire function and its derivatives sharing a polynomial. J. Math. Anal. Appl. 2007, 330: 6679. 10.1016/j.jmaa.2006.07.038
Li XM, Yi HX: Uniqueness of meromorphic functions sharing a meromorphic function of a smaller order with their derivatives. Ann. Pol. Math. 2010, 98: 207219. 10.4064/ap9831
Acknowledgements
The authors would like to thank the referee for his/her constructive suggestions. This work was supported by the National Natural Science Foundation of China (Nos. 11126327, 12271090), NSF of Guangdong Province (No. S2011010000735) 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, Z. Growth and fixed points of meromorphic solutions of nonhomogeneous linear differential equations. Adv Differ Equ 2013, 370 (2013). https://doi.org/10.1186/168718472013370
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013370