Abstract
The primary aim of this paper is to focus on the stability analysis of an advanced neural stochastic functional differential equation with finite delay driven by a fractional Brownian motion in a Hilbert space. We examine the existence and uniqueness of mild solution of \( {\textrm{d}}\left[ {x}_{a}(s) + {\mathfrak {g}}(s, {x}_{a}(s - \omega (s)))\right] =\left[ {\mathfrak {I}}{x}_a(s) + {\mathfrak {f}}(s, {x}_a(s -\varrho (s)))\right] {\textrm{d}}s + \varsigma (s){\textrm{d}}\varpi ^{{\mathbb {H}}}(s),\) \(0\le s\le {\mathcal {T}}\), \({x}_a(s) = \zeta (s),\ -\rho \le s\le 0. \) The main goal of this paper is to investigate the Ulam–Hyers stability of the considered equation. We have also provided numerical examples to illustrate the obtained results. This article also discusses the Euler–Maruyama numerical method through two examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Ulam [35], in his celebrated talk in 1940 in the mathematics club of the University of Wisconsin, presented the various mathematical challenges and questions prevalent at that time. The Ulam–Hyers stability theorem [11] provides the conditions for solution to a linear functional equation, which remains close to an exact solution. This theorem has profound implications in the field of stability theory and has sparked further research and developments in the study of functional equations. Rassias [24] presented the concept of stability in linear mapping within the framework of Banach spaces. He investigated the conditions for a linear mapping between Banach spaces for stability, focusing on perturbations of the Cauchy functional equation. This stability concept has wide-range of applications in various branches of mathematics, including differential equations, functional analysis, mathematical physics and scientific disciplines [13, 27, 29, 30, 32].
Stochastic differential equations are fundamental in modeling and analyzing dynamic systems affected by random fluctuations. The stochastic differential equations offer higher accuracy and realism in describing real-world phenomena compared to ordinary differential equations. The impulsive effects are prevalent across diverse domains in the real-world including mechanics, electronics, telecommunications, finance, biological systems and physical processes [6, 16, 20, 21].
Fractional calculus originated from a question raised by L’Hospital to Leibnitz [23], which concerned the meaning of derivative \(\frac{{\textrm{d}}^{n}y}{{\textrm{d}}x^{n}}\) when \(n = \frac{1}{2}?\) In the year 1695, Leibnitz wrote to L’Hospital replaying, “This is an apparent paradox from which one-day useful consequences will be drawn". In [36], the authors focused on the theoretical findings of Ulam–Hyers stability analysis of the stochastic differential equations by employing the Caputo fractional type with a time delay. In [15], the authors studied the existence of the solutions using stochastic functional differential equations with finite delay, they analyzed the existence, uniqueness and Ulam–Hyers stability of the solution derived for the proposed problem.
Authors in [34] have studied the complete controllability problem of fractional stochastic evolution equations and stochastic fractional evolution with Poisson jumps. Further extension of the above technique to study the existence of stochastic differential equations with inclusions of Hilfer fractional derivative and Poisson jumps is presented in [26]. In [4], the authors used the fixed point technique to study a class of Hilfer fractional stochastic integro-differential equations with Poisson jumps. Whereas the fractional Fourier transform method is used to prove the Mittag–Leffler–Ulam–Hyers stability of fractional order differential equations in [28]. The study of the Helmholtz–Duffing oscillator with Caputo fractional difference equation is found in [33].
The authors in [1] discussed the existence and uniqueness of mild solutions to stochastic neutral differential equations with Caputo operator. Mahmudov [17] studied the semilinear neutral stochastic differential equations in Hilbert spaces and furthermore, extended the study to examine the existence and uniqueness of the mild solution under the non-Lipschitz property. Whereas the study of neural stochastic functional differential equation with finite delay and fractional Brownian motion (fBm) in Hilbert spaces is presented [12]. For the derivation of the periodical solution of fractional stochastic functional differential equation and fractional Brownian motion under the non-local property in [10]. The fractional neutral stochastic functional differential equation of order \(1<\beta <2\) is studied in [9]. The theory of different forms of stochastic differential equations came into the picture with the discovery of many mathematicians like Ahmed [2], Arthi et al. [3], Makhlouf et al. [18], Brahim et al. [5], Caraballo et al. [7], Deng et al. [8], LiZ [14], Ren et al. [25] and Shen et al. [31].
In this manuscript, we investigate the Ulam–Hyers stability of neutral stochastic functional differential equations with finite delay driven by fractional Brownian motion in Hilbert spaces. For our study, we take:
\({x}_a(s) = \zeta (s),\ s\in [-\rho , 0]\).
In the context of this study, we consider the following framework: \(U=[0,{\mathcal {T}}]\), \(({\mathcal {S}}_{\vartheta }(s))_{s\ge 0}\) in a Hilbert space \({\mathcal {X}}_a\), \({\mathfrak {I}}\) represents the infinitesimal generator of an analytic the semigroup of a bounded linear operator, \(\varpi ^{{\mathbb {H}}}\) is a fractional Brownian motion on a real and separable Hilbert space \({\mathcal {Y}}_a\) and \(\omega , \varrho : [0, +\infty ) \rightarrow [0, \rho ]\) (with \(\rho > 0\)) are continuous functions. Moreover, \({\mathfrak {f}}, {\mathfrak {g}}: [0, +\infty ) \times {\mathcal {X}}_a \rightarrow {\mathcal {X}}_a\) and \(\varsigma : [0, +\infty ] \rightarrow {\mathcal {L}}^0_2({\mathcal {Y}}_a, {\mathcal {X}}_a)\) are appropriate functions, where \({\mathcal {L}}^0_2({\mathcal {Y}}_a, {\mathcal {X}}_a)\) denotes the space of Q-Hilbert-Schmidt operators from \({\mathcal {Y}}_a\) into \({\mathcal {X}}_a\). The main objectives of our work in this article are
-
To establish the foundation on neutral stochastic functional differential equations with delay driven by fractional Brownian motion, explicitly focusing on Ulam–Hyers stability.
-
To discuss the existence and uniqueness of mild solution and Ulam–Hyers stability in the theoretical concepts.
-
To justify the theoretical results through Eular–Maruyama in the numerical approach with two examples.
The first segment of this study provides an overview of the existing literature on this subject. The purpose of the second segment is to provide some basic concepts. The third segment proposes the existence and uniqueness of mild solutions based on the theoretical concepts and the extension of the equation into a Ulam–Hyers stability result was obtained, followed by Eular–Maruyama in the numerical approach of two examples given to illustrate the efficiency of our results in the fourth segment. Finally, we end the paper in the fifth segment with a derived conclusion.
2 Preliminary Results
This segment refers to the known basic concepts needed to achieve the obtained results in this study.
Let \((\Omega , \mathcal {{\mathcal {F}}}, {\mathcal {P}})\) be a complete probability space. A one-dimensional fractional Brownian motion \(\left\{ \varpi ^{{\mathbb {H}}}(s), s \in U\right\} \) with Hurst parameter \({{\mathbb {H}}} \in (1/2, 1)\) is defined as a centered Gaussian process with a covariance function that can be expressed [19] as follows:
Let us consider \(\wp = \{\wp (s); s \in U\}\) as a Wiener process. Furthermore, the \(\wp ^{{\mathbb {H}}}\) can be represented using the Wiener integral as follows:
here \(J_{{\mathbb {H}}}(s,\nu )\) is the square integrable kernel
where \(c_{{\mathbb {H}}}=\Big [\frac{{{\mathbb {H}}}(2{{\mathbb {H}}}-1)}{\wp (2-2{{\mathbb {H}}})({{\mathbb {H}}}-\frac{1}{2})}\Big ]^{\frac{1}{2}}\), \(\wp (.,.)\) is represents the Beta function and we put \(J_{{\mathbb {H}}} (s, \nu ) = 0\) in \(s \le \nu \).
Let \(\eta \) be the reproducing kernel Hilbert space of the fractional Brownian motion. Additionally, \(\eta \) represents the closure of the set of indicator functions \(\left\{ 1_{[0,s]}, s \in U\right\} \) with respect to the scalar product \(\langle 1_{[0,s]}, 1_{[0,\nu ]}\rangle _{\eta } = {\mathfrak {R}}_{{{\mathbb {H}}}}(s,\nu )\).
The mapping from \(1_{[0,s]} \rightarrow \wp ^{{\mathbb {H}}}(s)\) can be extended to an isometry between \(\eta \) and the first Wiener chaos. This extension is denoted by \(\wp ^{{\mathbb {H}}}(\zeta )\) the image of \(\zeta \) under the previous isometry.
We remember that for \(\Psi , \zeta \in \eta \) their scalar product in \(\eta \) is
Assume that \(J^*_{{\mathbb {H}}}\) from \(\eta \) to \({\mathcal {L}}^2(U)\) defined by
Furthermore for every \(\zeta \in \eta \), we obtain
Let us consider the \(|\eta |\) is a linear space \(\Psi \), which is generated by measurable functions \(\Psi \) satisfying the following condition:
where \(\delta _{{\mathbb {H}}} = {{\mathbb {H}}}(2{{\mathbb {H}}} - 1)\). Then, the following embedding [22].
Let \({\mathfrak {L}}^2(U) \subseteq {\mathfrak {L}}^{\frac{1}{{{\mathbb {H}}}}}(U) \subseteq |\eta |\subseteq \eta .\)
Moreover, the following results are importance: Consider a function \(\phi (\nu )\) with \(\nu \in U\), where the values of \(\phi \) belong to \({\mathcal {L}}^0_2({\mathcal {Y}}_a,{\mathcal {X}}_a)\). The Wiener integral of \(\phi \) with respect to \(\varpi ^{{\mathbb {H}}}\) is defined as follows:
here, \(\wp _n\) be a standard Brownian motion.
Lemma 2.1
[5] Suppose \(\Psi : U \rightarrow {\mathcal {L}}^0_2({\mathcal {Y}}_a, {\mathcal {X}}_a)\) satisfies \(\int _{0}^{{\mathcal {T}}}\left\| \Psi (\nu )\right\| ^2_{{\mathcal {L}}^0_2}\ {\textrm{d}}\nu < \infty \). In this case, the sum in Eq. (2.1) is well-defined as a random variable taking values in \({\mathcal {X}}_a\). Consequently, we have
Lemma 2.2
[5]
-
1.
For \(0 < \delta \le 1\), the space \({\mathcal {X}}_{a_{\delta }}\) is a Banach space.
-
2.
If \(0 < \wp \le \delta \), then the injection \({\mathcal {X}}_{a_{\delta }} \rightarrow {\mathcal {X}}_{a_{\wp }}\) is continuous.
-
3.
For all \(0 < \delta \le 1\), there exists a positive constant \(M_\delta >0\) such that
$$\begin{aligned} \left\| (-{\mathfrak {I}})^{\delta }{\mathcal {S}}_{\vartheta }(s)\right\| \le M_{\delta }s^{-\delta }e^{-\lambda s},\ s> 0,\ \lambda > 0. \end{aligned}$$
3 Main Results
Here, we are studying the existence and uniqueness of mild solutions and Ulam–Hyers stability results for stochastic neutral functional differential equation (1.1) by utilizing the following hypothesis.
Definition 3.1
An \({\mathcal {X}}_a\)-valued process \(\left\{ {x}_a(s),s \in [-\rho ,{\mathcal {T}}]\right\} \) is said to be a mild solution of Eq. (1.1) if
-
(i)
\({x}_a(.) \in {\mathcal {C}}([-\rho ,{\mathcal {T}}], {\mathfrak {L}}^2(\Omega ,{\mathcal {X}}_a))\),
-
(ii)
\({x}_a(s) = \zeta (s),\ s\in [-\rho , 0]\),
-
(iii)
for arbitrary \(s \in U\), we get
$$\begin{aligned} {x}_a(s)&={\mathcal {S}}_{\vartheta }(s)\left( \zeta (0)+{\mathfrak {g}}\left( 0,\zeta (-\omega (0))\right) \right) -{\mathfrak {g}}\left( s,{x}_a(s-\omega (s))\right) \nonumber \\&\quad -\int _{0}^{s}{\mathfrak {I}}{\mathcal {S}}_{\vartheta }(s-\nu ){\mathfrak {g}}(\nu ,{x}_a(\nu -\omega (\nu ))){\textrm{d}}\nu \nonumber \\&\quad +\int _{0}^{s}{\mathcal {S}}_{\vartheta }(s-\nu ) {\mathfrak {f}} (\nu , {x}_a(\nu - \varrho (\nu ))){\textrm{d}}\nu +\int _{0}^{s}{\mathcal {S}}_{\vartheta }(s-\nu )\varsigma (\nu ) {\textrm{d}}\varpi ^{{\mathbb {H}}}(\nu ). \end{aligned}$$(3.1)
Now, we present the following hypothesis.
- (\({\mathcal {H}}_1\)):
-
Let \({\mathfrak {I}}\) be the infinitesimal generator of an analytic the semigroup \(({\mathcal {S}}_{\vartheta }(s))_{s\ge 0}\) of a bounded linear operator on \({\mathcal {X}}_a\), which satisfies \(0 \in \varrho ({\mathfrak {I}})\). For further details, please refer to Lemma 2.2,
$$\begin{aligned} \left\| {\mathcal {S}}_{\vartheta }(s)\right\| \le M\ \textrm{and}\ \left\| (-{\mathfrak {I}})^{1-\wp }{\mathcal {S}}_{\vartheta }(s)\right\| \le \frac{M_{1-\wp }}{s^{1-\wp }}, \end{aligned}$$for some constants \(M, M_{1-\wp }\) and every \(s \in U\).
- (\({\mathcal {H}}_2\)):
-
There exist non-negative constants \({\mathfrak {C}}_i:= {\mathfrak {C}}_i({\mathcal {T}}), i = 1, 2\) such that the function \({\mathfrak {f}}: [0,+\infty ) \times {\mathcal {X}}_a \rightarrow {\mathcal {X}}_a\) satisfies the following Lipschitz conditions for all \(s \in U\) and \({x}_a, {y}_a\in {\mathcal {X}}_a\) the inequalities \(\left\| {\mathfrak {f}}(s, {x}_a) - {\mathfrak {f}}(s, {y}_a)\right\| \le {\mathfrak {C}}_1\left\| {x}_a - {y}_a\right\| \) and \(\left\| {\mathfrak {f}}(s, {x}_a)\right\| ^2 \le {\mathfrak {C}}^2_2\left( 1 + \left\| {x}_a\right\| ^2\right) \) are valid.
- (\({\mathcal {H}}_3\)):
-
There exist constants \(\frac{1}{2}< \wp < 1, {\mathfrak {C}}_i:= {\mathfrak {C}}_i({\mathcal {T}}), i = 3, 4,\) such that \({\mathfrak {g}}\) is \({\mathcal {X}}_{a_{\wp }}\) -valued and satisfies for every \(s \in U\) and \({x}_a, {y}_a \in {\mathcal {X}}_a\)
-
(i)
\(\left\| (-{\mathfrak {I}})^{\wp } {\mathfrak {g}}(s, {x}_a) - (-{\mathfrak {I}})^{\wp }{\mathfrak {g}}(s, {y}_a)\right\| \le {\mathfrak {C}}_3\left\| {x}_a - {y}_a\right\| \).
-
(ii)
\(\left\| (-{\mathfrak {I}})^{\wp }{\mathfrak {g}}(s, {x}_a)\right\| ^2 \le {\mathfrak {C}}^2_4(1 + \left\| {x}_a\right\| ^2)\).
-
(iii)
The constants \({\mathfrak {C}}_3\) and \(\wp \) satisfy the following inequality
$$\begin{aligned} \left\| (-{\mathfrak {I}})^{-\wp }\right\| {\mathfrak {C}}_3 < 1. \end{aligned}$$
- (\({\mathcal {H}}_4\)):
-
The function \((-{\mathfrak {I}})^{\wp }{\mathfrak {g}}\) is continuous in the quadratic mean sense. In other words, for every \({x}_a \in {\mathcal {C}}(U, {\mathfrak {L}}^2(\Omega ,{\mathcal {X}}_a))\),
$$\begin{aligned} \lim _{s\rightarrow \nu }E_c\left\| (-{\mathfrak {I}})^{\wp }{\mathfrak {g}}(s, {x}_a(s))-(-{\mathfrak {I}})^{\wp }{\mathfrak {g}}(\nu ,{x}_a(\nu ))\right\| ^2=0. \end{aligned}$$ - (\({\mathcal {H}}_5\)):
-
The function \(\varsigma : [0, +\infty ) \rightarrow {\mathcal {L}}^0_2({\mathcal {Y}}_a, {\mathcal {X}}_a)\) satisfies \(\int _{0}^{{\mathcal {T}}}\left\| \varsigma (\nu )\right\| ^2_{{\mathcal {L}}^0_2}{\textrm{d}}\nu < \infty ,\) for all \({\mathcal {T}} > 0\).
- (\({\mathcal {H}}_6\)):
-
The function \({\mathfrak {g}}({x}_a)\) and \({\mathfrak {g}}(s,{x}_a)\) satisfy the condition that \(\left\| {\mathfrak {f}}({x}_a)-{\mathfrak {g}}({y}_a)\right\| ^2\le {\mathfrak {C}}_4\left\| {x}_a-{y}_a\right\| ^2, \left\| {\mathfrak {f}}(s,{x}_a)-{\mathfrak {f}}(s,{y}_a)\right\| ^2\le {\mathfrak {C}}_5\left\| {x}_a-{y}_a\right\| ^2\), the \({\mathfrak {C}}_4,\ {\mathfrak {C}}_5\) are constants and \(1-3{\mathfrak {C}}^2_4 M^2_{1-\wp }(s^{2\wp -1})(2\wp -1)-3sM^2{\mathfrak {C}}^2_5>0\).
Definition 3.2
Equation (1.1) has Ulam–Hyers stability if there exists a number \(M_0>0\) such that for every given \(\varepsilon >0\) a function \({x}_a\) satisfies
then there exists a solution \({y}_a\) of Eq. (1.1) such that \(E_c\Big \Vert {x}_a(s)-{y}_a(s)\Big \Vert ^2\le M_0\varepsilon ,\) where \(M_0\) is a non-negative and stability constant.
Theorem 3.3
Let \(({\mathcal {H}}_1)-({\mathcal {H}}_5)\) hold. Then, for all \({\mathcal {T}} > 0\), Eq. (1.1) has a unique mild solution on \([-\rho , {\mathcal {T}} ]\).
Proof
Let us fix \({\mathcal {T}} > 0\) and consider \({\mathcal {B}}_{{\mathcal {T}}}:= {\mathcal {C}}[-\rho , {\mathcal {T}} ], {\mathfrak {L}}^2(\Omega , {\mathcal {X}}_a)\) as the Banach space of all continuous functions defined on \([-\rho , {\mathcal {T}} ]\) with values in \({\mathfrak {L}}^2(\Omega , {\mathcal {X}}_a)\). This space is equipped with the supremum norm denoted as \(\left\| \xi \right\| _{{\mathcal {B}}_{{\mathcal {T}}}} = \sup \nolimits _{u\in [-\rho ,{\mathcal {T}} ]}(E_c\left\| \xi (u)\right\| )^{\frac{1}{2}}\). Now, let us define the set as follows:
The \({\mathcal {S}}_{\vartheta _{{\mathcal {T}}}}\) be a closed subset of \({\mathcal {B}}_{{\mathcal {T}}}\) provided with the norm \(\left\| .\right\| _{{\mathcal {B}}_{{\mathcal {T}}}}\). Let us consider the operator \(\Psi \) on \({\mathcal {S}}_{\vartheta _{{\mathcal {T}}}}\) by \(\Psi ({x}_a)(s) =\zeta (s)\) for \(s \in [-\rho , 0]\) and for \(s \in U\)
It is evident that demonstrating the existence of mild solutions to Eq. (1.1) is equivalent to finding a fixed point for the operator \(\Psi \). We will now employ the Banach fixed point theorem to establish the uniqueness of the fixed point for \(\Psi \), dividing the subsequent proof into two steps.
Step 1: For arbitrary \({x}_a \in {\mathcal {S}}_{\vartheta _{{\mathcal {T}}}}\), prove that \(s \rightarrow \Psi ({x}_a)(s)\) is continuous on the interval U in the \({\mathfrak {L}}^2(\Omega , X_a)\)-sense.
Assuming that \(0< s < {\mathcal {T}}\) and \(|h |\) is sufficiently small, the following holds for every fixed \({x}_a \in {\mathcal {S}}_{\vartheta _{{\mathcal {T}}}}\), we get
The fulfillment of condition \(({\mathcal {H}}_1)\) assures that
Then,
By utilizing the fact that the operator \((-{\mathfrak {I}})^{-\wp }\) is bounded, we obtain
Then,
Considering the third term \({\mathcal {I}}_3(h)\), let us assume that \(h > 0\), then the following expression:
By Holder’s inequality, one has that
By employing condition \(({\mathcal {H}}_1)\), condition (ii) in \(({\mathcal {H}}_3)\) and considering the fact that \(\frac{1}{2}< \wp < 1\),
then,
By taking into conditions \(({\mathcal {H}}_1)\) and \(({\mathcal {H}}_3)\), as well as applying Holder’s inequality, we have
We can employ similar calculations to demonstrate that \(\lim \nolimits _{h\rightarrow 0}E_c|{\mathcal {I}}_{4}(h)|^2 = 0.\) Regarding the term \({\mathcal {I}}_5(h)\), we obtain
By condition \(({\mathcal {H}}_ 1)\) and Lemma 2.2, we obtain
Since \(\lim \limits _{h\rightarrow 0}\left\| ({\mathcal {S}}_{\vartheta }(h) - {\mathcal {I}})\varsigma (\nu )\right\| ^2_{{\mathcal {L}}^0_2}= 0\) and
Again by Lemma 2.2, we get
Based on the previous arguments, it is evident that \(\lim \nolimits _{h\rightarrow 0} E_c\Big \Vert \Psi (x_{a})(s +h)-\Psi (x_{a})(s)\Big \Vert ^2 = 0\). Hence, we conclude that the function \(s \rightarrow \Psi (x_{a})(s)\) is continuous on U in the \({\mathfrak {L}}^2\)-sense.
Step 2: Next, we will demonstrate that \(\Psi \) is a contraction mapping in \({\mathcal {S}}_{\vartheta _{{\mathcal {T}}_{1}}}\), where \({\mathcal {T}}_1 \le {\mathcal {T}}\) will be determined later.
If \(x_{a}, y_{a} \in {\mathcal {S}}_{\vartheta _{{\mathcal {T}}}}\) by using the inequality \((f + g + j)^2\le \frac{1}{k}f^2+\frac{2}{1-k}g^2+\frac{2}{1-k}j^2\), here \(k:= {\mathfrak {C}}_3\Vert (-{\mathfrak {I}})^{-\wp } \Vert < 1\), we obtain for every fixed \(s \in U\).
By Lipschitz property of \((-{\mathfrak {I}})^{\wp }{\mathfrak {g}}\) and \({\mathfrak {f}}\) combined with Holder’s inequality, we obtain
Hence,
where,
Based on condition (iii) in \(({\mathcal {H}}_3)\), we can deduce that \(\gamma (0) = k = \Vert (-{\mathfrak {I}})^{-\wp }\Vert {\mathfrak {C}}_3 < 1\). Consequently, there exists a positive value \(0<{\mathcal {T}}_1 \le {\mathcal {T}}\) such that \(0< \gamma ({\mathcal {T}}_1) < 1\). By the contraction mapping property of \(\zeta \) on \({\mathcal {S}}_{\vartheta _{{{\mathcal {T}}}_{1}}}\), it possesses a unique fixed point, which serves as a mild solution to Eq. (1.1) on the interval \([-\rho , {\mathcal {T}}_1]\). This process can be iterated in finitely many steps to extend the solution to the entire interval \([-\rho ,{\mathcal {T}}]\). Thus, we can conclude the proof. \(\square \)
Theorem 3.4
Let (\({\mathcal {H}}_1\)) and (\({\mathcal {H}}_3\))-(\({\mathcal {H}}_6\)) are true, then system of Eq. (1.1) is Ulam–Hyers stable.
Proof
We can prove the existence of the solution by using the Theorem 3.3 and then we will consider the Ulam–Hyers stability of this solution.
For every \(\varepsilon >0\), suppose that \({x}_a\) of the following inequality Eq. (3.2). We wish to prove that there exists a non-negative constant \(M_0>0\) and \({y}_a\) such that \(E_c\Big \Vert {x}_a(s)-{y}_a(s)\Big \Vert ^2\le M_0\varepsilon \), for some solution \({y}_a\) due to the inequality
Suppose that there exists a function \({\mathfrak {g}}(s, x_{a}(s - \omega (s))\) such that
Let us consider the equation as follows:
for all \(s\in U\) and \(x_{a}(s) = \zeta (s),\ s\in [-\rho , 0]\).
In which \({x}_0= {y}_0\), then \({x}_a(0)={y}_a(0)\) and the mild solution of equation \(x_{a}\) yields the follows:
It is clear that the solution is Ulam–Hyers stability in the interval \((-\infty , 0]\). Now, we consider the interval \(s \in U\) and suppose \(\varepsilon <1\). Furthermore, it follows from Eq. (3.3), we get
So, we have
where \(M_0=\dfrac{3{\mathcal {T}}}{1-\dfrac{3{\mathfrak {C}}^2_4 M^2_{1-\varpi }s^{2\varpi -1}}{2\varpi -1}-3sM^2{\mathfrak {C}}^2_5}\). Therefore, \(E_c\left\| {x}_a(s)-{y}_a(s)\right\| ^2 \le M_0\varepsilon \).
Hence, Eq. (1.1) has Ulam–Hyers stability. \(\square \)
4 Numerical Examples
In this segment, we have provide the Euler–Maruyama numerical method through two examples present the efficiency of the obtained results.
Example 4.1
Consider the following neutral stochastic functional differential equation for every \(\varepsilon > 0\),
where
with \(\rho > 0\). Then, replacing now \(x_a\) by the segment of a solution \(x_{a_{s}}\), we get
We wish to prove that Eq. (4.1) has Ulam–Hyers stability. Let \(x_a, y_a \in C([-\rho , 0], {\mathbb {R}})\), we have
On the other hand,
Therefore,
Hence,
and
Hence, by Theorem 3.4, the Eq. (4.1) has Ulam–Hyers stability.
The effects of Eq. (4.1) solution through \(s_0=1, \rho =2.5\) and initial value for all \(-0.5 \le s \le 0\), are depicted in Fig. 1, plots the graphs for varying \(x_a(s)\) and \(y_a(s)\) against time. This graph shows that the time in favour of \(x_a(s)\) increase rapidly and \(y_a(s)\) oscillate the same value. It is difficult to distinguish the sample path solution from the two simulated solutions on the plot. In the simulation, if the numerical solution reaches 0 or negative at any time point, we consider the numerical solution at that particular time point and set all the time points to zero.
Example 4.2
Consider the following neutral stochastic functional differential equation for every \(\varepsilon > 0\),
where
with \(\rho > 0\). Then, replacing now \(x_a\) by the segment of a solution \(x_{a_{s}}\), we get
We wish to prove that Eq. (4.2) has Ulam–Hyers stability. Let \(x_a, y_a \in C([-\rho , 0], {\mathbb {R}})\), we have
On the other hand,
Hence, the Lipschitz property is satisfied. Furthermore,
In addition,
Hence, by Theorem 3.4, the Eq. (4.2) has Ulam–Hyers stability.
The effects of Eq. (4.2) solution through \(s_0=1, \rho =2.5\) and initial value for all \(-0.5 \le s \le 0\), are depicted in Fig. 2, plots the graphs for varying \(x_a(s)\) and \(y_a(s)\) against time. This graph shows that the time in favour of \(x_a(s)\) increase rapidly and \(y_a(s)\) oscillate the same value. It is difficult to distinguish the sample path solution from the two simulated solutions on the plot. In the simulation, if the numerical solution reaches 0 or negative at any time point, we consider the numerical solution at that particular time point and set all the time points to zero.
5 Conclusion
In the present work, we consider the neural stochastic functional differential equation with finite delay driven by fractional Brownian motion in Hilbert spaces. First, we examine the existence and uniqueness of the mild solution. Next, we investigate the Ulam–Hyers stability of the obtained solution. Furthermore, we justified the theoretical results through a numerical simulation with examples. Hence, from both the theoretical results and the numerical simulation, we can conclude that the Euler–Maruyama method is more accurate in studying the neural stochastic functional differential equation Eqs. (4.1) and (4.2). In our future research, we are interest to investigate the application of stochastic differential equations in various areas.
References
Ahmadova, A., Mahmudov, N.I.: Existence and uniqueness results for a class of stochastic neutral fractional differential equations. Chaos Solit. Fract. 139(110253), 1–8 (2020)
Ahmed, H.M.: Controllability of impulsive neutral stochastic differential equations with fractional Brownian motion. IMA J. Math. Control. Inf. 32(4), 781–794 (2015)
Arthi, G., Park, J.H., Jung, H.Y.: Existence and exponential stability for neutral stochastic integro-differential equations with impulses driven by a fractional Brownian motion. Commun. Nonlinear Sci. Numer. Simul. 32, 145–157 (2016)
Balasubramaniam, P., Saravanakumar, S., Ratnavelu, K.: Study a class of Hilfer fractional stochastic integro-differential equations with Poisson jumps. Stoch. Anal. Appl. 36(6), 1021–1036 (2018)
Brahim, B., Salah, H.: Neutral stochastic functional differential equations driven by a fractional Brownian motion in a Hilbert space. Statist. Probab. Lett. 82, 1549–1558 (2012)
Caraballo, T., Garrido-Atienza, M.J., Taniguchi, T.: The existence and exponential behavior of solutions to stochastic delay evolution equations with a fractional Brownian motion. Nonlinear Anal. Theory Methods Appl. 74(11), 3671–3684 (2011)
Caraballo, T., Mchiri, L., Rhaima, M.: Ulam–Hyers–Rassias stability of neutral stochastic functional differential equations. Stochastics 94(6), 959–971 (2022)
Deng, S., Shu, X.B., Mao, J.: Existence and exponential stability for impulsive neutral stochastic functional differential equations driven by fBm with non-compact semigroup via Mönch fixed point. J. Math. Anal. Appl. 467(1), 398–420 (2018)
Guo, Y., Shu, X.B., Li, Y., Xu, F.: The existence and Hyers–Ulam stability of solution for an impulsive Riemann-Liouville fractional neutral functional stochastic differential equation with infinite delay of order \(1<\beta < 2\). Bound. Value Probl. 2019(59), 1–18 (2019)
Guo, Y., Chen, M., Shu, X.B., Xu, F.: The existence and Hyers–Ulam stability of solution for almost periodical fractional stochastic differential equation with fBm. Stoch. Anal. Appl. 39(4), 643–666 (2021)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27(4), 222–224 (1941)
Kahouli, O., Makhlouf, A.B., Mchiri, L., Rguigui, H.: Hyers–Ulam stability for a class of Hadamard fractional It\({\hat{o}}\)-Doob stochastic integral equations. Chaos Solit. Fract. 166, 112918 (2023)
Kumar, B.V.S., Dutta, H., Sabarinathan, S.: Fuzzy approximations of a multiplicative inverse cubic functional equation. Soft Comput. 24(17), 13285–13292 (2020)
Li, Z.: Global attractiveness and quasi-invariant sets of impulsive neutral stochastic functional differential equations driven by fBm. Neurocomputing 177, 620–627 (2016)
Li, S., Shu, L., Shu, X.B., Xu, F.: Existence and Hyers–Ulam stability of random impulsive stochastic functional differential equations with finite delays. Stochastics 91(6), 857–872 (2019)
Ma, X., Shu, X.B., Mao, J.: Existence of almost periodic solutions for fractional impulsive neutral stochastic differential equations with infinite delay. Stoch. Dyn. 20(1), 1–31 (2020)
Mahmudov, N.I.: Existence and uniqueness results for neutral SDEs in Hilbert spaces. Stoch. Anal. Appl. 24(1), 79–95 (2007)
Makhlouf, A.B., Mchiri, L., Rhaima, M.: Ulam–Hyers–Rassias stability of stochastic functional differential equations via fixed point methods. J. Funct. Sp. 2021, 1–7 (2021)
Mandelbrot, B.B., Van Ness, J.W.: Fractional Brownian motions, fractional noises and applications. SIAM Rev. 10(4), 422–437 (1968)
Mao, X.: Exponential Stability of Stochastic Differential Equations. Marcel Dekker, New York (1994)
Mao, X.: Stochastic Differential Equations and Applications. Ellis Horwood, Chichester (1997)
Nualart, D.: The Malliavin Calculus and Related Topics. Springer, Berlin (2006)
Oldham, K., Spanier, J.: The Fractional Calculus Theory and Applications of Differentiation and Integration to Arbitrary Order. Academic Press, New York (1974)
Rassias, Th.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72(2), 297–300 (1978)
Ren, Y., Cheng, X., Sakthivel, R.: Impulsive neutral stochastic functional integro-differential equations with infinite delay driven by fBm. Appl. Math. Comput. 247, 205–212 (2014)
Rihan, F.A., Rajivganthi, C., Muthukumar, P.: Fractional stochastic differential equations with Hilfer fractional derivative: Poisson jumps and optimal control. Discrete Dyn. Nat. Soc. 2017, 1–11 (2017)
Sabarinathan, S., Dutta, H., Kumar, B.V.S.: Approximation of a third root functional equation. Proc. Indian Natl. Sci. Acad. 87(1), 48–56 (2021)
Selvam, A., Sabarinathan, S., Noeiaghdam, S., Govindan, V.: Fractional Fourier transform and Ulam stability of fractional differential equation with fractional Caputo-type derivative. J. Funct. Sp. 2022, 1–5 (2022)
Selvam, A., Sabarinathan, S., Kumar, B.V.S., Byeon, H., Guedri, K., Eldin, S.M., Khan, M.I., Govindan, V.: Ulam–Hyers stability of tuberculosis and COVID-19 co-infection model under Atangana–Baleanu fractal-fractional operator. Sci. Rep. 13, 1–24 (2023)
Selvan, A.P., Sabarinathan, S., Selvam, A.: Approximate solution of the special type differential equation of higher order using Taylor’s series. J. Math. Comput. Sci. 27, 131–141 (2022)
Shen, G., Sakthivel, R., Ren, Y., Li, M.: Controllability and stability of fractional stochastic functional systems driven by Rosenblatt process. Collect. Math. 71, 63–82 (2020)
Sivashankar, M., Sabarinathan, S., Govindan, V., Fernandez-Gamiz, U., Noeiaghdam, S.: Stability analysis of COVID-19 outbreak using Caputo-Fabrizio fractional differential equation. AIMS Math. 8(2), 2720–2735 (2023)
Sivashankar, M., Sabarinathan, S., Nisar, K.S., Ravichandran, C., Kumar, B.V.S.: Some properties and stability of Helmholtz model involved with nonlinear fractional difference equations and its relevance with quadcopter. Chaos Solitons Fract. 168, 1–5 (2023)
Tamilalagan, P., Balasubramaniam, P.: Existence result for semilinear fractional stochastic evolution inclusions driven by Poisson jumps, In: P. N. Agrawal, R. N. Mohapatra, U. Singh, H. M. Srivastava, eds. Mathematical Analysis and Its Applications, Springer Proceedings in Mathematics and Statistics, Roorkee, India, vol. 143, 477–487 (2014)
Ulam, S.M.: Problem in Modern Mathematics. Wiley, New York (1964)
Wang, X., Luo, D., Luo, Z., Zada, A.: Ulam–Hyers stability of Caputo-type fractional stochastic differential equations with time delays. Math. Probl. Eng. 2021, 1–24 (2021)
Acknowledgements
This work is supported by The Center for Research and Development in Mathematics and Applications (CIDMA) through the Portuguese Foundation for Science and Technology (FCT - Fundação para a Ciência e a Tecnologia), references UIDB/04106/2020 and UIDP/04106/2020.
Funding
Open access funding provided by FCT|FCCN (b-on).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Arash Fahim.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Selvam, A., Sabarinathan, S., Pinelas, S. et al. Existence and Stability of Ulam–Hyers for Neutral Stochastic Functional Differential Equations. Bull. Iran. Math. Soc. 50, 1 (2024). https://doi.org/10.1007/s41980-023-00827-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41980-023-00827-y
Keywords
- Fractional Brownian motion
- Mild solution
- Stochastic neutral functional differential equation
- Ulam–Hyers stability