Existence and Hyers–Ulam Stability of Stochastic Delay Systems Governed by the Rosenblatt Process

Abstract

Under the effect of the Rosenblatt process, time-delay systems of nonlinear stochastic delay differential equations are considered. Utilizing the delayed matrix functions and exact solutions for these systems, the existence and Hyers–Ulam stability results are derived. First, depending on the fixed point theory, the existence and uniqueness of solutions are proven. Next, sufficient criteria for the Hyers–Ulam stability are established. Ultimately, to illustrate the importance of the results, an example is provided.

1. Introduction

Many researchers have paid significant attention to stochastic delay differential equations (SDDEs) and their applications because of their effective modeling in several scientific and engineering fields, such as physics, economics, biology, fluid dynamics, finance, medicine, and so forth (see, for instance, [1,2,3,4,5,6,7,8,9]). Recently, determining the exact solutions of differential systems has been attempted. Specifically, many new results regarding how to represent solutions for time-delay systems were obtained from the novel study [10,11], which were applied to stability analysis and control problems (see, [12,13,14,15,16,17] and the references therein).

The Wiener–Ito multiple integral of order q is defined as

$$Z_H^q\left(\ell \right)=a\left(H,q\right){\int }_{R^q}\left({\int }_0^{\ell }{\displaystyle \prod _{j=1}^q}{\left(\varsigma -{\Im }_j\right)}_{+}^{-\left(\frac{1}{2}+\frac{1-H}{q}\right)}\mathrm{d}\varsigma \right)\mathrm{d}\mathcal{G}\left({\Im }_1\right)\dots \mathrm{d}\mathcal{G}\left({\Im }_q\right),$$

(1)

in terms of the standard Wiener process, ${\left(\mathcal{G}\left(\Im \right)\right)}_{\Im \in \mathbb{R}}$, where $\mathbf{E}{\left(Z_H^q\left(1\right)\right)}^2=1$ and ${\Im }_{+}=max\left(\Im ,0\right)$ are the conditions under which $a\left(H,q\right)$ is a normalizing constant. The process ${\left(Z_H^q\left(\ell \right)\right)}_{\ell \ge 0}$, provided by (1), is called the Hermite process. The Hermite process is the fractional Brownian motion (fBm) with a Hurst parameter of $H\in \left(\frac{1}{2},1\right)$ for $q=1$, while it is not Gaussian for $q=2$. Additionally, the Hermite process, denoted by (1) for $q=2$, is referred to as the Rosenblatt process. Most of the studies [18,19,20] involved fBm because of its self-similarity, long-range dependence, and more straightforward calculus of the Gaussian. But, fBm fails in the concrete case of having non-Gaussianity smooth-tongued in the models. In that situation, the Rosenblatt process is applicable. Non-Gaussian processes like the Rosenblatt process have numerous intriguing characteristics such as stationarity of the increments, long-range dependence, and self-similarity (for more details, see [21,22,23,24,25,26,27,28,29]). Therefore, it seems interesting to study a new class of stochastic differential equations driven by the Rosenblatt process.

On the other hand, studying the stability of (SDDEs) solutions is essential, and Hyers–Ulam stability (HUS) is a crucial topic. In 1940, Ulam [30] created the first proposal that functional equations are stable, during a lecture at Wisconsin University. In 1941, Hyers [31] provided a solution to this problem, after which HUS was established. In addition to providing a solid theoretical foundation for the well-posedness and HUS for SDDEs, the study of HUS for SDDEs also provides a solid theoretical foundation for the approximate solution of SDDEs. When it is rather difficult to acquire a precise solution for the system with HUS, we may substitute an approximate solution for an accurate one, and the HUS can, to a certain extent, ensure the dependability of the estimated solution.

Recently, many researchers have examined the HUS of diverse kinds of stochastic differential equations (see, [32,33,34,35] and the references therein).

However, as far as we know, the standard literature has not dealt with the existence and HUS of second-order nonlinear SDDEs driven by the Rosenblatt process. Therefore, in this study, we try, for the first time, to analyze such a topic.

Our study focuses on determining the existence and HUS of the nonlinear SDDEs driven by the Rosenblatt process, taking into account the previous research.

$$\begin{array}{c}{\aleph }^{″}\left(\ell \right)+\mathbb{D}\aleph \left(\ell -\zeta \right)=\hslash \left(\ell ,\aleph \left(\ell \right)\right)+\Delta \left(\ell ,\aleph \left(\ell \right)\right)\frac{\mathrm{d}{Z}_H\left(\ell \right)}{\mathrm{d}\ell },\ell \in \mp :=\left[0,\varpi \right],\\ \aleph \left(\ell \right)\equiv \psi \left(\ell \right),{\aleph }^{\prime }\left(\ell \right)\equiv {\psi }^{\prime }\left(\ell \right),\ell \in {\mp }_1:=\left[-\zeta ,0\right],\end{array}$$

(2)

where $\aleph \left(\ell \right)\in {\mathbb{R}}^n$ represents the state vector, $\zeta >0$ denotes a delay, $\varpi >\left(m-1\right)\zeta$, $m=1,2,\cdots$, $\psi \in C\left(\left[-\zeta ,0\right],{\mathbb{R}}^n\right)$, $\mathbb{D}\in {\mathbb{R}}^{n\times n}$ is any matrix, and $\hslash \in C\left(\mp \times {\mathbb{R}}^n,{\mathbb{R}}^n\right)$ is a provided function. In the separable Hilbert space ${\mathbb{R}}^n$, let $\aleph \left(·\right)$ have value, and let the norm be $∥·∥$ and the inner product be $〈·,·〉$ with parameter $H\in \left(\frac{1}{2},1\right)$, $Z_H\left(\ell \right)$ is a Rosenblatt process on an another real separable Hilbert space $\left(\mathcal{A},{∥·∥}_{\mathcal{A}},{〈·,·〉}_{\mathcal{A}}\right)$. Furthermore, consider $\Delta \in C\left(\mp \times {\mathbb{R}}^n,L_2^0\right)$, where $L_2^0=L_2\left(Q^{\frac{1}{2}}\mathcal{A},{\mathbb{R}}^n\right)$.

The remaining sections of this paper are structured as follows: In Section 2, we present some notations and necessary preliminaries. In Section 3, by utilizing Krasnoselskii’s fixed point theorem, some sufficient conditions are established for the existence and uniqueness of solutions to the system (2). In Section 4, we prove the Hyers–Ulam stability of (2) via Grönwall’s inequality lemma approach. Finally, we provide a numerical example to illustrate the effectiveness of the derived results.

2. Preliminaries

During the entire paper, consider $\left(\Sigma ,ð,\mathbb{P}\right)$ to represent the complete probability space with a probability measure $\mathbb{P}$ on $\Sigma$ and a filtration $\left\{{ð}_{\ell }|\ell \in \mp \right\}$ produced by $\left\{Z_H\left(s\right)|s\in \left[0,\ell \right]\right\}$. For some $1<\mu <\infty$, consider the Hilbert space $L^{\mu }\left(\Sigma ,{ð}_{\varpi },{\mathbb{R}}^n\right)$ to express all ${ð}_{\varpi }$-measurable $\mu$th-integrable variables having values in ${\mathbb{R}}^n$ with norm ${∥\aleph ∥}_{L^{\mu }}^{\mu }=\mathbf{E}{∥\aleph \left(\ell \right)∥}^{\mu }$, where the expectation $\mathbf{E}$ is defined by $\mathbf{E}\aleph ={\int }_{\Sigma }\aleph \mathrm{d}\mathbb{P}$. Assume that $\mathcal{A}$ and $\mathcal{B}$ are two Banach spaces, $Q\in L_b\left(\mathcal{A},\mathcal{A}\right)$ indicates an operator on $\mathcal{A}$ that is self-adjoint trace class and non-negative, and $L_b\left(\mathcal{A},\mathcal{B}\right)$ is the space of the bounded linear operators from $\mathcal{A}$ to $\mathcal{B}$. Let $L_2^0=L_2\left(Q^{\frac{1}{2}}\mathcal{A},\mathcal{B}\right)$ be the space of all Q-Hilbert–Schmidt operators from $Q^{\frac{1}{2}}\mathcal{A}$ into $\mathcal{B}$, equipped with the norm

$${∥\Xi ∥}_{L_2^0}^2={∥\Xi Q^{\frac{1}{2}}∥}^2=\mathrm{Tr}\left(\Xi Q{\Xi }^T\right).$$

Provided a norm ${∥\Xi ∥}_{\mathcal{Q}}={\left({sup}_{\ell \in \mp }\mathbf{E}{∥\Xi \left(\ell \right)∥}^{\mu }\right)}^{1/\mu }$, let $\mathcal{Q}:=C$($\left[-\zeta ,\varpi \right]$, $L^{\mu }\left(\Sigma ,{ð}_{\varpi },\mathbb{P},{\mathbb{R}}^n\right)$) be the Banach space of all $\mu$th-integrable and ${ð}_{\varpi }$-adapted processes $\Xi$. A norm $∥·∥$ on ${\mathbb{R}}^n$ can be represented by the matrix norm

$$∥\mathbb{D}∥=max\left\{\sum _{i=1}^n\left|d_{i1}\right|,\sum _{i=1}^n\left|d_{i2}\right|,\dots ,\sum _{i=1}^n\left|d_{in}\right|\right\},$$

where $\mathbb{D}:{\mathbb{R}}^n⟶{\mathbb{R}}^n$. Furthermore, consider

$$\begin{array}{cc}\hfill & C^1\left(\mp ,L^{\mu }\left(\Sigma ,{ð}_{\varpi },\mathbb{P},{\mathbb{R}}^n\right)\right)\hfill \\ \hfill & =\left\{\aleph \in C\left(\mp ,L^{\mu }\left(\Sigma ,{ð}_{\varpi },\mathbb{P},{\mathbb{R}}^n\right)\right):{\aleph }^{\prime }\in C\left(\mp ,L^{\mu }\left(\Sigma ,{ð}_{\varpi },\mathbb{P},{\mathbb{R}}^n\right)\right)\right\}.\hfill \end{array}$$

Finally, we assume the initial values

$${∥\psi ∥}_C^{\mu }=\underset{s\in {\mp }_1}{sup}\mathbf{E}{∥\psi \left(s\right)∥}^{\mu }\mathrm{and}{∥{\psi }^{\prime }∥}_C^{\mu }=\underset{s\in {\mp }_1}{sup}\mathbf{E}{∥{\psi }^{\prime }\left(s\right)∥}^{\mu }.$$

Some of the basic definitions and lemmas employed in this study are discussed.

Definition 1 

([13]). Let the $n\times n$ identity matrix and null matrix be symbolized by $\mathbb{I}$ and Θ, respectively. Then, for $\iota =0,1,2,\cdots$, the delayed matrix functions ${\mathcal{H}}_{\zeta }\left(\mathbb{D}\ell \right)$ and ${\mathcal{M}}_{\zeta }\left(\mathbb{D}\ell \right)$ are defined, respectively, by

$${\mathcal{H}}_{\zeta }\left(\mathbb{D}\ell \right):=\left\{\begin{array}{cc}\Theta ,\hfill & -\infty <\ell <-\zeta ,\\ \mathbb{I},\hfill & -\zeta \le \ell <0,\\ \mathbb{I}-\mathbb{D}\frac{{\ell }^2}{2!},\hfill & 0\le \ell <\zeta ,\\ ⋮\hfill & ⋮\\ \mathbb{I}-\mathbb{D}\frac{{\ell }^2}{2!}+{\mathbb{D}}^2\frac{{\left(\ell -\zeta \right)}^4}{4!}\hfill & \\ +\cdots +{(-1)}^{\iota }{\mathbb{D}}^{\iota }\frac{{\left(\ell -\left(\iota -1\right)\zeta \right)}^{2\iota }}{\left(2\iota \right)!},\hfill & \left(\iota -1\right)\zeta \le \ell <\iota \zeta ,\end{array}\right.$$

(3)

and

$${\mathcal{M}}_{\zeta }\left(\mathbb{D}\ell \right):=\left\{\begin{array}{cc}\Theta ,\hfill & -\infty <\ell <-\zeta ,\\ \mathbb{I}\left(\ell +\zeta \right),\hfill & -\zeta \le \ell <0,\\ \mathbb{I}\left(\ell +\zeta \right)-\mathbb{D}\frac{{\ell }^3}{3!},\hfill & 0\le \ell <\zeta ,\\ ⋮\hfill & ⋮\\ \mathbb{I}\left(\ell +\zeta \right)-\mathbb{D}\frac{{\ell }^3}{3!}+{\mathbb{D}}^2\frac{{\left(\ell -\zeta \right)}^5}{5!}\hfill & \\ +\cdots +{(-1)}^{\iota }{\mathbb{D}}^{\iota }\frac{{\left(\ell -\left(\iota -1\right)\zeta \right)}^{2\iota +1}}{\left(2\iota +1\right)!},\hfill & \left(\iota -1\right)\zeta \le \ell <\iota \zeta ,\end{array}\right.$$

(4)

Lemma 1 

([13]). The solution of (2) can be expressed in the following form:

$$\begin{array}{cc}\hfill \aleph \left(\ell \right)& ={\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)\psi \left(0\right)+{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right){\psi }^{\prime }\left(0\right)\hfill \\ \hfill & -\mathbb{D}{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right).\hfill \end{array}$$

Lemma 2 

([29]). If $\sigma :\mp ⟶L_2^0$ satisfies

$${\int }_0^{\varpi }{∥\sigma \left(\varsigma \right)∥}_{L_2^0}^2\mathrm{d}\varsigma <\infty ,$$

then

$$\mathbf{E}{∥{\int }_0^{\ell }\sigma \left(\varsigma \right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^2\le 2H{\ell }^{2H-1}{\int }_0^{\ell }{∥\sigma \left(\varsigma \right)∥}_{L_2^0}^2\mathrm{d}\varsigma .$$

Lemma 3 

([36]). For $\Lambda :\mp ⟶L_2^0$, such that

$${\int }_0^{\ell }{∥\Lambda \left(\varsigma \right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma <\infty ,$$

and applying Hölder’s inequality and the Kahane–Khintchine inequality, there is a constant ${\tau }_{\mu }$, such that

$$\begin{array}{cc}\hfill \mathbf{E}{∥{\int }_0^{\ell }\Lambda \left(\varsigma \right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }& \le {\tau }_{\mu }{\left\{\mathbf{E}{∥{\int }_0^{\ell }\Lambda \left(\varsigma \right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^2\right\}}^{\mu /2}\hfill \\ & \le {\tau }_{\mu }{\left\{2H{\ell }^{2H-1}{\int }_0^{\ell }{∥\Lambda \left(\varsigma \right)∥}_{L_2^0}^2\mathrm{d}\varsigma \right\}}^{\mu /2}\hfill \\ \hfill & \le {\tau }_{\mu }{\left(2H{\ell }^{2H-1}\right)}^{\mu /2}{\left({\int }_0^{\ell }\mathrm{d}\varsigma \right)}^{\mu /2-1}{\int }_0^{\ell }{\left({∥\Lambda \left(\varsigma \right)∥}_{L_2^0}^2\right)}^{\mu /2}\mathrm{d}\varsigma \hfill \\ \hfill & ={\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\ell }^{\mu H-1}{\int }_0^{\ell }{∥\Lambda \left(\varsigma \right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma .\hfill \end{array}$$

Definition 2 

([37]). When considering a specific constant $\kappa >0$, and a function $\Pi \in C\left(\mp ,{\mathbb{R}}^n\right)$ fulfilling

$$\mathbf{E}{∥{\Pi }^{″}\left(\ell \right)+\mathbb{D}\Pi \left(\ell -\zeta \right)-\hslash \left(\ell ,\Pi \left(\ell \right)\right)-\Delta \left(\ell ,\Pi \left(\ell \right)\right)\mathrm{d}{Z}_H\left(\ell \right)∥}^{\mu }\le \kappa ,\ell \in \left[0,\varpi \right],$$

(5)

implies that there exist a solution $\aleph \in C\left(\mp ,{\mathbb{R}}^n\right)$ of (2) and a number $W>0$ such that

$$\mathbf{E}{∥\Pi \left(\ell \right)-\aleph \left(\ell \right)∥}^{\mu }\le W\kappa ,forall\ell \in \left[0,\varpi \right].$$

The system (2) is Hyers–Ulam stable on $[0,\varpi ]$.

Remark 1 

([37]). A function $\Pi \in C\left(\mp ,{\mathbb{R}}^n\right)$ is a solution of the inequality (5) if and only if there exists a function $\mathcal{E}\in C\left(\mp ,{\mathbb{R}}^n\right)$, such that

(i) 

$\mathbf{E}{∥\mathcal{E}\left(\ell \right)∥}^{\mu }\le \kappa$, $\ell \in \mp$.

(ii) 

${\Pi }^{″}\left(\ell \right)=-\mathbb{D}\Pi \left(\ell -\zeta \right)+\Delta \left(\ell ,\Pi \left(\ell \right)\right)\mathrm{d}{Z}_H\left(\ell \right)+\hslash \left(\ell ,\Pi \left(\ell \right)\right)+\mathcal{E}\left(\ell \right)$, $\ell \in \mp$.

Definition 3 

([38]). The Mittag–Leffler function, containing two parameters, is defined as

$${\mathbb{E}}_{\alpha ,ϵ}\left(\ell \right)=\sum _{\iota =0}^{\infty }\frac{{\ell }^{\iota }}{\Gamma \left(\alpha \iota +ϵ\right)},\alpha ,ϵ>0,\ell \in \mathbb{C}.$$

If $ϵ=1$, then

$${\mathbb{E}}_{\alpha ,1}\left(\ell \right)={\mathbb{E}}_{\alpha }\left(\ell \right)=\sum _{\iota =0}^{\infty }\frac{{\ell }^{\iota }}{\Gamma \left(\alpha \iota +1\right)},\alpha >0.$$

Lemma 4 

([15]). For any $\ell \in \left[\left(\iota -1\right)\zeta ,\iota \zeta \right]$, $\iota =1,2,\cdots$, we obtain

$$∥{\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell \right)\right)∥\le {\mathbb{E}}_2\left(∥\mathbb{D}∥{\ell }^2\right),$$

and

$$∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell \right)\right)∥\le \left(\ell +\zeta \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell +\zeta \right)}^2\right).$$

Lemma 5. 

(Grönwall’s inequality, [39]). Let $\hslash \left(\ell \right)$ and ℘$\left(\ell \right)$ be nonnegative, continuous functions on $0\le \ell \le T$, for which the inequality

$$\hslash \left(\ell \right)\le \eta +{\int }_0^{\ell }\wp \left(s\right)\hslash \left(s\right)\mathrm{d}s,for\ell \in \left[0,T\right],$$

holds, where $\eta \ge 0$ is a constant. Then,

$$\hslash \left(\ell \right)\le \eta exp\left({\int }_0^{\ell }\wp \left(s\right)\mathrm{d}s\right),for\ell \in \left[0,T\right].$$

Lemma 6. 

(Krasnoselskii’s fixed point theorem, [40]). Assume that $\mathcal{J}$ is a closed, bounded, and non-empty convex subset of a Banach space $\mathcal{U}$. If $O_1$ and $O_2$ are mappings from $\mathcal{J}$ into $\mathcal{U}$, such that

(i) 

$O_1\ell +O_2\aleph \in \mathcal{J}$for every pair ℓ, $\aleph \in \mathcal{J}$,

(ii) 

$O_2$is a contraction mapping,

(ii) 

$O_1$is continuous and compact,

then there is $\Im \in \mathcal{J}$, such that $\Im =O_1\Im +O_2\Im$.

3. Main Results

In this section, we present and prove the existence, uniqueness, and Hyers–Ulam stability results of (2). To prove our main results, the assumptions listed below are assumed:

(G1): There exist a function $\Delta :\mp \times {\mathbb{R}}^n⟶L_2^0$ that is continuous, and a constant $U_{\Delta }\in L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)$ and $r_2>1$, such that

$$\mathbf{E}{∥\Delta \left(\ell ,{\aleph }_1\right)-\Delta \left(\ell ,{\aleph }_2\right)∥}_{L_2^0}^{\mu }\le U_{\Delta }\left(\ell \right)\mathbf{E}{∥{\aleph }_1-{\aleph }_2∥}^{\mu },\mathrm{for}\mathrm{all}\ell \in \mp ,{\aleph }_1,{\aleph }_2\in {\mathbb{R}}^n.$$

Let $\mu \in \left[2,\infty \right)$ and ${sup}_{\ell \in \mp }\mathbf{E}{∥\Delta \left(\ell ,0\right)∥}_{L_2^0}^{\mu }=W_{\Delta }<\infty$.

(G2): There exist a function $\hslash :\mp \times {\mathbb{R}}^n⟶L_2^0$ that is continuous, and a constant $U_{\hslash }\in L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)$ and $r_2>1$, such that

$$\mathbf{E}{∥\hslash \left(\ell ,{\aleph }_1\right)-\hslash \left(\ell ,{\aleph }_2\right)∥}^{\mu }\le U_{\hslash }\left(\ell \right)\mathbf{E}{∥{\aleph }_1-{\aleph }_2∥}^{\mu },\mathbf{E}{∥\hslash \left(\ell ,\aleph \right)∥}^{\mu }\le U_{\hslash }\left(\ell \right)\left(1+\mathbf{E}{∥\aleph ∥}^{\mu }\right),$$

for all $\ell \in \mp$, ${\aleph }_1,{\aleph }_2\in {\mathbb{R}}^n$.

Using Krasnoselskii’s fixed point theorem, we now prove the existence and uniqueness results.

Theorem 1. 

If $\left(\mathbf{G}\mathbf{1}\right)$–$\left(\mathbf{G}\mathbf{2}\right)$ holds, then there exists a unique mild solution of the nonlinear stochastic system (2), provided that

$$2^{\mu -1}{W}_2+W_3<1,$$

(6)

where

$$W_2:=\frac{{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu \left(H+1\right)-\frac{1}{r_2}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\Delta }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)},$$

and

$$W_3:=\frac{{\varpi }^{\mu +\frac{1}{r_1}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\hslash }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)},$$

for $\frac{1}{r_1}+\frac{1}{r_2}=1$, $r_1$, $r_2>1$.

Proof. 

We deal with the set

$${\mathcal{T}}_{\varrho }=\left\{\aleph \in \mathcal{Q}:{∥\aleph ∥}_{\mathcal{Q}}^{\mu }=\underset{\ell \in \mp }{sup}\mathbf{E}{∥\aleph \left(\ell \right)∥}^{\mu }\le \varrho \right\},$$

for each positive number $\varrho$. Let $\ell \in \mp$. Applying Lemma 1, we then transform problem (2) into a fixed point problem and define an operator $F:\mathcal{Q}⟶\mathcal{Q}$ by

$$\begin{array}{cc}\hfill \left(F\aleph \right)\left(\ell \right)& ={\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)\psi \left(0\right)+{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right){\psi }^{\prime }\left(0\right)\hfill \\ \hfill & -\mathbb{D}{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right),\hfill \end{array}$$

for $\ell \in \mp$. Decomposing the operator F, the operators ${\mathcal{L}}_1$ and ${\mathcal{L}}_2$ can be described on ${\mathcal{T}}_{\varrho }$, as provided below:

$$\begin{array}{cc}\hfill \left({\mathcal{L}}_1\aleph \right)\left(\ell \right)& ={\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)\psi \left(0\right)+{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right){\psi }^{\prime }\left(0\right)\hfill \\ \hfill & -\mathbb{D}{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma ,\hfill \end{array}$$

(7)

$$\left({\mathcal{L}}_2\aleph \right)\left(\ell \right)={\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right).$$

(8)

At this point, we observe that ${\mathcal{T}}_{\varrho }$ is a convex set, closed and bounded of $\mathcal{Q}$. Consequently, our proof consists of three essential steps:

Step 1. We show the existence of $\varrho >0$, such that ${\mathcal{L}}_1\aleph +{\mathcal{L}}_2\Im \in {\mathcal{T}}_{\varrho }$ for all ℵ, $\Im \in {\mathcal{T}}_{\varrho }$. For each $\ell \in \mp$ and ℵ, $\Im \in {\mathcal{T}}_{\varrho }$, and using (7) and (8), we obtain

$$\begin{array}{cc}\hfill & {∥{\mathcal{L}}_1\aleph +{\mathcal{L}}_2\Im ∥}_{\mathcal{Q}}^{\mu }\hfill \\ \hfill & =\underset{\ell \in \mp }{sup}\mathbf{E}{∥\left({\mathcal{L}}_1\aleph +{\mathcal{L}}_2\Im \right)\left(\ell \right)∥}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}\left[{∥{\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)∥}^{\mu }\mathbf{E}{∥\psi \left(0\right)∥}^{\mu }+{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)∥}^{\mu }\mathbf{E}{∥{\psi }^{\prime }\left(0\right)∥}^{\mu }\right.\hfill \\ \hfill & +{∥\mathbb{D}∥}^{\mu }\mathbf{E}{∥{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & +\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & \left.+\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\right]\hfill \\ \hfill & ={\sum }_{n=1}^5{\mathbb{I}}_n.\hfill \end{array}$$

(9)

From Lemma 4, we have

$$\begin{array}{cc}\hfill {\mathbf{I}}_1& =5^{\mu -1}{∥{\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)∥}^{\mu }\mathbf{E}{∥\psi \left(0\right)∥}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}{\left({\mathbb{E}}_2\left(∥\mathbb{D}∥{\left(\ell -\zeta \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu },\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mathbf{I}}_2& =5^{\mu -1}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)∥}^{\mu }\mathbf{E}{∥{\psi }^{\prime }\left(0\right)∥}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥{\psi }^{\prime }∥}_C^{\mu },\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mathbf{I}}_3& =5^{\mu -1}{∥\mathbb{D}∥}^{\mu }\mathbf{E}{∥{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}{∥\mathbb{D}∥}^{\mu }{\zeta }^{\mu -1}\mathbf{E}{∥\psi ∥}_C^{\mu }{\int }_{-\zeta }^0{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)∥}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le 5^{\mu -1}{∥\mathbb{D}∥}^{\mu }{\zeta }^{\mu }{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu },\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mathbf{I}}_4& =5^{\mu -1}\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\hfill \\ \hfill & =5^{\mu -1}\mathbf{E}{\left\{{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^2\right\}}^{\mu /2}.\hfill \end{array}$$

Applying Lemmas 2 and 3, we obtain

$$\begin{array}{cc}\hfill {\mathbf{I}}_4& \le 5^{\mu -1}{\tau }_{\mu }{\left\{\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^2\right\}}^{\mu /2}\hfill \\ \hfill & \le 5^{\mu -1}{\tau }_{\mu }{\left\{2H{\ell }^{2H-1}{\int }_0^{\ell }\mathbf{E}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)∥}_{L_2^0}^2\mathrm{d}\varsigma \right\}}^{\mu /2}\hfill \\ \hfill & \le 5^{\mu -1}{\tau }_{\mu }{\left(2H{\ell }^{2H-1}\right)}^{\mu /2}{\left\{{\int }_0^{\ell }\mathbf{E}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)∥}_{L_2^0}^2\mathrm{d}\varsigma \right\}}^{\mu /2}\hfill \\ \hfill & \le 5^{\mu -1}{\tau }_{\mu }{\left(2H{\ell }^{2H-1}\right)}^{\mu /2}\hfill \\ \hfill & \times {\left\{{\left({\int }_0^{\ell }{\left(\mathbf{E}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)∥}_{L_2^0}^2\right)}^{\mu /2}\mathrm{d}\varsigma \right)}^{2/\mu }{\left({\int }_0^{\ell }\mathrm{d}\varsigma \right)}^{\frac{\mu -2}{\mu }}\right\}}^{\mu /2}\hfill \\ \hfill & \le 5^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{\int }_0^{\ell }\mathbf{E}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma .\hfill \end{array}$$

Using Lemma 4 and $\left(\mathbf{G}\mathbf{1}\right)$, we obtain

$$\begin{array}{cc}\hfill {\mathbf{I}}_4& \le 5^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le 5^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}\hfill \\ \hfill & \times 2^{\mu -1}\left\{{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\Delta \left(\varsigma ,\Im \left(\varsigma \right)\right)-\Delta \left(\varsigma ,0\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \right.\hfill \\ \hfill & \left.+{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\Delta \left(\varsigma ,0\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \right\}\hfill \\ \hfill & \le {\left(10\right)}^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}\hfill \\ \hfill & \times \left\{{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\mathbf{E}{∥\Im \left(\varsigma \right)∥}^{\mu }\mathrm{d}\varsigma \right.\hfill \\ \hfill & \left.+W_{\Delta }{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathrm{d}\varsigma \right\}\hfill \\ \hfill & \le {\left(10\right)}^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}\left\{{∥\Im ∥}_{\mathcal{Q}}^{\mu }{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\mathrm{d}\varsigma \right.\hfill \\ \hfill & \left.+\frac{{\varpi }^{\mu +1}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }\right\}.\hfill \end{array}$$

(10)

Additionally, using Hölder inequality and $\left(\mathbf{G}\mathbf{1}\right)$, we obtain

$$\begin{array}{cc}\hfill & {\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & \le {\left({\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu r_1}\mathrm{d}\varsigma \right)}^{\frac{1}{r_1}}{\left({\int }_0^{\ell }{U}_{\Delta }^{r_2}\left(\varsigma \right)\mathrm{d}\varsigma \right)}^{\frac{1}{r_2}}\hfill \\ \hfill & \le {\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{\left({\int }_0^{\ell }{\left(\ell -\varsigma \right)}^{\mu r_1}\mathrm{d}\varsigma \right)}^{\frac{1}{r_1}}{\left({\int }_0^{\ell }{U}_{\Delta }^{r_2}\left(\varsigma \right)\mathrm{d}\varsigma \right)}^{\frac{1}{r_2}}\hfill \\ \hfill & \le \frac{{\varpi }^{\mu +\frac{1}{r_1}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\Delta }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}.\hfill \end{array}$$

(11)

Substituting (11) into (10), we obtain

$$\begin{array}{cc}\hfill {\mathbf{I}}_4& \le {\left(10\right)}^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}\hfill \\ \hfill & \times \left\{\frac{\varrho {\varpi }^{\mu +\frac{1}{r_1}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\Delta }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}+\frac{{\varpi }^{\mu +1}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }\right\}\hfill \\ \hfill & ={\left(10\right)}^{\mu -1}{W}_2\varrho +\frac{{\left(10\right)}^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu \left(H+1\right)}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }.\hfill \end{array}$$

Furthermore, using (11) and $\left(\mathbf{G}\mathbf{2}\right)$, we obtain

$$\begin{array}{cc}\hfill {\mathbf{I}}_5& =5^{\mu -1}\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)∥}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le 5^{\mu -1}{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\hslash }\left(\varsigma \right)\left(1+\mathbf{E}{∥\aleph ∥}^{\mu }\right)\mathrm{d}\varsigma \hfill \\ \hfill & \le \frac{5^{\mu -1}\left(1+\varrho \right){\varpi }^{\mu +\frac{1}{r_1}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\hslash }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}\hfill \\ \hfill & =5^{\mu -1}\left(1+\varrho \right)W_3.\hfill \end{array}$$

From ${\mathbf{I}}_1$ to ${\mathbf{I}}_5$, (9) becomes

$$\begin{array}{cc}\hfill & {∥{\mathcal{L}}_1\aleph +{\mathcal{L}}_2\Im ∥}_{\mathcal{Q}}^{\mu }\hfill \\ \hfill & \le 5^{\mu -1}\left\{{\left({\mathbb{E}}_2\left(∥\mathbb{D}∥{\left(\ell -\zeta \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu }\right.\hfill \\ \hfill & +{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥{\psi }^{\prime }∥}_C^{\mu }\hfill \\ \hfill & +{∥\mathbb{D}∥}^{\mu }{\zeta }^{\mu }{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu }\hfill \\ \hfill & +2^{\mu -1}{W}_2\varrho +\frac{2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu \left(H+1\right)}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }\hfill \\ \hfill & \left.+\left(1+\varrho \right)W_3\right\}\hfill \\ \hfill & \le 5^{\mu -1}\left\{\theta \left(\varpi \right)+\varrho \left(2^{\mu -1}{W}_2+W_3\right)+W_3\right\},\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill \theta \left(\ell \right)& ={\left({\mathbb{E}}_2\left(∥\mathbb{D}∥{\left(\ell -\zeta \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu }+{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥{\psi }^{\prime }∥}_C^{\mu }\hfill \\ \hfill & +{∥\mathbb{D}∥}^{\mu }{\zeta }^{\mu }{\left(\ell {\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }\mathbf{E}{∥\psi ∥}_C^{\mu }\hfill \\ \hfill & +\frac{2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\ell }^{\mu \left(H+1\right)}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\ell }^2\right)\right)}^{\mu }.\hfill \end{array}$$

As a result, from (6), we obtain ${\mathcal{L}}_1\aleph +{\mathcal{L}}_2\Im \in {\mathcal{T}}_{\varrho }$ for some $\varrho$ sufficiency large.

Step 2. We show that ${\mathcal{L}}_1:{\mathcal{T}}_{\varrho }⟶\mathcal{Q}$ is a contraction. For each $\ell \in \mp$ and ℵ, $\Im \in {\mathcal{T}}_{\varrho }$, using (7) and $\left(\mathbf{G}\mathbf{2}\right)$, we obtain

$$\begin{array}{cc}\hfill & \mathbf{E}{∥\left({\mathcal{L}}_1\aleph \right)\left(\ell \right)-\left({\mathcal{L}}_1\Im \right)\left(\ell \right)∥}^{\mu }\hfill \\ \hfill & =\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\left[\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)-\hslash \left(\varsigma ,\Im \left(\varsigma \right)\right)\right]\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & \le \mathbf{E}{∥\aleph -\Im ∥}_{\mathcal{Q}}^{\mu }{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\hslash }\left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & \le W_3{∥\aleph -\Im ∥}_{\mathcal{Q}}^{\mu }.\hfill \end{array}$$

As we can see from (6), noting $W_3<1$, that ${\mathcal{L}}_1$ is a contraction mapping.

Step 3. We show that ${\mathcal{L}}_2:{\mathcal{T}}_{\varrho }⟶\mathcal{Q}$ is a continuous compact operator. First, we verify the continuity of ${\mathcal{L}}_2$. Consider ${\aleph }_n\in {\mathcal{T}}_{\varrho }$ with ${\aleph }_n⟶\aleph$ as $n⟶\infty$ in ${\mathcal{T}}_{\varrho }$. Thus, using Lebesgue’s dominated convergence theorem and (8), we obtain, for each $\ell \in \mp$,

$$\begin{array}{cc}\hfill & \mathbf{E}{∥\left({\mathcal{L}}_2{\aleph }_n\right)\left(\ell \right)-\left({\mathcal{L}}_2\aleph \right)\left(\ell \right)∥}^{\mu }\hfill \\ \hfill & \le {\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{\int }_0^{\ell }{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)∥}^{\mu }\mathbf{E}{∥\Delta \left(\varsigma ,{\aleph }_n\left(\varsigma \right)\right)-\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le {\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\hfill \\ \hfill & \times {∥{\aleph }_n-\aleph ∥}_{\mathcal{Q}}^{\mu }\mathrm{d}\varsigma ⟶0,\mathrm{as}n⟶\infty .\hfill \end{array}$$

This proves the continuity of ${\mathcal{L}}_2:{\mathcal{T}}_{\varrho }⟶\mathcal{Q}$. Thereafter, we show that ${\mathcal{L}}_2$ is uniformly bounded on ${\mathcal{T}}_{\varrho }$. For each $\ell \in \mp$, $\aleph \in {\mathcal{T}}_{\varrho }$, we have

$$\begin{array}{cc}\hfill {∥{\mathcal{L}}_2\aleph ∥}_{\mathcal{Q}}^{\mu }& =\underset{\ell \in \mp }{sup}\mathbf{E}{∥\left({\mathcal{L}}_2\aleph \right)\left(\ell \right)∥}^{\mu }\hfill \\ \hfill & \le \underset{\ell \in \mp }{sup}\left\{\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\right\}\hfill \\ \hfill & \le 2^{\mu -1}{W}_2\varrho +\frac{2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu \left(H+1\right)}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu },\hfill \end{array}$$

this indicates that, on ${\mathcal{T}}_{\varrho }$, ${\mathcal{L}}_2$ is uniformly bounded. Showing that ${\mathcal{L}}_2$ is equicontinuous is still necessary. For each ${\ell }_2$, ${\ell }_3\in \mp$, $0<{\ell }_2<{\ell }_3\le \varpi$ and $\aleph \in {\mathcal{T}}_{\varrho }$, using (8), we obtain

$$\begin{array}{cc}\hfill & \left({\mathcal{L}}_2\aleph \right)\left({\ell }_3\right)-\left({\mathcal{L}}_2\aleph \right)\left({\ell }_2\right)\hfill \\ \hfill & ={\int }_0^{{\ell }_3}{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)\hfill \\ \hfill & -{\int }_0^{{\ell }_2}{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)\hfill \\ \hfill & ={\Psi }_1+{\Psi }_2,\hfill \end{array}$$

where

$${\Psi }_1={\int }_{{\ell }_2}^{{\ell }_3}{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right),$$

and

$${\Psi }_2={\int }_0^{{\ell }_2}\left[{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)\right]\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right).$$

Thus

$$\begin{array}{cc}\hfill \mathbf{E}{∥\left({\mathcal{L}}_2\aleph \right)\left({\ell }_3\right)-\left({\mathcal{L}}_2\aleph \right)\left({\ell }_2\right)∥}^{\mu }& =\mathbf{E}{∥{\Psi }_1+{\Psi }_2∥}^{\mu }\hfill \\ \hfill & \le 2^{\mu -1}\left\{\mathbf{E}{∥{\Psi }_1∥}^{\mu }+\mathbf{E}{∥{\Psi }_2∥}^{\mu }\right\}.\hfill \end{array}$$

(12)

Now, we can check $∥{\Psi }_r∥⟶0$ as ${\ell }_2⟶{\ell }_3$, when $r=1$, 2. For ${\Psi }_1$, we obtain

$$\begin{array}{cc}\hfill \mathbf{E}{∥{\Psi }_1∥}^{\mu }& =\mathbf{E}{∥{\int }_{{\ell }_2}^{{\ell }_3}{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\hfill \\ \hfill & \le {\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\left({\ell }_3-{\ell }_2\right)}^{\mu H-1}{\int }_{{\ell }_2}^{{\ell }_3}\mathbf{E}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le 2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\left({\ell }_3-{\ell }_2\right)}^{\mu H-1}\hfill \\ \hfill & \times \left\{\varrho {\int }_{{\ell }_2}^{{\ell }_3}{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\mathrm{d}\varsigma \right.\hfill \\ \hfill & \left.+\frac{{\left({\ell }_3-{\ell }_2\right)}^{\mu +1}{W}_{\Delta }}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left({\ell }_3-{\ell }_2\right)}^2\right)\right)}^{\mu }\right\}⟶0,\mathrm{as}{\ell }_2⟶{\ell }_3.\hfill \end{array}$$

For ${\Psi }_2$, we obtain

$$\begin{array}{cc}\hfill & \mathbf{E}{∥{\Psi }_2∥}^{\mu }\hfill \\ \hfill & =\mathbf{E}{∥{\int }_0^{{\ell }_2}\left[{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)\right]\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\hfill \\ \hfill & \le {\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\ell }_2^{\mu H-1}\hfill \\ \hfill & \times {\int }_0^{{\ell }_2}\mathbf{E}{∥\left[{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)\right]\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)∥}_{L_2^0}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \le 2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\ell }_2^{\mu H-1}\hfill \\ \hfill & \times \left\{\varrho {\int }_0^{{\ell }_2}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)∥}^{\mu }{U}_{\Delta }\left(\varsigma \right)\mathrm{d}\varsigma \right.\hfill \\ \hfill & \left.+W_{\Delta }{\int }_0^{{\ell }_2}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)∥}^{\mu }\mathrm{d}\varsigma \right\}\hfill \\ \hfill & \le 2^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\ell }_2^{\mu H-1}\hfill \\ \hfill & \times \left\{\varrho {∥U_{\Delta }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}\right.\hfill \\ \hfill & \times {\left({\int }_0^{{\ell }_2}{\left({∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)∥}^{\mu }\right)}^{r_1}\right)}^{1/r_1}\mathrm{d}\varsigma \hfill \\ \hfill & \left.+W_{\Delta }{\int }_0^{{\ell }_2}{∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)∥}^{\mu }\mathrm{d}\varsigma \right\}.\hfill \end{array}$$

From (4), knowing that ${\mathcal{M}}_{\zeta }\left(\mathbb{D}\ell \right)$ is uniformly continuous for $\ell \in \mp ,$ we obtain

$$∥{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_3-\zeta -\varsigma \right)\right)-{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left({\ell }_2-\zeta -\varsigma \right)\right)∥⟶0,\mathrm{as}{\ell }_2⟶{\ell }_3.$$

Therefore, we have $∥{\Psi }_r∥⟶0$ as ${\ell }_2⟶{\ell }_3$, when $r=1$, 2, which leads, via (12), to

$$\mathbf{E}{∥\left({\mathcal{L}}_2\aleph \right)\left({\ell }_3\right)-\left({\mathcal{L}}_2\aleph \right)\left({\ell }_2\right)∥}^{\mu }⟶0,\mathrm{as}{\ell }_2⟶{\ell }_3,$$

for all $\aleph \in {\mathcal{T}}_{\varrho }$. Then, ${\mathcal{L}}_2$ is compact on ${\mathcal{T}}_{\varrho }$ via the Arzelà-Ascoli theorem (see [40]). As a result, $F\aleph ={\mathcal{L}}_1\aleph +{\mathcal{L}}_2\aleph$ has a fixed point ℵ in ${\mathcal{T}}_{\varrho }$, in accordance with Lemma 6. Furthermore, ℵ is also a solution of (2) and $\left({\mathcal{L}}_1\aleph +{\mathcal{L}}_2\aleph \right)\left(\varpi \right)={\aleph }_1$. Therefore, (2) has a mild solution. This completes the proof.  □

Next, we verify the Hyers–Ulam stability via Grönwall’s inequality lemma approach.

Theorem 2. 

If the assumptions of Theorem 1 are satisfied, then the system (2) has Ulam–Hyers stability.

Proof. 

Assume that ℵ is the unique solution of (2) and $\Pi \in C\left(\mp ,{\mathbb{R}}^n\right)$ is a solution of the inequality (5) with the aid of Theorem 1. Then

$$\begin{array}{cc}\hfill \aleph \left(\ell \right)& ={\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)\psi \left(0\right)+{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right){\psi }^{\prime }\left(0\right)\hfill \\ \hfill & -\mathbb{D}{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right).\hfill \end{array}$$

Based on Remark 1, then

$${\Pi }^{″}\left(\ell \right)=-\mathbb{D}\Pi \left(\ell -\zeta \right)+\Delta \left(\ell ,\Pi \left(\ell \right)\right)\mathrm{d}{Z}_H\left(\ell \right)+\hslash \left(\ell ,\Pi \left(\ell \right)\right)+\mathcal{E}\left(\ell \right),\ell \in \mp ,$$

can be expressed as

$$\begin{array}{cc}\hfill \Pi \left(\ell \right)& ={\mathcal{H}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right)\psi \left(0\right)+{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta \right)\right){\psi }^{\prime }\left(0\right)\hfill \\ \hfill & -\mathbb{D}{\int }_{-\zeta }^0{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -2\zeta -\varsigma \right)\right)\psi \left(\varsigma \right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\Delta \left(\varsigma ,\Pi \left(\varsigma \right)\right)\mathrm{d}{Z}_H\left(\varsigma \right)\hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\hslash \left(\ell ,\Pi \left(\ell \right)\right)\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\mathcal{E}\left(\varsigma \right)\mathrm{d}\varsigma .\hfill \end{array}$$

In the same manner as in the proof of Theorem 1 and, as a consequence of (9), we have

$$\begin{array}{cc}\hfill & \mathbf{E}{∥\Pi \left(\ell \right)-\aleph \left(\ell \right)∥}^{\mu }\hfill \\ \hfill & \le 3^{\mu -1}\left\{\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\left[\Delta \left(\varsigma ,\Pi \left(\varsigma \right)\right)-\Delta \left(\varsigma ,\aleph \left(\varsigma \right)\right)\right]\mathrm{d}{Z}_H\left(\varsigma \right)∥}^{\mu }\right.\hfill \\ \hfill & +\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\left[\hslash \left(\ell ,\Pi \left(\ell \right)\right)-\hslash \left(\ell ,\aleph \left(\ell \right)\right)\right]\mathrm{d}\varsigma ∥}^{\mu }\hfill \\ \hfill & \left.+\mathbf{E}{∥{\int }_0^{\ell }{\mathcal{M}}_{\zeta }\left(\mathbb{D}\left(\ell -\zeta -\varsigma \right)\right)\mathcal{E}\left(\varsigma \right)\mathrm{d}\varsigma ∥}^{\mu }\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \le 3^{\mu -1}\left\{{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\Delta }\left(\varsigma \right)\right.\hfill \\ \hfill & \times \mathbf{E}{∥\Pi \left(\varsigma \right)-\aleph \left(\varsigma \right)∥}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & +{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left({∥\mathbb{D}∥}^{\mu }{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }{U}_{\hslash }\left(\varsigma \right)\mathbf{E}{∥\Pi \left(\varsigma \right)-\aleph \left(\varsigma \right)∥}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & \left.+{\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\mathbf{E}{∥\mathcal{E}\left(\varsigma \right)∥}^{\mu }\mathrm{d}\varsigma \right\}\hfill \\ \hfill & \le {\int }_0^{\ell }{\left(\left(\ell -\varsigma \right){\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\left(\ell -\varsigma \right)}^2\right)\right)}^{\mu }\left(3^{\mu -1}{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu H-1}{U}_{\Delta }\left(\varsigma \right)+3^{\mu -1}{U}_{\hslash }\left(\varsigma \right)\right)\hfill \\ \hfill & \times \mathbf{E}{∥\Pi \left(\varsigma \right)-\aleph \left(\varsigma \right)∥}^{\mu }\mathrm{d}\varsigma \hfill \\ \hfill & +\frac{3^{\mu -1}{\varpi }^{\mu +1}\kappa }{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }.\hfill \end{array}$$

Applying Grönwall’s inequality (Lemma 5), we obtain

$$\mathbf{E}{∥\Pi \left(\ell \right)-\aleph \left(\ell \right)∥}^{\mu }\le \frac{3^{\mu -1}{\varpi }^{\mu +1}\kappa }{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }exp\left(3^{\mu -1}\left(W_2+W_3\right)\right),$$

which implies that

$$\mathbf{E}{∥\Pi \left(\ell \right)-\aleph \left(\ell \right)∥}^{\mu }\le W\kappa ,$$

where

$$W:=\frac{3^{\mu -1}{\varpi }^{\mu +1}}{\mu +1}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }exp\left(3^{\mu -1}\left(W_2+W_3\right)\right).$$

Therefore, there exists W, which satisfies Definition 2. This ends the proof.  □

4. An Example

Consider the following nonlinear stochastic delay system driven by the Rosenblatt process:

$$\begin{array}{c}{\aleph }^{″}\left(\ell \right)+\mathbb{D}\aleph \left(\ell -0.5\right)=\hslash \left(\ell ,\aleph \left(\ell \right)\right)+\Delta \left(\ell ,\aleph \left(\ell \right)\right)\frac{\mathrm{d}{Z}_H\left(\ell \right)}{\mathrm{d}\ell },\mathrm{for}\ell \in \mp :=\left[0,1\right],\\ \aleph \left(\ell \right)\equiv \psi \left(\ell \right),{\aleph }^{\prime }\left(\ell \right)\equiv {\psi }^{\prime }\left(\ell \right)\mathrm{for}-0.5\le \ell \le 0,\end{array}$$

(13)

where

$$\aleph \left(\ell \right)=\left(\genfrac{}{}{0pt}{}{{\aleph }_1\left(\ell \right)}{{\aleph }_2\left(\ell \right)}\right),\mathbb{D}=\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right),$$

and

$$\hslash \left(\ell ,\aleph \left(\ell \right)\right)=\left(\begin{array}{c}\left(sin\ell \right){\aleph }_1\left(\ell \right)\\ \left(sin\ell \right){\aleph }_2\left(\ell \right)\end{array}\right),\Delta \left(\ell ,\aleph \left(\ell \right)\right)=\left(\begin{array}{c}\frac{\sqrt{\ell }{e}^{-\ell }}{4}{\aleph }_1\left(\ell \right)\\ \frac{\sqrt{\ell }{e}^{-\ell }}{4}{\aleph }_2\left(\ell \right)\end{array}\right).$$

Next, by choosing $\mu =r_1=r_2=2$, we obtain

$$\begin{array}{cc}\hfill \mathbf{E}{∥\Delta \left(\ell ,\aleph \right)-\Delta \left(\ell ,\Im \right)∥}_{L_2^0}^2& ={\left(\frac{\sqrt{\ell }{e}^{-\ell }}{4}\right)}^2\left[{\left({\aleph }_1\left(\ell \right)-{\Im }_1\left(\ell \right)\right)}^2+{\left({\aleph }_2\left(\ell \right)-{\Im }_2\left(\ell \right)\right)}^2\right]\hfill \\ \hfill & =\frac{\ell e^{-2\ell }}{16}\mathbf{E}{∥\aleph -\Im ∥}^2\hfill \\ \hfill & \le \frac{1}{16}\mathbf{E}{∥\aleph -\Im ∥}^2\hfill \end{array}$$

for all $\ell \in \mp$, and $\aleph \left(\ell \right)$, $\Im \left(\ell \right)\in {\mathbb{R}}^2$. We set $U_{\Delta }\left(\ell \right)=1/16$, such that $U_{\Delta }\in L^2\left(\mp ,{\mathbb{R}}^{+}\right)$ in $\left(\mathbf{G}\mathbf{1}\right)$, we have

$${∥U_{\Delta }∥}_{L^2\left(\mp ,{\mathbb{R}}^{+}\right)}={\left({\int }_0^1{\left[\frac{1}{16}\right]}^2\mathrm{d}\varsigma \right)}^{\frac{1}{2}}=0.0625.$$

Thus, selecting $H=0.75$ and ${\tau }_{\mu }=1.15$, we get

$$W_2=\frac{{\tau }_{\mu }{\left(2H\right)}^{\mu /2}{\varpi }^{\mu \left(H+1\right)-\frac{1}{r_2}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\Delta }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}=0.065.$$

Furthermore, we have

$$\begin{array}{cc}\hfill \mathbf{E}{∥\hslash \left(\ell ,\aleph \right)-\hslash \left(\ell ,\Im \right)∥}^2& ={sin}^2\ell \left[{\left({\aleph }_1\left(\ell \right)-{\Im }_1\left(\ell \right)\right)}^2+{\left({\aleph }_2\left(\ell \right)-{\Im }_2\left(\ell \right)\right)}^2\right]\hfill \\ \hfill & =U_{\hslash }\left(\ell \right)\mathbf{E}{∥\aleph -\Im ∥}^2.\hfill \end{array}$$

We set $U_{\hslash }\left(\ell \right)={sin}^2\ell$, such that $U_{\hslash }\in L^2\left(\mp ,{\mathbb{R}}^{+}\right)$ in $\left(\mathbf{G}\mathbf{2}\right)$, we have

$${∥U_{\hslash }∥}_{L^2\left(\mp ,{\mathbb{R}}^{+}\right)}={\left({\int }_0^1{sin}^4\varsigma \mathrm{d}\varsigma \right)}^{\frac{1}{2}}=0.35217.$$

Hence

$$W_3=\frac{{\varpi }^{\mu +\frac{1}{r_1}}}{{\left(\mu r_1+1\right)}^{\frac{1}{r_1}}}{\left({\mathbb{E}}_{2,2}\left(∥\mathbb{D}∥{\varpi }^2\right)\right)}^{\mu }{∥U_{\hslash }∥}_{L^{r_2}\left(\mp ,{\mathbb{R}}^{+}\right)}=0.21752.$$

Finally, we calculate that

$$2^{\mu -1}{W}_2+W_3=0.3475<1,$$

which follows that all the assumptions of Theorems 1 and 2 hold. Therefore, the system (13) has a unique mild solution ℵ, and is Hyers–Ulam stable.

5. Conclusions

In this work, based on fixed point theory, we used the solutions of (2) to prove the existence and uniqueness of solutions. After that, we derived the Hyers–Ulam stability results using the delayed matrix functions and Grönwall’s inequality. Finally, we verified the theoretical results by providing an example with a numerical simulation, which showed that our results applied to not only all non-singular matrices, but also all singular and arbitrary matrices, not necessarily squares. This is a novel study to prove the well-posedness and Hyers–Ulam stability of (2) using the delayed matrix functions.

In this study, further studies will focus on the obtained results to ascertain the existence and Hyers–Ulam stability of different types of stochastic delay systems, such as fractional or impulsive fractional stochastic delay systems driven by the Rosenblatt process.