Next Article in Journal
Artificial Neural Network-Based Data-Driven Parameter Estimation Approach: Applications in PMDC Motors
Previous Article in Journal
A Stacking Ensemble Based on Lexicon and Machine Learning Methods for the Sentiment Analysis of Tweets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Analysis of Neutral Implicit Stochastic Hilfer Fractional Differential Equation Involving Lévy Noise with Retarded and Advanced Arguments

1
Department of Mathematics, University of Peshawar, Peshawar 25120, Pakistan
2
Department of Statistics and Operations Research, College of Sciences, King Saud University, Riyadh 11451, Saudi Arabia
3
Department of Computing, Mathematics and Electronics, “1 Decembrie 1918” University of Alba Iulia, 510009 Alba Iulia, Romania
4
Faculty of Mathematics and Computer Science, Transilvania University of Brasov, Iuliu Maniu Street 50, 500091 Brasov, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(21), 3406; https://doi.org/10.3390/math12213406
Submission received: 29 September 2024 / Revised: 25 October 2024 / Accepted: 28 October 2024 / Published: 31 October 2024
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

:
This paper investigates the qualitative properties of the solutions for neutral implicit stochastic Hilfer fractional differential equations involving Lévy noise with retarded and advanced arguments. The existence property of the solution of the aforementioned equation is demonstrated by the Mónch condition, and the uniqueness is demonstrated by the remarkable fixed point of Banach. In addition, we examine the Hyers–Ulam ( HU ) stability of the presented mathematical models. To substantiate our theoretical conclusions, a real-world example is included to illustrate their practical application.

1. Introduction

Fractional calculus ( FC ) [1] is an advanced mathematical discipline that generalizes the well-known notions of classical calculus to encompass non-integer, or fractional, orders. Unlike classical calculus, which deals exclusively with integer-order operations, FC offers a more flexible and comprehensive framework for the description of a wide range of phenomena. This extension has proven particularly valuable in modeling complex systems that cannot be adequately captured by standard calculus. The versatility of FC has led to its application across numerous fields of science and engineering [2]. In physics, for instance, it has been employed to describe anomalous diffusion and other non-standard dynamic processes [3]. In biology, FC has been used to model processes such as population dynamics and the spread of diseases [4]. The field has also found relevance in economics, where it aids in the modeling of financial markets and economic systems [5]. Additionally, FC has become increasingly important in signal processing, where it provides powerful tools for the analysis and processing of signals with complex, non-linear characteristics [6,7]. The broad applicability of FC underscores its significance as a versatile and essential tool in both theoretical and applied research.
Stochastic fractional differential equations ( SFDE s ) are widely used to model systems influenced by random fluctuations [8]. These equations find broad application across various disciplines, such as economics, bioengineering, medicine, and biology. SFDE s represent a specific category of differential equations ( DE s ) that model systems influenced by both stochastic and deterministic elements. Usually, the stochastic part is depicted by a Wiener process ( WP ) ; these are continuous-time stochastic processes characterized by their random and unpredictable fluctuations. Kiyoshi Ito, in the 1940s, was the first to propose the use of SFDE s to model particle diffusion in a fluid. Since then, these equations have become essential tools in many scientific and engineering fields because they effectively capture the impact of randomness and noise on system dynamics, an important aspect in numerous physical problems.
Fractional differential equations ( FDE s ) have garnered significant attention in both natural sciences and engineering due to their capability to model memory effects and hereditary properties in various processes and materials. However, many practical systems are subject to disturbances, leading to deviations from stable behavior. Therefore, it becomes critical to study SFDE s with impulses. Substantial advancements have been made in understanding the theory of Caputo fractional functional SFDE s , especially regarding their stability under the Hyers–Ulam ( HU ) conditions [9,10,11,12]. For instance, in [13], the authors utilized Sadovetsky’s FP theorem to examine neutral fractional stochastic integral differential equations that incorporate infinite delays. Despite progress, the stability analysis of such systems remains a vital area requiring further exploration [14,15,16,17,18,19,20,21]. Given the relatively limited research available on the analysis of SFDE s [22,23,24,25,26], there is a pressing need for more studies in this domain.
In [27], Shahid et al. explored the qualitative properties of
D a + p Υ ( ϑ ) γ 1 ( ϑ , Υ ϑ ) = μ γ 2 ( ϑ , Υ ϑ ) + γ 3 ( ϑ , Υ ϑ ) d ω ( ϑ ) d ϑ , ϑ [ 1 , b ] , Υ ( 1 ) = Υ ( b ) = 0 , Υ ( ϑ ) = ϕ ( ϑ ) , ϑ [ 1 m , 1 ] Υ ( ϑ ) = φ ( ϑ ) , ϑ [ n , b + n ] ,
where D a + p denotes the RL fractional derivative (FD). The functions γ 1 , γ 2 , γ 3 : J × C ( [ m , n ] × R ) R are appropriately chosen functions. The term ω ( ϑ ) , where ϑ J , represents a Wiener process (often referred to as a stochastic process). Additionally, Υ ϑ : C ( [ m , n ] , R ) R is defined by Υ ϑ ( θ ) = Υ ( ϑ + θ ) for θ 0 .
We are motivated by [27] and construct a new model for the analysis of neutral implicit stochastic Hilfer FDE s involving Lévy noise with retarded and advanced arguments:
D 0 + η , β [ ζ ( ξ ) Ψ ( ξ , ζ ξ ) ] = μ Φ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) + Υ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) d w ( ξ ) d ξ + z λ ( ξ , ζ ξ , z ) d N ˜ ( ξ , z ) d ξ ξ ( 0 , ϱ ] = J , I 0 + 1 v [ ζ ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β , ζ ( ξ ) = ϕ ( ξ ) , ξ [ m , 0 ] , ζ ( ξ ) = φ ( ξ ) , ξ [ ϱ , ϱ + n ] ,
where D 0 + η , β denotes the Hilfer fractional derivative ( FD ) of order 0 < η < 1 , and type 0 < β 1 and Ψ , Φ , Υ , λ : J × C ( [ m , n ] × ) represent appropriate functions. Additionally, w ( ξ ) , ξ J , is a WP , and ζ ξ : C ( [ m , n ] , ) is defined as ζ ξ ( θ ) = ζ ( ξ + θ ) for θ 0 .
The specific outcomes of this work can be stated as follows.
  • This study addresses the qualitative behavior of solutions to neutral implicit stochastic Hilfer fractional differential equations with retarded and advanced arguments influenced by Levy noise, an area with limited existing research.
  • The existence and uniqueness of the solutions are established using the Monch condition and Banach’s fixed-point theorem, providing robust theoretical evidence of the model’s solvability.
  • This paper examines the Hyers–Ulam stability for the proposed model and includes a real-world example to illustrate the practical application of its theoretical results, contributing to the robustness and applicability of the presented mathematical framework.

2. Supplementary Results

Here, we give some basic results so that the paper is self-contained. Let ( Ω , F , P ) be the usual complete probability space. The notation ( N u ) u 0 denotes a Q - WP , a stochastic process established within this probability space. The operator Q , denoting covariance, is presumed to fulfill the condition of having a finite trace, specifically Tr ( Q ) < . We will utilize two separable Hilbert spaces, K and H . The set of all bounded linear operators from K to H is represented as L ( K , H ) .
Let { μ i } i = 1 represent a complete orthonormal system in the Hilbert space H . This orthonormal set is linked to a sequence { ς i } i = 1 (bounded), { ς i } i = 1 0 satisfying the relation Q μ i = ς i μ i for every i. Additionally, there exists a collection of independent WP { γ i } i = 1 that meet specified criteria. The stochastic process ω ( υ ) can be formulated as follows:
( ω ( υ ) , μ ) H = i = 0 ς i μ i , μ H γ i ( υ ) ,
where i ranges from 1 to m.
Subsequently, assume the set of continuous functions
C ( J , H ) = ζ : J H such that ζ is continuous
such that
ζ C = sup u J i E | u 2 η ζ | , i = 1 , 2 , , m = : 1 , m ¯ ,
where E ( . ) represents the mathematical expectation. Let B v denote the abstract phase space. We consider a continuous function ξ : ( , 0 ] ( 0 , + ) that satisfies the condition l = 0 ξ ( u ) d u < + . The Hilbert space ( B v , · B v ) , induced by v, is characterized as follows:
B v = { ρ : ( , 0 ) H , arranged in such a manner that , for s > 0 , ρ ( . ) is measurable ( bounded ) over [ s , 0 ] structured in such a way that 0 ξ ( s ) sup s ϑ 0 ( E | ρ ( ϑ ) | 2 ) 1 2 d ϑ < + }
with
ρ B v = 0 ξ ( s ) sup s ϑ 0 ( E | ρ ( ϑ ) | 2 ) 1 2 d ϑ .
Definition 1 
([28]). The generalized Hilfer FD of order 0 < γ < 1 and type 0 υ 1 with a lower limit is denoted as
D 0 + γ , υ G ( s ) = I 0 + υ ( 1 γ ) d d s I 0 + ( 1 γ ) G ( s ) .
Definition 2 
([29]). Consider a stochastic process { X ( ξ ) ξ 0 } defined on a complete probability space ( Ω , F , P ) . The process X is called a Lévy process if the following conditions hold:
1.
X ( 0 ) = 0 ;
2.
The process X possesses increments that are independent and identically distributed over time;
3.
X is stochastically continuous, meaning that, for every a > 0 and s > 0 ,
lim ξ s P ( | X ( ξ ) X ( s ) | > a ) = 0 .
Lemma 1 
([30]). If C , C N (Banach space), C is closed, then P : C C (a contraction) has an FP (unique).
Lemma 2 
([31]). If ξ N v , then ξ u N v , where it fulfills the following condition:
l ( E ξ 2 ) 1 2 ξ e N v φ N ξ + l sup s [ 0 , e ] ( E ϱ ( s ) 2 ) 1 2 ,
where l = 0 f ( e ) d e < + , ξ 0 = ϕ N v .
The Hausdorff measure of non-compactness, represented as ϖ ( · ) , is defined for any bounded N , with N being a Banach space ( BP ).
ϖ ( ) = inf { ε > 0 ; has finite ε net in N } .
Lemma 3 
([32]). If ℸ and ℶ are bounded subsets in N , then we have the following.
1.
Nonsingular: For any x H and any nonempty subset H , we have ϖ ( { x } ) = ϖ ( ) .
2.
Regular: H is precompact ⇔ ϖ ( ) = 0 .
3.
Monotonicity: If, for bounded set ℸ and ℶ in N , , then ϖ ( ) ϖ ( ) .
4.
Union Bound: ϖ ( ) max { ϖ ( ) , ϖ ( ) } .
5.
Scaling: For any scalar μ, ϖ ( μ ) | μ | ϖ ( ) .
6.
Sum Property: For the sum + = { u + v ; u , v } , it holds that ϖ ( + ) ϖ ( ) + ϖ ( ) .
7.
Continuity: If W C ( J , N ) is bounded and equicontinuous (Eqis), the function ξ ϖ ( N ( u ) ) is continuous on J .
ϖ ( N ) max u J ϖ ( N ( u ) ) , ϖ 0 u N ( s ) d s 0 u ϖ ( N ( s ) ) d s , u J , with 0 u N ( s ) d s = 0 u v ( s ) d s , v N , u J ;
8.
For each n Z , ς i is a Bochner integrable function such that it maps J N , and if ς i m ˜ ( u ) for almost every u J for all n 1 , then the function χ ( u ) = ϖ ( { ς i } n = 1 ) is an element of L ( J , R + ) .
ϖ 0 u ς i ( s ) d s , n 1 = 2 0 u χ ( s ) d s ;
9.
If N is bounded, then, for any ε > 0 , ∃ { u n } n = 1 N such that ϖ ( { u n } ) < ε .
ϖ ( N ) 2 ϖ ( { ς i } n = 1 ) + ε .
In exploring our primary findings, the aforementioned outcomes can be applied.
Lemma 4 
([33]). Let M N (closed and convex), containing the point 0. If F : M N is continuous, then the set M N is defined such that M co ¯ ( { 0 } F ( M ) ) . This condition satisfies M o ¨ nch’s criterion, which implies that M ¯ is compact. Consequently, this leads to the conclusion that there exists an FP of F within N .
Lemma 5 
([34]). If W C ( [ 0 , ϱ ] , L 2 0 ( V , X ) ) and ω represents a standard WP , then
ϖ 0 t W ( ς ) d ω ( ς ) T . T r a ( Q ) ϖ W ( ς ) ,
with
0 t W ( ς ) d ω ( ς ) = 0 t v ( ς ) d ω ( ς ) , for all v W , t [ 0 , ξ ] .
For convenience, Equation (1) can be written as
D 0 + η , β ζ ( ξ ) Ψ ( ξ , ζ ξ ) = σ ( ξ ) , ξ [ 0 , ϱ ] , I 0 + 1 v [ ζ ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β , ζ ( ξ ) = ϕ ( ξ ) , ξ [ m , 0 ] ζ ( ξ ) = φ ( ξ ) ξ [ ϱ , ϱ + n ] .
Lemma 6. 
Let 0 < η < 1 and 0 < β 1 , and assume that σ : J H is a continuous function. Then, any function ζ C ( J , H ) that meets the following criteria
D 0 + η , β ζ ( ξ ) Ψ ( ξ , ζ ξ ) = σ ( ξ ) , ξ ( 0 , ϱ ] , I 0 + 1 v [ ζ ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β
possesses the form
ζ ( ξ ) = x 0 Γ ( v ) ξ v 1 + Ψ ( ξ , ζ ξ ) + μ Γ ( η ) 0 ξ ( ξ s ) η 1 σ ( s ) d s .

3. Existence

Here, we formulate a series of assumptions.
( U 0 ) :
According to the following criteria, Φ functions as follows.
(i)
ξ J is the measurable, continuous function Φ ( ξ , m , n ) .
(ii)
L Φ , M Φ , and N Φ > 0 are constants that exist such that
E Φ ( ξ , m , n ) 2 L Φ ( ξ 2 ) + M Φ ( m 2 ) + N Φ ( n ) ( ξ , m , n ) J × N z .
(iii)
ρ 1 ( 0 , α ) and σ L 1 ρ 1 ( J , ) in such a way that, for bounded sets Φ 1 and Φ 2 in N v , the following holds:
β ( Φ ( ξ , Φ 1 , Φ 2 ) ) σ ( ξ ) sup β ( ( Φ 1 , Φ 2 ) ( θ ) ) .
(iv)
Given the continuity of the function Φ , there is a constant L Φ such that
E ( Φ ( ξ , m , n ) Φ ( ξ , u , v ) ) 2 L Φ m u 2 + M Φ n v 2 .
( U 1 ) :
Ψ meets the following criteria.
(i)
Ψ ( ξ , ζ ξ ) is continuous, and L Ψ > 0 exists in such a way that
E Ψ ( ξ , ζ ξ ) 2 L Ψ ( 1 + ζ 2 ) .
(ii)
L Ψ (a constant) exists in such a way that
E ( Ψ ( ξ , u ¯ ) Ψ ( ξ , v ¯ ) ) 2 L Ψ u ¯ v ¯ 2 .
(iii)
ρ 2 ( 0 , α ) and Ψ L 1 ρ 2 ( J , ) , and, for Ψ 2 (bounded) contained in N v , the following holds:
β ( Ψ ( ξ , Ψ 2 ) ) Ψ ( ξ ) sup β ( Ψ 2 ( θ ) ) , where G = sup ξ J Ψ ( t ) .
( U 2 ) :
The function Υ adheres to the following.
(i)
A constant ρ 3 ( 0 , α ) exists, along with l 2 L 1 ρ 3 ( j , ) and Ω 2 : (integrable), fulfilling
E Υ ( ξ , m , n ) 2 l 1 ( ξ ) Ω 1 ( m ) + l 2 ( n ) ,
where Ω 1 satisfies the requirement that lim ξ inf Ω 1 ( ξ ) ξ = 0 .
(ii)
L Υ (a constant) and a positive constant M Υ > 0 in such a way that
E Υ ( ξ , m , n ) Υ ( ξ , u , v ) 2 L Υ E m u 2 + M Υ E n v 2
(iii)
ρ 4 ( 0 , α ) and σ 1 L 1 ρ 4 ( J , ) , in such a way that, for bounded sets Υ 3 and Υ 4 within N v , the following holds:
β ( Υ ( ξ , Υ 3 , Υ 4 ) ) σ 1 ( ξ ) sup β ( ( Υ 3 , Υ 4 ) ( θ ) ) .
( U 3 ) :
The function λ adheres to the following.
(i)
λ ( ξ , m ) is measurable and continuous for almost all ξ J .
(ii)
A constant L λ > 0 exists such that the following condition is satisfied:
E λ ( ξ , m ) 2 L λ ( 1 + m 2 ) ( ξ , m ) J × N z .
(iii)
σ L 1 ρ 1 ( J , ) and ρ 1 ( 0 , α ) are known to exist, in such a way that, for any λ 1 N v (bounded set),
β ( λ ( ξ , λ 1 ) ) σ ( ξ ) sup β ( λ 1 ( θ ) ) .
(iv)
Given the continuous nature of the function λ , there is a constant L λ satisfying
E ( λ ( ξ , m ) λ ( ξ , u ) ) 2 = L λ m u 2 .
( U 4 ) :
L Ψ + ρ 2 η 1 Γ ( η ) 2 ( 2 η 1 ) [ μ 2 M Φ + L λ ] l 2 < 1 ,
Δ = G + μ ρ η Γ ( η + 1 ) σ 1 + T r ( Q ) ρ η + 1 2 Γ ( η + 1 ) σ 2 + ρ η Γ ( η + 1 ) σ 3 < 1 ,
and
Δ 1 = 3 { L Ψ + 3 ρ 2 η Γ ( η ) ( 2 η 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ + 3 μ 2 L Ψ + T r ( Q ) M r ) L Ψ + μ 2 L Φ + L λ + T r ( Q ) 1 μ 2 L Ψ T r ( Q ) L r ] } < 1 .
Lemma 7. 
Let X be a closed convex subset of N such that 0 X . Consider a continuous mapping 𝘍 : X N that satisfies M o ¨ nch’s condition: for any countable set M X , if M co ¯ ( 0 𝘍 ( M ) ) , M ¯ is compact. Under these circumstances, an FP for 𝘍 must exist within X .
Theorem 1. 
Let ( U 0 ) ( U 3 ) be fulfilled; then, in [ m , ϱ + n ] , (2) has at least one solution.
Proof. 
First, we need to express problem (2) as a fixed-point problem and introduce an appropriate operator. Define H as an operator that maps C ( [ m , ϱ + n ] , ) to itself, specified by
H ζ ( ξ ) = ϕ ( ξ ) , if ξ [ m , 0 ] , x 0 Γ ( v ) ξ v 1 + Ψ ( ξ , ζ t ) + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 σ ( s ) d s , if ξ [ 0 , ϱ ] , φ ( ξ ) , if ξ [ ϱ , ϱ + n ] .
Let x : [ m , ϱ + n ] satisfy
x ( ξ ) = ϕ ( ξ ) , if ξ [ m , 0 ] , 0 , if ξ [ 0 , ϱ ] , φ ( ξ ) , if ξ [ ϱ , ϱ + n ] .
For every z C ( [ 0 , ϱ ] , ) , we define the function u as
u ( ξ ) = 0 , if ξ [ 1 r , 1 ] z ( ξ ) , if ξ [ 0 , ϱ ] 0 , if ξ [ ϱ , ϱ + n ] .
Let us set ζ ( ξ ) = z ( ξ ) + x ( ξ ) such that ζ ξ = z ξ + x ξ for every ξ [ 0 , ϱ ] , where
ζ ( ξ ) = x 0 Γ ( v ) ρ v 1 + Ψ ( ξ , ζ ξ ) + μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , ζ s , D 0 + η , β ζ s ) d s + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 Υ ( s , ζ s , D 0 + η , β ζ s ) d w ( s ) + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( z λ ( ξ , ζ x i , z ) N ˜ ( d ξ , d z ) ) .
z ( ξ ) = x 0 Γ ( v ) ρ v 1 + Ψ ( ξ , z t + x t ) + μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , z s + x s , D 0 + η , β ζ s ) d s + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 Υ ( s , z s + x s , D 0 + η , β ζ s ) d w ( s ) + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( z λ ( ξ , ζ ξ , z ) N ˜ ( d ξ , d z ) ) .
Now, let N = { z C ( [ m , ϱ + n ] , ) } , : N N be such that
( z ) ( ξ ) = 0 , i f ξ [ m , 0 ) , x 0 Γ ( v ) ρ v 1 + Ψ ( ξ , z ξ + x ξ ) + μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , z s + x s , D 0 + η , β ζ s ) d s + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 Υ ( s , z s + x s , D 0 + η , β ζ s ) d w ( s ) + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( z λ ( ξ , z ξ + x ξ , z ) N ˜ ( d ξ , d z ) ) . 0 , i f ξ [ ϱ , ϱ + n ] .
Let N v = { z C ( [ m , ϱ + n ] , ) : z [ m , ϱ + n ] v } .
For z N and s J , the following holds:
z s + x s z s [ m , n ] + x s [ m , n ] l sup [ 0 , ϱ ] E ( | s 2 η z ( s ) | 2 | 1 2 ) + x s [ 0 , ϱ ] = l v + x s [ 0 , ϱ ] = v
Step 1. We are assured that we can find v that satisfies ( N v ) N v . Assume, as a contradiction, that no such v exists. Then, for every positive integer v, there is a function z v N v such that z v 2 > v 2 . However, according to the assumptions, it follows that
E | ( z v ) | 2 E | | x 0 Γ ( v ) ρ v 1 | | 2 + E | | Ψ ( ξ , z ξ + x ξ ) | | 2 + E | | μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , z s + x s , D 0 + η , β z s ) d s | | 2 + E | | 1 Γ ( η ) 0 ξ ( ξ s ) η 1 Υ ( s , z s + x s , D 0 + η , β z s ) d w ( s ) | | 2 + E | | 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( z λ ( t , z ξ + x ξ , z ) N ˜ ( d t , d z ) ) | | 2 .
Applying the Cauchy–Schwarz inequality along with assumptions U 0 to U 3 , we obtain the following result.
E | | x 0 Γ ( v ) ρ v 1 | | 2 + L Ψ + L Ψ ( v ´ ) 2 + ρ 2 η Γ ( η 2 ) ( 2 η 1 ) [ μ 2 L Φ ( s ) + L Υ ( s ) + L λ + M Φ ( v ´ ) 2 + M Υ l Υ ( ξ ) Ω 1 ( v ´ ) 2 + L λ ( v ´ ) 2 + μ 2 N Φ + N Υ × | | D η , β ζ s | | 2 ] E | | x 0 Γ ( v ) ρ v 1 | | 2 + L Ψ + L Ψ ( v ´ ) 2 + ρ 2 η Γ ( η 2 ) ( 2 η 1 ) [ μ 2 L Φ ( s ) + L Υ ( s ) + L λ + M Φ ( v ´ ) 2 + M Υ l Υ ( ξ ) Ω 1 ( v ´ ) 2 + L λ ( v ´ ) 2 + μ 2 N Φ + N Υ × L Ψ + μ 2 L Φ ( ξ ) + L Υ ( s ) + L λ ( s ) + ( L λ + L Ψ ) ( v ´ ) 2 1 N Φ N Υ ] .
Therefore, we obtain
v 2 < | | z v | | 2 E | | x 0 Γ ( v ) ρ v 1 | | 2 + L Ψ + L Ψ ( v ´ ) 2 + ρ 2 η Γ ( η 2 ) ( 2 η 1 ) [ μ 2 L Φ ( s ) + L Υ ( s ) + L λ + M Φ ( v ´ ) 2 + M Υ l Υ ( ξ ) Ω 1 ( v ´ ) 2 + L λ ( v ´ ) 2 + μ 2 N Φ + N Υ × L Ψ + μ 2 L Φ ( ξ ) + L Υ ( s ) + L λ ( s ) + ( L λ + L Ψ ) ( v ´ ) 2 1 N Φ N Υ ] .
With v , we have
lim v v v = lim v l v + x s v = l and lim ξ inf Ω 1 ( ξ ) ξ = 0 ,
which implies
L Ψ + ρ 2 η 1 Γ ( η ) 2 ( 2 η 1 ) [ μ 2 M Φ + L λ ] l 2 > 1 .
This clearly contradicts assumption ( U 4 ) . Therefore, for a certain value of v, we have ( N v ) N v .
Step 2. If { z n } is a sequence in N v that converges to z in N v , then
E ( z n ) ( ξ ) ( z ) ( ξ ) 2 3 E ( Ψ ( ξ , z n + x ξ ) Ψ ( ξ , z ξ + x ξ ) ) 2 + 3 μ E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( Φ ( s , z n s + x s , D η , β z n ) Φ ( s , z s + x s ) , D η , β z ) d s 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ Υ ( s , z n s + x s , D η , β z n ) Υ ( s , z s + x s , D η , β z ) ] d w ( s ) 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ z λ ( s , z n s + x s ) λ ( s , z s + x s ) ] N ˜ ( d t , d z ) 2 3 L Ψ | | z n z | | 2 + 3 ρ 2 η Γ ( η ) ( 2 α 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ | | z n z | | 2 + 3 μ 2 L Ψ + T r ( Q ) M Υ | | D η , β z n z | | 2 ] 3 L Ψ | | z n z | | 2 + 3 ρ 2 ρ Γ ( η ) ( 2 α 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ + 3 L Ψ + T r ( Q ) M Υ L Ψ + μ 2 L Φ + L λ + T r ( Q ) M Υ 1 μ 2 L Φ T r ( Q ) M Υ ] | | z n z | | 2 0 for n .
Consequently,
z n z 0 for n ,
Step 3. For any ξ 1 , ξ 2 [ 0 , ϱ ] with ξ 1 < ξ 2 , it follows that
E ξ 2 η ( z ) ( ξ 2 ) ( z ) ( ξ 1 ) 2 K 1 2 ( ξ 1 ) E | ξ 2 η z ( ξ 1 ) z ( ξ 2 ) | 2 K 1 2 ( ξ 1 ) E ξ 1 2 η z ( ξ 1 ) ξ 2 2 η z ( ξ 2 ) 2 + K 1 2 ( ξ 1 ) E ξ 2 2 η z ( ξ 2 ) ξ 2 2 η z ( ξ 2 ) 2 K 1 2 ( ξ 1 ) E ξ 1 2 η z ( ξ 1 ) ξ 2 2 η z ( ξ 2 ) 2 + K 1 2 ( ξ 1 ) E z ( ξ 2 ) 2 ξ 2 2 η ξ 1 2 η 2 .
As ξ 2 ξ 1 , the right-hand side of (7) approaches zero, i.e.,
E | ξ 2 η ( z ) ( ξ 2 ) ( z ) ( ξ 1 ) | 2 0 .
This indicates that is Eqis.
Step 4. Let = 1 + 2 + 3 + 4 , with
1 ( z ) ( t ) = Ψ ( ξ , z ξ + x ξ ) , 2 ( z ) ( t ) = μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , z s + x s , D 0 + η , β ζ s ) d s 3 ( z ) ( t ) = 1 Γ ( η ) 0 ξ ( ξ s ) α 1 Υ ( s , z s + x s , D 0 + η , β ζ s ) d w ( s ) 4 ( z ) ( t ) = 1 Γ ( η ) 0 ξ ( ξ s ) α 1 ( z λ ( t , z ξ + x ξ , z ) N ˜ ( d t , d z ) ) .
Assume that W N v is a countable set and that W co ¯ ( 0 ( W ) ) . Our objective is to demonstrate that β ( W ) = 0 . Let W = { z n } n = 1 be a sequence drawn from W . Since ( W ) is Eqis on C [ m , ϱ + n ] , it follows that W co ¯ ( 0 ( W ) ) is also Eqis on C [ m , ϱ + n ] .
By utilizing Lemma 1, Lemma 3, and ( U 0 ) ( U 3 ) , we can conclude that
Λ ( { 1 z n ( ξ ) } n = 1 ) Λ ( Ψ ( ξ , z n ξ + x ξ ) ) G sup Λ ( { z n ξ ( ) } n = 1 ) .
Λ ( { 2 z n ( ξ ) } n = 1 ) μ Γ ( η ) 0 ξ ( ξ s ) η 1 σ 1 ( s ) sup Λ ( { z n s ( ) } n = 1 ) d s μ ξ η Γ ( η + 1 ) σ 1 sup Λ ( { z n s ( ) } n = 1 )
Λ ( { 3 z n ( ξ ) } n = 1 ) 2 T r ( Q ) . T Γ η 0 ξ ( ξ s ) η 1 σ 2 ( s ) sup Λ ( { z n s ( ) } n = 1 ) d s 2 T r ( Q ) ξ η + 1 2 Γ η + 1 σ 2 sup Λ ( { z n s ( ) } n = 1 )
Λ ( { 4 z n ( ξ ) } n = 1 ) 1 Γ ( η ) 0 ξ ( ξ s ) η 1 σ 3 ( s ) sup Λ ( { z n s ( ) } n = 1 ) d s ξ η Γ ( η + 1 ) σ 3 sup Λ ( { z n s ( ) } n = 1 )
Finally, we obtain
Λ ( { z n ( ) } n = 1 ) Λ ( { 1 z n ( t ) } n = 1 ) + Λ ( { 2 z n ( t ) } n = 1 ) + Λ ( { 3 z n ( t ) } n = 1 ) + Λ ( { 4 z n ( t ) } n = 1 ) G sup Λ ( { z n ( ) } n = 1 ) + μ ξ η Γ ( α + 1 ) σ 1 sup Λ ( { z n s ( ) } n = 1 ) + T r ( Q ) ξ η + 1 2 Γ ( η + 1 ) σ 2 sup Λ ( { z n s ( ) } n = 1 ) + ξ η Γ ( η + 1 ) σ 3 sup Λ ( { z n s ( ) } n = 1 ) G + μ ξ η Γ ( η + 1 ) σ 1 + T r ( Q ) ξ η + 1 2 Γ η + 1 σ 2 + ξ η Γ ( η + 1 ) σ 3 Λ ( { z n ( ) } n = 1 ) = Δ Λ ( { z n ( ) } n = 1 ) ,
where Δ is defined in ( U 4 ) . Given that both W and ( W ) exhibit equicontinuity on C ( [ m , ϱ + n ] ) , applying Lemma 3 allows us to conclude that Λ ( W ) Δ Λ ( W ) .
Therefore, based on Mónch’s condition, we can conclude that
Λ ( W ) Λ ( c o ¯ ( { 0 } W ) ) = Λ ( W ) Δ Λ ( W ) .
Since Δ < 1 , it follows that Λ ( W ) = 0 . Consequently, W is compact. Therefore, possesses an FP . □
Theorem 2. 
Assume that the conditions ( U 0 ) ( U 3 ) are satisfied, along with
Δ 1 = 3 { L Ψ + 3 ρ 2 η Γ ( η ) ( 2 η 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ + 3 μ 2 L Φ + T r ( Q ) M Υ L Ψ + μ 2 L Φ + L λ + T r ( Q ) L Υ 1 μ 2 L Φ T r ( Q ) M Υ ] } < 1 .
Then, ℶ possesses an FP (unique) in C ( [ m , ϱ + n ] , ) .
Proof. 
Define : N v N v as follows:
( z ) ( ξ ) = 0 , i f ξ [ m , 0 ) , x 0 Γ ( v ) ρ v 1 + Ψ ( ξ , z ξ + x ξ ) + μ Γ ( η ) 0 ξ ( ξ s ) η 1 Φ ( s , z s + x s , D 0 + η , β ζ s ) d s + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 Υ ( s , z s + x s , D 0 + η , β ζ s ) d w ( s ) + 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( z λ ( t , z ξ + x ξ , z ) N ˜ ( d t , d z ) ) . 0 , i f [ ϱ , ϱ + n ] .
Then,
E ( z ) ( ξ ) ( y ) ( ξ ) 2 3 E ( Ψ ( ξ , z ξ + x ξ ) Ψ ( ξ , ζ ξ + x ξ ) ) 2 + 3 μ 2 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( Φ ( s , z s + x s , D η , β z ) Φ ( s , ζ s + x s ) , D η , β y ) d s 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ Υ ( s , z s + x s , D η , β z ) Υ ( s , ζ s + x s , D η , β y ) ] d w ( s ) 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ z λ ( s , z s + x s ) λ ( s , ζ s + x s ) ] N ˜ ( d t , d z ) 2 3 L Ψ | | z y | | 2 + 3 ρ 2 η Γ ( η ) ( 2 α 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ | | z y | | 2 + 3 μ 2 L Ψ + T r ( Q ) M Υ | | D η , β z D η , β y | | 2 ] 3 { L Ψ + 3 ρ 2 η Γ ( η ) ( 2 η 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ + 3 μ 2 L Ψ + T r ( Q ) M Υ L Ψ + μ 2 L Φ + L λ + T r ( Q ) L Υ 1 μ 2 L Ψ T r ( Q ) M Υ ] } | | z y | | 2 .
Clearly, Δ 1 < 1 . Consequently, is a contraction and thus has an FP (unique) over C ( [ m , ϱ + n ] , ) . □

4. HU Stability

Consider the inequality given by
E | | D 0 + η , β [ ζ ( ξ ) Ψ ( ξ , ζ ξ ) ] μ Φ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) Υ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) d w ( ξ ) d ξ z λ ( ξ , ζ ξ , z ) d N ˜ ( ξ , z ) d ξ | | 2 < ϵ .
Definition 3. 
The problem (2) is deemed HU -stable if, for a given ϵ > 0 and δ > 0 , there exists a function x ( ξ ) that satisfies (13), where ζ ( ξ ) represents the solution to (1). Consequently, x ( ξ ) will fulfill the following conditions:
E | b 2 η x ( ξ ) ζ ( ξ ) | 2 < δ ϵ .
Theorem 3. 
Assuming that the conditions ( U 0 ) through ( U 4 ) are met, the inequality (1) is HU stable.
Proof. 
Assuming that (13) holds, examine the following inequality that incorporates both retarded and advanced arguments:
D 0 + η , β [ ζ ( ξ ) Ψ ( ξ , ζ ξ ) ] = μ Φ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) + Υ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) d w ( t ) d t + z λ ( t , ζ ξ , z ) d N ˜ ( t , z ) d t , ξ [ 0 , ϱ ] , I 0 + 1 v [ ζ ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β ζ ( ξ ) = ϕ ( ξ ) , ξ [ m , 0 ] ζ ( ξ ) = φ ( ξ ) ξ [ ϱ , ϱ + n ]
Let Φ ( ξ , x ξ , D 0 + η , β x ξ ) satisfying
Φ ( ξ , ζ ξ , D 0 + η , β ζ ξ ) Φ ( t , x ξ , D 0 + η , β ζ ξ ) < ϵ .
Consider the equation
D 0 + η , β [ ζ ( ξ ) Ψ ( ξ , ζ ξ ) ] = μ Φ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) + Υ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) d w ( t ) d t + z λ ( t , ζ ξ , z ) d N ˜ ( t , z ) d t , ξ [ 0 , ϱ ] , I 0 + 1 v [ ζ ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β ζ ( ξ ) = ϕ ( ξ ) , ξ [ m , 0 ] ζ ( ξ ) = φ ( ξ ) ξ [ ϱ , ϱ + n ]
The following expression denotes a fundamental solution x ( ξ ) for the inequality (14):
x ( ξ ) = D 0 + η , β [ ζ ( ξ ) Ψ ( ξ , ζ ξ ) ] = μ Φ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) + Υ ( ξ , ζ ξ , D 0 + η , β ζ ( ξ ) ) d w ( t ) d t + z λ ( t , ζ ξ , z ) d N ˜ ( t , z ) d t , ξ ( 0 , ϱ ] , I 0 + 1 v [ y ( 0 ) Ψ ( ξ , 0 ) ] = x 0 , v = η + β η β , ζ ( ξ ) = ϕ ( ξ ) , ξ [ m , 0 ] , ζ ( ξ ) = φ ( ξ ) ξ [ ϱ , ϱ + n ] .
Now, consider
E ζ ( ξ ) x ( ξ ) 2 3 E ( Ψ ( ξ , ζ ξ , ) Ψ ( ξ , x ξ ) ) 2 + 3 μ E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 ( Φ ( s , ζ ξ , D 0 + η , β ζ ( ξ ) ) Φ ´ ( s , x ξ , D 0 + η , β x ( ξ ) ) d s 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ Υ ( s , ζ ξ , D 0 + η , β ζ ξ ) Υ ( s , x ξ , D 0 + η , β x ξ ) ] d w ( s ) 2 + 3 E 1 Γ ( η ) 0 ξ ( ξ s ) η 1 [ z λ ( s , ζ x i ) λ ( s , x ξ ) ] N ˜ ( d t , d z ) 2 3 L Ψ | | ζ ( ξ ) x ( ξ ) | | 2 + 3 M 2 μ 2 ϵ + 3 M 2 [ ( T r ( Q ) L Υ + M Υ L Ψ + μ 2 L Φ + L λ + T r ( Q ) L Υ 1 μ 2 L Φ T r ( Q ) M Υ + L λ ] | | ζ ( ξ ) x ( ξ ) | | 2 w h e r e M 2 = ϱ 2 η Γ ( η ) ( 2 η 1 ) | | ζ ( ξ ) x ( ξ ) | | 2 M 2 μ 2 1 3 L Ψ 3 N 2 ϵ w h e r e N 2 = L Ψ + μ 2 L Φ + L λ + T r ( Q ) L Υ 1 μ 2 M Φ T r ( Q ) M Υ | | ζ ( ξ ) x ( ξ ) | | 2 δ ϵ
where δ = M 2 μ 2 1 3 L Ψ 3 N 2 .
Thus, there exists a ζ that satisfies Definition 3. Therefore, we demonstrate that (1) is HU -stable. □

5. Example

We shall provide an example to substantiate our results.
Example 1. 
Examine the subsequent Hilfer neutral SDE
D 0 + 0.6 , 0.7 [ ζ ( ξ ) 1 10 ζ ( ξ + s ) ] = μ 1 e 5 ζ ( ξ + s ) + 1 5 D 0 + 0.6 , 0.7 ζ ( ξ + s ) + 1 10 ( ζ ( ξ + s ) + D 0 + 0.6 , 0.7 ζ ( ξ + s ) ) d w ( ξ ) d ξ + z 1 6 ζ ( ξ + s ) d N ˜ ( ξ , z ) d ξ , ξ [ 0 , 0.8 ] , I 0 + 1 v ζ ( 0 ) = 1 , ζ ( ξ ) = ξ + 1 , ξ [ 0.2 , 0 ] , ζ ( ξ ) = ξ 2 , ξ [ 0.8 , 1 ] ,
where η = 0.6 , β = 0.7 , μ = 1 2 , and ϱ = 1 . Set the functions as
E | | Ψ ( ξ , u ) Ψ ( ξ , v ) | | 2 1 10 | | u v | | 2 , E ( Φ ( ξ , m , n ) Φ ( ξ , u , v ) ) 2 1 e 10 m u 2 + 1 5 n v 2 , E Υ ( ξ , m , n ) Υ ( ξ , u , v ) 2 1 10 E m u 2 + n v 2 E ( λ ( t , m ) λ ( t , u ) ) 2 1 6 m u 2 .
For any y N v , we define
y N v = 0 Φ ( s ) sup s 0 ( E | y ( ) | 2 ) 1 2 d s , Φ ( s ) = e 3 s , l = 1 2 , then ζ ξ N v .
Assume that L Ψ = 1 10 , L Φ = 1 e 10 , M Φ = 1 15 , L Υ = M Υ = 1 14 , L λ = 1 16 , μ = 1 2 , and T r a ( Q ) = 1 2 . Consequently, U 0 U 4 are met.
Now,
Δ 1 = 3 { L Ψ + 3 ϱ 2 η Γ ( η ) ( 2 η 1 ) [ μ 2 L Φ + T r ( Q ) L Υ + L λ + 3 μ 2 L Ψ + T r ( Q ) M Υ L Ψ + μ 2 L Φ + L λ + T r ( Q ) L Υ 1 μ 2 L Ψ T r ( Q ) M Υ ] } < 1 , = 0.5944 < 1 .
Since Δ = 0.5944 < 1 , it follows that (15) has a unique solution.
Additionally,
| | ζ ( ξ ) x ( ξ ) | | 2 δ ϵ 0.2 .
Thus, (15) is HU -stable on J .
For Equation (15), we conduct a simulation based on the Euler–Maruyama scheme with a step size 10 6 and the chosen parameters and initial condition. Hence, in Figure 1, we give the simulation trajectory of ζ and x with the same initial condition. Moreover, we can see from Figure 1 that the solution trajectory of Equation (13) (in red) almost coincides with that of Equation (15) (in blue). It follows that the distance between ζ ( ξ ) and x ( ξ ) is less than a constant, which shows that Equation (15) is HU -stable on J according to Definition 3.

6. Conclusions

In this work, we explored the existence and uniqueness of neutral SFDE s using FP theorems and basic notions of stochastic analysis. Additionally, we established HU stability under specific assumptions and conditions. Ulam’s stability is a significant concept, as it provides a bound between approximate and exact solutions, making our findings potentially valuable in the context of approximation theory for SFDE s. Finally, we presented a relevant example to illustrate our main findings. Looking ahead, we plan to investigate the exact controllability of SFDE s under impulsive conditions, with a particular focus on the impact of noise and memory effects.

Author Contributions

Conceptualization, H.K., A.Z., M.R. and I.-L.P.; Formal analysis, H.K., A.Z., M.R. and I.-L.P.; Funding acquisition, M.R.; Investigation, A.Z.; Supervision, A.Z.; Writing—original draft, H.K.; Writing—review & editing, M.R. and I.-L.P. All authors have read and agreed to the published version of the manuscript.

Funding

This research is funded by Researchers Supporting Project Number RSPD2024R683, King Saud University, Riyadh, Saudi Arabia.

Data Availability Statement

No new data were created or analyzed in this study.

Acknowledgments

The authors extend their appreciation to King Saud University in Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Podlubny, I. Fractional Differential Equations; Academic Press: Cambridge, MA, USA, 1999. [Google Scholar]
  2. Lakshmikantham, V.; Leela, S.; Devi, J.V. Theory of Fractional Dynamic Systems; Cambridge Scientific Publishers: Cambridge, UK, 2009. [Google Scholar]
  3. Sun, H.; Zhang, Y.; Baleanu, D.; Chen, W.; Chen, Y. A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 2018, 64, 213–231. [Google Scholar] [CrossRef]
  4. Balachandran, K.; Park, J.Y. Controllability of fractional integrodifferential systems in Banach spaces. Nonlinear Anal. Hybrid Syst. 2009, 3, 363–367. [Google Scholar] [CrossRef]
  5. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Differential Equations; John Wiley: Hoboken, NJ, USA, 1993. [Google Scholar]
  6. Diethelm, K. The Analysis of Fractional Differential Equations; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  7. Zhou, Y. Basic Theory of Fractional Differential Equations; World Scientific: Singapore, 2014. [Google Scholar]
  8. Stirzaker, D.; Grimmett, G. Stochastic Processes and Their Applications; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
  9. Zada, A.; Ali, W.; Farina, S. Hyers-Ulam stability of nonlinear differential equations with fractional integrable impulses. Math. Methods Appl. Sci. 2017, 40, 5502–5514. [Google Scholar] [CrossRef]
  10. Zada, A.; Ali, W.; Park, C. Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Gronwal Bellman. Bihari’s type. Appl. Math. Comput. 2019, 350, 60–65. [Google Scholar]
  11. Zada, A.; Ali, S. Stability analysis of multi-point boundary value problem for sequential fractional differential equations with non-instantaneous impulses. Int. J. Nonlinear Sci. Numer. Simul. 2018, 19, 763–774. [Google Scholar] [CrossRef]
  12. Zada, A.; Shaleena, S.; Li, T. Stability analysis of higher order nonlinear differential equations in β-normed spaces. Math. Methods Appl. Sci. 2019, 42, 1151–1166. [Google Scholar] [CrossRef]
  13. Cui, J.; Yan, L. Existence result for fractional neutral stochastic integro-differential equations with infinite delay. J. Phys. A Math. Theor. 2011, 44, 335201. [Google Scholar] [CrossRef]
  14. Ahmed, M.; Zada, A.; Ahmed, J.; Mohamed, A. Analysis of stochastic weighted impulsive neutral ψ-Hilfer integro fractional differential system with delay. Math. Probl. Eng. 2022, 2022. [Google Scholar] [CrossRef]
  15. Hu, W.; Zhu, Q.; Karimi, H.R. Some improved Razumikhin stability criteria for impulsive stochastic delay differential systems. IEEE Trans. Autom. Control 2019, 64, 5207–5213. [Google Scholar] [CrossRef]
  16. Liu, K.; Feckan, M.; O’Regan, D.; Wang, J. Hyers–Ulam Stability and Existence of Solutions for Differential Equations with Caputo-Fabrizio Fractional Derivative. Mathematics 2019, 7, 333. [Google Scholar] [CrossRef]
  17. Wang, B.; Zhu, Q. Stability analysis of semi-Markov switched stochastic systems. Automatica 2018, 94, 72–80. [Google Scholar] [CrossRef]
  18. Wang, H.; Zhu, Q. Global stabilization of a class of stochastic nonlinear time-delay systems with SISS inverse dynamics. IEEE Trans. Autom. Control 2020, 65, 4448–4455. [Google Scholar] [CrossRef]
  19. Xie, W.; Zhu, Q. Self-triggered state-feedback control for stochastic nonlinear systems with Markovian switching. IEEE Trans. Syst. Man Cybern. 2020, 50, 3200–3209. [Google Scholar] [CrossRef]
  20. Zhu, Q. Stability analysis of stochastic delay differential equations with Lévy noise. Syst. Control Lett. 2018, 118, 62–68. [Google Scholar] [CrossRef]
  21. Zhu, Q.; Wang, H. Output feedback stabilization of stochastic feedforward systems with unknown control coefficients and unknown output function. Automatica 2018, 87, 165–175. [Google Scholar] [CrossRef]
  22. Dhayal, R.; Malik, M. Stability analysis of damped fractional stochastic differential systems with Poisson jumps: An successive approximation approach. Int. J. Syst. Sci. 2024, 1–13. [Google Scholar] [CrossRef]
  23. Hammad, H.A.; Aydi, H.; Isik, H.; De la Sen Parte, M. Existence and stability results for a coupled system of impulsive fractional differential equations with Hadamard fractional derivatives. Aims Math. 2023, 8, 6913–6941. [Google Scholar] [CrossRef]
  24. Khan, A.; Khan, H.; Gomez-Aguilar, J.F.; Abdeljawad, T. Existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals 2019, 127, 422–427. [Google Scholar] [CrossRef]
  25. Yang, M.; Zhou, Y. Hilfer fractional stochastic evolution equations on infinite interval. Int. J. Nonlinear Sci. Numer. Simul. 2023, 24, 1841–1862. [Google Scholar] [CrossRef]
  26. Yang, M.; Lv, T.; Wang, Q. The averaging principle for Hilfer fractional stochastic evolution equations with Levy noise. Fractal Fract. 2023, 7, 701. [Google Scholar] [CrossRef]
  27. Saifullah, S.; Shahid, S.; Zada, A. Analysis of Neutral Stochastic Fractional Differential Equations Involving Riemann-Liouville Fractional Derivative with Retarded and Advanced Arguments. Qual. Theory Dyn. Syst. 2024, 23, 39. [Google Scholar] [CrossRef]
  28. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations. In North–Holland Mathematics Studies; Elsevier: Amsterdam, The Netherlands, 2006; p. 204. [Google Scholar]
  29. Umamaheswari, P.; Balachandran, K.; Annapoorani, N. Existence and stability re sults for Caputo fractional stochastic di erential equations with Levy noise. Filomat 2020, 34, 1739–1751. [Google Scholar] [CrossRef]
  30. Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003. [Google Scholar]
  31. Yan, B. Boundary value problems on the half-line with impulses and infinite delay. J. Math. Anal. Appl. 2001, 259, 94–114. [Google Scholar] [CrossRef]
  32. Deinz, H. On the behaviour of measure of noncompactness with respect to differentiation and integration of vector-valued functions. Nonlinear Anal. TMA 1983, 7, 1351–1371. [Google Scholar]
  33. Bellman, R. The stability of solutions of linear differential equations. Duke Math. J. 1943, 10, 643–647. [Google Scholar] [CrossRef]
  34. Deng, S.; Shu, X.; Mao, J. Existence and exponential stability for impulsive neutral stochastic functional differential equations driven by fBm with noncompact semigroupvia Mönch fixed point. J. Math. Anal. Appl. 2018, 467, 398–420. [Google Scholar] [CrossRef]
Figure 1. Trajectory simulation of ζ ( ξ ) and x ( ξ ) on the interval J .
Figure 1. Trajectory simulation of ζ ( ξ ) and x ( ξ ) on the interval J .
Mathematics 12 03406 g001
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

Khalil, H.; Zada, A.; Rhaima, M.; Popa, I.-L. Analysis of Neutral Implicit Stochastic Hilfer Fractional Differential Equation Involving Lévy Noise with Retarded and Advanced Arguments. Mathematics 2024, 12, 3406. https://doi.org/10.3390/math12213406

AMA Style

Khalil H, Zada A, Rhaima M, Popa I-L. Analysis of Neutral Implicit Stochastic Hilfer Fractional Differential Equation Involving Lévy Noise with Retarded and Advanced Arguments. Mathematics. 2024; 12(21):3406. https://doi.org/10.3390/math12213406

Chicago/Turabian Style

Khalil, Hamza, Akbar Zada, Mohamed Rhaima, and Ioan-Lucian Popa. 2024. "Analysis of Neutral Implicit Stochastic Hilfer Fractional Differential Equation Involving Lévy Noise with Retarded and Advanced Arguments" Mathematics 12, no. 21: 3406. https://doi.org/10.3390/math12213406

APA Style

Khalil, H., Zada, A., Rhaima, M., & Popa, I.-L. (2024). Analysis of Neutral Implicit Stochastic Hilfer Fractional Differential Equation Involving Lévy Noise with Retarded and Advanced Arguments. Mathematics, 12(21), 3406. https://doi.org/10.3390/math12213406

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