Abstract
In this paper our aim is to deduce some sufficient (and necessary) conditions for the close-to-convexity of some special functions and their derivatives, like Bessel functions, Struve functions, and a particular case of Lommel functions of the first kind, which can be expressed in terms of the hypergeometric function \({}_1F_2\). The key tool in our proofs is a result of Shah and Trimble about transcendental entire functions with univalent derivatives. Moreover, a known result of Pólya on entire functions, the infinite product representations and some results on zeros of Bessel, Struve, and Lommel functions of the first kind are used in order to achieve the main results of the paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
Special functions play an important role in pure and applied mathematics. Bessel functions of the first kind are among of the special functions which were studied by many authors from many different points of view. The geometric properties, like univalence, starlikeness, spirallikeness and convexity were studied already in the sixties by Brown [9–11], and also by Kreyszig and Todd [13]. However, many important problems of Bessel functions, like determining the radius of starlikeness, and the radius of convexity, or finding the optimal parameter for which the normalized Bessel function of the first kind will be starlike, convex, or close-to-convex, have not been studied in detail or have not been solved completely. Some of these problems have been studied later in the papers [1–3, 5, 6, 8, 19, 20], however, there are still some open problems in this direction. For example, there is no information about the close-to-convexity or univalence of the derivatives of Bessel functions, or other special functions. In this paper we make a contribution to the subject by showing some sufficient (and necessary) conditions for the close-to-convexity of some special functions and their derivatives, like Bessel functions, Struve functions, and a particular case of Lommel functions of the first kind, which can be expressed in terms of the hypergeometric function \({}_1F_2\). In order to prove our main results we use a result of Shah and Trimble [17, Theorem 2] about transcendental entire functions with univalent derivatives. We use also a well-known result of Pólya on entire functions, and the Weierstrass product representations and some results on zeros of Bessel, Struve, and Lommel functions of the first kind are used in order to achieve the main results of the paper. The paper is organized as follows. In this section we recall the result of Shah and Trimble together with the definitions of Bessel, Struve and Lommel functions. Moreover, at the end of this section we present the main results of this paper. Section 2 contains the proofs of these results.
The Bessel function of the first kind \(J_{\nu },\) the Struve function of the first kind \({\mathbf {H}}_{\nu },\) and the Lommel function of the first kind \(s_{\mu ,\nu },\) are particular solutions of the Bessel differential equation [15, p. 217]
Struve differential equation [15, p. 288]
and the inhomogeneous Bessel differential equation [15, p. 294]
Let \({\mathbb {D}}=\{z\in {\mathbb {C}}:|z|<1\}\) denote the open unit disk. In this paper we are mainly interested on the normalized Bessel function of the first kind \(f_{\nu }:{\mathbb {D}}\rightarrow {\mathbb {C}},\) normalized Struve function of the first kind \(h_{\nu }:{\mathbb {D}}\rightarrow {\mathbb {C}},\) and normalized Lommel function of the first kind \(l_{\mu }:{\mathbb {D}}\rightarrow {\mathbb {C}},\) which are defined as follows
where \(J_{\nu }\) and \({\mathbf {H}}_{\nu }\) stand for the Bessel and Struve functions of the first kind, while \(s_{\mu ,\nu }\) is the Lommel function of the first kind, which can be expressed in terms of a hypergeometric series as
The next result of Shah and Trimble [17, Theorem 2] is the cornerstone of this paper.
Lemma 1
Let \(f:{\mathbb {D}}\rightarrow {\mathbb {C}}\) be a transcendental entire function of the form
where all \(z_n\) have the same argument and satisfy \(|z_n|>1.\) If f is univalent in \({\mathbb {D}},\) then
In fact (1.3) holds if and only if f is starlike in \({\mathbb {D}}\) and all of its derivatives are close-to-convex there. Furthermore, if \(z_n'\) are the zeros of \(f'\), then f and all its derivatives are univalent in \({\mathbb {D}}\) and map \({\mathbb {D}}\) onto convex domains if and only if
Using the above lemma our aim is to present the following interesting results.
Theorem 1
The following assertions are true:
-
(a) The function \(f_{\nu }\) is starlike and all of its derivatives are close-to-convex in \({\mathbb {D}}\) if and only if \(\nu \ge \nu _0,\) where \(\nu _0\simeq -0.5623\dots \) is the unique root of the equation \(f'_{\nu }(1)=0\) on \((-1,\infty ).\)
-
(b) The function \(f_{\nu }\) and all of its derivatives are convex in \({\mathbb {D}}\) if and only if \(\nu \ge \nu _1,\) where \(\nu _1\simeq -0.1438\dots \) is the unique root of the equation \(3J_{\nu }(1)+2(\nu -2)J_{\nu +1}(1)=0\) on \((-1,\infty ).\)
Theorem 2
If \(|\nu |\le \frac{1}{2},\) then \(h_{\nu }\) is starlike and all of its derivatives are close-to-convex in \({\mathbb {D}}.\)
Theorem 3
If \(\mu \in \left( -1,1\right) , \mu \ne 0,\) then \(l_{\mu }\) is starlike and all of its derivatives are close-to-convex in \({\mathbb {D}}.\)
We note that the results of Theorem 1 are sharp. Moreover, it is worth to mention that in [19, Theorem 6] it was deduced already the starlikeness of \(f_{\nu },\) while in [8, Theorem 6] the convexity of \(f_{\nu }\), however, our approach is much easier and as we can see below is applicable also for Struve and Lommel functions. Moreover, in the above theorems we have also information on the close-to-convexity or convexity of the derivatives of the Bessel, Struve, and Lommel functions, respectively.
Now, recall that the main idea of this paper is to use Lemma 1, which requires the use of the Weierstrassian infinite canonical representation of the special functions. But, these kinds of product representations are not valid for any range of the parameters of the corresponding special functions. Thus, we do not know the best possible range of parameters for which the normalized Struve and Lommel functions of the first kind are starlike and their derivatives will be close-to-convex in the open unit disk. These problems remain open and are subject of further research. As we can see in the case of the Bessel functions of the first kind [5, 8, 19], these kind of problems are not easy to handle, since they require a lot of information about the zeros of Bessel functions. But, the zeros of Struve and Lommel functions are not much studied; for example, there is no formula yet for their derivative with respect to the order, which would be a useful source in the study of the geometric properties of Struve and Lommel functions.
2 Proofs of the Main Results
In this section our aim is to present the proofs of the main results.
Proof of Theorem 1
(a) Let \(j_{\nu ,n}\) denote the nth positive zero of the Bessel function \(J_{\nu }.\) Using the infinite product representation [15, p. 235] of the Bessel functions of the first kind, that is,
we obtain that the normalized Bessel function of the first kind \(f_{\nu }\) belongs to the family of transcendental entire functions, and has the canonical Hadamard factorization
We know [19, Lemma 3] that if \(\nu >\nu ^{\star },\) where \(\nu ^{\star }\simeq -0.7745\dots \) is the unique root of \(f_{\nu }(1)=0\) or equivalently \(j_{\nu ,1}=1,\) then \(j_{\nu ,1}>1,\) and then we have \(j_{\nu ,n}>1\) for all \(n\in \{1,2,\dots \}\) and \(\nu >\nu ^{\star }.\) For the sake of completeness we mention here that the above result is almost immediate if we use the well-known fact that \(\nu \mapsto j_{\nu ,1}\) is an increasing function on \((-1,\infty ).\) Now, using (2.1) we obtain that
and hence
if and only if \(\nu \ge \nu _0,\) where \(\nu _0\simeq -0.5623\dots \) is the unique root of the equation \(f_{\nu }'(1)=0.\) Here we used that when \(\nu >\nu ^{\star }\) all positive zeros \(j_{\nu ,n}\) satisfy \(j_{\nu ,n}>1\) and hence \(f_{\nu }(1)>0,\) according to (2.1). Moreover, we used that for all \(\nu >-1\) we have
since the function \(\nu \mapsto j_{\nu ,n}\) is increasing on \((-1,\infty )\) for all fixed \(n\in \{1,2,\dots \},\) see [15, p. 236]. Thus, using the inequality (2.2) we can see that the function \(f_{\nu }\) satisfies (1.3) and then by applying Lemma 1 we obtain that indeed \(f_{\nu }\) is starlike and all of its derivatives are close-to-convex in \({\mathbb {D}}\) if and only if \(\nu \ge \nu _0.\) This completes the proof of this part.
(b) Differentiating (1.2) we get,
Now, let us denote the nth positive zero of the Dini function \(z\mapsto (2-\nu )J_{\nu }(z)+zJ_{\nu }'(z)\) by \(\beta _{\nu ,n}.\) Then the zeros of \(f_{\nu }'\) are exactly \(\beta _{\nu ,n}^2.\) We know that [8, Lemma 5] if \(\nu >-1,\) then we have
Using this relation we get
Here we used the recurrence relation [15, p. 222]
and the fact that the Bessel function \(J_{\nu }\) satisfies the Bessel differential equation (1.1) and thus we have
Now, for \(\nu >-1\) let \(\gamma _{\nu ,n}\) be the nth positive root of the equation \(\gamma {J}_\nu (z)+zJ_\nu '(z)=0.\) Owing to Landau [14, p. 196] we know that if \(\nu +\gamma \ge 0,\) then the function \(\nu \mapsto \gamma _{\nu ,n}\) is strictly increasing on \((-1,\infty )\) for \(n\in \{1,2,\dots \}\) fixed. This implies that \(\nu \mapsto \beta _{\nu ,n}\) is strictly increasing on \((-1,\infty )\) for \(n\in \{1,2,\dots \}\) fixed, and thus the function
is strictly increasing on \((-1,\infty ).\) Consequently we have that
if and only if \(\nu \ge \nu _1,\) where \(\nu _1\simeq -0.1438\dots \) is the unique root of the equation \(3J_{\nu }(1)+2(\nu -2)J_{\nu +1}(1)=0\) on \((-1,\infty ),\) according to (2.3). With this the proof is complete. \(\square \)
Proof of Theorem 2
We start with the following result, see [7, Lemma 1]. If \(|\nu |\le \frac{1}{2},\) then the Hadamard factorization of the transcendental entire function \({\mathcal {H}}_{\nu }:{\mathbb {C}}\rightarrow {\mathbb {C}},\) defined by
reads as follows
where \(h_{\nu ,n}\) stands for the nth positive zero of the Struve function \({\mathbf {H}}_{\nu }.\) From this we obtain that \(h_{\nu }\) belongs to the family of transcendental entire functions, and has the canonical Hadamard factorization
Recall again that if \(\nu >\nu ^{\star },\) where \(\nu ^{\star }\simeq -0.7745\dots \) is the unique root of \(f_{\nu }(1)=0\) or equivalently \(j_{\nu ,1}=1,\) then \(j_{\nu ,1}>1,\) and then we have \(j_{\nu ,n}>1\) for all \(n\in \{1,2,\dots \}\) and \(\nu >\nu ^{\star }.\) Now, since (see Steinig [18, p. 371]) there is exactly one zero of \(J_{\nu }\) between two consecutive positive zeros of \({\mathbf {H}}_{\nu },\) and exactly one in the interval \((0,h_{\nu ,1}),\) the above result implies that \(h_{\nu ,n}>h_{\nu ,1}>j_{\nu ,1}>1\) for all \(|\nu |\le \frac{1}{2}\) and \(n\in \{2,3,\dots \}.\) Thus, we have \(h_{\nu }(1)>0\) for all \(|\nu |\le \frac{1}{2}.\) Now, using (2.4) we obtain that
and hence
if and only if \(h_{\nu }'(1)\ge 0.\) Thus, using the inequality (2.5) we can see that the function \(h_{\nu }\) satisfies (1.3) and then by applying Lemma 1 we obtain that indeed \(h_{\nu }\) is starlike and all of its derivatives are close-to-convex in \({\mathbb {D}}\) if and only if \(h_{\nu }'(1)\ge 0.\)
Next, we show that if \(\nu \ge -\frac{1}{2},\) then \(h_{\nu }'(1)>0.\) For this we use the recurrence relation
and we obtain
which implies in particular
Using [15, p. 291]
for \(\nu =-\frac{1}{2}\) we have
that is, we have \(h_{-\frac{1}{2}}'(1)>0.\) Now, using the recurrence relation [15, p. 292]
and the integral representation of \({\mathbf {H}}_{\nu }\)
we get that when \(\nu >-\frac{1}{2}\)
since the last integrand is less than 1. This completes the proof. \(\square \)
Proof of Theorem 3
We start with the following result, see [4, Lemma 1]. Let
where \(z\in {\mathbb {C}}, \mu \in {\mathbb {R}}\), and \(k\in \{0,1,\ldots \}\) such that \(\mu -k\) is not in \(\{0,-1,\dots \}.\) Then, the Hadamard’s factorization of \(\varphi _{k}\) is of the form
where \(\pm z_{\mu ,k,1}, \pm z_{\mu ,k,2},\ldots \) are all zeros of the function \(\varphi _{k}\) and the infinite product is absolutely convergent. For \(n\in \{1,2,\dots \}\) let \(\xi _{\mu ,n}:=z_{\mu ,0,n}\) be the nth positive zero of \(\varphi _{0},\) and let \(\xi _{\mu ,0}=0\). Then, using (2.6) for \(k=0\) we get that
satisfies
which implies that
We know that (see [12, Lemma 2.1]) \(\xi _{\mu ,n}\in \left( n\pi ,(n+1)\pi \right) \) for all \(\mu \in (0,1)\) and \(n\in \{1,2,\dots \},\) which implies that \(\xi _{\mu ,n}>\xi _{\mu ,1}>\pi >1\) for all \(\mu \in (0,1)\) and \(n\in \{2,3,\dots \}.\) Consequently, we have that \(l_{\mu }(1)=\varphi _0(1)>0\) for \(\mu \in (0,1).\) On the other hand, differentiating both sides of \(l_{\mu }(z^2)=z^2\varphi _0(z)\) we obtain \(2zl_{\mu }'(z^2)=2z\varphi _0(z)+z^2\varphi _0'(z).\) Now, using the recurrence relation [4, Lemma 2]
and the integral representations [4, Lemma 3]
we get for \(\mu \in (0,1)\) that
Thus, for \(\mu \in (0,1)\) the right-hand side of (2.7) is positive, and using Lemma 1 we get that for \(\mu \in (0,1)\) the transcendental entire function \(l_{\mu }\) is starlike in \({\mathbb {D}}\) and all of its derivatives are close-to-convex in \({\mathbb {D}}.\)
Now, let \(\zeta _{\mu ,n}:=z_{\mu ,1,n}\) be the nth positive zero of \(\varphi _{1}\). By applying (2.6) for \(k=1\) we get that
satisfies
which implies that
Recall the following known result of Pólya [16]: if the function f is positive, strictly increasing, continuous on [0, 1), and satisfies \(\int \limits _0^1f(t)\mathrm{d}t<\infty ,\) then the entire function \(z\mapsto \int \limits _0^1f(t)\cos (zt)\mathrm{d}t\) has only real and simple zeros, and each interval \(\left( (2n-1)\frac{\pi }{2},(2n+1)\frac{\pi }{2}\right) , n\in \{1,2,\dots \},\) contains exactly one zero. Applying this result we obtain that \(\zeta _{\mu ,n}>\zeta _{\mu ,1}>\frac{\pi }{2}>1\) for all \(n\in \{2,3,\dots \}, \mu \in (0,1),\) which in turn implies that \(l_{\mu -1}(1)>0\) for \(\mu \in (0,1).\) Now, differentiating both sides of \(l_{\mu -1}(z^2)=z^2\varphi _1(z)\) we obtain \(2zl_{\mu -1}'(z^2)=2z\varphi _1(z)+z^2\varphi _1'(z),\) which by means of the integral representation of \(\varphi _1\) implies that
where \(\mu \in (0,1).\) Here we used that the function \(g:[0,1]\rightarrow {\mathbb {R}},\) defined by \(g(t)=2\cos (t)-t\sin (t),\) is decreasing and hence for all \(t\in [0,1]\) we have \(g(t)\ge g(1)=2\cos 1-\sin 1\simeq 0.2391336269\dots >0.\) Thus, for \(\mu \in (0,1)\) the right-hand side of (2.8) is positive, and using Lemma 1 we conclude that for \(\mu \in (0,1)\) the transcendental entire function \(l_{\mu -1}\) is starlike in \({\mathbb {D}}\) and all of its derivatives are close-to-convex in \({\mathbb {D}}.\) Changing \(\mu \) to \(\mu +1,\) the proof of this theorem is complete. \(\square \)
References
Baricz, Á.: Geometric properties of generalized Bessel functions of complex order. Mathematica 48(71), 13–18 (2006)
Baricz, Á.: Geometric properties of generalized Bessel functions. Publ. Math. Debrecen 73, 155–178 (2008)
Baricz, Á.: Generalized Bessel Functions of the First Kind, Vol 1994 of Lecture Notes in Mathematics. Springer, Berlin (2010)
Baricz, Á., Koumandos, S.: Turán type inequalities for some Lommel functions of the first kind. Proc. Edinb. Math. Soc. (2014) (in press)
Baricz, Á., Kupán, P.A., Szász, R.: The radius of starlikeness of normalized Bessel functions of the first kind. Proc. Am. Math. Soc. 142(6), 2019–2025 (2014)
Baricz, Á., Ponnusamy, S.: Starlikeness and convexity of generalized Bessel functions. Integral Transforms Spec. Funct. 21, 641–653 (2010)
Baricz, Á., Ponnusamy, S., Singh, S.: Turán type inequalities for Struve functions. Proc. Am. Math. Soc. (submitted) (2014)
Baricz, Á., Szász, R.: The radius of convexity of normalized Bessel functions of the first kind. Anal. Appl. 12(5), 485–509 (2014)
Brown, R.K.: Univalence of Bessel functions. Proc. Am. Math. Soc. 11(2), 278–283 (1960)
Brown, R.K.: Univalent solutions of \(W^{\prime \prime }+pW=0,\) Canad. J. Math. 14, 69–78 (1962)
Brown, R.K.: Univalence of normalized solutions of \(W^{\prime \prime }(z)+p(z)W(z)=0,\) Int. J. Math. Math. Sci. 5, 459–483 (1982)
Koumandos, S., Lamprecht, M.: The zeros of certain Lommel functions. Proc. Am. Math. Soc. 140, 3091–3100 (2012)
Kreyszig, E., Todd, J.: The radius of univalence of Bessel functions. Ill. J. Math. 4, 143–149 (1960)
Landau, L.J.: Ratios of Bessel functions and roots of \(\alpha {J}_\nu (x)+xJ^{\prime }_\nu (x)=0\). J. Math. Anal. Appl. 240, 174–204 (1999)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Pólya, G.: Über die Nullstellen gewisser ganzer Funktionen. Math. Z. 2, 352–383 (1918)
Shah, S.M., Trimble, S.Y.: Entire functions with univalent derivatives. J. Math. Anal. Appl. 33, 220–229 (1971)
Steinig, J.: The real zeros of Struve’s function. SIAM J. Math. Anal. 1(3), 365–375 (1970)
Szász, R.: On starlikeness of Bessel functions of the first kind. In: Proceedings of the 8th Joint Conference on Mathematics and Computer Science, Komárno, Slovakia (2010)
Szász, R., Kupán, P.A.: About the univalence of the Bessel functions. Stud. Univ. Babeş-Bolyai Math. 54(1), 127–132 (2009)
Watson, G.N.: A Treatise of the Theory of Bessel Functions. Cambridge University Press, Cambridge (1995)
Acknowledgments
The research of Á. Baricz was supported by a research grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, Project Number PN-II-RU-TE-2012-3-0190/2014.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by V. Ravichandran.
Á. Baricz dedicates this paper to his friend Prof. Tibor K. Pogány on the occasion of his 60th birthday.
Rights and permissions
About this article
Cite this article
Baricz, Á., Szász, R. Close-to-Convexity of Some Special Functions and Their Derivatives. Bull. Malays. Math. Sci. Soc. 39, 427–437 (2016). https://doi.org/10.1007/s40840-015-0180-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-015-0180-7
Keywords
- Bessel functions of the first kind
- Lommel functions of the first kind
- Struve functions
- Close-to-convex functions
- Entire functions
- Zeros of Bessel, Lommel and Struve functions