Journal of Applied Mathematics

VolumeΒ 2011, Article IDΒ 790942, 9 pages

http://dx.doi.org/10.1155/2011/790942

## Normal Criteria of Function Families Concerning Shared Values

^{1}School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China^{2}College of Computer Engineering Technology, Guangdong Institute of Science and Technology, Zhuhai 519090, China^{3}School of Economic and Management, Guangzhou University of Chinese Medicine, Guangzhou 510006, China

Received 10 July 2011; Accepted 7 September 2011

Academic Editor: Hui-ShenΒ Shen

Copyright Β© 2011 Wenjun Yuan et al. 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.

#### Abstract

We study the normality of families of meromorphic functions concerning shared values. We consider whether a family of meromorphic functions *β±* is normal in , if, for every pair of functions and in *β±*, and share the value , where and are two finite complex numbers such that , is a positive integer. Some examples show that the conditions in our results are best possible.

#### 1. Introduction and Main Results

Let and be two nonconstant meromorphic functions in a domain , and let be a finite complex value. We say that and share CM (or IM) in provided that and have the same zeros counting (or ignoring) multiplicity in . When , the zeros of mean the poles of (see [1]). It is assumed that the reader is familiar with the standard notations and the basic results of Nevanlinna's value-distribution theory ([2β4] or [1]).

Bloch's principle [5] states that every condition which reduces a meromorphic function in the plane to be a constant forces a family of meromorphic functions in a domain to be normal. Although the principle is false in general (see [6]), many authors proved normality criterion for families of meromorphic functions corresponding to Liouville-Picard type theorem (see [7] or [4]).

It is also more interesting to find normality criteria from the point of view of shared values. In this area, Schwick [8] first proved an interesting result that a family of meromorphic functions in a domain is normal if every function shares three distinct finite complex numbers with its first derivative. And later, more results about normality criteria concerning shared values can be found, for instance, in [9β11] and so on. In recent years, this subject has attracted the attention of many researchers worldwide.

We now first introduce a normality criterion related to a Hayman normal conjecture [12].

Theorem 1.1. * Let be a family of holomorphic (meromorphic) functions defined in a domain , . If for each function and , then is normal in .*

The results for the holomorphic case are due to Drasin [7] for , Pang [13] for , Chen and Fang [14] for , Ye [15] for , and Chen and Gu [16] for the generalized result with and replaced by meromorphic functions. The results for the meromorphic case are due to Li [17], Li [18] and Langley [19] for , Pang [13] for , Chen and Fang [14] for , and Zalcman [20] for , obtained independently.

When and is meromorphic, Theorem 1.1 is not valid in general. Fang and Yuan [21] gave an example to this, and moreover a result added other conditions below.

*Example 1.2. *The family of meromorphic functions is not normal in . This is deduced by ,* as * and Marty's criterion [2], although, for any .

Here denotes the spherical derivative

Theorem 1.3. * Let be a family of meromorphic functions in a domain , and . If and the poles of are of multiplicity β₯3 for each , then is normal in .*

In 2008, by the ideas of shared values, Zhang [11] proved the following.

Theorem 1.4. * Let be a family of meromorphic (holomorphic) functions in , a positive integer, and , two finite complex numbers such that . If and, for every pair of functions and in , and share the value , then is normal in .*

*Example 1.5 (see [11]). *The family of meromorphic functions is not normal in . Obviously *. *So for each pair * and * share the value 0 in *, *but is not normal at the point *, *since ,* as **. *

*Remark 1.6. *Example 1.5 shows that Theorem 1.4 is not valid when , and the condition is best possible for meromorphic case.

In this paper, we will consider the similar relations and prove the following results.

Theorem 1.7. *Let be a family of meromorphic functions in , a positive integer, and , two finite complex numbers such that . If and, for every pair of functions and in , and share the value , then is normal in .*

*Example 1.8. *The family of holomorphic functions is not normal in . This is deduced by ,* as * and Marty's criterion [2], although, for any .

*Remark 1.9. * Example 1.8 shows that the condition that added in Theorem 1.7 is best possible. In Theorem 1.7 taking we get Corollary 1.10 obtained by Zhang [22].

Corollary 1.10. * Let be a family of meromorphic functions in , , and let be a nonzero finite complex number. If, for every pair of functions and in , and share the value , then is normal in .*

A natural problem is what conditions are added such that Theorem 1.7 holds when . Next we give an answer.

Theorem 1.11. *Let be a family of meromorphic functions in , and let and be two finite complex numbers such that . Suppose that all of zeros are multiple for each . If, for every pair of functions and in , and share the value , then is normal in .*

*Remark 1.12. * Example 1.8 shows that the condition that all of zeros are multiple for each added in Theorem 1.7 is best possible. In Theorem 1.11 taking we get Corollary 1.13.

Corollary 1.13. * Let be a family of meromorphic functions in , and let be a nonzero finite complex number. Suppose that all of zeros are multiple for each . If, for every pair of functions and in , and share the value , then is normal in .*

From the proof of Theorem 1.7 we know that the following corollary holds.

Corollary 1.14. * Let be a family of meromorphic functions in , be a positive integer and , be two finite complex numbers such that . If for each function in , , then is normal in .*

#### 2. Preliminary Lemmas

In order to prove our result, we need the following lemmas. The first one extends a famous result by Zalcman [23] concerning normal families.

Lemma 2.1 (see [24]). *Let be a family of meromorphic functions on the unit disc satisfying all zeros of functions in that have multiplicity and all poles of functions in that have multiplicity . Let be a real number satisfying . Then is not normal at 0 if and only if there exist*

(a)*;
*(b)*;
*(c)*;
*(d)*such that converges spherically uniformly on each compact subset of to a nonconstant meromorphic function , whose all zeros have multiplicity and all poles have multiplicity and order is at most 2.*

*Remark 2.2. * If is a family of holomorphic functions on the unit disc in Lemma 2.1, then is a nonconstant entire function whose order is at most 1.

The order of is defined by using Nevanlinna's characteristic function :

Lemma 2.3 (see [25] or [26]). *Let be a meromorphic function and . If has neither simple zero nor simple pole, and , then is constant.*

Lemma 2.4 (see [27]). *Let be a transcendental meromorphic function of finite order in and have no simple zero, then assumes every nonzero finite value infinitely often.*

#### 3. Proof of the Results

*Proof of Theorem 1.7. *Suppose that is not normal in . Then there exists at least one point such that is not normal at the point . Without loss of generality we assume that . By Lemma 2.1, there exist points , positive numbers , and functions such that
locally uniformly with respect to the spherical metric, where is a nonconstant meromorphic function in . Moreover, the order of is .

From (3.1) we know
in locally uniformly with respect to the spherical metric, where is the set of all poles of .

If , then , where is a constant. This contradicts with being a meromorphic function. So .

If , by Lemma 2.3, then is also a constant which is a contradiction with being a nonconstant. Hence, is a nonconstant meromorphic function and has at least one zero.

Next we prove that has just a unique zero. On the contrary, let and be two distinct zeros of , and choose small enough such that , where and . From (3.2), by theorem, there exist points , such that for sufficiently large

By the hypothesis that, for each pair of functions and in , and share in , we know that for any positive integer

Fix , take , and note , , then . Since the zeros of have no accumulation point, so
Hence, . This contradicts with , and . So has just a unique zero, which can be denoted by . By Lemma 2.4, is not any transcendental function.

If is a nonconstant polynomial, then , where *A* is a nonzero constant, is a positive integer, because . Set , then and . Note that the zeros of are of multiplicity . But has only one zero , so has only the same zero too. Hence, which contradicts with . Therefore, and are rational functions which are not polynomials, and has just a unique zero .

Next we prove that there exists no rational function such as . Noting that , we can set
where is a nonzero constant, . For stating briefly, denote
From (3.6),
where
are polynomials. Since has only a unique zero , set
where is a nonzero constant, so
where is a polynomial. From (3.8) we also have
where is also a polynomial.

Let denote the degree of a polynomial .

From (3.8) and (3.9),
Similarly from (3.11), (3.12) and noting (3.13),

Note that , it follows from (3.8) and (3.10) that and . Thus, , and then is a factor of . Hence, we get that . Combining (3.11) and (3.12) we also have . By (3.14) we obtain

Since , we know by (3.16) that

If , by (3.15), then
Noting (3.17), we obtain ; a contradiction.

If , from (3.8) and (3.10), then . Noting that , , and , hence . By (3.16), . From (3.17), we obtain ; a contradiction.

The proof of Theorem 1.7 is complete.

*Proof of Theorem 1.11. *The proof of this theorem is the same as the proof of Theorem 1.7, some different places are stated as follows.

The zeros of are multiple;

The zeros of are of multiplicity β₯4:

Noting , by (3.16) we have

If , by (3.15), then
Noting (3.17), we obtain ; a contradiction.

If , from (3.8) and (3.10), then . Noting that , , and , hence . By (3.16), . From (), we obtain ; a contradiction.

The proof of Theorem 1.11 is complete.

#### Acknowledgment

The authors would like to express their hearty thanks to Professor Qingcai Zhang for supplying them his helpful reprint. They wish to thank the managing editor and referees for their very helpful comments and useful suggestions. This work was completed of the support with the NSF of China (10771220) and Doctorial Point Fund of National Education Ministry of China (200810780002).

#### References

- C.-C. Yang and H.-X. Yi,
*Uniqueness Theory of Meromorphic Functions*, vol. 557, Kluwer Academic Publishers, Dordrecht, The Netherland, 2003. - Y. X. Gu, X. C. Pang, and M. L. Fang,
*Theory of Normal Family and Its Applications*, Science Press, Beijing, China, 2007. - W. K. Hayman,
*Meromorphic Functions*, Clarendon Press, Oxford, UK, 1964. - L. Yang,
*Value Distribution Theory*, Springer, Berlin, Germany, 1993. - W. Bergweiler, βBloch's principle,β
*Computational Methods and Function Theory*, vol. 6, no. 1, pp. 77β108, 2006. View at Google Scholar Β· View at Zentralblatt MATH - L. A. Rubel, βFour counterexamples to Bloch's principle,β
*Proceedings of the American Mathematical Society*, vol. 98, no. 2, pp. 257β260, 1986. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. Drasin, βNormal families and the Nevanlinna theory,β
*Acta Mathematica*, vol. 122, pp. 231β263, 1969. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W. Schwick, βNormality criteria for families of meromorphic functions,β
*Journal d'Analyse Mathématique*, vol. 52, pp. 241β289, 1989. View at Google Scholar Β· View at Zentralblatt MATH - X. Pang and L. Zalcman, βNormal families and shared values,β
*The Bulletin of the London Mathematical Society*, vol. 32, no. 3, pp. 325β331, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - X. Pang and L. Zalcman, βNormality and shared values,β
*Arkiv för Matematik*, vol. 38, no. 1, pp. 171β182, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Q. Zhang, βNormal families of meromorphic functions concerning shared values,β
*Journal of Mathematical Analysis and Applications*, vol. 338, no. 1, pp. 545β551, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W. K. Hayman,
*Research Problems in Function Theory*, The Athlone Press University of London, London, UK, 1967. - X. C. Pang, βOn normal criterion of meromorphic functions,β
*Science in China Series A*, vol. 33, no. 5, pp. 521β527, 1990. View at Google Scholar Β· View at Zentralblatt MATH - H. H. Chen and M. L. Fang, βOn a theorem of Drasin,β
*Advances in Mathematics*, vol. 20, p. 504, 1991 (Chinese). View at Google Scholar - Y. S. Ye, βA new normality criterion and its application,β
*Chinese Annals of Mathematics Series A*, vol. 12, pp. 44β49, 1991. View at Google Scholar - H. H. Chen and Y. X. Gu, βImprovement of Marty's criterion and its application,β
*Science in China Series A*, vol. 36, no. 6, pp. 674β681, 1993. View at Google Scholar Β· View at Zentralblatt MATH - S. Y. Li, βOn normality criterion of a class of the functions,β
*Journal of Fujian Normal University*, vol. 2, pp. 156β158, 1984. View at Google Scholar - X. J. Li, βProof of Hayman's conjecture on normal families,β
*Scientia Sinica Series A*, vol. 28, no. 6, pp. 596β603, 1985. View at Google Scholar Β· View at Zentralblatt MATH - J. K. Langley, βOn normal families and a result of Drasin,β
*Proceedings of the Royal Society of Edinburgh Section A*, vol. 98, no. 3-4, pp. 385β393, 1984. View at Google Scholar Β· View at Zentralblatt MATH - L. Zalcman, βOn some questions of Hayman,β reprint.
- M. Fang and W. Yuan, βOn the normality for families of meromorphic functions,β
*Indian Journal of Mathematics*, vol. 43, no. 3, pp. 341β351, 2001. View at Google Scholar Β· View at Zentralblatt MATH - Q. Zhang, βSome normality criteria of meromorphic functions,β
*Complex Variables and Elliptic Equations*, vol. 53, no. 8, pp. 791β795, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L. Zalcman, βA heuristic principle in complex function theory,β
*The American Mathematical Monthly*, vol. 82, no. 8, pp. 813β817, 1975. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L. Zalcman, βNormal families: new perspectives,β
*American Mathematical Society Bulletin*, vol. 35, no. 3, pp. 215β230, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W. Bergweiler and X. Pang, βOn the derivative of meromorphic functions with multiple zeros,β
*Journal of Mathematical Analysis and Applications*, vol. 278, no. 2, pp. 285β292, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. Wang and M. Fang, βPicard values and normal families of meromorphic functions with multiple zeros,β
*Acta Mathematica Sinica*, vol. 14, no. 1, pp. 17β26, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W. Bergweiler and A. Eremenko, βOn the singularities of the inverse to a meromorphic function of finite order,β
*Revista Matemática Iberoamericana*, vol. 11, no. 2, pp. 355β373, 1995. View at Google Scholar Β· View at Zentralblatt MATH