Next Article in Journal
An Optical Flow- and Machine Learning-Based Fall Recognition Model for Stair Accessing Service Robots
Next Article in Special Issue
A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function
Previous Article in Journal
ResPoNet: A Residual Neural Network for Efficient Valuation of Large Variable Annuity Portfolios
Previous Article in Special Issue
Inequalities of a Class of Analytic Functions Involving Multiplicative Derivative
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function

by
Ekram E. Ali
1,2,
Georgia Irina Oros
3,*,
Rabha M. El-Ashwah
4 and
Abeer M. Albalahi
1
1
Department of Mathematics, Faculty 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 and Computer Science, University of Oradea, 410087 Oradea, Romania
4
Department of Mathematics, Faculty of Science, Damietta University, New Damietta 34517, Egypt
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(12), 1917; https://doi.org/10.3390/math13121917
Submission received: 4 April 2025 / Revised: 3 June 2025 / Accepted: 5 June 2025 / Published: 8 June 2025
(This article belongs to the Special Issue Current Topics in Geometric Function Theory, 2nd Edition)

Abstract

:
This work is based on the recently introduced concepts of third-order fuzzy differential subordination and its dual, third-order fuzzy differential superordination. In order to obtain the new results that add to the development of the newly initiated lines of research, a new operator is defined here using the concept of convolution and the normalized Lommel function. The methods focusing on the basic concept of admissible function are employed. Hence, the investigation of new third-order fuzzy differential subordination results starts with the definition of the suitable class of admissible functions. The first theorems discuss third-order fuzzy differential subordinations involving the newly introduced operator. The following result shows the conditions needed such that the fuzzy best dominant can be found for a third-order fuzzy differential subordination. Next, dual results are obtained by employing the methods of third-order fuzzy differential superordination based on the same concept of an admissible function. A suitable class of admissible functions is introduced and new third-order fuzzy differential superordinations are obtained, showing how the best subordinant can be obtained under certain restrictions. As a conclusion of this study, sandwhich-type results are derived, linking the outcome of the two dual fuzzy theories.

1. Introduction

The dual ideas of third-order fuzzy differential subordination and superordination, a recently considered type of fuzzy differential subordination, are the focus of this work. Lotfi A. Zadeh first proposed the idea of the fuzzy set in 1965 [1], which was included into the differential subordination theory leading to the emergence of the fuzzy differential subordination notion in 2012 [2]. The fuzzy differential subordination theory adheres to the general differential subordination idea as investigated in [3,4]. The investigation of fuzzy differential subordination and superordination continues to deliver intriguing results in recent publications. Mittag–Leffler-type distributions are included in the research on the fuzzy differential subordination theory seen in [5,6]. Different types of operators are employed for obtaining the results seen in [7,8]. Quantum calculus operators provide the tools for the new fuzzy differential subordination results obtained in [9,10], and the dual theories of fuzzy differential subordination and superordination are used for developing sandwich-type results involving quantum calculus operators in [11]. All those results involving different types operators, including the ones involving quantum calculus, have motivated the research presented in this paper.
The context for obtaining the innovative conclusions seen in this work was given by the emergence in [12] of the idea of third-order fuzzy differential subordination. Expanding upon the notion put forth in [13], the authors of the work introduced the idea of third-order fuzzy differential subordination. The key notions to be used for the studies pertaining to this line of research for the fuzzy differential subordination theory, including the admissible functions class and basic theorems, were provided in [12], along with the main principles of third-order fuzzy subordination. As the concept of differential superordination was first proposed as a dual idea to that of differential subordination, in light of this concept, the idea of third-order fuzzy differential superordination was first presented in [14], where the dual problem of the third-order fuzzy differential superordination was studied by describing the fundamental ideas connected with the notion of third-order fuzzy differential superordination.
Since no other papers are published so far on the idea of using the two new dual fuzzy theories in order to obtain third-order fuzzy sandwich-type results, the present work adds valuable knowledge for enhancing the new lines of research recently initiated. The framework for the investigation is well known in geometric function theory.
H ( U ) is the class of analytic functions in U = { ζ : ζ C and ζ < 1 } , with U ¯ = { ζ C : ζ 1 } and U = { ζ C : ζ = 1 } .
Certain subclasses of H ( U ) are famous and indispensable for research, such as the following:
A κ = f H ( U ) : f ( ζ ) = ζ + a κ + 1 ζ κ + 1 + ζ U ,
where A 1 = A , and
H [ a , κ ] = f H ( U ) : f ( ζ ) = a + a κ ζ κ + a κ + 1 ζ κ + 1 + ζ U ,
where H 0 = H [ 0 , 1 ] , and H 1 = H [ 1 , 1 ] with a C and κ N = { 1 , 2 , 3 , } .
Designate the class of convex functions as
K = f H ( U ) : Re ζ f ( ζ ) f ( ζ ) + 1 > 0 , f ( 0 ) 0 , ζ U .
Furthermore,
S = f A : f ( ζ ) = ζ + a 2 ζ 2 + , f ( 0 ) = 0 , f ( 0 ) = 1 , f   is   univalent   for   ζ U .
Given f , g H ( U ) , if there exists ϖ H ( U ) , then f is subordinate to g , denoted f ( ζ ) g ( ζ ) , if ϖ ( 0 ) = 0 , ζ U , and ϖ ( ζ ) < 1 for every ζ U , and f ( ζ ) = g ( ϖ ( ζ ) ) . The following is what must be met such that f ( ζ ) g ( ζ ) ) we have the function g S :
f ( 0 ) = g ( 0 ) and f ( U ) g ( U ) .
For two functions f ι ( ζ ) A ( ι = 1 , 2 ) given by
f ι ( ζ ) = ζ + κ = 2 a κ , ι ζ κ ,
the convolution of f 1 ( ζ ) and f 2 ( ζ ) is defined as
( f 1 f 2 ) ( ζ ) = ζ + κ = 2 a κ , 1 a κ , 2 ζ κ = ( f 2 f 1 ) ( ζ ) .
Numerous papers refer to geometric properties of different families of special functions, particularly the generalized hypergeometric functions (see [15,16,17,18]) and the Bessel functions (see [19,20,21,22]). The Lommel functions of the first and second kind appear as specific solutions of particular second-order differential equations in the theory of Bessel functions (see, for example, [23,24,25]). We recall now the Lommel function, denoted by L δ , η ( ζ ) and given by
L δ , η ( ζ ) = ζ δ + 1 4 κ = 0 1 κ Γ δ η + 1 2 Γ δ + η + 1 2 Γ δ η + 3 2 + κ Γ δ + η + 3 2 + κ ζ 2 2 κ ,
which is a particular solution of the inhomogeneous Bessel differential equation
ζ 2 w ( ζ ) + ζ w ( ζ ) + ζ 2 η 2 w ( ζ ) = ζ δ + 1 ,
where δ η + 1 2 ,   δ + η + 1 2 C Z ;   Z = { 1 , 2 , } , and Γ stands for the Euler gamma function. It is clear that the function L δ , η is analytic for all ζ C .
Next, the normalized Lommel function L δ , η ( ζ ) is considered as follows:
L δ , η ( ζ ) = 4 δ η + 1 2 δ + η + 1 2 ζ 1 δ 2 L δ , η ( ζ ) .
Using the shifted factorial σ n defined as
σ n = Γ σ + n Γ σ = 1 , n = 0 , σ C 0 , σ σ + 1 σ + n 1 , n N , σ C ,
the function L δ , η ( ζ ) can be represented by the following series representation:
L δ , η ( ζ ) = ζ + κ = 2 ( 1 ) κ 1 4 κ 1 δ η + 1 2 + 1 κ 1 δ + η + 1 2 + 1 κ 1 ζ κ .
For simplicity, let ϱ = δ η + 3 2 and ϰ = δ + η + 3 2 . Thus, the function L ϱ , ϰ can be defined as follows:
L ϱ , ϰ ( ζ ) = ζ + κ = 2 ( 1 ) κ 1 4 κ 1 ϱ κ 1 ( ϰ ) κ 1 ζ κ .
The function L ϱ , ϰ ( ζ ) is analytic for all ζ C and ϱ , ϰ C Z 0 = Z { 0 } , and it is clear that L ϱ , ϰ ( ζ ) A .
Using the notions presented above, the new operator used for the investigation is defined by means of a Hadamard product as follows:
L ϱ , ϰ : A A ,
L ϱ , ϰ f ( ζ ) : = L ϱ , ϰ f ( ζ ) = ζ + κ = 2 ( 1 ) κ 1 4 κ 1 ϱ κ 1 ( ϰ ) κ 1 a κ ζ κ .
Remark 1.
We note that by taking ϰ = 1 in (6), the operator L ϱ is obtained, defined as follows:
L ϱ f ( ζ ) = ζ + κ = 2 ( 1 ) κ 1 4 κ 1 ϱ κ 1 ( κ 1 ) ! a κ ζ κ .
which is related to Bessel functions of the first kind (see [21]).
The operator L ϱ , ϰ f ( ζ ) , satisfies
ζ L ϱ + 1 , ϰ f ( ζ ) = ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) ,
and
ζ L ϱ , ϰ + 1 f ( ζ ) = ϰ L ϱ , ϰ f ( ζ ) ( ϰ 1 ) L ϱ , ϰ + 1 f ( ζ ) .

2. Preliminaries

The new findings in the section that follows will be supported by the subsequent investigations.
Definition 1
([13] (p. 441, Definition 2)). Denote by Q the set of all functions q that are analytic and injective on U ¯ E ( q ) where
E ( q ) = ξ U : lim ζ ξ q ( ζ ) = ,
and are such that min q ( ξ ) = ρ > 0 for ξ U E ( q ) . E ( q ) is called the exception set, and the subclass of Q when q ( 0 ) = a can be denoted by Q ( a ) and Q ( 0 ) = Q 0 .
From the theory of fuzzy differential subordination, we use the following:
Definition 2
([1]). A fuzzy set comprises of the pair ς , F , where ς is a set, ς ϕ , and F : ς 0 , 1 is a membership function.
Definition 3
([26]). A fuzzy subset of ς is a pair υ , F υ , where F υ : ς 0 , 1 is known as the membership function of the fuzzy set υ , F υ and υ = Y ς : 0 < F υ ( Y ) 1 = sup υ , F υ is called fuzzy subset.
The notations that are listed next are used for the investigation proposed here. Let F : C [ 0 , 1 ] . Indicate by
(i
υ , F υ = U , F U . Then, υ = U , where υ = sup ( υ , F υ ) and U = sup U , F U .
(ii
If υ , F υ U , F U . Then, I U where I = sup ( I , F υ ) and U = sup U , F U .
Let f , g H ( U ) . We say
f ( U ) = sup ( f ( U ) , F f ( U ) ) = { f ζ : 0 < F f ( U ) ( f ζ ) 1 , ζ U } ,
and
g ( U ) = sup ( g ( U ) , F g ( U ) ) = { g ζ : 0 < F g ( U ) ( g ζ ) 1 , ζ U } .
Definition 4
([26]). Let two fuzzy subsets of η, υ 1 , F υ 1 and υ 2 , F υ 2 . We state that the fuzzy subsets υ 1 and υ 2 are equal if F υ 1 η = F υ 2 η , η ς , and we denote by υ 1 , F υ 1 = υ 2 , F υ 2 . The fuzzy subset υ 1 , F υ 1 is contained in the fuzzy subset υ 2 , F υ 2 if F υ 1 η F υ 2 η , η S and denote by υ 1 , F υ 1 υ 2 , F υ 2 .
Definition 5
([26]). Let ζ 0 U and f , g H ( U ) . f is fuzzy subordinate to g and written as f F g or f ( ζ ) F g ( ζ ) if each of the following is satisfied:
f ( ζ 0 ) = g ( ζ 0 ) and F f ( U ) f ζ F g ( U ) g ζ , ζ U ,
Proposition 1
([26]). Let ζ 0 U and f , g H ( U ) . If f ( ζ ) F g ( ζ ) , ζ U , then
( i ) f ( ζ 0 ) = g ( ζ 0 ) , ( ii ) f ( U ) g ( U ) and F f ( U ) f ζ F g ( U ) g ζ , ζ U ,
where f ( U ) and g ( U ) are given by (9) and (10), respectively.
Definition 6
([13]). Let Ω C , consider a function where q Q and 2 . Functions ψ : C 4 × U ¯ C , are called admissible functions and belong to the so-called class of admissible functions denoted by Ψ κ [ Ω , q ] if
ψ ( r , s , t , u ; ξ ) Ω ,
is satisfied, with
r = q ( ζ ) , s = ζ q ( ζ ) ,
Re t s + 1 Re 1 + ζ q ζ q ζ ,
Re u s 2 Re ζ 2 q ζ q ζ ,
where ζ U , ξ U E ( q ) and N 1 .
In particular, if we set
q ( ζ ) = M ζ + a M + a ¯ ζ M ( M > 0 ; a < M ) ,
then
q ( U ) = U M = w : | w | < M , q ( 0 ) = a , E ( q ( ζ ) ) = ϕ and q ( a ) .
In this case, we set
Ψ κ [ Ω , q , a ] = Ψ κ [ Ω , q ]
and, in the special case when the set Ω = U M , the resulting class is simply denoted by Ψ κ [ M , a ] .
Definition 7
([14] (Definition 5)). Let Ω be a set in C , q Q , κ 2 . Denote by Ψ κ [ Ω , q ] the set of functions ψ : C 4 × U ¯ C , satisfying
F ψ ( C 4 × U ¯ ) ψ ( r , s , t , u ; ξ ) < F Ω ( ζ ) , 0 < F Ω ( ζ ) 1 ,
where
r = q ( ζ ) , s = ζ q ( ζ ) ,
Re t s + 1 1 Re 1 + ζ q ζ q ζ ,
Re u s 1 2 Re ζ 2 q ζ q ζ ,
with ζ U , ξ U and κ 2 . Condition (11) is called the admissibility condition.
The definition of the concept of fuzzy dominance for the solutions of a third-order fuzzy differential subordination is given in [12] in terms of a function q H ( U ) that satisfies ω F q whenever ω satisfies
F ψ ( C 4 × U ) ( ψ ( ω ( ζ ) , ζ ω ( ζ ) , ζ 2 ω ( ζ ) , ζ 3 ω ( ζ ) ; ζ ) ) F λ ( U ) λ ( ζ )
i.e.,
ψ ( ω ( ζ ) , ζ ω ( ζ ) , ζ 2 ω ( ζ ) , ζ 3 ω ( ζ ) ; ζ ) F λ ( ζ ) ,
with ψ : C 4 × U C , ψ Ψ κ [ Ω , q ] and λ H ( U ) , ω being called a solution of the fuzzy differential subordination (12). For all dominants q of (12), the fuzzy best dominant is a fuzzy dominant q ˜ satisfying q ˜ F q . It is known that the fuzzy best dominant is unique up to a rotation of U .
The dual concept of a fuzzy subordinant of a third-order fuzzy differential superordination is introduced in [14] as being a function q S satisfying q ( ζ ) F ω ( ζ ) or, equivalently written, as F q ( U ) q ( ζ ) F ω ( U ) ( ω ( ζ ) ) , ζ U , whenever ω satisfies
F λ ( U ) λ ( ζ ) F ψ ( C 4 × U ) ( ψ ( ω ( ζ ) , ζ ω ( ζ ) , ζ 2 ω ( ζ ) , ζ 3 ω ( ζ ) ; ζ ) ) , ζ U
i.e.,
λ ( ζ ) F ψ ( ω ( ζ ) , ζ ω ( ζ ) , ζ 2 ω ( ζ ) , ζ 3 ω ( ζ ) ; ζ ) ,
with ψ : C 4 × U C , ψ Ψ κ [ Ω , q ] and λ H ( U ) , ω being called a solution for the third-order fuzzy differential superordination (13). For all fuzzy subordinants q of (13), the best fuzzy subordinant is a fuzzy subordinant q ˜ S satisfying q ( ζ ) F q ˜ ( ζ ) or, equivalently written, as F q ( U ) q ( ζ ) F q ˜ ( U ) ( q ˜ ( ζ ) ) , ζ U .
The next two results listed as lemmas, proved in [12] and [14], respectively, serve as tools for obtaining the new outcome of the next sections.
Lemma 1
([12] (Theorem 3.4)). Let p H [ a , κ ] with κ 2 , and consider the function F : C [ 0 , 1 ] and a function q Q ( a ) for which
Re ξ q ξ q ξ 0 , ζ p ζ q ξ ,
where ζ U , ξ U E ( q ) and κ . If Ω is a set in C , with ψ Ψ κ [ Ω , q ] satisfying
ψ ( p ( ζ ) , ζ p ( ζ ) , ζ 2 p ( ζ ) , ζ 3 p ( ζ ) ; ζ ) Ω ,
then
p ( ζ ) F q ( ζ ) or F p ( U ) p ( ζ ) F q ( U ) q ( ζ ) .
Lemma 2
([14] (Theorem 1)). Let Ω C , q H [ a , κ ] , κ 2 , function ψ Ψ κ [ Ω , q ] , F : C [ 0 , 1 ] given by F ( ζ ) = 1 1 + ζ and p Q ( a ) , p ( 0 ) = q ( 0 ) = a , satisfying
Re ξ q ξ q ξ 0 , ζ p ζ q ξ ,
where ζ U , ξ U E ( q ) , κ 2 .
If p ( ζ ) and ψ ( p ( ζ ) , ζ p ( ζ ) , ζ 2 p ( ζ ) , ζ 3 p ( ζ ) ; ζ ) are univalent in U , then
Ω ψ ( p ( ζ ) , ζ p ( ζ ) , ζ 2 p ( ζ ) , ζ 3 p ( ζ ) ; ζ ) : ζ U ,
or, equivalently, as
1 1 + ζ 1 1 + ψ ( p ( ζ ) , ζ p ( ζ ) , ζ 2 p ( ζ ) , ζ 3 p ( ζ ) ; ζ ) ,
which implies that
q ( ζ ) F p ( ζ ) or 1 1 + q ( ζ ) 1 1 + p ( ζ ) ζ U .
In the following sections, by utilizing the third-order differential subordination results in accordance to Antonino and Miller [13] in the unit disk U and the third-order fuzzy differential subordination and superordination results introduced by Oros et al. [12,14], we define certain suitable classes of admissible functions and study some third-order fuzzy differential subordination and superordination properties of univalent functions connected with the Lommel function L ϱ , ϰ f ( ζ ) defined by (6). The results obtained using the two dual theories are linked at the end of the study by sandwich-type results.

3. Third-Order Fuzzy Differential Subordination Results

Throughout the study, unless otherwise indicated, we will suppose that ϱ , ϰ > 2 .
Certain new third-order fuzzy differential subordinations are obtained in this section. The following definition applies to the class of admissible functions for this purpose:
Definition 8.
Let Ω C and q Q 0 H 0 . Functions ψ : C 4 × U C that satisfy
ψ α , β , γ , δ ; ζ Ω ,
whenever
α = q ( ξ ) , β = ξ q ( ξ ) + ( ϱ 1 ) q ( ξ ) ϱ ,
Re ϱ ( ϱ 1 ) γ ( ϱ 1 ) ( ϱ 2 ) α ϱ β ( ϱ 1 ) α ( 2 ϱ 3 ) Re ξ q ( ξ ) q ( ξ ) + 1 ,
and
Re ϱ ( ϱ 1 ) ( ϱ 2 ) δ + 3 ( 1 ϱ ) γ + 2 ( ϱ 2 ) α ϱ β ( ϱ 1 ) α + 3 ϱ ( ϱ 1 ) 2 Re ξ 2 q ( ξ ) q ( ξ ) ,
where N 1 , ξ U E ( q ) and ζ U , form the class of admissible functions denoted as Ψ κ [ Ω , q ] .
Our first result is now stated and proved as Theorem 1 below.
Theorem 1.
Consider ψ Ψ κ [ Ω , q ] . If f A and q Q 0 H 0 satisfy
Re ξ q ( ξ ) q ( ξ ) 0 , ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) q ( ξ ) ,
and
F ψ ( C 4 × U ) ψ ( L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ) F Ω ( ζ ) ,
N 1 , ξ U E ( q ) and ζ U ,
then
L ϱ + 1 , ϰ f ( ζ ) F q ( ζ ) ( ζ U ) ,
or
F L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ) F q ( U ) q ( ζ ) .
Proof. 
Define
g ( ζ ) = L ϱ + 1 , ϰ f ( ζ ) .
Utilizing (7) and (20), we have
L ϱ , ϰ f ( ζ ) = ζ g ( ζ ) + ( ϱ 1 ) g ( ζ ) ϱ .
Further computations show that
L ϱ 1 , ϰ f ( ζ ) = ζ 2 g ( ζ ) + 2 ϱ 1 ζ g ( ζ ) + ( ϱ 1 ) ( ϱ 2 ) g ( ζ ) ϱ ( ϱ 1 ) ,
and
L ϱ 2 , ϰ f ( ζ ) = ζ 3 g ( ζ ) + 3 ( ϱ 1 ) ζ 2 g ( ζ ) + 3 ( ϱ 1 ) ( ϱ 2 ) ζ g ( ζ ) + ( ϱ 1 ) ( ϱ 2 ) ( ϱ 3 ) g ( ζ ) ϱ ( ϱ 1 ) ( ϱ 2 ) .
Now, we specify how C 4 transforms to C by
α ( t , u , υ , w ) = t , β ( t , u , υ , w ) = u + ( ϱ 1 ) t ϱ ,
γ ( t , u , υ , w ) = υ + 2 ϱ 1 u + ( ϱ 1 ) ( ϱ 2 ) t ϱ ( ϱ 1 ) ,
and
δ ( t , u , υ , w ; ζ ) = w + 3 ( ϱ 1 ) υ + 3 ( ϱ 1 ) ( ϱ 2 ) u + ( ϱ 1 ) ( ϱ 2 ) ( ϱ 3 ) t ϱ ( ϱ 1 ) ( ϱ 2 ) .
Let
ψ t , u , υ , w ; ζ = ψ α , β , γ , δ ; ζ = ψ t , u + ( ϱ 1 ) t ϱ , υ + 2 ϱ 1 u + ( ϱ 1 ) ( ϱ 2 ) t ϱ ( ϱ 1 ) , w + 3 ( ϱ 1 ) υ + 3 ( ϱ 1 ) ( ϱ 2 ) u + ( ϱ 1 ) ( ϱ 2 ) ( ϱ 3 ) t ϱ ( ϱ 1 ) ( ϱ 2 ) ; ζ
By applying Lemma 1, conditions (20)–(27), we write
ψ g ( ζ ) , ζ g ( ζ ) , ζ 2 g ( ζ ) , ζ 3 g ( ζ ) ; ζ = ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ .
Hence, (19) leads to
F ψ ( C 4 × U ) ψ g ( ζ ) , ζ g ( ζ ) , ζ 2 g ( ζ ) , ζ 3 g ( ζ ) ; ζ F Ω ( ζ ) .
Additionally, applying (24)–(26), it is simple to obtain
υ u + 1 = ϱ ( ϱ 1 ) γ ( ϱ 1 ) ( ϱ 2 ) α ϱ β ( ϱ 1 ) α ( 2 ϱ 3 ) ,
and
w u = ϱ ( ϱ 1 ) ( ϱ 2 ) δ + 3 ( 1 ϱ ) γ + 2 ( ϱ 2 ) α ϱ β ( ϱ 1 ) α + 3 ϱ ( ϱ 1 ) .
Accordingly, the ψ Ψ κ [ Ω , q ] admissibility condition in Definition 8 corresponds to the ψ Ψ 2 [ Ω , q ] admissibility condition in Definition 6. Thus, by applying (18) and Lemma 1, we write F g ( U ) g ( ζ ) F q ( U ) q ( ζ ) or, equivalently, F L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ) F q ( U ) q ( ζ ) ,
i.e.,
L ϱ + 1 , ϰ f ( ζ ) F q ( ζ ) ,
The proof is completed. □
Example 1.
By taking ψ = β α 1 , in Theorem 1 we obtain
ψ α , β , γ , δ ; τ = u + ( ϱ 1 ) t ϱ t 1 = u t ϱ t = ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) t t t = L ϱ , ϰ f ( ζ ) L ϱ + 1 , ϰ f ( ζ ) 1
which is analytic in U and
F ψ ( C 4 × D ) ψ L ϱ , ϰ f ( ζ ) L ϱ + 1 , ϰ f ( ζ ) 1 F Ω ( ζ ) ,
then
L ϱ + 1 , ϰ f ( ζ ) F q ( ζ ) ( ζ U ) ,
or
F L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ) F q ( U ) q ( ζ ) .
When q behaves in an unknown manner on U , the following result is generated by Theorem 1.
Corollary 1.
Consider Ω C and take q S with q ( 0 ) = 1 . Consider ψ Ψ κ [ Ω , q ρ ] , for certain ρ ( 0 , 1 ) when q ρ ( ζ ) = q ( ρ ζ ) . If f A and q ρ satisfy
Re ξ q ρ ( ξ ) q ρ ( ξ ) 0 , ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) q ρ ( ξ ) ,
( ξ U E ( q ρ ) ; ζ U ) ,
and
F ψ ( C 4 × U ) ψ ( L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ) F Ω ( ζ ) ,
then
L ϱ + 1 , ϰ f ( ζ ) F q ζ .
Proof. 
Following Theorem 1, we obtain
L ϱ + 1 , ϰ f ( ζ ) F q ρ ζ .
The assertion of Corollary 1 is obtained from
q ρ ζ F q ζ ( ζ U ) .
If Ω C is a simply connected domain, then Ω = λ U for a well-chosen conformal mapping λ ( ζ ) of U onto Ω . In this situation, the class Ψ κ [ H ( U ) , q ] is written as Ψ κ [ λ , q ] . The next listed results are direct outcomes of Theorem 1 and Corollary 1.
Theorem 2.
Suppose that ψ Ψ κ [ λ , q ] . If f A and q Q 0 satisfy Condition (18), then
F ψ ( C 4 × U ) ψ ( L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ) F λ ( Ω ) λ ( ζ ) ,
implies that
F L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ) F λ ( Ω ) λ ( ζ ) ,
i.e.,
L ϱ + 1 , ϰ f ( ζ ) F λ ζ ( ζ U ) .
Corollary 2.
Consider Ω C and take q S with q ( 0 ) = 1 . Consider ψ Ψ κ [ λ , q ρ ] for certain ρ ( 0 , 1 ) when q ρ ( ζ ) = q ( ρ ζ ) . If f A and q ρ satisfy
Re ξ q ρ ( ξ ) q ρ ( ξ ) 0 , ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) q ρ ( ξ ) ,
( ξ U E ( q ρ ) ; ζ U ) ,
and
F ψ ( C 4 × U ) ψ ( L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ) F λ ( Ω ) λ ( ζ ) ,
then
L ϱ + 1 , ϰ f ( ζ ) F q ζ .
The fuzzy best dominant of the fuzzy differential subordination (19) or (34) is obtained by our next theorem.
Theorem 3.
Suppose that λ ( ζ ) be univalent in U . Also, let ψ : C 4 × U C and ψ be given by (27). Let
ψ q ( ζ ) , ζ q ( ζ ) , ζ 2 q ( ζ ) , ζ 3 q ( ζ ) ; ζ = λ ( ζ )
have a solution q ( ζ ) Q 0 H 0 , which satisfies the conditions in (18). If f A satisfies Condition (33) and
F ψ ( C 4 × U ) ψ { L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ } F Ω ( ζ )
is analytic in U , then
L ϱ + 1 , ϰ f ( ζ ) F q ζ ,
and q ( ζ ) is the fuzzy best dominant.
Proof. 
We determine that q is a dominant of (34) by using Theorem 1. q is also a solution of (34) since it satisfies (36). As a result, all dominants will dominate q . As a result, the fuzzy best dominant is q . □
In the particular case when q ζ = M ζ ( M > 0 ) and, in view of Definition 8, the class Ψ κ [ Ω , q ] of admissible functions, which we denote by Ψ κ [ Ω , M ] , is described below.
Definition 9.
Let Ω be a set in C and M > 0 . The class Ψ κ [ Ω , M ] of admissible functions consists of the functions φ : C 4 × U C such that
ψ ( M e i θ , ( + ( ϱ 1 ) ) M e i θ ϱ , L + 2 ϱ 1 + ( ϱ 1 ) ( ϱ 2 ) M e i θ ϱ ( ϱ 1 ) , N + 3 ( ϱ 1 ) L + 3 ( ϱ 1 ) ( ϱ 2 ) + ( ϱ 1 ) ( ϱ 2 ) ( ϱ 3 ) M e i θ ϱ ( ϱ 1 ) ( ϱ 2 ) ) Ω
whenever ζ U , θ R and
R e L e i θ ( 1 ) M and R e N e i θ 0 ( θ R ; N 1 ) .
Corollary 3.
Let ψ Ψ κ [ Ω , M ] . If f A , then
ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) M .
If
F ψ ( C 4 × U ) ψ ( L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ) F Ω ( ζ ) ,
N 1 , ξ U E ( q ) and ζ U ,
then
L ϱ + 1 , ϰ f ( ζ ) F M ( ζ U ) ,
or
F L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ) F q ( U ) M ,
where N 1 , M > 0 and ζ U .
Then, as follows, we define a new admissible class Ψ ˜ κ [ Ω , q ] :
Definition 10.
Suppose that Ω is a set in C and q Q 1 H 1 . The class of admissible functions Ψ ˜ κ [ Ω , q ] consists of function ψ : C 4 × U C which satisfies
ψ α , β , γ , δ ; ζ Ω
whenever
α = q ( ξ ) , β = ξ q ( ξ ) + ϱ q ( ξ ) ϱ ,
Re ( ϱ 1 ) ( γ α ) β α + ( 1 2 ϱ ) Re ξ q ( ξ ) q ( ξ ) + 1 ,
Re ( ϱ 1 ) ( ϱ 2 ) ( δ α ) 3 ϱ ( ϱ 1 ) ( γ α ) β α + 3 ϱ ( ϱ + 1 ) 2 Re ξ 2 q ( ξ ) q ( ξ ) ,
where ϱ C Z , N 1 , ξ U E ( q ) and ζ U .
Theorem 4.
Consider ψ Ψ ~ κ [ Ω , q ] . If f A and q Q 1 satisfy
Re ξ q ( ξ ) q ( ξ ) 0 , ϱ L ϱ , ϰ f ( ζ ) ϱ L ϱ + 1 , ϰ f ( ζ ) ζ q ( ξ ) ,
and
F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ : ζ U F Ω ( ζ ) ,
then
L ϱ + 1 , ϰ f ( ζ ) ζ F q ζ ( ζ U ) .
Proof. 
Let
g ( ζ ) = L ϱ + 1 , ϰ f ( ζ ) ζ .
Utilizing (7) and (39), we have
L ϱ , ϰ f ( ζ ) ζ = ζ g ( ζ ) + ϱ g ( ζ ) ϱ .
Further computations show that
L ϱ 1 , ϰ f ( ζ ) ζ = ζ 2 g ( ζ ) + 2 ϱ ζ g ( ζ ) + ϱ ( ϱ 1 ) g ( ζ ) ϱ ( ϱ 1 ) ,
and
L ϱ 2 , ϰ f ( ζ ) ζ = ζ 3 g ( ζ ) + 3 ϱ ζ 2 g ( ζ ) + 3 ϱ ( ϱ 1 ) ζ g ( ζ ) + ϱ ( ϱ 1 ) ( ϱ 2 ) g ( ζ ) ϱ ( ϱ 1 ) ( ϱ 2 ) .
We now specify how C 4 transforms to C by
α ( t , u , v , w ) = t , β ( t , u , v , w ) = u + ϱ t ϱ ,
γ ( t , u , υ , w ) = υ + 2 ϱ u + ϱ ( ϱ 1 ) t ϱ ( ϱ 1 ) ,
and
δ ( t , u , υ , w ) = w + 3 v υ + 3 ϱ ( ϱ 1 ) u + ϱ ( ϱ 1 ) ( ϱ 2 ) t ϱ ( ϱ 1 ) ( ϱ 2 ) .
Let
ψ t , u , v , w ; ζ = ψ α , β , γ , δ ; ζ = ψ t , u + ϱ t ϱ , υ + 2 ϱ u + ϱ ( ϱ 1 ) t ϱ ( ϱ 1 ) , w + 3 v υ + 3 ϱ ( ϱ 1 ) u + ϱ ( ϱ 1 ) ( ϱ 2 ) t ϱ ( ϱ 1 ) ( ϱ 2 ) ; ζ
By applying Lemma 1, conditions (39)–(42), we get
ψ g ( ζ ) , ζ g ( ζ ) , ζ 2 g ( ζ ) , ζ 3 g ( ζ ) ; ζ = L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ .
Hence, (43) leads to
F ψ ( C 4 × U ) ψ g ( ζ ) , ζ g ( ζ ) , ζ 2 g ( ζ ) , ζ 3 g ( ζ ) ; ζ F Ω ( ζ ) .
Using (41) and (42), we have
v u + 1 = ( ϱ 1 ) ( γ α ) β α + ( 1 2 ϱ ) ,
and
w u = ( ϱ 1 ) ( ϱ 2 ) ( δ α ) 3 ϱ ( ϱ 1 ) ( γ α ) β α + 3 ϱ ( ϱ + 1 ) .
Accordingly, the ψ Ψ ˜ κ [ Ω , q ] admissibility condition in Definition 10 corresponds to the ψ Ψ 2 [ Ω , q ] admissibility condition in Definition 6. Thus, by applying Lemma 1 and (37), we write F g ( U ) g ( ζ ) F q ( U ) q ( ζ ) or, equivalently, F 1 ζ L ϱ + 1 , ϰ f ( U ) ( L ϱ + 1 , ϰ f ( ζ ) ζ ) F q ( U ) q ( ζ ) ,
i.e.,
L ϱ + 1 , ϰ f ( ζ ) ζ F q ( ζ ) ,
The proof is completed. □
If Ω C is a simply connected domain, then Ω = λ U for a well-chosen conformal mapping λ ( ζ ) of U onto Ω . In this case, the class Ψ ˜ κ [ λ ( U ) , q ] is written as Ψ ˜ κ [ λ , q ] . The following result is an immediate consequence of Theorem 4.
Corollary 4.
Assume that ψ Ψ ˜ κ [ λ , q ] . If f A and q Q 1 satisfies Condition (37), then
F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ : ζ U F λ ( Ω ) λ ( ζ ) ,
implies that
L ϱ + 1 , ϰ f ( ζ ) ζ F q ζ ( ζ U ) .
In the particular case when q ζ = 1 + M ζ ( M > 0 ) and, in view of Definition 8, the class Ψ ˜ κ [ Ω , q ] of admissible functions, which we denote by Ψ ˜ κ [ Ω , M ] , is described below.
Definition 11.
Let Ω be a set in C and M > 0 . The class Ψ ˜ κ [ Ω , M ] of admissible functions consists of the functions φ : C 4 × U C such that
ψ 1 + M e i θ , 1 + ( + ϱ ) M e i θ ϱ , 1 + L + 2 ϱ + ϱ ( ϱ 1 ) M e i θ ϱ ( ϱ 1 ) , 1 + N + 3 ϱ L + 3 ϱ ( ϱ 1 ) + ϱ ( ϱ 1 ) ( ϱ 2 ) M e i θ ϱ ( ϱ 1 ) ( ϱ 2 ) Ω
whenever ζ U , θ R and
R e L e i θ ( 1 ) M and R e N e i θ 0 ( θ R ; N 1 ) .
Corollary 5.
Let ψ Ψ ˜ κ [ Ω , M ] . If f A satisfies
ϱ L ϱ , ϰ f ( ζ ) ϱ L ϱ + 1 , ϰ f ( ζ ) M
If
F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ : ζ U F Ω ( ζ ) ,
then
L ϱ + 1 , ϰ f ( ζ ) ζ F 1 + M ζ ( ζ U ) .
where N 1 , M > 0 and ζ U .
In the special case when
Ω = q ( U ) = w : w 1 < M ( M > 0 ) ,
the class Ψ ˜ κ [ Ω , M ] is simply denoted by Ψ ˜ κ [ M ] .

4. Third-Order Fuzzy Differential Superordination Results

We derive certain third-order fuzzy differential superordinations in this section. The following definition applies to the class of admissible functions for this purpose:
Definition 12.
Consider Ω C , q H 0 with q ( ζ ) 0 and ϑ N { 1 } . Functions ψ : C 4 × U ¯ C that satisfy
ψ α , β , γ , δ ; ξ Ω
whenever
α = q ( ζ ) , β = ζ q ( ζ ) + ϑ ( ϱ 1 ) q ( ζ ) ϑ ϱ ,
Re ϱ ( ϱ 1 ) γ ( ϱ 1 ) ( ϱ 2 ) α ϱ β ( ϱ 1 ) α ( 2 ϱ 3 ) 1 ϑ Re 1 + ζ q ( ζ ) q ( ζ ) ,
Re ϱ ( ϱ 1 ) ( ϱ 2 ) δ + 3 ( 1 ϱ ) γ + 2 ( ϱ 2 ) α ϱ β ( ϱ 1 ) α + 3 ϱ ( ϱ 1 ) 1 ϑ 2 Re ζ 2 q ( ζ ) q ( ζ ) ,
where ϑ 2 , ξ U and ζ U , form the class of admissible functions denoted by Ψ κ [ Ω , q ] .
Theorem 5.
Let ψ Ψ κ [ Ω , q ] . If f A and L ϱ + 1 , ϰ f ( ζ ) Q 0 satisfy
Re ζ q ( ζ ) q ( ζ ) 0 , ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) L ϱ + 1 , ϰ f ( ζ ) ϑ q ( ξ ) ,
and
ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ
is univalent in U , then
F Ω ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ : ζ U ,
implies
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ( ζ U ) .
Proof. 
Let g ( ζ ) be given by (20) and ψ be given by (27). Since ψ Ψ κ [ Ω , q ] , (28) and (49) yield
F Ω ( ζ ) F ψ ( C 4 × U ) ψ g ( ζ ) , ζ g ( ζ ) , ζ 2 g ( ζ ) , ζ 3 g ( ζ ) ; ζ : ζ U .
From (27), we deduce that the ψ Ψ κ [ Ω , q ] admissibility condition in Definition 12 corresponds to the admissibility condition for ψ in Definition 8. Therefore, by applying the terms in (48) and Lemma 2, we write
q ( ζ ) F g ( ζ ) ,
or, equivalently,
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ( ζ U ) .
The proof is now complete. □
Example 2.
ψ = 2 α β . In Theorem 4, we obtain
ψ α , β , γ , δ ; τ = 2 t u + ( ϱ 1 ) t ϱ t = 2 t ϱ L ϱ , ϰ f ( ζ ) ( ϱ 1 ) t + ( ϱ 1 ) t ϱ = 2 t L ϱ , ϰ f ( ζ ) = 2 L ϱ + 1 , ϰ f ( ζ ) L ϱ , ϰ f ( ζ )
which is analytic in U and
F Ω ( ζ ) F ψ ( C 4 × U ) ψ 2 L ϱ + 1 , ϰ f ( ζ ) L ϱ , ϰ f ( ζ ) ;
thus,
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ( ζ U ) ,
or
F q ( D ) q ( ζ ) F ζ f ( D ) ( L ϱ + 1 , ϰ f ( ζ ) ) .
If Ω C is a simply connected domain and Ω = λ ( U ) for a well-chosen mapping λ ( ζ ) of U onto Ω , then Ψ κ [ λ ( U ) , q ] = Ψ κ [ λ , q ] . The following theorem is derived from Theorem 5 using procedures similar to those in the previous section.
Theorem 6.
Consider ψ Ψ κ [ λ , q ] , and λ to be analytic in U . If f A and L ϱ + 1 , ϰ f ( ζ ) Q 0 satisfy the conditions in (48) and
ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ
is univalent in U , then
F λ ( Ω ) λ ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ,
implies
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ( ζ U ) .
For a well-chosen ψ , the next result establishes the existence of the best fuzzy subordinant of (55).
Theorem 7.
Consider λ to be analytic in U , ψ : C 4 × U ¯ C and ψ to be given by (27). Let the differential equation
ψ q ( ζ ) , ζ q ( ζ ) , ζ 2 q ( ζ ) , ζ 3 q ( ζ ) ; ζ = λ ( ζ )
have a solution q ( ζ ) Q 0 . If f A and L ϱ + 1 , ϰ f ( ζ ) Q 0 satisfy Condition (48) and
ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ
is univalent in U , then
F λ ( Ω ) λ ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ ,
implies
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ( ζ U ) .
and q is the best fuzzy subordinant.
Proof. 
The proof of Theorem 7 is similar to that of Theorem 3 so we omitted it. □
Next, we consider a new definition for the class of admissible functions, Ψ ˜ κ [ Ω , q ] .
Definition 13.
Consider Ω C , q H 1 with q ( ζ ) 0 and ϑ N { 1 } . Functions ψ : C 4 × U ¯ C that satisfy
ψ α , β , γ , δ ; ξ Ω
whenever
α = q ( ζ ) , β = ζ q ( ζ ) + ϑ ϱ q ( ζ ) ϑ ϱ ,
Re ( ϱ 1 ) ( γ α ) β α + ( 1 2 ϱ ) 1 ϑ Re 1 + ζ q ( ζ ) q ( ζ ) ,
Re ( ϱ 1 ) ( ϱ 2 ) ( δ α ) 3 ϱ ( ϱ 1 ) ( γ α ) β α + 3 ϱ ( ϱ + 1 ) 1 ϑ 2 Re ζ 2 q ( ζ ) q ( ζ ) ,
where ϑ 2 , ξ U and ζ U , form the class of admissible functions denoted by Ψ ˜ κ [ Ω , q ] .
If Ω C is a simply connected domain and Ω = λ ( U ) for a well-chosen conformal mapping λ ( ζ ) of U onto Ω , then the class Ψ ˜ κ [ λ ( U ) , q ] = Ψ ˜ κ [ λ , q ] . The following theorem is derived from Theorem 7 using procedures similar to those in the previous section.
Theorem 8.
Consider λ H ( U ) , ψ : C 4 × U ¯ C and ψ be given by (27). Let the differential equation
ψ q ( ζ ) , ζ q ( ζ ) , ζ 2 q ( ζ ) , ζ 3 q ( ζ ) ; ζ = λ ( ζ )
have a solution q ( ζ ) Q 1 . If f A and L ϱ + 1 , ϰ f ( ζ ) ζ Q 1 satisfy the conditions in (37) and
ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ
is univalent in U , then
F λ ( Ω ) λ ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ ,
implies
q ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) ζ ( ζ U ) ,
and q is the best fuzzy subordinant.
Proof. 
We left out Theorem 8 since its proof is comparable to that of Theorem 4. □

5. Sandwich-Type Results

Two sandwich-type outcomes are shown in this section. Combining Theorems 1 and 5 yields the sandwich-type result that follows:
Theorem 9.
Let the functions λ 1 and q 1 be analytic functions in U . Also, let λ 2 be univalent in U , q 2 Q 0 with q 1 ( 0 ) = q 2 ( 0 ) = 1 and ψ Ψ κ [ λ 2 , q 2 ] Ψ κ [ λ 1 , q 1 ] . If f A and L ϱ + 1 , ϰ f ( ζ ) Q 0 H 0 and
ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ S ,
with Conditions (18) and (48) being satisfied, then
F λ 1 ( Ω ) λ 1 ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) , L ϱ , ϰ f ( ζ ) f ( ζ ) , L ϱ 1 , ϰ f ( ζ ) , L ϱ 2 , ϰ f ( ζ ) ; ζ F λ 2 ( Ω ) λ 2 ( ζ ) ,
implies that
λ 1 ( ζ ) F L ϱ + 1 , ϰ f ( ζ ) F λ 2 ( ζ ) .
Similarly, combining Theorems 4 and 8, we obtain
Theorem 10.
Let the functions λ ˜ 1 , q ˜ 1 H ( U ) . Also, let λ ˜ 2 S , q ˜ 2 Q 1 with q ˜ 1 ( 0 ) = q ˜ 2 ( 0 ) = 1 and ψ Ψ ˜ κ [ λ ˜ 2 , q ˜ 2 ] Ψ ˜ κ [ λ ˜ 1 , q ˜ 1 ] . If f A and L ϱ , ϰ f ( ζ ) Q 1 H 1 and
ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ S ,
with conditions (18) and (48) being satisfied, then
F λ ˜ 1 ( Ω ) λ ˜ 1 ( ζ ) F ψ ( C 4 × U ) ψ L ϱ + 1 , ϰ f ( ζ ) ζ , L ϱ , ϰ f ( ζ ) ζ , L ϱ 1 , ϰ f ( ζ ) ζ , L ϱ 2 , ϰ f ( ζ ) ζ ; ζ F λ ˜ 2 ( Ω ) λ ˜ 2 ( ζ ) ,
implies that
λ ˜ 1 ( ζ ) F L ϱ , ϰ f ( ζ ) F λ ˜ 2 ( ζ ) .
Remark 2.
By taking ϰ = 1 in (6), we obtain the operator L ϱ defined as follows:
L ϱ f ( ζ ) = ζ + κ = 2 ( 1 ) κ 1 4 κ 1 ϱ κ 1 ( κ 1 ) ! a κ ζ κ .
which is related to Bessel functions. If this function is used, new results in third-order fuzzy differential subordination can be developed.

6. Conclusions

The theory of differential subordination and superordination advances as a result of the new findings from the inquiry presented in this paper. The basic concepts needed for this study, the Lommel function L ϱ , ϰ f ( ζ ) , and the motivation for the topic’s inquiry are all included in the introduction in Section 1. Section 2 reports the research’s preliminary known results, whereas Section 3 presents the primary findings. The fundamental theorems of the new third-order fuzzy differential subordination theory were established and validated. The findings in Section 4 of this paper contribute to the field of third-order fuzzy differential superordination presenting dual results to those reported in Section 3. Using the previously established new outcome in Section 3 and Section 4, sandwich-type results are stated in Section 5.
The present endeavor provides important knowledge to improve the newly started lines of research because there are currently no published papers on the idea of using the two new dual theories to develop third-order fuzzy sandwich-type outcomes. Also, new results that would enhance our knowledge regarding the topic of third-order fuzzy differential subordination theory could be further developed in view of the statement of Remark 2.

Author Contributions

Conceptualization, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Methodology, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Software, E.E.A. and G.I.O.; Validation, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Formal analysis, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Investigation, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Resources, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Data curation, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Writing—original draft, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Writing—review & editing, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Visualization, E.E.A., G.I.O., R.M.E.-A. and A.M.A.; Supervision, G.I.O.; Project administration, E.E.A.; Funding acquisition, G.I.O. All authors have read and agreed to the published version of the manuscript.

Funding

The publication of this paper was funded by the University of Oradea, Romania.

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 conflicts of interest.

References

  1. Zadeh, L.A. Fuzzy Sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Oros, G.I.; Oros, G. Fuzzy differential subordination. Acta Univ. Apulensis 2012, 3, 55–64. [Google Scholar]
  3. Miller, S.S.; Mocanu, P.T. Differential Subordinations: Theory and Applications; Marcel Dekker Inc.: New York, NY, USA, 2000. [Google Scholar]
  4. Shanmugam, T.N.; Sivasubramanian, S.; Owa, S. On sandwich results for some subclasses of analytic functions involving certain linear operator. Integral Transforms Spec. Funct. 2009, 21, 1–11. [Google Scholar] [CrossRef]
  5. Soren, M.M.; Cotîrlă, L.I. Fuzzy differential subordination and superordination results for the Mittag-Leffler type Pascal distribution. AIMS Math. 2024, 9, 21053–21078. [Google Scholar] [CrossRef]
  6. Kanwal, B.; Sarfaraz, K.; Naz, M.; Saliu, A. Fuzzy differential subordination associated with generalized Mittag-Leffler type Poisson distribution. Arab J. Basic Appl. Sci. 2024, 31, 206–212. [Google Scholar] [CrossRef]
  7. El-Emam, F.Z. Fuzzy Differential Subordinations for Univalent Functions Involving Rafid-Operator. J. Eg. Math. Soc. 2024, 32, 1–10. [Google Scholar]
  8. Noor, K.I.; Noor, M.A. Fuzzy differential subordination involving generalized Noor-Ruscheweyh operator. Facta Univ. Ser. Math. Inf. 2024, 39, 375–389. [Google Scholar] [CrossRef]
  9. Ali, E.E.; Oros, G.I.; El-Ashwah, R.M.; Albalahi, A.M. Applications of fuzzy differential subordination theory on analytic p-valent functions connected with q-calculus operator. AIMS Math. 2024, 9, 21239–21254. [Google Scholar] [CrossRef]
  10. Shah, S.A.; Ali, E.E.; Cătaș, A.; Albalahi, A.M. On fuzzy differential subordination associated with q-difference operator. AIMS Math. 2023, 8, 6642–6650. [Google Scholar] [CrossRef]
  11. Silviya, I.R.; Muthunagai, K. Differential and fuzzy differential sandwich theorems involving quantum calculus operators. J. Niger. Soc. Phys. Sci. 2024, 6, 1832. [Google Scholar] [CrossRef]
  12. Oros, G.I.; Oros, G.; Güney, Ö. Introduction in third-order fuzzy differential subordination. Hacettepe J. Math. Stat. 2004, 53, 1627–1641. [Google Scholar] [CrossRef]
  13. Antonino, J.A.; Miller, S.S. Third-order differential inequalities and subordinations in the complex plane. Complex Var. Elliptic Equ. 2011, 56, 439–454. [Google Scholar] [CrossRef]
  14. Oros, G.I.; Dzitac, S.; Bardac-Vlada, D.A. Introducing the Third-Order Fuzzy Superordination Concept and Related Results. Mathematics 2024, 12, 3095. [Google Scholar] [CrossRef]
  15. Cho, N.E.; Woo, S.Y.; Owa, S. Uniform convexity properties for hypergeometric functions. Fract. Calc. Appl. Anal. 2002, 5, 303–313. [Google Scholar]
  16. Merkes, E.P.; Scott, W.P. Starlike hypergeometric functions. Proc. Amer. Math. Soc. 1961, 12, 885–888. [Google Scholar] [CrossRef]
  17. Owa, S.; Srivastava, H.M. Univalent and starlike generalized hypergeometric functions. Canadian J. Math. 1987, 39, 1057–1077. [Google Scholar] [CrossRef]
  18. Silverman, H. Starlike and convexity properties for hypergeometric functions. J. Math. Anal. Appl. 1993, 172, 574–581. [Google Scholar] [CrossRef]
  19. Baricz, Á. Geometric properties of generalized Bessel functions of complex order. Mathematica 2006, 48, 13–18. [Google Scholar]
  20. Baricz, Á. Geometric properties of generalized Bessel functions. Publ. Math. Debrecen 2008, 73, 155–178. [Google Scholar] [CrossRef]
  21. Baricz, Á. Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010; Volume 1994. [Google Scholar]
  22. Mondal, S.R.; Swaminathan, A. Geometric properties of generalized Bessel functions. Bull. Malaysian Math. Sci. Soc. 2012, 35, 179–194. [Google Scholar]
  23. Baricz, Á.; Koumandos, S. Turn type inequalities for some Lommel functions of the first kind. Proc. Edinb. Math. Soc. 2016, 56, 569–579. [Google Scholar] [CrossRef]
  24. Koumandos, S.; Lamprecht, M. The zeros of certain Lommel functions. Proc. Amer. Math. Soc. 2012, 140, 3091–3100. [Google Scholar] [CrossRef]
  25. Çağlar, M.; Deniz, E. Partial sums of the normalized Lommel functions. Math. Ineq. Appl. 2015, 18, 1189–1199. [Google Scholar] [CrossRef]
  26. Oros, G.I.; Oros, G. The notion of subordination in fuzzy sets theory. Gen. Math. 2011, 19, 97–103. [Google Scholar]
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.; Oros, G.I.; El-Ashwah, R.M.; Albalahi, A.M. Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function. Mathematics 2025, 13, 1917. https://doi.org/10.3390/math13121917

AMA Style

Ali EE, Oros GI, El-Ashwah RM, Albalahi AM. Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function. Mathematics. 2025; 13(12):1917. https://doi.org/10.3390/math13121917

Chicago/Turabian Style

Ali, Ekram E., Georgia Irina Oros, Rabha M. El-Ashwah, and Abeer M. Albalahi. 2025. "Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function" Mathematics 13, no. 12: 1917. https://doi.org/10.3390/math13121917

APA Style

Ali, E. E., Oros, G. I., El-Ashwah, R. M., & Albalahi, A. M. (2025). Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function. Mathematics, 13(12), 1917. https://doi.org/10.3390/math13121917

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