# Some Normality Criteria of Meromorphic Functions

- Junfeng Xu
^{1}Email author and - Wensheng Cao
^{1}

**2010**:926302

https://doi.org/10.1155/2010/926302

© J. Xu andW. Cao. 2010

**Received: **2 September 2009

**Accepted: **23 March 2010

**Published: **22 April 2010

## Abstract

This paper studies some normality criteria for a family of meromorphic functions, which improve some results of Lahiri, Lu and Gu, as well as Charak and Rieppo.

## Keywords

## 1. Introduction and Main Results

Let be a nonconstant meromorphic function in the complex plane . We shall use the standard notations in Nevanlinna's value distribution theory of meromorphic functions such as , , and (see, e.g., [1, 2]). The notation is defined to be any quantity satisfying as possibly outside a set of of finite linear measure.

Let be a family of meromorphic functions on a domain . We say that is normal in if every sequence of functions contains either a subsequence which converges to a meromorphic function uniformly on each compact subset of or a subsequence which converges to uniformly on each compact subset of . (See [1, 3].)

The Bloch principle [3] is the hypothesis that a family of analytic (meromorphic) functions which have a common property in a domain will in general be a normal family if reduces an analytic (meromorphic) function in the open complex plane to a constant. Unfortunately the Bloch principle is not universally true. But it is also very difficult to find some counterexamples about the converse of the Bloch principle, and hence it is interesting to study the problem.

In 2005, Lahiri [4] proved the following criterion for the normality, and gave a counterexample to the converse of the Bloch principle by using the result.

Theorem A

If there exists a positive number such that for every , one has whenever , then is normal.

In this direction, Lahiri and Dewan [5] as well as Xu and Zhang [6] proved the following result.

Theorem B.

where and are positive integers.

(i)all zeros of have multiplicity at least ,

(ii)there exists a positive number such that for every one has whenever ,

then is normal in so long as ; or and .

Here, we also give a counterexample to the converse of the Bloch principle by considering Theorem B, which is similar to an example in [7].

Example 1.1.

but Theorem B is true especially when is an empty set for every in the family.

In the following, we continue to study the normal family when and in Theorem B.

Theorem 1.2.

(i)all zeros of have multiplicity at least ,

(ii)there exists a positive number such that for every , one has whenever , then is normal in .

Corollary 1.3.

Let be a family of meromorphic functions in a domain , all of whose zeros have multiplicity at least , and let , be two finite constants. Suppose that , where is a positive integer. Then is normal in .

Recently, Lu and Gu [8] considered two related normal families.

Theorem C.

Let be a family of meromorphic functions in a domain ; all of whose zeros have multiplicity at least . Suppose that, for each , for , then is a normal family on , where is a nonzero finite complex number and is an integer number.

Theorem D.

Let be a family of meromorphic functions in a domain ; all of whose zeros have multiplicity at least , and all of whose poles are multiple. Suppose that, for each , for , then is a normal family on , where is a nonzero finite complex number and is an integer number.

In this paper, we give a simple proof and improve the above results.

Theorem 1.4.

Let be a family of meromorphic functions in a domain ; all of whose zeros have multiplicity at least . Suppose that, for each , for , then is a normal family on , where is a nonzero finite complex number and is an integer number.

In 2009, Charak and Rieppo [7] generalized Theorem A and obtained two normality criteria of Lahiri's type.

Theorem E.

If there exists a positive constant such that for all whenever , then is a normal family.

Theorem F.

If there exists a positive constant such that for all whenever , then is a normal family.

Naturally, we ask whether the above results are still true when is replaced by in Theorems E and F. We obtain the following results.

Theorem 1.5.

If there exists a positive constant such that for all whenever , then is a normal family.

Theorem 1.6.

If there exists a positive constant such that for all whenever , then is a normal family.

## 2. Some Lemmas

Lemma 2.1 (see [9]).

Let be a family of functions meromorphic on the unit disc, all of whose zeros have multiplicity at least , then if is not normal, there exist, for each

(d)positive number such that locally uniformly, where is a nonconstant meromorphic on , all of whose zeros have multiplicity at least , such that

Here, as usual, is the spherical derivative.

Lemma 2.2.

Let be rational in the complex plane and positive integers. If has only zero with multiplicity at least , then takes on each nonzero value .

Proof.

In Lemma 6 of [7], the case of is proved. We just consider the case of by a different way which comes from [10].

where is a polynomial of the form , in which , , are constants.

It is a contradiction with and . This proves the lemma.

Lemma 2.3 (see [11]).

Let be a transcendental meromorphic function all of whose zeros have multiplicity at least , then assumes every finite nonzero value infinitely often, where if , and if .

Remark 2.4.

The lemma was first proved by Wang as if and if in [12]. Recently, the result is improved by [11].

Lemma 2.5.

Let be a meromorphic function all of whose zeros have multiplicity with at least in the complex plane, then must have zeros for any constant .

Proof.

If is rational, then by Lemma 2.2 the conclusion holds.

If is transcendental, supposing that has no zeros, then by Lemma 2.3, we can get a contradiction. This completes the proof of the lemma.

Lemma 2.6.

Let be meromorphic in the complex plane, and let be a constant, for any positive integer ; if , then is a constant.

Proof.

and with being a set of values of finite linear measure. It is a contradiction.

Lemma 2.7 (see [13]).

Let be a transcendental meromorphic function, and let , be two integers. Then for any nonzero value , the function has infinitely many zeros.

Lemma 2.8 (see [14]).

Let be a transcendental meromorphic function, and let be an integer. Then for any nonzero value , the function has infinitely many zeros.

Lemma 2.9.

has a finite zero.

Proof.

has always a nonzero solution; say . By [14, Corollary ] or [15], Lemmas 2.2, 2.7, and 2.8, the meromorphic function cannot avoid it and thus there exists such that .

and we complete the proof of the lemma.

Remark 2.10.

If , we need when by Lemma 2.3. We can get a similar result.

## 3. Proof of Theorems

Proof of Theorem 1.2.

Therefore for all large values of , it follows from the given condition that .

Since is not a pole of , there exists a positive number such that in some neighborhood of we get .

which is a contradiction. This proves the theorem.

Proof of Theorem 1.4.

It follows that or by Hurwitz's theorem. From Lemma 2.6, we obtain that . By Lemma 2.5, we get a contradiction. This completes the proof of the theorem.

Proof of Theorem 1.5.

In the following, we can get a contradiction in a similar way with the proof of the last part of Theorem 1.2. This completes the proof of the theorem.

Proof of Theorem 1.6.

In the following, we can get a contradiction in a similar way with the proof of the last part of Theorem 1.5. This completes the proof of the theorem.

## Declarations

### Acknowledgments

The authors would like to thank Professor Lahiri for supplying the electronic file of the paper [4]. The authors were supported by NSF of China (No. 10771121, No. 10801107), NSF of Guangdong Province (No. 9452902001003278, No. 8452902001000043), and Department of Education of Guangdong (No. LYM08097).

## Authors’ Affiliations

## References

- Yang L:
*Value Distribution Theory*. Springer, Berlin, Germany; 1993:xii+269.MATHGoogle Scholar - Yang C-C, Yi H-X:
*Uniqueness Theory of Meromorphic Functions, Mathematics and Its Applications*.*Volume 557*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:viii+569.View ArticleMATHGoogle Scholar - Schiff JF:
*Normal Families, Universitext*. Springer, New York, NY, USA; 1993:xii+236.View ArticleMATHGoogle Scholar - Lahiri I: A simple normality criterion leading to a counterexample to the converse of the Bloch principle.
*New Zealand Journal of Mathematics*2005, 34(1):61–65.MathSciNetMATHGoogle Scholar - Lahiri I, Dewan S: Some normality criteria.
*Journal of Inequalities in Pure and Applied Mathematics*2004., 5(2, article 35):MathSciNetMATHGoogle Scholar - Xu JF, Zhang ZL: Note on the normal family.
*Journal of Inequalities in Pure and Applied Mathematics*2006., 7(4, article 133):MathSciNetMATHGoogle Scholar - Charak KS, Rieppo J: Two normality criteria and the converse of the Bloch principle.
*Journal of Mathematical Analysis and Applications*2009, 353(1):43–48. 10.1016/j.jmaa.2008.11.066MathSciNetView ArticleMATHGoogle Scholar - Lu Q, Gu Y: Zeros of differential polynomial and its normality.
*Chinese Quarterly Journal of Mathematics*2009, 24(1):75–80.MathSciNetMATHGoogle Scholar - Pang XC, Zalcman L: Normal families and shared values.
*The Bulletin of the London Mathematical Society*2000, 32(3):325–331. 10.1112/S002460939900644XMathSciNetView ArticleMATHGoogle Scholar - Hu P-C, Meng D-W: Normality criteria of meromorphic functions with multiple zeros.
*Journal of Mathematical Analysis and Applications*2009, 357(2):323–329. 10.1016/j.jmaa.2009.04.016MathSciNetView ArticleMATHGoogle Scholar - Zou WL, Zhang QD: On the zero of .
*Journal of Sichuan Normal University*2008, 31(6):662–666.MATHGoogle Scholar - Wang J-P: On the value distribution of .
*Kyungpook Mathematical Journal*2006, 46(2):169–180.MathSciNetMATHGoogle Scholar - Yang CC, Hu PC: On the value distribution of .
*Kodai Mathematical Journal*1996, 19(2):157–167. 10.2996/kmj/1138043595MathSciNetView ArticleMATHGoogle Scholar - Alotaibi A: On the zeros of for .
*Computational Methods and Function Theory*2004, 4(1):227–235.MathSciNetView ArticleMATHGoogle Scholar - Zhang ZF, Song GD: On the zeros of .
*Chinese Annals of Mathematics, Series A*1998, 19(2):275–282.MathSciNetMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.