Next Article in Journal
Enhancing Integer Time Series Model Estimations through Neural Network-Based Fuzzy Time Series Analysis
Next Article in Special Issue
Several Symmetric Identities of the Generalized Degenerate Fubini Polynomials by the Fermionic p-Adic Integral on Zp
Previous Article in Journal
Particle Swarm Optimization Algorithm Using Velocity Pausing and Adaptive Strategy
Previous Article in Special Issue
Topological Deformations of Manifolds by Algebraic Compositions in Polynomial Rings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

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

by
Saiful R. Mondal
1,*,†,
Manas Kumar Giri
2,† and
Raghavendar Kondooru
2,†
1
Department of Mathematics and Statistics, College of Science, King Faisal University, Al-Hasa 31982, Saudi Arabia
2
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology Vellore, Vellore 632014, India
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2024, 16(6), 662; https://doi.org/10.3390/sym16060662
Submission received: 26 April 2024 / Revised: 18 May 2024 / Accepted: 20 May 2024 / Published: 27 May 2024

Abstract

:
Geometric function theory has extensively explored the geometric characteristics of analytic functions within symmetric domains. This study analyzes the geometric properties of a specific class of analytic functions employing confluent hypergeometric functions and generalized Bessel functions of the first kind. Specific constraints are imposed on the parameters to ensure the inclusion of the confluent hypergeometric function within the analytic function class. The coefficient bound of the class is used to determine the inclusion properties of integral operators involving generalized Bessel functions of the first kind. Different results are observed for these operators, depending on the specific values of the parameters. The results presented here include some previously published findings as special cases.

1. Introduction

The incredible use of special functions has provoked great interest among researchers in the last few decades. Geometric function theory has extensive literature addressing the geometric and analytic characteristics of various kinds of hypergeometric functions, such as the Gaussian hypergeometric function [1,2,3,4], confluent hypergeometric function [1,5,6,7,8], Bessel function [9,10,11,12], Struve function [13,14,15], Lommel function [13,16,17], q Bessel–Wright function [18] and other generalized hypergeometric functions [19,20]. The authors employed many methods to determine various conditions on the parameters of these special functions to be in the class of normalized analytic functions.
Let A denote the class of analytic functions of the form
f ( z ) = z + k = 0 a k z k
in the open unit disk D ( D = { z : | z | < 1 } ) and S be the class of univalent functions, that is
S : = f A : f ( z ) is univalent in D .
There are many subclasses of S (see [1,21,22]) from which S * and K are known as the classes of starlike functions and convex functions, respectively
S * : = f A : f ( z ) is starlike in D
and
K : = f A : f ( z ) is convex in D .
A function f A is said to be close-to-convex if and only if Re e i λ z f ( z ) g ( z ) > 0 , z D , where g ( z ) is a fixed starlike function and λ R . The class of all close-to-convex functions is denoted by C . In this study, we considered the following definitions:
Definition 1 
([23,24]). For λ > 0 then the classes S λ * and K λ are defined as
S λ * = f A : z f ( z ) f ( z ) 1 < λ , z D
and
K λ = f A : z f ( z ) f ( z ) < λ , z D .
Let a function f ( z ) K λ if and only if z f ( z ) S λ * .
Definition 2 
([25]). Let f ( z ) A , for 0 k < , 0 σ < 1 then the function f ( z ) to be in k UCV ( σ ) if and only if
Re 1 + z f ( z ) f ( z ) k z f ( z ) h ( z ) + σ .
When σ = 0 , then k UCV ( 0 ) = k UCV , and when k = 1 , then 1 UCV = UCV .
Definition 3 
([25]). Let f ( z ) be of the form (1) and z D , then CP ( δ ) is defined as
CP ( δ ) = f ( z ) S : z f ( z ) f ( z ) + 1 δ Re z f ( z ) f ( z ) + 1 + δ , 0 < δ < .
A function f ( z ) A is said to be parabolic starlike if
Re z f ( z ) f ( z ) > z f ( z ) f ( z ) 1 + σ , z D ,
the class of such functions denoted by S p ( σ ) (see [26]). A related class k S p ( σ ) is defined by using the Alexander transform as f ( z ) k UCV ( σ ) if and only if z f k S p ( σ ) . For σ = 0 the classes k S p ( σ ) reduce to k S p , of functions k parabolic starlike in D (see [27,28]). In particular, when k = 1 , then 1 S p S p is the parabolic starlike functions in D (see [29,30]). The inclusion properties of several subclasses of S are investigated for various linear operators in the literature (see [3,4]). In this work, we are interested to study the following subclass [3]:
R γ , α τ ( β ) = f ( z ) A : ( 1 α + 2 γ ) f z + ( α 2 γ ) f + γ z f 1 2 τ ( 1 β ) + ( 1 α + 2 γ ) f z + ( α 2 γ ) f + γ z f 1 < 1 , z D ,
where 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 .
The coefficient bound for the function f ( z ) R γ , α τ ( β ) is given by
| a n | 2 | τ | ( 1 β ) 1 + ( n 1 ) ( α 2 γ + γ n ) , n = 2 , 3 , .
The extreme function of the classes R γ , α τ ( β ) is
f ( z ) = 1 z ( 1 / v ) 1 1 u v 0 z 1 t 1 u 1 v + 1 0 t ω 1 1 1 u 1 + 2 ( 1 β ) τ ω n 1 1 ω n 1 d ω ,
where u + v = α γ and u v = γ . Since 1 + ( n 1 ) ( α 2 γ + γ n ) = ( 1 α ) + γ ( 2 + n 2 ) + n ( α 3 γ ) n ( α 3 γ ) , the inequality (2) can be rewritten as (see [3])
| a n | 2 | τ | ( 1 β ) n ( α 3 γ ) , n = 2 , 3 , .
The main objective of this work is to find several conditions on the parameters involved in the confluent hypergeometric function and generalized Bessel function of the first kind to belong to the class of normalized analytic functions. The confluent hypergeometric function F ( a ; b ; z ) is defined as (see [1]), for a , b C with b 0 , 1 , 2 ,
F ( a ; b ; z ) = n = 0 ( a ) n ( b ) n n ! z n = n = 0 a n z n , z D ,
where
a n = ( a ) n ( b ) n n ! .
The series in (4) is convergent for all finite values of z. The function F ( a ; b ; z ) satisfies the following conditions
F ( a + 1 ; b + 1 ; z ) = b a F ( a ; b ; z )
and
F ( a ; a ; z ) = e z .
Confluent hypergeometric functions have a connection with symmetry about an axis. Several confluent hypergeometric functions map the unit disc to a domain symmetric with respect to the real axis, for example, F ( a ; a ; z ) = e z maps the unit disc to the region as shown below Figure 1.
Inspired by the findings presented in references [31,32], our objective is to establish sufficient conditions for the parameter of the normalized Bessel function of the first kind. To initiate our discussion, let us revisit the definition of the generalized Bessel function of the first kind.
Let p , q R and r C . The generalized Bessel function of the first kind ω p , q , r ( z ) (see [9,31]) is defined as the particular solution of the second-order linear homogenous differential equation
z 2 ω ( z ) + q z ω ( z ) + [ r z 2 p 2 + ( 1 q ) p ] ω ( z ) = 0 ,
which is a natural generalization of Bessel’s equation. This function has the familiar representation
ω p ( z ) = ω p , q , r ( z ) = n = 0 ( 1 ) n r n ( n ) ! Γ p + n + q + 1 2 z 2 2 n + p , z C .
Equation (7) allows us to look into Bessel, modified Bessel, and spherical Bessel functions. The solutions to Equation (7) are called the generalized Bessel function of order p. The particular solution described in Equation (8) is known as the generalized Bessel function of the first kind of order p. However, the series mentioned earlier converges everywhere in C . Now, let us consider the function U p ( z ) , defined through the transformation
U p ( z ) = [ α 0 ( p ) ] 1 z p 2 ω p ( z ) .
The series representation of U p ( z ) is
U p ( z ) = F 1 0 t p , r z 4 = n = 0 ( 1 ) n r n 4 n ( t p ) n ( 1 ) n z n ,
where t p = p + ( q + 1 ) / 2 0 , 1 , 2 , . It also satisfies the following conditions [31]
n = 0 ( r / 4 ) n ( t p ) n ( 1 ) n + 1 = 4 ( t p 1 ) r [ U p 1 ( 1 ) 1 ] ,
and
U p + 1 ( z ) = 4 t p r U p ( z ) , z C ,
where r < 0 , t p > 1 and t p 0 , 1 , 2 , .
For f ( z ) A , using a convolution operator H t p , r ( f ) ( z ) is defined as (see [32])
H t p , r ( f ) ( z ) = z U p ( z ) f ( z )
where ∗ denotes the Hadamard product or convolution of two functions, which is defined for the functions f ( z ) of form (1) and
g ( z ) = z + n = 2 b n z n
as
( f g ) ( z ) = z + n = 2 a n b n z n .
The series representation of Equation (12) is given by
H t p , r ( f ) ( z ) = z + n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! a n z n = z + n = 2 A n z n .
In this article, we discuss the inclusion characteristics of confluent hypergeometric functions F 1 1 ( a , b , z ) and associated integral operator to the class R γ , α τ ( β ) . We mainly derive sufficient conditions involving the parameter of a, b, γ , α , τ and β . All the results are stated and proved in Section 3. Several geometric characteristics of operator H t p , r f ( z ) for f R γ , α τ ( β ) are also given in Section 3. Special cases leads to known results. For this purpose, we recall few basic results from the literature in Section 2, while the concluding remark is stated in Section 4.

2. Preliminary Results

Lemma 1 
([1]). For a , b C and b 0 , 1 , 2 , 3 , , the confluent hypergeometric function F 1 1 ( a ; b ; z ) satisfies the following contiguous relations:
i 
( a b + 1 ) F 1 1 ( a ; b ; z ) = a F 1 1 ( a + 1 ; b ; z ) ( b 1 ) F 1 1 ( a ; b 1 ; z ) .
ii 
b ( a + z ) F 1 1 ( a ; b ; z ) = a b F 1 1 ( a + 1 ; b ; z ) ( a b ) z F 1 1 ( a ; b + 1 ; z ) .
iii 
b F 1 1 ( a ; b ; z ) = b F 1 1 ( a 1 ; b ; z ) + z F 1 1 ( a ; b + 1 ; z ) .
Lemma 2 
([3]). Let f ( z ) A be of the form (1), then a sufficient condition for f ( z ) R γ , α τ ( β ) is
n = 2 1 + ( n 1 ) ( α 2 γ + γ n ) | a n | | τ | ( 1 β ) .
Lemma 3 
([32]). Let f ( z ) A be the form (1), if it satisfies
n = 2 ( λ + n 1 ) | a n | λ , λ > 0
then f ( z ) S λ * .
Lemma 4 
([32]). Let f ( z ) A be the form (1), if it satisfies
n = 2 n ( λ + n 1 ) | a n | λ , λ > 0
then f ( z ) K λ .
Lemma 5 
([25]). Let f ( z ) A be in k UCV ( σ ) if
n = 2 n [ n ( 1 + k ) ( k + σ ) ] | a n | 1 σ .
Lemma 6 
([25]). Let f ( z ) A be in k S p ( σ ) if it satisfies the following condition
n = 2 [ n ( 1 + k ) ( k + σ ) ] | a n | 1 σ .
Lemma 7 
([25]). Let f ( z ) A and it is of the form (1), if
n = 2 [ n + 2 ( δ 1 ) ] n | a n | 2 δ 1 , 0 < δ <
then f ( z ) CP ( δ ) .

3. Main Results

The parameters of the confluent hypergeometric function satisfy several conditions, letting F 1 1 ( a ; b ; z ) be in R γ , α τ ( β ) . The following theorem states the inclusion characteristics associated with confluent hypergeometric functions.
Theorem 1. 
Let a , b C with b 0 , 1 , 2 , 3 , , if a and b are satisfied by one of the following conditions, then F 1 1 ( a ; b ; z ) R γ , α τ ( β ) . For | b | > m a x { 0 , | a | + 1 }
i. 
1 b α + γ ( a + b 2 + 1 ) F 1 1 ( a ; b ; 1 ) + α ( b 1 ) γ ( b 2 1 ) F 1 1 ( a ; b 1 ; 1 )   a b + ( 1 α + 2 γ ) + | τ | ( 1 β ) .
ii. 
1 b α + γ ( b 2 a 2 + a + 1 ) F 1 1 ( a ; b ; 1 ) + γ a ( a b ) F 1 1 ( a 1 ; b ; 1 )   + ( b 1 ) α γ ( 1 a + b ) F 1 1 ( a ; b 1 ; 1 ) a b + ( 1 α + 2 γ ) + | τ | ( 1 β ) .
Proof. 
The sufficient condition from Lemma 2 for the class R γ , α τ ( β ) is
n = 2 1 + ( n 1 ) ( α 2 γ + γ n ) | a n | | τ | ( 1 β ) .
Applying (5) in (23), we obtain
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ ( a ) n ( b ) n ( 1 ) n | τ | ( 1 β ) ( 1 α + 2 γ ) n = 2 ( a ) n ( b ) n ( 1 ) n + ( α 2 γ ) n = 2 ( a ) n ( b ) n ( 1 ) n 1 + γ n = 2 ( a ) n ( b ) n ( 1 ) n 2 | τ | ( 1 β ) .
Further from (24), we obtain
( 1 α + 2 γ ) F 1 1 ( a ; b ; 1 ) + ( α 2 γ ) a b F 1 1 ( a + 1 ; b + 1 ; 1 ) + γ ( a ) 2 ( b ) 2 F 1 1 ( a + 2 ; b + 2 ; 1 )   a b + ( 1 α + 2 γ ) | τ | ( 1 β ) .
We will use (25) to prove both the cases of the Theorem 1.
i
From (14)–(16), we obtain
F 1 1 ( a + 1 ; b + 1 ; 1 ) = b ( 1 b ) a F 1 1 ( a ; b ; 1 ) F 1 1 ( a ; b 1 ; 1 )
and
F 1 1 ( a + 2 ; b + 2 ; 1 ) = [ a + ( b 1 ) 2 ] ( b ) 2 ( a ) 2 F 1 1 ( a ; b ; 1 ) ( 1 b ) ( b 1 ) 3 ( a ) 2 F 1 1 ( a ; b 1 ; 1 ) .
Using (26) and (27) in (25), we obtain
  ( 1 α + 2 γ ) F 1 1 ( a ; b ; 1 ) + ( α 2 γ ) a b b ( 1 b ) a F 1 1 ( a ; b ; 1 ) F 1 1 ( a ; b 1 ; 1 )   + γ ( a ) 2 ( b ) 2 [ a + ( b 1 ) 2 ] ( b ) 2 ( a ) 2 F 1 1 ( a ; b ; 1 ) ( 1 b ) ( b 1 ) 3 ( a ) 2 F 1 1 ( a ; b 1 ; 1 )   a b + ( 1 α + 2 γ ) + | τ | ( 1 β ) .
Simplifying (24), we obtain
[ ( 1 α + 2 γ ) + ( α 2 γ ) ( 1 b ) + γ ( a + ( b 1 ) 2 ) ] F 1 1 ( a ; b ; 1 )   [ ( α 2 γ ) ( 1 b ) + γ ( b 1 ) 2 ] F 1 1 ( a ; b 1 ; 1 ) a b + ( 1 α + 2 γ ) + | τ | ( 1 β ) .
From (29), we will obtain the required result.
ii
From (14)–(16), we obtain
F 1 1 ( a + 2 ; b + 2 ; 1 ) = [ ( b 1 ) 2 + a ( 1 a ) ] ( b ) 2 ( a ) 2 F 1 1 ( a ; b ; 1 )   + ( a b + 1 ) ( b 1 ) 3 ( a ) 2 F 1 1 ( a ; b 1 ; 1 ) + ( a b ) ( b ) 2 ( a + 1 ) F 1 1 ( a 1 ; b ; 1 ) .
Applying (26) and (30) in (25), it follows
( 1 α + 2 γ ) F 1 1 ( a ; b ; 1 ) + ( α 2 γ ) a b b ( 1 b ) a F 1 1 ( a ; b ; 1 ) F 1 1 ( a ; b 1 ; 1 )   + γ ( a ) 2 ( b ) 2 [ ( b 1 ) 2 + a ( 1 a ) ] ( b ) 2 ( a ) 2 F 1 1 ( a ; b ; 1 ) + γ ( a ) 2 ( b ) 2 ( a b + 1 ) ( b 1 ) 3 ( a ) 2 F 1 1 ( a ; b 1 ; 1 )   + γ ( a ) 2 ( b ) 2 ( a b ) ( b ) 2 ( a + 1 ) F 1 1 ( a 1 ; b ; 1 ) a b + ( 1 α + 2 γ ) + | τ | ( 1 β ) .
Finally from (31), we will obtain the required result. □
The above result will have a different expression for some particular values of the parameters a , b . We consider a few special cases and presented below as example.
Example 1. 
In our first example, we consider b = a . Then, F 1 1 ( a ; b ; z ) = F 1 1 ( a ; a ; z ) = e z . Now, for | a | > 0 , if the inequality
( 1 + γ ) e + α 2 γ 2 | τ | ( 1 β )
holds, then e z R γ , α τ ( β ) .
The verification of the above claim can be performed as follows: From Lemma 2, it is sufficient to establish the inequality
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ | a n | | τ | ( 1 β ) .
Applying the coefficient of F 1 1 ( a ; a ; z ) in (32), we obtain
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ 1 ( 1 ) n τ | ( 1 β ) ( 1 α + 2 γ ) n = 2 1 ( 1 ) n + ( α 2 γ ) n = 2 1 ( 1 ) n 1 + γ n = 2 1 ( 1 ) n 2 τ | ( 1 β ) .
Using (6) in (33), we obtain
( 1 α + 2 γ ) e 2 + ( α 2 γ ) e 1 + γ e | τ | ( 1 β ) .
From (34), we will obtain the conclusion.
Example 2. 
If a = 1 and b = 2 then F 1 1 ( 1 ; 2 ; z ) = ( e z 1 ) / z . If
( 1 α + 3 γ ) e 5 2 3 α + 8 γ | τ | ( 1 β ) ,
holds, then ( e z 1 ) / z R γ , α τ ( β ) .
The verification of the above claim can be performed as follows: Again from Lemma 2, it is sufficient to validate the inequality
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ | a n | | τ | ( 1 β ) .
Applying the coefficient of F 1 1 ( 1 ; 2 ; z ) in (35), we obtain
  n = 2 ( 1 2 α + 6 γ ) + ( n + 1 ) ( α 4 γ ) + n ( n + 1 ) γ 1 ( n + 1 ) ! τ | ( 1 β ) ( 1 2 α + 6 γ ) n = 2 1 ( n + 1 ) ! + ( α 4 γ ) n = 2 ( n + 1 ) 1 ( n + 1 ) ! + γ n = 2 n ( n + 1 ) 1 ( n + 1 ) ! τ | ( 1 β ) ( 1 2 α + 6 γ ) e 5 2 + ( α 4 γ ) ( e 2 ) + γ ( e 1 ) τ | ( 1 β ) .
From (36), we will obtain the required results.
Example 3. 
If a = 1 and b = 3 , then F 1 1 ( 1 ; 3 ; z ) = 2 ! ( e z 1 z / z 2 .If
2 ( 1 2 α + 11 γ ) e 2 3 8 19 α + 104 γ | τ | ( 1 β ) ,
holds, then 2 ! ( e z 1 z ) / z 2 R γ , α τ ( β ) .
The verification of the above claim can be performed as follows: Again apply the coefficient of F 1 1 ( 1 ; 3 ; z ) in (35), we obtain
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ ( 1 ) n ( 3 ) n n ! | τ | ( 1 β ) ( 1 3 α + 16 γ ) n = 2 2 ( n + 2 ) ! + ( α 6 γ ) n = 2 2 ( n + 1 ) ! + γ n = 2 2 n ! | τ | ( 1 β ) ( 1 3 α + 16 γ ) 2 e 8 3 + ( α 6 γ ) 2 e 5 3 + 2 γ e 2 | τ | ( 1 β ) 2 ( 1 2 α + 11 γ ) e 2 3 8 19 α + 104 γ | τ | ( 1 β ) .
Example 4. 
When a = n and b = 1 , the confluent hypergeometric function F 1 1 ( n ; 1 ; z ) becomes the Laguerre polynomial L n ( z ) . Thus, if for a = n , b = 1 , and the inequality
( 1 + γ ) e 1 α + 2 γ | τ | ( 1 β )
holds, then L n ( z ) R γ , α τ ( β ) .
To verify this claim, now we apply the coefficient of F 1 1 ( n ; 1 ; z ) in (35). Then, we have
n = 2 ( 1 α + 2 γ ) + n ( α 2 γ ) + n ( n 1 ) γ ( 1 ) n n ! | τ | ( 1 β ) ( 1 α + 2 γ ) n = 2 ( 1 ) n n ! + ( α 2 γ ) n = 2 ( 1 ) n ( n 1 ) ! + γ n = 2 ( 1 ) n ( n 2 ) ! | τ | ( 1 β ) ( 1 α + 2 γ ) e 1 + ( α 2 γ ) ( e 1 1 ) + γ e 1 | τ | ( 1 β ) .
From (37), we will obtain the required results.
Next, we consider the operator
T ( a ; b ; z ) = 0 z F ( a ; b ; λ ) d λ .
Term by term integration for the series of F ( a ; b ; λ ) , leads to
T ( a ; b ; z ) : = z + n = 2 ( a ) n 1 ( b ) n 1 ( 1 ) n z n = z + n = 2 A n z n ,
where
A n = ( a ) n 1 ( b ) n 1 ( 1 ) n .
The next result provides conditions for which T ( a ; b ; z ) is in R γ , α τ ( β ) .
Theorem 2. 
Suppose that a C { 1 } and | b | > | a | + 1 . Further, if
( α + γ 3 ) F 1 1 ( a ; b ; 1 ) + γ a b F 1 1 ( a + 1 ; b + 1 ; 1 )   + ( 3 α ) F 1 1 ( a 1 ; b 1 ; 1 ) γ + ( 3 α ) ( b 1 ) ( a 1 ) + | τ | ( 1 β ) ,
then T ( a ; b ; z ) R γ , α τ ( β ) .
Proof. 
For class R γ , α τ ( β ) , the sufficient conditions form Lemma 2 is
n = 2 ( α + γ 3 ) n + γ n ( n 1 ) + ( 3 α ) | A n | | τ | ( 1 β ) .
Applying (38) in (39), then
n = 2 ( α + γ 3 ) n + γ n ( n 1 ) + ( 3 α ) ( a ) n 1 ( b ) n 1 ( 1 ) n | τ | ( 1 β ) .
Simplifying (40), we obtain
( α + γ 3 ) F 1 1 ( a ; b ; 1 ) ( α + γ 3 ) + γ a b F 1 1 ( a + 1 ; b + 1 ; 1 )   + ( 3 α ) F 1 1 ( a 1 ; b 1 ; 1 ) ( 3 α ) ( 3 α ) ( b 1 ) a 1 | τ | ( 1 β ) .
From (41) and the hypothesis of the theorem will obtain the result. □
Taking a = b in the above result then the following result is direct.
Corollary 1. 
If for a C and | a | > 1 , the inequality
2 e 1 1 γ 3 α + | τ | ( 1 β ) ,
holds, then T ( a ; a ; z ) R γ , α τ ( β ) .
Let the linear operator H t p , r ( f ) ( z ) belong to the class of univalent functions or to its subclasses of S λ * , K λ , k UCV ( σ ) , k S p ( σ ) and CP ( δ ) , by satisfying several relevant criteria on the parameters involved in these special functions. From (13), the coefficient of the operator H t p , r ( f ) ( z ) is
A n = ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! a n .
Then the geometric characteristics related to f ( z ) in R γ , α τ ( β ) are given in the following results.
Theorem 3. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for λ > 0 :
( 1 λ ) U p 1 ( 1 ) U p 1 ( 1 ) ( λ 1 ) r λ 4 ( t p 1 ) 1 + α 3 γ 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) S λ * .
Proof. 
In Lemma 3, the sufficient conditions for the class S λ * is given as
n = 2 ( λ + n 1 ) | A n | λ .
If A n as given in (42), then (43) can be rewritten as
n = 2 ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! | a n | λ .
Using (3) on the left side of the inequality (44), we obtain
n = 2 ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! | a n | n = 2 ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! 2 | τ | ( 1 β ) n ( α 3 γ ) = 2 | τ | ( 1 β ) ( α 3 γ ) ( λ 1 ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 n ! + n = 2 n ( r / 4 ) n 1 ( t p ) n 1 n ! = 2 | τ | ( 1 β ) ( α 3 γ ) ( λ 1 ) n = 0 ( r / 4 ) n ( t p ) n ( n + 1 ) ! + n = 0 ( r / 4 ) n ( t p ) n ( n ) ! λ .
Using (10) in (45) and applying it in the inequality (44), then
2 | τ | ( 1 β ) ( α 3 γ ) ( λ 1 ) 4 ( t p 1 ) r U p 1 ( 1 ) 1 + U p ( 1 ) λ λ .
Using (11) in (46), then
( λ 1 ) 4 ( t p 1 ) r U p 1 ( 1 ) 1 + 4 ( t p 1 ) r U p 1 ( 1 ) λ λ ( α 3 γ ) 2 | τ | ( 1 β ) .
From (47) and the hypothesis of the theorem will obtain the result. □
Remark 1. 
For γ = 0 , Theorem 3 leads to the Theorem 2 of [32].
Theorem 4. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for λ > 0 :
λ U p ( 1 ) + U p ( 1 ) λ 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) K λ .
Proof. 
From Lemma 4, it follows that the sufficient condition for the class K λ is
n = 2 n ( λ + n 1 ) | A n | λ .
Considering A n as given in (42), the inequality (48) reduces to
n = 2 n ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( n 1 ) ! | a n | λ .
Using (3) on the left side of (49), we obtain
n = 2 n ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | n = 2 n ( λ + n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 2 | τ | ( 1 β ) n ( α 3 γ ) = 2 | τ | ( 1 β ) ( α 3 γ ) n = 2 λ ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 + n = 2 ( n 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 = 2 | τ | ( 1 β ) ( α 3 γ ) λ n = 0 ( r / 4 ) n ( t p ) n ( 1 ) n r 4 t p n = 0 ( r / 4 ) n ( t p + 1 ) n ( 1 ) n λ = 2 | τ | ( 1 β ) ( α 3 γ ) λ U p ( 1 ) r 4 t p U p + 1 ( 1 ) λ .
Using (11) in (50) and applying it in the inequality (49), then
λ U p ( 1 ) + U p ( 1 ) λ λ ( α 3 γ ) 2 | τ | ( 1 β ) .
From (51) and the hypothesis of the theorem will obtain the result. □
Remark 2. 
Note that when γ = 0 in Theorem 4, it is equivalent to Theorem 3 of [32].
Theorem 5. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for k 0 and 0 σ < 1 :
( 1 + k ) U p ( 1 ) + ( 1 σ ) U p ( 1 ) ( 1 σ ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) k UCV ( σ ) .
Proof. 
Note that the Lemma 5 gives the sufficient condition for the class k UCV ( σ ) as
n = 2 n n ( 1 + k ) ( k + σ ) | A n | 1 σ .
Choosing A n as in (42), the inequality (52) reduces to
n = 2 n n ( 1 + k ) ( k + σ ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | 1 σ .
Using (3) on the left side of (53), we obtain
n = 2 n n ( 1 + k ) ( k + σ ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | n = 2 n ( n 1 ) ( 1 + k ) + ( 1 σ ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 2 | τ | ( 1 β ) n ( α 3 γ ) = 2 | τ | ( 1 β ) ( α 3 γ ) ( 1 + k ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 2 + ( 1 σ ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 = 2 | τ | ( 1 β ) ( α 3 γ ) ( 1 + k ) ( r ) 4 t p U p + 1 ( 1 ) + ( 1 σ ) U p ( 1 ) ( 1 σ ) .
Using (11) in (54) and apply in (53), we obtain
( 1 + k ) ( r ) 4 t p 4 t p ( r ) U p ( 1 ) + ( 1 σ ) U p ( 1 ) ( 1 σ ) ( 1 σ ) ( α 3 γ ) 2 | τ | ( 1 β ) .
From (55) and the hypothesis of the theorem will obtain the result. □
Remark 3. 
For γ = 0 , Theorem 5 is equivalent to Theorem 1 in [32].
Theorem 6. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for k 0 and 0 σ < 1 :
( k + σ ) U p 1 ( 1 ) ( 1 + k ) U p 1 ( 1 ) ( k + σ ) r ( 1 σ ) 4 ( t p 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) k S p ( σ ) .
Proof. 
From Lemma 6, we have the sufficient condition for the class k S p ( σ ) as
n = 2 ( n ( 1 + k ) ( k + σ ) ) | A n | 1 σ .
Now, the coefficient A n as given in (42) leads the inequality (56) to
n = 2 ( n ( 1 + k ) ( k + σ ) ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | 1 σ .
Using (3) on the left side of (57), we obtain
n = 2 ( n ( 1 + k ) ( k + σ ) ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | n = 2 ( n ( 1 + k ) ( k + σ ) ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 2 | τ | ( 1 β ) n ( α 3 γ ) = 2 | τ | ( 1 β ) ( α 3 γ ) ( 1 + k ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 ( k + σ ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n = 2 | τ | ( 1 β ) ( α 3 γ ) ( 1 + k ) n = 0 ( r / 4 ) n ( t p ) n ( 1 ) n 1 ( k + σ ) n = 0 ( r / 4 ) n ( t p ) n ( 1 ) n + 1 1 .
Using (10) in second sum of (58) and applying it in the inequality (57), we obtain
( 1 + k ) U p ( 1 ) 1 ( k + σ ) 4 ( t p 1 ) r [ U p 1 ( 1 ) 1 ] 1 ( 1 σ ) ( α 3 γ ) 2 | τ | ( 1 β ) .
Applying (11) in the inequality (59), then
( 1 + k ) 4 ( t p 1 ) r U p 1 ( 1 ) 1   ( k + σ ) 4 ( t p 1 ) r ( U p 1 ( 1 ) 1 ) 1 ( 1 σ ) ( α 3 γ ) 2 | τ | ( 1 β ) .
From (60) and the hypothesis of the theorem will obtain the result. □
If k = 1 then the following results are direct.
Corollary 2. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for 0 σ < 1 :
2 U p ( 1 ) + ( 1 σ ) U p ( 1 ) ( 1 σ ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) UCV ( σ ) .
Corollary 3. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for 0 σ < 1 :
( 1 + σ ) U p 1 ( 1 ) 2 U p 1 ( 1 ) ( 1 + σ ) r ( 1 σ ) 4 ( t p 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) S p ( σ ) .
If k = 1 and σ = 0 , then the following results are direct.
Corollary 4. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds:
2 U p ( 1 ) + U p ( 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) UCV .
Corollary 5. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds:
U p 1 ( 1 ) 2 U p 1 ( 1 ) 1 r 4 ( t p 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) S p .
Theorem 7. 
Let f ( z ) A be of the form (1) and f ( z ) R γ , α τ ( β ) with 0 α < 1 , 0 γ < 1 , τ C { 0 } and β < 1 . Suppose that the following inequality holds for 0 < δ < :
U p ( 1 ) + ( 2 δ 1 ) U p ( 1 ) ( 2 δ 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
Then, for r < 0 , t p > 1 , H t p , r ( f ) ( z ) CP ( δ ) .
Proof. 
From Lemma 7, the sufficient condition for the class CP ( δ ) is
n = 2 n n + 2 ( δ 1 ) | A n | 2 δ 1 .
Applying (42) in (61), then
n = 2 n n + 2 ( δ 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | 2 δ 1 .
Using (3) on the left side of (62), we obtain
n = 2 n n + 2 ( δ 1 ) ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 | a n | n = 2 n n 1 + 2 δ 1 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 2 | τ | ( 1 β ) n ( α 3 γ ) = 2 | τ | ( 1 β ) ( α 3 γ ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 2 + ( 2 δ 1 ) n = 2 ( r / 4 ) n 1 ( t p ) n 1 ( 1 ) n 1 = 2 | τ | ( 1 β ) ( α 3 γ ) r 4 t p U p + 1 ( 1 ) + ( 2 δ 1 ) U p ( 1 ) ( 2 δ 1 ) .
Using (11) in (63) and applying it in (62), we obtain
r 4 t p 4 t p r U p ( 1 ) + ( 2 δ 1 ) U p ( 1 ) ( 2 δ 1 ) 1 + ( α 3 γ ) 2 | τ | ( 1 β ) .
From (64) and the hypothesis of the theorem will obtain the required result. □

4. Conclusions

In this work, confluent hypergeometric functions and generalized Bessel functions of the first kind are used to study the geometric properties of a particular class. For the confluent hypergeometric function to be in the class, a few limitations were imposed on the parameters. The coefficient bound of the class was used to determine the geometric characteristics of integral operators using confluent hypergeometric functions and the generalized Bessel function of the first kind. For specific parameter values, these operators produce a variety of results. The presented findings included several previously published special cases.

Author Contributions

Conceptualization, M.K.G. and R.K.; methodology, S.R.M., M.K.G. and R.K.; validation, S.R.M., M.K.G. and R.K.; formal analysis, S.R.M., M.K.G. and R.K.; investigation, M.K.G. and R.K.; resources, S.R.M.; writing—original draft preparation, M.K.G. and R.K.; writing—review and editing, S.R.M., M.K.G. and R.K.; Supervision, R.K. All authors have read and agreed to the published version of this manuscript.

Funding

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia (GrantA081).

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Rainville, E. Special Functions; The Macmillan Co., Ltd.: New York, NY, USA, 1960; pp. 123–128. [Google Scholar]
  2. Raghavendar, K.; Swaminathan, A. Integral transforms of functions to be in certain class defined by the combination of starlike and convex functions. Comput. Math. Appl. 2012, 63, 1296–1304. [Google Scholar] [CrossRef]
  3. Wani, L.A.; Swaminathan, A. Inclusion properties of hypergeometric type functions and related integral transforms. Stud. Univ. Babes-Bolyai Math. 2020, 65, 211–227. [Google Scholar] [CrossRef]
  4. Giri, M.K.; Raghavendar, K. Inclusion results on hypergeometric functions in a class of analytic functions associated with linear operators. Contemp. Math. 2024, 5, 1738–1757. [Google Scholar] [CrossRef]
  5. Ali, R.M.; Mondal, S.R.; Ravichandran, V. On the Janowski convexity and starlikeness of the confluent hypergeometric function. Bull. Belg. Math. Soc. Simon Stevin 2015, 22, 227–250. [Google Scholar] [CrossRef]
  6. Bohra, N.; Ravichandran, V. On confluent hypergeometric functions and generalized Bessel functions. Anal. Math. 2017, 43, 533–545. [Google Scholar] [CrossRef]
  7. Miller, S.S.; Mocanu, P.T. Univalence of Gaussian and confluent hypergeometric functions. Proc. Am. Math. Soc. 1990, 110, 333–342. [Google Scholar] [CrossRef]
  8. Ponnusamy, S.; Vuorinen, M. Univalence and convexity properties for confluent hypergeometric functions. Complex Var. Theory Appl. 1998, 36, 73–97. [Google Scholar] [CrossRef]
  9. Baricz, Á. Geometric Properties of Generalized Bessel Functions. In Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics Vol. 1994; Springer: Berlin/Heidelberg, Germany, 2010; pp. 23–69. [Google Scholar] [CrossRef]
  10. Baricz, Á.; Ponnusamy, S. Starlikeness and convexity of generalized Bessel functions. Integral Transform. Spec. Funct. 2010, 21, 641–653. [Google Scholar] [CrossRef]
  11. Kanas, S.; Mondal, S.R.; Mohammed, A.D. Relations between the generalized Bessel functions and the Janowski class. Math. Inequal. Appl. 2018, 21, 165–178. [Google Scholar] [CrossRef]
  12. Prajapat, J.K. Certain geometric properties of normalized Bessel functions. Appl. Math. Lett. 2011, 24, 2133–2139. [Google Scholar] [CrossRef]
  13. Baricz, A.; Yağmur, N. Geometric properties of some Lommel and Struve functions. Ramanujan J. 2017, 42, 325–346. [Google Scholar] [CrossRef]
  14. Farzana, H.A.; Bhaskaran, A.S.; Muthusamy, P.J. Univalent and starlike properties for generalized Struve function. Int. J. Math. Math. Sci. 2016, 20, 3987231. [Google Scholar] [CrossRef]
  15. Noreen, S.; Raza, M.; Deniz, E.; Kazımoğlu, S. On the Janowski class of generalized Struve functions. Afr. Mat. 2019, 30, 23–35. [Google Scholar] [CrossRef]
  16. Sim, Y.; Kwon, O.; Cho, N.E. Geometric properties of Lommel functions of the first kind. Symmetry 2018, 10, 455. [Google Scholar] [CrossRef]
  17. Yagmur, N. Hardy space of Lommel functions. Bull. Korean Math. Soc. 2015, 52, 1035–1046. [Google Scholar] [CrossRef]
  18. Din, M.U.; Raza, M.; Xin, Q.; Yalçin, S.; Malik, S.N. Close-to-Convexity of q-Bessel–Wright Functions. Mathematics 2022, 10, 3322. [Google Scholar] [CrossRef]
  19. Owa, S.; Srivastava, H.M. Univalent and starlike generalized hypergeometric functions. Can. J. Math. 1987, 39, 1057–1077. [Google Scholar] [CrossRef]
  20. Ruscheweyh, S.; Singh, V. On the order of starlikeness of hypergeometric functions. J. Math. Anal. Appl. 1986, 113, 1–11. [Google Scholar] [CrossRef]
  21. Duren, P.L. Elementary theory of univalent functions. In Univalent Functions; Springer: New York, NY, USA, 1983; pp. 32–75. [Google Scholar]
  22. Goodman, A.W. Univalent functions and nonanalytic curves. Proc. Amer. Math. Soc. 1957, 8, 598–601. [Google Scholar] [CrossRef]
  23. Ponnusamy, S.; Rønning, F. Starlike properties for convolutions involving hypergeometric series. Ann. Univ. Mariae Curie-Sklodowska Sect. A 1998, 52, 141–155. [Google Scholar]
  24. Gangadharan, A.; Shanmugam, T.N.; Srivastava, H.M. Generalized hypergeometric functions associated with K-uniformly convex functions. Comput. Math. Appl. 2002, 44, 1515–1526. [Google Scholar] [CrossRef]
  25. Bharati, R.; Parvatham, R.; Swaminathan, A. On subclasses of uniformly convex functions and corresponding class of starlike functions. Tamkang J. Math. 1997, 28, 17–32. [Google Scholar] [CrossRef]
  26. Rønning, F. On starlike functions associated with parabolic regions. Ann. Univ. Mariae Curie-Skłodowska Sect. Math. 1991, 45, 117–122. [Google Scholar]
  27. Kanas, S.; Wisinowaska, A. Conic regions and k-uniform convexity. J. Comput. Appl. Math. 1999, 105, 327–336. [Google Scholar] [CrossRef]
  28. Kanas, S.; Wisinowaska, A. Conic regions and k-starlike functions. Rev. Roum. Math. Pure Appl. 2000, 45, 647–657. [Google Scholar]
  29. Goodman, A.W. On uniformly convex functions. Ann. Polon. Math. 1991, 56, 87–92. [Google Scholar] [CrossRef]
  30. Goodman, A.W. On uniformly starlike functions. J. Math. Anal. Appl. 1991, 155, 364–370. [Google Scholar] [CrossRef]
  31. Baricz, A. Geometric properties of generalized Bessel functions of complex order. Mathematica 2006, 48, 13–18. [Google Scholar]
  32. Porwal, S.; Ahmad, M. Some Sufficient Conditions for Generalized Bessel Functions Associated with Conic Regions. Vietnam. J. Math. 2015, 43, 163–172. [Google Scholar] [CrossRef]
Figure 1. Mapping of unit disc by F ( a ; a ; z ) = e z .
Figure 1. Mapping of unit disc by F ( a ; a ; z ) = e z .
Symmetry 16 00662 g001
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

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. https://doi.org/10.3390/sym16060662

AMA Style

Mondal SR, Giri MK, 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(6):662. https://doi.org/10.3390/sym16060662

Chicago/Turabian Style

Mondal, Saiful R., Manas Kumar Giri, and Raghavendar Kondooru. 2024. "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 16, no. 6: 662. https://doi.org/10.3390/sym16060662

APA Style

Mondal, S. R., Giri, M. K., & Kondooru, R. (2024). 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, 16(6), 662. https://doi.org/10.3390/sym16060662

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