Next Article in Journal
Euler–Riemann–Dirichlet Lattices: Applications of η(s) Function in Physics
Previous Article in Journal
The Constraint Function Response Shifting Scalar-Based Optimization Method for the Reliability-Based Dynamic Optimization Problem
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Results of Certain Subclasses of Univalent Function Related to Bessel Functions

by
Venkatesan Prakash
1,
Daniel Breaz
2,*,
Srikandan Sivasubramanian
1,* and
Sheza M. El-Deeb
3
1
Department of Mathematics, University College of Engineering Tindivanam, Anna University, Tindivanam 604001, India
2
Department of Mathematics, “1 Decembrie 1918” University of Alba-Iulia, 510009 Alba Iulia, Romania
3
Department of Mathematics, College of Science, Qassim University, Buraydah 51452, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Mathematics 2025, 13(4), 569; https://doi.org/10.3390/math13040569
Submission received: 11 January 2025 / Revised: 5 February 2025 / Accepted: 7 February 2025 / Published: 8 February 2025
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

:
In this article, we established the necessary and sufficient conditions as well as the inclusion relations for a few subclasses of univalent functions associated with Bessel functions. Furthermore, we investigated an integral operator linked to Bessel functions and elaborated on several mapping properties. The study includes various theorems, corollaries and the consequences derived from the main results.
MSC:
30C45; 33C50; 30C80

1. Introduction and Preliminaries

Define A as the collection of functions : U C that fulfill the normalization requirements ( 0 ) = 0 and ( 0 ) = 1 . These functions are analytic in the region U = z : | z | < 1 and are represented by the following equation:
( z ) = z + s = 2 d s z s .
Additionally, we define S as a subset of A , where the functions within S are univalent in U . Let S 1 represent the subfamily of S that includes functions for which both and its derivative are univalent in U . A function ( z ) expressed in the form (1) is classified as belonging to S m if both and its first m derivatives are univalent in U . Let S ( δ ) and C ( δ ) represent the subclasses of S that include functions which are starlike of order δ and convex of order δ , where 0 δ < 1 . The analytic characterizations of these two classes are provided as follows:
S ( δ ) = S : z ( z ) ( z ) > δ , 0 δ < 1
and
C ( δ ) = S : 1 + z ( z ) ( z ) > δ , 0 δ < 1 .
Further, C C ( 0 ) and S S ( 0 ) , the well-known standard class of convex functions. It is an established fact that
C ( δ ) z S * ( δ ) .
A function A is considered to be in the UCV class of uniformly convex functions in the unit disk U if it qualifies as a normalized convex function in U . Furthermore, it possesses the characteristic that for every circular arc Γ situated in U , with center ξ also in U , the image curve ( Γ ) remains a convex arc. The concept of uniformly convex functions, designated as UCV , was introduced by Goodman [1]. Rønning [2] showed that a function ( z ) represented in the form (1) is in UCV if and only if
1 + ( z ξ ) ( z ) ( z ) 0 , ( z , ξ ) U × U .
He also introduced the concept of uniformly starlike functions and the analytic criteria is as follows: UST if and only if
( z ) ( ξ ) ( z ξ ) ( z ) 0 , ( z , ξ ) U × U .
In addition, we identify two important subclasses of S , known as α UCV and α ST , which include functions that are α -uniformly convex and α - starlike in U , respectively. The analytic representations of these two classes are provided by
α UCV : = S : 1 + z ( z ) ( z ) > α z ( z ) ( z ) ( z U ; 0 α < )
and
α ST : = S : z ( z ) ( z ) > α z ( z ) ( z ) 1 ( z U ; 0 α < ) .
The α UCV class was defined by Kanas and Wiśniowska [3], where they explored its geometric definition and its links to conic domains. The α ST class was studied in [4], showing its connection to the α UCV class via the well-known Alexander relation that relates the standard classes of convex and starlike functions. For more comprehensive developments regarding the α UCV and α ST classes, see the contributions of Kanas and Srivastava [5]. In this case, when α = 1 , we can conclude that
1 UCV UCV , 1 ST = SP ,
where UCV and SP represent well-known classes of uniformly convex functions and parabolic starlike functions within the disk U (for further information, we refer to sources [1,6,7,8,9,10,11,12,13,14,15,16,17]). Notably, Srivastava and Mishra [18] conducted a comprehensive and cohesive examination of the UCV and SP classes by employing a specific fractional calculus operator.
Let T denotes the class of all functions given by
( z ) = z s = 2 d s z s , a s 0 ,
normalized by the conditions ( 0 ) = ( 0 ) 1 = 0 which are analytic and univalent in U . We denote by T * ( δ ) and K ( δ ) the subclasses of T that are, respectively, starlike of order δ and convex of order δ . Silverman [19] investigated functions in the classes T * ( δ ) = T S * ( δ ) and K ( δ ) = T C ( δ ) . Furthermore, let T 1 be the subfamily of T consisting of functions for which and are univalent in U . It is clear that the second coefficient of a function in T 1 cannot vanish. Therefore, class T 1 is non-empty as the function z z 2 2 belongs to the class T 1 . A function ( z ) given in the form (3) is said to be in T M if and its first M derivatives are univalent in U . If T M , then is said to be in T .
In 1995, for f A , Dixit and Pal [20] defined the class R λ ( E , F ) as follows: For λ C { 0 } and 1 F < E 1 , a function R λ ( E , F ) if it satisfies the following condition
( z ) 1 ( E F ) λ F [ ( z ) 1 ] < 1 , z U .

1.1. Definition

Definition 1.
A function ( z ) expressed in the form (1) is classified as belonging to S 1 if both ℏ and its first derivatives are univalent in U . Similarly we can define that a function ( z ) expressed in the form (1) is classified as belonging to S 2 if , and are univalent in U .
Definition 2.
A function ( z ) expressed in the form (3) is classified as belonging to T 1 if both ℏ and its first derivatives are univalent in U . Similarly we can define that a function ( z ) expressed in the form (3) is classified as belonging to T 2 if , and are univalent in U .
Remark 1.
There exists an interesting relation between the classes S 1 , S 2 , T 1 and T 2 , as shown here:
T 1 = T S 1 a n d T 2 = T S 2 .

1.2. Bessel Function

The specific solution to the second-order linear homogeneous differential equation
z 2 w ( z ) + a z w ( z ) + b z 2 q 2 + ( 1 a ) q w ( z ) = 0 , ( b C a n d a , q R )
known as the generalized Bessel function of the first kind and order q . The solution is represented as w q , a , b ( z ) and can be expressed through the infinite sum formulation given by
w ( z ) = w q , a , b ( z ) = s = 0 ( b ) s s ! Γ q + s + a + 1 2 z 2 2 s + q z U .
In this context, Γ refers to the Euler gamma function. Baricz [21] investigated the generalized Bessel function of the first kind. In 2010, Baricz and Frasin [22] proved the univalence of specific integral operators associated with generalized Bessel functions. Furthermore, Baricz in partnership with Ponnusamy [23] identified criteria for the starlikeness and convexity of these functions (see [24] also). In 2008, Baricz [25] introduced and studied Bessel functions. When setting a = b = 1 in (4), the Bessel functions are defined as follows
J q ( z ) = s = 0 ( 1 ) s s ! Γ ( q + s + 1 ) z 2 2 s + q , z U .
For a = b = 1 in (4), we obtained the modified Bessel functions which are defined [25] by
I q ( z ) = s = 0 1 s ! Γ ( q + s + 1 ) z 2 2 s + q , z U .
The spherical Bessel functions [25] are derived for the case where a 1 = b = 1 in Equation (4), as defined by
K q ( z ) = 2 z J q + 1 2 ( z ) = s = 0 ( 1 ) s s ! Γ q + s + 3 2 z 2 2 s + q , z U .
Under particular conditions, Bessel functions of the first kind may be reduced to elementary functions like sine and cosine, and modified Bessel functions of the first kind can be simplified to hyperbolic sine and cosine. According to the series expansion w q , a , b , we have w q , a , b S ; therefore, we consider the following transformation:
v q , a , b ( z ) = 2 q Γ q + a + 1 2 z q / 2 w q , a , b ( z ) .
By virtue of (4) following with a simple computation, it is easy to see that the function w q , a , b ( z ) is a single-valued function for q R . Through the application of the Pochhammer symbol, defined in terms of the Euler gamma function, we can express the function v q , a , b ( z ) with the following series representation
v q ( z ) = v q , a , b ( z ) = s = 0 b 4 s ( k ) s ( s ) ! z s ,
for k = q + a + 1 2 Z 0 = 0 , 1 , 2 , . For a = b = 1 in (5), then the function v q , a , b ( z ) q ( z ) have the following series representation
q ( z ) = v q , 1 , 1 ( z ) = s = 0 z s 4 s ( m ) s ( s ) ! z s
for some m = q + 1 Z 0 . For z = 1 , we have
v q ( 1 ) = s = 0 b 4 s ( k ) s ( s ) ! .
Further, we have the following three derivatives in their initial form
v q ( 1 ) = b 4 ( k ) v q + 1 ( 1 ) ,
v q ( 1 ) = b 4 2 ( k ) 2 v q + 2 ( 1 ) ,
v q ( 1 ) = b 4 3 ( k ) 3 v q + 3 ( 1 ) ,
z v q ( z ) = z + s = 2 b 4 s 1 ( k ) s 1 ( 1 ) s 1 z s
and
U 1 ( z ) = z ( 2 v q ( z ) ) = z s = 2 b 4 s 1 ( k ) s 1 ( 1 ) s 1 z s .
For any function A given in the form (1) and g A given by g ( z ) = z + s = 2 b s z s , we define the Hadamard product (or Convolution) of and g by
g ( z ) = z + s = 2 d s b s z s , z U .
We now introduce the linear operators H 1 , J 1 : A A by
H 1 ( z ) = z v q ( z ) ( z )
and
J 1 ( z ) = U 1 ( z ) ( z ) ,
Consequently, for any function ( z ) presented in (1), we can state that
H 1 ( z ) = z + s = 2 b 4 s 1 ( k ) s 1 ( 1 ) s 1 d s z s
and
J 1 ( z ) = z s = 2 b 4 s 1 ( k ) s 1 ( 1 ) s 1 d s z s .
If we take a = 1 and b = 1 , then the operators H 1 and J 1 reduce to the following operators H 1 and J 1 . Consequently, for any function ( z ) presented in (1), we can state that
H 1 ( z ) = z + s = 2 d s z s 4 s 1 ( m ) s 1 ( 1 ) s 1
and
J 1 ( z ) = z s = 2 d s z s 4 s 1 ( m ) s 1 ( 1 ) s 1 ,
where m = q + 1 Z 0 .
To outline our key results, it is essential to utilize the following lemmas.
Lemma 1
([26], Corollary 2). Let a function ( z ) S be given in the form (1), such that d 2 0 . Then, S 1 if
s = 3 s ( s 1 ) | d s | 2 | d 2 | .
Lemma 2
([26], Theorem 2). Let a function ( z ) be given in the form (3), such that d 2 > 0 . Then, T 1 if
s = 3 s ( s 1 ) d s 2 d 2 .
Further, the condition given in Lemma 2 is also sufficient for 0 < d 2 1 3 .
Lemma 3
([26], Theorem 6). If a function ( z ) given in the form (3), with s = 2 M + 1 d s 0 , then S M if
s = r + 2 ( s r ) ( s r + 1 ) s | d s | ( r + 1 ) ! | d r + 1 | ,
for r = 1 , 2 , , M .
Lemma 4
([26], Theorem 6). If a function ( z ) given in the form (3), with s = 2 M + 1 d s 0 , then T M if
s = r + 2 ( s r ) ( s r + 1 ) s d s ( r + 1 ) ! d r + 1 ,
for r = 1 , 2 , , M .
Lemma 5
([20]). If a function R λ ( E , F ) is expressed in the form given by (1), then it follows that
| d s | ( E F ) | λ | s , s 2 .
The result is sharp.
Lemma 6
([6]). If S , ( z ) = z + s = 2 d s z s z U , then
| d s | s for s = 2 , 3 .
Equality | d s | = s for a given s 2 holds if and only if ℏ is a rotation of the Koebe function.
In this article, the authors established the necessary and sufficient conditions as well as the inclusion relations for a few subclasses of univalent functions associated with Bessel functions. Furthermore, we investigate an integral operator linked to Bessel functions and elaborate on several mapping properties. The study includes various theorems, corollaries and the consequences derived from the main results.

2. Main Result

Theorem 1.
If b < 0 and k > 0 , then a necessary condition for z v q ( z ) to belong to S 1 is that inequality
v q ( 1 ) + 2 v q ( 1 ) b k
holds. If 0 b 2 k 3 , then condition (13) is necessary and also sufficient for U 1 ( z ) to be in T 1 .
Proof. 
In order to verify that z v q ( z ) is an element of S 1 as stated in Lemma 1, it suffices to show that the inequality below is satisfied:
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 b 2 k .
The left-hand side can now be represented in the following manner:
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = s = 3 s ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 = s = 3 ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 + 2 s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 = b 4 2 s = 3 ( b 4 ) s 3 ( k ) s 1 ( 1 ) s 3 + 2 b 4 s = 3 ( b 4 ) s 2 ( k ) s 1 ( 1 ) s 2 .
Nothing that ( a ) s = a ( a + 1 ) s 1 ,
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = b 4 2 1 k ( k + 1 ) s = 3 ( b 4 ) s 3 ( k + 2 ) s 3 ( 1 ) s 3 + 2 b 4 k s = 3 ( b 4 ) s 2 ( k + 1 ) s 2 ( 1 ) s 2 = b 4 2 1 k ( k + 1 ) v q + 2 ( 1 ) + 2 b 4 k v q + 1 ( 1 ) 1
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = v q ( 1 ) + 2 v q ( 1 ) + 2 b 4 k .
The upper bound of the last expression is b 2 k , which occurs if and only if the inequality in (13) is met.
By virtue of Lemma 2, condition (13) is both necessary and sufficient for U 1 ( z ) to be in T 1 . □
For a = 1 and b = 1 , we can improve the assertion of Theorem 1 as follows.
Corollary 1.
If m > 0 , then a necessary and sufficient condition for z q ( z ) to belong to S 1 is that inequality
v q + 2 ( 1 ) 16 ( m + 1 ) + v q + 1 ( 1 ) 2 1 ,
holds. This condition (16) is also sufficient for z ( 2 q ( z ) ) to be in T 1 .
Theorem 2.
If b < 0 and k > 0 , then a necessary condition for z v q ( z ) to belong to S 2 is that inequality:
v q ( 1 ) + 3 v q ( 1 ) 3 b 2 8 ( k ) 2 ,
holds. This condition (17) is also necessary for U 1 ( z ) to be in T 2 .
Proof. 
In order to verify that z v q ( z ) is an element of S 2 as stated in Lemma 3, it suffices to show that the inequality below is satisfied:
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 3 b 4 2 ( k ) 2 .
The left-hand side can now be represented in the following manner:
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = s = 4 s ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 = s = 4 ( s 3 + 3 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 = s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 4 + 3 s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 = b 4 3 s = 4 ( b 4 ) s 4 ( k ) s 1 ( 1 ) s 4 + 3 b 4 2 s = 4 ( b 4 ) s 3 ( k ) s 1 ( 1 ) s 3 .
Noting that ( a ) s = a ( a + 1 ) s 1
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = b 4 3 1 ( k ) 3 s = 4 ( b 4 ) s 4 ( k + 3 ) s 4 ( 1 ) s 4 + 3 b 4 2 1 ( k ) 2 s = 4 ( b 4 ) s 3 ( k + 2 ) s 3 ( 1 ) s 3 = b 4 3 1 ( k ) 3 v q + 3 ( 1 ) + 3 b 4 2 1 ( k ) 2 v q + 2 ( 1 ) 1
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 = v q ( 1 ) + 3 v q ( 1 ) 3 b 4 2 ( k ) 2 .
The upper bound of the last expression is bounded above by 3 b 4 2 ( k ) 2 if the inequality in (17) is met.
By Lemma 4, the condition (17) is also sufficient for U 1 ( z ) to be in T 2 .
Let a = 1 and b = 1 ; we can improve the assertion of Theorem 2 as follows.
Corollary 2.
If m > 0 (with m 0 , 1 , 2 , ), then a sufficient condition for z m ( z ) to belong to S 2 is that inequality
v q + 3 ( 1 ) 4 ( m + 2 ) + 3 v q ( 1 ) 4 ,
holds. This condition (20) is also sufficient for z ( 2 q ( z ) ) to be in T 2 .
Theorem 3.
Let f S . If k > 0 , then a sufficient condition for the Bessel operator H 1 ( z ) to belong to S 1 is that the coefficient inequality
v q ( 1 ) + 5 v q ( 1 ) + 4 v q ( 1 ) 2 b k ,
must hold. This condition (21) is also sufficient for J 1 ( z ) to be in T 1 .
Proof. 
In order to verify that H 1 ( z ) is an element of S 1 as stated in Lemma 1, it suffices to show that the inequality below is satisfied: consider
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s b k .
The left-hand side can now be represented in the following manner:
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s = s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 | d s | s = 3 s 2 ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 by using Lemma 6 , = s = 3 s 2 + 2 2 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 .
s = 3 ( s 2 ) + 2 2 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 = s = 3 ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 + 4 s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 + 4 s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3
= s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 4 + s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 + 4 s = 1 ( b 4 ) s + 1 ( k ) s + 1 ( 1 ) s + 4 s = 0 ( b 4 ) s + 2 ( k ) s + 2 ( 1 ) s
= s = 0 ( b 4 ) s + 3 ( k ) s + 3 ( 1 ) s + 5 s = 0 ( b 4 ) s + 2 ( k ) s + 2 ( 1 ) s + 4 s = 1 ( b 4 ) s + 1 ( k ) s + 1 ( 1 ) s = b 4 3 ( k ) 3 s = 0 ( b 4 ) s ( k + 3 ) s ( 1 ) s + 5 b 4 2 ( k ) 2 s = 0 ( b 4 ) s ( k + 2 ) s ( 1 ) s + 4 b 4 ( k ) s = 0 ( b 4 ) s ( k + 1 ) s ( 1 ) s 1
= b 4 3 ( k ) 3 v q + 3 ( 1 ) + 5 b 4 2 ( k ) 2 v q + 2 ( 1 ) + 4 b 4 ( k ) v q + 1 ( 1 ) 4 b 4 ( k ) = v q ( 1 ) + 5 v q ( 1 ) + 4 v q ( 1 ) b k .
The upper bound of the last expression is b k , which occurs if and only if the inequality in (21) is met. □
Let a = 1 and b = 1 ; we can improve the assertion of Theorem 3 as follows.
Corollary 3.
If m > 0 , then a sufficient condition for H 1 ( z ) S 1 is that the inequality
1 64 ( m + 1 ) ( m + 2 ) v q + 3 ( 1 ) + 5 16 ( m + 1 ) v q + 2 ( 1 ) + v q + 1 ( 1 ) 2
holds well. This condition (24) is also sufficient for J 1 ( z ) to be in T 1 .
Theorem 4.
Let k > 0 and f S . A sufficient condition for the Bessel operator H 1 ( z ) S 2 is that
v q i v ( 1 ) + 7 v q ( 1 ) + 9 v p ( 1 ) 9 b 2 8 ( k ) 2
must hold. This condition (25) is sufficient for J 1 to be in T 2 .
Proof. 
In order to verify that H 1 ( z ) is an element of S 2 as stated in Lemma 3, it suffices to show that the inequality below is satisfied:
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s 9 b 2 16 ( k ) 2 .
The left-hand side can now be represented in the following manner:
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) n 1 ( k ) s 1 ( 1 ) s 1 d s = s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 | d s | s = 4 s 2 ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 by using Lemma 6 , = s = 4 s 3 + 3 2 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3
s = 4 ( s 3 ) + 3 2 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 = s = 4 ( s 3 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 4 + 9 s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 + 6 s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 4
= s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 5 + s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 4 + 9 s = 1 ( b 4 ) s + 2 ( k ) s + 2 ( 1 ) s + 6 s = 0 ( b 4 ) s + 3 ( k ) s + 3 ( 1 ) s
= s = 0 ( b 4 ) s + 4 ( k ) s + 4 ( 1 ) s + 7 s = 0 ( b 4 ) s + 3 ( k ) s + 3 ( 1 ) s + 9 s = 1 ( b 4 ) s + 2 ( k ) s + 2 ( 1 ) s = b 4 4 ( k ) 4 s = 0 ( b 4 ) s ( k + 4 ) s ( 1 ) s + 7 b 4 3 ( k ) 3 s = 0 ( b 4 ) s ( k + 3 ) s ( 1 ) s + 9 b 4 2 ( k ) 2 s = 1 ( b 4 ) s ( k + 2 ) s ( 1 ) s 1
= b 4 4 ( k ) 4 v q + 4 ( 1 ) + 7 b 4 3 ( k ) 3 v q + 3 ( 1 ) + 9 b 4 2 ( k ) 2 v q + 2 ( 1 ) 9 b 4 2 ( k ) 2 = v q i v ( 1 ) + 7 v q ( 1 ) + 9 v q ( 1 ) 9 b 4 2 ( k ) 2 .
The upper bound of the last expression is 9 b 2 16 ( k ) 2 which occurs if and only if the inequality in (25) is met. □
For a = 1 and b = 1 , we can improve the assertion of Theorem 4 as follows.
Corollary 4.
Let m > 0 and f S . A sufficient condition for the Bessel operator J 1 ( z ) S 2 is that the following inequality
1 16 ( m + 2 ) ( m + 3 ) v q + 4 ( 1 ) + 1 4 ( m + 2 ) + 9 v q + 2 ( 1 ) 18
must hold well. This condition (28) is also sufficient for J 1 ( z ) to be in T 2 .
Theorem 5.
Let k > 0 and f R λ ( E , F ) . A sufficient condition for the Bessel operator H 1 ( z ) S 1 is that the Bessel’s inequality
v q ( 1 ) 2
is satisfied.
Proof. 
To prove that H 1 ( z ) belongs to S 1 , it is sufficient to show that the condition
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s ( E F ) | λ | ( b / 4 ) ( k )
holds. The left-hand side can now be represented in the following manner:
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s = s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 | d s | s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 ( E F ) | λ | s by using Lemma 5 = ( E F ) | λ | s = 1 ( b 4 ) s + 1 ( k ) s + 1 ( 1 ) s
Noting that ( a ) s = a ( a + 1 ) s 1
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s = ( E F ) | λ | ( b ) 4 ( k ) s = 0 ( b 4 ) s ( k + 1 ) s ( 1 ) s 1 = ( E F ) | λ | ( b ) 4 ( k ) v q + 1 ( 1 ) ( E F ) | λ | b 4 ( k )
= ( E F ) | λ | ( b ) 4 ( k ) v q ( 1 ) ( E F ) | λ | ( b ) 4 ( k ) .
The upper bound of the last expression is ( E F ) | λ | ( b / 4 ) k if the inequality in (29) is met. □
For a = 1 and b = 1 , we can improve the assertion of Theorem 5 as follows.
Corollary 5.
Let m > 0 . Then, a sufficient condition for H 1 ( z ) R λ ( E , F ) is that the inequality
v q + 1 ( 1 ) 2
holds well.
Theorem 6.
Let k > 0 and f R λ ( E , F ) . A sufficient condition for the Bessel operator H 1 ( z ) S 2 is that the Bessel’s inequality
v q ( 1 ) 3 32 b 2 ( k ) 2
is satisfied.
Proof. 
By Lemma 3, to prove that H 1 ( z ) belongs to S 2 , it is sufficient to show that the condition
s = 3 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s 3 ! ( E F ) | λ | ( b / 4 ) 2 4 ( k ) 2
holds. By using Lemma 5, the left-hand side can now be represented in the following manner:
s = 3 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s = s = 3 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 | d s | s = 3 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 ( E F ) | λ | s = ( E F ) | λ | s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 Noting that ( a ) s = a ( a + 1 ) s 1 s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 1 d s ( E F ) | λ | b 2 16 ( k ) 2 s = 3 ( b 4 ) s 3 ( k + 2 ) s 3 ( 1 ) s 3 = ( E F ) | λ | v q .
The upper bound of the last expression is 3 ! ( E F ) | λ | ( b / 4 ) 2 4 ( k ) 2 if the inequality in (32) is met. □
An Integral Operator: The next theorem yields similar conclusions in relation to a specific integral operator G ( k , b , z ) and is defined as follows:
G ( k , b , z ) = 0 z 2 v q ( t ) d t .
In terms of the power series expansion, we can express G ( k , b , z ) as
G ( k , b , z ) = z s = 2 b 4 s 1 ( k ) s 1 ( 1 ) s z s .
Theorem 7.
If b < 0 and k > 0 , then, a necessary condition for G ( k , b , z ) to belong to T 1 is that the inequality
v q ( 1 ) b 2 k
holds well. The condition (36) is also sufficient if 0 b 4 k 3 .
Proof. 
In order to verify that G ( k , b , z ) is an element of T 1 as stated in Lemma 2, it suffices to show that the inequality below is satisfied:
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s b 4 k
s = 3 s ( s 1 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s = s = 3 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 2 = 1 k s = 1 ( b 4 ) s + 1 ( k + 1 ) s + 1 ( 1 ) s = b 4 k v q + 1 ( 1 ) 1 = v q ( 1 ) b 4 k .
The upper bound of the last expression is b 4 k which occurs if the inequality in (36) holds.
By virtue of Lemma 2, this condition (36) is also sufficient for G ( k , b , z ) to be in T 1 . □
For a = 1 and b = 1 , we can improve the assertion of Theorem 7 as follows.
Corollary 6.
If m > 0 (with m 0 , 1 , 2 , ), then a necessary and sufficient condition for G ( m , b , z ) to belong to T 1 is that inequality
v q + 1 ( 1 ) 2
Theorem 8.
Let b < 0 and k > 0 . A necessary condition for the integral operator G ( k , b , z ) to belong to T 2 is that the inequality
v q ( 1 ) b 2 8 ( k ) 2
holds good.
Proof. 
In order to verify that G ( k , b , z ) is an element of T 2 as stated in Lemma 2, it suffices to show that the inequality below is satisfied:
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s b 4 2 ( k ) 2
s = 4 s ( s 1 ) ( s 2 ) ( b 4 ) s 1 ( k ) s 1 ( 1 ) s = s = 4 ( b 4 ) s 1 ( k ) s 1 ( 1 ) s 3 = s = 4 ( b 4 ) s 1 k ( k + 1 ) ( k + 2 ) s 3 ( 1 ) s 3 = b 4 2 ( k ) 2 v q + 2 ( 1 ) 1 = v q ( 1 ) b 4 2 ( k ) 2
The upper bound of the last expression is b 4 2 ( k ) 2 which occurs if and only if the inequality in (39) is met. □
For a = 1 and b = 1 , we can improve the assertion of Theorem 8 as follows.
Corollary 7.
Let m > 0 . Then, a necessary condition for G ( m , b , z ) to belong to T 2 is that inequality
v q + 2 ( 1 ) 2
holds well.

3. Conclusions

We have established the necessary conditions for Bessel functions and a Bessel operator to belong to the classes S 1 , T 1 and S 2 . Notably, we have also determined the mapping properties of the integral operator G ( k , b , z ) . The findings presented in this paper possess a universal nature and are anticipated to have various applications within the theory of special functions. Furthermore, it is possible to derive new results for the subclasses discussed in this paper in conjunction with specific probability distribution series and Mittag-Leffler functions. The sharp upper bound for the second coefficients of the functions whose derivatives are all univalent is found. Interestingly, there are no such functions in the classes S 1 , S M , T 1 , and T M , whose second coefficient attains this sharp upper bound. The method of analysis for finding such sharp functions is still eluding.

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Goodman, A.W. On uniformly convex functions. Ann. Polon. Math. 1991, 56, 87–92. [Google Scholar] [CrossRef]
  2. Rønning, F. Uniformly convex functions and a corresponding class of starlike functions. Proc. Amer. Math. Soc. 1993, 118, 189–196. [Google Scholar] [CrossRef]
  3. Kanas, S.R.; Wiśniowska-Wajnryb, A. Conic domains and starlike functions. Rev. Roum. Math. Pures Appl. 2000, 45, 647–657. [Google Scholar]
  4. Kanas, S.R.; Wiśniowska-Wajnryb, A. Conic regions and k-uniform convexity. J. Comput. Appl. Math. 1999, 105, 327–336. [Google Scholar] [CrossRef]
  5. Kanas, S.R.; Srivastava, H.M. Linear operators associated with k-uniformly convex functions. Integral Transform. Spec. Funct. 2000, 9, 121–132. [Google Scholar] [CrossRef]
  6. Goodman, A.W. Univalent Functions; Mariner Publishing Co., Inc.: Tampa, FL, USA, 1983; Volume II. [Google Scholar]
  7. Sarkar, S.; Das, S.; Mondal, S.R. Geometric Properties of Normalized Galué Type Struve Function. Symmetry 2024, 16, 211. [Google Scholar] [CrossRef]
  8. Silverman, H.; Rosy, T.; Kavitha, S. On certain Sufficient condition involving Gaussian hypergeometric functions. Int. J. Math. Math. Sci. 2009, 14, 989603. [Google Scholar] [CrossRef]
  9. Sivasubramanian, S.; Sokół, J. Hypergeometric transforms in certain classes of analytic functions. Math. Comput. Model. 2011, 54, 3076–3082. [Google Scholar] [CrossRef]
  10. Sivasubramanian, S.; Rosy, T.; Muthunagai, K. Certain sufficient conditions for a subclass of analytic functions involving Hohlov operator. Comput. Math. Appl. 2011, 62, 4479–4485. [Google Scholar] [CrossRef]
  11. Soni, A.; Bansal, D. Certain geometric properties of generalized Bessel-Maitland function. Stud. Univ. Babeş-Bolyai Math. 2023, 68, 789–798. [Google Scholar] [CrossRef]
  12. Alarifi, N.M.; Mondal, S.R. On Geometric Properties of Bessel–Struve Kernel Functions in Unit Disc. Mathematics 2022, 10, 2516. [Google Scholar] [CrossRef]
  13. Orhan, H.; Yagmur, N. Geometric properties of generalized Struve functions. An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. 2017, 63, 229–244. [Google Scholar] [CrossRef]
  14. Aktaş, İ.; Cotîrlă, L.-I. Certain Geometrical Properties and Hardy Space of Generalized k-Bessel Functions. Symmetry 2024, 16, 1597. [Google Scholar] [CrossRef]
  15. Nawaz, M.U.; Breaz, D.; Raza, M.; Cotîrlă, L.-I. Starlikeness and Convexity of Generalized Bessel-Maitland Function. Axioms 2024, 13, 691. [Google Scholar] [CrossRef]
  16. Bulboacă, T.; Zayed, H.M. Analytical and geometrical approach to the generalized Bessel function. J. Inequal. Appl. 2024, 51. [Google Scholar] [CrossRef]
  17. Kazımoğlu, S. Radii of γ-Spirallike of q-Special Functions. Mathematics 2014, 12, 2261. [Google Scholar] [CrossRef]
  18. Srivastava, H.M.; Mishra, A.K. Applications of fractional calculus to parabolic starlike and uniformly convex functions. Comput. Math. Appl. 2000, 39, 57–69. [Google Scholar] [CrossRef]
  19. Silverman, H. Univalent functions with negative coefficients. Proc. Amer. Math. Soc. 1975, 51, 109–116. [Google Scholar] [CrossRef]
  20. Dixit, K.K.; Pal, S.K. On a class of univalent functions related to complex order. Indian J. Pure Appl. Math. 1995, 26, 889–896. [Google Scholar]
  21. Baricz, Á. Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  22. Baricz, Á.; Frasin, B.A. Univalence of integral operators involving Bessel functions. Appl. Math. Lett. 2010, 23, 371–376. [Google Scholar] [CrossRef]
  23. Baricz, Á.; Ponnusamy, S. Starlikeness and convexity of generalized Bessel functions. Integral Transform. Spec. Funct. 2010, 21, 641–653. [Google Scholar] [CrossRef]
  24. Mondal, S.R.; Giri, M.K.; Kondooru, R. Sufficient Conditions for Linear Operators Related to Confluent Hypergeometric Function and Generalized Bessel Function of the First Kind to Belong to a Certain Class of Analytic Functions. Symmetry 2024, 16, 662. [Google Scholar] [CrossRef]
  25. Baricz, Á. Geometric properties of generalized Bessel functions. Publ. Math. Debrecen 2008, 73, 155–178. [Google Scholar] [CrossRef]
  26. Silverman, H. Univalent functions having univalent derivatives. Rocky Mt. J. Math. 1986, 16, 55–61. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Prakash, V.; Breaz, D.; Sivasubramanian, S.; El-Deeb, S.M. Results of Certain Subclasses of Univalent Function Related to Bessel Functions. Mathematics 2025, 13, 569. https://doi.org/10.3390/math13040569

AMA Style

Prakash V, Breaz D, Sivasubramanian S, El-Deeb SM. Results of Certain Subclasses of Univalent Function Related to Bessel Functions. Mathematics. 2025; 13(4):569. https://doi.org/10.3390/math13040569

Chicago/Turabian Style

Prakash, Venkatesan, Daniel Breaz, Srikandan Sivasubramanian, and Sheza M. El-Deeb. 2025. "Results of Certain Subclasses of Univalent Function Related to Bessel Functions" Mathematics 13, no. 4: 569. https://doi.org/10.3390/math13040569

APA Style

Prakash, V., Breaz, D., Sivasubramanian, S., & El-Deeb, S. M. (2025). Results of Certain Subclasses of Univalent Function Related to Bessel Functions. Mathematics, 13(4), 569. https://doi.org/10.3390/math13040569

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop