1. Introduction and Definitions
In the past, people have used complex numbers to solve real cubic equations, which has facilitated the development of a fascinating theory known as the theory of functions of a complex variable (complex analysis). This field has a historical origin dating back to the 17th century. Noteworthy figures in the field include Riemann, Gauss, Euler, Cauchy, Mittag-Leffler, and several more scientists. Riemann introduced the Riemann mapping theorem in 1851 during the 19th century, giving rise to geometric function theory (GFT), a notable and captivating theoretical framework [
1]. It has seen significant development and has been applied in several scientific domains, including operator theory, differential inequality theory, and other related topics. To enhance the Riemann mapping theorem, Koebe [
1] utilized a univalent function defined on an open unit disk in 1907. In 1909, Lindeöf introduced the subordinate idea. The Schwarz function is employed to examine two complex functions. Diverse subordination theory on a complex domain may be understood as an extension of differential inequality theory on a real domain. This topic was extensively explored by Miller and Mocanu in their seminal works published in 1978 [
2], 1981 [
3], and 2000 [
4]. Miller and Mocanu [
5] (2003) introduced the concept of differential subordination theory, specifically referred to as differential superordination. Differential subordination and superordination are crucial techniques in GFT that are employed in studies to obtain sandwich results. This theory has great importance, and several proficient analysts have made exceptional contributions to studying the related issues, including Srivastava et al. [
6], Ghanim et al. [
7], Lupas and Oros [
8], Attiya et al. [
9], and others. In 2015, Ibrahim et al. [
10] introduced a novel operator that combines a fractional integral operator with the Carlson–Shaffer operator. This operator was employed to investigate the characteristics of subordination and superordination. The fractional derivative operator for higher-order derivatives of certain analytic multivalent functions was expanded by Morais and Zayed [
11] in the year 2021. The subordination and superordination features were investigated by Lupas and Oros [
8] in 2021 by the utilization of the fractional integral of the confluent hypergeometric function. In the year 2022, other authors conducted investigations pertaining to subordination and its associated qualities [
12,
13,
14].
The fractional integral operator is a fundamental mathematical operation employed across several domains within the realms of science and engineering. It possesses applicability in several fields. Recent decades have witnessed the successful use of fractional calculus in physical models. The generalized Mittag-Leffler function has been utilized in several mathematical and physical domains due to its inherent ability to express solutions to fractional integral and differential equations. The utilization of fractional-order calculus is prevalent in several practical applications, such as [
15,
16,
17,
18,
19]. By employing fractional operators in the resolution of differential equations, this study contributes to the field of mathematical applications. Furthermore, it emphasizes the importance of these operators in the fields of physics and engineering, particularly for the advancement of geometric function theory, a specialist field within complex analysis.
The application of the subordination technique is employed in relation to pertinent categories of permissible functions. According to Antonino and Miller [
20], the acceptable functions are defined as follows:
Let
denote the class of functions analytic in the open unit disk
and
denote the subclass
consisting of the functions of the form
with
and
Also, let
be the subclass of
of the form
and set
. For functions
, given by (
1) and
given by
the Hadamard product (or convolution) of
and
is defined by
For that,
and
are in
. We say that
is subordinate to
(or
is superordinate to
), written as
if there exists a function
satisfying the conditions of the Schwarz lemma (i.e.,
and
such that
it follows that
if and only if
and
(see [
4,
21,
22]).
Definition 1 ([
5]).
Supposing that and are two analytic functions in , letIf and are univalent functions in . If h satisfies the second-order superordinationthen is a solution of the differential superordination (4). A function is called a subordinant of (4) if for all the functions h satisfies (4). A univalent subordinant that satisfies for all of the subordinants κ of (4) is the best subordinant. Definition 2 ([
4]).
Supposing that and are two analytic functions in , letIf is analytic in and satisfies the second-order differential subordinationthen is called a solution of the differential subordination (5). The univalent function is called a dominant of the solution of the differential subordination (5), or more simply dominant, if for all , satisfying (5). A dominant that satisfies for all dominant of (5) is called the best dominant of (5). The following inference holds for the functions
, and
according to sufficient conditions, as obtained by many authors (see [
5,
23,
24,
25,
26,
27,
28]).
Bulboaca [
21] investigated first-order differential superordinations and superordination-preserving integral operators [
29]. Ali et al. [
23] used the results of [
21] to develop adequate requirements for certain normalized analytic functions to satisfy
where
and
represent univalent normalized functions in
. Shanmugam et al. [
24,
30,
31,
32] recently reported sandwich results for specific analytic function classes. Further subordination results are available in [
33,
34,
35,
36,
37,
38,
39].
For
and
, we consider the integral operator defined as follows [
40]:
and (in general)
then from (
6), we can easily deduce that
We note that:
(
i)
(see [
41])
(
ii)
(see [
42])
(
iii)
, where
is a p-valent Salagean integral operator [
40]
To prove our results, we need the following definitions and lemmas.
Denote by
the set of all functions
that are analytic and injective on
where
and are such that
for
. Further, let the subclass of
for which
be denoted by
, and
.
Definition 3 ([
4], Definition 2.3a, p. 27).
Let ϑ be a set in , and n be a positive integer. The class of admissible functions , consists of those functions that satisfy the admissibility conditionwheneverwhere , and . We write as . In particular, when
then
, and
. In this case, we set
, and in the special case when the set
, the class is simply denoted by
.
Definition 4 ([
5], Definition 3, p. 817).
Let ϑ be a set in with . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . In particular, we write as . Lemma 1 ([
4], Theorem 2.3b, p. 28).
Let with . If the analytic function satisfiesthen . Lemma 2 ([
5], Theorem 1, p. 818).
Let with . If andis univalent in , thenimplies . In this paper, we extend Miller and Mocanu’s differential subordination result ([
4], Theorem 2.3b, p. 28) to include functions related to the integral operator, and we also obtain some other related results. Aghalary et al. [
43], Ali et al. [
44], Aouf [
45], Aouf et al. [
46], Kim and Srivastava [
47], and Seoudy [
48] all investigated a comparable issue for analytical functions. Furthermore, they conducted investigations on the relevant differential superordination problem, yielding numerous sandwich-type results.
2. Subordination Results Involving
In this study, we assume that , and all powers are principal ones, unless otherwise specified.
Definition 5. Let ϑ be a set in and . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . Theorem 1. Let . If satisfiesthen Proof. Define the analytic function
in
by
In view of the relation (
7) from (
9), we obtain
Further computations show that
Define the transformations from
to
by
The proof shall make use of Lemma 1. Using Equations (
9)–(
11), from (
13), we obtain
If it can be demonstrated that the
admissibility condition is equal to the
admissibility requirement stated in Definition 3, the proof is considered successful. Observe that
and hence,
By Lemma 1,
□
If the domain is simply linked, then for some conformal mapping of onto . The class can be represented as .
Continuing as in the preceding section, Theorem 1 immediately leads to the following result.
Theorem 2. Let . If satisfiesthen In the case where on has an uncertain behavior, our next result extends Theorem 1.
Corollary 1. Let and let be univalent in , . Let for some where . If andthen Proof. Theorem 1 yields . The result is now deduced from □
Theorem 3. Let and be univalent in with , and set and . Let satisfy one of the following conditions:
- 1.
- 2.
there exists such that , for all .
If satisfies (15), then Proof. The proof is omitted because it is comparable to the proof of ([
4], Theorem 2.3d, p. 30).
The best dominant of the differential subordination is obtained by the following theorem (
15).
□
Theorem 4. Let be univalent in . Let . Suppose that the differential equationhas a solution with and satisfies one of the following conditions: - 1.
and
- 2.
is univalent in and , for some ;
- 3.
is univalent in and there exists such that for all
If satisfies (15), thenand is the best dominant. Proof. By using the same reasoning as in ([
4], Theorem 2.3e, p. 31), we may infer from Theorems 2 and 3 that
is a dominant. Since
) is a solution of (
15) and fulfills (
16), all dominants will dominate
. The optimal dominant is, therefore,
. □
In the particular case and in view of Definition 3, the class of admissible functions , denoted by , is described below.
Definition 6. Let ϑ be a set in and . The class of admissible functions consists of those functions such thatwhenever for all real , and . Corollary 2. Let . If satisfiesthen The class is easily denoted by in the particular case .
Corollary 3. Let . If satisfiesthen Corollary 4. If and satisfiesthen Proof. Corollary 3 dictates that this is performed by taking
□
Definition 7. Let ϑ be a set in and . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . Theorem 5. Let . If satisfiesthen Proof. Define an analytic function
in
by
By making use of (
7) and (
19), we obtain
Further computations show that
Define the transformations from
to
by
The proof shall make use of Lemma 1. Using Equations (
19)–(
21), and from (
23), we obtain
If it can be demonstrated that the
admissibility condition is equal to the
admissibility requirement stated in Definition 3, the proof is considered successful. Observe that
and hence,
. By Lemma 1,
□
If is a simply connected domain, then for some conformal mapping of onto . In this case, the class is written as . In the particular case , the class of admissible functions is denoted by . The following outcome is a direct conclusion of Theorem 5, employing the same procedure as in the preceding section.
Theorem 6. Let . If satisfiesthen Definition 8. Let ϑ be a set in and . The class of admissible functions consists of those functions such thatwhenever for all real , and Corollary 5. Let If satisfiesthen The class is easily denoted by in the particular case .
Corollary 6. Let . If satisfiesthen Corollary 7. If and satisfiesthen Proof. Corollary 6 dictates that this is performed by taking
□
Definition 9. Let ϑ be a set in and . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . Theorem 7. Let and . If satisfiesthen Proof. Define an analytic function
in
by
By making use of (
7) in (
29), we obtain
Further computations show that
Define the transformations from
to
by
Let
The proof shall make use of Lemma 1. Using Equations (
28), (
30), and (
31), from (
33), we obtain
If it can be demonstrated that the
admissibility condition is equal to the
admissibility requirement stated in Definition 3, the proof is considered successful. Observe that
and hence,
. By Lemma 1,
□
There exists a conformal mapping of D onto such that is a simply connected domain and . Here, is expressed as . The class of admissible functions becomes in the specific case .
Proceeding as in the previous section, the subsequent result gives a direct verification of Theorem 7.
Theorem 8. Let . If satisfiesthen Definition 10. Let ϑ be a set in and The class of admissible functions consists of those functions such thatwhenever for all real , and . Corollary 8. Let . If satisfiesthen The class is easily denoted by in the particular case .
Corollary 9. Let . If satisfiesthen 3. Superordination and Sandwich Results Involving
This section focuses on the investigation of the dual problem of differential subordination, specifically the differential superordination of the integral operator . The class of acceptable functions is defined as follows for this purpose.
Definition 11. Let ϑ be a set in and with . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . Theorem 9. Let . If , andis univalent in , thenimplies Proof. From (
14) and (
37), we have
The admissibility requirement for
] may be observed from (
12). It is the same as the
admissibility criterion stated in Definition 4. Thus, by Lemma 2 and
□
If the domain is simply linked, then for some conformal mapping of onto . The class can be represented as .
Continuing as in the preceding section, Theorem 9 immediately leads to the following result.
Theorem 10. Let be analytic functions in and . If , andis univalent in , thenimpliesSubordinants of differential superordination of the forms (37) or (38) can only be obtained using Theorems 9 and 10. The subsequent theorem establishes the existence of the optimal subordinant of equation (38) for a given value of ν. Theorem 11. Let be analytic in and Suppose that the differential equationhas a solution . If , andis univalent in , thenimpliesand is the best subordinant. Proof. The proof is omitted since it is similar to the proof of Theorem 4. By merging Theorems 2 and 10, we obtain the subsequent sandwich-type theorem. □
Corollary 10. Let and be analytic functions in , be a univalent function in , with , and . If , andis univalent in , thenimplies Definition 12. Let ϑ be a set in and with . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . We shall now present the differential superordination dual conclusion of Theorem 5.
Theorem 12. Let . If , , andis univalent in , thenimplies Proof. From (
24) and (
40), we have
According to Equation (
22), the requirement for
is the same as the requirement for
as stated in Definition 4. Therefore, the value of
is determined by Lemma 2.
□
If the domain is simply linked, then for some conformal mapping of onto . The class can be represented as .
Continuing as in the preceding section, Theorem 12 immediately leads to the following result.
Theorem 13. Let , be analytic on , and . If , , andis univalent in , thenimplies The sandwich-type theorem is derived by combining Theorems 6 and 13.
Corollary 11. Let ) and be analytic functions in , be a univalent function in , with , and . If , andis univalent in , thenimplies Definition 13. Let ϑ be a set in , , and . The class of admissible functions consists of those functions that satisfy the admissibility conditionwheneverwhere , and . We shall now present the differential superordination dual conclusion of Theorem 7.
Theorem 14. Let . If , , andis univalent in , thenimplies Proof. From (
34) and (
42), we have
According to (
32), the admissibility condition for
is the same as the admissibility condition for
in Definition 4. Hence,
, and by Lemma 2.
□
If the domain is simply linked, then for some conformal mapping of onto . The class can be represented as .
Continuing as in the preceding section, Theorem 14 immediately leads to the following result.
Theorem 15. Let , be analytic in and . If , andis univalent in , thenimplies The sandwich-type theorem is derived by combining Theorems 8 and 15.
Corollary 12. Let and be analytic functions in be a univalent function in , with and . If , andis univalent in , thenimplies Remark 1. Putting in the above results, we obtain the corresponding results for the p-valent Salagen integral operator in [45]. In this paper, we used the same technique as in [
40].
4. Conclusions
In this study, we aimed to present original findings about an integral operator for a certain category of analytic functions on the open unit disk . Our approach involved the utilization of differential subordination and superordination. The derivation of the theorems and corollaries involved an analysis of relevant lemmas pertaining to differential subordination. The paper revealed unique findings on differential subordination and superordination through the utilization of sandwich theorems. Furthermore, the study identified a multitude of specific situations. The symmetry between the properties and outcomes of differential subordination and differential superordination gives rise to the sandwich theorems. The results presented in this current publication provide novel recommendations for further investigation, and we have created opportunities for researchers to extrapolate the findings to establish novel outcomes in geometric function theory and its applications.