 Research
 Open access
 Published:
Normality of meromorphic functions and differential polynomials share values
Advances in Difference Equations volume 2014, Article number: 120 (2014)
Abstract
In this paper, we discuss the normality of meromorphic functions which involves differential polynomial sharing values. We obtain two results: Let k be a positive integer, b (≠0) be a complex number, and h(z) be a polynomial with degree at least 2, and H(f,{f}^{\prime},\dots ,{f}^{(k)}) be a differential polynomial with \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1. Let ℱ be a family of meromorphic functions defined in D, all of whose zeros have multiplicity at least k+1. If h(z)1 has at least two distinct zeros, h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})1 has at most one distinct zero in D for each f\in \mathcal{F}, then ℱ is normal in D. If h(z)b has at least two distinct zeros and for each pair of functions f and g in ℱ, h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)}) and h({g}^{(k)})+H(g,{g}^{\prime},\dots ,{g}^{(k)}) share b in D, then ℱ is normal in D, too. Two examples show that a condition in our results is necessary and our results improve Fang and Hong’s, and Zeng’s corresponding results.
MSC:30D35, 34A05.
1 Introduction and main results
Let D be a domain in ℂ, and ℱ be a family of meromorphic functions defined in the domain D. ℱ is said to be normal in D, in the sense of Montel, if for every sequence \{{f}_{n}\}\subseteq \mathcal{F} contains a subsequence \{{f}_{{n}_{j}}\} such that {f}_{{n}_{j}} converges spherically uniformly on compact subsets of D.
ℱ is said to be normal at a point {z}_{0}\in D if there exists a neighborhood of {z}_{0} in which ℱ is normal. It is well known that ℱ is normal in a domain D if and only if it is normal at each of its points.
Let f and g be meromorphic functions defined in a domain D, and a and b be complex numbers. If g(z)=b whenever f(z)=a, we write f(z)=a\Rightarrow g(z)=b. If f(z)=a\Rightarrow g(z)=b and g(z)=b\Rightarrow f(z)=a, we write f(z)=a\u27fag(z)=b; If f(z)=a\u27fag(z)=a, we say that f and g share the value a in D.
Let {n}_{0},{n}_{1},\dots ,{n}_{k} be nonnegative integers and one of them nonzero at least, and set
M(f,{f}^{\prime},\dots ,{f}^{(k)}) is called the differential monomial of f, {\gamma}_{M} the degree of M(f,{f}^{\prime},\dots ,{f}^{(k)}) and {\mathrm{\Gamma}}_{M} the weight of M(f,{f}^{\prime},\dots ,{f}^{(k)}).
Let {M}_{1}(f,{f}^{\prime},\dots ,{f}^{(k)}),{M}_{2}(f,{f}^{\prime},\dots ,{f}^{(k)}),\dots ,{M}_{m}(f,{f}^{\prime},\dots ,{f}^{(k)}) be differential monomials of f, and let {a}_{1}(z),{a}_{2}(z),\dots ,{a}_{m}(z) be analytic in D. Set
H(f,{f}^{\prime},\dots ,{f}^{(k)}) is called a differential polynomial of f, {\gamma}_{H} the degree of H(f,{f}^{\prime},\dots ,{f}^{(k)}) and {\mathrm{\Gamma}}_{H} the weight of H(f,{f}^{\prime},\dots ,{f}^{(k)}). If {\gamma}_{{M}_{1}}={\gamma}_{{M}_{2}}=\cdots ={\gamma}_{{M}_{m}}=t, then H(f,{f}^{\prime},\dots ,{f}^{(k)}) is called a homogeneous differential polynomial of degree t. Set
The following theorem was proved by Fang and Hong [1].
Theorem 1.1 [1]
Let ℱ be a family of meromorphic functions defined in D, k and q (≥2) be two positive integers, and H(f,{f}^{\prime},\dots ,{f}^{(k)}) be a differential polynomial with \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1. If the zeros of f(z) are of multiplicity at least k+1 and {({f}^{(k)})}^{q}+H(f,{f}^{\prime},\dots ,{f}^{(k)})\ne 1 for each f\in \mathcal{F}, then ℱ is normal in D.
It is natural to ask whether the condition in Theorem 1.1 that {({f}^{(k)})}^{q}+H(f,{f}^{\prime},\dots ,{f}^{(k)})\ne 1 can be relaxed. In this paper we investigate this problem and prove the following result.
Theorem 1.2 Let ℱ be a family of meromorphic functions defined in D, k be a positive integer, let h(z) be a polynomial with degree at least 2, and H(f,{f}^{\prime},\dots ,{f}^{(k)}) be a differential polynomial with \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1. If h(z)1 has at least two distinct zeros, the zeros of f(z) are of multiplicity at least k+1 and h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})1 has at most one distinct zero in D for each f\in \mathcal{F}, then ℱ is normal in D.
By the idea of shared values, very recently, Zeng [2] proved the following theorem.
Theorem 1.3 [2]
Let k and q (≥2) be two positive integers, b\ne 0 be a complex number, and let H(f,{f}^{\prime},\dots ,{f}^{(k)}) be a differential polynomial with \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1. Let ℱ be a family of meromorphic functions defined in D, all of whose zeros have multiplicity at least k+1. If for each pair of functions f and g in ℱ, {({f}^{(k)})}^{q}+H(f,{f}^{\prime},\dots ,{f}^{(k)}) and {({g}^{(k)})}^{q}+H(g,{g}^{\prime},\dots ,{g}^{(k)}) share b in D, then ℱ is normal in D.
It is natural to ask whether Theorem 1.3 can be improved. In this paper, we study this problem and obtain the following theorem.
Theorem 1.4 Let k be a positive integer, b (≠0) be a complex number, h(z) be a polynomial, and let H(f,{f}^{\prime},\dots ,{f}^{(k)}) be a differential polynomial with \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1. Let ℱ be a family of meromorphic functions defined in D, all of whose zeros have multiplicity at least k+1. If h(z)b has at least two distinct zeros and for each pair of functions f and g in ℱ, h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)}) and h({g}^{(k)})+H(g,{g}^{\prime},\dots ,{g}^{(k)}) share b in D, then ℱ is normal in D.
Example 1.1 Let D=\{z:z<1\}, h(z)={z}^{k+1}+1 and \mathcal{F}:=\{{f}_{n}(z)=n{z}^{k+1}\}. Then
We can see that \frac{\mathrm{\Gamma}}{\gamma}{}_{H}=1<k+1, h({f}_{n}^{(k)}(z))+{f}_{n}(z)1 has only one distinct zero in D for each function {f}_{n} in ℱ, and h({f}_{n}^{(k)}(z))+{f}_{n}(z) and h({f}_{m}^{(k)}(z))+{f}_{m}(z) share 1 in D for each pair of functions {f}_{n} and {f}_{m} in ℱ. On the other hand, {f}_{j}(0)=0, {f}_{j}(\frac{1}{{j}^{\frac{1}{k+1}}})=1, for any j\in \mathbb{N}. This implies that the family ℱ fails to be equicontinuous at 0, and thus ℱ is not normal at 0.
Remark 1.5 This example shows that h(z)1 to have at least two distinct zeros (h(z)b to have at least two distinct zeros) is necessary in Theorem 1.2 (Theorem 1.4).
Example 1.2 Let D=\{z:z<1\}, h(z)={z}^{k+1}+{z}^{k}+1 and \mathcal{F}:=\{{f}_{n}(z)={z}^{k+1}\}. Then
We can see that \frac{\mathrm{\Gamma}}{\gamma}{}_{H}=2<k+1 if k\ge 2, and for each pair of functions {f}_{n} and {f}_{m} in ℱ, h({f}_{n}^{(k)}(z)){[(k+1)!]}^{k+1}{f}_{n}(z)+{f}_{n}^{\prime}(z) and h({f}_{m}^{(k)}(z)){[(k+1)!]}^{k+1}{f}_{m}(z)+{f}_{m}^{\prime}(z) share 1. Therefore, ℱ is normal in D by our Theorem 1.4.
Remark 1.6 From this example we also know that h({f}_{n}^{(k)}(z)){[(k+1)!]}^{k+1}{f}_{n}(z)+{f}_{n}^{\prime}(z)1 has only one solution in D for each {f}_{n} in ℱ. The case of shared b includes the case of ≠b, that is to say, Theorem 1.2 is a generalization of Theorem 1.1 and Theorem 1.4 is a generalization of Theorem 1.3.
2 Preliminary lemmas
In order to prove our results, we need the following lemmas. The first one is Zalcman’s Theorem.
Lemma 2.1 [3]
Let k\in {\mathbf{N}}_{+}, let ℱ be a family of functions meromorphic on the unit disc Δ, all of whose zeros have multiplicity at least k, and suppose that there exists A\ge 1 such that {f}^{(k)}(z)\le A whenever f(z)=0. Then if ℱ is not normal at {z}_{0}, there exist, for each 0\le \alpha \le k,

(a)
functions {f}_{n}\in \mathcal{F};

(b)
points {z}_{n}\in \mathrm{\Delta}, {z}_{n}\to {z}_{0}, and

(c)
positive numbers {\rho}_{n}\to {0}^{+}
such that {g}_{n}(\zeta )={\rho}_{n}^{\alpha}{f}_{n}({z}_{n}+{\rho}_{n}\zeta )\to g(\zeta ) locally uniformly with respect to the spherical metric, where g is a nonconstant meromorphic function on ℂ, all of whose zeros have multiplicity at least k, such that {g}^{\mathrm{\#}}(\zeta )\le {g}^{\mathrm{\#}}(0)=kA+1. In particular, g has order at most 2.
Here {g}^{\mathrm{\#}}(z) denotes the spherical derivative
Lemma 2.2 [4]
Let f(z)={a}_{n}{z}^{n}+{a}_{n1}{z}^{n1}+\cdots +{a}_{0}+q(z)/p(z), where {a}_{0},{a}_{1},\dots ,{a}_{n} are constants with {a}_{n}\ne 0, and q and p are two coprime polynomials, neither of which vanishes identically, with degq<degp, and let k be a positive integer and b a nonzero complex number. If {f}^{(k)}\ne b, and the zeros of f all have multiplicity at least k+1, then
where c and d are distinct complex numbers.
Lemma 2.3 Let g be a nonconstant meromorphic function, and h(z) be a polynomial. If h(z) has at least two distinct zeros and all zeros of g have multiplicity at least k+1, then h({g}^{(k)}(\xi )) has at least two distinct zeros.
Proof Case 1. If h({g}^{(k)}(\xi )) has only one zero α, then h({g}^{(k)}(\alpha ))=0, and \xi \ne \alpha, h({g}^{(k)}(\xi ))\ne 0.
Suppose that {d}_{i} (i=1,2) are two distinct zeros of h(z). Without loss of generality, we may assume that {g}^{(k)}(\alpha )={d}_{1}, then {g}^{(k)}(\xi )\ne {d}_{1} for \xi \ne \alpha.
Firstly, we will show that g(\xi ) is not a transcendental meromorphic function. By Nevanlinna Theory, we have
Hence, we get T(r,{g}^{(k)})=O(logr)+S(r,{g}^{(k)}), it follows that g(\xi ) is not a transcendental meromorphic function.
If g(\xi ) is a polynomial, then
where Q is a polynomial such that Q(\alpha )\ne 0 and the degree of Q is not less than 1. Thus there exists an {\alpha}_{1}\ne \alpha, such that Q({\alpha}_{1})=0. That is to say, there exists an {\alpha}_{1}\ne \alpha, such that h({g}^{(k)}({\alpha}_{1}))=0, which is a contradiction.
Therefore g(\xi ) is rational but not a polynomial. Under the conditions of Lemma 2.2 on the rational functions g, we have
where c and d are distinct complex numbers, {d}_{2}\ne 0, and then
where A\ne 0 is a complex number.
Hence {g}^{(k)}(\xi )={d}_{1} has k+1 distinct zeros, which contradicts {g}^{(k)}(\xi )={d}_{1} having only the zero \xi =\alpha.
Case 2. h({g}^{(k)}(\xi ))\ne 0. Since degh\ge 2, by Nevanlinna Theory once more, we have
where {d}_{i} (i=1,2) are two distinct zeros of h(z). Hence, we get T(r,{g}^{(k)})=S(r,{g}^{(k)}), and it follows that {g}^{(k)} is a constant. This together with the fact that the zeros of g have multiplicity at least k+1 shows that g is a constant, a contradiction. □
3 Proofs of theorems
Proof of Theorem 1.2 We show that ℱ is normal in D. Otherwise, there exists at least one point {z}_{0}\in D such that ℱ is not normal at {z}_{0}. Then by Lemma 2.1, we can find a subsequence of ℱ, which we may denote by \{{f}_{n}\}, {z}_{n}\in \mathrm{\Delta}, {z}_{n}\to {z}_{0} and {\rho}_{n}\to {0}^{+} such that {g}_{n}(\xi )={\rho}_{n}^{k}{f}_{n}({z}_{n}+{\rho}_{n}\xi ) converges local uniformly with respect to the spherical metric to a nonconstant meromorphic function g on ℂ, all of whose zeros have multiplicity at least k+1.
It is easily seen that
Noting that all {a}_{i}(z) (i=1,2,\dots ,m) are analytic on D implies
for sufficiently large n, we deduce from \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1 that
converges uniformly to 0 on ℂ.
Thus we find that
converges local uniformly to h({g}^{(k)}(\xi ))1 on ℂ.
Hence, by Hurwitz’s Theorem, the hypothesis of the theorem, and Lemma 2.3, we see that h({g}^{(k)}(\xi ))\equiv 1 or h({g}^{(k)}(\xi ))1 has at least two distinct zeros on ℂ.
Case 1. If h({g}^{(k)}(\xi ))\equiv 1 on ℂ.
Then by h(z)1 having at least two distinct zeros, we find that h(z)c has at least two distinct zeros except for at most one complex number c. Therefore Lemma 2.3 tells us that h({g}^{(k)}(\xi ))c has zero for at least two distinct c except that g(z) is a constant function. This is also impossible.
Case 2. If h({g}^{(k)}(\xi ))1 has at least two distinct zeros on ℂ.
Then, without out loss generality, let {\xi}_{0} and {\xi}_{0}^{\star} be two distinct zeros of h({g}^{(k)}(\xi ))1, and choose δ (>0) small enough such that D({\xi}_{0},\delta )\cap D({\xi}_{0}^{\star},\delta )=\mathrm{\varnothing}, where D({\xi}_{0},\delta )=\{\xi :\xi {\xi}_{0}<\delta \}, and D({\xi}_{0}^{\star},\delta )=\{\xi :\xi {\xi}_{0}^{\star}<\delta \}. By Hurwitz’s Theorem, there exist two sequences of points {\xi}_{n}\to {\xi}_{0} and {\xi}_{n}^{\star}\to {\xi}_{0}^{\star} such that for sufficiently large n
Hence, we have {\xi}_{n}\in D({\xi}_{0},\delta ) and {\xi}_{n}^{\star}\in D({\xi}_{0}^{\star},\delta ) for sufficiently large n. Thus each h({f}_{n}^{(k)})(z)+H({f}_{n},{f}_{n}^{\prime},\dots ,{f}_{n}^{(k)})(z)1 has two distinct zeros for large enough n, which contradicts our hypothesis.
This contradiction shows that ℱ is normal in D and hence Theorem 1.2 is proved. □
Proof of Theorem 1.4 Suppose that ℱ is a family meromorphic and not normal in D. Then there exists at least one point {z}_{0}\in D such that ℱ is not normal at the point {z}_{0}. By Lemma 2.1, there exist:

(a)
functions {f}_{n}\in \mathcal{F};

(b)
points {z}_{n}\in \mathrm{\Delta}, {z}_{n}\to {z}_{0}, and

(c)
positive numbers {\rho}_{n}\to {0}^{+}
such that {g}_{n}(\zeta )={\rho}_{n}^{k}{f}_{n}({z}_{n}+{\rho}_{n}\zeta )\to g(\zeta ) locally uniformly with respect to the spherical metric, where g is a nonconstant meromorphic function on ℂ, all of whose zeros have multiplicity at least k+1.
It is easily seen that
Noting that all {a}_{i}(z) (i=1,2,\dots ,m) are analytic on D implies
for sufficiently large n, we deduce from \frac{\mathrm{\Gamma}}{\gamma}{}_{H}<k+1 that
converges uniformly to 0 on ℂ.
Thus we know that
converges local uniformly to h({g}^{(k)}(\xi ))b on ℂ.
Take f\in \{{f}_{n}\}, we consider two cases.
Case 1. [h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})]({z}_{0})\ne b.
Then there exists a positive number \delta >0 such that
for all z in {D}_{\delta}=\{z:z{z}_{0}<\delta \}, by sharing condition.
Hence, by Hurwitz’s Theorem, the hypothesis of the theorem, and Lemma 2.3, we see that h({g}^{(k)}(\xi ))\ne b or h({g}^{(k)}(\xi ))\equiv b on ℂ.
If h({g}^{(k)}(\xi ))\ne b, then by Lemma 2.3 and the hypothesis of the theorem, we see that h({g}^{(k)}(\xi ))b has at least two distinct zeros except that g(z) is a constant function, a contradiction.
If h({g}^{(k)}(\xi ))\equiv b, the same arguments of the proof of Case 1 in the proof of Theorem 1.3 implies that it does not hold.
Case 2. [h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})]({z}_{0})=b.
Next we consider two subcases.
Subcase 2.1. [h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})](z)\equiv b for all z in {D}_{\delta}=\{z:z{z}_{0}<\delta \}. From the discussion above, we have h({g}^{(k)}(\xi ))\equiv b in ℂ. This is impossible.
Subcase 2.2. There exists a \delta >0 such that h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)})\ne b in {D}_{\delta}^{0}=\{z:0<z{z}_{0}<\delta \}. By the supposition and discussion above, this means that
for {z}_{n}+{\rho}_{n}\xi \ne {z}_{0}, and
We claim that h({g}^{(k)}(\xi ))b has just a unique zero.
Suppose that there exist two distinct zeros {\xi}_{0} and {\xi}_{0}^{\star}, choose δ (>0) small enough such that D({\xi}_{0},\delta )\cap D({\xi}_{0}^{\star},\delta )=\mathrm{\varnothing}, where D({\xi}_{0},\delta )=\{\xi :\xi {\xi}_{0}<\delta \} and D({\xi}_{0}^{\star},\delta )=\{\xi :\xi {\xi}_{0}^{\star}<\delta \}.
By Hurwitz’s Theorem, there exist points {\xi}_{n}\in D({\xi}_{0},\delta ), {\xi}_{n}^{\star}\in D({\xi}_{0}^{\star},\delta ), such that for sufficiently large j
By the assumption that h({f}^{(k)})+H(f,{f}^{\prime},\dots ,{f}^{(k)}) and h({g}^{(k)})+H(g,{g}^{\prime},\dots ,{g}^{(k)}) share b in D for each pair of functions f and g in ℱ, we see that for any integer m
We fix m and note that {z}_{n}+{\rho}_{n}{\xi}_{n}\to {z}_{0}, {z}_{n}+{\rho}_{n}{\xi}_{n}^{\star}\to {z}_{0} if n\to \mathrm{\infty}. From this we deduce
Since
if {z}_{n}+{\rho}_{n}\xi \ne {z}_{0}, and
noting that the zeros of
have no accumulation point, for sufficiently large n, we have
Hence
This contradicts the fact that {\xi}_{n}\in D({\xi}_{0},\delta ), {\xi}_{n}^{\star}\in D({\xi}_{0}^{\star},\delta ), and D({\xi}_{0},\delta )\cap D({\xi}_{0}^{\star},\delta )=\mathrm{\varnothing}. So h({g}^{(k)}(\xi ))b has just a unique zero ignoring multiplicity. This contradicts the conclusion of Lemma 2.3 that h({g}^{(k)}(\xi ))b has at least two distinct zeros.
Hence ℱ is normal at {z}_{0}, and then ℱ is normal in D. The proof of Theorem 1.4 is complete. □
References
Fang ML, Hong W: Some results on normal family of meromorphic functions. Bull. Malays. Math. Soc. 2000, 23: 143–151.
Zeng, CP: Normality and shared values. Indian J. Math. Reprint
Pang XC, Zalcman L: Normal families and shared values. Bull. Lond. Math. Soc. 2000, 32: 325–331. 10.1112/S002460939900644X
Wang YF, Fang ML: Picard values and normal families of meromorphic functions with zeros. Acta Math. Sin. New Ser. 1998, 14: 17–26. 10.1007/BF02563879
Acknowledgements
This work was supported by the Visiting Academic Sponsor Project of Department of Mathematics and Statistics at Curtin University of Technology (200001807894), the first author would like to express his hearty thanks to Curtin University of Technology for providing him with very comfortable research environment. This work was completed with the support with the NSF of China (11271090) and NSF of Guangdong Province (S2012010010121). The authors wish also specially to thank the managing editor and referees for their very helpful comments and useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
JL and ZH carried out the design of the study and performed the analysis. WY and ZL participated in its design and coordination. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yuan, W., Lai, J., Huang, Z. et al. Normality of meromorphic functions and differential polynomials share values. Adv Differ Equ 2014, 120 (2014). https://doi.org/10.1186/168718472014120
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014120