- Research Article
- Open Access
- Published:

# On the Exponent of Convergence for the Zeros of the Solutions of

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 428936 (2010)

## Abstract

Let and be entire functions of order less than 1 with and transcendental. We prove that every solution of the equation , , being has zeros with infinite exponent of convergence.

## 1. Introduction

It is assumed that the reader of this paper is familiar with the basic concepts of Nevanlinna theory [1, 2] such as , and . Suppose that is a meromorphic function, then the order of growth of the function and the exponent of convergence of the zeros of are defined, respectively, as

Let be a measurable subset of . The lower logarithmic density and the upper logarithmic density of are defined, respectively, by

where is the characteristic function of defined as

Now let us recall some of the previous results on the linear differential equation

where is an entire function of finite order, When is polynomial, many authors [3–6] have studied the properties of the solutions of (1.4). If is a transcendental entire function with , Gundersen [7] proved that every nontrivial solution of (1.4) has infinite order of growth. In [8], Wang and Laine considered the nonhomogeneous equation of type

where are entire functions of order less than one and are complex numbers. In fact, they have proved the following theorem.

Theorem 1.1.

Suppose that are entire functions of order less than one, and suppose that with and . Then every nontrivial solution of (1.5) is of infinite order.

Corollary 1.2.

Suppose that , where is a nonvanishing entire function with and with . Then every nontrivial solution of (1.4) is of infinite order.

## 2. Results

We observe that all the above results concern the order of growth only. In this paper, we are going to prove the following theorem which concerns the exponent of convergence.

Theorem 2.1.

Let and be entire functions of order less than 1 with and being transcendental. Then every solution of the equation

has zeros with infinite exponent of convergence.

The hypothesis that is transcendental is not redundant since Frei [4] has shown that

has solutions of finite order, for certain constants .

We notice that Theorem 2.1 fails for . For any entire function the function solves (2.1) with

## 3. Some Lemmas

Throughout this paper we need the following lemmas. In 1965, Hayman [9] proved the following lemma.

Lemma 3.1.

Let the function be meromorphic of finite order in the plane and let . Then

for all outside a set of upper logarithmic density , where the positive constant depends only on and .

In 1962, Edrei and Fuchs [10] proved the following lemma.

Lemma 3.2.

Let be a meromorphic function in the complex plane and let have measure . Then

In 2007, Bergweiler and Langley [11] proved the following lemma.

Lemma 3.3.

Let be a transcendental entire function of order . For large define to be the length of the longest arc of the circle on which , with if the minimum modulus satisfies . Then at least one of the following is true:

(i)there exists a set of positive upper logarithmic density such that for ;

(ii)for each the set has lower logarithmic density at least

We deduce the following.

Lemma 3.4.

Let , let be a positive integer, and let have logarithmic density . Let be a transcendental entire function such that on a path tending to infinity and for all with and . Then has order at least .

Proof.

Assume that and choose a polynomial of degree at most such that

is transcendental entire. Then we have for all and for all with and . With the notation of Lemma 3.3, we see that for all large , and so we must have case (ii), as well as for . Define by

Since has logarithmic density this gives

## 4. Proof of Theorem 2.1

Let , and be as in the hypotheses. We can assume that . Suppose that is a solution of (2.1) having zeros with finite exponent of convergence. Then we can write

where and are entire functions with . We can assume that , since if is constant we can replace by and by . Using (2.1) and (4.1), we get

Lemma 4.1.

One has .

Proof.

Suppose that . Dividing (4.2) by , we get

Hence, provided lies outside a set of finite measure,

and so, using the fact that and have order less than , we obtain

This holds outside a set of finite measure and so for all large , since we may take with so that

Lemma 4.1 is proved.

Let denote large positive constants. Choose with

There exists an -set [2, page 84] such that for all large outside , we have

and using the Poisson-Jensen formula,

Moreover, there exists a set of logarithmic density such that for the circle does not meet the -set .

Lemma 4.2.

The functions and are both transcendental.

Proof.

Let be small and positive and suppose that or is a polynomial. Let be large with and . Since is small it follows from (4.2) and (4.8) that . Choose with such that the intersection of with the ray given by is bounded. Applying Lemma 3.4 to the function , with a subpath of , gives , but may be chosen arbitrarily small, and this contradicts (4.7).

The next step is to estimate in the right half-plane.

Lemma 4.3.

Let be a large positive integer and let . Then for large with

one has, either

or

Proof.

Let be large and satisfy (4.10), and assume that (4.11) does not hold. Then (4.8) implies that

Also, (4.7), and (4.9) give

Here denote positive constants which may depend on but not on . Using (4.8), (4.12) and (4.14) we get, from (4.2),

Now divide (4.2) by . We obtain, using (4.15),

which gives and (4.12). This proves Lemma 4.3.

Lemma 4.4.

Let and be as in Lemma 4.3. Choose such that the ray has bounded intersection with the -set . Let be the union of the ray and the arcs , where is the set chosen following (4.9). Then one of the following holds:

(i)one has (4.11) for all large in ;

(ii)one has (4.12) for all large in .

Proof.

This follows simply from continuity. For each large in we have (4.11) or (4.12), but we cannot have both because of (4.14). This proves Lemma 4.4.

Lemma 4.5.

Let . Then for large with , one has

Proof.

Let be as in the hypotheses. Since we only need to prove (4.17) for . Assume that . Then dividing (4.2) by gives

by (4.8), and so (4.17) follows using (4.7). This proves Lemma 4.5.

Lemma 4.6.

If conclusion (i) of Lemma 4.4 holds then , while if conclusion (ii) of Lemma 4.4 holds then .

Proof.

Suppose that conclusion (i) of Lemma 4.4 holds. Choose such that

and let be small compared to . Assume that in Lemma 4.4 is small compared to , in particular so small that

where is the positive constant from Lemma 3.1. Let

and let be the exceptional set of Lemma 3.1, with . Then for large we have, using (4.20) and Lemmas 3.1, 3.2, and 4.5,

We then have

for large . Now take any large . Since has logarithmic density , while has upper logarithmic density at most , and since is small, there exists with

which proves Lemma 4.6 in this case. The alternative case, in which we have conclusion (ii) in Lemma 4.4, is proved the same way, using in place of .

To finish the proof suppose first that conclusion (ii) of Lemma 4.4 holds. Then Lemma 3.4 implies that has order at least . Since may be chosen arbitrarily small, this contradicts Lemma 4.6. The same contradiction, with replaced by , arises if conclusion (i) of Lemma 4.4 holds, and the proof of the theorem is complete.

## References

Hayman WK:

*Meromorphic Functions, Oxford Mathematical Monographs*. Clarendon Press, Oxford, UK; 1964:xiv+191.Laine I:

*Nevanlinna Theory and Complex Differential Equations, de Gruyter Studies in Mathematics*.*Volume 15*. W. de Gruyter, Berlin, Germany; 1993:viii+341.Amemiya I, Ozawa M: Nonexistence of finite order solutions of .

*Hokkaido Mathematical Journal*1981, 10: 1–17.Frei M: Über die subnormalen Lösungen der Differentialgleichung (Konst.) .

*Commentarii Mathematici Helvetici*1961, 36: 1–8.Langley JK: On complex oscillation and a problem of Ozawa.

*Kodai Mathematical Journal*1986, 9(3):430–439. 10.2996/kmj/1138037272Ozawa M: On a solution of .

*Kodai Mathematical Journal*1980, 3(2):295–309. 10.2996/kmj/1138036197Gundersen GG: On the question of whether can admit a solution of finite order.

*Proceedings of the Royal Society of Edinburgh. Section A*1986, 102(1–2):9–17. 10.1017/S0308210500014451Wang J, Laine I: Growth of solutions of second order linear differential equations.

*Journal of Mathematical Analysis and Applications*2008, 342(1):39–51.Hayman WK: On the characteristic of functions meromorphic in the plane and of their integrals.

*Proceedings of the London Mathematical Society. Third Series*1965, 3(14):93–128.Edrei A, Fuchs WHJ: Bounds for the number of deficient values of certain classes of meromorphic functions.

*Proceedings of the London Mathematical Society. Third Series*1962, 12: 315–344. 10.1112/plms/s3-12.1.315Bergweiler W, Langley JK: Zeros of differences of meromorphic functions.

*Mathematical Proceedings of the Cambridge Philosophical Society*2007, 142(1):133–147. 10.1017/S0305004106009777

## Acknowledgment

The author thanks Professor J. K. Langley for the invaluable discussions on the results of this paper during his visit in summer 2008 and summer 2010 to the University of Nottingham in the U.K.

## Author information

### Authors and Affiliations

### Corresponding author

## 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

Alotaibi, A. On the Exponent of Convergence for the Zeros of the Solutions of .
*J Inequal Appl* **2010, **428936 (2010). https://doi.org/10.1155/2010/428936

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/428936

### Keywords

- Positive Constant
- Entire Function
- Meromorphic Function
- Nontrivial Solution
- Linear Differential Equation