- Research
- Open access
- Published:
Some inequalities on meromorphic function and its derivative concerning small functions in an angular domain
Journal of Inequalities and Applications volume 2016, Article number: 128 (2016)
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.
1 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 [3–12]).
In 1964, Hayman [1] 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 [1]))
Let f be a transcendental meromorphic function on the complex plane. Then, for any positive integer k, we have
where \(S_{1}(r,f)\) is the remainder term satisfying
-
(i)
\(S_{1}(r,f)=O(\log r)\) (\(r\rightarrow\infty\)) if the order of \(f(z)\) is finite;
-
(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 [13] 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 [13])
Let f be a transcendental meromorphic function on the complex plane. Then, for any \(\varepsilon>0\) and positive integer k, we have
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 [14–16]); in 2012, Long and Wu [17] studied the uniqueness of meromorphic functions of infinite order sharing some values in the Borel direction; in the same year, Zhang et al. [18] 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 [19] 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. [20] and Xu and Yi [21] 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 [13–15, 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
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 [24] extended Theorem 1.1 to an angular domain and obtained the following result.
Theorem 1.3
(see [24])
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
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. [25] extended Theorem 1.2 to an angular domain and obtained the following result.
Theorem 1.4
(see [25], 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
Throughout, we use \(R_{\alpha,\beta}(r,*)\) to denote the quantity satisfying
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
we have
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,
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
Then
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
Furthermore, if f satisfies (1), then
where
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
where
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
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
Then
Corollary 1.2
Under the conditions of Theorem 1.6, let \(k_{j} \in\mathbb{N}_{+}\cup\{ \infty\}\), \(j=1,2,3\), satisfy
Then
Corollary 1.3
Under the conditions of Theorem 1.7, let \(k_{j} \in\mathbb{N}_{+}\cup\{ \infty\}\), \(j=1,2,3\), satisfy
Then
2 Some lemmas
To prove our results, we need the following lemmas.
Lemma 2.1
(see [22])
Let f be a nonconstant meromorphic function on \(\Omega(\alpha,\beta)\). Then, for arbitrary complex number a, we have
where \(\varepsilon(r,a)=O(1)\) as \(r\rightarrow+\infty\).
Lemma 2.2
(see [22], 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
and
where \(\omega=\frac{\pi}{\beta-\alpha}\), and K is a positive constant not depending on r and R.
Remark 2.1
Nevanlinna conjectured that
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 [26] constructed a counterexample to show that (14) is not valid.
Remark 2.2
From [15, 22, 26] we get the following conclusion:
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 [27])
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
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
Proof
Since \(\frac{1}{f}=1-\frac{f'}{f}\cdot\frac{f-1}{f'}\), we have
From Lemmas 2.1 and 2.3 we have
and
Hence, it follows from (19) and Lemma 2.2 that
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
From this inequality and (20) we easily get (15). □
Lemma 2.5
For all \(a,b\in\mathbb{C}\), we have
Proof
If \(|a|\leq|b|\), then the inequality is obvious.
If \(|a|>|b|\), then we have
This completes the proof of Lemma 2.5. □
3 Proof of Theorem 1.5
Set
Then we have
and from Lemma 2.2 and \(\alpha_{0},\alpha_{1}\in\ell(f)\) it follows that
By Lemma 2.5 we have
Since \(\frac{1}{F}=1-\frac{F-1}{F'}\cdot\frac{F'}{F}\), it follows by Lemma 2.4 that
that is,
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
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
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
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
Substituting all this into \(F(z)\), we get
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
Case 2. \(\overline{C}_{\alpha,\beta}(r,\frac{1}{F-1})\). Set
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,
Since
it follows that
From the definitions of \(F_{1}\), \(F_{2}\) by Lemma 2.1 we have
and
Thus, it follows from (28)-(32) that
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
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
that is,
Then, substituting (27), (33), and (34) into (24), we have
that is,
and since \(C^{1)}_{\alpha,\beta}(r,\frac{1}{f})\leq\overline{C}_{\alpha ,\beta}(r,\frac{1}{f})\), thus it follows that
This completes the proof of Theorem 1.5.
4 Proofs of Theorem 1.6 and Corollary 1.1
4.1 The proof of Theorem 1.6
Let
Then
Since \(\varphi_{i}\in\ell(f)\), \(i=1,2,3\), it follows that \(\alpha_{0},\alpha _{1}\in\ell(f)\) and
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.
4.2 The proof of Corollary 1.1
For \(\varphi\in\ell(f)\) and any positive integer \(k\geq2\), we have
Hence, it follows from (4), (35), and (36) that
This completes the proof of Corollary 1.1.
5 Proofs of Theorems 1.7, 1.8 and Corollaries 1.2, 1.3
5.1 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
that is,
On the other hand, letting
it follows that \(R_{\alpha,\beta}(r,F_{3})=R_{\alpha,\beta}(r,f)\) and
Then, from these inequalities and from (37) by applying Lemma 2.4 for \(F_{3}\) we have
This completes the proof of Theorem 1.7.
5.2 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.
5.3 Proofs of Corollaries 1.2 and 1.3
For \(\varphi\in\ell(f)\) and any positive integer \(k\geq2\), we have
Applying these inequalities and Theorems 1.7 and 1.8, we easily prove Corollaries 1.2 and 1.3.
References
Hayman, WK: Meromorphic Functions. Oxford University Press, London (1964)
Yang, L: Value Distribution Theory. Springer, Berlin (1993/1982)
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)
Chuang, CT: Singular Direction of Meromorphic Functions. Science Press, Beijing (1982)
Hayman, WK, Wu, SJ: Value distribution theory and the research of Yang Lo. Sci. China Ser. B 53(3), 513-522 (2010)
Liao, LW: The new developments in the research of nonlinear complex differential equations. J. Jiangxi Norm. Univ. Nat. Sci. 39(4), 331-339 (2015)
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)
Wu, SJ: On the distribution of Borel directions of entire function. Chin. Ann. Math., Ser. A 14(4), 400-406 (1993)
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)
Yang, L, Zhang, GH: Development of value distribution theory of meromorphic functions. Chin. Sci. Bull. 22, 375-380 (1977) (in Chinese)
Yang, L, Zhang, GH: Sur la distribution des directions de Borel des functions méromorphes. Sci. Sinica 16, 465-482 (1973)
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)
Yang, L: Borel directions of meromorphic functions in an angular domain. Sci. Sin. Special Issue I on Math., 149-164 (1979)
Zheng, JH: On uniqueness of meromorphic functions with shared values in some angular domains. Can. J. Math. 47, 152-160 (2004)
Zheng, JH: On uniqueness of meromorphic functions with shared values in one angular domains. Complex Var. Elliptic Equ. 48, 777-785 (2003)
Zheng, JH: Value Distribution of Meromorphic Functions. Springer, Berlin (2010)
Long, JR, Wu, PC: Borel directions and uniqueness of meromorphic functions. Chin. Ann. Math., Ser. A 33(3), 261-266 (2012)
Zhang, KY, Xu, HY, Yi, HX: Borel directions and uniqueness of meromorphic functions. Abstr. Appl. Anal. 2013, Article ID 793810 (2013)
Zhang, GH: On the research of common Borel directions of a meromorphic function with its derivatives. Acta Math. Sin. 20, 237-247 (1977)
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)
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)
Gol’dberg, AA, Ostrovskii, IV: The Distribution of Values of Meromorphic Function. Nauka, Moscow (1970) (in Russian)
Yang, L, Zhang, GH: The distribution of Borel directions of entire functions. Sci. China Ser. A 3, 157-168 (1976)
Yang, L: Precise fundamental inequalities and sum of deficiencies. Sci. China Ser. A 34, 157-165 (1991)
Yi, CF, Wang, Y, Xu, HY: An improvement of Hayman’s inequality on an angular domain. Ann. Pol. Math. 99, 181-192 (2010)
Gol’dberg, AA: Nevanlinna’s lemma on the logarithmic derivative of a meromorphic function. Math. Notes 17(4), 310-312 (1975)
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 and Affiliations
Corresponding author
Additional information
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
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Xu, H.Y., Zheng, X.M., Zhao, L.P. et al. Some inequalities on meromorphic function and its derivative concerning small functions in an angular domain. J Inequal Appl 2016, 128 (2016). https://doi.org/10.1186/s13660-016-1069-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1069-1