Next Article in Journal
Supervised Focused Feature Network for Steel Strip Surface Defect Detection
Previous Article in Journal
Truncated Multicomplex and Higher-Order Topological Models in ALS Drug Discovery
Previous Article in Special Issue
Representation of Integral Formulas for the Extended Quaternions on Clifford Analysis
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Geometric Attributes of Analytic Functions Generated by Mittag-Leffler Function

1
Department of Mathematics, College of Science, University of Ha’il, Ha’il 81451, Saudi Arabia
2
Department of Mathematics and Computer Science, Faculty of Science, Port Said University, Port Said 42521, Egypt
3
Department of Mathematics, Faculty of Science, Damietta University, New Damietta 34517, Egypt
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(20), 3284; https://doi.org/10.3390/math13203284
Submission received: 14 September 2025 / Revised: 7 October 2025 / Accepted: 9 October 2025 / Published: 14 October 2025

Abstract

This study examines the necessary requirements for some analytic function subclasses, especially those associated with the generalized Mittag-Leffler function, to be classified as univalent function subclasses that are determined by particular geometric constraints. The core methodology revolves around the application of the Hadamard (or convolution) product involving a normalized Mittag-Leffler function M κ , χ ( ζ ) , leading to the definition of a new linear operator S χ , ϑ κ ( ζ ) . We investigate inclusion results in the recently defined subclasses Ξ ˜ ( ϖ , ϱ ) , L ^ ( ϖ , ϱ ) , K ^ ( ϖ , ϱ ) and F ^ ( ϖ , ϱ ) , which generalize the classical classes of starlike, convex, and close-to-convex functions. This is achieved by utilizing recent developments in the theory of univalent functions. In addition, we examine the behavior of functions from the class R θ ( E , V ) under the action of the convolution operator W χ , ϑ κ h ( ζ ) , establishing sufficient criteria for the resulting images to lie within the subclasses of analytic function. Also, certain mapping properties related to these subclasses are analyzed. In addition, the geometric features of an integral operator connected to the Mittag-Leffler function are examined. A few particular cases of our main findings are also mentioned and examined and the paper ends with the conclusions regarding the obtained results.

1. Overview and Preliminary Information

Let E κ be the function defined by
E κ ( ζ ) = ι = 0 ζ ι Γ ( κ ι + 1 ) ( ζ C , κ C , Re ( κ ) > 0 ) ,
that was introduced by Mittag-Leffler [1]. Wiman [2] defined a general function E κ , χ generalizing the Mittag-Leffler function, that is
E κ , χ ( ζ ) = ι = 0 ζ ι Γ ( κ ι + χ ) ( ζ C , κ , χ C , Re ( κ ) > 0 , Re ( χ ) > 0 ) .
Note that
  • E 0 , 1 ( ζ ) = 1 1 ζ , E 1 , 1 ( ζ ) = e ζ , E 1 , 2 ( ζ ) = e ζ 1 ζ ;
  • E 1 , 3 ( ζ ) = 2 ζ 2 ( e ζ ζ 1 ) , E 1 , 4 ( ζ ) = 1 ζ 3 [ 6 ( e ζ 1 ζ ) 3 ζ 2 ] .
The Mittag-Leffler function naturally occurs when fractional-order differential and integral equations are solved, particularly when random walks, fractional generalization of kinetic equations, super-diffusive transport, Lévy functions, and complex systems are studied. Mittag-Leffler functions generalize the exponential function and naturally arise in fractional calculus, anomalous diffusion, and related applied fields. Their analytic flexibility makes them particularly suitable for defining convolution and integral operators that preserve starlike, convex, and other geometric subclasses, while providing richer parameter control than operators based on other special functions. This motivates the present study and highlights its broader theoretical and applied relevance. Numerous attributes of the generalized Mittag-Leffler function and Mittag-Leffler function are seen, for instance, in Bansal and Prajapat [3], Frasin et al. [4] and others. The generalized (Mittag-Leffler) function E κ , χ does not fall under the family A , where A is a family of functions in which members take the form
h ( ζ ) = ζ + ι = 2 c ι ζ ι ,
which are univalent in P = { ζ : ζ C and ζ < 1 } . Let us also assume that T is a subclass of A , which includes the function of the kind that follows:
( ζ ) = ζ ı = 2 c ι ζ ι , ( c ι 0 ) .
The convolution of h ( ζ ) and g ( ζ ) is obtained by [5,6]
( h g ) ( ζ ) = ζ + ι = 2 c ι d ι ζ ι = ( g h ) ( ζ ) , ( ζ P ) ,
where h ( ζ ) A , defined by (1), and g ( ζ ) A given by
g ( ζ ) = ζ + ι = 2 d ι ζ ι .
According to Lashin et al. [7], a new class was introduced:
Definition 1 
([7]). A function h ( ζ ) Λ ( Υ , Ψ , , ϖ , ϱ ) if
Re ( 1 ϖ ) ( h Υ ) ( ζ ) + ϖ ( h Ψ ) ( ζ ) ( h Θ ) ( ζ ) > ϱ ( h A , ϖ [ 0 , 1 ] , ϱ [ 0 , 1 ) ) ,
where Υ , Ψ and Θ are given by
Υ ( ζ ) = ζ + ι = 2 α ι ζ ι , Ψ ( ζ ) = ζ + ι = 2 ν ι ζ ι and Θ ( ζ ) = ζ + ι = 2 γ ι ζ ι , ( α ι , ν ι , γ ι 0 , ζ P ) .
Also,
Λ ^ ( Υ , Ψ , Θ , ϖ , ϱ ) = Λ ( Υ , Ψ , Θ , ϖ , ϱ ) T .
There are additionally more basic subclasses of the class mentioned above. Here are a few instances of these situations:
Assuming that Υ ( ζ ) = ζ ( 1 ζ ) 2 , Ψ ( ζ ) = ζ ( 1 + ζ ) ( 1 ζ ) 3 and Θ ( ζ ) = ζ in Definition 1, we have the subclass results.
Definition 2 
([8]). A function h ( ζ ) Ξ ( ϖ , ϱ ) if
Re h ( ζ ) + ϖ ζ h ( ζ ) > ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , h A ) ,
and (see [7,9])
Ξ ˜ ( ϖ , ϱ ) = Ξ ( ϖ , ϱ ) T .
Lemma 1 
([9], with p = 1 ). A function ( ζ ) Ξ ˜ ( ϖ , ϱ ) if and only if
ι = 2 ι ( 1 + ϖ ( ι 1 ) ) c ι 1 ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , c ι 0 ) .
If we put Υ ( ζ ) = ζ ( 1 ζ ) 2 , Ψ ( ζ ) = ζ ( 1 + ζ ) ( 1 ζ ) 3 and Θ ( ζ ) = ζ 1 ζ in Definition 1, we derive the following subclass.
Definition 3 
([10]). A function h ( ζ ) L ( ϖ , ϱ ) if
Re ζ h ( ζ ) + ϖ ζ 2 h ( ζ ) h ( ζ ) > ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , h A ) ,
and (see [7,11])
L ^ ( ϖ , ϱ ) = L ( ϖ , ϱ ) T .
Lemma 2 
([11]). A function ( ζ ) L ^ ( ϖ , ϱ ) if and only if
ι = 2 ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ c ι 1 ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , c ι 0 ) .
If we put Υ ( ζ ) = ζ 1 ζ , Ψ ( ζ ) = ζ ( 1 ζ ) 2 and Θ ( ζ ) = ζ in Definition 1, then the results that follow the subclass are obtained.
Definition 4 
([12]). A function h ( ζ ) K ( ϖ , ϱ ) if
Re ( 1 ϖ ) h ( ζ ) ζ + ϖ h ( ζ ) > ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , h A ) ,
and (see [7] and ([13], with h ( z ) = z 1 z ))
K ^ ( ϖ , ϱ ) = K ( ϖ , ϱ ) T .
Lemma 3 
([7]). A function ( ζ ) K ^ ( ϖ , ϱ ) if and only if
ι = 2 ϖ ( ι 1 ) + 1 c ι 1 ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , c ι 0 ) .
If we put Υ ( ζ ) = ζ 1 ζ , Ψ ( ζ ) = ζ ( 1 + ζ ) ( 1 ζ ) 3 and Θ ( ζ ) = ζ ( 1 ζ ) 2 in Definition 1, then we derive the following subclass.
Definition 5 
([14]). A function h ( ζ ) F ( ϖ , ϱ ) if
Re ( 1 ϖ ) h ( ζ ) ζ h ( ζ ) + ϖ 1 + ζ h ( ζ ) h ( ζ ) > ϱ , ( ϱ [ 0 , 1 ) , ϖ [ 0 , 1 ] , h A ) ,
and
F ^ ( ϖ , ϱ ) = F ( ϖ , ϱ ) T .
Lemma 4 
([14]). A function ( ζ ) F ^ ( ϖ , ϱ ) if and only if
ι = 2 ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) c ι 1 ϱ , 1 3 ϖ 1 , 0 ϱ < 1 , c ι 0 .
Remark 1. 
(i) 
Taking ϖ = 0 in Definition 3, we derive S * ( ϱ ) , which contains the starlike function of order ϱ ( 0 ϱ < 1 ) and S ^ * ( ϱ ) = S ( ϱ ) T [15];
(ii) 
Taking ϖ = ϱ = 0 in Definition 3, we derive S * which contains the starlike function and S ^ = S T [16];
(iii) 
Taking ϖ = 1 in Definition 5, we derive K ( ϱ ) , which contains the convex function of order ϱ ( 0 ϱ < 1 ) and K ^ ( ϱ ) = K ( ϱ ) T [15];
(iv) 
Taking ϖ = 1 and ϱ = 0 in Definition 5, we derive K , which contains the convex function and K ^ = K T [16];
(v) 
Taking ϖ = 0 in Definition 2 and ϖ = 1 in Definition 4, we derive C ( ϱ ) , which contains the close-to-convex function of order ϱ ( 0 ϱ < 1 ) and C ^ ( ϱ ) = C ( ϱ ) T [17].
Definition 6 
([18]). A function h ( ζ ) R θ ( E , V ) if it satisfies
h ( ζ ) 1 ( E V ) θ V ( h ( ζ ) 1 ) < 1 ( θ C * ; 1 V < E 1 ; h A ) .
Note that
(1) 
R 1 ( σ , σ ) = R ( σ ) = h A : h ( ζ ) 1 h ( ζ ) + 1 < σ ( ζ P ; 0 < σ 1 ) (see [19]);
(2) 
R e i λ cos λ ( 1 2 σ , 1 ) = R λ ( σ ) = h A : Re ( e i λ ( h ( λ ) σ ) ) > 0
( ζ P ; | λ | < π 2 ; 0 σ < 1 ) (see [20]).
Lemma 5 
([18]). If h ( ζ ) R θ ( E , V ) , then
| c ι | ( E V ) | θ | ι ( ι 2 ; θ C * ; 1 V < E 1 ; h A ) .
One innovative and interesting field of study is the use of special functions in geometric function theory. Mathematics, physics, and engineering all make substantial use of it. Geometric function theory relies heavily on the applications of the Fox–Wright function [21], the Wright function [22] and the generalized hypergeometric function [20,23,24]. The use of distribution series, including Poisson, Pascal, Borel, and others, to investigate the properties of geometric functions has been the subject of extensive contemporary research. A Poisson distribution series was introduced by Porwal [25] in 2014, and the required and sufficient criteria for this series that pertain to the classes of analytic univalent functions have been determined (see also [26,27]). Porwal [28] presented the generalized distribution series and examined its geometrical characteristics in relation to univalent functions in 2018 (see also [29]). Ali et al. [30] assessed a few conditions for the Touchard polynomial to belong to the analytic function subclasses in 2023. In 2024, Murugusundaramoorthy and Bulboacä [31] demonstrated that certain subclasses of analytic functions related to the Mittag-Leffler function exist in subclasses of spiral-like univalent functions.
The following normalization of the Mittag-Leffler function was defined by Bansal and Prajapat [3]:
M κ , χ ( ζ ) = ζ Γ ( χ ) E κ , χ ( ζ ) = ζ + ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ζ ι ( ζ C , κ , χ C , Re ( κ ) > 0 , Re ( χ ) > 0 ) .
We note that [3]
(i) 
M 0 , 1 ( ζ ) = ζ 1 ζ is convex in P = { ζ : | ζ | < 1 } ;
(ii) 
M 1 , 2 ( ζ ) = e ζ 1 , M 1 , 3 ( ζ ) = 2 ζ ( e ζ ζ 1 ) , M 1 , 4 ( ζ ) = 1 ζ 2 [ 6 ( e ζ 1 ζ ) 3 ζ 2 ] are starlike and univalent in P 1 / 2 = { ζ : | ζ | < 1 / 2 } ;
(iii) 
M 1 , 4 ( ζ ) = 1 ζ 2 [ 6 ( e ζ 1 ζ ) 3 ζ 2 ] is convex in P 1 / 2 ;
(iv) 
M 1 , 4 ( ζ ) = 1 ζ 2 [ 6 ( e ζ 1 ζ ) 3 ζ 2 ] is starlike in P .
Now we define the following new linear operators based on convolution. For real parameters κ and χ with κ , χ { 0 , 1 , 2 , } and M κ , χ ( ζ ) be given by (7), we define H χ κ : A A as follows:
H χ κ h ( ζ ) = h ( ζ ) M κ , χ ( ζ ) = ζ + ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) c ι ζ ι ( ζ C ) .
Also, we introduce χ κ ( ζ ) as follows:
χ κ ( ζ ) = 2 ζ M κ , χ ( ζ ) = ζ ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ζ ι .
Next, we define I χ κ : T T as follows:
I χ κ ( ζ ) = ( ζ ) χ κ ( ζ ) = ζ ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) c ι ζ ι ( ζ C ; c ι 0 ) .
Additionally, we give the functions
W χ κ ( ϑ ; ζ ) = ( 1 ϑ ) M κ , χ ( ζ ) + ϑ ζ M κ , χ ( ζ ) = ζ + ι = 2 [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ζ ι ( ϑ 0 ) ,
and
W χ , ϑ κ h ( ζ ) = h ( ζ ) W χ κ ( ϑ ; ζ ) = ζ + ι = 2 [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) c ι ζ ι ( ϑ 0 ) .
Additionally, we give the functions
W ^ χ κ ( ϑ ; ζ ) = 2 ζ M χ κ ( ϑ ; ζ ) = ζ ι = 2 [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ζ ι ( ϑ 0 ) .
Also, we define S χ , ϑ κ : T T by the convolution as
S χ , ϑ κ ( ζ ) = W ^ χ κ ( ϑ ; ζ ) ( ζ ) = ζ ι = 2 [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) c ι ζ ι , ( c ι 0 ; ϑ 0 ) .
In the present work, some requirements that a Mittag-Leffler function must have to be part of analytic function subclasses are discussed. Furthermore, we derive various inclusion relations between R θ ( E , V ) and subclasses of analytic functions. Additionally, certain mapping properties related to these subclasses are analyzed. We also present the geometric properties of an integral operator assosiated with the Mittag-Leffler function. We also discuss and analyze some specific examples of our key conclusions.
In this paper, as long as otherwise specified, we are assuming that κ , χ > 0 , ϑ 0 , 0 ϖ 1 , 0 ϱ < 1 , θ C * , 1 V < E 1 , ζ P .

2. Inclusion Results

As indicated throughout our study, we will utilize the notation (7) to demonstrate our primary findings; therefore,
M κ , χ ( 1 ) 1 = ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ,
M κ , χ ( 1 ) 1 = ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ,
M κ , χ ( 1 ) = ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ,
M κ , χ ( 1 ) = ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ,
M κ , χ ( 4 ) ( 1 ) = ι = 4 ι ( ι 1 ) ( ι 2 ) ( ι 3 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ,
0 1 M κ , χ ( s ) s 1 d s = ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Theorem 1. 
The function W ^ χ κ ( ϑ ; ζ ) Ξ ˜ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 1 ) + [ ( 1 + ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Proof. 
Since W ^ χ κ ( ϑ ; ζ ) is defined by (12), Lemma 1 states that we must demonstrate that
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Given that the inequality (21)’s left side might be expressed as
Ω 1 ( ϖ , ϑ ; κ , χ ) = ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 [ ( 1 ϖ ) ι + ϑ ( 1 ϖ ) ι ( ι 1 ) + ϖ ι 2 + ϑ ϖ ι 2 ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϑ ϖ ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 + ϖ ) ϑ + ϖ ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
thus, with (15)–(17), we obtain
Ω 1 ( ϖ , ϑ ; κ , χ ) = ϑ ϖ M κ , χ ( 1 ) + [ ( 1 + ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 .
Consequently, it may be determined that (21) holds. □
Applying Theorem 1 and ϑ = 0 , we get the next outcome:
Corollary 1. 
The function function χ κ ( ζ ) Ξ ˜ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Applying Theorem 1 and ϖ = 0 , we get the next outcome:
Corollary 2. 
The function W ^ χ κ ( ϑ ; ζ ) C ^ ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Applying Corollary 2 and ϑ = 0 , we get the next outcome:
Example 1. 
The function χ κ ( ζ ) C ^ ( ϱ ) if and only if
M κ , χ ( 1 ) 1 1 ϱ .
Theorem 2. 
The function S χ , ϑ κ ( ζ ) , defined by (13), maps ( ζ ) S ^ * to Ξ ˜ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 4 ) ( 1 ) + [ ( 1 + 4 ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + [ 2 ( 1 + ϖ ) ϑ + 2 ϖ + 1 ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Proof. 
According to Lemma 1 and (13), we must demonstrate that
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) S ^ * , then | c ι | ι . The inequality (25) can be represented as
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 ι [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 ι [ ( 1 ϖ ) ι + ϑ ( 1 ϖ ) ι ( ι 1 ) + ϖ ι 2 + ϑ ϖ ι 2 ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϑ ϖ ι ( ι 1 ) ( ι 2 ) ( ι 3 ) + [ ( 1 + 4 ϖ ) ϑ + ϖ ] ι ( ι 1 ) ( ι 2 ) + [ 2 ( 1 + ϖ ) ϑ + 2 ϖ + 1 ] ι ( ι 1 ) + ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϑ ϖ ι = 4 ι ( ι 1 ) ( ι 2 ) ( ι 3 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 + 4 ϖ ) ϑ + ϖ ] ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ 2 ( 1 + ϖ ) ϑ + 2 ϖ + 1 ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Thus, with (15)–(18), we obtain
ϑ ϖ M κ , χ ( 4 ) ( 1 ) + [ ( 1 + 4 ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + [ 2 ( 1 + ϖ ) ϑ + 2 ϖ + 1 ] M κ , χ ( 1 ) + [ M κ , χ ( 1 ) 1 ] 1 ϱ .
As a result, Theorem 2 is proved. □
Applying Theorem 2 and ϑ = 0 , we get the next outcome:
Corollary 3. 
The function I χ κ ( ζ ) , defined by (10), maps ( ζ ) S ^ * to Ξ ˜ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + [ 2 ϖ + 1 ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Applying Theorem 2 and ϖ = 0 , we get the next outcome:
Corollary 4. 
The function S χ , ϑ κ ( ζ ) , given by (13), maps ( ζ ) S ^ * to C ^ ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + [ 2 ϑ + 1 ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Applying Corollary 4 and ϑ = 0 , we get the next outcome:
Example 2. 
The function I χ κ ( ζ ) , given by (10), maps ( ζ ) S ^ * to C ^ ( ϱ ) if and only if
M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Theorem 3. 
The function S χ , ϑ κ ( ζ ) , given by (13), maps ( ζ ) K ^ to Ξ ˜ ( ϖ , ϱ ) if and only if (20) satisfies.
Proof. 
According to Lemma 1 and (13), we must demonstrate that
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) K ^ , then | c ι | 1 . Since Theorem 3’s proof has similarities to that of Theorem 1, we omit it. □
Theorem 4. 
The function W ^ χ κ ( ϑ ; ζ ) L ^ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 1 ) + [ ϖ + ϑ ( 1 + ϖ ) ] M κ , χ ( 1 ) + [ 1 ϱ ϑ ] M κ , χ ( 1 ) + ϱ ( ϑ 1 ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Proof. 
Given Lemma 2 and (12) of W ^ χ κ ( ϑ ; ζ ) , it is straightforward to demonstrate that
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
The left-hand side of (27) might be represented as
Ω 2 ( ϖ , ϱ , ϑ , κ , χ ) = ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϖ ϑ ι ( ι 1 ) 2 + ϑ ( ι 1 ) 2 + ϖ ι ( ι 1 ) + [ ( 1 ϱ ) ϑ + 1 ] ( ι 1 ) + ( 1 ϱ ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϑ ϖ ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ + ϑ ( 1 + ϖ ) ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϱ ϑ ) ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ϱ ( ϑ 1 ) ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Thus, with (14)–(17), we obtain
Ω 2 ( ϖ , ϱ , ϑ , κ , χ ) = ϑ ϖ M κ , χ ( 1 ) + [ ϖ + ϑ ( 1 + ϖ ) ] M κ , χ ( 1 ) + [ 1 ϱ ϑ ] [ M κ , χ ( 1 ) 1 ] + ϱ ( ϑ 1 ) [ M κ , χ ( 1 ) 1 ] .
Thus, it may be concluded that (27) is true. □
Applying Theorem 4 and ϑ = 0 , we get the next outcome:
Corollary 5. 
The function χ κ ( ζ ) L ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + M κ , χ ( 1 ) ϱ M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Applying Theorem 4 and ϖ = 0 , we get the next outcome:
Corollary 6. 
The function W ^ χ κ ( ϑ ; ζ ) S ^ * ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + [ 1 ϱ ϑ ] M κ , χ ( 1 ) + ϱ ( ϑ 1 ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Applying Corollary 6 and ϑ = ϱ = 0 , we get the next outcome:
Example 3. 
The function χ κ ( ζ ) S ^ * if and only if
M κ , χ ( 1 ) 2 .
Theorem 5. 
The function S χ , ϑ κ ( ζ ) given by (13), maps ( ζ ) S ^ * to L ^ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 4 ) ( 1 ) + [ ϖ + ϑ ( 1 + 4 ϖ ) ] M κ , χ ( 1 ) + [ 1 ϱ ϑ + 2 ϖ + 2 ϑ ( ϖ + 1 ) ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Proof. 
Given Lemma 2 and (13), it is straightforward to demonstrate that
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) S ^ * , then | c ι | ι . The inequality (29) can be represented as
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 ι [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 ι ϖ ϑ ι ( ι 1 ) 2 + ϑ ( ι 1 ) 2 + ϖ ι ( ι 1 ) + [ ( 1 ϱ ) ϑ + 1 ] ( ι 1 ) + ( 1 ϱ ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϑ ϖ ι = 4 ι ( ι 1 ) ( ι 2 ) ( ι 3 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ + ϑ ( 1 + 4 ϖ ) ] ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ 1 ϱ ϑ + 2 ϖ + 2 ϑ ( ϖ + 1 ) ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϱ ) ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Thus, with (15)–(18), we obtain
ϑ ϖ M κ , χ ( 4 ) ( 1 ) + [ ϖ + ϑ ( 1 + 4 ϖ ) ] M κ , χ ( 1 ) + [ 1 ϱ ϑ + 2 ϖ + 2 ϑ ( ϖ + 1 ) ] M κ , χ ( 1 ) + ( 1 ϱ ) [ M κ , χ ( 1 ) 1 ] 1 ϱ .
As a result, Theorem 5 is proved. □
Applying Theorem 5 and ϑ = 0 , we get the next outcome:
Corollary 7. 
The function I χ κ ( ζ ) , given by (10), maps ( ζ ) S ^ * to L ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + [ 1 + 2 ϖ ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Applying Theorem 5 and ϖ = 0 , we get the next outcome:
Corollary 8. 
The function S χ , ϑ κ ( ζ ) given by (13), maps ( ζ ) S ^ * to S ^ * ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + [ 1 + ϑ ( 2 ϱ ) ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Taking ϑ = ϱ = 0 in Corollary 8, we obtain the following result:
Example 4. 
The function I χ κ ( ζ ) , given by (10), maps ( ζ ) S ^ * to S ^ * if and only if
M κ , χ ( 1 ) + M κ , χ ( 1 ) 2 .
Theorem 6. 
The function S χ , ϑ κ ( ζ ) , given by (13), maps ( ζ ) K ^ to L ^ ( ϖ , ϱ ) if and only if (26) is satisfied.
Proof. 
According to Lemma 2 and (13), we must demonstrate that
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) K ^ , then | c ι | 1 . Since Theorem 6’s proof has similarities to that of Theorem 4, we omit it. □
Theorem 7. 
The function W ^ χ κ ( ϑ ; ζ ) K ^ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 1 ) + [ ϖ + ϑ ( 1 ϖ ) ] M κ , χ ( 1 ) + [ 1 + ( ϖ 1 ) ϑ ϖ ] M κ , χ ( 1 ) 1 1 ϱ .
Proof. 
It is easy to show that, given Lemma 3 and (12),
ι = 2 [ ( ι 1 ) ϖ + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Inequality (31)’s left-hand side might be represented as
Ω 3 ( ϖ , ϑ , κ , χ ) = ι = 2 [ ϖ ( ι 1 ) + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 [ ϖ ϑ ι ( ι 1 ) + [ ϖ + ϑ ( 1 ϖ ) ] ι + ( 1 ϑ + ϖ ( ϑ 1 ) ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ϑ ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ + ϑ ( 1 ϖ ) ] ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ 1 ϑ + ϖ ( ϑ 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Using (14)–(16), we thus get
Ω 3 ( ϖ , ϑ , κ , χ ) = ϖ ϑ M κ , χ ( 1 ) + [ ϖ + ϑ ( 1 ϖ ) ] [ M κ , χ ( 1 ) 1 ] + [ 1 ϑ + ϖ ( ϑ 1 ) ] [ M κ , χ ( 1 ) 1 ] .
Therefore, (31) can be considered true. □
Applying Theorem 7 and ϑ = 0 , we get the next outcome:
Corollary 9. 
The function χ κ ( ζ ) K ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + ( 1 ϖ ) M κ , χ ( 1 ) 1 1 ϱ .
Applying Theorem 7 and ϖ = 1 , we get the next outcome:
Corollary 10. 
The function W ^ χ κ ( ϑ ; ζ ) C ^ ( ϱ ) if and only if (23) is satisfied.
Taking ϑ = 0 in Corollary 10, we obtain the following result:
Example 5. 
The function χ κ ( ζ ) C ^ ( ϱ ) if and only if (24) is satisfied.
Theorem 8. 
The function S χ , ϑ κ ( ζ ) defined by (13), maps ( ζ ) S ^ * to K ^ ( ϖ , ϱ ) if and only if (20) is satisfied.
Proof. 
It is easy to show that, given Lemma 3 and (13),
ι = 2 [ ( ι 1 ) ϖ + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) S ^ * , then | c ι | ι . The proof of Theorem 8 is omitted because it is comparable to that of Theorem 1. □
Applying Theorem 8 and ϑ = 0 , we get the next outcome:
Corollary 11. 
The function I χ κ ( ζ ) , defined by (10), maps ( ζ ) S ^ * to K ^ ( ϖ , ϱ ) if and only if (22) is satisfied.
Applying Theorem 8 and ϖ = 1 , we get the next outcome:
Corollary 12. 
The function S χ , ϑ κ ( ζ ) defined by (13), maps ( ζ ) S ^ * to C ^ ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + [ 2 ϑ + 1 ] M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Taking ϑ = 0 in Corollary 12, we obtain the following result:
Example 6. 
The function I χ κ ( ζ ) , defined by (10), maps ( ζ ) S ^ * to C ^ ( ϱ ) if and only if
M κ , χ ( 1 ) + M κ , χ ( 1 ) 1 1 ϱ .
Theorem 9. 
The function S χ , ϑ κ ( ζ ) , defined by (13), maps ( ζ ) K ^ to K ^ ( ϖ , ϱ ) if and only if (30) is satisfied.
Proof. 
According to Lemma 3 and (13), we must demonstrate that
ι = 2 [ ( ι 1 ) ϖ + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) K ^ , then | c ι | 1 . Since Theorem 9’s proof has similarities to that of Theorem 7, we omit it. □
Theorem 10. 
The function W ^ χ κ ( ϑ ; ζ ) F ^ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 1 ) + [ ϖ + ϑ ( 2 ϖ ϱ ) ] M κ , χ ( 1 ) + [ 1 ϱ + ( 1 ϖ ) ( ϑ 1 ) ] M κ , χ ( 1 ) ( 1 ϖ ) ( ϑ 1 ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Proof. 
It is easy to show that, given Lemma 4 and (12),
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Inequality (34)’s left-hand side might be represented as
Ω 4 ( ϖ , ϱ , ϑ , κ , χ ) = ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 [ ϖ ϑ ι ( ι 1 ) ( ι 2 ) + [ ϖ + ϑ ( 2 ϖ ϱ ) ] ι ( ι 1 ) + [ ( 1 ϖ ) ( ϑ 1 ) + 1 ϱ ] ι ( 1 ϖ ) ( ϑ 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ϑ ι = 2 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ + ϑ ( 2 ϖ ϱ ) ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 ϖ ) ( ϑ 1 ) + 1 ϱ ] ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ( 1 ϖ ) ( ϑ 1 ) ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Using (14)–(17), we thus get
Ω 4 ( ϖ , ϱ , ϑ , κ , χ ) = ϖ ϑ M κ , χ ( 1 ) + [ ϖ + ϑ ( 2 ϖ ϱ ) ] M κ , χ ( 1 ) + [ ( 1 ϖ ) ( ϑ 1 ) + 1 ϱ ] [ M κ , χ ( 1 ) 1 ] ( 1 ϖ ) ( ϑ 1 ) [ M κ , χ ( 1 ) 1 ] .
Therefore, (34) can be considered true. □
Applying Theorem 10 and ϑ = 0 , we get the next outcome:
Corollary 13. 
The function χ κ ( ζ ) F ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + [ ϖ ϱ ] M κ , χ ( 1 ) + ( 1 ϖ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Applying Theorem 10 and ϖ = 1 , we get the next outcome:
Corollary 14. 
The function W ^ χ κ ( ϑ ; ζ ) K ^ ( ϱ ) if and only if
ϑ M κ , χ ( 1 ) + [ 1 + ϑ ( 2 ϱ ) ] M κ , χ ( 1 ) + [ 1 ϱ ] M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Taking ϑ = ϱ = 0 in Corollary 14, we get the next result:
Example 7. 
The function χ κ ( ζ ) K ^ if and only if
M κ , χ ( 1 ) + M κ , χ ( 1 ) 2 .
Theorem 11. 
The function S χ , ϑ κ ( ζ ) , defined by (13), maps ( ζ ) S ^ * to F ^ ( ϖ , ϱ ) if and only if
ϑ ϖ M κ , χ ( 4 ) ( 1 ) + [ ϖ ( 1 + 5 ϑ ) ϑ ϱ ] M κ , χ ( 1 ) + [ ( 1 + 2 ϑ ) ( 2 ϖ ϱ ) + ( 1 ϖ ) ( ϑ 1 ) + 1 ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Proof. 
It is easy to show that, given Lemma 4 and (13),
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) S ^ * , then | c ι | ι . Inequality (39) can be represented as
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 ι [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϖ ϑ ι ( ι 1 ) ( ι 2 ) ( ι 3 ) + [ ϖ ( 1 + 5 ϑ ) ϑ ϱ ] ι ( ι 1 ) ( ι 2 ) + [ ( 1 + 2 ϑ ) ( 2 ϖ ϱ ) + ( 1 ϖ ) ( ϑ 1 ) + 1 ] ι ( ι 1 ) + ( 1 ϱ ) ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ϑ ι = 4 ι ( ι 1 ) ( ι 2 ) ( ι 3 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ ( 1 + 5 ϑ ) ϑ ϱ ] ι = 3 ι ( ι 1 ) ( ι 2 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 + 2 ϑ ) ( 2 ϖ ϱ ) + ( 1 ϖ ) ( ϑ 1 ) + 1 ] ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϱ ) ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Using (15)–(18), we thus get
ϖ ϑ M κ , χ ( 4 ) ( 1 ) + [ ϖ ( 1 + 5 ϑ ) ϑ ϱ ] M κ , χ ( 1 ) + [ ( 1 + 2 ϑ ) ( 2 ϖ ϱ ) + ( 1 ϖ ) ( ϑ 1 ) + 1 ] M κ , χ ( 1 ) + ( 1 ϱ ) [ M κ , χ ( 1 ) 1 ] 1 ϱ .
As a result, Theorem 11 is proved. □
Applying Theorem 11 and ϑ = 0 , we get the next outcome:
Corollary 15. 
The function I χ κ ( ζ ) , defined by (10), maps ( ζ ) S ^ * to F ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + [ 3 ϖ ϱ ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Applying Theorem 11 and ϖ = 1 , we get the next outcome:
Corollary 16. 
The function S χ , ϑ κ ( ζ ) , defined by (13), maps ( ζ ) S ^ * to K ^ ( ϱ ) if and only if
ϑ M κ , χ ( 4 ) ( 1 ) + [ 1 + ϑ ( 5 ϱ ) ] M κ , χ ( 1 ) + [ ( 1 + 2 ϑ ) ( 2 ϱ ) + 1 ] M κ , χ ( 1 ) + ( 1 ϱ ) M κ , χ ( 1 ) 2 ( 1 ϱ ) .
Taking ϑ = ϱ = 0 in Corollary 16, we get the next result:
Example 8. 
The function I χ κ ( ζ ) , defined by (10), maps ( ζ ) S ^ * to K ^ if and only if
M κ , χ ( 1 ) + 3 M κ , χ ( 1 ) + M κ , χ ( 1 ) 2 .
Theorem 12. 
The function S χ , ϑ κ ( ζ ) , defined by (13), maps ( ζ ) K ^ to F ^ ( ϖ , ϱ ) if and only if (33) is satisfied.
Proof. 
According to Lemma 4 and (13), we must demonstrate that
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Since ( ζ ) K ^ , then | c ι | 1 . Since Theorem 12’s proof has similarities to that of Theorem 10, we omit it. □

3. Properties of an Integral Operator

In this section, we examine the geometric features of the Mittag-Leffler function M κ , χ ( ζ ) under the action of the integral operator
Z χ κ ( ζ ) = 0 ζ 2 M κ , χ ( s ) s d s = ζ ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) ζ ι .
We aim to establish sufficient conditions under which the function Z χ κ ( ζ ) belongs to the subclasses Ξ ˜ ( ϖ , ϱ ) , L ^ ( ϖ , ϱ ) , K ^ ( ϖ , ϱ ) and F ^ ( ϖ , ϱ ) .
Theorem 13. 
The function Z χ κ ( ζ ) , given by (40), is in Ξ ˜ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + ( 1 ϖ ) M κ , χ ( 1 ) 1 1 ϱ .
Proof. 
As stated in Lemma 1, we have to prove if
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Considering that the left side of (41) might be written as
Φ 1 ( ϖ , κ , χ ) = ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ι = 2 [ 1 + ϖ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϖ ) ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Therefore, using (14) and (15), we get
Φ 1 ( ϖ , κ , χ ) = ϖ [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) [ M κ , χ ( 1 ) 1 ] .
The conclusion that follows is that (41) is true. As a result, Theorem 13 is proved. □
Taking ϖ = 0 in Theorem 13, we get the next result:
Corollary 17. 
The function Z χ κ ( ζ ) , given by (40), is in C ^ ( ϱ ) if and only if
M κ , χ ( 1 ) 1 1 ϱ .
Theorem 14. 
The function Z χ κ ( ζ ) , given by (40), is in L ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) + ( 1 ϖ ) M κ , χ ( 1 ) 1 ϱ 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
As stated in Lemma 2, we have to prove if
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
The left-hand side of (44) might be represented as
Φ 2 ( ϖ , ϱ , κ , χ ) = ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϖ ι ( ι 1 ) + ( ι 1 ) + ( 1 ϱ ) Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϖ ι + ( 1 ϖ ) ϱ ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϖ ) ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ϱ ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Consequently, using (14), (15) and (19), we get
Φ 2 ( ϖ , ϱ , κ , χ ) = ϖ [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) [ M κ , χ ( 1 ) 1 ] ϱ 0 1 M κ , χ ( s ) s 1 d s .
Thus, it may be concluded that (44) is true. □
Taking ϖ = 0 in Theorem 14, we get the next outcome:
Corollary 18. 
The function Z χ κ ( ζ ) , defined by (40), is in S ^ * ( ϱ ) if and only if
M κ , χ ( 1 ) 1 ϱ 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Taking ϱ = 0 in Corollary 18, we get the next outcome:
Example 9. 
The function Z χ κ ( ζ ) , defined by (40), is in S ^ * if and only if
M κ , χ ( 1 ) 2 .
Theorem 15. 
The function Z χ κ ( ζ ) , defined by (40), is in K ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) ϖ + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
As stated in Lemma 3, we have to prove if
ι = 2 [ 1 + ϖ ( ι 1 ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Considering that the left side of (45) might be represented as
Φ 3 ( ϖ , κ , χ ) = ι = 2 [ 1 + ϖ ( ι 1 ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ι = 2 ϖ + 1 ϖ ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϖ ) ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Therefore, using (14) and (19), we get
Φ 3 ( ϖ , κ , χ ) = ϖ [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s .
The conclusion that follows is that (45) is true. As a result, Theorem 15 is proved. □
Taking ϖ = 1 in Theorem 15, we get the next outcome:
Corollary 19. 
The function Z χ κ ( ζ ) , given by (40), is in C ^ ( ϱ ) if and only if (42) satisfies.
Theorem 16. 
The function Z χ κ ( ζ ) , given by (40), is in F ^ ( ϖ , ϱ ) if and only if
ϖ M κ , χ ( 1 ) ϱ M κ , χ ( 1 ) + ( ϱ ϖ ) + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
As stated in Lemma 4, we have to prove if
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) 1 ϱ .
Considering that the left-hand side of (46) might be represented as
Φ 4 ( ϖ , ϱ , κ , χ ) = ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ι = 2 ι ϖ ϱ + 1 ϖ ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ϖ ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) ϱ ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) ) + χ ) + ( 1 ϖ ) ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Therefore, using (14), (15) and (19), we get
Φ 4 ( ϖ , ϱ , κ , χ ) = ϖ [ M κ , χ ( 1 ) 1 ] ϱ [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s .
The conclusion that follows is that (46) is true. As a result, Theorem 16 is proved. □
Taking ϖ = 1 in Theorem 16, we get the next outcome:
Corollary 20. 
The function Z χ κ ( ζ ) , given by (40), is in K ^ ( ϱ ) if and only if
M κ , χ ( 1 ) ϱ M κ , χ ( 1 ) + ( ϱ 1 ) 1 ϱ .
Taking ϱ = 0 in Corollary 20, we get the next result:
Example 10. 
The function Z χ κ ( ζ ) , given by (40), is in K ^ if and only if
M κ , χ ( 1 ) 2 .

4. Image Properties of W χ , ϑ κ h ( ζ ) Operator

In this section, we study the effect of the linear convolution operator W χ , ϑ κ h ( ζ ) , defined using the Mittag-Leffler function, on functions belonging to the class R θ ( E , V ) . We derive sufficient conditions under which the transformed functions W χ , ϑ κ h ( ζ ) belong to the subclasses Ξ ( ϖ , ϱ ) , L ( ϖ , ϱ ) , K ( ϖ , ϱ ) and F ( ϖ , ϱ ) .
Theorem 17. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) , given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) Ξ ( ϖ , ϱ ) if
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ( 1 ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + ( 1 ϖ ) ( 1 ϑ ) M κ , χ ( 1 ) 1 ] 1 ϱ .
Proof. 
Since h ( ζ ) R θ ( E , V ) , Lemma 1 and (11) state that we must demonstrate that
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Applying Lemma 5 to (48), we can represent it as
ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 [ ι ( 1 + ϖ ( ι 1 ) ) ] [ 1 + ϑ ( ι 1 ) ] ( E V ) | θ | ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ι = 2 [ ϑ ϖ ι ( ι 1 ) + [ ( 1 ϖ ) ϑ + ϖ ) ι + ( 1 ϖ ) ( 1 ϑ ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ϑ ϖ ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 ϖ ) ϑ + ϖ ] ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϖ ) ( 1 ϑ ) ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) .
Thus, with (14)–(16), we obtain
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ( 1 ϖ ) ϑ + ϖ ] [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) ( 1 ϑ ) [ M κ , χ ( 1 ) 1 ] ] 1 ϱ .
As a result, Theorem 17 is proved. □
Taking ϑ = 0 in Theorem 17, we get the following case:
Corollary 21. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) Ξ ( ϖ , ϱ ) if
( E V ) | θ | ϖ M κ , χ ( 1 ) + ( 1 ϖ ) M κ , χ ( 1 ) 1 1 ϱ .
For ϖ = 0 in Theorem 17, we get the following case:
Corollary 22. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) C ( ϱ ) if
( E V ) | θ | ϑ M κ , χ ( 1 ) + ( 1 ϑ ) M κ , χ ( 1 ) 1 1 ϱ .
Theorem 18. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) L ( ϖ , ϱ ) if
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ( 1 ϖ ) ϑ + ϖ ] M κ , χ ( 1 ) + [ 1 ϖ + ϑ ( ϖ ϱ 1 ) ] M κ , χ ( 1 ) + ( ϑ ϱ 1 ) + ϱ ( ϑ 1 ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
Let h ( ζ ) R θ ( E , V ) . Given Lemma 2 and (11), it is straightforward to demonstrate that
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Applying Lemma 5 to (50), we can represent it as
ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 [ ( ι 1 ) ( ϖ ι + 1 ) + 1 ϱ ] [ 1 + ϑ ( ι 1 ) ] ( E V ) | θ | ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | [ ι = 2 ϖ ϑ ι ( ι 1 ) 2 + ϑ ( ι 1 ) 2 + ϖ ι ( ι 1 ) + [ ( 1 ϱ ) ϑ + 1 ] ( ι 1 ) + ( 1 ϱ ) ] Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ϑ ϖ ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ + ϑ ( 1 ϖ ) ] ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ 1 ϖ + ϑ ( ϖ ϱ 1 ) ] ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ϱ ( ϑ 1 ) ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ )
Thus, with (14)–(16) and (19), we obtain
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ϖ + ϑ ( 1 ϖ ) ] [ M κ , χ ( 1 ) 1 ] + [ 1 ϖ + ϑ ( ϖ ϱ 1 ) ] [ M κ , χ ( 1 ) 1 ] + ϱ ( ϑ 1 ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
As a result, Theorem 18 is proved. □
Taking ϑ = 0 in Theorem 18, we get the following case:
Corollary 23. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) L ( ϖ , ϱ ) if
( E V ) | θ | ϖ M κ , χ ( 1 ) + [ 1 ϖ ] M κ , χ ( 1 ) 1 ϱ 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
For ϖ = 0 in Theorem 18, we get the following case:
Corollary 24. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) S * ( ϱ ) if
( E V ) | θ | [ ϑ M κ , χ ( 1 ) + [ 1 ϑ ( ϱ + 1 ) ] M κ , χ ( 1 ) + ( ϑ ϱ 1 ) + ϱ ( ϑ 1 ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
For ϑ = ϱ = 0 in Corollary 24, we get the following case:
Example 11. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) S * if
( E V ) | θ | M κ , χ ( 1 ) 1 1 .
Theorem 19. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) K ( ϖ , ϱ ) if
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ϖ ( 1 2 ϑ ) + ϑ ] M κ , χ ( 1 ) + [ ( ϖ 1 ) ϑ ϖ ] + ( 1 ϖ ) ( 1 ϑ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
Let h ( ζ ) R θ ( E , V ) . It is easy to show that, given Lemma 3 and (11),
ι = 2 [ ( ι 1 ) ϖ + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Applying Lemma 5 to (51), we can represent it as
ι = 2 [ ( ι 1 ) ϖ + 1 ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 [ ϖ ( ι 1 ) + 1 ] [ 1 + ϑ ( ι 1 ) ] ( E V ) | θ | ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ι = 2 ϖ ϑ ι + [ ϑ + ϖ ( 1 2 ϑ ) ] + ( 1 ϑ ) ( 1 ϖ ) ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ϖ ϑ ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϑ + ϖ ( 1 2 ϑ ) ] ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + ( 1 ϖ ) ( 1 ϑ ) Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Using (14), (15) and (19), we thus get
( E V ) | θ | [ ϖ ϑ [ M κ , χ ( 1 ) 1 ] + [ ϑ + ϖ ( 1 2 ϑ ) ] [ M κ , χ ( 1 ) 1 ] + ( 1 ϖ ) ( 1 ϑ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
As a result, Theorem 19 is proved. □
Taking ϑ = 0 in Theorem 19, we get the following case:
Corollary 25. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) K ( ϖ , ϱ ) if
( E V ) | θ | ϖ M κ , χ ( 1 ) ϖ + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 in Theorem 19, we get the following case:
Corollary 26. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) C ( ϱ ) if (49) satisfies.
Theorem 20. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) F ( ϖ , ϱ ) if
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ϖ ϑ ϱ ] M κ , χ ( 1 ) + [ ϑ ( ϱ ϖ + 1 ) ϱ ] M κ , χ ( 1 ) + [ ϱ ϖ + ϑ ( ϖ 1 ) ] + ( 1 ϖ ) ( 1 ϑ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
Proof. 
Let h ( ζ ) R θ ( E , V ) . It is easy to show that, given Lemma 4 and (11),
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | 1 ϱ .
Applying Lemma 5 to (52), we can represent it as
ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) | c ι | ι = 2 [ ( ι 1 ) ( ϖ ( ι + 1 ) 1 ) + ι ( 1 ϱ ) ] [ 1 + ϑ ( ι 1 ) ] ( E V ) | θ | ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ι = 2 [ ϑ ϖ ι ( ι 1 ) + [ ϖ ϑ ϱ ] ι + [ ϑ ( ϱ ϖ + 1 ) ϱ ] + ( 1 ϖ ) ( 1 ϑ ) ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) = ( E V ) | θ | ϑ ϖ ι = 2 ι ( ι 1 ) Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϖ ϑ ϱ ] ι = 2 ι Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ϑ ( ϱ ϖ + 1 ) ϱ ] ι = 2 Γ ( χ ) Γ ( κ ( ι 1 ) + χ ) + [ ( 1 ϖ ) ( 1 ϑ ) ] ι = 2 Γ ( χ ) ι Γ ( κ ( ι 1 ) + χ ) .
Using (14)–(16) and (19), we thus get
( E V ) | θ | [ ϑ ϖ M κ , χ ( 1 ) + [ ϖ ϑ ϱ ] [ M κ , χ ( 1 ) 1 ] + [ ϑ ( ϱ ϖ + 1 ) ϱ ] [ M κ , χ ( 1 ) 1 ] + [ ( 1 ϖ ) ( 1 ϑ ) ] 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
As a result, Theorem 20 is proved. □
Taking ϑ = 0 in Theorem 20, we get the following case:
Corollary 27. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) F ( ϖ , ϱ ) if
( E V ) | θ | ϖ M κ , χ ( 1 ) ϱ M κ , χ ( 1 ) + [ ϱ ϖ ] + ( 1 ϖ ) 0 1 M κ , χ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 in Theorem 20, we get the following case:
Corollary 28. 
Let h ( ζ ) R θ ( E , V ) , W χ , ϑ κ h ( ζ ) given by (11). The operator W χ , ϑ κ ( R θ ( E , V ) ) K ( ϱ ) if
( E V ) | θ | [ ϑ M κ , χ ( 1 ) + [ 1 ϑ ϱ ] M κ , χ ( 1 ) + [ ϱ ( ϑ 1 ) ] M κ , χ ( 1 ) + ϱ 1 ] 1 ϱ .
For ϑ = ϱ = 0 in Corollary 28, we get the following case:
Example 12. 
Let h ( ζ ) R θ ( E , V ) , H χ κ h ( ζ ) given by (8). The operator H χ κ ( R θ ( E , V ) ) K if
( E V ) | θ | [ M κ , χ ( 1 ) 1 ] 1 .

5. Some Examples and Consequences

For the special case κ = χ = 1 , the normalized Mittag-Leffler function is given by
λ ( ζ ) = M 1 , 1 ( ζ ) = ζ + ι = 2 1 Γ ( ι ) ζ ι , λ ( 1 ) 1 = ι = 2 1 Γ ( ι ) , λ ( 1 ) 1 = ι = 2 ι Γ ( ι ) , λ ( 1 ) = ι = 2 ι ( ι 1 ) Γ ( ι ) , 0 1 λ ( s ) s 1 d s = ι = 2 1 ι Γ ( ι ) ,
E ( ζ ) = ζ ι = 2 1 ι Γ ( ι ) ζ ι
P ( ϑ ; ζ ) = ζ + ι = 2 [ 1 + ϑ ( ι 1 ) ] c ι Γ ( ι ) ζ ι .
Using the above relations in Theorem 13, we get the following case:
Corollary 29. 
The function E ( ζ ) , defined by (53) is in Ξ ˜ ( ϖ , ϱ ) if and only if
ϖ λ ( 1 ) + ( 1 ϖ ) λ ( 1 ) 1 1 ϱ .
For ϖ = 0 in Corollary 29, we obtain the following case:
Example 13. 
The function E ( ζ ) , defined by (53), is in C ( ϱ ) if and only if
λ ( 1 ) 1 1 ϱ .
Using the above relations in Theorem 14, we get the following case:
Corollary 30. 
The function E ( ζ ) , defined by (53), is in L ^ ( ϖ , ϱ ) if and only if
ϖ λ ( 1 ) + ( 1 ϖ ) λ ( 1 ) 1 ϱ 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = ϱ = 0 in Corollary 30, we obtain the following case:
Example 14. 
The function E ( ζ ) , defined by (53), is in S ^ * if and only if
λ ( 1 ) 2 .
Using the above relations in Theorem 15, we get the following case:
Corollary 31. 
The function E ( ζ ) , defined by (53), is in K ^ ( ϖ , ϱ ) if and only if
ϖ λ ( 1 ) ϖ + ( 1 ϖ ) 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 in Corollary 31, we obtain the following case:
Example 15. 
The function E ( ζ ) , defined by (53), is in C ( ϱ ) if and only if
λ ( 1 ) 1 1 ϱ .
Using the above relations in Theorem 16, we get the following case:
Corollary 32. 
The function E ( ζ ) , defined by (53), is in F ^ ( ϖ , ϱ ) if and only if
ϖ λ ( 1 ) ϱ λ ( 1 ) + ( ϱ ϖ ) + ( 1 ϖ ) 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 and ϱ = 0 in Corollary 32, we obtain the following case:
Example 16. 
The function E ( ζ ) , defined by (53), is in K ^ if and only if
λ ( 1 ) 2 .
Using the above relations in Theorem 17, we get the following case:
Corollary 33. 
Let h ( ζ ) R θ ( E , V ) , with P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) Ξ ( ϖ , ϱ ) if
( E V ) | θ | ϑ ϖ λ ( 1 ) + [ ( 1 ϖ ) ϑ + ϖ ] λ ( 1 ) + ( 1 ϖ ) ( 1 ϑ ) λ ( 1 ) 1 1 ϱ .
For ϖ = 0 in Corollary 33, we obtain the following case:
Example 17. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) C ( ϱ ) if
( E V ) | θ | ϑ λ ( 1 ) + ( 1 ϑ ) λ ( 1 ) 1 1 ϱ .
Using the above relations in Theorem 18, we get the following case:
Corollary 34. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) L ( ϖ , ϱ ) if
( E V ) | θ | ϑ ϖ λ ( 1 ) + [ ( 1 ϖ ) ϑ + ϖ ] λ ( 1 ) + [ 1 ϖ + ϑ ( ϖ ϱ 1 ) ] λ ( 1 ) + ( ϑ ϱ 1 ) + ϱ ( ϑ 1 ) 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = ϱ = 0 in Corollary 34, we obtain the following case:
Example 18. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) S * if
( E V ) | θ | ϑ λ ( 1 ) + [ 1 ϑ ] λ ( 1 ) 1 1 .
Using the above relations in Theorem 19, we get the following case:
Corollary 35. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) K ( ϖ , ϱ ) if
( E V ) | θ | ϑ ϖ λ ( 1 ) + [ ϖ ( 1 2 ϑ ) + ϑ ] λ ( 1 ) + [ ( ϖ 1 ) ϑ ϖ ] + ( 1 ϖ ) ( 1 ϑ ) 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 in Corollary 35, we obtain the following case:
Example 19. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) C ( ϱ ) if
( E V ) | θ | ϑ λ ( 1 ) + [ 1 ϑ ] λ ( 1 ) 1 1 ϱ .
Using the above relations in Theorem 20, we get the following case:
Corollary 36. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) F ( ϖ , ϱ ) if
( E V ) | θ | ϑ ϖ λ ( 1 ) + [ ϖ ϑ ϱ ] λ ( 1 ) + [ ϑ ( ϱ + 1 ) ϱ ] λ ( 1 ) + [ ϱ ϖ ϑ ] + [ 1 ϖ ϑ ] 0 1 λ ( s ) s 1 d s 1 ϱ .
For ϖ = 1 and ϱ = 0 in Corollary 36, we obtain the following case:
Example 20. 
Let h ( ζ ) R θ ( E , V ) , P ( ϑ ; ζ ) defined by (54). The operator λ ( R θ ( E , V ) ) K if
( E V ) | θ | ϑ λ ( 1 ) + λ ( 1 ) + ϑ λ ( 1 ) [ 1 + ϑ ] ϑ 0 1 λ ( s ) s 1 d s 1 .

6. Conclusions

In this paper, we have undertaken a comprehensive study of certain subclasses of analytic functions defined within the unit disk, particularly those associated with the Mittag-Leffler function M κ , χ ( ζ ) . We began by employing convolution (Hadamard product) techniques to define a new linear operator S χ , ϑ κ ( ζ ) , which maps analytic functions to new functions with transformed coefficients derived from the Mittag-Leffler function. We established new sufficient conditions to ensure that functions related to the generalized Mittag-Leffler function are members of analytic function subclasses, namely Ξ ˜ ( ϖ , ϱ ) , L ^ ( ϖ , ϱ ) , K ^ ( ϖ , ϱ ) , and F ^ ( ϖ , ϱ ) . As a generalization of the standard classes of close-to-convex, convex, and starlike functions, we study inclusion outcomes in the recently described subclasses Ξ ˜ ( ϖ , ϱ ) , L ^ ( ϖ , ϱ ) , K ^ ( ϖ , ϱ ) , and F ^ ( ϖ , ϱ ) . In addition to convolution, we analyzed the effect of the integral operator Z χ κ ( ζ ) = 0 ζ 2 M κ , χ ( s ) s d s , which serves the Mittag-Leffler function integral transformation. We derived sufficient conditions for this operator’s image to belong to both Ξ ˜ ( ϖ , ϱ ) , L ^ ( ϖ , ϱ ) , K ^ ( ϖ , ϱ ) , and F ^ ( ϖ , ϱ ) , demonstrating that even under integration, the essential geometric properties can be preserved under careful parameter selection. Also, we examine the behavior of functions from R θ ( E , V ) under the action of the convolution operator W χ , ϑ κ h ( ζ ) , establishing sufficient criteria for the resulting images to lie within the subclasses of the analytic function. We gave specific instances to support our theoretical conclusions. Mittag-Leffler functions arise naturally as solutions of fractional differential equations and in models of anomalous diffusion and viscoelasticity. The operators and subclasses studied here provide analytic tools that may be applied to investigate stability and qualitative behavior in such systems, thereby linking our theoretical results with practical applications in fractional calculus. Some of the inequalities obtained here are sharp, with extremal functions arising from well-known starlike, convex and close-to-convex families; for example, Example 1 refers to the condition for Mittag-Leffler belonging to the class of convex functions. Finally, the methods developed in this work open several avenues for future research. Possible extensions include the study of analogous operators acting on multivalent and bi-univalent function classes, as well as further exploration of connections with fractional dynamical systems and anomalous diffusion models. These directions highlight the broader significance and potential applicability of the results presented in this study.

Author Contributions

Conceptualization, E.E.A., R.M.E.-A., W.Y.K. and A.M.A.; Methodology, E.E.A., R.M.E.-A., W.Y.K. and A.M.A.; Validation, E.E.A., R.M.E.-A., W.Y.K. and A.M.A.; Formal Analysis, E.E.A., R.M.E.-A., W.Y.K. and A.M.A.; Investigation, E.E.A., R.M.E.-A., W.Y.K. and A.M.A.; Resources, E.E.A., R.M.E.-A. and W.Y.K.; Writing—original draft, E.E.A., R.M.E.-A. and W.Y.K.; Writing—Review and Editing, E.E.A., R.M.E.-A. and W.Y.K.; Supervision, E.E.A.; Project Administration, E.E.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Mittag-Lefer, G.M. Sur la nouvelle fonction E(x). C. R. Acad. Sci. Paris 1903, 137, 554–558. [Google Scholar]
  2. Wiman, A. Über die nullstellen der funktionen Ea(x). Acta Math. 1905, 29, 217–234. [Google Scholar] [CrossRef]
  3. Bansal, D.; Prajapat, J.K. Certain Geometric Properties of the Mittag-Leffler Functions. Complex Var. Elliptic Equ. 2015, 61, 338–350. [Google Scholar] [CrossRef]
  4. Frasin, B.A.; Al-Hawary, T.; Yousef, F. Some properties of a linear operator involving generalized Mittag-Leffler function. Stud. Univ. Babes-Bolyai Math. 2020, 65, 67–75. [Google Scholar] [CrossRef]
  5. Aizenberg, L.A.; Leinartas, E.K. Multi dimensional Hadamard Composition and Szegoe Kernels. Siberian Math. J. 1983, 24, 317–323. [Google Scholar] [CrossRef]
  6. Sadykov, T.M. The Hadamard product of hypergeometric series. Bull. Sci. Math. 2002, 126, 31–43. [Google Scholar] [CrossRef]
  7. Lashin, A.Y.; Badghaish, A.O.; Bajamal, A.Z. The sufficient and necessary conditions for the poisson distribution series to be in some subclasses of analytic functions. J. Funct. Spaces 2022, 2419196. [Google Scholar] [CrossRef]
  8. Chichra, P.N. New Subclasses of the Class of Close-To-Convex Functions. Proc. Am. Math. Soc. 1977, 62, 37–43. [Google Scholar] [CrossRef]
  9. Orhan, H. On a subclass of analytic functions with negative coefficients. Appl. Math. Comput. 2003, 142, 243–253. [Google Scholar] [CrossRef]
  10. Obradovic, M.; Joshi, S.B. On certain classes of strongly starlike functions. Taiwanese J. Math. 1998, 2, 297–302. [Google Scholar] [CrossRef]
  11. Lashin, A.Y. On a certain subclass of starlike functions with negative coefficients. J. Inequal. Pure Appl. Math. 2009, 10, 1–8. [Google Scholar]
  12. Ding, S.S.; Ling, Y.; Bao, G.J. Some Properties of a Class of Analytic Functions. J. Math. Anal. Appl. 1995, 195, 71–81. [Google Scholar] [CrossRef]
  13. El-Ashwah, R.M. Subclasses of bi-univalent functions defined by convolution. J. Egypt. Math. Soc. 2014, 22, 348–351. [Google Scholar] [CrossRef]
  14. Lashin, A.Y.; Badghaish, A.O.; Bajamal, A.Z. Certain subclasses of univalent functions involving Pascal distribution series. Bol. Soc. Mat. Mex. 2022, 28, 12. [Google Scholar] [CrossRef]
  15. Robertson, M.S. On the theory of univalent functions. Ann. Math. J. 1936, 37, 374–408. [Google Scholar] [CrossRef]
  16. Duren, P.L. Univalent Functions, Grundlehren der Mathematischen Wissenschaften Series 259; Springer: New York, NY, USA, 1983. [Google Scholar]
  17. Libera, R.J. Some Radius of Convexity Problems. Duke Math. J. 1964, 31, 143–158. [Google Scholar] [CrossRef]
  18. 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]
  19. Padmanabhan, K.S. On a certain class of functions whose derivatives have a positive real part in the unit disc. Ann. Polon. Math. 1970, 23, 73–81. [Google Scholar] [CrossRef]
  20. Ponnusamy, S.; Rønning, F. Starlikeness properties for convolutions involving hypergeometric series. Ann. Univ. Mariae Curie-Sklodowska Sect. A 1998, 52, 141–155. [Google Scholar]
  21. Chaurasia, V.B.L.; Parihar, H.S. Certain Sufficiency Conditions on Fox-Wright Functions. Demonstr. Math. 2008, 41. [Google Scholar] [CrossRef]
  22. Raina, R.K. On univalent and starlike wright’s hypergeometric functions. Rend. Sem. Mat. Univ. Padova 1996, 95, 11–22. [Google Scholar]
  23. Murugusundaramoorthy, G.; Porwal, S. Hypergeometric distribution series and its application of certain class of analytic functions based on special functions. Commun. Korean Math. Soc. 2021, 36, 671–684. [Google Scholar] [CrossRef]
  24. Swaminathan, A. Certain sufficiency conditions on Gaussian hypergeometric functions. J. Inequal. Pure Appl. Math. 2004, 83, 1–10. [Google Scholar]
  25. Porwal, S. An application of a Poisson distribution series on certain analytic functions. J. Complex Anal. 2014, 984135. [Google Scholar] [CrossRef]
  26. El-Ashwah, R.M.; Kota, W.Y. Some condition on a Poisson distribution series to be in subclasses of univalent functions. Acta Univ. Apulensis 2017, 51, 89–103. [Google Scholar] [CrossRef]
  27. El-Ashwah, R.M.; Kota, W.Y. Some application of a Poisson distribution series on subclasses of univalent functions. J. Fract. Calc. Appl. 2018, 9, 167–179. [Google Scholar]
  28. Porwal, S. Generalized distribution and its geometric properties associated with univalent functions. J. Complex Anal. 2018, 8654506. [Google Scholar] [CrossRef]
  29. Kota, W.Y.; El-Ashwah, R.M. Sufficient and necessary conditions for the generalized distribution series to be in subclasses of univalent functions. Ukrainian Math. J. 2024, 75, 1549–1560. [Google Scholar] [CrossRef]
  30. Ali, E.E.; Kota, W.Y.; El-Ashwah, R.M.; Albalahi, A.M.; Mansour, F.E.; Tahira, R.A. An Application of Touchard Polynomials on Subclasses of Analytic Functions. Symmetry 2023, 15, 2125. [Google Scholar] [CrossRef]
  31. Murugusundaramoorthy, G.; Bulboacä, T. Sufficient conditions of subclasses of spiral–like functions associated with mittag–leffler functions. Kragujev. J. Math. 2024, 48, 921–934. [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

Ali, E.E.; El-Ashwah, R.M.; Kota, W.Y.; Albalahi, A.M. Geometric Attributes of Analytic Functions Generated by Mittag-Leffler Function. Mathematics 2025, 13, 3284. https://doi.org/10.3390/math13203284

AMA Style

Ali EE, El-Ashwah RM, Kota WY, Albalahi AM. Geometric Attributes of Analytic Functions Generated by Mittag-Leffler Function. Mathematics. 2025; 13(20):3284. https://doi.org/10.3390/math13203284

Chicago/Turabian Style

Ali, Ekram E., Rabha M. El-Ashwah, Wafaa Y. Kota, and Abeer M. Albalahi. 2025. "Geometric Attributes of Analytic Functions Generated by Mittag-Leffler Function" Mathematics 13, no. 20: 3284. https://doi.org/10.3390/math13203284

APA Style

Ali, E. E., El-Ashwah, R. M., Kota, W. Y., & Albalahi, A. M. (2025). Geometric Attributes of Analytic Functions Generated by Mittag-Leffler Function. Mathematics, 13(20), 3284. https://doi.org/10.3390/math13203284

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