Existence of Hilfer Fractional Stochastic Differential Equations with Nonlocal Conditions and Delay via Almost Sectorial Operators

Abstract

In this article, we examine the existence of Hilfer fractional $(\mathtt{HF})$ stochastic differential systems with nonlocal conditions and delay via almost sectorial operators. The major methods depend on the semigroup of operators method and the $M\ddot{o}nch$ fixed-point technique via the measure of noncompactness, and the fundamental theory of fractional calculus. Finally, to clarify our key points, we provide an application.

1. Introduction

We analyse the nonlocal stochastic differential equations with $\mathtt{HF}$ derivative and almost sectorial operators

$$\begin{array}{cc}\hfill & D_{0^{+}}^{\lambda ,\mu }z(\wp )=\tilde{A}z(\wp )+\mathcal{F}\left(\wp ,z_{\wp }\right)+\mathcal{H}\left(\wp ,z_{\wp }\right)\frac{dW(\wp )}{d\wp },\wp \in {\mathrm{J}}^{\prime }=(0,d],\hfill \end{array}$$

(1)

$$\begin{array}{cc}\hfill & I_{0^{+}}^{(1-\lambda )(1-\mu )}z(0)+N(z_{\wp })=\xi \in L^2(\Lambda ,B_H),\wp \in (-\infty ,0],\hfill \end{array}$$

(2)

where $\tilde{A}$ denotes the almost sectorial operator that also generates an analytic semigroup $\{T(\wp ),\wp \ge 0\}$ on $\mathcal{X}$. $D_{0^{+}}^{\lambda ,\mu }$ stands for the $\mathtt{HFD}$ of order $\lambda ,0<\lambda <1$ and type $\mu ,0\le \mu \le 1$. Let $z(·)$ be the state in a Hilbert space $\mathcal{X}$ with $\parallel ·\parallel$. The histories $z_{\wp }:(-\infty ,0]\to B_H,z_{\wp }(a)=z(\wp +a),a\le 0$ are associated with phase space $B_H$. Set $\mathrm{J}=[0,d],$ and let $\mathcal{F}:\mathrm{J}\times B_H\to \mathcal{X}$ and $\mathcal{H}:\mathrm{J}\times B_H\to L_2^0(\mathcal{U},\mathcal{X})$ be the $\mathcal{X}$-valued functions and nonlocal term $N:B_H\to \mathcal{X}$.

In 1695, the concept of fractional calculus was presented as an important branch of mathematics. It took place at about the same time as the creation of classical calculus. Investigators have shown that various nonlocal events in the disciplines of architecture and biological sciences may be effectively expressed using fractional calculus. High-viscosity, nonlinear cycles in self-comparable and porous frameworks, fluid movement analogous to diffusion, heat flow, glasses, compressibility, and other areas are among the most popular applications of fractional calculus. Because analytic setups are often challenging to obtain, the useful application of fractional calculus in these fields has encouraged many investigators to consider their options. With an expanding variety of applications in economics, inorganic chemistry, neurobiology, compressibility, pharmacology, operations research, data analysis, etc., fractional calculus is receiving more attention from the scientific community. Additionally, it has been demonstrated that fractional differential equations may be helpful modelling tools in various scientific and engineering domains. Recent years have seen a significant advancement in the field of fractional differential equations. For more information, consult the bibliography by Kilbas et al. [1], Miller and Ross [2], Podlubny [3], Lakshmikantham et al. [4], Zhou [5], as well as the papers [6,7,8,9,10,11,12,13,14,15,16] and the references therein.

Furthermore, stochastic partial differential equations have drawn much interest since they were first used to mathematically simulate various events in the humanities and natural sciences [17]. Since noise or uncontrolled fluctuations are inherent and plentiful in natural and artificial systems, stochastic models should be studied rather than deterministic ones. Stochastic differential equations (SDEs) include unpredictability in the mathematical representation of a certain occurrence. The application of SDEs in finite and infinite dimensions to describe diverse phenomena in population dynamics, physics, electrical engineering, geography, psychology, biochemistry, and some other domains of physics and technology has lately attracted a lot of attention; refer to [18,19,20,21,22,23,24] for a broad introduction to stochastic differential equations and their applications.

Hilfer [25] initiated another type of fractional order derivative, which involved the R-L and Caputo fractional derivatives. Additionally, through conceptual predictions of laboratories in solid materials, chemical industries, sets of structures designed, architecture, and several other areas, the importance and implications of the $\mathtt{HFD}$ have been identified. Gu and Trujillo [26] recently used a fixed-point method and a noncompact measure approach to demonstrate that the Hilfer fractional derivative evolution issue had an integral solution. They created the most recent parameter $\mu \in [0,1]$ and a fractional parameter $\lambda$, so that $\mu =0$ produced the R-L derivative and $\lambda =1$ produced the Caputo derivative, to indicate the derivative’s order. Hilfer fractional calculus has been the subject of several academic works, especially [20,27,28,29]. Researchers found a mild solution for $\mathtt{HFD}$ systems using almost sectorial operators and a fixed-point technique, according to [30,31,32,33].

Researchers are employing almost sectorial operators to advance fractional existence for fractional calculus. Researchers have developed a novel method for locating mild solutions for the system under investigation. Researchers have also established a theory that uses fractional calculus, semigroup operators, multivalued maps, the measure of noncompactness, the transfer function, the Wright function, and the fixed-point technique to infer different features of linked semigroups formed by almost sectorial operators. For further information, we can refer to [30,33,34,35,36,37]. In [30,31,32], researchers used Schauder’s fixed-point theorem to arrive at their conclusions via almost sectorial operators. Researchers have recently used the nondense fields, cosine families, semigroup theory, numerous fixed-point approaches, and the measure of noncompactness to build fractional differential systems with nonlocal conditions with or without delay. The authors in [38,39] established their results via the $M\ddot{o}nch$ fixed-point technique with the measure of noncompactness.

In 2017, Yang et al. [29] explored the existence of mild solutions for a class of $\mathtt{HF}$ evolution equations with nonlocal conditions in a Banach space, by employing the semigroup principle, fixed-point strategies, and the measure of noncompactness. Recent research has focused on the existence of mild solutions and controllability outcomes of Hilfer Fractional differential equations ($\mathtt{HFDEs}$) with delay, using the measure of noncompactness [38,39]. By utilizing Krasnoselskii’s fixed-point theorem, Dineshkumar et al. [20] developed a special collection of required criteria for the approximate controllability of an $\mathtt{HF}$ neutral stochastic delay integrodifferential system. In earlier research, Vijayakumar et al. [40] improved the idea of $\mathtt{HFDEs}$ to analyse infinite delays. The authors also discussed the appropriate presumptions necessary to prove the existence of mild solutions and the approximate controllability of $\mathtt{HFDEs}$ with delay in this paper. Nonetheless, most definitely, the study of the existence of $\mathtt{HF}$ stochastic differential systems with nonlocal conditions and infinite delay via almost sectorial operators using the measure of noncompactness outlined in this article has not been comprehended, and this encourages the present paper.

The remainder of the document is structured as follows: In Section 2, we cover the principles of fractional calculus, semigroups, phase spaces, almost sectorial operators, and measure of noncompactness. In Section 3, we present the existence of a mild solution to the considered system. Finally, to clarify our key points, we provide an application in Section 4.

2. Preliminaries

In this section, the essential preliminaries, fundamental definitions, notations, and lemmas of fractional calculus that are needed to establish the main results are presented.

The following important properties of ${\tilde{A}}^{\eta }$ is discussed.

Theorem 1

(see [12]).

  1.  

Suppose $0<\eta \le 1$, and the accompanying ${\mathcal{X}}_{\eta }=D({\tilde{A}}^{\eta })$ is a Banach space with ${\parallel z\parallel }_{\eta }=\parallel {\tilde{A}}^{\eta }z\parallel ,z\in {\mathcal{X}}_{\chi }$.

  2.  

Assume $0<\gamma <\eta \le 1$, and the accompanying $D({\tilde{A}}^{\eta })\to D({\tilde{A}}^{\gamma })$ and the technique are compact while $\tilde{A}$ is compact.

  3.  

For all $0<\eta \le 1$, there exists $C_{\eta }>0$ such that

$$\parallel {\tilde{A}}^{\eta }\mathsf{S}(\wp )\parallel \le \frac{C_{\eta }}{{\wp }^{\eta }},0<\wp \le d.$$

The family of all highly quantifiable, square-integrable, $\mathcal{X}$-valued random components, specified as $L_2(\Lambda ,\mathcal{X})$, is a Banach space associated with ${\parallel z(·)\parallel }_{L_2(\Lambda ,\mathcal{X})}={\left({E\parallel z(.,W)\parallel }^2\right)}^{\frac{1}{2}}$, where E is identified as $E(z)={\int }_{\Lambda }z(W)dP$. A necessary subspace of $L_2(\Lambda ,\mathcal{X})$ is provided by

$$L_2^0(\mathfrak{s},\mathcal{X})=\{z\in L_2(\Lambda ,\mathcal{X}),z\mathrm{is}{\mathcal{F}}_0-\mathrm{measurable}\}.$$

Let $\complement :\mathrm{J}\to \mathcal{X}$ be the collection of all continuous functions, where $\mathrm{J}=[0,d]$ and ${\mathrm{J}}^{\prime }=(0,d]$ with $d>0$. Take $Y=\left\{z\in \complement :{lim}_{\wp \to 0}{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }z(\wp )\mathrm{exists}\mathrm{and}\mathrm{finite}\right\},$ which is the Banach space and its norm on ${\parallel ·\parallel }_Y$, defined as ${\parallel z\parallel }_Y={sup}_{\wp \in {\mathrm{J}}^{\prime }}\left\{{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }\parallel z(\wp )\parallel \right\}$. Set ${\mathcal{B}}_P(\mathrm{J})=\{u\in \complement \mathrm{such}\mathrm{that}\parallel u\parallel \le P\}$. We note that, if $z(\wp )={\wp }^{-1+\mu -\lambda \mu +\lambda \vartheta }y(\wp ),\wp \in (0,d]$, then $z\in Y\mathrm{iff}y\in {\complement \mathrm{and}\parallel z\parallel }_Y=\parallel y\parallel .$ We introduce $\mathcal{H}$ with ${\parallel \mathcal{H}\parallel }_{L^p(\mathrm{J},{\mathbb{R}}^{+})}$ through $\mathcal{H}\in L^p(\mathrm{J},{\mathbb{R}}^{+})$ for all p through $1\le p\le \infty$. The functions $\mathcal{H}:\mathrm{J}\times B_H\to \mathcal{X}$, which are the Bochner integrable functions with norm ${\parallel \mathcal{H}\parallel }_{L^p(\mathrm{J},\mathcal{X})}$, are also specified by $L^p(\mathrm{J},\mathcal{X})$.

Definition 1

(see [5]). The fractional integral of order λ for the function $\mathcal{H}:[d,\infty )\to \mathbb{R}$ having the lower bound d is introduced as

$$\begin{array}{c}\hfill I_{d^{+}}^{\lambda }\mathcal{F}(\wp )=\frac{1}{\Gamma (\lambda )}{\int }_d^{\wp }\frac{\mathcal{F}(\nu )}{{(\wp -\nu )}^{1-\lambda }}d\nu ,\wp >0,\lambda \in {\mathbb{R}}^{+}.\end{array}$$

Definition 2

(see [5]). The R-L derivative has order $\lambda >0,k-1\le \lambda <k,k\in \mathbb{N}$, and its function $\mathcal{H}:[d,+\infty )\to \mathbb{R}$ is described as

$$\begin{array}{c}\hfill {}^L{D}_{d+}^{\lambda }\mathcal{F}(\wp )=\frac{1}{\Gamma (k-\lambda )}\frac{d^k}{d{\wp }^k}{\int }_d^{\wp }\frac{\mathcal{F}(\nu )}{{(\wp -\nu )}^{\lambda +1-k}}d\nu ,\wp >d,\nu \in {\mathbb{R}}^{+}.\end{array}$$

Definition 3

(see [5]). The Caputo derivative has order $\lambda >0,k-1\le \lambda <k,k\in \mathbb{N}$, and its function $\mathcal{F}:[d,+\infty )\to \mathbb{R}$ is classified by

$$\begin{array}{c}\hfill {}^C{D}_{d^{+}}^{\lambda }\mathcal{F}(\wp )=\frac{1}{\Gamma (k-\lambda )}{\int }_d^{\wp }\frac{{\mathcal{F}}^k(\nu )}{{(\wp -\nu )}^{\lambda +1-k}}d\nu =I_{d+}^{k-\lambda }{\mathcal{H}}^k(\wp ),\wp >d,\nu \in {\mathbb{R}}^{+}.\end{array}$$

Definition 4

(see [25]). The $\mathtt{HFD}$ of order $0<\lambda <1$ and type $\mu \in [0,1]$ for the function $\mathcal{H}:[d,+\infty )\to \mathbb{R}$ is

$$\begin{array}{c}\hfill D_{d^{+}}^{\lambda ,\mu }\mathcal{F}(\wp )=\left[I_{d^{+}}^{(1-\lambda )\mu }D(I_{d^{+}}^{(1-\lambda )(1-\mu )}\mathcal{F})\right](\wp ).\end{array}$$

Remark 1.

  1.  

Suppose $\mu =0,0<\lambda <1$, and $d=0$, therefore the $\mathtt{HFD}$ corresponds to the conventional R-L fractional derivative:

$$\begin{array}{c}\hfill D_{0^{+}}^{\lambda ,0}\mathcal{F}(\wp )=\frac{d}{d\nu }{I}_{0+}^{1-\lambda }\mathcal{F}(\wp ){=}^L{D}_{0^{+}}^{\lambda }\mathcal{F}(\wp ).\end{array}$$

  2.  

Suppose $\mu =1,0<\lambda <1$, and $d=0$, therefore the $\mathtt{HFD}$ corresponds to the conventional Caputo fractional derivative:

$$\begin{array}{c}\hfill D_{0^{+}}^{\lambda ,1}\mathcal{F}(\wp )=I_{0^{+}}^{1-\lambda }\frac{d}{d\nu }\mathcal{F}(\wp ){=}^C{D}_{0^{+}}^{\lambda }\mathcal{F}(\wp ).\end{array}$$

Now, we describe the abstract phase space $B_H$. Let $w:(-\infty ,0]\to (0,+\infty )$ be continuous along $l={\int }_{-\infty }^{0}w(\wp )d\wp <+\infty$. Now, for every $n>0$, we have

$$B=\left\{\delta :[-n,0]\to \mathcal{X}\mathrm{such}\mathrm{that}\delta (\wp )\mathrm{is}\mathrm{measurable}\mathrm{and}\mathrm{bounded}\right\},$$

and set the space B with

$$\begin{array}{c}\hfill {\parallel \delta \parallel }_{[-n,0]}=\underset{\tau \in [-n,0]}{sup}\parallel \delta (\tau )\parallel ,\mathrm{for}\mathrm{all}\delta \in \mathcal{B}.\end{array}$$

Now, we define

$$\begin{array}{cc}\hfill B_H=& {\{\delta :(-\infty ,0]\to \mathcal{X}\mathrm{such}\mathrm{that}\mathrm{for}\mathrm{any}n>0,\delta |}_{[-n,0]}\in \mathcal{B}\hfill \\ \hfill & \mathrm{and}{\int }_{-\infty }^{0}w(\tau ){\parallel \delta \parallel }_{[\tau ,0]}d\tau <+\infty \}.\hfill \end{array}$$

If $B_H$ is endowed with

$$\begin{array}{c}\hfill {\parallel \delta \parallel }_{B_H}={\int }_{-\infty }^{0}w(\tau ){\parallel \delta \parallel }_{[\tau ,0]}d\tau ,\mathrm{for}\mathrm{all}\delta \in B_H,\end{array}$$

then $(B_H,\parallel ·\parallel )$ is a Banach space.

Presently, we define the space

$$\begin{array}{c}\hfill B_H^{\prime }=\left\{{z:(-\infty ,d]\to \mathcal{X}\mathrm{such}\mathrm{that}z|}_{\mathrm{J}}\in \complement ,\xi \in B_H\right\}.\end{array}$$

Consider the seminorm ${\parallel ·\parallel }_d$ in $B_H^{\prime }$ defined by

$$\begin{array}{c}\hfill {\parallel z\parallel }_d={\parallel \xi \parallel }_{B_H}+sup\{\parallel z(\tau )\parallel :\tau \in [0,d]\},z\in B_H^{\prime }.\end{array}$$

Lemma 1.

Suppose $z\in B_H^{\prime }$, then for all $\wp \in \mathrm{J},z_{\wp }\in B_H$. Moreover,

$$\begin{array}{c}\hfill l|z(\wp )|\le \parallel z_{\wp }{\parallel }_{B_H}\le {\parallel \xi \parallel }_{B_H}+l\underset{r\in [0,\wp ]}{sup}|z(r)|,\end{array}$$

where $l={\int }_{-\infty }^{0}w(\wp )d\wp <\infty$.

Definition 5

(see [35]). For $0<\vartheta <1,0<\omega <\frac{\pi }{2}$, we determine the family of closed linear operators ${\Theta }_{\omega }^{\vartheta }$, the region $S_{\omega }=\{\theta \in \mathbb{C}\setminus \left\{0\right\}\mathrm{with}|arg\theta |\le \omega \}$ and $\tilde{A}:D(\tilde{A})\subset \mathcal{X}\to \mathcal{X}$ which satisfy:

(i)

$\sigma (\tilde{A})\subseteq S_{\omega }$;

(ii)

$\parallel {(\theta -\tilde{A})}^{-1}\parallel \le {\mathcal{K}}_{\delta }{|\nu |}^{-\vartheta },\mathrm{for}\mathrm{all}\omega <\delta <\pi \mathrm{and}\mathrm{there}\mathrm{exists}\mathrm{a}\mathrm{constant}{\mathcal{K}}_{\delta }.$

Then, $\tilde{A}\in \Theta {\omega }^{-\vartheta }$ is identified as an almost sectorial operator on $\mathcal{X}$.

Proposition 1

(see [35]). Suppose $z\in {\Theta }_{\omega }^{-\vartheta }$, for $0<\vartheta <1$ and $0<\omega <\frac{\pi }{2}$. Next, the following conditions are satisfied:

⋇

$T(\wp )$ is analytic and $\frac{d^k}{d{\wp }^k}T(\wp )={(-\tilde{A})}^{k}T(\wp ),\wp \in S_{\frac{\pi }{2}-\omega };$

⋇

$T(\wp +\nu )=T(\wp )T(\nu ),\mathrm{for}\mathrm{all}\nu ,\wp \in S_{\frac{\pi }{2}-\omega };$

⋇

${\parallel T(\wp )\parallel }_{L(\mathcal{X})}\le {\kappa }_0{\wp }^{\vartheta -1}$, $\wp >0;$ where the constant ${\kappa }_0>0$;

⋇

The $D({\tilde{A}}^{\theta })\subset {\Sigma }_T\mathrm{provided}\theta >1-\vartheta$, if ${\Sigma }_T=\{z\in \mathcal{X}:{lim}_{\wp \to 0^{+}}T(\wp )z=z\}$;

⋇

${(\nu -\tilde{A})}^{-1}={\int }_0^{\infty }{e}^{-v\nu }T(\nu )d\nu$, $\nu \in \mathbb{C}$ and $Re(\nu )>0$.

Definition 6

(see [41]). Define the wright function $W_{\lambda }(\beta )$ by

$$W_{\lambda }(\beta )=\sum _{k\in \mathbb{N}}\frac{{(-\beta )}^{k-1}}{\Gamma (1-\lambda k)(k-1)!},\beta \in \mathbb{C}.$$

(3)

with the following property

$${\int }_0^{\infty }{\theta }^{\iota }{W}_{\lambda }(\theta )d\theta =\frac{\Gamma (1+\iota )}{\Gamma (1+\lambda \iota )},\mathrm{for}\iota \ge 0.$$

Theorem 2

(see [5]). If $\wp >0$, for all $d>0$, the continuity is uniform on $[d,\infty )$, then ${\mathsf{S}}_{\lambda }(\wp )$ and ${\mathsf{Q}}_{\lambda }(\wp )$ are continuous in the uniform operator topology.

Lemma 2

(see [41]). If ${\left\{T_{\gamma }(\wp )\right\}}_{\wp >0}$ is a compact operator, then ${\left\{{\mathsf{S}}_{\gamma ,\delta }(\wp )\right\}}_{\wp >0}$ and ${\left\{{\mathsf{Q}}_{\gamma }(\wp )\right\}}_{\wp >0}$ are also compact linear operators.

Lemma 3

(see [26]). System (1)–(2) is identical to an integral equation presented by

$$\begin{array}{cc}\hfill z(\wp )=\frac{\xi (0)-N(z_{\wp }))}{\Gamma (\mu (1-\lambda )}& {\wp }^{-(1-\lambda )(\mu -1)}\hfill \\ \hfill & +\frac{1}{\Gamma (\lambda )}{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}\left[\tilde{A}{z}_{\nu }d\nu +\mathcal{F}\left(\nu ,z_{\nu }\right)d\nu +\mathcal{H}\left(\nu ,z_{\nu }\right)dW(\nu )\right].\hfill \end{array}$$

Definition 7

(see [26]). Let $z(\wp )$ be the solution of the integral equation provided by (3), then $z(\wp )$ satisfies

$$\begin{array}{cc}\hfill z(\wp )& ={\mathsf{S}}_{\lambda ,\mu }(\wp )\left[\xi (0)-N(z_{\wp })\right]+{\int }_0^{\wp }{\mathsf{K}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,z_{\nu }\right)d\nu \hfill \\ \hfill & +{\int }_0^{\wp }{\mathsf{K}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,z_{\nu }\right)dW(\nu ),\wp \in \mathrm{J},\hfill \end{array}$$

(4)

where ${\mathsf{S}}_{\lambda ,\mu }(\wp )=I_0^{\mu (1-\lambda )}{\mathsf{K}}_{\lambda }(\wp ),{\mathsf{K}}_{\lambda }(\wp )={\wp }^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp )\mathrm{and}{\mathsf{Q}}_{\lambda }(\wp )={\int }_0^{\infty }\lambda ϵW_{\lambda }(ϵ)T({\wp }^{\lambda }ϵ)dϵ.$

Definition 8

(see [13]). A stochastic process $z:(-\infty ,d]\to \mathcal{X}$ is said to be a mild solution of the proposed system (1)–(2), provided $I_{0^{+}}^{(1-\lambda )(1-\mu )}z(0)+N(z_{\wp })=\xi \in L^2(\Lambda ,B_H),\wp \in (-\infty ,0]$ and the following integral equation

$$\begin{array}{cc}\hfill z(\wp )& ={\mathsf{S}}_{\lambda ,\mu }(\wp )\left[\xi (0)-N(z_{\wp })\right]+{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,z_{\nu }\right)d\nu \hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,z_{\nu }\right)dW(\nu ),\wp \in \mathrm{J}\hfill \end{array}$$

is satisfied.

Lemma 4

(see [30]).

  1.  

${\mathsf{K}}_{\lambda }(\wp )\mathrm{and}{\mathsf{S}}_{\lambda ,\mu }(\wp )$ are strongly continuous, for $\wp >0$.

  2.  

${\mathsf{K}}_{\lambda }(\wp )\mathrm{and}{\mathsf{S}}_{\lambda ,\mu }(\wp )$ are bounded linear operators on $\mathcal{X}$, for any fixed $\wp \in S_{\frac{\pi }{2}-\omega }$, and we have

$$\begin{array}{cc}\hfill & \parallel {\mathsf{K}}_{\lambda }(\wp )z\parallel \le {\kappa }_p{\wp }^{-1+\lambda \vartheta }\parallel z\parallel ,\parallel {\mathsf{Q}}_{\lambda }(\wp )z\parallel \le {\kappa }_p{\wp }^{-\lambda +\lambda \vartheta }\parallel z\parallel ,\hfill \\ \hfill & \parallel {\mathsf{S}}_{\lambda ,\mu }(\wp )z\parallel \le \frac{\Gamma (\vartheta )}{\Gamma (\mu (1-\lambda )+\lambda \vartheta )}{\kappa }_p{\wp }^{-1+\mu -\lambda \mu +\lambda \vartheta }\parallel z\parallel .\hfill \end{array}$$

We now review a few ideas related to the Hausdorff $MNC$.

Definition 9.

For a bounded set $\mathbb{X}$ in a Banach space $\mathcal{X}$, the Hausdorff $MNC$β is denoted as

$$\begin{array}{c}\hfill \beta (\mathbb{X})=inf\{ϵ>0:\mathbb{X}\mathit{can}\mathit{be}\mathit{connected}\mathit{with}\mathrm{a}\mathit{finite}\mathit{number}\mathit{of}\mathit{balls}\mathit{with}\mathit{radii}ϵ\}.\end{array}$$

(5)

Lemma 5

(see [42]). Suppose $\mathcal{X}$ is a Banach space and $\mathbb{X},\mathbb{Y}\subseteq \mathcal{X}$ are bounded. Consequently, the following characteristics are satisfied:

  (i)  

$\mathbb{X}$ is precompact iff $\beta (\mathbb{X})=0$;

  (ii)  

$\beta (\mathbb{X})=\beta (\overline{\mathbb{X}})=\beta (conv(\mathbb{X})),$ where $\overline{\mathbb{X}}$ and $conv(\mathbb{X})$ are the closure and convex hull of $\mathbb{X}$, respectively;

  (iii)  

If $\mathbb{X}\subseteq \mathbb{Y}$ then $\beta (\mathbb{X})\le \beta (\mathbb{Y})$;

  (iv)  

$\beta (\mathbb{X}+\mathbb{Y})\le \beta (\mathbb{X})+\beta (\mathbb{Y}),$ such that $\mathbb{X}+\mathbb{Y}=\{a_1+a_2:a_1\in \mathbb{X},a_2\in \mathbb{Y}\}$;

  (v)  

$\beta (\mathbb{X}\cup \mathbb{Y})\le max\{\beta (\mathbb{X}),\beta (\mathbb{Y})\}$;

  (vi)  

$\beta (\gamma \mathbb{X})=|\gamma |\beta (\mathbb{X}),\mathrm{for}\mathrm{all}\gamma \in \mathbb{R}$, when $\mathcal{X}$ is a real Banach space;

  (vii)  

Suppose the operator $\mathrm{\Psi }:D(\mathrm{\Psi })\subseteq \mathcal{X}\to {\mathcal{X}}_1$ is Lipschitz continuous with constant ${\kappa }_1$, then we know $\wp (\mathrm{\Psi }(\mathbb{X}))\le {\kappa }_1\beta (\mathbb{X})$∀ bounded subset $\mathbb{X}\subset D(\mathrm{\Psi })$, where ${\mathcal{X}}_1$ is the another Banach space and ℘ represents the Hausdorff $MNC$ in ${\mathcal{X}}_1$.

Theorem 3

(see [14]). If ${\left\{v_k\right\}}_{k=1}^{\infty }$ is a series of Bochner integrable functions from $\mathrm{J}$ to $\mathcal{X}$ by the measurement $\parallel v_k(\wp )\parallel \le \beta (\wp )$, for each $\wp \in \mathcal{V}$ and for all $k\ge 1$, where $\beta \in L^1(\mathrm{J},\mathbb{R})$, then the function $\omega (\wp )=\beta \left(\left\{v(\wp ):k\ge 1\right\}\right)$ is in $L^1(\mathrm{J},\mathbb{R})$ and satisfies

$$\beta \left(\left\{{\int }_0^{\wp }{v}_k(\nu \right)d\nu :k\ge 1\right\})\le 2{\int }_0^{\wp }\omega (\nu )d\nu .$$

Lemma 6.

Let $\mathbb{X}\subset \mathcal{X}$ be a bounded set, then there exists a countable set ${\mathbb{X}}_0\subset \mathbb{X}$∋$\beta (\mathbb{X})\le 2\beta ({\mathbb{X}}_0)$.

Definition 10

(see [42]). Suppose $E^{+}$ is the positive cone of an ordered Banach space $(E,\le )$. Let Ω be the function denoted on the collection of all bounded subset of the Banach space $\mathcal{X}$ by values in $E^{+}$; it is known as the $MNC$ on $\mathcal{X}$ iff $\Omega (conv(\nu ))=\Omega (\nu )$ for each bounded subset $\nu \subset \mathcal{X}$, where $conv(\nu )$ denotes the closed convex hull of ν.

Lemma 7

(see [43]). Let G be a closed convex subset of a Banach space $\mathcal{X}$ and $0\in G$. Suppose $F:G\to \mathcal{X}$ is a continuous map that satisfies $M\ddot{o}nc{h}^{\prime }s$ condition, i.e., suppose $G_1\subset G$ is countable and $G_1\subset \overline{co}\left(\left\{0\right\}\cup F(G_1)\right)\Rightarrow \overline{G_1}$ is compact. Then, F has a fixed point in G.

3. Existence of a Mild Solution

This section deals with the existence of a mild solution for the proposed system (1)–(2), using $M\ddot{o}nc{h}^{\prime }s$ fixed-point Theorem 7. The following are the essential hypotheses to prove the main theorems.

(H₁)

Let $\tilde{A}$ be the almost sectorial operator of the analytic semigroup $T(\wp ),\wp >0$ in $\mathcal{X}$ such that $\parallel T(\wp )\parallel \le {\mathsf{K}}_1$ where ${\mathsf{K}}_1\ge 0$ is the constant.

(H₂)

The function $\mathcal{F}:\mathrm{J}\times B_H\to \mathcal{X}$ satisfies:

(a)

Carathéodory condition: $\mathcal{F}(·,z)$ is strongly measurable for all $z\in B_H$, $\mathcal{F}(\wp ,·)$ is continuous for a.e. $\wp \in \mathrm{J},$ and $\mathcal{F}(·,·):[0,S]\to \mathcal{X}$ is strongly measurable;

(b)

There exist a constant $0<{\lambda }_1<\lambda$, $m_1\in L^{\frac{1}{{\lambda }_1}}(\mathrm{J},{\mathbb{R}}^{+})$, and nondecreasing continuous function $f:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ such that $\parallel \mathcal{F}(\wp ,z)\parallel \le m_1(\wp )f({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }\parallel z\parallel ),z\in \mathcal{X},\wp \in \mathrm{J}$, where f satisfies $lim{inf}_{k\to \infty }\frac{\psi (k)}{k}=0$;

(c)

There exist a constant $0<{\lambda }_2<\lambda$ and $e_1\in L^{\frac{1}{{\lambda }_2}}(\mathrm{J},{\mathbb{R}}^{+})$ such that, for all bounded subsets $M\subset \mathcal{X},\beta (\mathcal{F}(\wp ,M))\le e_1(\wp )\beta (M)$ for a.e. $\wp \in \mathrm{J}$.

(H₃)

The function $\mathcal{H}:\mathrm{J}\times B_H\to L_2^0(\mathcal{U},\mathcal{X})$ satisfies:

(a)

Carathéodory condition: $\mathcal{H}(·,z)$ is strongly measurable for all $z\in B_H$, $\mathcal{H}(\wp ,·)$ is continuous for a.e. $\wp \in \mathrm{J},$ and $\mathcal{H}(·,·):[0,S]\to L_2^0(\mathcal{U},\mathcal{X})$ is strongly measurable;

(b)

There exist a constant $0<{\lambda }_3<\lambda$, $m_2\in L^{\frac{1}{{\lambda }_3}}(\mathrm{J},{\mathbb{R}}^{+})$, and nondecreasing continuous function $\hslash :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$, such that $\parallel \mathcal{H}(\wp ,z)\parallel \le m_2(\wp )\hslash ({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }\parallel z\parallel ),z\in \mathcal{X},\wp \in \mathrm{J}$, where ℏ satisfies $lim{inf}_{k\to \infty }\frac{\sigma (k)}{\sigma }=0$;

(c)

There exist a constant $0<{\lambda }_4<\lambda$ and $e_2\in L^{\frac{1}{{\lambda }_4}}(\mathrm{J},{\mathbb{R}}^{+})$ such that, for all bounded subsets $M\subset \mathcal{X},\beta (\mathcal{H}(\wp ,M))\le e_2(\wp )\beta (M)$ for a.e. $\wp \in \mathrm{J}$.

(H₄)

The function $N:C(\mathrm{J},\mathcal{X})\to \mathcal{X}$ is a continuous, compact operator and there exists a value $L_1>0$ such that $\parallel N(z_1)-N(z_2)\parallel \le L_1\parallel z_1-z_2\parallel$.

Theorem 4.

If $(H_1)-(H_4)$ holds, then the $HF$ stochastic system (1)–(2) has a unique solution on $\mathrm{J}$ provided $\xi (0)\in D({\tilde{A}}^{\theta })\mathrm{with}\theta >1+\vartheta .$

Proof. 

Let us assume that the operator $\mathrm{\Psi }:B_H^{\prime }\to B_H^{\prime }$, defined as

$$\begin{array}{c}\hfill \mathrm{\Psi }(z(\wp ))=\left\{\begin{array}{c}{\mathrm{\Psi }}_1(\wp ),(-\infty ,0],\hfill \\ {\mathsf{S}}_{\lambda ,\mu }(\wp )\left[\xi (0)-N(z_{\wp })\right]+{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,z_{\nu }\right)d\nu \hfill \\ +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,z_{\nu }\right)dW(\nu ),\wp \in \mathrm{J}.\hfill \end{array}\right.\end{array}$$

(6)

For ${\mathrm{\Psi }}_1\in B_H$, we define $\widehat{\mathrm{\Psi }}$ by

$$\begin{array}{c}\hfill \widehat{\mathrm{\Psi }}(\wp )=\left\{\begin{array}{c}{\mathrm{\Psi }}_1(\wp ),\wp \in (-\infty ,0],\hfill \\ {\mathsf{S}}_{\lambda ,\mu }(\wp )\xi (0),\wp \in \mathrm{J},\hfill \end{array}\right.\end{array}$$

then $\widehat{\mathrm{\Psi }}\in B_H^{\prime }$. Let $z(\wp )={\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v(\wp )+\widehat{\mathrm{\Psi }}(\wp )],\infty <\wp \le d$. It is straightforward to demonstrate that z satisfies (8) iff v satisfies $v_0$ and

$$\begin{array}{cc}\hfill v(\wp )& =-{\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)\hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ).\hfill \end{array}$$

Let $B_H^{\prime \prime }=\{v\in B_H^{\prime }:v_0\in B_H\}$. For all $v\in B_H^{\prime }$,

$$\begin{array}{cc}\hfill {\parallel v\parallel }_b=& \parallel v_0{\parallel }_{B_H}+sup\{\parallel v(\nu )\parallel :0\le \nu \le d\}\hfill \\ \hfill =& sup\{\parallel v(\nu )\parallel :0\le \nu \le d\}.\hfill \end{array}$$

Therefore, $(B_H^{\prime \prime },\parallel ·\parallel )$ is a Banach space.

For $P>0,$ choose ${\mathcal{B}}_P=\{v\in B_H^{\prime \prime }{:\parallel v\parallel }_d\le P\}$, then ${\mathcal{B}}_P\subset B_H^{\prime \prime }$ is uniformly bounded, and for $v\in {\mathcal{B}}_P$, according to Lemma 1,

$$\begin{array}{cc}\hfill \parallel v_{\wp }+{\widehat{\mathrm{\Psi }}}_{\wp }{\parallel }_{B_H}& \le \parallel v_{\wp }{\parallel }_{B_H}+{\parallel \widehat{\mathrm{\Psi }}\parallel }_{B_H}\hfill \\ \hfill & \le l\left(P+\frac{\Gamma (\vartheta )}{\Gamma (\mu (1-\lambda )+\lambda \vartheta )}{\kappa }_p{\wp }^{-1+\mu -\lambda \mu +\lambda \vartheta }\right)+{\parallel {\mathrm{\Psi }}_1\parallel }_{B_H}\hfill \\ \hfill & =P^{\prime }.\hfill \end{array}$$

Introducing an operator $\Omega :B_H^{\prime \prime }\to B_H^{\prime \prime }$, defined by

$$\begin{array}{c}\hfill \Omega v(\wp )=\left\{\begin{array}{cc}\hfill & 0,\wp \in (-\infty ,0],\hfill \\ \hfill & -{\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)\hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ),\wp \in \mathrm{J}.\hfill \end{array}\right.\end{array}$$

Next, we show that $\Omega$ has a fixed point.

Step 1: We have to prove that there exists a positive value P such that $\Omega ({\mathcal{B}}_P(\mathrm{J}))\subseteq {\mathcal{B}}_P(\mathrm{J})$. Assume the statement is false, i.e., for all $P>0$, there exists $v^P\in {\mathcal{B}}_P(\mathrm{J})$, but $\Omega (v^P)$ is not in ${\mathcal{B}}_P(\mathrm{J})$, that is,

$$\begin{array}{cc}\hfill E\parallel v^P{\parallel }^2\le P& <E\parallel \underset{\wp \in [0,d]}{sup}{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }\left(\Omega v^P(\wp )\right){\parallel }^2\hfill \\ \hfill & \le \underset{\wp \in [0,d]}{sup}E\parallel {\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[-{\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }^P+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)\hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^P+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )]{\parallel }^2\hfill \\ \hfill & \le 3d^{2(1-\mu +\lambda \mu -\lambda \vartheta )}[E\parallel {\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }^P+{\widehat{\mathrm{\Psi }}}_{\wp }]\right){\parallel }^2\hfill \\ \hfill & +E\parallel {\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^P+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & +E\parallel {\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^P+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2]\hfill \\ \hfill & \le 3d^{2(1-\mu +\lambda \mu -\lambda \vartheta )}[{\parallel {\mathsf{S}}_{\lambda ,\mu }(\wp )\parallel }^2\left[L_1^2\parallel v_{\wp }^P+{\widehat{\mathrm{\Psi }}}_{\wp }{\parallel }^2+{\parallel N(0)\parallel }^2\right]\hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}\parallel {\mathsf{Q}}_{\lambda }{(\wp -\nu )\parallel }^{2}E{\parallel \mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^P+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \parallel }^2\hfill \\ \hfill & +{\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}\parallel {\mathsf{Q}}_{\lambda }{(\wp -\nu )\parallel }^{2}E{\parallel \mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^P+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\parallel }^2]\hfill \\ \hfill & \le 3d^{2(1-\mu +\lambda \mu -\lambda \vartheta )}[{\parallel {\mathsf{S}}_{\lambda ,\mu }(\wp )\parallel }^2\left[L_1^2\parallel v_{\wp }^P+{\widehat{\mathrm{\Psi }}}_{\wp }{\parallel }^2+{\parallel N(0)\parallel }^2\right]\hfill \\ \hfill & +{\kappa }_p^2{\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}{(\wp -\nu )}^{2(-\lambda +\lambda \vartheta )}{m}_1^2(d)f^2(P^{\prime })d\nu \hfill \\ \hfill & +Tr(Q){\kappa }_p^2{\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}{(\wp -\nu )}^{2(-\lambda +\lambda \vartheta )}{m}_2^2(d){\hslash }^2(P^{\prime })d\nu ]\hfill \\ \hfill & \le 3d^{2(1-\mu +\lambda \mu -\lambda \vartheta )}[{\left(\frac{\Gamma (\vartheta )}{\Gamma (\mu (1-\lambda )+\lambda \vartheta )}\right)}^2{\kappa }_p^2{d}^{2(-1+\mu -\lambda \mu +\lambda \vartheta )}\left[L_1^2{P}^{\prime 2}+{\parallel N(0)\parallel }^2\right]\hfill \\ \hfill & +{\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^2{\kappa }_p^2{m}_1^2(d)f^2(P^{\prime })+Tr(Q){\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^2{\kappa }_p^2{m}_2^2(d){\hslash }^2(P^{\prime })]\hfill \\ \hfill & \le 3{\kappa }_p^2{d}^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{M}^{*},\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill M^{*}& ={\left(\frac{\Gamma (\vartheta )}{\Gamma (\mu (1-\lambda )+\lambda \vartheta )}\right)}^2{d}^{2(-1+\mu -\lambda \mu +\lambda \vartheta )}\left[L_1^2{P}^{\prime 2}+{\parallel N(0)\parallel }^2\right]\hfill \\ \hfill & +{\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^2{\kappa }_p^2{m}_1^2(d)f^2(P^{\prime })+Tr(Q){\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^2{m}_2^2(d){\hslash }^2(P^{\prime }).\hfill \end{array}$$

The above inequality is divided by P and applying the limit as $P\to \infty$, we obtain $1\le 0$, which is the contradiction. Therefore, $\Omega ({\mathcal{B}}_P(\mathrm{J}))\subseteq {\mathcal{B}}_P(\mathrm{J})$.

Step 2: The operator $\Omega$ is continuous on ${\mathcal{B}}_P(\mathrm{J})$ since $\Omega$ maps ${\mathcal{B}}_P(\mathrm{J})$ into ${\mathcal{B}}_P(\mathrm{J})$. For any $v^k,v\in {\mathcal{B}}_P(\mathrm{J}),k=0,1,2,...$ such that ${lim}_{k\to \infty }{v}^k=v$, we have ${lim}_{k\to \infty }{v}^k(\wp )=v(\wp )$ and ${lim}_{k\to \infty }{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }{v}^k(\wp )={\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }v(\wp )$.

By $(H_2)$,

$$\begin{array}{cc}\hfill \mathcal{F}(\wp ,z_k(\wp ))& =\mathcal{F}\left(\wp ,{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v^k(\wp )+\widehat{\mathrm{\Psi }}(\wp )]\right)\to \mathcal{F}\left(\wp ,{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v(\wp )+\widehat{\mathrm{\Psi }}(\wp )]\right)\hfill \\ & =\mathcal{F}(\wp ,z(\wp ))\mathrm{as}k\to \infty .\hfill \end{array}$$

Take

$$\begin{array}{c}\hfill F_k(\nu )=\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^k+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)\mathrm{and}F(\nu )=\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right).\end{array}$$

Then, we may derive the following using hypotheses $(H_2)$ and Lebesgue’s dominated convergence principle.

$$\begin{array}{c}\hfill {\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}\parallel {\mathsf{Q}}_{\lambda }{(\wp -\nu )\parallel }^{2}E{\parallel F_k(\nu )-F(\nu )\parallel }^{2}d\nu \to 0\mathrm{as}k\to \infty ,\wp \in \mathrm{J}.\end{array}$$

(7)

By $(H_3)$,

$$\begin{array}{cc}\hfill \mathcal{H}(\wp ,z_k(\wp ))& =\mathcal{H}\left(\wp ,{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v^k(\wp )+\widehat{\mathrm{\Psi }}(\wp )]\right)\to \mathcal{H}\left(\wp ,{\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v(\wp )+\widehat{\mathrm{\Psi }}(\wp )]\right)\hfill \\ & =\mathcal{H}(\wp ,z(\wp ))\mathrm{as}k\to \infty .\hfill \end{array}$$

Take

$$\begin{array}{c}\hfill H_k(\nu )=\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^k+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)\mathrm{and}H(\nu )=\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right).\end{array}$$

Then, from hypotheses $(H_3)$ and Lebesgue’s dominated convergence theorem, we arrive at

$$\begin{array}{c}\hfill {\int }_0^{\wp }{(\wp -\nu )}^{2(\lambda -1)}\parallel {\mathsf{Q}}_{\lambda }{(\wp -\nu )\parallel }^{2}E{\parallel H_k(\nu )-H(\nu )\parallel }^{2}dW(\nu )\to 0\mathrm{as}k\to \infty ,\wp \in \mathrm{J}.\end{array}$$

(8)

Take ${\mathcal{N}}_k(\wp )=N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }^k+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)$ and $\mathcal{N}(\wp )=N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)$, from $(H_4)$, we have

$$\begin{array}{c}\hfill E\parallel {\mathcal{N}}_k{(\wp )-\mathcal{N}(\wp )\parallel }^2\to 0\mathrm{as}k\to \infty .\end{array}$$

(9)

Now,

$$\begin{array}{cc}\hfill E\parallel \Omega v^k-\Omega v{\parallel }_d^2& \le 3{\left(\frac{\Gamma (\vartheta )}{\Gamma (\mu (1-\lambda )+\lambda \vartheta )}\right)}^2{\kappa }_p^2{d}^{2(-1+\mu -\lambda \mu +\lambda \vartheta )}E\parallel {\mathcal{N}}_k(\wp )-\mathcal{N}(\wp ){\parallel }^2\hfill \\ \hfill & +3{\kappa }_p^2{\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^{2}E\parallel F_k(\nu )-F(\nu ){\parallel }^{2}d\nu \hfill \\ \hfill & +3Tr(Q){\kappa }_p^2{\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right)}^{2}E\parallel H_k(\nu )-H(\nu ){\parallel }^{2}d\nu .\hfill \end{array}$$

Using (7)–(9), we obtain

$$\begin{array}{c}\hfill E\parallel \Omega v^k-\Omega v{\parallel }_d^2\to 0\mathrm{as}k\to \infty .\end{array}$$

Therefore, $\Omega$ is continuous on ${\mathcal{B}}_P$.

Step 3: After that, we have to demonstrate that $\Omega$ is equicontinuous.

For $z\in {\mathcal{B}}_P(\mathrm{J})$, and $0\le {\wp }_1<{\wp }_2\le d$, we have

$$\begin{array}{cc}\hfill E\parallel \Omega z({\wp }_2)& -\Omega z({\wp }_1){\parallel }^2\hfill \\ \hfill & =E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }(-{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_2}+{\widehat{\mathrm{\Psi }}}_{{\wp }_2}]\right)\hfill \\ \hfill & +{\int }_0^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & +{\int }_0^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ))\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }(-{\mathsf{S}}_{\lambda ,\mu }({\wp }_1)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right)\hfill \\ \hfill & +{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & +{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )){\parallel }^2\hfill \\ \hfill & \le 6E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_2}+{\widehat{\mathrm{\Psi }}}_{{\wp }_2}]\right)\hfill \\ \hfill & -{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2\hfill \\ \hfill & +6E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right)\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_1)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & +9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le \sum _{i=1}^8{I}_i.\hfill \end{array}$$

$$\begin{array}{cc}\hfill I_1& =6E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_2}+{\widehat{\mathrm{\Psi }}}_{{\wp }_2}]\right)\hfill \\ \hfill & -{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2\hfill \\ \hfill & \le 6{\wp }_2^{2(1-\mu +\lambda \mu -\lambda \vartheta )}\parallel {\mathsf{S}}_{\lambda ,\mu }({\wp }_2){\parallel }^{2}E\parallel N\left({\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_2}+{\widehat{\mathrm{\Psi }}}_{{\wp }_2}]\right)-N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2.\hfill \end{array}$$

From hypotheses $(H_3)$ and (8), we obtain that $I_1$ tends to 0 as ${\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_2& =6E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right)\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_1)N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2\hfill \\ \hfill & \le 6\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_2)-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\mathsf{S}}_{\lambda ,\mu }({\wp }_1){\parallel }^{2}E\parallel N\left({\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{{\wp }_1}+{\widehat{\mathrm{\Psi }}}_{{\wp }_1}]\right){\parallel }^2.\hfill \end{array}$$

By the strong continuity of ${\mathsf{S}}_{\lambda ,\mu }(\wp )$ and $(H_4)$, we get $I_2\to 0\mathrm{as}{\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_3& =9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & \le 9E\parallel \left({\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}\right)\hfill \\ \hfill & {\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & \le 9\parallel {\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}{\parallel }^2\hfill \\ \hfill & \parallel {\mathsf{Q}}_{\lambda }({\wp }_2-\nu ){\parallel }^{2}E\parallel \mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}d\nu \hfill \\ \hfill & \le 9{\kappa }_p^2\parallel {\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}{\parallel }^2\hfill \\ \hfill & {({\wp }_2-\nu )}^{2(-\lambda +\lambda \vartheta )}{m}_1^2(d)f^2(P^{\prime })d\nu .\hfill \end{array}$$

This implies $I_3\to 0\mathrm{as}{\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_4& =9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & \le 9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}\left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & \le 9{\wp }_1^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{2(\lambda -1)}\parallel \left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]{\parallel }^2\hfill \\ \hfill & E\parallel \mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}d\nu \hfill \\ \hfill & \le 9{\wp }_1^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{2(\lambda -1)}\parallel \left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]{\parallel }^2{m}_1^2(d)f^2(P^{\prime })d\nu .\hfill \end{array}$$

Since ${\mathsf{Q}}_{\lambda }(\wp )$ is uniformly continuous in operator norm topology, we obtain $I_4\to 0\mathrm{as}{\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_5& =9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu {\parallel }^2\hfill \\ \hfill & \le 9{\wp }_2^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{2(\lambda -1)}{\parallel {\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\parallel }^2\hfill \\ \hfill & E\parallel \mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}d\nu \hfill \\ \hfill & \le 9{\kappa }_p^2{\wp }_2^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{2(\lambda \vartheta -1)}{m}_1^2(d)f^2(P^{\prime })d\nu .\hfill \end{array}$$

Integrating and ${\wp }_2\to {\wp }_1⟹I_5=0$.

$$\begin{array}{cc}\hfill I_6& =9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le 9E\parallel \left({\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}\right)\hfill \\ \hfill & {\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{(1+\lambda \vartheta )(1-\mu )}[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le 9\parallel {\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}{\parallel }^2\hfill \\ \hfill & \parallel {\mathsf{Q}}_{\lambda }({\wp }_2-\nu ){\parallel }^{2}E\parallel \mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}dW(\nu )\hfill \\ \hfill & \le 9{\kappa }_p^{2}Tr(Q)\parallel {\int }_0^{{\wp }_1}{\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_2-\nu )}^{\lambda -1}-{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{({\wp }_1-\nu )}^{\lambda -1}{\parallel }^2\hfill \\ \hfill & {({\wp }_2-\nu )}^{2(-\lambda +\lambda \vartheta )}{m}_2^2(d){\hslash }^2(P^{\prime })d\nu .\hfill \end{array}$$

This implies $I_6\to 0\mathrm{as}{\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_7& =9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\hfill \\ \hfill & -{\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le 9E\parallel {\wp }_1^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{\lambda -1}\left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le 9Tr(Q){\wp }_1^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{2(\lambda -1)}\parallel \left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]{\parallel }^2\hfill \\ \hfill & E\parallel \mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}d\nu \hfill \\ \hfill & \le 9Tr(Q){\wp }_1^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_0^{{\wp }_1}{({\wp }_1-\nu )}^{2(\lambda -1)}\parallel \left[{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )-{\mathsf{Q}}_{\lambda }({\wp }_1-\nu )\right]{\parallel }^2{m}_2^2(d){\hslash }^2(P^{\prime })d\nu .\hfill \end{array}$$

Since ${\mathsf{Q}}_{\lambda }(\wp )$ is uniformly continuous in operator norm topology, we obtain $I_7\to 0\mathrm{as}{\wp }_2\to {\wp }_1$.

$$\begin{array}{cc}\hfill I_8& =9E\parallel {\wp }_2^{1-\mu +\lambda \mu -\lambda \vartheta }{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\mathcal{H}\left(\nu ,{\nu }^{(1+\lambda \vartheta )(1-\mu )}[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ){\parallel }^2\hfill \\ \hfill & \le 9Tr(Q){\wp }_2^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{2(\lambda -1)}{\parallel {\mathsf{Q}}_{\lambda }({\wp }_2-\nu )\parallel }^2\hfill \\ \hfill & E\parallel \mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right){\parallel }^{2}d\nu \hfill \\ \hfill & \le 9Tr(Q){\kappa }_p^2{\wp }_2^{2(1-\mu +\lambda \mu -\lambda \vartheta )}{\int }_{{\wp }_1}^{{\wp }_2}{({\wp }_2-\nu )}^{2(\lambda \vartheta -1)}{m}_2^2(d){\hslash }^2(P^{\prime })d\nu .\hfill \end{array}$$

Integrating, we get ${\wp }_2\to {\wp }_1⟹I_8=0$.

Therefore, $\Omega$ is equicontinuous on $\mathrm{J}$.

Step 4: The $M\ddot{o}nch$ conditions are true.

Consider $\Omega ={\Omega }_1+{\Omega }_2+{\Omega }_3$, where

$$\begin{array}{cc}\hfill {\Omega }_{1}v(\wp )& =-{\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }+{\widehat{\mathrm{\Psi }}}_{\wp }]\right),\hfill \\ \hfill {\Omega }_{2}v(\wp )& ={\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu ,\hfill \\ \hfill {\Omega }_{3}v(\wp )& ={\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu ).\hfill \end{array}$$

Assume that $G_1\subseteq {\mathfrak{B}}_P$ is countable and $G_1\subset \overline{co}\left(\left\{0\right\}\cup F(G_1)\right)$. We show that $\beta$, the Hausdorff MNC, has the property $\beta (G_1)=0$. Without loss of generality, we may suppose $G_1={\left\{v^k\right\}}_{k=1}^{\infty }$. Since $\Omega (G_1)$ is equicontinuous on $\mathrm{J}$ as well.

Applying Lemma 5, and the assumptions $(H_2)(c),(H_3)(c)$, and $(H_4)$, we get

$$\begin{array}{c}\hfill \beta \left({\left\{{\Omega }_1{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)\le \beta {\left\{-{\mathsf{S}}_{\lambda ,\mu }(\wp )N\left({\wp }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\wp }^k+{\widehat{\mathrm{\Psi }}}_{\wp }]\right)\right\}}_{k=1}^{\infty }=0.\end{array}$$

Since N is compact, then ${\mathsf{S}}_{\lambda ,\mu }(\wp )$ is relatively compact.

$$\begin{array}{cc}\hfill \beta \left({\left\{{\Omega }_2{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)& \le \beta {\left\{{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{F}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^k+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)d\nu \right\}}_{k=1}^{\infty }\hfill \\ \hfill & \le 2{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )e_1(\nu )\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right)d\nu \hfill \\ \hfill & \le 2\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right){\parallel e_1\parallel }_{L^{\frac{1}{{\lambda }_2}}(\mathrm{J},{\mathbb{R}}^{+})}\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \beta \left({\left\{{\Omega }_3{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)& \le \beta {\left\{{\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )\mathcal{H}\left(\nu ,{\nu }^{1-\mu +\lambda \mu -\lambda \vartheta }[v_{\nu }^k+{\widehat{\mathrm{\Psi }}}_{\nu }]\right)dW(\nu )\right\}}_{k=1}^{\infty }\hfill \\ \hfill & \le 2Tr(Q){\int }_0^{\wp }{(\wp -\nu )}^{\lambda -1}{\mathsf{Q}}_{\lambda }(\wp -\nu )e_2(\nu )\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right)d\nu \hfill \\ \hfill & \le 2Tr(Q)\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right){\parallel e_2\parallel }_{L^{\frac{1}{{\lambda }_4}}(\mathrm{J},{\mathbb{R}}^{+})}\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right).\hfill \end{array}$$

Thus, we have

$$\begin{array}{cc}\hfill \beta \left({\{\Omega v^k(\wp )\}}_{k=1}^{\infty }\right)& \le \beta \left({\left\{{\Omega }_1{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)+\beta \left({\left\{{\Omega }_2{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)+\beta \left({\left\{{\Omega }_3{v}^k(\wp )\right\}}_{k=1}^{\infty }\right)\hfill \\ \hfill & \le 2\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right){\parallel e_1\parallel }_{L^{\frac{1}{{\lambda }_2}}(\mathrm{J},{\mathbb{R}}^{+})}\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right)\hfill \\ \hfill & +2Tr(Q)\left(\frac{d^{\lambda \vartheta }}{\lambda \vartheta }\right){\parallel e_2\parallel }_{L^{\frac{1}{{\lambda }_4}}(\mathrm{J},{\mathbb{R}}^{+})}\underset{-\infty <\theta \le 0}{sup}\beta \left({\left\{v_{\wp }^k(\theta )\right\}}_{k=1}^{\infty }\right)\hfill \\ \hfill & \le 2\left[\parallel e_1{\parallel }_{L^{\frac{1}{{\lambda }_2}}(\mathrm{J},{\mathbb{R}}^{+})}+Tr(Q){\parallel e_2\parallel }_{L^{\frac{1}{{\lambda }_4}}(\mathrm{J},{\mathbb{R}}^{+})}\right]\beta \left({\left\{v^k(\wp )\right\}}_{k=1}^{\infty }\right)\hfill \\ \hfill & \le M^{*}\beta \left({\left\{v^k(\wp )\right\}}_{k=1}^{\infty }\right),\hfill \end{array}$$

where $M^{*}=2\left[\parallel e_1{\parallel }_{L^{\frac{1}{{\lambda }_2}}(\mathrm{J},{\mathbb{R}}^{+})}+Tr(Q){\parallel e_2\parallel }_{L^{\frac{1}{{\lambda }_4}}(\mathrm{J},{\mathbb{R}}^{+})}\right]$.

Since $G_1$ and $\Omega (G_1)$ are equicontinuous for every $\mathrm{J}$, it appears according to Lemma 5 that the inequality states that $\beta (\Omega G_1)\le M^{*}\beta (G_1)$.

As a result, given the condition of $M\ddot{o}nch$’s technique, we obtain

$$\beta (G_1)\le \beta \left(\overline{co}\left\{0\right\}\cup \Omega (G_1)\right)=\beta (\Omega G_1)\le M^{*}\beta G_1.$$

Given that $M^{*}<1$, we obtain $\beta (G_1)=0$. Thus, $G_1$ is relatively compact. We know that $\Omega$ has a fixed point v in $G_1$ according to Lemma 7. The proof is completed. □

4. Example

Examine the $\mathtt{HF}$ stochastic differential system containing the nonlocal condition of the form

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{D}_{0^{+}}^{\frac{2}{3},\mu }z(\wp ,\tau )=z_{\tau \tau }(\wp ,\tau )+\gamma \left(\wp ,{\int }_{\infty }^{\wp }{\chi }_1(\nu -\wp )z(\wp ,\tau )d\nu \right)\hfill \\ +\chi \left(\wp ,{\int }_{\infty }^{\wp }{\chi }_2(\nu -\wp )z(\wp ,\tau )dW(\nu )\right),\hfill \\ z(\wp ,0)=z(\wp ,\pi )=0,\wp \in \mathrm{J},\hfill \\ I_{0^{+}}^{(1-\frac{2}{3})(1-\mu )}z(0,\tau )+{\int }_0^{\pi }\mathcal{N}(\alpha ,\tau )z(\wp ,\tau )d\alpha =z(0,\tau ),\tau \in [0,\pi ],\wp \in (-\infty ,0),\hfill \end{array}\right.\end{array}$$

(10)

where $D_{0^{+}}^{\frac{2}{3},\mu }$ denotes the $\mathtt{HFD}$ of order $\lambda =2/3$, type $\mu$ and $\chi ,{\chi }_1,\rho \mathrm{and}\mathcal{N}$ are the required functions. Assume $W(\wp )$ is a one-dimensional normalized Brownian movement in $\mathcal{X}$ denoted by the smoothed probability area $(\Lambda ,\mathcal{F},P)$ and with ${\parallel ·\parallel }_{\mathcal{X}}$ to compose the system (10) in the abstract form of (1)–(2). To change this system into an abstract structure, let $\mathcal{X}=L^2[0,\pi ]$ and $\tilde{A}:D(\tilde{A})\subset \mathcal{X}\to \mathcal{X}$ is defined as $\tilde{A}x=x^{\prime }$ with

$$\begin{array}{c}\hfill D(\tilde{A})=\left\{x\in \mathcal{X}:x,x^{\prime }\mathrm{are}\mathrm{absolutely}\mathrm{continuous},x^{\prime \prime }\in \mathcal{X},x(0)=x(\pi )=0\right\}\end{array}$$

and

$$\begin{array}{c}\hfill \tilde{A}x=\sum _{k=1}^{\infty }{k}^2⟨x,{\varrho }_k⟩{\varrho }_k,\varrho \in D(\tilde{A}),\end{array}$$

where ${\varrho }_k(x)=\sqrt{\frac{2}{\pi }}sin(kx),k\in \mathbb{N}$ is the orthogonal set of eigenvectors of $\tilde{A}$.

We know that $\tilde{A}$ is the almost sectorial operator of the analytic semigroup $\{T(\wp ),\wp \ge 0\}$ in $\mathcal{X}$, $T(\wp )$ is a noncompact semigroup on $\mathcal{X}$ with $\mu (T(\wp )B)\le \mu (B)$, where $\mu$ denotes the Hausdorff MNC and there exists a constant ${\mathcal{K}}_1\ge 1$ satisfying ${sup}_{\wp \in \mathrm{J}}\parallel T(\wp )\parallel \le {\mathcal{K}}_1$.

Define, $\mathcal{F}:\mathrm{J}\times B_H\to \mathcal{X},\mathcal{H}:\mathrm{J}\times B_H\to L_2^0(\mathcal{U},\mathcal{X}),\mathrm{and}N:B_H\to \mathcal{X}$ are the appropriate functions, which satisfy the hypotheses $(H_1)-(H_4)$,

$$\begin{array}{cc}\hfill \mathcal{F}\left(\wp ,z_{\wp }\right)(\tau ),& =\gamma \left(\wp ,{\int }_{\infty }^{\wp }{\chi }_1(\nu -\wp )z(\wp ,\tau )d\nu \right),\hfill \\ \hfill \mathcal{H}\left(\wp ,z_{\wp }\right)(\tau ),& =\chi \left(\wp ,{\int }_{\infty }^{\wp }{\chi }_2(\nu -\wp )z(\wp ,\tau )dW(\nu )\right),\hfill \\ \hfill N(z_{\wp })(\tau )& ={\int }_0^{\pi }\mathcal{N}(\alpha ,\tau )z(\wp ,\tau )d\alpha .\hfill \end{array}$$

We established some acceptance criteria for the aforementioned functions to demonstrate all of Theorem 4’s assumptions, and we confirmed that the $\mathtt{HF}$ stochastic system (1)–(2) had a unique mild solution.

5. Conclusions

In this study, we concentrated on the existence of a mild solution of $\mathtt{HF}$ stochastic differential equations using nonlocal conditions and delay via an almost sectorial operator. The essential results were demonstrated by employing the findings and concepts belonging to almost sectorial operators, fractional calculus, the measure of noncompactness, and the fixed-point method. Finally, to explain the principle, we offered an example. In the years ahead, we will study the exact controllability of $\mathtt{HF}$ stochastic differential systems with infinite delay through almost sectorial operators by using the fixed-point approach.