# Some inequalities on meromorphic function and its derivative concerning small functions in an angular domain

## Abstract

In this paper, we investigate the value distribution of a meromorphic function and its derivative concerning small functions in an angular domain and obtain some inequalities for a meromorphic function in an angular domain, which improve the previous results.

## Introduction and main results

We use $$\mathbb{C}$$ to denote the open complex plane, $$\widehat{\mathbb{C}}$$ ($$=\mathbb{C}\cup\{\infty\}$$) to denote the extended complex plane, and Ω ($$\subset\mathbb{C}$$) to denote an angular domain. We will use the fundamental results and the standard notation of the Nevanlinna value distribution theory of meromorphic functions [1, 2].

The research on the value distribution of q meromorphic function is very active in the field of complex analysis; many mathematicians had done a lot of works in this project by using the Nevanlinna value distribution theory and obtained many famous results, such as the Picard theorem, Julia direction, Borel theorem, Borel direction, Hayman theorem, Yang-Zhang theorem, and so on (see ).

In 1964, Hayman  investigated the value distribution of a meromorphic function concerning its derivative in the complex plane and obtained the following well-known theorem,

### Theorem 1.1

(Hayman inequality (see ))

Let f be a transcendental meromorphic function on the complex plane. Then, for any positive integer k, we have

$$T(r,f)< \biggl(2+\frac{1}{k} \biggr)N \biggl(r,\frac{1}{f} \biggr) + \biggl(2+\frac{2}{k} \biggr)N \biggl(r,\frac{1}{f^{(k)}-1} \biggr) +S_{1}(r,f),$$

where $$S_{1}(r,f)$$ is the remainder term satisfying

1. (i)

$$S_{1}(r,f)=O(\log r)$$ ($$r\rightarrow\infty$$) if the order of $$f(z)$$ is finite;

2. (ii)

$$S_{1}(r,f)=O (\log(rT(r,f)) )$$ ($$r\rightarrow\infty$$, $$r\notin E$$) if the order of $$f(z)$$ is infinite, where E is a set of finite linear measure.

In 1990, Yang  further investigated the above question and established the well-known Yang Lo inequality, in which the coefficients of the counting functions are more precise than those of the Hayman inequality.

### Theorem 1.2

(see )

Let f be a transcendental meromorphic function on the complex plane. Then, for any $$\varepsilon>0$$ and positive integer k, we have

\begin{aligned} T(r,f) < & \biggl(1+\frac{1}{k} \biggr)N\biggl(r,\frac{1}{f}\biggr)+ \biggl(1+\frac{1}{k} \biggr)N\biggl(r,\frac{1}{f^{(k)}-1}\biggr) -N \biggl(r, \frac{1}{f^{(k+1)}} \biggr) \\ &{}+\varepsilon T(r,f)+S_{1}(r,f), \end{aligned}

where $$S_{1}(r,f)$$ is as in Theorem  1.1.

### Remark 1.1

From Theorem 1.1 we know that the characteristic function $$T(r,f)$$ is under control by only two counting functions, and without the counting function of the derivative function, we cannot obtain the better conclusion than the former one given in Theorem 1.1. Moreover, in contrast to the above two theorems, the coefficients of the counting functions in Theorem 1.1 are larger than those in Theorem 1.2.

Recently, there was also interest in studying the value distribution of a meromorphic function from the whole plane to an angular domain. For example, Zheng studied the uniqueness problem under the condition that five values and four values are shared in some angular domain in $$\mathbb{C}$$ around 2003 (see ); in 2012, Long and Wu  studied the uniqueness of meromorphic functions of infinite order sharing some values in the Borel direction; in the same year, Zhang et al.  further investigated the uniqueness of meromorphic functions sharing some values in the Borel direction and improved the results of Long and Wu; in 2013, Zhang  also studied the problems of Borel directions of meromorphic functions concerning shared values and obtained that if two meromorphic functions of infinite order share three distinct values, then their Borel directions are same; later, Xu et al.  and Xu and Yi  investigated the exceptional values in its Borel direction concerning multiple values and its derivative, and so on. In the discussion of the above topics, we find that the characteristics of meromorphic functions in the angular domain played an important role (see [1315, 22, 23]). So, we first introduce the characteristics of meromorphic functions in the angular domain.

Let f be a meromorphic function on the angular domain $$\Omega(\alpha,\beta)=\{z: \alpha<\arg z< \beta\}$$ with $$0<\beta-\alpha\leq2\pi$$. Define

\begin{aligned}& A_{\alpha,\beta}(r,f)=\frac{\omega}{\pi} \int^{r}_{1}\biggl(\frac{1}{t^{\omega}} - \frac{t^{\omega}}{r^{2\omega}}\biggr)\bigl\{ \log^{+}\bigl|f\bigl(te^{i\alpha}\bigr)\bigr| +\log ^{+}\bigl|f\bigl(te^{i\beta}\bigr)\bigr|\bigr\} \frac{dt}{t}, \\& B_{\alpha,\beta}(r,f)=\frac{2\omega}{\pi r^{\omega}} \int^{\beta}_{\alpha}\log^{+}\bigl|f\bigl(re^{i\theta}\bigr)\bigr| \sin\omega(\theta-\alpha)\,d\theta, \\& C_{\alpha,\beta}(r,f) =2\sum_{1< |b_{\mu}|< r}\biggl( \frac{1}{|b_{\mu}|^{\omega}}-\frac{|b_{\mu}|^{\omega}}{r^{2\omega}}\biggr) \sin\omega(\theta_{\mu}- \alpha), \\& S_{\alpha,\beta}(r,f)=A_{\alpha,\beta}(r,f)+B_{\alpha,\beta }(r,f)+C_{\alpha,\beta}(r,f)=D_{\alpha,\beta}(r,f)+C_{\alpha,\beta}(r,f), \end{aligned}

where $$\omega=\frac{\pi}{\beta-\alpha}$$ and $$b_{\mu}=|b_{\mu}|e^{i\theta_{\mu}}$$ ($$\mu=1,2,\ldots$$) are the poles of f on $$\Omega(\alpha,\beta)$$ counted according to their multiplicities. $$S_{\alpha,\beta}(r,f)$$ is called the Nevanlinna angular characteristic, $$C_{\alpha,\beta}(r,f)$$ is called the angular counting function of the poles of f on $$\Omega(\alpha,\beta)$$, and $$\overline{C}_{\alpha,\beta}(r,f)$$ is the reduced function of $$C_{\alpha,\beta}(r,f)$$. Similarly, when $$a\neq\infty$$, we will use the notations $$A_{\alpha,\beta}(r,\frac{1}{f-a})$$, $$B_{\alpha,\beta}(r,\frac{1}{f-a})$$, $$C_{\alpha,\beta}(r,\frac{1}{f-a})$$, $$S_{\alpha,\beta}(r,\frac{1}{f-a})$$, and so on.

In 1990, Yang  extended Theorem 1.1 to an angular domain and obtained the following result.

### Theorem 1.3

(see )

Let f be a transcendental meromorphic function on the complex plane, and $$\overline{\Omega}(\alpha,\beta)$$ be an angular domain. Then, for any positive integer k, we have

$$S_{\alpha,\beta}(r,f)\leq \biggl(2+\frac{1}{k} \biggr)C_{\alpha,\beta} \biggl(r,\frac{1}{f} \biggr) + \biggl(2+\frac{2}{k} \biggr) \overline{C}_{\alpha,\beta} \biggl(r,\frac {1}{f^{(k)}-1} \biggr) +Q_{\alpha,\beta}(r,f),$$

where $$Q_{\alpha,\beta}(r,f)=(2+\frac{2}{k})D_{\alpha,\beta}(r,\frac {f^{(k+1)}}{f^{(k)}-1})+(2+\frac{1}{k}) [D_{\alpha,\beta}(r,\frac{f^{(k+1)}}{f^{(k)}})+D_{\alpha,\beta}(r,\frac {f^{(k)}}{f})] +O(1)$$.

In 2010, Yi et al.  extended Theorem 1.2 to an angular domain and obtained the following result.

### Theorem 1.4

(see , Theorem 1.7)

Let f be a transcendental meromorphic function on the complex plane, and $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$. Then, for any $$\varepsilon>0$$ and positive integer k, we have

\begin{aligned} S_{\alpha,\beta}(r,f) < & \biggl(1+\frac{1}{k} \biggr)C_{\alpha,\beta} \biggl(r,\frac{1}{f} \biggr) + \biggl(1+\frac{1}{k} \biggr)C_{\alpha,\beta} \biggl(r,\frac {1}{f^{(k)}-1} \biggr) \\ &{}-C_{\alpha,\beta} \biggl(r,\frac{1}{f^{(k+1)}} \biggr)+\varepsilon S_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f). \end{aligned}

Throughout, we use $$R_{\alpha,\beta}(r,*)$$ to denote the quantity satisfying

$$R_{\alpha,\beta}(r,*)=O\bigl(\log\bigl(rT(r,*)\bigr)\bigr),\quad r\notin E,$$

where E is a set of finite linear measure.

Furthermore, when a, b are two finite complex number, $$a\neq b$$ and $$b\neq0$$, and f satisfies

$$\lim_{r\rightarrow\infty}\frac{S_{\alpha,\beta}(r,f)}{\log (rT(r,f))}=\infty \quad(r\notin E),$$
(1)

we have

$$\delta_{\alpha,\beta}(a,f)+\delta_{\alpha,\beta}^{k} \bigl(b,f^{(k)}\bigr)\leq\frac {k+2}{k+1}.$$

To state our main results, we require the following denotation.

Let $$f(z)$$ be meromorphic function in an angular domain $$\Omega(\alpha ,\beta):=\{z: \alpha\leq\arg z\leq\beta\}$$ with $$\alpha<\beta, \beta -\alpha<2\pi$$. We denote by $$\ell(f)$$ the set of meromorphic functions φ satisfying $$\limsup_{r\rightarrow+\infty}\frac{ S_{\alpha,\beta}(r,\varphi)}{\log(rT(r,f))}=0$$, that is,

$$\ell(f):= \biggl\{ \varphi: \limsup_{r\rightarrow+\infty} \frac{ S_{\alpha,\beta}(r,\varphi)}{ \log(rT(r,f))}=0 \biggr\} .$$
(2)

In this paper, we further investigate the value distribution of a meromorphic function and its derivative in an angular domain concerning multiple values and small functions and obtain some inequalities of meromorphic functions in an angular domain as follows.

### Theorem 1.5

Let f be a transcendental meromorphic function on the complex plane $$\mathbb{C}$$, $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$, and let $$\alpha_{0}(z), \alpha_{1}(z) \in\ell (f)$$ satisfy $$\alpha_{0}(z)\not\equiv1$$, $$\alpha_{1}(z)\not\equiv0$$. Set

$$\psi(z)=\alpha_{0}(z)f(z)+\alpha_{1}(z)f'(z).$$

Then

\begin{aligned} S_{\alpha,\beta}(r,f)< 4\overline{C}_{\alpha,\beta} \biggl(r, \frac {1}{f} \biggr)+3\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{f-1} \biggr) +\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{\psi-1} \biggr)+R_{\alpha ,\beta}(r,f). \end{aligned}
(3)

By applying Theorem 1.5 we can get the following results.

### Theorem 1.6

Let f be a transcendental meromorphic function on the complex plane, $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$, and let $$\varphi_{i}(z) \in\ell(f)$$, $$i=1,2,3$$, satisfy $$\varphi_{1}(z)\not\equiv\varphi_{2}(z)$$, $$\varphi '_{1}(z)\not\equiv\varphi_{2}(z)$$, and $$\varphi'_{2}(z)\not\equiv\varphi_{3}(z)$$. Then

\begin{aligned} S_{\alpha,\beta}(r,f)< 4\overline{C}_{\alpha,\beta} \biggl(r, \frac {1}{f-\varphi_{1}} \biggr)+3\overline{C}_{\alpha,\beta} \biggl(r, \frac {1}{f-\varphi_{2}} \biggr) +\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{f'-\varphi_{3}} \biggr)+R_{\alpha,\beta}(r,f). \end{aligned}
(4)

Furthermore, if f satisfies (1), then

$$4\Theta_{\alpha,\beta}(\varphi_{1},f)+3 \Theta_{\alpha,\beta}(\varphi _{2},f)+\Theta_{\alpha,\beta}^{1} \bigl(\varphi_{3},f'\bigr)< 7,$$
(5)

where

$$\Theta_{\alpha,\beta}(\varphi,f)=1-\limsup_{r\rightarrow+\infty} \frac {\overline{C}_{\alpha,\beta}(r,\frac{1}{f-\varphi})}{S_{\alpha,\beta }(r,f)} \quad\textit{and}\quad \Theta_{\alpha,\beta}^{k}\bigl( \varphi,f^{(k)}\bigr)=1-\limsup_{r\rightarrow+\infty }\frac{\overline{C}_{\alpha,\beta}(r,\frac{1}{f^{(k)}-\varphi })}{S_{\alpha,\beta}(r,f)}$$

for $$k\in\mathbb{N}_{+}$$ and $$\varphi\in\ell(f)$$.

### Remark 1.2

If f satisfies (1) and $$\varphi\in\ell(f)$$, then we have $$\limsup_{r\rightarrow+\infty}\frac{S_{\alpha,\beta}(r,\varphi )}{S_{\alpha,\beta}(r,f)}=0$$. Thus, we can say that φ is a ‘small function’ of a meromorphic function f in an angular domain.

### Theorem 1.7

Let f be a transcendental meromorphic function on the complex plane, $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$, and let $$\varphi_{i}(z) \in\ell(f)$$, $$i=1,2,3$$, satisfy that $$\varphi'_{1}(z)$$, $$\varphi_{2}(z)$$, $$\varphi_{3}(z)$$ are different from one another. Then

$$S_{\alpha,\beta}(r,f)< \overline{\overline{C}}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{1}} \biggr) +\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{f'-\varphi_{2}} \biggr) +\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{f'-\varphi_{3}} \biggr)+R_{\alpha,\beta}(r,f),$$
(6)

where

$$\overline{\overline{C}}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi _{1}} \biggr) =2 \overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{1}} \biggr) - \overline{C}^{1)}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{1}} \biggr).$$

### Theorem 1.8

Let f be a transcendental meromorphic function on the complex plane, $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$, and let $$\varphi_{i}(z) \in\ell(f)$$, $$i=1,2$$, satisfy $$\varphi'_{1}(z)\not\equiv\varphi_{2}(z)$$. Then

$$S_{\alpha,\beta}(r,f)< \overline{\overline{C}}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{1}} \biggr) +\overline{C}_{\alpha,\beta} \biggl(r, \frac{1}{f'-\varphi_{2}} \biggr) +\overline{C}_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f).$$
(7)

By applying inequalities (4), (6), and (7) we get the following corollaries.

### Corollary 1.1

Under the conditions of Theorem  1.5, let $$k_{j} \in\mathbb{N}_{+}\cup\{ \infty\}$$, $$j=1,2,3$$, satisfy

$$\Delta_{1}:=\frac{4}{k_{1}}+\frac{3}{k_{2}}+ \frac{2}{k_{3}}< 1.$$
(8)

Then

\begin{aligned} (1-\Delta_{1})S_{\alpha,\beta}(r,f)< {}&4 \biggl(1- \frac{1}{k_{1}} \biggr)\overline{C}^{k_{1}-1)}_{\alpha,\beta} \biggl(r, \frac{1}{f-\varphi_{1}} \biggr) +3 \biggl(1-\frac{1}{k_{2}} \biggr) \overline{C}^{k_{2}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{2}} \biggr) \\ &{}+ \biggl(1-\frac{1}{k_{3}} \biggr)\overline{C}^{k_{3}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi_{3}} \biggr)+R_{\alpha,\beta}(r,f). \end{aligned}
(9)

### Corollary 1.2

Under the conditions of Theorem  1.6, let $$k_{j} \in\mathbb{N}_{+}\cup\{ \infty\}$$, $$j=1,2,3$$, satisfy

$$\Delta_{2}:=2\sum_{j=1}^{3} \frac{1}{k_{j}}< 1.$$
(10)

Then

\begin{aligned} (1-\Delta_{2})S_{\alpha,\beta}(r,f)< {}& \biggl(1- \frac{2}{k_{1}} \biggr) \overline{\overline{C}}^{k_{1}-1)}_{\alpha,\beta} \biggl(r,\frac {1}{f-\varphi_{1}} \biggr) + \biggl(1-\frac{1}{k_{2}} \biggr) \overline{C}^{k_{2}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{2}} \biggr) \\ &{}+ \biggl(1-\frac{1}{k_{3}} \biggr)\overline{C}^{k_{3}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi_{3}} \biggr)+R_{\alpha,\beta}(r,f). \end{aligned}
(11)

### Corollary 1.3

Under the conditions of Theorem  1.7, let $$k_{j} \in\mathbb{N}_{+}\cup\{ \infty\}$$, $$j=1,2,3$$, satisfy

$$\Delta_{3}:=\frac{2}{k_{1}}+\frac{2}{k_{2}}+ \biggl(1+\frac{1}{k_{2}} \biggr)\frac {1}{k_{3}}< 1.$$
(12)

Then

\begin{aligned} (1-\Delta_{3})S_{\alpha,\beta}(r,f)< & \biggl(1- \frac{2}{k_{1}} \biggr)\overline{C}^{k_{1}-1)}_{\alpha,\beta} \biggl(r, \frac{1}{f-\varphi_{1}} \biggr) + \biggl(1-\frac{2}{k_{2}} \biggr) \overline{C}^{k_{2}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{2}} \biggr) \\ &{}+ \biggl(1+\frac{1}{k_{2}} \biggr) \biggl(1-\frac{1}{k_{3}} \biggr) \overline {C}^{k_{3}-1)}_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f). \end{aligned}
(13)

## Some lemmas

To prove our results, we need the following lemmas.

### Lemma 2.1

(see )

Let f be a nonconstant meromorphic function on $$\Omega(\alpha,\beta)$$. Then, for arbitrary complex number a, we have

$$S_{\alpha,\beta} \biggl(r,\frac{1}{f-a} \biggr)=S_{\alpha,\beta }(r,f)+ \varepsilon(r,a),$$

where $$\varepsilon(r,a)=O(1)$$ as $$r\rightarrow+\infty$$.

### Lemma 2.2

(see , p.138)

Let f be a nonconstant meromorphic function in the whole complex plane $$\mathbb{C}$$. Given an angular domain on $$\Omega(\alpha,\beta)$$, for any $$1\leq r< R$$, we have

$$A_{\alpha,\beta} \biggl(r,\frac{f'}{f} \biggr) \leq K \biggl\{ \biggl( \frac{R}{r} \biggr)^{\omega}\int_{1}^{R}\frac{\log ^{+}T(r,f)}{t^{1+\omega}}\,dt+\log^{+} \frac{r}{R-r}+\log \frac{R}{r}+1 \biggr\}$$

and

$$B_{\alpha,\beta} \biggl(r,\frac{f'}{f} \biggr)\leq\frac{4\omega}{r^{\omega}}m \biggl(r,\frac{f'}{f} \biggr),$$

where $$\omega=\frac{\pi}{\beta-\alpha}$$, and K is a positive constant not depending on r and R.

### Remark 2.1

Nevanlinna conjectured that

$$D_{\alpha,\beta}\biggl(r,\frac{f'}{f}\biggr):=A_{\alpha,\beta} \biggl(r,\frac {f'}{f} \biggr) +B_{\alpha,\beta} \biggl(r,\frac{f'}{f} \biggr)=o \bigl(S_{\alpha,\beta } (r,f ) \bigr)$$
(14)

as r tends to +∞ outside an exceptional set of finite linear measure, and he proved that $$A_{\alpha,\beta} (r,\frac{f'}{f} ) +B_{\alpha,\beta} (r,\frac{f'}{f} )=O(1)$$ when the function f is meromorphic in $$\mathbb{C}$$ and has finite order. In 1974, Gol’dberg  constructed a counterexample to show that (14) is not valid.

### Remark 2.2

From [15, 22, 26] we get the following conclusion:

$$D_{\alpha,\beta} \biggl(r,\frac{f'}{f} \biggr)=R_{\alpha,\beta} (r,f )= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} O(1), & f \mbox{ is of finite order},\\ O(\log(rT(r,f)),\quad r\notin E, & f \mbox{ is of infinite order}, \end{array}\displaystyle \right .$$

where $$R_{\alpha,\beta} (r,f )$$ is as in Theorem 1.4, and E is a set of finite linear measure.

### Remark 2.3

From the definition of $$A_{\alpha,\beta}(r,f)$$, $$B_{\alpha,\beta }(r,f)$$, $$C_{\alpha,\beta}(r,f)$$, $$S_{\alpha,\beta}(r,f)$$ and Lemmas 2.1-2.2 we can see that the properties of $$C_{\alpha,\beta}(r,f)$$, $$(A+B)_{\alpha,\beta}(r,f)$$, and $$S_{\alpha,\beta}(r,f)$$ are the same as for the more familiar quantities $$N(r,f)$$, $$m(r,f)$$, and $$T(r,f)$$, respectively.

### Lemma 2.3

(see )

Let $$f_{1}(z)$$, $$f_{2}(z)$$ be two meromorphic functions in the whole plane $$\mathbb{C}$$, and $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$. Then

$$C_{\alpha,\beta}(r,f_{1}f_{2})-C_{\alpha,\beta}\biggl(r, \frac {1}{f_{1}f_{2}}\biggr)=C_{\alpha,\beta}(r,f_{1})+C_{\alpha,\beta}(r,f_{2}) -C_{\alpha,\beta}\biggl(r,\frac{1}{f_{1}}\biggr)-C_{\alpha,\beta}\biggl(r, \frac{1}{f_{2}}\biggr)+O(1).$$

### Lemma 2.4

Let $$f(z)$$ be meromorphic function in the whole plane $$\mathbb{C}$$ satisfying $$f(0)\neq0,1,\infty$$, $$f'(0) \neq0$$, and $$\Omega(\alpha,\beta)=\{z:\alpha<\arg z<\beta\}$$ be an angular domain with $$0<\beta-\alpha\leq2\pi$$. Then

$$S_{\alpha,\beta}(r,f)\leq\overline{C}_{\alpha,\beta}(r,f)+ \overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr) + \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1}\biggr)+R_{\alpha,\beta}(r,f).$$
(15)

### Proof

Since $$\frac{1}{f}=1-\frac{f'}{f}\cdot\frac{f-1}{f'}$$, we have

$$D_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)\leq D_{\alpha,\beta}\biggl(r,\frac {f'}{f}\biggr)+D_{\alpha,\beta}\biggl(r, \frac{f-1}{f'}\biggr)+O(1).$$
(16)

From Lemmas 2.1 and 2.3 we have

$$D_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)=S_{\alpha,\beta} \biggl(r,\frac {1}{f}\biggr)-C_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr) -S_{\alpha,\beta}(r,f)-C_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr)+O(1)$$
(17)

and

\begin{aligned} D_{\alpha,\beta}\biggl(r,\frac{f-1}{f'}\biggr)={}&D_{\alpha,\beta} \biggl(r,\frac{f'}{f-1}\biggr) +C_{\alpha,\beta}\biggl(r,\frac{f'}{f-1} \biggr)-C_{\alpha,\beta}\biggl(r,\frac {f-1}{f'}\biggr)+O(1) \\ ={}&D_{\alpha,\beta}\biggl(r,\frac{f-1}{f'}\biggr)+C_{\alpha,\beta} \bigl(r,f'\bigr)+C_{\alpha ,\beta}\biggl(r,\frac{1}{f-1}\biggr) \\ &{} -C_{\alpha,\beta}(r,f)-C_{\alpha,\beta}\biggl(r,\frac{1}{f'} \biggr)+O(1). \end{aligned}
(18)

Then, from (16)-(18) we have

\begin{aligned} S_{\alpha,\beta}(r,f)\leq{}& C_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr) +C_{\alpha,\beta}\biggl(r,\frac{1}{f-1}\biggr)+C_{\alpha,\beta} \bigl(r,f'\bigr)-C_{\alpha ,\beta}(r,f) \\ &{}- C_{\alpha,\beta}\biggl(r,\frac{1}{f'}\biggr)+D_{\alpha,\beta} \biggl(r,\frac {f'}{f}\biggr)+D_{\alpha,\beta}\biggl(r,\frac{f'}{f-1} \biggr)+O(1) \\ \leq{}&C_{\alpha,\beta}(r,f)+C_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr) +C_{\alpha,\beta}\biggl(r,\frac{1}{f-1}\biggr)-C_{\alpha,\beta}^{0}(r) \\ &{}+D_{\alpha,\beta}\biggl(r,\frac{f'}{f}\biggr)+D_{\alpha,\beta}\biggl(r, \frac{f'}{f-1}\biggr)+O(1). \end{aligned}
(19)

Hence, it follows from (19) and Lemma 2.2 that

$$S_{\alpha,\beta}(r,f)\leq C_{\alpha,\beta}(r,f)+C_{\alpha,\beta } \biggl(r,\frac{1}{f}\biggr) +C_{\alpha,\beta}\biggl(r,\frac{1}{f-1} \biggr)-C^{0}_{\alpha,\beta}(r)+R_{\alpha ,\beta}(r,f),$$
(20)

where $$C^{0}_{\alpha,\beta}(r)=2C_{\alpha,\beta}(r,f)-C_{\alpha,\beta }(r,f')+C_{\alpha,\beta}(r,\frac{1}{f'})$$.

Now, we will estimate $$C^{0}_{\alpha,\beta}(r)$$. If $$z_{0}$$ is a pole of f of order k in Ω, then $$z_{0}$$ is a pole of f of order $$k+1$$ in Ω; if $$z_{0}$$ is a zero of f of order k, then $$z_{0}$$ is a zero of $$f'$$ of order $$k-1$$ in Ω. Thus, we have

\begin{aligned} &C_{\alpha,\beta}(r,f)+C_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr)+C_{\alpha,\beta }\biggl(r,\frac{1}{f-1}\biggr)-C^{0}_{\alpha,\beta}(r)\\ &\quad\leq\overline{C}_{\alpha,\beta}(r,f)+\overline{C}_{\alpha,\beta }\biggl(r, \frac{1}{f}\biggr)+\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1} \biggr). \end{aligned}

From this inequality and (20) we easily get (15). □

### Lemma 2.5

For all $$a,b\in\mathbb{C}$$, we have

$$\bigl|a^{2}-ab\bigr|\geq\frac{1}{2} \bigl(|a|^{2}-|b|^{2} \bigr).$$

### Proof

If $$|a|\leq|b|$$, then the inequality is obvious.

If $$|a|>|b|$$, then we have

$$\bigl|a^{2}-ab\bigr|\geq|a|^{2}-|ab|\geq|a|^{2}- \frac{1}{2} \bigl(|a|^{2}+|b|^{2} \bigr)= \frac{1}{2} \bigl(|a|^{2}-|b|^{2} \bigr).$$

This completes the proof of Lemma 2.5. □

## Proof of Theorem 1.5

Set

$$F(z)=\frac{1-\psi}{f^{2}(1-\alpha_{0})}=\frac{1-\alpha_{0}f-\alpha _{1}f'}{f^{2}(1-\alpha_{0})} =\frac{1}{1-\alpha_{0}} \biggl[ \frac{1}{f^{2}}-\frac{1}{f}\biggl(\alpha_{0}+\alpha _{1}\frac{f'}{f}\biggr) \biggr].$$

Then we have

$$S_{\alpha,\beta}(r,F)\leq5S_{\alpha,\beta}(r,f)+2S_{\alpha,\beta }(r, \alpha_{0}) +S_{\alpha,\beta}(r,\alpha_{1})+D_{\alpha,\beta} \biggl(r,\frac{f'}{f}\biggr)+O(1),$$

and from Lemma 2.2 and $$\alpha_{0},\alpha_{1}\in\ell(f)$$ it follows that

$$R_{\alpha,\beta}(r,F)=R_{\alpha,\beta}(r,f).$$
(21)

By Lemma 2.5 we have

\begin{aligned} 2D_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)&\leq3 \bigl[D_{\alpha,\beta }(r,\alpha_{0}) +D_{\alpha,\beta}(r, \alpha_{1})\bigr]+2D_{\alpha,\beta}\biggl(r,\frac {f'}{f} \biggr)+D_{\alpha,\beta}(r,F)+O(1) \\ &=D_{\alpha,\beta}(r,F)+R_{\alpha,\beta}(r,f). \end{aligned}
(22)

Since $$\frac{1}{F}=1-\frac{F-1}{F'}\cdot\frac{F'}{F}$$, it follows by Lemma 2.4 that

$$S_{\alpha,\beta}(r,F)\leq\overline{C}_{\alpha,\beta}(r,F)+\overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{F}\biggr) +\overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{F-1}\biggr)+R_{\alpha,\beta}(r,F),$$

that is,

$$D_{\alpha,\beta}(r,F)\leq\overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{F}\biggr) +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F-1} \biggr)-C^{1}_{\alpha,\beta }(r,F)+R_{\alpha,\beta}(r,F),$$
(23)

where $$C^{1}_{\alpha,\beta}(r,F)=C_{\alpha,\beta}(r,F)-\overline {C}_{\alpha,\beta}(r,F)$$. Thus, it follows from (21)-(23) that

\begin{aligned} S_{\alpha,\beta}(r,f)\leq{}& C_{\alpha,\beta}\biggl(r, \frac{1}{f}\biggr) +\frac{1}{2} \biggl[ \overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{F}\biggr)+\overline {C}_{\alpha,\beta}\biggl(r, \frac{1}{F-1}\biggr) -C^{1}_{\alpha,\beta}(r,F) \biggr] \\ &{}+R_{\alpha,\beta}(r,f). \end{aligned}
(24)

We consider three cases to estimate $$\overline{C}_{\alpha,\beta}(r,\frac{1}{F})$$, $$\overline{C}_{\alpha,\beta}(r,\frac{1}{F-1})$$, $$C^{1}_{\alpha,\beta}(r,F)$$ in (24), respectively.

Case 1. $$\overline{C}_{\alpha,\beta}(r,\frac{1}{F})$$.

From the definition of $$F(z)$$ we find that the zero of $$F(z)$$ comes from the zero of $$\psi-1$$, or the pole of f, or the pole of $$\alpha_{0}$$. Then

$$\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F}\biggr)\leq \overline{C}_{\alpha ,\beta}\biggl(r,\frac{1}{\psi-1}\biggr) + \overline{C}_{\alpha,\beta}(r,f)+\overline{C}_{\alpha,\beta}(r, \alpha_{0}).$$
(25)

Since $$\overline{C}_{\alpha,\beta}(r,f)= \overline{C}^{(2}_{\alpha,\beta }(r,f)+\overline{C}^{1)}_{\alpha,\beta}(r,f)$$, by Lemma 2.4 we have

$$\overline{C}^{(2}_{\alpha,\beta}(r,f)\leq C^{1}_{\alpha,\beta}(r,f)\leq \overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{f}\biggr)+\overline{C}_{\alpha,\beta }\biggl(r,\frac{1}{f-1} \biggr)+R_{\alpha,\beta}(r,f).$$
(26)

If $$z_{0}$$ is a pole of f of order 1 in Ω, and not the zero of $$\alpha_{0}$$, $$\alpha_{0}-1$$, the pole of $$\alpha_{0}$$, and also not the zero and pole of $$\alpha_{1}$$, then we have

\begin{aligned} &\alpha_{0}(z)=a_{0}+b_{0}(z-z_{0})^{p_{0}}+ \cdots \quad (a_{0}\neq0,1,b_{0}\neq0, p_{0}\geq1), \\ &\alpha_{1}(z)=a_{1}+b_{1}(z-z_{0})^{p_{1}}+ \cdots \quad (a_{1}\neq0,b_{1}\neq0, p_{1}\geq1), \\ &f(z)=\frac{a}{z-z_{0}}+b(z-z_{0})^{p}+\cdots\quad (a\neq0,b \neq0,p\geq0). \end{aligned}

Substituting all this into $$F(z)$$, we get

$$F(z)=\frac{a_{1}}{a(1-a_{0})}+\cdots,$$

which shows that $$z_{0}$$ is not a zero and a pole of $$F(z)$$ in Ω.

If $$z_{0}$$ is a pole of f of order 1 in Ω and a zero of anyone of $$\alpha_{0}$$, $$\alpha_{0}-1$$, and $$\frac{1}{\alpha_{0}}$$, or $$z_{0}$$ is a zero of anyone of $$\alpha_{1}$$ and $$\frac{1}{\alpha_{1}}$$, then $$z_{0}$$ maybe one zero of $$F(z)$$. Thus, we have

\begin{aligned} \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F}\biggr)\leq{}& \overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{\psi-1}\biggr)+ \overline{C}^{(2}_{\alpha,\beta }(r,f)+\overline{C}_{\alpha,\beta}(r, \alpha_{0}) +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\alpha_{0}-1} \biggr) \\ &{}+\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\alpha_{0}}\biggr)+\overline {C}_{\alpha,\beta}(r,\alpha_{1}) +\overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{\alpha_{1}}\biggr) \\ \leq{}&\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\psi-1}\biggr)+\overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr) +\overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{f-1}\biggr)+R_{\alpha,\beta}(r,f). \end{aligned}
(27)

Case 2. $$\overline{C}_{\alpha,\beta}(r,\frac{1}{F-1})$$. Set

$$F_{1}=(F-1)\cdot\frac{f}{f-1}=\frac{(1-f^{2})-\alpha_{0}f(1-f)-\alpha _{1}f'}{f(f-1)(1-\alpha_{0})}.$$

Then $$F-1=F_{1}\cdot\frac{f-1}{f}$$. It follows that the zero of $$F-1$$ comes from the zero of $$F_{1}$$ or the zero of $$f-1$$, that is,

\begin{aligned}[b] \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F-1}\biggr)&\leq \overline{C}_{\alpha ,\beta}\biggl(r,\frac{1}{F_{1}}\biggr) + \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1}\biggr)\\ &\leq C_{\alpha,\beta} \biggl(r,\frac{1}{F_{1}}\biggr)+\overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{f-1}\biggr). \end{aligned}
(28)

Since

$$F_{1}=\frac{1}{1-\alpha_{0}} \biggl[-1-\frac{1}{f}+ \alpha_{0}+\alpha_{1} \biggl(\frac{f'}{f}- \frac{f'}{f-1} \biggr) \biggr]:=\frac{1}{1-\alpha_{0}}F_{2},$$

it follows that

\begin{aligned} &D_{\alpha,\beta}(r,F_{1})\leq D_{\alpha,\beta}\biggl(r, \frac{1}{f}\biggr)+R_{\alpha ,\beta}(r,f), \end{aligned}
(29)
\begin{aligned} &C_{\alpha,\beta}(r,F_{1})\leq C_{\alpha,\beta}(r,F_{2})+C_{\alpha,\beta} \biggl(r,\frac{1}{\alpha_{0}-1}\biggr) =C_{\alpha,\beta}(r,F_{2})+R_{\alpha,\beta}(r,f). \end{aligned}
(30)

From the definitions of $$F_{1}$$, $$F_{2}$$ by Lemma 2.1 we have

\begin{aligned} C_{\alpha,\beta}(r,F_{2})&\leq C_{\alpha,\beta}(r,\alpha _{0})+C_{\alpha,\beta}(r,\alpha_{1})+C_{\alpha,\beta} \biggl(r,\frac{1}{f}\biggr) +\overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{f}\biggr)+\overline{C}_{\alpha,\beta }\biggl(r,\frac{1}{f-1} \biggr) \\ &\leq C_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)+\overline{C}_{\alpha,\beta } \biggl(r,\frac{1}{f}\biggr) +\overline{C}_{\alpha,\beta}\biggl(r, \frac{1}{f-1}\biggr)+R_{\alpha,\beta}(r,f) \end{aligned}
(31)

and

$$C_{\alpha,\beta}\biggl(r,\frac{1}{F_{1}}\biggr)\leq S_{\alpha,\beta}\biggl(r,\frac{1}{F_{1}}\biggr) =D_{\alpha,\beta}(r,F_{1})+C_{\alpha,\beta}(r,F_{1})+O(1).$$
(32)

Thus, it follows from (28)-(32) that

$$\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F-1}\biggr)\leq S_{\alpha,\beta }(r,f)+\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr) +2\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1} \biggr)+R_{\alpha,\beta}(r,f).$$
(33)

Case 3. $$-C^{1}_{\alpha,\beta}(r,F)$$. If $$z_{0}$$ is a pole of f of order $$k\geq2$$, then from the definition of $$F(z)$$ we see that the pole of $$F(z)$$ only occurs at the pole of $$\alpha_{1}$$.

If $$z_{1}$$ is a zero of f of order $$k\geq2$$ and not the pole of $$\alpha _{0}$$, $$\alpha_{1}$$, then we get that $$z_{1}$$ is a pole of $$F(z)$$ of order $$\geq2k$$; if $$z_{1}$$ is a pole of $$\alpha_{0}$$ of order $$s_{0}\geq0$$ or a pole of $$\alpha_{1}$$ of order $$s_{1}\geq0$$, then we have

$$\max\{2k-s_{0}, k, k+1-s_{0}+s_{1}\} \geq2k-s_{0}-s_{1}.$$

Let $$C^{1'}_{\alpha,\beta}(r,F)$$ be a part of $$C_{\alpha,\beta}(r,F)$$ corresponding to the zero and pole of f of order $$k\geq2$$, Then we have

\begin{aligned} C^{1}_{\alpha,\beta}(r,F)&>C^{1'}_{\alpha,\beta}(r,F)\\ &\geq2C^{(2}_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)- \overline{C}^{(2}_{\alpha ,\beta}\biggl(r,\frac{1}{f} \biggr)-C_{\alpha,\beta}(r,\alpha_{0}) -C_{\alpha,\beta}(r, \alpha_{1})+C_{\alpha,\beta}(r,\alpha_{1})\\ &\geq2C_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)- \overline{C}_{\alpha,\beta }\biggl(r,\frac{1}{f}\biggr) - \overline{C}^{1)}_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr)+R_{\alpha,\beta}(r,f), \end{aligned}

that is,

$$-C^{1}_{\alpha,\beta}(r,F)< -2C_{\alpha,\beta}\biggl(r, \frac{1}{f}\biggr)+\overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr) +C^{1)}_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr)+R_{\alpha,\beta}(r,f).$$
(34)

Then, substituting (27), (33), and (34) into (24), we have

\begin{aligned} S_{\alpha,\beta}(r,f)< {}&C_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)+ \frac {1}{2} \biggl[\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\psi-1} \biggr) +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f}\biggr)+ \overline{C}_{\alpha,\beta }\biggl(r,\frac{1}{f-1}\biggr)\\ &{}+S_{\alpha,\beta}(r,f)+\overline{C}_{\alpha,\beta}\biggl(r, \frac {1}{f}\biggr)+2\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1} \biggr)-2C_{\alpha,\beta }\biggl(r,\frac{1}{f}\biggr) \\ &{} +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f} \biggr)+C^{1)}_{\alpha ,\beta}\biggl(r,\frac{1}{f}\biggr) \biggr]+R_{\alpha,\beta}(r,f), \end{aligned}

that is,

\begin{aligned} S_{\alpha,\beta}(r,f)< 3\overline{C}_{\alpha,\beta}\biggl(r, \frac {1}{f}\biggr)+3\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-1} \biggr) +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\psi-1} \biggr)+C^{1)}_{\alpha,\beta }\biggl(r,\frac{1}{f} \biggr)+R_{\alpha,\beta}(r,f), \end{aligned}

and since $$C^{1)}_{\alpha,\beta}(r,\frac{1}{f})\leq\overline{C}_{\alpha ,\beta}(r,\frac{1}{f})$$, thus it follows that

\begin{aligned} S_{\alpha,\beta}(r,f)< 4\overline{C}_{\alpha,\beta} \biggl(r,\frac {1}{f} \biggr)+3\overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{f-1} \biggr) + \overline{C}_{\alpha,\beta} \biggl(r,\frac{1}{\psi-1} \biggr)+R_{\alpha ,\beta}(r,f). \end{aligned}

This completes the proof of Theorem 1.5.

## Proofs of Theorem 1.6 and Corollary 1.1

### The proof of Theorem 1.6

Let

$$\alpha_{0}=\frac{\varphi_{2}'-\varphi_{1}'}{\varphi_{3}-\varphi_{1}'},\qquad \alpha _{1}= \frac{\varphi_{2}-\varphi_{1}}{\varphi_{3}-\varphi_{1}'}, \qquad F(z)=\frac{f-\varphi_{1}}{\varphi_{2}-\varphi_{1}}.$$

Then

$$\psi(z)=\alpha_{0}F+\alpha_{1}F'= \frac{f'-\varphi_{1}'}{\varphi_{3}-\varphi_{1}'}.$$

Since $$\varphi_{i}\in\ell(f)$$, $$i=1,2,3$$, it follows that $$\alpha_{0},\alpha _{1}\in\ell(f)$$ and

\begin{aligned} & S_{\alpha,\beta}(r,f)\leq S_{\alpha,\beta}(r,F)+R_{\alpha,\beta }(r,f), \\ & \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F}\biggr)\leq \overline{C}_{\alpha ,\beta}\biggl(r,\frac{1}{f-\varphi_{1}}\biggr)+R_{\alpha,\beta}(r,f), \\ &\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F-1}\biggr)\leq \overline{C}_{\alpha ,\beta}\biggl(r,\frac{1}{f-\varphi_{2}}\biggr)+R_{\alpha,\beta}(r,f), \\ &\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{\psi-1}\biggr)\leq\overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{3}}\biggr)+R_{\alpha,\beta}(r,f). \end{aligned}

Then, from this and from Theorem 1.5 we easily get (4). Furthermore, if f satisfies (1), then $$\limsup_{r\rightarrow+\infty}\frac{ R_{\alpha,\beta}(r,f)}{ S_{\alpha,\beta}(r,f)}=0$$. Thus, we can easily get (5) from (4).

This completes the proof of Theorem 1.6.

### The proof of Corollary 1.1

For $$\varphi\in\ell(f)$$ and any positive integer $$k\geq2$$, we have

\begin{aligned} \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-\varphi}\biggr)\leq{}&\biggl(1- \frac {1}{k}\biggr)\overline{C}^{k-1)}_{\alpha,\beta}\biggl(r, \frac{1}{f-\varphi}\biggr)+\frac {1}{k}S_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f); \end{aligned}
(35)
\begin{aligned} \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi}\biggr)={}&\biggl(1- \frac {1}{k}\biggr)\overline{C}^{k-1)}_{\alpha,\beta}\biggl(r, \frac{1}{f'-\varphi}\biggr) \\ &{} +\frac{1}{k} \biggl(\overline{C}^{k-1)}_{\alpha,\beta} \biggl(r,\frac {1}{f'-\varphi}\biggr) +k\overline{C}^{(k}_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi}\biggr) \biggr) \\ \leq{}&\biggl(1-\frac{1}{k}\biggr)\overline{C}^{k-1)}_{\alpha,\beta} \biggl(r,\frac {1}{f'-\varphi}\biggr)+\frac{1}{k}S_{\alpha,\beta}\biggl(r, \frac{1}{f'-\varphi}\biggr) \\ \leq{}&\biggl(1-\frac{1}{k}\biggr)\overline{C}^{k-1)}_{\alpha,\beta} \biggl(r,\frac {1}{f'-\varphi}\biggr)+\frac{2}{k}S_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f). \end{aligned}
(36)

Hence, it follows from (4), (35), and (36) that

\begin{aligned} (1-\Delta_{1})S_{\alpha,\beta}(r,f)< {}&4 \biggl(1- \frac{1}{k_{1}} \biggr)\overline{C}^{k_{1}-1)}_{\alpha,\beta} \biggl(r, \frac{1}{f-\varphi_{1}} \biggr) +3 \biggl(1-\frac{1}{k_{2}} \biggr) \overline{C}^{k_{2}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f-\varphi_{2}} \biggr)\\ &{}+ \biggl(1-\frac{1}{k_{3}} \biggr)\overline{C}^{k_{3}-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi_{3}} \biggr)+R_{\alpha,\beta}(r,f). \end{aligned}

This completes the proof of Corollary 1.1.

## Proofs of Theorems 1.7, 1.8 and Corollaries 1.2, 1.3

### The proof of Theorem 1.7

Since $$f-\varphi_{1}=(f'-\varphi'_{1})\frac{f-\varphi_{1}}{f'-\varphi'_{1}}$$ and $$\varphi_{i}\in\ell(f)$$, by Lemmas 2.1-2.3 we have

\begin{aligned} D_{\alpha,\beta}(r,f-\varphi_{1})\leq{}& D_{\alpha,\beta} \bigl(r,f'-\varphi '_{1} \bigr)+D_{\alpha,\beta}\biggl(r,\frac{f-\varphi_{1}}{f'-\varphi'_{1}}\biggr)+O(1) \\ \leq{}& D_{\alpha,\beta}\bigl(r,f'-\varphi'_{1} \bigr)+C_{\alpha,\beta}\biggl(r,\frac {f'-\varphi'_{1}}{f-\varphi_{1}}\biggr) -C_{\alpha,\beta} \biggl(r,\frac{f-\varphi_{1}}{f'-\varphi'_{1}}\biggr) \\ &{} +D_{\alpha,\beta}\biggl(r,\frac{f'-\varphi'_{1}}{f-\varphi_{1}}\biggr)+O(1) \\ \leq{}& S_{\alpha,\beta}\bigl(r,f'-\varphi_{1}' \bigr)+C_{\alpha,\beta}\biggl(r,\frac {1}{f-\varphi_{1}}\biggr)-C_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi'_{1}}\biggr) \\ &{} -C_{\alpha,\beta}(r,f-\varphi_{1})+R_{\alpha,\beta}(r,f), \end{aligned}

that is,

$$S_{\alpha,\beta}(r,f)\leq S_{\alpha,\beta}\bigl(r,f' \bigr)+C_{\alpha,\beta }\biggl(r,\frac{1}{f-\varphi_{1}}\biggr)-C_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi '_{1}}\biggr)+R_{\alpha,\beta}(r,f).$$
(37)

On the other hand, letting

$$F_{3}=\frac{f'-\varphi'_{1}}{f'-\varphi_{2}}\cdot\frac{\varphi_{3}-\varphi _{2}}{\varphi_{3}-\varphi_{1}'},$$

it follows that $$R_{\alpha,\beta}(r,F_{3})=R_{\alpha,\beta}(r,f)$$ and

\begin{aligned} & S_{\alpha,\beta}\bigl(r,f'\bigr)\leq S_{\alpha,\beta}(r,F_{3})+R_{\alpha ,\beta}(r,f), \\ &\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F_{3}}\biggr)\leq \overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{1}'}\biggr)+R(_{\alpha,\beta}r,f), \\ &\overline{C}(r,F_{3})\leq\overline{C}_{\alpha,\beta}\biggl(r, \frac {1}{f'-\varphi_{2}}\biggr)+R_{\alpha,\beta}(r,f), \\ &\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{F_{3}-1}\biggr)\leq \overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{3}}\biggr)+R_{\alpha,\beta}(r,f). \end{aligned}

Then, from these inequalities and from (37) by applying Lemma 2.4 for $$F_{3}$$ we have

\begin{aligned} S_{\alpha,\beta}(r,f)< {}&C_{\alpha,\beta}\biggl(r,\frac{1}{f-\varphi _{1}} \biggr)-C_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi'_{1}}\biggr)+\overline{C}_{\alpha ,\beta} \biggl(r,\frac{1}{f'-\varphi'_{1}}\biggr) \\ &{} +\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{2}}\biggr)+\overline {C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{3}}\biggr)+R_{\alpha,\beta}(r,f) \\ < {}&\overline{\overline{C}}_{\alpha,\beta}\biggl(r,\frac{1}{f-\varphi _{1}}\biggr)+ \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{2}}\biggr) + \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi_{3}}\biggr)+R_{\alpha,\beta}(r,f). \end{aligned}

This completes the proof of Theorem 1.7.

### The proof of Theorem 1.8

Using the same argument as in Theorem 1.7 and letting $$F_{3}=\frac {f'-\varphi_{1}'}{f'-\varphi_{2}}$$, we easily get the conclusions of Theorem 1.8.

### Proofs of Corollaries 1.2 and 1.3

For $$\varphi\in\ell(f)$$ and any positive integer $$k\geq2$$, we have

\begin{aligned} &\overline{C}_{\alpha,\beta}(r,f) \biggl(1-\frac{1}{k} \biggr)\overline {C}^{k-1)}_{\alpha,\beta}(r,f)+\frac{1}{k}S_{\alpha,\beta}(r,f), \\ &\overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f-\varphi}\biggr)\leq \biggl(1- \frac {1}{k} \biggr)\overline{C}^{k-1)}_{\alpha,\beta}\biggl(r, \frac{1}{f-\varphi}\biggr) +\frac{1}{k}S_{\alpha,\beta}(r,f)+R_{\alpha,\beta}(r,f), \\ &\overline{\overline{C}}_{\alpha,\beta}\biggl(r,\frac{1}{f-\varphi}\biggr)\leq \biggl(1-\frac{2}{k} \biggr)\overline{C}^{k-1)}\biggl(r, \frac{1}{f-\varphi}\biggr)+\frac {2}{k}S(r,f)+R(r,f), \\ &\begin{aligned}[b] \overline{C}_{\alpha,\beta}\biggl(r,\frac{1}{f'-\varphi}\biggr)&\leq \biggl(1- \frac {1}{k} \biggr)\overline{C}^{k-1)}_{\alpha,\beta}\biggl(r, \frac{1}{f'-\varphi}\biggr) +\frac{1}{k}S_{\alpha,\beta}\biggl(r, \frac{1}{f'-\varphi}\biggr)+R_{\alpha,\beta }(r,f)\\ &\leq \biggl(1-\frac{1}{k} \biggr)\overline{C}^{k-1)}_{\alpha,\beta} \biggl(r,\frac{1}{f'-\varphi}\biggr)+\frac{2}{k}S_{\alpha,\beta}(r,f)+R_{\alpha ,\beta}(r,f). \end{aligned} \end{aligned}

Applying these inequalities and Theorems 1.7 and 1.8, we easily prove Corollaries 1.2 and 1.3.

## References

1. Hayman, WK: Meromorphic Functions. Oxford University Press, London (1964)

2. Yang, L: Value Distribution Theory. Springer, Berlin (1993/1982)

3. Cargwright, ML: On the directions of Borel of functions which are regular and of finite order in an angle. Proc. Lond. Math. Soc. S2-38(1), 503-541 (1935)

4. Chuang, CT: Singular Direction of Meromorphic Functions. Science Press, Beijing (1982)

5. Hayman, WK, Wu, SJ: Value distribution theory and the research of Yang Lo. Sci. China Ser. B 53(3), 513-522 (2010)

6. Liao, LW: The new developments in the research of nonlinear complex differential equations. J. Jiangxi Norm. Univ. Nat. Sci. 39(4), 331-339 (2015)

7. Nevanlinna, R: Le théorème de Picard-Borel et la théorie des fonctions méromorphes. Reprinting of the 1929 original. Chelsea, New York (1974) (in French)

8. Wu, SJ: On the distribution of Borel directions of entire function. Chin. Ann. Math., Ser. A 14(4), 400-406 (1993)

9. Xu, SJ, Yi, CF: The growth and Borel direction of solutions of higher order linear differential equation in angular domains. J. Jiangxi Norm. Univ. Nat. Sci. 37(4), 401-405 (2013)

10. Yang, L, Zhang, GH: Development of value distribution theory of meromorphic functions. Chin. Sci. Bull. 22, 375-380 (1977) (in Chinese)

11. Yang, L, Zhang, GH: Sur la distribution des directions de Borel des functions méromorphes. Sci. Sinica 16, 465-482 (1973)

12. Yi, CF, Liu, XQ: The growth and Borel direction of solutions for differential equation $$f''+ Af' + Bf = 0$$ in angular domains. J. Jiangxi Norm. Univ. Nat. Sci. 37(1), 1-5 (2013)

13. Yang, L: Borel directions of meromorphic functions in an angular domain. Sci. Sin. Special Issue I on Math., 149-164 (1979)

14. Zheng, JH: On uniqueness of meromorphic functions with shared values in some angular domains. Can. J. Math. 47, 152-160 (2004)

15. Zheng, JH: On uniqueness of meromorphic functions with shared values in one angular domains. Complex Var. Elliptic Equ. 48, 777-785 (2003)

16. Zheng, JH: Value Distribution of Meromorphic Functions. Springer, Berlin (2010)

17. Long, JR, Wu, PC: Borel directions and uniqueness of meromorphic functions. Chin. Ann. Math., Ser. A 33(3), 261-266 (2012)

18. Zhang, KY, Xu, HY, Yi, HX: Borel directions and uniqueness of meromorphic functions. Abstr. Appl. Anal. 2013, Article ID 793810 (2013)

19. Zhang, GH: On the research of common Borel directions of a meromorphic function with its derivatives. Acta Math. Sin. 20, 237-247 (1977)

20. Xu, HY, Wu, ZJ, Tu, J: Some inequalities and applications on Borel direction and exceptional values of meromorphic functions. J. Inequal. Appl. 2014, Article ID 53 (2014)

21. Xu, HY, Yi, CF: Some inequalities on meromorphic function and its derivative on its Borel direction. J. Comput. Anal. Appl. 20(6), 1171-1182 (2016)

22. Gol’dberg, AA, Ostrovskii, IV: The Distribution of Values of Meromorphic Function. Nauka, Moscow (1970) (in Russian)

23. Yang, L, Zhang, GH: The distribution of Borel directions of entire functions. Sci. China Ser. A 3, 157-168 (1976)

24. Yang, L: Precise fundamental inequalities and sum of deficiencies. Sci. China Ser. A 34, 157-165 (1991)

25. Yi, CF, Wang, Y, Xu, HY: An improvement of Hayman’s inequality on an angular domain. Ann. Pol. Math. 99, 181-192 (2010)

26. Gol’dberg, AA: Nevanlinna’s lemma on the logarithmic derivative of a meromorphic function. Math. Notes 17(4), 310-312 (1975)

27. Zhang, QC: On the singular direction of meromorphic function. Acta Math. Sin. 31, 777-785 (1988)

## Acknowledgements

The first author was supported by the NSF of China (11561033, 11301233), the Natural Science Foundation of Jiangxi Province in China (20151BAB201008), and the Foundation of Education Department of Jiangxi (GJJ14644) of China.

## Author information

Authors

### Corresponding author

Correspondence to Hong Yan Xu.

### Competing interests

The authors declare that none of the authors have any competing interests in the manuscript.

### Authors’ contributions

HYX, XMZ, and LPZ completed the main part of this article. XMZ, HYX corrected the main theorems. All authors read and approved the final manuscript.

## Rights and permissions 