1. Introduction
Complex analysis is a well-established and continuously evolving area of mathematics with significant applications in physics, engineering, and applied sciences. Within this domain, geometric function theory plays a crucial role in understanding the qualitative behavior of analytic and univalent functions. In particular, the study of geometric properties such as
starlikeness,
convexity, and
uniform convexity has attracted considerable attention due to their theoretical importance and practical applications
| [2] | R. Szász, “About the radius of starlikeness of Bessel functions of the first kind,” Monatshefte für Mathematik, vol. 176, no. 3, pp. 323–330, 2015. |
| [7] | Á. Baricz and R. Szász, “The radius of convexity of normalized Bessel functions,” Analysis Mathematica, vol. 41, no. 2, pp. 141–151, 2015. |
| [8] | Á. Baricz, A. P. Kupán, and R. Szász, “The radius of starlikeness of normalized Bessel functions of the first kind,” Proceedings of the American Mathematical Society, vol. 142, no. 6, pp. 2019–2025, 2014. |
[2, 7, 8]
.
Among special functions, the
Bessel functions of the first kind occupy a central position because of their wide applicability in problems related to wave propagation, heat conduction, and solutions of differential equations arising in mathematical physics
| [14] | G. N. Watson, A Treatise on the Theory of Bessel Functions. Cambridge, U.K.: Cambridge University Press, 1944. |
[14]
. Consequently, the investigation of geometric properties of normalized Bessel functions has become an active research topic in recent years. Classical contributions have established foundational results on the radii of starlikeness and convexity for Bessel functions and their normalised forms
| [1] | E. Deniz and R. Szász, “The radius of uniform convexity of Bessel functions,” Journal of Mathematical Analysis and Applications, vol. 453, no. 1, pp. 572–588, 2017. |
| [3] | Á. Baricz, A. Szakál, R. Szász, and N. Yağmur, “Radii of starlikeness and convexity of a product and cross-product of Bessel functions,” Results in Mathematics, vol. 73, no. 2, p. 62, 2018. |
| [6] | Á. Baricz and S. Ponnusamy, “Starlikeness and convexity of generalized Bessel functions,” Integral Transforms and Special Functions, vol. 21, no. 9, pp. 641–653, 2010. |
| [7] | Á. Baricz and R. Szász, “The radius of convexity of normalized Bessel functions,” Analysis Mathematica, vol. 41, no. 2, pp. 141–151, 2015. |
[1, 3, 6, 7]
.
In recent years, several authors have significantly advanced this field. For instance, Cotîrlă, Kupán, and Szász obtained new results concerning the radius of convexity and uniform convexity of Bessel functions, providing sharper bounds and refined analytical techniques
| [15] | K. Li, A. P. Kupán, and R. Szász, “New results about radius of convexity and uniform convexity of Bessel functions,” Axioms, vol. 11, no. 8, p. 380, 2022. |
[15]
. Similarly, Zayed, Kupán, and Szász investigated geometric properties of generalized Bessel functions, including convexity and uniform convexity, from a broader analytical perspective. Furthermore, Baricz, Kumar, and Singh derived asymptotic expansions and bounds for the radii associated with normalised Bessel functions, thereby deepening the theoretical understanding of these functions. Additional studies, such as those by Zhao, Shi, and Chu, have explored convexity properties of modified Bessel functions, emphasizing the continued relevance of this area of research.
Motivated by these developments, the present work focuses on determining the radius of convexity and radius of uniform convexity for a class of normalised Bessel functions corresponding to the parameter range . We also establish alternative proofs for the convexity of order and compare the results obtained with existing findings to reveal new relationships and improvements. The structure of the paper is as follows. In the preliminary section, we recall essential definitions and lemmas required for our analysis. Subsequently, we present the main results concerning the radii of convexity and uniform convexity, along with rigorous proofs. Finally, we discuss the implications of our findings and suggest possible directions for future research.
Let = where r0. Consider an analytic function A defined in normalised by A and
ThefunctionAoftheformA(z)=z+…(1)
The function is said to be convex in if it satisfies Similarly, the function is uniformly convex if ,The radius of convexity of order α for A is defined by the equality
(α)=sup(2)
The concept of the radius of uniform convexity is
(α)=sup(3)
In this work, we focus on normalised Bessel functions and derive new bounds for these radii using analytic methods. These results obtained improve several known estimates and provide further insight into the geometric behaviour of these functions.
Normalised form of the Bessel function
The Bessel function of the first kind of order
, denoted by
, is defined by the series expansion
| [14] | G. N. Watson, A Treatise on the Theory of Bessel Functions. Cambridge, U.K.: Cambridge University Press, 1944. |
[14]
=
To study geometric properties, it is convenient to consider normalised versions of this function. Accordingly, we define the following normalised forms
| [5] | Á. Baricz, Generalized Bessel Functions of the First Kind, Lecture Notes in Mathematics, vol. 1994. Berlin, Germany: Springer, 2010. |
[5]
=
=and=(4)
Here, and the functions are analytic in the unit disk.
2. Preliminary Results
In this section, we present auxiliary results required for the main results.
Lemma 2.1 | [4] | Á. Baricz, “Geometric properties of generalized Bessel functions,” Publicationes Mathematicae Debrecen, vol. 73, pp. 155–178, 2008. |
| [14] | G. N. Watson, A Treatise on the Theory of Bessel Functions. Cambridge, U.K.: Cambridge University Press, 1944. |
[4, 14] Let . Then consists of infinitely many real zeros along with a pair of purely imaginary zeros. These zeros occur in conjugate pairs due to symmetry properties of the function. The zeros (z) are taken to be where n N. We may suppose, without restricting the generality, that = ia, a and 0a …... …...
Lemma 2.2 | [7] | Á. Baricz and R. Szász, “The radius of convexity of normalized Bessel functions,” Analysis Mathematica, vol. 41, no. 2, pp. 141–151, 2015. |
| [14] | G. N. Watson, A Treatise on the Theory of Bessel Functions. Cambridge, U.K.: Cambridge University Press, 1944. |
[7, 14] The following equality holds =
Lemma 2.3 | [8] | Á. Baricz, A. P. Kupán, and R. Szász, “The radius of starlikeness of normalized Bessel functions of the first kind,” Proceedings of the American Mathematical Society, vol. 142, no. 6, pp. 2019–2025, 2014. |
[8] Let be defined as above. Then its logarithmic derivative admits the representation
=1-
The series connects uniformly for any compact subset of C\ {: n N}
Lemma 2.4 | [9] | S. Bulut and O. Engel, “The radius of starlikeness, convexity and uniform convexity of the Legendre polynomials of odd degree,” Results in Mathematics, vol. 74, p. 48, 2019. |
[9] If ,R and ||, thenand
Lemma 2.5 | [15] | K. Li, A. P. Kupán, and R. Szász, “New results about radius of convexity and uniform convexity of Bessel functions,” Axioms, vol. 11, no. 8, p. 380, 2022. |
[15] If , and ||, then
Lemma 2.6 | [15] | K. Li, A. P. Kupán, and R. Szász, “New results about radius of convexity and uniform convexity of Bessel functions,” Axioms, vol. 11, no. 8, p. 380, 2022. |
[15] If,and||,then
Lemma 2.7
If the function
are defined by (
4) respectively, then
(5)
Proof
Two times differentiation with respect to z. After multiplying by z, we get the following equality
=
The function
is a solution of the Bessel differential equation. Thus, we can replace the function
by
We obtain equation (
5).
3. Main Results
General results on the radius of convexity for analytic functions can be found in
| [12] | O. Engel, A. P. Kupán, and Á. O. Páll-Szabó, “About the radius of convexity of some analytic functions,” Creative Mathematics and Informatics, vol. 24, no. 2, pp. 155–161, 2015. |
[12]
, which we adapt to the present setting.
Theorem 3.1 | [12] | O. Engel, A. P. Kupán, and Á. O. Páll-Szabó, “About the radius of convexity of some analytic functions,” Creative Mathematics and Informatics, vol. 24, no. 2, pp. 155–161, 2015. |
[12] If
and
(-2, -1), Then the radius of convexity of order
for the mapping
is
,
is the unique root of the equation
| [1] | E. Deniz and R. Szász, “The radius of uniform convexity of Bessel functions,” Journal of Mathematical Analysis and Applications, vol. 453, no. 1, pp. 572–588, 2017. |
| [7] | Á. Baricz and R. Szász, “The radius of convexity of normalized Bessel functions,” Analysis Mathematica, vol. 41, no. 2, pp. 141–151, 2015. |
| [11] | Ç. Murat, E. Deniz, and R. Szász, “Radii of α-convexity of some normalized Bessel functions of the first kind,” Results in Mathematics, vol. 72, no. 4, pp. 2023–2035, 2017. |
| [15] | K. Li, A. P. Kupán, and R. Szász, “New results about radius of convexity and uniform convexity of Bessel functions,” Axioms, vol. 11, no. 8, p. 380, 2022. |
[1, 7, 11, 15]
(6)
in the interval (0, a).
Proof
=1-(7)
Replacing
then (
7) becomes
z(8)
(9)
Using (
9) in (
8) then we get
(10)
Taking Logarithmic differentiation of this equality leads to
(11)
As a function , the smallest root of the equation is the radius of starlikeness, denoted as ,
in (0, a). Thus, we have
(12)
Taking
Then the equation (
11) suggests the inequality shown below.
for every zD ()
Using ,and v in Lemma 4,
and(13)
Similarly, Lemma (
5) and Lemma (
6) imply that
and(14)
Re((15)
Provided that
, where
verifies the inequalities (
11)
The following equalities hold: = 1 and . Consequently, the equation
has a real root in (0,
).The minimal positive solution of the corresponding functional equation derived from the normalised form
is denoted by
), and this root is the radius of convexity of order
of the function
. The first equality of Lemma (
7) and the equality
(z) implies that the equation
is equivalent to (
6). Thus, the obtained radius satisfies the required conditions. These results are consistent with earlier findings
| [11] | Ç. Murat, E. Deniz, and R. Szász, “Radii of α-convexity of some normalized Bessel functions of the first kind,” Results in Mathematics, vol. 72, no. 4, pp. 2023–2035, 2017. |
| [13] | O. Engel and Á. O. Páll-Szabó, “The radius of convexity of particular functions and applications to the study of a second order differential inequality,” Journal of Contemporary Mathematical Analysis, vol. 52, no. 3, pp. 118–127, 2017. |
[11, 13]
.
In the following theorem, we find the mapping radius of uniform convexity.
Theorem 3.2
Under the same assumptions of Theorem 1, the radius of uniform convexity for the mapping
is
, where
is the smallest positive root of the equation
| [1] | E. Deniz and R. Szász, “The radius of uniform convexity of Bessel functions,” Journal of Mathematical Analysis and Applications, vol. 453, no. 1, pp. 572–588, 2017. |
| [15] | K. Li, A. P. Kupán, and R. Szász, “New results about radius of convexity and uniform convexity of Bessel functions,” Axioms, vol. 11, no. 8, p. 380, 2022. |
[1, 15]
(16)
in (0,)
Proof
Again, using inequalities (
13) and (
14), and in combination with the above inequality
(17)
Inequalities (
15) and (
17) imply
(18)
The minimum non-negative of the equation in the interval (0,) is denoted by . According to (18), it is the biggest with the property that
Lemma 7 and the equality
(z) implies that the equation
is equal to (
16). Complete the proof.