1. Overview and Preliminary Information
Let
be the function defined by
that was introduced by Mittag-Leffler [
1]. Wiman [
2] defined a general function
generalizing the Mittag-Leffler function, that is
Note that
.
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
does not fall under the family
, where
is a family of functions in which members take the form
which are univalent in
and
Let us also assume that
is a subclass of
, which includes the function of the kind that follows:
The convolution of
and
is obtained by [
5,
6]
where
defined by (
1), and
given by
According to Lashin et al. [
7], a new class was introduced:
Definition 1 ([
7])
. A function ifwhere and Θ
are given byAlso, There are additionally more basic subclasses of the class mentioned above. Here are a few instances of these situations:
Assuming that and in Definition 1, we have the subclass results.
Definition 2 ([
8])
. A function ifand (see [7,9]) Lemma 1
([
9], with
)
. A function if and only if If we put and in Definition 1, we derive the following subclass.
Definition 3 ([
10])
. A function ifand (see [7,11]) Lemma 2 ([
11])
. A function if and only if If we put and in Definition 1, then the results that follow the subclass are obtained.
Definition 4 ([
12])
. A function ifand (see [7] and ([13], with )) Lemma 3 ([
7])
. A function if and only if If we put and in Definition 1, then we derive the following subclass.
Definition 5 ([
14])
. A function ifand Lemma 4 ([
14])
. A function if and only if Remark 1.
- (i)
Taking
in Definition 3, we derive
, which contains the starlike function of order
and
[
15];
- (ii)
Taking
in Definition 3, we derive
which contains the starlike function and
[
16];
- (iii)
Taking
in Definition 5, we derive
, which contains the convex function of order
and
[
15];
- (iv)
Taking
and
in Definition 5, we derive
, which contains the convex function and
[
16];
- (v)
Taking
in Definition 2 and
in Definition 4, we derive
, which contains the close-to-convex function of order
and
[
17].
Definition 6 ([
18])
. A function if it satisfies Note that
- (1)
(see [
19]);
- (2)
(see [
20]).
Lemma 5 ([
18])
. If , then 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]:
- (i)
is convex in
- (ii)
are starlike and univalent in
- (iii)
is convex in ;
- (iv)
is starlike in .
Now we define the following new linear operators based on convolution. For real parameters
and
with
and
be given by (
7), we define
as follows:
Also, we introduce
as follows:
Next, we define
as follows:
Additionally, we give the functions
and
Additionally, we give the functions
Also, we define
by the convolution as
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 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
2. Inclusion Results
As indicated throughout our study, we will utilize the notation (
7) to demonstrate our primary findings; therefore,
Theorem 1.
The function if and only if Proof. Since
is defined by (
12), Lemma 1 states that we must demonstrate that
Given that the inequality (
21)’s left side might be expressed as
thus, with (15)–(17), we obtain
Consequently, it may be determined that (
21) holds. □
Applying Theorem 1 and , we get the next outcome:
Corollary 1.
The function function if and only if Applying Theorem 1 and , we get the next outcome:
Corollary 2.
The function if and only if Applying Corollary 2 and , we get the next outcome:
Example 1.
The function if and only if Theorem 2.
The function defined by (
13)
, maps to if and only if Proof. According to Lemma 1 and (
13), we must demonstrate that
Since
, then
The inequality (
25) can be represented as
Thus, with (15)–(18), we obtain
As a result, Theorem 2 is proved. □
Applying Theorem 2 and , we get the next outcome:
Corollary 3.
The function defined by (
10)
, maps to if and only if Applying Theorem 2 and , we get the next outcome:
Corollary 4.
The function given by (
13)
, maps to if and only if Applying Corollary 4 and , we get the next outcome:
Example 2.
The function given by (
10)
, maps to if and only if Theorem 3.
The function given by (
13)
, maps to if and only if (
20)
satisfies. Proof. According to Lemma 1 and (
13), we must demonstrate that
Since
, then
Since Theorem 3’s proof has similarities to that of Theorem 1, we omit it. □
Theorem 4.
The function if and only if Proof. Given Lemma 2 and (
12) of
, it is straightforward to demonstrate that
The left-hand side of (
27) might be represented as
Thus, with (
14)–(17), we obtain
Thus, it may be concluded that (
27) is true. □
Applying Theorem 4 and , we get the next outcome:
Corollary 5.
The function if and only if Applying Theorem 4 and , we get the next outcome:
Corollary 6.
The function if and only if Applying Corollary 6 and , we get the next outcome:
Example 3.
The function if and only if Theorem 5.
The function given by (
13)
, maps to if and only if Proof. Given Lemma 2 and (
13), it is straightforward to demonstrate that
Since
, then
. The inequality (
29) can be represented as
Thus, with (15)–(18), we obtain
As a result, Theorem 5 is proved. □
Applying Theorem 5 and , we get the next outcome:
Corollary 7.
The function given by (
10)
, maps to if and only if Applying Theorem 5 and , we get the next outcome:
Corollary 8.
The function given by (
13)
, maps to if and only if Taking in Corollary 8, we obtain the following result:
Example 4.
The function given by (
10)
, maps to if and only if Theorem 6.
The function given by (
13)
, maps to if and only if (
26)
is satisfied. Proof. According to Lemma 2 and (
13), we must demonstrate that
Since
, then
Since Theorem 6’s proof has similarities to that of Theorem 4, we omit it. □
Theorem 7.
The function if and only if Proof. It is easy to show that, given Lemma 3 and (
12),
Inequality (
31)’s left-hand side might be represented as
Using (
14)–(16), we thus get
Therefore, (
31) can be considered true. □
Applying Theorem 7 and , we get the next outcome:
Corollary 9.
The function if and only if Applying Theorem 7 and , we get the next outcome:
Corollary 10.
The function if and only if (
23)
is satisfied. Taking in Corollary 10, we obtain the following result:
Example 5.
The function if and only if (
24)
is satisfied. Theorem 8.
The function defined by (
13)
, maps to if and only if (
20)
is satisfied. Proof. It is easy to show that, given Lemma 3 and (
13),
Since
, then
. The proof of Theorem 8 is omitted because it is comparable to that of Theorem 1. □
Applying Theorem 8 and , we get the next outcome:
Corollary 11.
The function defined by (
10)
, maps to if and only if (
22)
is satisfied. Applying Theorem 8 and , we get the next outcome:
Corollary 12.
The function defined by (
13)
, maps to if and only if Taking in Corollary 12, we obtain the following result:
Example 6.
The function defined by (
10)
, maps to if and only if Theorem 9.
The function defined by (
13)
, maps to if and only if (
30)
is satisfied. Proof. According to Lemma 3 and (
13), we must demonstrate that
Since
, then
Since Theorem 9’s proof has similarities to that of Theorem 7, we omit it. □
Theorem 10.
The function if and only if Proof. It is easy to show that, given Lemma 4 and (
12),
Inequality (
34)’s left-hand side might be represented as
Using (
14)–(17), we thus get
Therefore, (
34) can be considered true. □
Applying Theorem 10 and , we get the next outcome:
Corollary 13.
The function if and only if Applying Theorem 10 and , we get the next outcome:
Corollary 14.
The function if and only if Taking in Corollary 14, we get the next result:
Example 7.
The function if and only if Theorem 11.
The function defined by (
13)
, maps to if and only if Proof. It is easy to show that, given Lemma 4 and (
13),
Since
, then
. Inequality (
39) can be represented as
Using (15)–(18), we thus get
As a result, Theorem 11 is proved. □
Applying Theorem 11 and , we get the next outcome:
Corollary 15.
The function defined by (
10)
, maps to if and only if Applying Theorem 11 and , we get the next outcome:
Corollary 16.
The function defined by (
13)
, maps to if and only if Taking in Corollary 16, we get the next result:
Example 8.
The function defined by (
10)
, maps to if and only if Theorem 12.
The function defined by (
13)
, maps to if and only if (
33)
is satisfied. Proof. According to Lemma 4 and (
13), we must demonstrate that
Since
, then
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
under the action of the integral operator
We aim to establish sufficient conditions under which the function belongs to the subclasses , , and .
Theorem 13.
The function given by (
40)
, is in if and only if Proof. As stated in Lemma 1, we have to prove if
Considering that the left side of (
41) might be written as
Therefore, using (
14) and (15), we get
The conclusion that follows is that (
41) is true. As a result, Theorem 13 is proved. □
Taking in Theorem 13, we get the next result:
Corollary 17.
The function given by (
40)
, is in if and only if Theorem 14.
The function given by (
40)
, is in if and only if Proof. As stated in Lemma 2, we have to prove if
The left-hand side of (
44) might be represented as
Consequently, using (
14), (15) and (19), we get
Thus, it may be concluded that (
44) is true. □
Taking in Theorem 14, we get the next outcome:
Corollary 18.
The function defined by (
40)
, is in if and only if Taking in Corollary 18, we get the next outcome:
Example 9.
The function defined by (
40)
, is in if and only if Theorem 15.
The function defined by (
40)
, is in if and only if Proof. As stated in Lemma 3, we have to prove if
Considering that the left side of (
45) might be represented as
Therefore, using (
14) and (19), we get
The conclusion that follows is that (
45) is true. As a result, Theorem 15 is proved. □
Taking in Theorem 15, we get the next outcome:
Corollary 19.
The function given by (
40)
, is in if and only if (
42)
satisfies. Theorem 16.
The function given by (
40)
, is in if and only if Proof. As stated in Lemma 4, we have to prove if
Considering that the left-hand side of (
46) might be represented as
Therefore, using (
14), (15) and (19), we get
The conclusion that follows is that (
46) is true. As a result, Theorem 16 is proved. □
Taking in Theorem 16, we get the next outcome:
Corollary 20.
The function given by (
40)
, is in if and only if Taking in Corollary 20, we get the next result:
Example 10.
The function given by (
40)
, is in if and only if 4. Image Properties of Operator
In this section, we study the effect of the linear convolution operator , defined using the Mittag-Leffler function, on functions belonging to the class . We derive sufficient conditions under which the transformed functions belong to the subclasses and .
Theorem 17.
Let , given by (
11)
. The operator if Proof. Since
, Lemma 1 and (
11) state that we must demonstrate that
Applying Lemma 5 to (
48), we can represent it as
Thus, with (
14)–(16), we obtain
As a result, Theorem 17 is proved. □
Taking in Theorem 17, we get the following case:
Corollary 21.
Let , given by (
8)
. The operator if For in Theorem 17, we get the following case:
Corollary 22.
Let , given by (
11)
. The operator if Theorem 18.
Let , given by (
11)
. The operator if Proof. Let
Given Lemma 2 and (
11), it is straightforward to demonstrate that
Applying Lemma 5 to (
50), we can represent it as
Thus, with (
14)–(16) and (19), we obtain
As a result, Theorem 18 is proved. □
Taking in Theorem 18, we get the following case:
Corollary 23.
Let , given by (
8)
. The operator if For in Theorem 18, we get the following case:
Corollary 24.
Let , given by (
11)
. The operator if For in Corollary 24, we get the following case:
Example 11.
Let , given by (
8)
. The operator if Theorem 19.
Let , given by (
11)
. The operator if Proof. Let
. It is easy to show that, given Lemma 3 and (
11),
Applying Lemma 5 to (
51), we can represent it as
Using (
14), (15) and (19), we thus get
As a result, Theorem 19 is proved. □
Taking in Theorem 19, we get the following case:
Corollary 25.
Let , given by (
8)
. The operator if For in Theorem 19, we get the following case:
Corollary 26.
Let , given by (
11)
. The operator if (
49)
satisfies. Theorem 20.
Let , given by (
11)
. The operator if Proof. Let
. It is easy to show that, given Lemma 4 and (
11),
Applying Lemma 5 to (
52), we can represent it as
Using (
14)–(16) and (19), we thus get
As a result, Theorem 20 is proved. □
Taking in Theorem 20, we get the following case:
Corollary 27.
Let , given by (
8)
. The operator if For in Theorem 20, we get the following case:
Corollary 28.
Let , given by (
11)
. The operator if For in Corollary 28, we get the following case:
Example 12.
Let , given by (
8)
. The operator if 5. Some Examples and Consequences
For the special case
, the normalized Mittag-Leffler function is given by
Using the above relations in Theorem 13, we get the following case:
Corollary 29.
The function defined by (
53)
is in if and only if For in Corollary 29, we obtain the following case:
Example 13.
The function defined by (
53)
, is in if and only if Using the above relations in Theorem 14, we get the following case:
Corollary 30.
The function defined by (
53)
, is in if and only if For in Corollary 30, we obtain the following case:
Example 14.
The function defined by (
53)
, is in if and only if Using the above relations in Theorem 15, we get the following case:
Corollary 31.
The function defined by (
53)
, is in if and only if For in Corollary 31, we obtain the following case:
Example 15.
The function defined by (
53)
, is in if and only if Using the above relations in Theorem 16, we get the following case:
Corollary 32.
The function defined by (
53)
, is in if and only if For and in Corollary 32, we obtain the following case:
Example 16.
The function defined by (
53)
, is in if and only if Using the above relations in Theorem 17, we get the following case:
Corollary 33.
Let , with defined by (54)
. The operator if For in Corollary 33, we obtain the following case:
Example 17.
Let , defined by (54)
. The operator if Using the above relations in Theorem 18, we get the following case:
Corollary 34.
Let , defined by (54)
. The operator if For in Corollary 34, we obtain the following case:
Example 18.
Let , defined by (54)
. The operator if Using the above relations in Theorem 19, we get the following case:
Corollary 35.
Let , defined by (54)
. The operator if For in Corollary 35, we obtain the following case:
Example 19.
Let , defined by (54)
. The operator if Using the above relations in Theorem 20, we get the following case:
Corollary 36.
Let , defined by (54)
. The operator if For and in Corollary 36, we obtain the following case:
Example 20.
Let , defined by (54)
. The operator if 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 . We began by employing convolution (Hadamard product) techniques to define a new linear operator , 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 , and . As a generalization of the standard classes of close-to-convex, convex, and starlike functions, we study inclusion outcomes in the recently described subclasses , and . In addition to convolution, we analyzed the effect of the integral operator , which serves the Mittag-Leffler function integral transformation. We derived sufficient conditions for this operator’s image to belong to both , and , demonstrating that even under integration, the essential geometric properties can be preserved under careful parameter selection. Also, we examine the behavior of functions from under the action of the convolution operator , 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.