# Normal families of meromorphic functions sharing values or functions

## Abstract

In this paper, we investigate the normal families of meromorphic functions concerning shared values and shared analytic functions and prove some normal criteria that generalize or extend some results obtained by Q. C. Zhang, Y. T. Li and Y. X. Gu, J. M. Chang.

Mathematics Subject Classification (2000): 30D45; 30D35.

## 1. Introduction and main results

The notations and concepts used in this paper can be found in . In this paper, We also use f(z) = a g(z) = b to stand for g(z) = b when f(z) = a.

Let D be a domain in the complex plane C, $ℱ$ be a family of meromorphic functions defined in D. $ℱ$ is said to be normal in D, in the sense of Montel, if every sequence ${f}_{n}\left(z\right)\in ℱ\left(n\phantom{\rule{2.77695pt}{0ex}}=1,2,\phantom{\rule{2.77695pt}{0ex}}\dots \right)$ has a subsequence ${f}_{{n}_{k}}\left(z\right)\left(k=1,2,\phantom{\rule{2.77695pt}{0ex}}\dots \right)$ that converges spherically locally uniformly in D, to a meromorphic function or ∞(see [2, 4, 5]).

In 1998, Y. F. Wang and M. L. Fang  proved the following theorem.

Theorem A. Let $ℱ$ be a family of meromorphic functions in D, n, k N with nk + 2. If for every function $f\in ℱ$, f has only zeros of order at least n and f(k)≠ 1, then $ℱ$ is normal in D.

In 2004, M. L. Fang and L. Zalcman  proved the following theorem.

Theorem B. Let $ℱ$ be a family of meromorphic functions in D, and n be a positive integer. If for each pair of functions f and g in $ℱ$, f and g share the value 0 and fnf' and gng' share a non-zero value b in D, then $ℱ$ is normal in D.

In 2008, Q. C. Zhang  proved the following Theorems C and D, which generalized the condition f(k)≠ 1 in Theorem A to shared value when k = 1 and generalized Theorem B when n ≥ 2, respectively.

Theorem C. Let $ℱ$ be a family of meromorphic functions in D satisfying that all of zeros and poles of $f\in ℱ$ have multiplicities at least 3. If for each pair of functions f and g in $ℱ$, f' and g' share a non-zero value b in D, then $ℱ$ is normal in D.

Theorem D. Let $ℱ$ be a family of meromorphic functions in D, and n be a positive integer. If n ≥ 2 and for each pair of functions f and g in $ℱ$, fn f' and gng' share a non-zero value b in D, then $ℱ$ is normal in D.

In 2009, Y. T. Li and Y. X. Gu  proved the following theorem with high order derivatives.

Theorem E. Let $ℱ$ be a family of meromorphic functions defined in a domain D. Let k, nk + 2 be positive integers and a ≠ 0 be a finite complex number. If (fn )(k)and (gn )(k)share a in D for every pair of functions $f,\phantom{\rule{2.77695pt}{0ex}}g\in ℱ$, then $ℱ$ is normal in D.

In this paper, we investigate the normal family of meromorphic functions with higher order derivatives and obtain the following two theorems, which generalize Theorems C, D and E.

Theorem 1.1. Suppose that d(≥ 0) is an integer, p(z) is an analytic function in D, and the multiplicity of its all zeros is at most d. Let $ℱ$ be a family of holomorphic functions in D; the multiplicity of all zeros of $f\in ℱ$ is at least k + d + 2. If for each pair of functions f and g in $ℱ$, f(k)and g(k)share p(z) in D, then $ℱ$ is normal in D.

Theorem 1.2. Suppose that d(≥ 0) is an integer, p(z) is an analytic function in D, and the multiplicity of its all zeros is at most d. Let $ℱ$ be a family of meromorphic functions in D, the multiplicity of all zeros and poles of $f\in ℱ$ is at least k + 2d + 2. If for each pair of functions f and g in $ℱ$, f(k)and g(k)share p(z) in D, then $ℱ$ is normal in D.

Corollary 1.1. Let $ℱ$ be a family of meromorphic functions in D; the multiplicity of all zeros and poles of $f\in ℱ$ is at least k + 2. a ≠ 0 is a finite complex number. If for each pair of functions f and g in $ℱ$, f(k)and g(k)share a in D, then $ℱ$ is normal in D.

Corollary 1.2. Suppose that d(≥ 0) is an integer, p(z) is an analytic function in D, and the multiplicity of its all zeros is at most d. Let $ℱ$ be a family of holomorphic functions in D, n be a positive integer. If nd + 2 and for each pair of functions f and g in $ℱ$, fnf' and gng' share p(z) in D, then $ℱ$ is normal in D.

Corollary 1.3. Suppose that d(≥ 0) is an integer, p(z) is an analytic function in D, and the multiplicity of its all zeros is at most d. Let $ℱ$ be a family of meromorphic functions in D, n be a positive integer. If n ≥ 2d + 2 and for each pair of functions f and g in $ℱ$, fnf' and gn g' share p(z) in D, then $ℱ$ is normal in D.

Remark 1.1. From Corollary 1.1, we can deduce Theorems C and E; from Corollary 1.3, we can deduce Theorem D.

About the normality concerning shared value of meromorphic functions with its derivatives, J. M. Chang  recently obtained the following theorem.

Theorem F. Let $ℱ$ be a family of meromorphic functions in D, a, b be two distinct finite non-zero complex numbers. If for every $f\in ℱ$, f(z) = a f'(z) = a, f'(z) ≠ b, and f"(z) ≠ b, then $ℱ$ is normal in D.

Thus, a natural question is: whether $ℱ$ is normal if we replace the condition f(z) = a f'(z) = a in Theorem F by f'(z) = a f(z) = a. We answer this question by the following result.

Theorem 1.3. Let $ℱ$ be a family of meromorphic functions in D, a, b be two distinct finite complex numbers. If for every $f\in ℱ$, f'(z) = a f(z) = a, f'(z) ≠ b, and all of its zeros have multiplicity at least 2, then $ℱ$ is normal in D.

## 2. Lemmas

Lemma 2.1. Let d(≥ 0), k(≥ 1) be two integers, $p\left(z\right)={a}_{d}{z}^{d}+{a}_{d-1}{z}^{d-1}+\cdots +{a}_{1}z+{a}_{0}$ be a polynomial, where a d (≠ 0), ad-1, ..., a0 are constants. If g(z) is a non-constant polynomial, the multiplicity of its all zeros is at least k + d + 2, then g(k)(z) - p(z) has at least two distinct zeros, and g(k)(z) - p(z) 0.

Proof We discuss in two cases:

Case 1. If g(k)(z) - p(z) ≠ 0, then g(k)(z) - p(z) ≡ C, where C is a constant. So $g\left(z\right)=\frac{{a}_{d}{z}^{d+k}}{\left(d+k\right)\left(d+k-1\right)\cdots \left(d+1\right)}+\frac{{a}_{d-1}{z}^{d+k-1}}{\left(d+k-1\right)\left(d+k-2\right)\cdots d}+\cdots +\frac{{a}_{0}{z}^{k}}{k\left(k-1\right)\cdots 1}+q\left(z\right)$, where q(k)(z) ≡ C, i.e., q(z) is a polynomial of degree at most k, then g(z) is a polynomial of degree k + d, which contradicts with that the multiplicity of all zeros of g(z) is at least k + d + 2.

Case 2. If g(k)(z) - p(z) has only one zero ξ0, we assume g(k)(z) - p(z) = A(z - ξ0) r , where A is a non-zero constant, r is a positive integer.

We discuss the following three cases:

1. (i)

If r < d + 1, then g(z) is a non-constant polynomial of degree at most k + d, which contradicts with that the multiplicity of all zeros of g(z) is at least k + d + 2.

2. (ii)

If r = d + 1, then g (k+d+1)(z) = A·r·(r - 1) ····· 2·1, so g (k+d+1)(z) has no zero. Since the multiplicity of all zeros of g(z) is at least k + d + 2, then g(z) has no zero, which contradicts with g(z) is a non-constant polynomial.

3. (iii)

If r > d + 1, then g (k+d)(z) - a d · d · (d - 1) ····· 2·1 = A · r · (r - 1) ····· (r - d + 1) (z - ξ 0)r-d, g (k+d+1)(z) = A · r · (r - 1) ····· (r - d) (z - ξ 0)r-d-1, so ξ 0 is the unique zero of g (k+d+1)(z). Since g(z) is a non-constant polynomial and the multiplicity of all zeros of g(z) is at least k + d + 2, then ξ 0 is a zero of g, thus, g (k+d)(ξ 0) = 0, which contradicts with g (k+d)(ξ 0) = a d · d · (d - 1) ····· 2·1 ≠ 0.

From Case 1 and Case 2, we know g(k)(z) - p(z) has at least two distinct zeros.

If g(k)(z) - p(z) ≡ 0, then similar to the proof of Case 1, we obtain that g(z) is a polynomial of degree k + d and get a contradiction since that the multiplicity of all zeros of g(z) is at least k + d + 2. Then, g(k)(z) - p(z) 0.

Lemma 2.2. Let d(≥ 0), k(≥ 1) be two integers, p(z) = a d zd + ad-1zd-1+ · · · + a1z + a0 be a polynomial, where a d (≠ 0), ad-1, ..., a0 are constants. If g(z) is a rational function and not a polynomial, and the multiplicity of all the zeros and poles of g(z) is at least k + 2d + 2, then g(k)(z) - p(z) has at least two distinct zeros, and g(k)(z) - p(z) 0.

Proof Since g(z) is a rational function and not a polynomial, then obviously g(k)(z) - p(z) 0. Let

$\begin{array}{ll}\hfill g\left(z\right)& =B\frac{{\left(z-{\gamma }_{1}\right)}^{{p}_{1}}{\left(z-{\gamma }_{2}\right)}^{{p}_{2}}\cdots {\left(z-{\gamma }_{n}\right)}^{{p}_{n}}}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}}{\left(z-{\delta }_{2}\right)}^{{q}_{2}}\cdots {\left(z-{\delta }_{m}\right)}^{{q}_{m}}},\phantom{\rule{2em}{0ex}}\\ \hfill p& ={p}_{1}+{p}_{2}+\cdots +{p}_{n},\phantom{\rule{1em}{0ex}}q={q}_{1}+{q}_{2}+\cdots +{q}_{m},\phantom{\rule{2em}{0ex}}\end{array}$
(2.1)

where B is a non-zero constant, γ i (i = 1, 2, ..., n) and δ j (j = 1, 2, ..., m) are the zeros and poles of g(z), their multiplicity are p i (i = 1, 2, ..., n) and q j (j = 1, 2, ..., m), respectively. Then, p i , q j k + 2d + 2(i = 1, 2, ..., n, j = 1, 2, ..., m).

Differentiating both sides of (2.1) step by step, we have

${g}^{\left(k\right)}\left(z\right)=B\frac{{\left(z-{\gamma }_{1}\right)}^{{p}_{1}-k}{\left(z-{\gamma }_{2}\right)}^{{p}_{2}-k}\dots {\left(z-{\gamma }_{n}\right)}^{{p}_{n}-k}}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}+k}{\left(z-{\delta }_{2}\right)}^{{q}_{2}+k}\dots {\left(z-{\delta }_{m}\right)}^{{q}_{m}+k}}{h}_{k}\left(z\right),$
(2.2)

where ${h}_{k}\left(z\right)=\left(p-q\right)\left(p-q-1\right)\cdots \left(p-q-k+1\right){z}^{k\left(n+m-1\right)}+\cdots +{c}_{k}^{\left(1\right)}z+{c}_{k}^{\left(0\right)}$ is a polynomial, ${c}_{k}^{\left(i\right)}\left(i=0,1\right)$ are constants.

${g}^{\left(k+d+1\right)}\left(z\right)=B\frac{{\left(z-{\gamma }_{1}\right)}^{{p}_{1}-k-d-1}{\left(z-{\gamma }_{2}\right)}^{{p}_{2}-k-d-1}\cdots {\left(z-{\gamma }_{n}\right)}^{{p}_{n}-k-d-1}}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}+k+d+1}{\left(z-{\delta }_{2}\right)}^{{q}_{2}+k+d+1}\cdots {\left(z-{\delta }_{m}\right)}^{{q}_{m}+d+k+1}}{h}_{k+d+1}\left(z\right),$
(2.3)

where ${h}_{k+d+1}\left(z\right)=\left(p-q\right)\left(p-q-1\right)\cdots \left(p-q-k-d\right){z}^{\left(k+d+1\right)\left(n+m-1\right)}+\cdots +{c}_{k+d+1}^{\left(1\right)}z+{c}_{k+d+1}^{\left(0\right)}$ is a polynomial, ${c}_{k+d+1}^{\left(i\right)}\left(i=0,\phantom{\rule{2.77695pt}{0ex}}1\right)$ are constants.

Next, we discuss in two cases.

Case 1. If g(k)(z) - p(z) has a unique zero ξ0, then let

${g}^{\left(k\right)}\left(z\right)-p\left(z\right)=\frac{D{\left(z-{\xi }_{0}\right)}^{l}}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}+k}{\left(z-{\delta }_{2}\right)}^{{q}_{2}+k}\dots {\left(z-{\delta }_{m}\right)}^{{q}_{m}+k}},$
(2.4)

where D is a non-zero constant and l is a positive integer.

Here, we discuss in two subcases.

Subcase 1.1. When dl.

Differentiating both sides of (2.4), we have

${g}^{\left(k+d+1\right)}\left(z\right)-{p}^{\left(d+1\right)}\left(z\right)=\frac{D\cdot {R}_{d+1}\left(z\right)}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}+k+d+1}{\left(z-{\delta }_{2}\right)}^{{q}_{2}+k+d+1}\dots {\left(z-{\delta }_{m}\right)}^{{q}_{m}+k+d+1}},$
(2.5)

where ${R}_{d+1}\left(z\right)=\left(l\phantom{\rule{2.77695pt}{0ex}}-q-mk\right)\left(l\phantom{\rule{2.77695pt}{0ex}}-q-mk-1\right)\cdots \left(l\phantom{\rule{2.77695pt}{0ex}}-q-mk-d\right){z}^{\left(d+1\right)m-\left(d-l+1\right)}+{r}_{d+1}^{\left(\left(d+1\right)m-\left(d-l+1\right)-1\right)}{z}^{\left(d+1\right)m-\left(d-l+1\right)-1}+\cdots +{r}_{d+1}^{\left(1\right)}z+{r}_{d+1}^{\left(0\right)}$ is a polynomial, ${r}_{d+1}^{\left(\left(d+1\right)m-\left(d-l+1\right)-1\right)},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{r}_{d+1}^{\left(1\right)},\phantom{\rule{2.77695pt}{0ex}}{r}_{d+1}^{\left(0\right)}$ are constants.

By (2.2) and (2.4), since dl, then deg h k (z) + p - nk = q + km + dk(m + n - 1) + p - nk, so p - qk + d. Observe the form of h k (z), then deg h k (z) = k(m + n - 1), as deg h k (z) + p - nk = q + km + d, thus p - q = k + d. From (2.3) and (2.5), p - nk - nd - n ≤ (d + 1)m - (d - l + 1). Since $p-nk-nd-n-\left(d+1\right)m\ge p-\frac{p\left(k+d+1\right)}{k+2d+2}-\frac{q\left(d+1\right)}{k+2d+2}=\frac{\left(k+d\right)\left(d+1\right)}{k+2d+2}$, then l - dp - nk - nd - n - (d + 1)m + 1 ≥ 1, it contradicts with dl.

Subcase 1.2. When d < l.

Differentiating both sides of (2.4), we have

${g}^{\left(k+d+1\right)}\left(z\right)-{p}^{\left(d+1\right)}\left(z\right)=\frac{{\left(z-{\xi }_{0}\right)}^{l-d-1}{U}_{d+1}\left(z\right)}{{\left(z-{\delta }_{1}\right)}^{{q}_{1}+k+d+1}{\left(z-{\delta }_{2}\right)}^{{q}_{2}+k+d+1}\dots {\left(z-{\delta }_{m}\right)}^{{q}_{m}+k+d+1}},$
(2.6)

where ${U}_{d+1}\left(z\right)=D\left(l\phantom{\rule{2.77695pt}{0ex}}-\phantom{\rule{2.77695pt}{0ex}}q-mk\right)\left(l-q-mk-1\right)\cdots \left(l\phantom{\rule{2.77695pt}{0ex}}-q-mk-d\right){z}^{\left(d+1\right)m}+\cdots +{u}_{d+1}^{\left(1\right)}z+{u}_{d+1}^{\left(0\right)}$ is a polynomial, ${u}_{d+1}^{\left(i\right)}\left(i=0,\phantom{\rule{2.77695pt}{0ex}}1\right)$ are constants.

Differentiating both sides of (2.4) step by step for d times, we can get that ξ0 is a zero of g(k+d)(z) - p(d)(z), as p(d)(z) ≠ 0, then γ i ξ0(i = 1, 2, ..., n).

Here, we discuss in three subcases.

Subcase 1.2.1. When l < q + km + d. Similar to the proof of Subcase 1.1, we get p - q = k + d. By (2.3), (2.6), and γ i ξ0(i = 1, 2, ..., n), (d + 1)mp - nk - nd - n, then

$p\le nk+nd+n+\left(d+1\right)m\le \frac{p\left(k+d+1\right)}{k+2d+2}+\frac{q\left(d+1\right)}{k+2d+2}

Subcase 1.2.2. When l = q + km + d. If p > q, from (2.3), (2.6), and γ i ξ0(i = 1, 2, ..., n), we get (d + 1)mp - nk - nd - n, then $p\le nk+nd+n+\left(d+1\right)m\le \frac{p\left(k+d+1\right)}{k+2d+2}+\frac{q\left(d+1\right)}{k+2d+2}, which is a contradiction. Thus, pq. Then, from (2.3), (2.6), and γ i ξ0(i = 1, 2, ..., n), we have l - d - 1 ≤ (k + d + 1)(n + m - 1). By simple calculation,

$q\le n\left(k+d+1\right)+m\left(d+1\right)-\left(k+d\right)<\frac{p\left(k+d+1\right)}{k+2d+2}+\frac{q\left(d+1\right)}{k+2d+2}\le q,$

Subcase 1.2.3. When l > q + km + d. If pq, by (2.2) and (2.4), then lq + km + d, which is a contradiction. Thus, p > q. By (2.3), (2.6) and γ i ξ0(i = 1, 2, ..., n), we get (d + 1)mp - nk - nd - n, then $p\le nk+nd+n+\left(d+1\right)m\le \frac{p\left(k+d+1\right)}{k+2d+2}+\frac{q\left(d+1\right)}{k+2d+2}, which is a contradiction.

Case 2. If g(k)(z) - p(z) has no zero. Then, l = 0 in (2.4), similar discussion to Case 1, we get a contradiction.

By Case 1 and Case 2, g(k)(z) - p(z) has at least two distinct zeros.

Lemma 2.3 (see ). Let g(z) be a transcendental meromorphic function of finite order on C, and let p(z) be a polynomial, p(z) 0. Suppose that all zeros of g(z) have multiplicity at least k + 1. Then, g(k)(z) - p(z) has infinitely many zeros.

Lemma 2.4 (see ). Let $ℱ$ be a family of meromorphic functions on the unit disk Δ, such that all zeros of functions in $ℱ$ have multiplicity greater than or equal to l, and all poles of functions in $ℱ$ have multiplicity greater than or equal to j. Let α be a real number satisfying -l < α < j. Then, $ℱ$ is not normal in any neighborhood of z0 Δ, if and only if there exist

1. (i)

points z k Δ, z k z 0;

2. (ii)

positive numbers ρ k , ρ k → 0, and

3. (iii)

functions ${f}_{k}\in ℱ$ such that ${\rho }_{k}^{\alpha }{f}_{k}\left({z}_{k}+{\rho }_{k}\zeta \right)\to g\left(\zeta \right)$ spherically locally uniformly in C, where g(ζ) is a nonconstant meromorphic function. The function may be taken to satisfy the normalization g #(z) ≤ g #(0) = 1(z C). Here, g #(z) denotes the spherical derivative of g(z).

Lemma 2.5 (see ). Suppose that f(z) is a meromorphic function on C, if the spherical derivative f#(z) of f(z) is bounded, then the order of f(z) is at most 2.

Lemma 2.6 (see ). Suppose that f(z) is a transcendental meromorphic on C, k is a positive integer. If ε is a positive number, a, b are two dinstinct finite complex numbers, then

$\begin{array}{c}T\left(r,{f}^{\left(k\right)}\right)<\left(1+\frac{1}{2k}\right)N\left(r,\frac{1}{{f}^{\left(k\right)}-a}\right)+\left(1+\frac{1}{2k}\right)N\left(r,\frac{1}{{f}^{\left(k\right)}-b}\right)\\ \phantom{\rule{2em}{0ex}}-N\phantom{\rule{2.77695pt}{0ex}}\left(r,\phantom{\rule{2.77695pt}{0ex}}\frac{1}{{f}^{\left(k+1\right)}}\right)\phantom{\rule{2.77695pt}{0ex}}+\phantom{\rule{2.77695pt}{0ex}}\epsilon T\left(r,\phantom{\rule{2.77695pt}{0ex}}{f}^{\left(k\right)}\right)+S\left(r,\phantom{\rule{2.77695pt}{0ex}}{f}^{\left(k\right)}\right).\end{array}$

Lemma 2.7 (see ). Let g be a meromorphic function with finite order on C. If g has only finitely many critical values, then it has only finitely many asymptotic values.

Lemma 2.8 (see ). Let f(z) be meromorphic on C such that the set of its finite critical and asymptotic values is bounded. Then, there exists a positive number r0, such that if |z| > r0 and |f(z)| > r0, then

$|{f}^{\prime }\left(z\right)|\phantom{\rule{2.77695pt}{0ex}}\ge \frac{|f\left(z\right)|log|f\left(z\right)|}{16\pi |z|}.$

Lemma 2.9. Suppose that f(z) is a meromorphic function of finite order on C, a and b are two dinstinct finite complex numbers. If f'(z) = a f(z) = 0, and f'(z) ≠ b, then f is a rational function.

Proof Suppose that f is not a rational function. Since f is a meromorphic function of finite order, then f' is also a meromorphic function of finite order. Because f'(z) ≠ b, then from Lemma 2.6, f' - a has infinitely many zeros {z n }, and z n → ∞(n → ∞). Since f'(z) = a f(z) = 0, hence f(z n ) = 0.

Let F(z) = f(z) - bz, then F'(z) = f'(z) - b ≠ 0, i.e., F has no finite critical value. By Lemmas 2.7 and 2.8, we have

$|{F}^{\prime }\left({z}_{n}\right)|\phantom{\rule{2.77695pt}{0ex}}\ge \frac{|F\left({z}_{n}\right)|log|F\left({z}_{n}\right)|}{16\pi |{z}_{n}|},$

By simple calculation, we have

$|a-b|\phantom{\rule{2.77695pt}{0ex}}\ge \frac{|b|\phantom{\rule{2.77695pt}{0ex}}|{z}_{n}|log|b{z}_{n}|}{16\pi |{z}_{n}|}\to \infty \left(n\to \infty \right),$

which is a contradiction. Then, f is a rational function.

Lemma 2.10 (see ). Let $f\left(z\right)={a}_{n}{z}^{n}+{a}_{n-1}{z}^{n-1}+\cdots +{a}_{0}+\frac{q\left(z\right)}{p\left(z\right)}$, where a0, a1, ..., a n are constants with a n ≠ 0, q(z) and p(z) are two coprime polynomials with deg q(z) < deg p(z), k be a positive integer. If f(k)≠ 1, then we have

1. (i)

n = k, and k!a k = 1;

2. (ii)

$f\left(z\right)=\frac{1}{k!}{z}^{k}+\cdots +{a}_{0}+\frac{1}{{\left(az+b\right)}^{m}}$;

3. (iii)

If the zeros of f are of order ≥ k + 1, then m = 1 in (ii) and $f\left(z\right)=\frac{{\left(cz+d\right)}^{k+1}}{az+b}$, where c(≠ 0), d are constants.

Lemma 2.11 (see [6, 17]). Let R be a rational function such that R' ≠ 0 on C. Then, either R = az + b or $R=\frac{a}{{\left(z+{z}_{0}\right)}^{n}}+b$, where a(≠ 0), b and z0 are constants, and n is a positive integer.

## 3. Proof of Theorem 1.1

For any point z0 in D, either p(z0) = 0 or p(z0) ≠ 0.

Case 1. When p(z0) = 0. We may assume z0 = 0. Then, p(z) = a l zl + al+1zl+1+ · · · = zlh(z), where a l (≠ 0), al+1, · · · are constants, l ≥ 1.

Let $M=\left\{{G}_{j}|{G}_{j}=\frac{{f}_{j}\left(z\right)}{{z}^{l}},\phantom{\rule{2.77695pt}{0ex}}{f}_{j}\in ℱ\right\}$. If M is not normal at 0, then by Lemma 2.4, there exist points z t → 0, positive numbers ρ t → 0 and G t M such that ${g}_{t}\left(\zeta \right)={\rho }_{t}^{-k}{G}_{t}\left({z}_{t}+{\rho }_{t}\zeta \right)\to g\left(\zeta \right)$ spherically locally uniformly in C, where g(ζ) is a non-constant meromorphic function in C, and g#(ζ) ≤ 1. Thus, the order of g(ζ) is at most 2.

Here, we discuss in two cases.

Case 1.1. There exists a subsequence of $\frac{{z}_{t}}{{\rho }_{t}}$; we may still denote it as $\frac{{z}_{t}}{{\rho }_{t}}$ such that $\frac{{z}_{t}}{{\rho }_{t}}\to c$, c is a finite complex number. Then,

${\varphi }_{t}\left(\zeta \right)=\frac{{f}_{t}\left({\rho }_{t}\zeta \right)}{{\rho }_{t}^{l+k}}=\frac{{\left({\rho }_{t}\zeta \right)}^{l}{G}_{t}\left({z}_{t}+{\rho }_{t}\left(\zeta -\frac{{z}_{t}}{{\rho }_{t}}\right)\right)}{{\left({\rho }_{t}\right)}^{l}{\left({\rho }_{t}\right)}^{k}}\to {\zeta }^{l}g\left(\zeta -c\right)=H\left(\zeta \right)$

spherically locally uniformly in C, so

${\varphi }_{t}^{\left(k\right)}\left(\zeta \right)-\frac{p\left({\rho }_{t}\zeta \right)}{{\rho }_{t}^{l}}=\frac{{f}_{t}^{\left(k\right)}\left({\rho }_{t}\zeta \right)-p\left({\rho }_{t}\zeta \right)}{{\rho }_{t}^{l}}\to {H}^{\left(k\right)}\left(\zeta \right)-{a}_{l}{\zeta }^{l}$

spherically locally uniformly in C.

Since $\forall f\in ℱ$, the multiplicity of all zeros of f is at least k + d + 2, the multiplicity of all zeros of H is at least k + d + 2, then from Lemmas 2.1 and 2.3 H(k)(ζ) - a l ζl 0, and H(k)(ζ) - a l ζl has at least two distinct zeros.

Suppose that ζ1, ζ2 are two distinct zeros of H(k)(ζ) - a l ζl . We choose proper σ > 0, such that D(ζ1, σ) ∩ D(ζ2, σ) = , where D(ζ1, σ) = {ζ | |ζ - ζ1| < σ}, D(ζ2, σ) = {ζ | |ζ - ζ2| < σ}.

By Hurwitz's Theorem, there exists a subsequence of ${f}_{t}^{\left(k\right)}\left({\rho }_{t}\zeta \right)-p\left({\rho }_{t}\zeta \right)$, we may still denote it as ${f}_{t}^{\left(k\right)}\left({\rho }_{t}\zeta \right)-p\left({\rho }_{t}\zeta \right)$, then exists points ζ t = ζ1, and points ${\stackrel{̃}{\zeta }}_{t}={\zeta }_{2}$, such that when t is large enough,

${f}_{t}^{\left(k\right)}\left({\rho }_{t}{\zeta }_{t}\right)-p\left({\rho }_{t}{\zeta }_{t}\right)=0,\phantom{\rule{2.77695pt}{0ex}}{f}_{t}^{\left(k\right)}\left({\rho }_{t}{\stackrel{̃}{\zeta }}_{t}\right)-p\left({\rho }_{t}{\stackrel{̃}{\zeta }}_{t}\right)=0.$
(3.1)

As for each pair of functions f and g in $ℱ$, f(k)and g(k)share p(z) in D, then by (3.1) we can deduce that for any positive integer r, when t is large enough,

${f}_{r}^{\left(k\right)}\left({\rho }_{t}{\zeta }_{t}\right)-p\left({\rho }_{t}{\zeta }_{t}\right)=0,\phantom{\rule{2.77695pt}{0ex}}{f}_{r}^{\left(k\right)}\left({\rho }_{t}{\stackrel{̃}{\zeta }}_{t}\right)-p\left({\rho }_{t}{\stackrel{̃}{\zeta }}_{t}\right)=0.$
(3.2)

For fixed r, let t converges to ∞ in (3.2), then ρ t ζ t → 0, ${\rho }_{t}{\stackrel{̃}{\zeta }}_{t}\to 0$, thus

${f}_{r}^{\left(k\right)}\left(0\right)-p\left(0\right)=0.$

Then, by the isolation property of zeros of ${f}_{r}^{\left(k\right)}\left(\zeta \right)-p\left(\zeta \right)$, when t is large enough,

${\rho }_{t}{\zeta }_{t}={\rho }_{t}{\stackrel{̃}{\zeta }}_{t}=0.$

Thus, when t is large enough, ζ1 = ζ2 = 0, which contradicts with D(ζ1, σ) ∩ (ζ2, σ) = . Thus, M is normal at 0.

Case 1.2. There exists a subsequence of $\frac{{z}_{t}}{{\rho }_{t}}$; we may still denote it as $\frac{{z}_{t}}{{\rho }_{t}}$ such that $\frac{{z}_{t}}{{\rho }_{t}}\to \infty$. Then,

$\begin{array}{ll}\hfill {f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)\phantom{\rule{1em}{0ex}}& =\phantom{\rule{1em}{0ex}}{\left({z}_{t}+{\rho }_{t}\zeta \right)}^{l}{G}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)+\sum _{i=1}^{k}{c}_{i}{\left({z}_{t}+{\rho }_{t}\zeta \right)}^{l-i}{G}_{t}^{\left(k-i\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)\phantom{\rule{2em}{0ex}}\\ =\phantom{\rule{1em}{0ex}}{\left({z}_{t}+{\rho }_{t}\zeta \right)}^{l}{g}_{t}^{\left(k\right)}\left(\zeta \right)+\sum _{i=1}^{k}{c}_{i}{\left({z}_{t}+{\rho }_{t}\zeta \right)}^{l-i}{\rho }_{t}^{i}{g}_{t}^{\left(k-i\right)}\left(\zeta \right),\phantom{\rule{2em}{0ex}}\end{array}$

where ${c}_{i}=l\left(l-1\right)\cdots \left(l-i+1\right){C}_{k}^{l}$ when li, and c i = 0 when l < i.

Thus, we have

$\frac{{a}_{l}{f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)}{p\left({z}_{t}+{\rho }_{t}\zeta \right)}-{a}_{l}=\left({g}_{t}^{\left(k\right)}\left(\zeta \right)+\sum _{i=1}^{k}{c}_{i}\frac{{g}_{t}^{\left(k-i\right)}\left(\zeta \right)}{{\left(\frac{{z}_{t}}{{\rho }_{t}}+\zeta \right)}^{i}}\right)\frac{{a}_{l}}{h\left({z}_{t}+{\rho }_{t}\zeta \right)}-{a}_{l}\to {g}^{\left(k\right)}\left(\zeta \right)-{a}_{l},$

spherically locally uniformly in C - {ζ | g(ζ) = ∞}.

Since $\forall f\in ℱ$, the multiplicity of all zeros of f is at least k + d + 2, the multiplicity of all zeros of g is at least k + 2. Thus, by Lemmas 2.1 and 2.3, g(k)(ζ) - a l has at least two distinct zeros, and g(k)(ζ) - a l 0. Suppose that ζ3, ζ4 are two distinct zeros of g(k)(ζ) - a l . We choose proper σ > 0, such that D(ζ3, σ) ∩ D(ζ4, σ) = , where D(ζ3, σ) = {ζ | |ζ - ζ3| < σ}, D(ζ4, σ) = {ζ | |ζ - ζ4| < σ}.

By Hurwitz's Theorem, there exists a subsequence of ${a}_{l}{f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)-{a}_{l}p\left({z}_{t}+{\rho }_{t}\zeta \right)$, we may still denote it as ${a}_{l}{f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}\zeta \right)-{a}_{l}p\left({z}_{t}+{\rho }_{t}\zeta \right)$, then exists points $\stackrel{^}{{\zeta }_{t}}={\zeta }_{3}$, and points ${\zeta }_{t}^{*}={\zeta }_{4}$, such that when t is large enough,

${a}_{l}{f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}{\stackrel{^}{\zeta }}_{t}\right)-{a}_{l}p\left({z}_{t}+{\rho }_{t}{\stackrel{^}{\zeta }}_{t}\right)=0,\phantom{\rule{2.77695pt}{0ex}}{a}_{l}{f}_{t}^{\left(k\right)}\left({z}_{t}+{\rho }_{t}{\zeta }_{t}^{*}\right)-{a}_{l}p\left({z}_{t}+{\rho }_{t}{\zeta }_{t}^{*}\right)=0.$

Similar to the proof of Case 1.1, we get a contradiction. Then, M is normal at 0.

From Cases 1.1 and 1.2, we know M is normal at 0; there exists Δ ρ = {z : |z| < ρ } and a subsequence ${G}_{{j}_{k}}$ of G j , such that ${G}_{{j}_{k}}$ converges spherically locally uniformly to a meromorphic function G(z) or ∞(k → ∞) in Δ ρ .

Here, we discuss in two cases:

Case i. When k is large enough, ${f}_{{j}_{k}}\left(0\right)\ne 0$. Then, G(0) = ∞. Thus, for constant R > 0, σ (0, ρ), we have |G(z)| > R when z Δ σ . Thus, for sufficiently large $k,\phantom{\rule{2.77695pt}{0ex}}|{G}_{{j}_{k}}\left(z\right)|\phantom{\rule{2.77695pt}{0ex}}>\frac{R}{2},\phantom{\rule{2.77695pt}{0ex}}\frac{1}{{f}_{{j}_{k}}}$ is holomorphic in Δ σ . Hence when $|z|\phantom{\rule{2.77695pt}{0ex}}=\frac{\sigma }{2}$,

$|\frac{1}{{f}_{{j}_{k}}\left(z\right)}|\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}|\frac{1}{{G}_{{j}_{k}}\left(z\right){z}^{l}}|\phantom{\rule{2.77695pt}{0ex}}\le \frac{{2}^{l+1}}{R{\sigma }^{l}}.$

By Maximum Principle and Montel's Theorem, $ℱ$ is normal at z = 0.

Case ii. There exists a subsequence of ${f}_{{j}_{k}}$; we may still denote it as ${f}_{{j}_{k}}$ such that ${f}_{{j}_{k}}\left(0\right)=0$. Since $\forall f\in ℱ$, the multiplicity of all zeros of f is at least k + d + 2, then G(0) = 0. Thus, there exists 0 < r < ρ such that G(z) is holomorphic in Δ r = {z : |z| < r} and has a unique zero z = 0 in Δ r . Then, ${G}_{{j}_{k}}$ converges spherically locally uniformly to a holomorphic function G(z) in Δ r ; ${f}_{{j}_{k}}$ converges spherically locally uniformly to a holomorphic function zlG(z) in Δ r . Hence $ℱ$ is normal at z = 0.

By Case i and Case ii, $ℱ$ is normal at 0.

Case 2. When p(z0) ≠ 0.

Suppose that $ℱ$ is not normal at z0. By Lemma 2.4, there exist points z n z0, ρ n → 0, ${f}_{n}\in ℱ$ such that ${\rho }_{n}^{-k}{f}_{n}\left({z}_{n}+{\rho }_{n}\zeta \right)\to g\left(\zeta \right)$ spherically locally uniformly in C, g(ζ) is a non-constant meromorphic function in C, and g#(ζ) ≤ 1.

By Lemma 2.5, g(ζ) is a meromorphic function of finite order, the multiplicity of all zeros of f is at least k + d + 2 for $\forall f\in ℱ$, thus the multiplicity of all zeros of g is at least k + d + 2.

Hence by Lemmas 2.1 and 2.3, g(k)(ζ) - p(z0) has at least two distinct zeros, and g(k)(ζ) - p(z0) 0. Similar to the proof of Case 1.1, we get a contradiction. Thus, $ℱ$ is normal at z0.

Thus, $ℱ$ is normal in D as z0 is arbitrary. The proof is complete.

## 4. Proof of Theorem 1.2

Similar to the proof of Theorem 1.1 and utilize Lemma 2.2, we can prove Theorem 1.2 immediately.

## 5. Proof of Theorem 1.3

Suppose that $ℱ$ is not normal in D, then there exists z0 D, such that $ℱ$ is not normal at z0. Without loss of generality, we may assume z0 = 0. By Lemma 2.4, there exist z k z0, ρ k → 0, ${f}_{k}\in ℱ$ such that ${\rho }_{k}^{-1}{f}_{k}\left({z}_{k}+{\rho }_{k}z\right)\to R\left(z\right)$ spherically locally uniformly in C, R(z) is a non-constant meromorphic function in C, and R#(z) ≤ 1. Thus, ${f}_{k}^{\prime }\left({z}_{k}+{\rho }_{k}z\right)\to {R}^{\prime }\left(z\right)$ spherically locally uniformly in C.

By Hurwitz's Theorem, we can easily get: (i) R' = a R = 0; (ii) R'b; (iii) the multiplicity of zeros of R is at least 2.

By Lemma 2.5, R(z) is a meromorphic function of finite order. Moreover from (i), (ii), and Lemma 2.9, R is a rational function.

Here, we discuss in two cases:

Case 1. When b = 0. Because R'b, by Lemma 2.11, R = cz + d or $R=\frac{c}{{\left(z+{z}_{0}\right)}^{n}}+d$, where c(≠ 0), d, z0 are constants, and n is a positive integer. From (iii), we have $R=\frac{c}{{\left(z+{z}_{0}\right)}^{n}}+d$. If a ≠ 0, then the roots number of ${R}^{\prime }=\frac{-nc}{{\left(z+{z}_{0}\right)}^{n+1}}=a$ is n + 1, and the roots are different from each other, meanwhile the roots number of R = 0 is at most n, it contradicts with R' = a R = 0. Then, a = 0, which contradicts with that a and b are distinct constants.

Case 2. When b ≠ 0.

Here, we discuss in three subcases:

Subcase 2.1. If R is a polynomial. From R'b and Lemma 2.11, we have R = cz + d, where c(≠ 0), d(≠ b) are constants, which contradicts with (iii).

Subcase 2.2. If $R=\frac{q\left(z\right)}{p\left(z\right)}$, where q(z) and p(z) are coprime polynomials, deg q(z) < deg p(z), then ${R}^{\prime }=\frac{{q}^{\prime }p-q{p}^{\prime }}{{p}^{2}}$. Since deg q(z) < deg p(z), so deg (q' p - qp') < deg (p2). Thus, 0 is the only one deficiency value of R', which contradicts with R'b, b ≠ 0.

Subcase 2.3. If $R={a}_{n}{z}^{n}+{a}_{n-1}{z}^{n-1}+\cdots +{a}_{0}+\frac{q\left(z\right)}{p\left(z\right)}$, where a0, a1, ..., a n are constants, a n ≠ 0, q(z) and p(z) are coprime polynomials, deg q(z) < deg p(z). From Lemma 2.10 and (iii), $R=bz+{a}_{0}+\frac{1}{cz+d}=\frac{{\left(lz+t\right)}^{2}}{cz+d}$, where c(≠ 0), d, l(≠ 0), t are constants. Since a and b are distinct, then the roots of ${R}^{\prime }-a=b-a-\frac{c}{{\left(cz+d\right)}^{2}}=0$ are two distinct complex numbers, meanwhile R = 0 has a single root $z=-\frac{t}{l}$, which contradicts with R' = a R = 0.

Then, $ℱ$ is normal in D. The proof is complete.

## References

1. Hayman WK: Meromorphic Functions. Clarendon Press, Oxford; 1964.

2. Yang L: Value Distribution Theory. Springer, Berlin; 1993.

3. Yang CC, Yi HX: Uniqueness Theory of Meromorphic Functions. Kluwer, Dordrecht; 2003.

4. Schiff J: Normal Families. Springer, Berlin; 1993.

5. Gu YX, Pang XC, Fang ML: Theory of Normal Families and Its Application. Science Press, Beijing; 2007.

6. Wang YF, Fang ML: Picard values and normal families of meromorphic functions with multiple zeros. Acta Math Sinica New Series 1998, 14: 17–26. 10.1007/BF02563879

7. Fang ML, Zalcman L: A note on normality and shared values. J Aust Math Soc 2004, 76: 141–150. 10.1017/S1446788700008752

8. Zhang QC: Some normality criteria of meromorphic functions. Complex Var Elliptic Equ 2008, 53: 791–795. 10.1080/17476930802124666

9. Li YT, Gu YX: On normal families of meromorphic functions. J Math Anal Appl 2009, 354: 421–425. 10.1016/j.jmaa.2009.01.011

10. Chang JM: Normality concerning shared values. Sci China Ser A 2009, 52: 1717–1722. 10.1007/s11425-008-0172-2

11. Pang XC, Yang DG, Zalcman L: Normal families of meromorphic functions whose derivatives omit a function. Comput Methods Funct Theory 2002, 2: 257–265.

12. Zalcman L: Normal families: new perspectives. Bull Amer Math Soc 1998, 35: 215–230. 10.1090/S0273-0979-98-00755-1

13. Clunie J, Hayman WK: The spherical derivative of integral and meromorphic functions. Comment Math Helv 1966, 40: 117–148.

14. Yang L: Precise fundamental inequalities and sum of deficiencies. Sci China Ser A 1991, 34: 157–165.

15. Bergweiler W, Eremenko A: On the singularities of the inverse to a meromorphic function of finite order. Rev Mat Iberoamericana 1995, 11: 355–373.

16. Rippon PJ, Stallard GM: Iteration of a class of hyperbolic meromorphic functions. Proc Amer Math Soc 1999, 127: 3251–3258. 10.1090/S0002-9939-99-04942-4

17. Changm JM, Zalcman L: Meromorphic functions that share a set with their derivatives. J Math Anal Appl 2008, 338: 1020–1028. 10.1016/j.jmaa.2007.05.079

## Acknowledgements

The authors would like to thank the referees for their detailed and valuable comments. The work was supported by the National Natural Science Foundation of China(Grant No. 11171013) and the Fundamental Research Funds for the Central Universities.

## Author information

Authors

### Corresponding author

Correspondence to Yunbo Jiang.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

YBJ and ZSG performed the proof and drafted the manuscript. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Jiang, Y., Gao, Z. Normal families of meromorphic functions sharing values or functions. J Inequal Appl 2011, 72 (2011). https://doi.org/10.1186/1029-242X-2011-72

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2011-72

### Keywords

• meromorphic function
• holomorphic function
• shared value
• shared analytic function
• L. Yang's inequality
• normal family 