# Normality of meromorphic functions and differential polynomials share values

- Wenjun Yuan
^{1, 2}, - Jinchun Lai
^{1}Email author, - Zifeng Huang
^{1}and - Zhi Liu
^{1}

**2014**:120

https://doi.org/10.1186/1687-1847-2014-120

© Yuan et al.; licensee Springer. 2014

**Received: **17 March 2014

**Accepted: **15 April 2014

**Published: **6 May 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.

### Keywords

differential polynomial meromorphic functions shared values normal families## 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*.

$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)})$.

*f*, and let ${a}_{1}(z),{a}_{2}(z),\dots ,{a}_{m}(z)$ be analytic in

*D*. Set

*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.

**Lemma 2.2** [4]

*Let*$f(z)={a}_{n}{z}^{n}+{a}_{n-1}{z}^{n-1}+\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 co*-

*prime 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 $.

Hence, we get $T(r,{g}^{(k)})=O(logr)+S(r,{g}^{(k)})$, it follows that $g(\xi )$ is not a transcendental meromorphic function.

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.

*g*, we have

*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 $.

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$.

*D*implies

*n*, we deduce from $\frac{\mathrm{\Gamma}}{\gamma}{|}_{H}<k+1$ that

converges uniformly to 0 on ℂ.

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 ℂ.

*δ*(>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$.

*D*implies

*n*, we deduce from $\frac{\mathrm{\Gamma}}{\gamma}{|}_{H}<k+1$ that

converges uniformly to 0 on ℂ.

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$.

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.

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 \}$.

*j*

*b*in

*D*for each pair of functions

*f*and

*g*in ℱ, we see that for any integer

*m*

*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

*n*, we have

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. □

## Declarations

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

## Authors’ Affiliations

## References

- Fang ML, Hong W: Some results on normal family of meromorphic functions.
*Bull. Malays. Math. Soc.*2000, 23: 143–151.MathSciNetMATHGoogle Scholar - Zeng, CP: Normality and shared values. Indian J. Math. ReprintGoogle Scholar
- Pang XC, Zalcman L: Normal families and shared values.
*Bull. Lond. Math. Soc.*2000, 32: 325–331. 10.1112/S002460939900644XMathSciNetView ArticleMATHGoogle Scholar - 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/BF02563879MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.