Next Article in Journal
Incorporating Socio-Economic Factors in Maximizing Two-Dimensional Demand Coverage and Minimizing Distance to Uncovered Demand: A Dual-Objective MCLP Approach for Fire Station Location Selection
Previous Article in Journal
A Mixture Quantitative Randomized Response Model That Improves Trust in RRT Methodology
Previous Article in Special Issue
Toeplitz Operators on Fock Space over Cn with Invariant Symbols under the Action of the Unit Circle
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Further Geometric Properties of the Barnes–Mittag-Leffler Function

by
Abdulaziz Alenazi
1,† and
Khaled Mehrez
2,*,†
1
Department of Mathematics, College of Science, Northern Border University, Arar 73213, Saudi Arabia
2
Department of Mathematics, IPEIK Kairouan, University of Kairouan, Kairouan 3100, Tunisia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2024, 13(1), 12; https://doi.org/10.3390/axioms13010012
Submission received: 16 October 2023 / Revised: 12 December 2023 / Accepted: 22 December 2023 / Published: 24 December 2023
(This article belongs to the Special Issue Recent Advances in Complex Analysis and Applications)

Abstract

:
In this paper, we find sufficient conditions to be imposed on the parameters of a class of functions related to the Barnes–Mittag-Leffler function that allow us to conclude that it possesses certain geometric properties (such as starlikeness, uniformly starlike (convex), strongly starlike (convex), convexity, and close-to-convexity) in the unit disk. The key tools in some of our proofs are the monotonicity properties of a certain class of functions related to the gamma function.

1. Introduction and Motivation

The study of the geometric properties of some classes of analytic functions associated with some special functions in the unit disk in the complex plane has always attracted several researchers. One of the special functions for which the geometric properties have been studied widely is the Mittag-Leffler function [1,2,3,4]. Interested readers can find more information on the various geometric properties of certain analytic functions like the Wright function [5], generalized Bessel function [6,7,8], and Fox–Wright functions [9] in the listed references. For the geometric behavior of other special functions, one can refer to [10,11,12,13,14,15] and the references cited therein.
The Mittag-Leffler function is closely related to the Barnes–Mittag-Leffler function. The Mittag-Leffler function play a crucial role in fractional calculus, approximation theory, and various branches of science and engineering. Our main goal of the present paper is to study several potentially geometric properties of the normalized form of the Barnes–Mittag-Leffler function. This paper is a continuation along some lines of the authors’ previous results.
Now, we recall some known definitions and results related to the context of Geometric Functions Theory. Let H denote the class of all analytic functions inside the unit disk
D = z : z C and | z | < 1 .
Assume that A denotes the collection of all functions φ H , satisfying the normalization φ ( 0 ) = φ ( 0 ) 1 = 0 such that
φ ( z ) = z + k = 2 a k z k ( z D ) .
A function φ A is said to be a starlike function (with respect to the origin 0) in D if φ is univalent in D and φ ( D ) is a starlike domain with respect to 0 in C . The analytic characterization of the class of starlike functions is given below [16]:
z φ ( z ) φ ( z ) > 0 ( z D ) .
Some geometric characterization of k-starlike functions is given in [17] and the references therein.
If φ ( z ) is a univalent function in D and φ ( D ) is a convex domain in C , then φ A is said to be a convex function in D . The class of convex functions can be described as follows:
1 + z φ ( z ) φ ( z ) > 0 ( z D ) .
However, an analytic function φ is convex if and only if the function z φ is starlike.
An analytic function φ in A is called close-to-convex in the open unit disk D if there exists a function ϕ ( z ) that is starlike in D such that
z φ ( z ) φ ( z ) > 0 ( z D ) .
It can be easily verified that every starlike (and hence, convex) function is close-to-convex. It can be noted that every close-to-convex function in D is also univalent in D .
A function φ in A is called uniformly convex (or uniformly starlike) in D if for every circular arc ξ contained in D with center κ D , the image arc φ ( ξ ) is convex or starlike with respect to φ ( κ ) ; for more details, see [18]. This class of functions is denoted by UCV; the analytic description of the class of uniformly convex function is given as [19]:
z φ ( 2 ) ( z ) φ ( z ) < 1 2 φ U C V ( φ A ) .
An analytic function φ A is said to be strongly starlike of order θ if and only if
arg z φ ( z ) φ ( z ) < π 2 θ ( z D ) ,
where 0 < θ 1 . We denote that if θ = 1 , then φ is starlike (or strongly starlike of order 1).
An analytic function φ A is said to be strongly convex of order η if and only if
arg ( z φ ( z ) ) φ ( z ) < π 2 η ( z D ) ,
where 0 < η 1 . We denote that if θ = 1 , then φ is convex (or strongly convex of order 1) in D .
Let φ 1 and φ 2 be two analytic functions in D . The function φ 1 is said to be subordinate to the function φ 2 , denoted by
φ 1 φ 2 ( φ 1 ( z ) φ 2 ( z ) z D ) ,
if φ 1 = φ 2 ϕ , where ϕ : D D is an analytic function in D such that ϕ ( 0 ) = 0 . Hence, in view of the Lemma of Schwartz, we deduce that φ 1 φ 2 if and only if φ 1 ( 0 ) = φ 2 ( 0 ) and φ 1 ( D ) φ 2 ( D ) .
Now, we introduce the definitions of the Mittag-Leffler function E κ ( z ) and its two-parameter version E κ , ν ( z ) , respectively, as defined by [20,21]:
E κ ( z ) = n = 0 z n Γ ( κ n + 1 ) ( z C , κ 0 ) ,
and
E κ , ν ( z ) = n = 0 z n Γ ( κ n + ν ) ( z , κ , ν C , ( κ ) > 0 , ( ν ) > 0 ) .
For some of the properties of the Mittag-Leffler function, we refer the reader to [22,23] and the references cited therein.
One of the most important generalizations of the Mittag-Leffler function is the Barnes–Mittag-Leffler function E κ , ν ( a ) ( s ; z ) , which is defined [24] as
E κ , ν ( a ) ( s ; z ) : = n = 0 z n Γ ( κ n + ν ) ( n + a ) s , ( a , ν C Z 0 , ( κ ) > 0 , s , z C ) .
It can be noted that E κ , ν ( a ) ( 0 ; z ) = E κ , ν ( z ) , E κ , 1 ( z ) = E κ ( z ) , and E 1 ( z ) = exp ( z ) .
By using the fact that E κ , ν ( a ) ( s ; z ) A , we introduce the following normalization of the Barnes–Mittag-Leffler function:
E κ , ν ( a ) ( s ; z ) = a s Γ ( ν ) z E κ , ν ( a ) ( s ; z ) = n = 1 ρ n ( a ) ( ν , κ , s ) z k ,
where
ρ n ( a ) ( ν , κ , s ) = a s Γ ( ν ) Γ ( n κ + ν κ ) ( n + a 1 ) s , n 1 .
In the present paper, we will restrict our attention to the conditions involving positive real-valued parameters a , s , ν , and κ and the argument z C . In this paper, we study some geometric properties (such as starlikness, uniformly starlike (convex), strongly starlike (convex), convexity, close-to-convexity) of a class of analytic function related to the Barnes–Mittag-Leffler function (consult (8)).
At the end of this section, we offer some helpful lemmas that aid with the completion of the proofs of the major findings.
Lemma 1
([25]). Assume that f A . If the inequality
f ( z ) z 1 < 1
holds for all z D , then f is starlike in
D 1 2 : = z C and | z | < 1 2 .
Lemma 2
([26]). Assume that f A and | f ( z ) 1 | < 1 is satisfied for each z D ; then f is convex in D 1 2 .
Lemma 3
([27]). If F such that F ( 0 ) = 1 is convex univalent in D and G with G ( 0 ) = 1 is analytic in D such that G F in D , then we get
( m + 1 ) z 1 m 0 z s m G ( s ) d s ( m + 1 ) z 1 m 0 z s m F ( s ) d s , n N { 0 } .
Lemma 4
(Ozaki [28]). If φ is of the form (1) such that
1 2 a 2 a ( + 1 ) a + 1 2 ,
or if
1 2 a 2 a ( + 1 ) a + 1 0 ,
then φ is close-to-convex with respect to the function log ( 1 z ) .
Lemma 5
([29]). Assume that the real sequence ( x n ) n 1 is positive and decreasing and satisfies x 1 = 1 . If ( x n ) n 1 is a convex sequence, then
n = 1 x n z n 1 > 1 2 ( z D ) .

2. Main Results and Their Consequences

Our first major finding is asserted by the following theorem.
Theorem 1.
Assume that one of the following sets of conditions holds true:
  • ( H 1 ) : Suppose that ν + κ > x * , Γ ( ν ) Γ ( ν + κ ) , and a s ζ ( s ) 1 ( s > 1 ) , where x * 1.461632144 is the abscissa of the minimum of the gamma function, and ζ ( s ) is the Riemann zeta function defined by
    ζ ( s ) = n = 1 1 n s ( ( s ) > 1 ) .
  • ( H 2 ) : Suppose that Γ ( ν ) ( e 1 ) Γ ( ν + κ ) , and also, the following inequality
    κ log ( κ + ν ) κ κ + ν log ( 2 ) 1 4
    is valid. Then, the function E κ , ν ( a ) ( s ; z ) is starlike in D 1 2 .
Proof. 
Let z D , and assume that the conditions of ( H 1 ) are valid; then we have
E κ , ν ( a ) ( s ; z ) z 1 < n = 2 ρ n ( a ) ( ν , κ , s ) .
Since ν + κ > x * , and using the fact that the Gamma function z Γ ( z ) is increasing on ( x * , ) , we deduce that
Γ ( ν + κ ) Γ ( n κ + ν ) ( n 2 ) .
Hence, in view of the above inequality and (8) combined with the condition Γ ( ν ) Γ ( ν + κ ) , we obtain
E κ , ν ( a ) ( s ; z ) z 1 < n = 1 a n + a s < a s ζ ( s ) 1 .
Then, with the aid of Lemma 1, we conclude that the function E κ , ν ( a ) ( s ; z ) is starlike in D 1 2 . Finally, we assume that the hypotheses ( H 2 ) hold true; then we have
E κ , ν ( a ) ( s ; z ) z 1 < n = 1 ρ ˜ n + 1 ( a ) ( ν , κ , s ) n ! ,
where
ρ ^ n + 1 ( a ) ( ν , κ , s ) = n ! ρ n + 1 ( a ) ( ν , κ , s ) .
In [30], Proof of Theorem 2.8, the authors proved that the function
g 1 ( t ) = Γ ( t + 1 ) Γ ( κ t + ν )
is decreasing on ( 1 , ) if the inequality (7) holds. By these observations and under the conditions of ( H 2 ) , we deduce that
E κ , ν ( a ) ( s ; z ) z 1 < Γ ( ν ) Γ ( ν + κ ) n = 1 a s n ! ( n + a ) s < Γ ( ν ) Γ ( ν + κ ) n = 1 1 n ! = ( e 1 ) Γ ( ν ) Γ ( ν + κ ) 1 .
Again, by means of Lemma 1, we derive the desired result asserted by Theorem 1 under the hypotheses ( H 2 ) .
Corollary 1.
Assume that ν + κ > x * , Γ ( ν ) Γ ( ν + κ ) , and 6 a π ; then the function E κ , ν ( a ) ( 2 ; z ) is starlike in D 1 2 .
Proof. 
Setting s = 2 in the hypotheses ( H 1 ) of Theorem 1, we obtain the required result. □
Example 1.
The function E 1 2 , 3 2 ( 1 ) ( 2 ; z ) is starlike in D 1 2 .
Remark 1.
If we set s = 0 in Theorem 1 under the conditions ( H 2 ) , we obtain that the normalized form of the Mittag-Leffler function E κ , ν ( z ) defined by
E κ , ν ( z ) = Γ ( ν ) z E κ , ν ( z ) ,
is starlike in D 1 2 .
Remark 2.
In [4], Theorem 2.4, the authors obtained that the function E κ , ν ( z ) is starlike in D 1 2 for κ 1 and ν 5 + 1 2 1.61 . In view of Remark 1, we see that the function E 5 2 , 2 3 ( z ) is starlike. However, Theorem 1 improves the corresponding results derived in [4].
Theorem 2.
Let the parameters κ and ν satisfy the following inequality:
κ log ( κ + ν ) κ κ + ν log ( 3 ) 1 6 .
If 2 ( e 1 ) Γ ( ν ) Γ ( ν + κ ) or if 2 Γ ( ν ) a s ζ ( s ) Γ ( ν + κ ) ( s > 1 ) , then the function E κ , ν ( a ) ( s ; z ) is convex in D 1 2 .
Proof. 
For z D , we have
E κ , ν ( a ) ( s ; z ) 1 < n = 1 ( n + 1 ) ρ n + 1 ( a ) ( ν , κ , s ) = n = 1 ρ ˜ n + 1 ( a ) ( ν , κ , s ) n ! ,
where
ρ ˜ n + 1 ( a ) ( ν , κ , s ) = ( n + 1 ) ! ρ n + 1 ( a ) ( ν , κ , s ) ( n 1 ) .
However, in view of the fact that the function (cf. [30], Proof of Theorem 3.8)
t Γ ( t + 2 ) Γ ( κ t + ν )
is decreasing on ( 1 , ) when the parameters κ and ν satisfy inequality (13) and with the help of (14), we find that
E κ , ν ( a ) ( s ; z ) 1 < Γ ( 3 ) Γ ( ν ) Γ ( κ + ν ) n = 1 a s n ! ( n + a ) s = : Γ ( 3 ) Γ ( ν ) Γ ( κ + ν ) I ( a , s ) .
It is easy to obtain that the following inequalities of the function I ( a , s ) read as follows:
I ( a , s ) ( e 1 ) ,
and
I ( a , s ) a s ζ ( s ) .
However, combining the above inequalities with (16), we readily derived the desired result by means of Lemma 2. □
Corollary 2.
If a s ζ ( s ) 1 , then the function E 2 , 1 ( a ) ( s ; z ) is convex in D 1 2 . Furthermore, if a 6 π , then the function E 2 , 1 ( a ) ( 2 ; z ) is convex in D 1 2 .
Proof. 
Firstly, specifying κ = 2 and ν = 1 in Theorem 2, we obtained the first stated result asserted by the above corollary. Secondly, taking s = κ = 2 and ν = 1 in the above theorem, we readily derived the second result in Corollary 2. □
Remark 3.
If we set s = 0 in the first set of conditions in Theorem 2, we deduce that the normalized form of the Mittag-Leffler function E κ , ν ( z ) defined in (12) is convex in D 1 2 .
Remark 4.
In [4], Theorem 2.4, Bansal and Prajapat proved that the function E κ , ν ( z ) is convex in D 1 2 if κ 1 and ν 17 + 3 2 3.65 . However, in view of the above remark, we can easily conclude that the function E 3 2 , 5 2 ( z ) is convex in D 1 2 . Hence, Theorem 2 improves Theorem 2.4 in [4].
Theorem 3.
Let the parameter space be the same as in Theorem 2. Upon setting
ϵ 1 : = 2 Γ ( ν ) ( e 1 ) Γ ( κ + ν ) , ϵ 2 : = 2 Γ ( ν ) a s ζ ( s ) Γ ( κ + ν ) ( s > 1 ) , ϵ * : = min ( ϵ 1 , ϵ 2 )
and
θ = 2 π arcsin ϵ * 2 4 ( ϵ * ) 2 + 1 ( ϵ * ) 2 ,
then the function E κ , ν ( a ) ( s ; z ) is strongly starlike of order θ .
Proof. 
According to (16) and (17) (respectively, (16) and (18)), we get
E κ , ν ( a ) ( s ; z ) 1 < ϵ * ,
where 0 < ϵ * 1 . Then, by using the above inequality, we obtain
E κ , ν ( a ) ( s ; z ) 1 + ϵ * z ( z D ) .
This implies that
arg E κ , ν ( a ) ( s ; z ) < arcsin ( ϵ * ) .
Now, we apply Lemma 3 for k = 0 , where G ( z ) = E κ , ν ( a ) ( s ; z ) and F ( z ) = 1 + ϵ * z ; we obtain
E κ , ν ( a ) ( s ; z ) z 1 + ϵ * 2 z ( z D ) .
Therefore, we get
arg E κ , ν ( a ) ( s ; z ) z < arcsin ϵ * 2 .
However, keeping (19) and (20) in mind, we have
arg z ( E κ , ν ( a ) ( s ; z ) ) E κ , ν ( a ) ( s ; z ) = arg E κ , ν ( a ) ( s ; z ) arg E κ , ν ( a ) ( s ; z ) z arg E κ , ν ( a ) ( s ; z ) + arg E κ , ν ( a ) ( s ; z ) z = arcsin ( ϵ * ) + arcsin ( ϵ * 2 ) = arcsin ϵ * 2 4 ( ϵ * ) 2 + 1 ( ϵ * ) 2 = θ π 2 ,
and this completes the proof. □
Remark 5.
If θ = 1 , then the function E κ , ν ( a ) ( s ; z ) is starlike in D .
Theorem 4.
Assume that min ( ν , κ ) 1 and s > 1 . If Γ ( ν + κ ) 2 Γ ( ν ) a s ζ ( s ) , then the function E κ , ν ( a ) ( s ; z ) is starlike in D .
Proof. 
According to the analytic description of starlike functions, to show that the function E κ , ν ( a ) ( s ; z ) is starlike in D , it suffices to prove that the following inequality
z ( E κ , ν ( a ) ( s ; z ) ) E κ , ν ( a ) ( s ; z ) > 0 ( z D ) .
It suffices to establish that the following inequality
z ( E κ , ν ( a ) ( s ; z ) ) E κ , ν ( a ) ( s ; z ) 1 < 1 ,
holds for all z D . In view of (8) and by using routine algebra, we have
( E κ , ν ( a ) ( s ; z ) ) E κ , ν ( a ) ( s ; z ) z < n = 1 n ρ n + 1 ( a ) ( ν , κ , s ) = n = 1 ρ ˜ n ( a ) ( ν , κ , s ) ( n 1 ) ! n = 1 ρ ˜ n ( a ) ( ν , κ , s ) ,
where ρ ˜ n ( a ) ( ν , κ , s ) is defined in (15). Since the digamma function ψ ( z ) = Γ ( z ) Γ ( z ) is increasing on ( 0 , ) , we deduce that the sequence ( n ! / Γ ( n κ + ν ) ) n 1 is decreasing for all min ( κ , ν ) 1 . This, in turn, implies
ρ ˜ n ( a ) ( ν , κ , s ) Γ ( ν ) a s ( n + a ) s Γ ( κ + ν ) .
Having (22) and (23) in mind, we obtain
( E κ , ν ( a ) ( s ; z ) ) E κ , ν ( a ) ( s ; z ) z < Γ ( ν ) a s ζ ( s ) Γ ( ν + κ ) ( z D ) .
Since Γ ( n κ + ν ) Γ ( κ + ν ) for all min ( n , ν , κ ) 1 , for z D , we get
E κ , ν ( a ) ( s ; z ) z > 1 a s ζ ( s ) Γ ( ν ) Γ ( ν + κ ) > 0 .
So by combining (24) and (25), we obtain that the inequality (21) is valid under our assumption. This is what we intended to show. □
Corollary 3.
Let s > 1 . If a s ζ ( s ) 1 2 , then the function E 1 , 1 ( a ) ( s ; z ) is starlike in D . In particular, if 0 < a 3 π , then the function E 1 , 1 ( a ) ( 2 ; z ) is starlike in D .
Proof. 
Firstly, we set ν = κ = 1 , and secondly, we let ν = κ = 1 and s = 2 in the above theorem; we derive the desired results asserted by Corollary 3. □
Theorem 5.
Suppose that 4 a s Γ ( ν ) ζ ( s ) Γ ( ν + κ ) . Also, if the following inequality is valid:
κ log ( ν + κ ) κ ν + κ log ( 3 ) + 5 6 ,
then the function E κ , ν ( a ) ( s ; z ) is convex in D .
Proof. 
According to the analytic characterizations of a convex function, to show that the function E κ , ν ( a ) ( s ; z ) is convex in D , it is enough to prove that the function
F κ , ν ( a ) ( s ; z ) = z ( E κ , ν ( a ) ( s ; z ) )
is starlike in D . For this, it suffices to prove the following inequality:
z ( F κ , ν ( a ) ( s ; z ) ) F κ , ν ( a ) ( s ; z ) 1 < 1 ( z D ) .
Again, by (8), we have
( F κ , ν ( a ) ( s ; z ) ) F κ , ν ( a ) ( s ; z ) z < n = 1 n ( n + 1 ) ρ n + 1 ( a ) ( ν , κ , s ) = n = 1 n Γ ( n + 2 ) ρ n + 1 ( a ) ( ν , κ , s ) n ! .
Moreover, in the proof of Theorem 3.1 [30], under the relation (26), the authors proved that the sequence ( ξ n ) n 1 defined by
ξ n = n Γ ( n + 2 ) Γ ( κ n + ν ) ( n 1 ) ,
is decreasing, and consequently, for all z D , we obtain
( F κ , ν ( a ) ( s ; z ) ) F κ , ν ( a ) ( s ; z ) z < 2 a s ζ ( s ) Γ ( ν ) Γ ( ν + κ ) .
Elementary calculus gives
F κ , ν ( a ) ( s ; z ) z > 1 n = 1 ( n + 1 ) ρ n + 1 ( a ) ( ν , κ , s ) = 1 n = 1 Γ ( ν ) a s χ n ( a ) ( ν , κ , s ) n ! ( n + a ) s ,
where χ n ( a ) ( ν , κ , s ) = ξ n ( a ) ( ν , κ , s ) n ( n 1 ) , and z D . Under our assumption, the sequence ( ξ n ) n 1 is decreasing, and consequently, the sequence ( χ n ) n 1 is decreasing. This means that
F κ , ν ( a ) ( s ; z ) z 1 n = 1 Γ ( ν ) a s χ 1 n ! ( n + a ) s = 1 2 Γ ( ν ) a s Γ ( ν + κ ) n = 1 1 n ! ( n + a ) s 1 2 Γ ( ν ) a s Γ ( ν + κ ) n = 1 1 ( n + a ) s 1 2 Γ ( ν ) a s ζ ( s ) Γ ( ν + κ ) > 0 .
Finally, by combining (30) and (32), we deduce that the inequality (27) holds true under the conditions we imposed on the parameters. With this the proof, Theorem 5 is complete. □
If we set ν = κ = 2 in Theorem 5, we compute the following result:
Corollary 4.
If 2 a s ζ ( s ) 3 , then the function E 2 , 2 ( a ) ( s ; z ) is convex in D .
If we let s = 2 in Theorem 5, we derive the following result:
Corollary 5.
If 0 < a 3 π , then the function E 2 , 2 ( a ) ( 2 ; z ) is convex in D .
Example 2.
The functions E 2 , 2 ( 1 2 ) ( 2 ; z ) and E 2 , 2 ( 3 4 ) ( 2 ; z ) are convex in D .
Theorem 6.
Assume that the inequality (26) holds true. Also, suppose that
6 a s Γ ( ν ) ζ ( s ) Γ ( ν + κ ) .
Then the function E κ , ν ( a ) ( s ; z ) is uniformly convex in D .
Proof. 
Let z D ; then by (8), we get
z ( E κ , ν ( a ) ( s ; z ) ) = n = 1 ξ n z n
where ( ξ n ) n 1 is defined in (29). By using the fact that the sequence ( ξ n ) n 1 is decreasing, we obtain
z ( E κ , ν ( a ) ( s ; z ) ) 2 a s ζ ( s ) Γ ( ν ) Γ ( ν + κ ) .
Further, for z D , we obtain
( E κ , ν ( a ) ( s ; z ) ) 1 n = 1 ϕ n ( a ) ( ν , κ , s )
where
ϕ n ( a ) ( ν , κ , s ) = n + 1 n ξ n ( a ) ( ν , κ , s ) Γ ( n + 2 ) ( n 1 ) .
Hence, the sequence ( ϕ n ) n 1 is decreasing as the product of three decreasing sequences. This, in turn, implies that the following inequality holds true:
( E κ , ν ( a ) ( s ; z ) ) Γ ( ν + κ ) 2 a s Γ ( ν ) ζ ( s ) Γ ( ν + κ ) .
Finally, in virtue of the above inequality and (34) and with the help of the analytic description given in (2), we obtain the desired result. □
Taking ( ν , κ ) = ( 2 , 2 ) in Theorem 6, we compute the following result:
Corollary 6.
If a s ζ ( s ) 1 , then the function E 2 , 2 ( a ) ( s ; z ) is uniformly convex in D .
Next, we set s = 2 in the above corollary; we obtain the following result:
Corollary 7.
If 0 < a < 6 π , then the function E 2 , 2 ( a ) ( s ; z ) is uniformly convex in D .
Theorem 7.
Assume that of all the hypotheses of Theorem 5 hold true. Then the function E κ , ν ( a ) ( s ; z ) is strongly convex in D .
Proof. 
Let z D ; a short computation gives
z ( E κ , ν ( a ) ( s ; z ) ) 1 n = 1 ( n + 1 ) 2 a s Γ ( ν ) ( n + a ) s Γ ( n κ + ν ) = : a s Γ ( ν ) n = 1 f n ( ν , κ ) ( n + a ) s .
Let us write the expression of the sequence ( f n ( ν , κ ) ) n 1 as follows:
f n ( ν , κ ) = ξ n Γ ( n + 1 ) . n + 1 n ( n 1 ) .
Then the sequence f n ( ν , κ ) is decreasing as the product of three decreasing sequences. Thus, we get
z ( E κ , ν ( a ) ( s ; z ) ) 1 4 a s Γ ( ν ) Γ ( κ + ν ) n = 1 1 ( n + a ) s 4 a s Γ ( ν ) Γ ( κ + ν ) n = 1 1 n s = 4 a s Γ ( ν ) ζ ( s ) Γ ( κ + ν ) = η .
Thus, we get
z ( E κ , ν ( a ) ( s ; z ) ) 1 + η z ( z D ) ,
and consequently, we have
arg z ( E κ , ν ( a ) ( s ; z ) ) < arcsin ( η ) ( z D ) .
By applying Lemma 3 once more, where m = 0 and the functions F and G are defined by
F ( z ) = 1 + η z and G ( z ) = z ( E κ , ν ( a ) ( s ; z ) ) ( z D ) ,
we obtain
( E κ , ν ( a ) ( s ; z ) ) 1 + η 2 z ( z D ) .
Having the above inequality and (38) in mind, then for z D , we have
arg ( z ( E κ , ν ( a ) ( s ; z ) ) ) ( E κ , ν ( a ) ( s ; z ) ) = arg ( z ( E κ , ν ( a ) ( s ; z ) ) ) arg ( E κ , ν ( a ) ( s ; z ) ) arg ( z ( E κ , ν ( a ) ( s ; z ) ) ) + arg ( E κ , ν ( a ) ( s ; z ) ) arcsin ( η ) + arcsin η 2 = arcsin η 2 4 ( η ) 2 + 1 ( η ) 2 = ϑ π 2 .
So the proof of Theorem 7 is completed. □
Theorem 8.
Let the parameter ranges for κ , ν , a > 0 , and s 0 be such that 2 a s Γ ( ν ) ( a + 1 ) s Γ ( ν + κ ) . If the following inequality is valid:
κ log ( ν ) κ ν > 1 ,
then the function E κ , ν ( a ) ( s ; z ) is close-to-convex with respect to the function log ( 1 z ) .
Proof. 
Firstly, we note that the condition
Γ ( ν ) Γ ( ν + κ ) ( a + 1 ) s 2 a s
implies ρ 1 ( a ) ( ν , κ , s ) 2 ρ 2 ( a ) ( ν , κ , s ) . In addition, for n 2 , we find that
n ρ n ( a ) ( ν , κ , s ) ( n + 1 ) ρ n + 1 ( a ) ( ν , κ , s ) a s Γ ( ν ) ( n + a ) s n 1 Γ ( n κ + ν κ ) n Γ ( n κ + ν )
However, in [30], Proof of Theorem 4.1, it was proved that the sequence ( ψ n ) n 2 defined by
ψ n = n 1 Γ ( n κ + ν κ ) ( n 2 ) ,
is decreasing if (39) is valid. From this observation and with the aid of (40), we deduce that the sequence ( n ρ n ( a ) ( ν , κ , s ) ) n 2 is decreasing. Thus, finally, by applying Lemma 4, we readily establish the desired result asserted by Theorem 8. □
Specifying ( κ , ν ) = ( 2 , 3 ) in Theorem 8, we compute the following corollary:
Corollary 8.
For all a , s > 0 , the function E 2 , 3 ( a ) ( s ; z ) is close-to-convex with respect to the function log ( 1 z ) .
Theorem 9.
Let the parameter space be the same as in Theorem 8. Then, we get
E κ , ν ( a ) ( s ; z ) z > 1 2 ( z D ) .
Proof. 
From (8), we have
E κ , ν ( a ) ( s ; z ) z = n = 1 ρ n ( a ) ( ν , κ , s ) z n 1 .
Under Condition (39), the sequence ( ψ n ) n 2 is decreasing, and consequently, the sequence ψ n / ( n 1 ) n 2 is also decreasing. Therefore, the sequence ρ n ( a ) ( ν , κ , s ) n 2 is decreasing. In addition, the inequality ( a + 1 ) s Γ ( ν + κ ) a s Γ ( ν ) implies ρ 1 ( a ) ( ν , κ , s ) ρ 2 ( a ) ( ν , κ , s ) . Next, we show that the sequence ρ n ( a ) ( ν , κ , s ) ρ n + 1 ( a ) ( ν , κ , s ) n 1 is also decreasing. So it suffices to prove that
ρ n ( a ) ( ν , κ , s ) 2 ρ n + 1 ( a ) ( ν , κ , s ) 0 ( n 1 ) .
Then, we get
ρ n ( a ) ( ν , κ , s ) 2 ρ n + 1 ( a ) ( ν , κ , s ) a s Γ ( ν ) ( n + a ) s 1 Γ ( n κ + ν κ ) 2 Γ ( n κ + ν ) .
Since the function z Γ ( z + δ ) Γ ( z ) is increasing on ( 0 , ) for each δ > 0 , we have
Γ ( n κ + ν ) Γ ( n κ + ν κ ) Γ ( κ + ν ) Γ ( ν ) .
We set s = 0 in our assumption; we obtain
Γ ( κ + ν ) 2 Γ ( ν ) ,
and in view of the above inequality and (41), we deduce that
ρ n ( a ) ( ν , κ , s ) 2 ρ n + 1 ( a ) ( ν , κ , s ) 0 ( n 1 ) .
Hence, the sequence ρ n ( a ) ( ν , κ , s ) ρ n + 1 ( a ) ( ν , κ , s ) n 1 is decreasing. So Lemma 5 yields the asserted result. The proof of Theorem 9 is completed. □

3. Conclusions

In the present paper, we have considered a class of functions related to the Barnes–Mittag-Leffler function (consult (8)). We found sufficient conditions to be imposed on the parameters of the aforementioned function that allow us to conclude that it possesses certain geometric properties such as starlikenes, uniformly starlike (convex), strongly starlike (convex), convexity, and close-to-convexity in the unit disk. Further, in view of Remarks 1–3, we deduce that some of the results derived in the present paper improved the corresponding results established in the literature.
Hopefully, the mathematical tools in the proof of the original results contained in our present paper will stimulate researchers’ imaginations and inspire them to also study some other special functions such as the Fox–Wright function and the generalized Hurwitz–Lerch-type functions.

Author Contributions

Writing—review & editing, A.A. and K.M. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Scientific Research at Northern Border University, Arar, KSA for funding this research work through the project number “NBU-FFR-2023-0159”.

Data Availability Statement

The data presented in this study are available on request from the corresponding author. The data are not publicly available due to privacy.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Noreen, S.; Raza, M.; Din, M.U.; Hussain, S. On certain geometric properties of normalized Mittag-Leffler functions. UPB Sci. Bull. Ser. A 2019, 81, 167–174. [Google Scholar]
  2. Noreen, S.; Raza, M.; Liu, J.-L.; Arif, M. Geometric properties of normalized Mittag-Leffler functions. Symmetry 2019, 11, 45. [Google Scholar] [CrossRef]
  3. Noreen, S.; Raza, M.; Malik, S.N. Certain geometric properties of Mittag-Leffler functions. J. Inequal. Appl. 2019, 2019, 94. [Google Scholar] [CrossRef]
  4. Bansal, D.; Prajapat, J.K. Certain geometric properties of the Mittag-Leffler functions. Complex Var. Elliptic Equ. 2016, 61, 338–350. [Google Scholar] [CrossRef]
  5. Mehrez, K.; Das, S. Geometric properties of the four parameters Wright function. J. Contemp. Math. Anal. 2022, 57, 43–58. [Google Scholar]
  6. Aktas, I. Certain geometric properties of a normalized hyper-Bessel function. Facta Univ. Ser. Math. Inf. 2020, 35, 179–186. [Google Scholar] [CrossRef]
  7. Aktas, I.; Baricz, Á.; Singh, S. Geometric and monotonic properties of hyper-Bessel functions. Ramanujan J. 2020, 51, 275–295. [Google Scholar] [CrossRef]
  8. Baricz, Á. Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  9. Mehrez, K. Some geometric properties of a class of functions related to the Fox-Wright function. Banach J. Math. Anal. 2020, 14, 1222–1240. [Google Scholar] [CrossRef]
  10. Bansal, D.; Soni, M.K.; Soni, A. Certain geometric properties of the modified Dini function. Anal. Math. Phys. 2019, 9, 1383–1392. [Google Scholar] [CrossRef]
  11. Deniz, E.; Gören, S. Geometric properties of generalized Dini functions. Honam Math. J. 2019, 41, 101–116. [Google Scholar]
  12. Baricz, Á.; Yagmur, N. Geometric properties of some Lommel and Struve functions. Ramanujan J. 2017, 42, 325–346. [Google Scholar] [CrossRef]
  13. Frasin, B.A.; Al-Hawary, T.; Yousef, F. Necessary and sufficient conditions for hypergeometric functions to be in a subclass of analytic functions. Afr. Mat. 2019, 30, 223–230. [Google Scholar] [CrossRef]
  14. Frasin, B.A.; Al-Hawary, T.; Yousef, F.; Aldawish, I. On subclasses of analytic functions associated with Struve functions. Nonlinear Funct. Anal. Appl. 2022, 27, 99–110. [Google Scholar]
  15. Mehrez, K.; Das, S.; Kumar, A. Geometric properties of the products of modified Bessel functions of the first kind. Bull. Malays. Math. Sci. Soc. 2021, 44, 2715–2733. [Google Scholar] [CrossRef]
  16. Duren, P.L. Univalent Functions; Grundlehren der Mathematischen Wissenschaften; Springer: New York, NY, USA, 1983. [Google Scholar]
  17. Lecko, A.; Wisniowska, A. Geometric properties of subclasses of starlike functions. J. Comp. App. Math. 2003, 155, 383–387. [Google Scholar] [CrossRef]
  18. Rönning, F. Uniformly convex functions and a corresponding class of starlike functions. Proc. Am. Math. Soc. 1993, 118, 189–196. [Google Scholar] [CrossRef]
  19. Ravichandran, V. On uniformly convex functions. Ganita 2002, 53, 117–124. [Google Scholar]
  20. Mittag-Leffler, M.G. Sur la nouvelle function eα(x). Comptes Rendus Hebd. Séances Acad. Sci. 1903, 137, 554–558. [Google Scholar]
  21. Mittag-Leffler, M.G. Une généralisation de l’intǵrale de Laplace-Abel. Comptes Rendus Hebd. Séances Acad. Sci. 1903, 136, 537–539. [Google Scholar]
  22. Mehrez, K.; Sitnik, S.M. Turán type inequalities for classical and generalized Mittag-Leffler functions. Anal. Math. 2018, 44, 521–541. [Google Scholar] [CrossRef]
  23. Gorenflo, R.; Kilbas, A.A.; Mainardi, F.; Rogosin, S.V. Mittag-Leffler Functions, Related Topics and Applications; Springer Monographs in Mathematics; Springer: Berlin/Heidelberg, Germany, 2014. [Google Scholar]
  24. Barnes, E.W. The asymptotic expansion of integral functions defined by taylor’s series. Phil. Trans. Roy. Soc. Lond. 1906, 206, 249–297. [Google Scholar]
  25. MacGregor, T.H. The radius of univalence of certain analytic functions II. Proc. Am. Math. Soc. 1963, 14, 521–524. [Google Scholar] [CrossRef]
  26. MacGregor, T.H. A class of univalent functions. Am. Math. Soc. 1964, 15, 311–317. [Google Scholar] [CrossRef]
  27. Hallenbeck, D.J.; Ruscheweyh, S. Subordination by convex functions. Proc. Am. Math. Soc. 1975, 52, 191–195. [Google Scholar] [CrossRef]
  28. Ozaki, S. On the theory of multivalent functions II. Sci. Rep. Tokyo Bunrika Daigaku. Sect. A 1941, 4, 45–87. [Google Scholar]
  29. Fejér, L. Untersuchungen über Potenzreihen mit mehrfach monotoner Koeffizientenfolge. Acta Lit. Sci. 1936, 8, 89–115. [Google Scholar]
  30. Mehrez, K.; Das, S. On some geometric properties of the Le Roy-type Mittag-Leffler function. Hacet. J. Math. Stat. 2022, 51, 1085–1103. [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

Alenazi, A.; Mehrez, K. Further Geometric Properties of the Barnes–Mittag-Leffler Function. Axioms 2024, 13, 12. https://doi.org/10.3390/axioms13010012

AMA Style

Alenazi A, Mehrez K. Further Geometric Properties of the Barnes–Mittag-Leffler Function. Axioms. 2024; 13(1):12. https://doi.org/10.3390/axioms13010012

Chicago/Turabian Style

Alenazi, Abdulaziz, and Khaled Mehrez. 2024. "Further Geometric Properties of the Barnes–Mittag-Leffler Function" Axioms 13, no. 1: 12. https://doi.org/10.3390/axioms13010012

APA Style

Alenazi, A., & Mehrez, K. (2024). Further Geometric Properties of the Barnes–Mittag-Leffler Function. Axioms, 13(1), 12. https://doi.org/10.3390/axioms13010012

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