Discussion on the Approximate Controllability of Hilfer Fractional Neutral Integro-Differential Inclusions via Almost Sectorial Operators

Abstract

This paper focuses on the approximate controllability of Hilfer fractional neutral Volterra integro-differential inclusions via almost sectorial operators. Almost sectorial operators, fractional differential, Leray-Schauder fixed point theorem and multivalued maps are used to prove the result. We start by emphasizing the existence of a mild solution and demonstrate the approximate controllability of the fractional system. In addition, an example is presented to demonstrate the principle.

1. Introduction

Controllability is a well-known (quantitative and qualitative) feature of a control system that is important in many control issues in finite and infinite dimensional domains. In recent decades, researchers have been drawn to control problems, and substantial contributions to theory and applications have been made. Controllability is a fundamental quality of a control system that aids in solving various control problems, such as the stabilization of unstable systems via feedback control. As a result, difficulties in controllability for various linear, nonlinear stochastic, and deterministic dynamic systems have garnered much attention. Furthermore, approximate controllability is becoming increasingly common, and approximate controllability is frequently sufficient in applications. For further details, consult the articles in [1,2,3,4,5].

In modern mathematics, the fundamentals of fractional computation and the fractional differential equation have taken center stage. The idea of fractional computation has now been tested in various social, physical, signal, image processing, biological, control theory, engineering, etc., challenges. However, it has been demonstrated that fractional differential equations may be valuable for describing various situations. For many realistic applications, fractional-order models are superior to integer-order models. The research articles in [6,7,8,9,10,11,12,13] are concerned with the theory of fractional differential systems, and readers will find several fascinating findings about fractional dynamical systems.

Neutral functional differential systems have received a lot of interest recently since they are used in many areas of applied mathematics, biological models, electronics, fluid dynamics, and chemical kinetics. Neutral structures with delays or without delays, in particular, serve as a summary association of a vast number of partial neutral structures that emerge in issues with heat flow in substances, viscoelasticity, and a range of natural processes. The most effective neutral structures have received a lot of attention in the recent generation because neutral systems are prevalent in many applications of applied mathematics. Neutral fractional differential systems with or without delays have lately been produced by a large number of researchers who have made use of a variety of fixed-point techniques, mild solutions, noncompactness measures, nonlocal conditions and stochastic systems. We can refer to [14,15,16,17,18,19,20] for more information.

Other fractional derivatives were introduced by Hilfer [21], including the Riemann-Liouville (R–L) derivative and Caputo fractional derivative. Many scholars have recently shown tremendous interest in this area, which has sparked effort such as those in [22,23,24,25,26,27], where the researchers established their results with the help of the fixed point method.

Zhou et al. [28] focused on the existence of a mild solution of Hilfer fractional differential equations with the order $\lambda \in (0,1)$ and the type $\nu \in [0,1]$ in the abstract sense, as follows:

$$\begin{array}{cc}\hfill & {}^H{D}_{0^{+}}^{\lambda ,\nu }y\left(t\right)=Ay\left(t\right)+g(t,y\left(t\right)),t\in (0,T],\hfill \\ \hfill & I_{0^{+}}^{(1-\lambda )(1-\nu )}y\left(0\right)=y_0,\hfill \end{array}$$

where A denotes the almost sectorial operator of the analytic semigroup and Schauder fixed point theorem is used.

Zhang and Zhou [29] demonstrated the existence of fractional Cauchy problems using almost sectorial operators of the following type:

$$\begin{array}{cc}\hfill {}^L{D}_{0^{+}}^{q}x\left(t\right)& =Ax\left(t\right)+f(t,x(t\left)\right),t\in [0,a],\hfill \\ \hfill I_{0^{+}}^{(1-q)}x\left(0\right)& =x_0,\hfill \end{array}$$

where ${}^L{D}_{0^{+}}^q$ is the $R-L$ derivative of order $q,0<q<1$, $I_{0^{+}}^{(1-q)}$ is the $R-L$ integral of order $1-q$, and A is an almost sectorial operator on a complex Banach space. We refer to [30,31,32,33] for more information.

Prior conclusions from the literature are expanded based on these discoveries to a class of Hilfer fractional differential systems where the closed operator is almost sectorial. However, few articles have reported on the study of Hilfer fractional differential $\left(HF{D}_{tial}\right)$ inclusions with almost sectorial operators, so we are interested in its study.

This article will examine the Hilfer fractional neutral Volterra integro-differential inclusion, which contains almost sectorial operators

$$\begin{array}{cc}\hfill & D_{0^{+}}^{\kappa ,\epsilon }\left. [\mathfrak{q}\left(\mathfrak{y}\right)-\mathcal{K}(\mathfrak{y},\mathfrak{q}(\mathfrak{y}\left)\right)\right]\in \mathtt{A}\mathfrak{q}\left(\mathfrak{y}\right)+\mathfrak{B}v\left(\mathfrak{y}\right)+\mathfrak{F}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right),{\int }_0^{\mathfrak{y}}h\left(\mathfrak{y},s,\mathfrak{q}\left(s\right)\right)ds\right),\mathfrak{y}\in {\mathcal{I}}^{\prime }=(0,d],\hfill \end{array}$$

(1)

$$\begin{array}{cc}\hfill & I_{0^{+}}^{(1-\kappa )(1-\epsilon )}\mathfrak{q}\left(0\right)={\mathfrak{q}}_0,\hfill \end{array}$$

(2)

where $\mathtt{A}$ is an almost sectorial operator of the analytic semigroup $\left\{\mathtt{T}\left(\mathfrak{y}\right),\mathfrak{y}\ge 0\right\}$ on Y. $D_{0^{+}}^{\kappa ,\epsilon }$ denotes the Hilfer fractional derivative $\left(HF{D}_{ve}\right)$ of order $\kappa ,0<\kappa <1$ and type $\epsilon ,0\le \epsilon \le 1$. Let $\mathfrak{q}(·)$ be the state in a Banach space Y with norm $\parallel ·\parallel$ and $v(·)$ be the control function in $L^2(\mathcal{I},U)$, where U is the Banach space. Here, $B:U\to Y$ is an operator in the control term. Let $\mathcal{I}=[0,d],\mathfrak{F}:\mathcal{I}\times Y\times Y\to 2^Y\setminus \left\{0\right\}$ be a nonempty multivalued mapping, which is closed, bounded and convex, $\mathcal{K}:\mathcal{I}\times Y\to Y$ and $h:\mathcal{I}\times \mathcal{I}\times Y\to Y$ are the required mappings.

This study aims to prove that $HF{D}_{tial}$ inclusions (1) and (2) in Banach space become approximately controllable under fundamental system operator assumptions, in particular that the corresponding linear system is approximately controllable. The major goal of this work is to find enough circumstances for $HF{D}_{tial}$ inclusions to be approximately controllable. The article is divided into the following sections. In Section 2, we cover the principles of fractional calculus, semi-group, sectorial operators and multivalued maps. In Section 3, initially, we establish the existence of the mild solution and then continue to examine the approximate controllability of the system. In Section 4, we cover an illustration of our key concepts. Finaly, Section 5 provides some conclusions.

2. Preliminaries

In this section, we introduce basic definitions, theorems and results applied throughout the article.

Set $d>0$, and consider $\mathcal{I}=[0,d]$ and ${\mathcal{I}}^{\prime }=(0,d]$. Let $C(\mathcal{I},Y)=\complement$ be the set of all continuous functions from $\mathcal{I}$ to Y. Let $\mathcal{X}=\left\{\mathfrak{q}\in C({\mathcal{I}}^{\prime },Y):{lim}_{\mathfrak{y}\to 0}{\mathfrak{y}}^{(1-\epsilon +\kappa \epsilon -\kappa \vartheta }\mathfrak{q}\left(\mathfrak{y}\right)\mathrm{exists}\mathrm{and}\mathrm{finite}\right\},$ be a Banach space with the norm on ${\parallel ·\parallel }_{\mathcal{X}}$ and ${\parallel \mathfrak{q}\parallel }_{\mathcal{X}}={sup}_{\mathfrak{y}\in {\mathcal{I}}^{\prime }}\left\{{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\parallel \mathfrak{q}\left(\mathfrak{y}\right)\parallel \right\}$. Set $B_P\left(\mathcal{I}\right)=\left\{u\in \complement \mathrm{such}\mathrm{that}\parallel u\parallel \le P\right\}$. Let $\mathfrak{q}\left(\mathfrak{y}\right)={\mathfrak{y}}^{-1+\epsilon -\kappa \epsilon +\kappa \vartheta }y\left(\mathfrak{y}\right),\mathfrak{y}\in (0,d]$; then, $\mathfrak{q}\in \mathcal{X}iffy\in {\complement and\parallel \mathfrak{q}\parallel }_{\mathcal{X}}=\parallel y\parallel .$

Definition 1

([34]). The integral of fractional order κ for the function $\mathfrak{F}:[d,\infty )\to \mathbb{R}$ with the lower limit d is given by

$$\begin{array}{c}\hfill I_{d^{+}}^{\kappa }\mathfrak{F}\left(\mathfrak{y}\right)=\frac{1}{\mathsf{\Gamma }\left(\kappa \right)}{\int }_d^{\mathfrak{y}}\frac{\mathfrak{F}\left(\delta \right)}{{(\mathfrak{y}-\delta )}^{1-\kappa }}d\delta \mathfrak{y}>0;\kappa \in {\mathbb{R}}^{+}.\end{array}$$

Definition 2

([34]). The R-L fractional derivative of a function $(\mathfrak{F}:[d,+\infty )\to \mathbb{R})$ with order $\kappa >0,m-1\le \kappa <m,m\in \mathbb{N}$ is given by

$$\begin{array}{c}\hfill {}^L{D}_{d+}^{\kappa }\mathfrak{F}\left(\mathfrak{y}\right)=\frac{1}{\mathsf{\Gamma }(m-\kappa )}\frac{d^m}{d{\mathfrak{y}}^m}{\int }_d^{\mathfrak{y}}\frac{\mathfrak{F}\left(\delta \right)}{{(\mathfrak{y}-\delta )}^{\kappa +1-m}}d\delta ,\mathfrak{y}>d,\delta \in {\mathbb{R}}^{+}.\end{array}$$

Definition 3

([34]). The Caputo fractional derivative of a function $(\mathfrak{F}:[d,+\infty )\to \mathbb{R})$ with order $\kappa >0,m-1\le \kappa <m,m\in \mathbb{N}$ is presented as

$$\begin{array}{c}\hfill {}^C{D}_{d^{+}}^{\kappa }\mathfrak{F}\left(\mathfrak{y}\right)=\frac{1}{\mathsf{\Gamma }(m-\kappa )}{\int }_d^{\mathfrak{y}}\frac{{\mathfrak{F}}^m\left(\delta \right)}{{(\mathfrak{y}-\delta )}^{\kappa +1-m}}d\delta =I_{\mathfrak{q}+}^{m-\kappa }{\mathfrak{F}}^m\left(\mathfrak{y}\right),\mathfrak{y}>d,\delta \in {\mathbb{R}}^{+}.\end{array}$$

Definition 4

([21]). The $HF{D}_{ve}$ of a function $(\mathfrak{F}:[d,+\infty )\to \mathbb{R})$ with order $0<\kappa <1$ and type $0\le \epsilon \le 1$ is given by

$$\begin{array}{c}\hfill D_{d^{+}}^{\kappa ,\epsilon }\mathfrak{F}\left(\mathfrak{y}\right)=\left[I_{d^{+}}^{(1-\kappa )\epsilon }D\left(I_{d^{+}}^{(1-\kappa )(1-\epsilon )}\mathfrak{F}\right)\right]\left(\mathfrak{y}\right).\end{array}$$

Remark 1

([21]).

1. 

If$\epsilon =0,0<\kappa <1$, and$d=0$, then the$HF{D}_{ve}$corresponds to the classical R-L fractional derivative:

$$\begin{array}{c}\hfill D_{0^{+}}^{\kappa ,0}\mathcal{G}\left(\mathfrak{z}\right)=\frac{d}{d\mathfrak{z}}{I}_{0+}^{1-\kappa }\mathcal{G}\left(\mathfrak{z}\right){=}^L{D}_{0^{+}}^{\kappa }\mathcal{G}\left(\mathfrak{z}\right).\end{array}$$

2.

If$\epsilon =1,0<\kappa <1$, and$d=0$, then the$HF{D}_{ve}$corresponds to the classical Caputo fractional derivative:

$$\begin{array}{c}\hfill D_{0^{+}}^{\kappa ,1}\mathcal{G}\left(\mathfrak{z}\right)=I_{0^{+}}^{1-\kappa }\frac{d}{d\mathfrak{z}}\mathcal{G}\left(\mathfrak{z}\right){=}^C{D}_{0^{+}}^{\kappa }\mathcal{G}\left(\mathfrak{z}\right).\end{array}$$

Definition 5

([35]). For $0<\vartheta <1,0<\phi <\frac{\pi }{2}$, we denote ${\mathsf{\Theta }}_{\phi }^{-\vartheta }$ as the family of closed linear operators, the sector $S_{\phi }=\left\{\theta \in \mathbb{C}\setminus \left\{0\right\}\mathrm{with}|arg\theta |\le \phi \right\}$ and $\mathtt{A}:D\left(\mathtt{A}\right)\subset Y\to Y$ such that

(i) 

$\sigma \left(\mathtt{A}\right)\subseteq S_{\phi }$ ;

(ii) 

There exists ${\mathsf{\Delta }}_{\delta }$ that is a constant such that

$$\begin{array}{c}\hfill \parallel {(\theta I-\mathtt{A})}^{-1}\parallel \le {\mathsf{\Delta }}_{\delta }{\left|\mathfrak{y}\right|}^{-\vartheta },\mathrm{for}\mathrm{all}\phi <\delta <\pi ;\end{array}$$

then, $\mathtt{A}\in {\mathsf{\Theta }}_{\phi }^{-\vartheta }$ is called an almost sectorial operator on Y.

Lemma 1

([35]). Consider $0<\vartheta <1$ and $0<\phi <\frac{\pi }{2},\mathtt{A}\in {\mathsf{\Theta }}_{\phi }^{-\vartheta }\left(Y\right)$. Then, we obtain

1. 

$\mathtt{T}({\mathfrak{y}}_1+{\mathfrak{y}}_2)=\mathtt{T}\left({\mathfrak{y}}_1\right)+\mathtt{T}\left({\mathfrak{y}}_2\right),\mathrm{for}\mathrm{every}{\mathfrak{y}}_1,{\mathfrak{y}}_2\in S_{\frac{\pi }{2}-\delta }^0;$

2. 

there exists ${\mathsf{\Delta }}_0>0$ that is a constant such that ${\parallel \mathtt{T}\left(\mathfrak{y}\right)\parallel }_{\complement }\le {\mathsf{\Delta }}_0{\mathfrak{y}}^{\vartheta -1}$, for any $\mathfrak{y}>0;$

3. 

$R\left(\mathtt{T}\right(\mathfrak{y}\left)\right)$ is the range of $\mathtt{T}\left(\mathfrak{y}\right),\mathfrak{y}\in S_{\frac{\pi }{2}-\delta }^0$ contained in $D\left({\mathtt{A}}^{\infty }\right)$. Specifically, $R\left(\mathtt{T}\left(\mathfrak{y}\right)\right)\subset D\left({\mathtt{A}}^{\theta }\right)$ for all $\theta \in \mathbb{C}$ with $Re\left(\theta \right)>0$,

$$\begin{array}{c}\hfill {\mathtt{A}}^{\theta }\mathtt{T}\left(\mathfrak{y}\right)y=\frac{1}{2\pi i}{\int }_{{\mathsf{\Gamma }}_{\gamma }}{z}^{\theta }{e}^{-\mathfrak{y}z}R(z;\mathtt{A})ydz,forally\in Y,\end{array}$$

and hence, there exists a constant ${\mathsf{\Delta }}^{\prime }={\mathsf{\Delta }}^{\prime }(\beta ,\theta )>0$ such that

$$\begin{array}{c}\hfill \parallel {\mathtt{A}}^{\theta }\mathtt{T}\left(\mathfrak{y}\right){\parallel }_{B\left(Y\right)}\le {\mathsf{\Delta }}^{\prime }{\mathfrak{y}}^{-\beta -Re\left(\theta \right)-1},forall\mathfrak{y}>0;\end{array}$$

4. 

If $\theta >1-\vartheta ,$ then $D\left({\mathtt{A}}^{\theta }\right)\subset {\Sigma }_{\mathtt{T}}=\{y\in Y:\underset{\mathfrak{y}\to 0+}{lim}\mathtt{T}\left(\mathfrak{y}\right)y=y\}$;

5. 

$R({\kappa }^{\prime },\mathtt{A})={\int }_0^{\infty }{e}^{-{\kappa }^{\prime }\mathfrak{y}}\mathtt{T}\left(\mathfrak{y}\right)d\mathfrak{y},\mathrm{for}\mathrm{all}{\kappa }^{\prime }\in CwithRe\left({\kappa }^{\prime }\right)>0$.

Consider the operator families ${\left\{{\mathcal{S}}_{\kappa }\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}\in S_{\frac{\pi }{2}-\phi }},{\left\{{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}\in S_{\frac{\pi }{2}-\phi }}$ defined as follows:

$$\begin{array}{cc}\hfill {\mathcal{S}}_{\kappa }\left(\mathfrak{y}\right)& ={\int }_0^{\infty }{W}_{\kappa }\left(\xi \right)T\left({\mathfrak{y}}^{\kappa }\xi \right)d\xi ,\hfill \\ \hfill {\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right)& ={\int }_0^{\infty }\kappa \xi W_{\kappa }\left(\xi \right)T\left({\mathfrak{y}}^{\kappa }\xi \right)d\xi .\hfill \end{array}$$

We have the Wright-type function $W_{\kappa }\left(\beta \right)$:

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

(3)

Consider $-1<\iota <\infty ,p>0$, the succeeding properties are satisfied.

(a) 

$W_{\kappa }\left(\theta \right)\ge 0,\mathfrak{y}>0;$

(b) 

${\int }_0^{\infty }{\theta }^{\iota }{W}_{\kappa }\left(\theta \right)d\theta =\frac{\mathsf{\Gamma }(1+\iota )}{\mathsf{\Gamma }(1+\kappa \iota )};$

(c) 

${\int }_0^{\infty }\frac{\kappa }{{\theta }^{(\kappa +1)}}{e}^{-p\theta }{W}_{\kappa }\left(\frac{1}{{\theta }^{\kappa }}\right)d\theta =e^{-p^{\kappa }}$.

Definition 6

([27]). Let $\mathfrak{F}$ be a multivalued map known as an u.s.c. on Y if, for each ${\mathfrak{q}}_0\in Y$, the set $\mathfrak{F}\left({\mathfrak{q}}_0\right)$ is a nonempty, closed subset of Y, and if for each open set $\mathcal{D}$ of Y containing $\mathfrak{F}\left({\mathfrak{q}}_0\right)$, there exists an open neighborhood $\mathcal{W}$ of ${\mathfrak{q}}_0$ such that $\mathfrak{F}\left(\mathcal{W}\right)\subseteq \mathcal{D}$.

Lemma 2.

System (1) and (2) is identical to an integral inclusion presented by

$$\begin{array}{cc}\hfill \mathfrak{q}\left(\mathfrak{y}\right)\in & \frac{\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)}{\mathsf{\Gamma }\left(\epsilon \right(1-\kappa )}{\mathfrak{y}}^{\left(\right(1-\kappa \left)\right(\epsilon -1)+\kappa )}+\mathcal{K}(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right))+\frac{1}{\mathsf{\Gamma }\left(\kappa \right)}{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}\mathtt{A}\mathcal{K}K(0,\mathfrak{q}\left(0\right))d\delta \hfill \\ & +\frac{1}{\mathsf{\Gamma }\left(\kappa \right)}{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}\left. [\mathtt{A}\mathfrak{q}\left(\delta \right)+\mathtt{B}v\left(\delta \right)+\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h(\delta ,s,\mathfrak{q}\left(s\right))ds\right)\right]d\delta .\hfill \end{array}$$

Definition 7.

The mild solution of the Cauchy problem in (1) and (2) is a function $\mathfrak{q}\left(\mathfrak{y}\right)\in C({\mathcal{I}}^{\prime },Y)$ that satisfies

$$\begin{array}{cc}\hfill \mathfrak{q}\left(\mathfrak{y}\right)=& {\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right))+{\int }_0^{\mathfrak{y}}{\mathcal{K}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}(\delta ,\mathfrak{q}\left(\delta \right))d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{\mathcal{K}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}v\left(\delta \right)d\delta +{\int }_0^{\mathfrak{y}}{\mathcal{K}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h(\delta ,s,\mathfrak{q}\left(s\right))ds\right)d\delta ,\mathfrak{y}\in \mathcal{I},\hfill \end{array}$$

where ${\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)=I_0^{\epsilon (1-\kappa )}{\mathcal{K}}_{\kappa }\left(\mathfrak{y}\right),{\mathcal{K}}_{\kappa }\left(\mathfrak{y}\right)={\mathfrak{y}}^{\kappa -1}{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right).$

Proposition 1

([27]). Let $0<\kappa <1,0<\mu \le 1$, and for all $\mathfrak{q}\in D\left(\mathtt{A}\right)$, there then exists a constant ${\mathsf{\Delta }}_{\mu }>0$ such that

$$\begin{array}{c}\hfill \parallel {\mathtt{A}}^{\mu }{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right)\mathfrak{q}\parallel \le \frac{\kappa {\mathsf{\Delta }}_{\mu }\mathsf{\Gamma }(2-\mu )}{{\mathfrak{y}}^{\kappa \mu }\mathsf{\Gamma }(1+\kappa (1-\mu ))}\parallel \mathfrak{q}\parallel ,\mathfrak{y}\in (0,d).\end{array}$$

Lemma 3

([28]). For any fixed $\nu >0,{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right),{\mathcal{K}}_{\kappa }\left(\mathfrak{y}\right)and{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)$ are linear operators, and for any $\mathfrak{q}\in Y,$

$$\begin{array}{c}\hfill \parallel {\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right)\mathfrak{q}\parallel \le L^{\prime }{\mathfrak{y}}^{-\kappa +\kappa \vartheta },\parallel {\mathcal{K}}_{\kappa }\left(\mathfrak{y}\right)\mathfrak{q}\parallel \le L^{\prime }{\mathfrak{y}}^{-1+\kappa \vartheta }\parallel \mathfrak{q}\parallel ,\parallel {\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\mathfrak{q}\parallel \le L^{″}{\mathfrak{y}}^{-1+\epsilon -\kappa \epsilon +\kappa \vartheta }\parallel \mathfrak{q}\parallel ,\end{array}$$

where

$$\begin{array}{c}\hfill L^{\prime }={\mathsf{\Delta }}_0\frac{\mathsf{\Gamma }\left(\vartheta \right)}{\mathsf{\Gamma }\left(\kappa \vartheta \right)},L^{″}={\mathsf{\Delta }}_0\frac{\mathsf{\Gamma }\left(\vartheta \right)}{\mathsf{\Gamma }\left(\epsilon \right(1-\kappa )+\kappa \vartheta )}.\end{array}$$

Lemma 4

([28]). Let ${\left\{T\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}>0}$ be equicontinuous; then, ${\left\{{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}>0},{\left\{{\mathcal{K}}_{\kappa }\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}>0},and{\left\{{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\right\}}_{\mathfrak{y}>0}$ are strongly continuous, i.e., for any $\mathfrak{q}\in Y$ and ${\nu }_2>{\mathfrak{y}}_1>0,$

$$\begin{array}{cc}\hfill & \parallel {\mathcal{Q}}_{\kappa }\left({\mathfrak{y}}_2\right)\mathfrak{q}-{\mathcal{Q}}_{\kappa }\left({\mathfrak{y}}_1\right)\mathfrak{q}\parallel \to 0,\parallel {\mathcal{K}}_{\kappa }\left({\mathfrak{y}}_2\right)\mathfrak{q}-{\mathcal{K}}_{\kappa }\left({\mathfrak{y}}_1\right)\mathfrak{q}\parallel \to 0,\hfill \\ \hfill & \parallel {\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_2\right)\mathfrak{q}-{\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_1\right)\mathfrak{q}\parallel \to 0,as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.\hfill \end{array}$$

Lemma 5

([4]). Suppose that ${\mathcal{P}}_{bd,cv,cl}\left(Y\right)$ is denoted by the collections of all nonempty, bounded, closed and convex subset of Y. Let $\mathfrak{F}$ be the $L^1$-Caratheodory multivalued map, measurable to $\mathfrak{y}$ for each $\mathfrak{q}\in Y$, u.s.c. to $\mathfrak{q}$ for each $\mathfrak{y}\in C(\mathcal{I},Y)$, where the set

$$\begin{array}{c}\hfill S_{\mathfrak{F},\mathfrak{q}}=\left\{f\in L^1(\mathcal{I},Y):f\left(\mathfrak{y}\right)\in \mathfrak{F}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right),{\int }_0^{\mathfrak{y}}h\left(\mathfrak{y},s,\mathfrak{q}\left(\mathfrak{y}\right)\right)ds\right),\mathfrak{y}\in \mathcal{I}\right\},\end{array}$$

(4)

is nonempty. Consider the linear continuous function Ξ from $L^1(\mathcal{I},Y)$ to ∁; then,

$$\mathsf{\Xi }\circ S_{\mathfrak{F}}:\complement \to {\mathcal{P}}_{bd,cv,cl}(\complement ),\mathfrak{q}\to (\mathsf{\Xi }\circ S_{\mathfrak{F}})\left(\mathfrak{q}\right)=\mathsf{\Xi }\left(S_{\mathfrak{F},\mathfrak{q}}\right),$$

(5)

is a closed graph operator in $\complement \times \complement$.

Lemma 6

([36]). [Non-Linear Alternative Leray–Schauder Fixed Point Theorem]

Let Y be a Banach space, $\mathcal{C}$ be a closed convex subset of Y, and $\mathcal{D}$ be an open subset of $\mathcal{C}$ and $0\in \mathcal{D}$; suppose that $\mathfrak{F}:\overline{\mathcal{D}}\to {\mathcal{P}}_{cp,cv}\left(\mathcal{C}\right)$ is an u.s.c. compact map. Then, either

(a) 

$\mathfrak{F}$ has a fixed point in $\overline{\mathcal{D}}$, or

(b) 

there is a $\mathfrak{q}\in \partial \mathcal{D}$ and $0<\lambda <1$ with $\mathfrak{q}\in \lambda \mathfrak{F}\left(\mathfrak{q}\right)$.

3. Approximate Controllability

We need the following succeeding hypotheses:

Hypotheses 1 (H1).

The almost sectorial operator $\mathtt{A}$ generates an analytic semi group $\mathtt{T}\left(\mathfrak{y}\right),\mathfrak{y}\ge 0$ in Y such that $\parallel \mathtt{T}\left(\mathfrak{y}\right)\parallel \le M$, for some positive value M and $\parallel \alpha R(\alpha ,{\mathfrak{T}}_0^d)\parallel \le 1$ for $\alpha >0$.

Hypotheses 2 (H2).

Let $\mathfrak{F}:\mathcal{I}\times Y\times Y\to {\mathcal{P}}_{bd,cv,cl}\left(Y\right)$ be measurable to $\mathfrak{y}$ for each fixed $\mathfrak{q}\in Y$ and upper semi continuous to $\mathfrak{q}$ for each $\mathfrak{y}\in \mathcal{I}$, and for each $\mathfrak{q}\in \complement$,

$$\begin{array}{c}\hfill S_{\mathfrak{F},\mathfrak{q}}=\left\{f\in L^1(\mathcal{I},Y):f\left(\mathfrak{y}\right)\in \mathfrak{F}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right),{\int }_0^{\mathfrak{y}}h(\mathfrak{y},s,\mathfrak{q}\left(s\right))ds\right),\mathfrak{y}\in \mathcal{I}\right\}\end{array}$$

is nonempty.

Hypotheses 3 (H3).

For $\mathfrak{y}\in \mathcal{I}$, $\mathfrak{F}(\mathfrak{y},·,·):Y\times Y\to Y$, $h(\mathfrak{y},s,·):Y\to Y$ are continuous functions, and for each $\mathfrak{q}\in \mathcal{X}$, $\mathfrak{F}\left(·,\mathfrak{q},\int h\right):\mathcal{I}\to \mathcal{I}$ and $h(·,·,\mathfrak{q}):\mathcal{I}\times \mathcal{I}\to Y$ are strongly measurable.

Hypotheses 4 (H4).

Let $P>0,\mathfrak{q}\in \mathcal{X}$ such that ${\parallel \mathfrak{q}\parallel }_{\mathcal{X}}\le P$ and $L_{\mathfrak{F},P}(·)\in L^1({\mathcal{I}}^{\prime },\mathbb{R})$ satisfying

$$\begin{array}{cc}\hfill \underset{\mathfrak{y}\to 0}{lim}{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{I}^{\kappa \vartheta }{L}_{\mathfrak{F},P}\left(\mathfrak{y}\right)& =0,\hfill \\ \hfill sup\left\{\parallel \mathfrak{F}\parallel :\mathfrak{F}\left(\mathfrak{y}\right)\in \mathfrak{F}\left(\mathfrak{y},u\left(\mathfrak{y}\right),{\int }_0^{\mathfrak{y}}h(\mathfrak{y},s,\mathfrak{q}\left(s\right))ds\right)\right\}& \le L_{\mathfrak{F},P}\left(\mathfrak{y}\right),\hfill \end{array}$$

for all $u\left(\mathfrak{y}\right)\in B_P$.

Hypotheses 5 (H5).

For any $\mathfrak{y}\in \mathcal{I}$, a multivalued map $\mathcal{K}:\mathcal{I}\times Y\to Y$ is a continuous function and there exists $0<\mu <1$ such that $\mathcal{K}\in D\left({\mathtt{A}}^{\mu }\right)$, and for all $\mathfrak{q}\in Y,\mathfrak{y}\in \mathcal{I},{\mathtt{A}}^{\mu }\mathcal{K}(\mathfrak{y},·)$ satisfies the following:

$$\begin{array}{c}\hfill \parallel {\mathtt{A}}^{\mu }\mathcal{K}(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right))\parallel \le M_{\mathcal{K}}\left(1+{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\parallel \mathfrak{q}\left(\mathfrak{y}\right)\parallel \right),(\mathfrak{y},\mathfrak{q})\in \mathcal{I}\times Y.\end{array}$$

Hypotheses 6 (H6).

Let $\mathcal{K}$ be the completely continuous, and for any bounded set D subset of ∁, the set $\{\mathfrak{y}\to \mathcal{K}(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)),\mathfrak{q}\in D\}$ is equicontinuous in Y.

Before looking into the approximation of controllability of the non-linear control system, we first examine its linear component in (1) and (2),

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{D}_{0^{+}}^{\kappa ,\epsilon }\in \mathtt{A}\mathfrak{q}\left(\mathfrak{y}\right)+\left(\mathtt{B}v\right)\left(\mathfrak{y}\right),\mathfrak{y}\in (0,d],\hfill \\ I_{0^{+}}^{(1-\kappa )(1-\epsilon )}\mathfrak{q}\left(0\right)={\mathfrak{q}}_0.\hfill \end{array}\right.\end{array}$$

(6)

Here, $\mathtt{B}:U\to Y$ is a linear bounded operator $v\in L^2(\mathcal{I},U)$.

Now, we go through some key terms:

$$\begin{array}{cc}\hfill {\mathfrak{T}}_0^d& ={\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )d\delta ,\hfill \\ \hfill R(\alpha ,{\mathfrak{T}}_0^d)& ={(\alpha I+{\mathfrak{T}}_0^d)}^{-1},\alpha >0,\hfill \end{array}$$

where ${\mathtt{B}}^{*}$ and ${\mathcal{Q}}_{\kappa }^{*}$ are the adjoint of $\mathtt{B}$ and ${\mathcal{Q}}_{\kappa }$, respectively, and ${\mathfrak{T}}_0^d$ is the linear bounded operator.

Now, for every $\alpha >0$, and ${\mathfrak{q}}_1\in Y$, consider

$$\begin{array}{c}\hfill v\left(\mathfrak{y}\right)={\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\mathfrak{y})R(\alpha ,{\mathfrak{T}}_0^d)P\left(\mathfrak{q}(·)\right),\end{array}$$

where

$$\begin{array}{cc}\hfill P\left(\mathfrak{q}\right(·\left)\right)=& {\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,\mathfrak{q}\left(0\right))]-\mathcal{K}(d,\mathfrak{q}\left(d\right))-{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathfrak{F}\left(\delta \right)d\delta \hfill \\ \hfill & -{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{A}\mathcal{K}(\delta ,\mathfrak{q}\left(\delta \right))d\delta .\hfill \end{array}$$

Theorem 1.

Assume that $\left(H_1\right)-\left(H_6\right)$ holds; then, the $HF{D}_{tial}$ system in (1) and (2) has a solution on $\mathcal{I}$, provided

$$\begin{array}{c}\hfill \frac{M}{d^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [M^{**}+\frac{d^{-\kappa (1+2\vartheta )}{\left({\mathsf{\Delta }}_p{M}_B\right)}^2}{\alpha (-\kappa (1+2\vartheta \left)\right)}[{\mathfrak{q}}_1-M^{**}]\right]}>1,\end{array}$$

where

$$\begin{array}{cc}\hfill M^{**}& =L^{″}{d}^{-1+\epsilon -\kappa \epsilon +\kappa \vartheta }\left(\mathfrak{q}\left(0\right)-M_0{M}_{\mathcal{K}}\right)+M_0{M}_{\mathfrak{K}}\left(1+P\right)\hfill \\ \hfill & +{\mathsf{\Delta }}_{1-\mu }\frac{d^{\kappa \mu }\mathsf{\Gamma }(1+\mu )}{\mu \mathsf{\Gamma }(1+\kappa \mu )}\left(M_{\mathcal{K}}(1+P)\right)+L^{\prime }{L}_{\mathfrak{F},P}\left(d\right)\frac{d^{\kappa \vartheta }}{\kappa \vartheta }.\hfill \end{array}$$

and $\mathfrak{q}\left(0\right)\in D\left({\mathtt{A}}^{\theta }\right)with\theta >1-\vartheta .$

Proof. 

Consider the multivalued map $\mathsf{\Psi }:\mathcal{X}\to \mathcal{P}\left(\mathcal{X}\right)$, defined as

$$\begin{array}{cc}\hfill \mathsf{\Psi }\left(\mathfrak{q}\right(\mathfrak{y}\left)\right)=\{z\in \mathcal{X}:z(\mathfrak{y})=& {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h(\delta ,s,\mathfrak{q}\left(s\right))ds\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}v\left(\delta \right)d\delta ],\mathfrak{y}\in (0,d]\}.\hfill \end{array}$$

Show that $\mathsf{\Psi }$ has a fixed point. Let

$$\begin{array}{cc}\hfill z\left(\mathfrak{y}\right)=& {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)\hfill \\ \hfill & \times ({\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]-\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,\mathfrak{q}\left(r\right)\right)dr\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathfrak{F}\left(r,\mathfrak{q}\left(r\right),{\int }_0^{r}h(d,r,\mathfrak{q}\left(r\right))\right)dr)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h(\delta ,s,\mathfrak{q}\left(s\right))ds\right)d\delta ].\hfill \end{array}$$

Step 1: For every $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$, $\mathsf{\Psi }\left(\mathfrak{q}\right)$ is convex.

Consider $z_1,z_2\in \left\{\mathsf{\Psi }\mathfrak{q}\left(\mathfrak{y}\right)\right\}\mathrm{and}{\mathfrak{F}}_1,{\mathfrak{F}}_2\in S_{\mathtt{F},\mathfrak{q}}\mathrm{such}\mathrm{that}\mathfrak{y}\in \mathcal{I}$. We know

$$\begin{array}{cc}\hfill z_i=& {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)\hfill \\ \hfill & \times [{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]-\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,\mathfrak{q}\left(r\right)\right)dr\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r){\mathfrak{F}}_i\left(r\right)dr]d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta ){\mathfrak{F}}_i\left(\delta \right)d\delta ),i=1,2.\hfill \end{array}$$

Take $0\le \chi \le 1$; then, for each $\mathfrak{y}\in \mathcal{I}$, we have

$$\begin{array}{cc}\hfill \chi z_1& +(1-\chi )z_2\left(\mathfrak{y}\right)\hfill \\ \hfill =& {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)\hfill \\ \hfill & \times [{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]-\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,\mathfrak{q}\left(r\right)\right)dr-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\left. [\chi {\mathfrak{F}}_1+(1-\chi ){\mathfrak{F}}_2\right]dr]d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\left. [\chi {\mathfrak{F}}_1+(1-\chi ){\mathfrak{F}}_2\right]d\delta ).\hfill \end{array}$$

We know that $S_{\mathfrak{F},\mathfrak{q}}$ is convex. Therefore, $\chi {\mathfrak{F}}_1+(1-\chi ){\mathfrak{F}}_2\in S_{\mathfrak{F},\mathfrak{q}}$.

Furthermore,

$$\begin{array}{c}\hfill \chi z_1+(1-\chi )z_2\in \mathsf{\Psi }\mathfrak{q}\left(\mathfrak{y}\right).\end{array}$$

Hence, $\mathsf{\Psi }$ is convex.

Step 2: $\mathsf{\Psi }$ is bounded on bounded sets of $B_P\left(\mathcal{I}\right)$. It is adequate to show that there exists a ${\mathcal{I}}_{*}>0$ that is a constant such that, for each $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$, one has $\parallel z\left(\mathfrak{y}\right)\parallel \le {\mathbb{M}}_{*}$. Consider that, for every $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$, we have

$$\begin{array}{cc}\hfill \parallel z\left(\mathfrak{y}\right)\parallel & \le sup{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\parallel {\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,u\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)[{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,\mathfrak{q}\left(r\right)\right)dr\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathfrak{F}\left(r,\mathfrak{q}\left(r\right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)dr]d\delta \parallel \hfill \\ \hfill & \le d^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }(sup\parallel {\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\parallel +\parallel \mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\parallel \hfill \\ \hfill & +sup{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}\parallel {\mathtt{A}}^{1-\mu }{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\parallel \parallel {\mathtt{A}}^{\mu }\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)\parallel d\delta \hfill \\ \hfill & +sup{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}\parallel {\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\parallel \parallel \mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)\right)\parallel d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{2\kappa \vartheta -\kappa -1}{L}^{\prime 2}{M}_B^2\frac{1}{\alpha }[{\mathfrak{q}}_1-sup\parallel {\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\parallel \hfill \\ \hfill & -\parallel \mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)\parallel -{\int }_0^d{(d-r)}^{\kappa -1}\parallel {\mathtt{A}}^{1-\mu }{\mathcal{Q}}_{\kappa }(d-r)\parallel \parallel {\mathtt{A}}^{\mu }\mathcal{K}\left(r,\mathfrak{q}\left(r\right)\right)\parallel dr\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}\parallel {\mathcal{Q}}_{\kappa }(d-r)\parallel \parallel \mathfrak{F}\left(r,\mathfrak{q}\left(r\right),{\int }_0^{r}h\left(d,r,\mathfrak{q}\left(r\right)\right)\right)\parallel dr]d\delta \hfill \\ \hfill & \le d^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [M^{**}+\frac{d^{\kappa (2\vartheta -1)}{\left(L^{\prime }{M}_B\right)}^2}{\kappa (2\vartheta -1)}\left. [{\mathfrak{q}}_1-M^{**}\right]\right]\hfill \\ \hfill & <{\mathbb{M}}_{*},\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill M^{**}& =L^{″}{d}^{-1+\epsilon -\kappa \epsilon +\kappa \vartheta }\left(\mathfrak{q}\left(0\right)-M_0{M}_{\mathcal{K}}\right)+M_0{M}_{\mathcal{K}}(1+P)\hfill \\ \hfill & +{\mathsf{\Delta }}_{1-\mu }\frac{d^{\kappa \mu }\mathsf{\Gamma }(1+\mu )}{\mu \mathsf{\Gamma }(1+\kappa \mu )}\left(M_{\mathcal{K}}(1+P)\right)+L^{\prime }{L}_{\mathfrak{F},P}\left(d\right)\frac{d^{\kappa \vartheta }}{\kappa \vartheta }.\hfill \end{array}$$

Hence, it is bounded.

Step 3: Equicontinuity of $\mathsf{\Psi }$ on the set of $B_P\left(\mathcal{I}\right)$. Consider $0<{\mathfrak{y}}_1<{\mathfrak{y}}_2\le d$ and that there exists $\mathfrak{F}\in S_{\mathfrak{F},\mathfrak{q}}$; we have

$$\begin{array}{cc}\hfill \parallel z\left({\mathfrak{y}}_2\right)& -z\left({\mathfrak{y}}_1\right)\parallel \hfill \\ \hfill & \le \parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_2\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left({\mathfrak{y}}_2,\mathfrak{q}\left({\mathfrak{y}}_2\right)\right)\hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta )\hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_1\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left({\mathfrak{y}}_1,\mathfrak{q}\left({\mathfrak{y}}_1\right)\right)\hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & +{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{B}v\left(\delta \right)d\delta )\parallel \hfill \\ \hfill & \le \parallel \left. [{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_2\right)-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_1\right)\right]\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\mathcal{K}({\mathfrak{y}}_2,\mathfrak{q}\left({\mathfrak{y}}_2\right))-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\mathcal{K}({\mathfrak{y}}_1,\mathfrak{q}\left({\mathfrak{y}}_1\right))\parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & +{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)\right)d\delta \parallel \hfill \end{array}$$

$$\begin{array}{cc}\hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \hfill \\ \hfill & +{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & \le \parallel \left. [{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_2\right)-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\mathcal{S}}_{\kappa ,\epsilon }\left({\mathfrak{y}}_1\right)\right]\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\mathcal{K}({\mathfrak{y}}_2,\mathfrak{q}\left({\mathfrak{y}}_2\right))-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\mathcal{K}({\mathfrak{y}}_1,\mathfrak{q}\left({\mathfrak{y}}_1\right))\parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & +\parallel {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \hfill \\ \hfill & -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & =\sum _{i=1}^{11}{I}_i.\hfill \end{array}$$

By the strong continuity of ${\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)(\mathfrak{q}\left(0\right)-M_0{M}_{\mathcal{K}})$, we have $I_{1}tendsto0as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.$ The equicontinuity of $\mathcal{K}$ ensures that $I_{2}tendsto0,as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.$

$$\begin{array}{cc}\hfill I_3& =\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & \le {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\mathsf{\Delta }}_{1-\mu }{M}_{\mathcal{K}}(1+P)\frac{\mathsf{\Gamma }(1+\mu )}{\mu \mathsf{\Gamma }(1+\kappa \mu )}{({\mathfrak{y}}_2-{\mathfrak{y}}_1)}^{\kappa \mu }.\hfill \\ \hfill Then,& I_{3}tends0as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.\hfill \\ \hfill I_4& \le \parallel \left({\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\right){\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \parallel \hfill \\ \hfill & \le \kappa {\mathsf{\Delta }}_{1-\mu }{M}_{\mathcal{K}}(1+P)\frac{\mathsf{\Gamma }(1+\mu )}{\mu \mathsf{\Gamma }(1+\kappa \mu )}\hfill \\ \hfill & \parallel {\int }_0^{{\mathfrak{y}}_1}\left({\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\right){({\mathfrak{y}}_2-\delta )}^{\kappa (\mu -1)}d\delta \parallel .\hfill \\ \hfill We& havethat{I}_{4}tendstoward0as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.Additionally,\hfill \\ \hfill I_5& \le {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\parallel \left. [{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\right]\parallel \parallel \mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)\parallel \hfill \\ \hfill & \le M_0^{\prime }{M}_{\mathcal{K}}(1+P){\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\parallel \left. [{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\right]\parallel .\hfill \\ \hfill By& Theoremandstrongcontinuityof{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right),I_{5}tendsto0,as{\mathfrak{y}}_2\to {\mathfrak{y}}_1.\hfill \\ \hfill I_6& \le L^{\prime }\left|{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \right|\hfill \\ \hfill & \le L^{\prime }|{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta -{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta |\hfill \\ \hfill & \le L^{\prime }{\int }_0^{{\mathfrak{y}}_1}\left. [{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}-{\mathfrak{y}}_2^{(1+\kappa \vartheta )(1-\kappa )}{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}\right]L_{\mathfrak{F},P}\left(\delta \right)]d\delta .\hfill \end{array}$$

Then, $I_{6}tendsto0$ as ${\mathfrak{y}}_2\to {\mathfrak{y}}_1$ by using $\left(H_4\right)$ and the Lebesgue’s dominated convergent theorem.

$$\begin{array}{cc}\hfill I_7& \le L^{\prime }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{-\kappa +\kappa \vartheta }|{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}|L_{\mathfrak{F},P}\left(\delta \right)d\delta .\hfill \end{array}$$

Consider

$$\begin{array}{cc}\hfill ({\mathfrak{y}}_2& {-\delta )}^{-\kappa +\kappa \vartheta }|{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}|L_{\mathfrak{F},P}\left(\delta \right)\hfill \\ \hfill & \le \left. [{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon +\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}+{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{({\mathfrak{y}}_2-\delta )}^{-\kappa +\kappa \vartheta }\right]L_{\mathfrak{F},P}\left(\delta \right)\hfill \\ \hfill & \le \left. [{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}+{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}\right]L_{\mathfrak{F},P}\left(\delta \right)\hfill \\ \hfill & \le 2{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)\hfill \end{array}$$

and that ${\int }_0^{{\mathfrak{y}}_1}2{\mathfrak{y}}_1^{(1+\kappa \vartheta )(1-\kappa )}{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta$ exists $(\delta \in (0,{\mathfrak{y}}_1])$; then, using the dominated convergence theorem, we have

$$\begin{array}{cc}\hfill {\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_2-\delta )}^{-\kappa +\kappa \vartheta }& |{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}|L_{\mathfrak{F},P}\left(\delta \right)d\delta \to 0\mathrm{as}{\mathfrak{y}}_2\to {\mathfrak{y}}_1,\hfill \end{array}$$

so we conclude $\underset{{\mathfrak{y}}_2\to {\mathfrak{y}}_1}{lim}{I}_7=0$.

For any $\varsigma >0$, we have

$$\begin{array}{cc}\hfill I_8& \le {\int }_0^{{\mathfrak{y}}_1-\varsigma }{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\parallel {\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\parallel {({\mathfrak{y}}_1-\delta )}^{\kappa -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_{{\mathfrak{y}}_1-\varsigma }^{{\mathfrak{y}}_1}{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\parallel {\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\parallel {({\mathfrak{y}}_1-\delta )}^{\kappa -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \hfill \\ \hfill & \le {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1-\varsigma }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \underset{w\in [0,{\mathfrak{y}}_1-\varsigma ]}{sup}\parallel {\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\parallel \hfill \\ \hfill & +L^{\prime }{\int }_{{\mathfrak{y}}_1-\varsigma }^{{\mathfrak{y}}_1}{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{({\mathfrak{y}}_2-\delta )}^{-\kappa +\kappa \vartheta }+{({\mathfrak{y}}_1-\delta )}^{-\kappa +\kappa \vartheta }]{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \hfill \\ \hfill & \le {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta \underset{\delta \in [0,{\mathfrak{y}}_1-\varsigma ]}{sup}\parallel {\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\parallel \hfill \\ \hfill & +2L^{\prime }{\int }_{{\mathfrak{y}}_1-\varsigma }^{{\mathfrak{y}}_1}{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa \vartheta -1}{L}_{\mathfrak{F},P}\left(\delta \right)d\delta .\hfill \end{array}$$

From Theorem 4 and $\underset{{\mathfrak{y}}_2\to {\mathfrak{y}}_1}{lim}{I}_6=0$, we have $I_8\to 0$ independently of $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$ as ${\mathfrak{y}}_2\to {\mathfrak{y}}_1$, $\varsigma \to 0$.

$$\begin{array}{cc}\hfill I_9& =\parallel {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & \le {\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{L}^{\prime }{M}_B\parallel {\int }_{{\mathfrak{y}}_1}^{{\mathfrak{y}}_2}{({\mathfrak{y}}_2-\delta )}^{\kappa \vartheta -1}v\left(\delta \right)d\delta \parallel .\hfill \end{array}$$

$I_9$ tends to zero as ${\mathfrak{y}}_2\to {\mathfrak{y}}_1$.

$$\begin{array}{cc}\hfill I_{10}& =\parallel {\int }_0^{{\mathfrak{y}}_1}{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\right]{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )\mathtt{B}v\left(\delta \right)\parallel \hfill \\ \hfill & \le L^{\prime }{M}_B{\int }_0^{{\mathfrak{y}}_1}{\mathfrak{y}}_2^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [{({\mathfrak{y}}_2-\delta )}^{\kappa -1}-{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\right]{({\mathfrak{y}}_2-\delta )}^{-\kappa +\kappa \vartheta }v\left(\delta \right)d\delta ,\hfill \\ \hfill I_{11}& =\parallel {\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}\left. [{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-1)\right]\mathtt{B}v\left(\delta \right)d\delta \parallel \hfill \\ \hfill & \le M_B{\mathfrak{y}}_1^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{{\mathfrak{y}}_1}{({\mathfrak{y}}_1-\delta )}^{\kappa -1}v\left(\delta \right)d\delta sup\parallel {\mathcal{Q}}_{\kappa }({\mathfrak{y}}_2-\delta )-{\mathcal{Q}}_{\kappa }({\mathfrak{y}}_1-\delta )\parallel .\hfill \end{array}$$

Similar to the proof of $I_7$ and $I_8$, we have that $I_{10}$ and $I_{11}$ tend to zero.

Hence, $\parallel z\left({\mathfrak{y}}_2\right)-z\left({\mathfrak{y}}_1\right)\parallel \to 0$ independently of $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$ as ${\mathfrak{y}}_2\to {\mathfrak{y}}_1$. Therefore, $\left\{\mathsf{\Psi }\mathfrak{q}\left(\mathfrak{y}\right):\mathfrak{q}\in B_P\left(\mathcal{I}\right)\right\}$ is equicontinuous on $\mathcal{I}$.

Step 4: The relatively compact of $E\left(\mathfrak{y}\right)=\{z\left(\mathfrak{y}\right):z\in \mathsf{\Psi }\left(\mathfrak{q}\left(\mathfrak{y}\right)\right),\mathfrak{y}\in B_P\left(\mathcal{I}\right)\}$ in Y

Set $0<\alpha <\mathfrak{y}$ and a positive value q, and let $z\left(\mathfrak{y}\right)$ be the operator from $B_P\left(\mathcal{I}\right)$, defined as

$$\begin{array}{cc}\hfill z_{\alpha ,q}\left(\mathfrak{y}\right)& ={\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}-\alpha }{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}-\alpha }{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}v\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}-\alpha }{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta ]\hfill \\ \hfill & ={\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}-\alpha }{\int }_q^{\infty }\kappa \theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}T\left({(\mathfrak{y}-\delta )}^{\kappa }\theta \right)\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\theta d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}-\alpha }{\int }_q^{\infty }\kappa \theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}T\left({(\mathfrak{y}-\delta )}^{\kappa }\theta \right)\mathtt{B}v\left(\delta \right)d\theta d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}-\alpha }{\int }_q^{\infty }\kappa \theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}T\left({(\mathfrak{y}-\delta )}^{\kappa }\theta \right)\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\theta d\delta ]\hfill \\ \hfill & ={\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\right]\hfill \\ \hfill & +\kappa {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }T\left({\alpha }^{\kappa }q\right){\int }_0^{\mathfrak{y}-q}{\int }_q^{\infty }\theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}T({(\mathfrak{y}-\delta )}^{\kappa }\theta -{\alpha }^{\kappa }q)\hfill \\ \hfill & \times \left. [\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)+\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)+\mathtt{B}v\left(\delta \right)\right]d\theta d\delta .\hfill \end{array}$$

Therefore, $E_{\alpha ,\vartheta }\left(\mathfrak{y}\right)=\left\{{\left(z\left(\mathfrak{y}\right)\right)}_{\alpha ,q}:\mathfrak{y}\in B_P\left(\mathcal{I}\right)\right\}$ is precompact in Y for all $\alpha \in (0,\mathfrak{y})$, since $T\left({\alpha }^{\kappa }q\right)$ is compact. For every $\mathfrak{q}\in B_P\left(\mathcal{I}\right)$, we have

$$\begin{array}{cc}\hfill & \parallel z\left(\mathfrak{y}\right)-z_{\alpha ,q}\left(\mathfrak{y}\right)\parallel \hfill \\ \hfill & \le \parallel \kappa {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_0^{\mathfrak{y}}{\int }_0^q\theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}T\left({(\mathfrak{y}-\delta )}^{\kappa }\theta \right)\hfill \\ \hfill & \left. [\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)+\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)+\mathtt{B}v\left(\delta \right)\right]d\theta d\delta \parallel \hfill \\ \hfill & +\parallel \kappa {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }{\int }_{\mathfrak{y}-\alpha }^{\mathfrak{y}}{\int }_q^{\infty }{(\mathfrak{y}-\delta )}^{\kappa -1}\theta M_{\kappa }\left(\theta \right)T\left({(\mathfrak{y}-\delta )}^{\kappa }\theta \right)\hfill \\ \hfill & \left. [\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)+\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)+\mathtt{B}v\left(\delta \right)\right]d\theta d\delta \parallel \hfill \\ \hfill & \le \kappa {\mathsf{\Delta }}_0{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\int }_0^{\mathfrak{y}}{\int }_0^q\theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa -1}{(\mathfrak{y}-\delta )}^{\kappa \vartheta -\kappa }{\theta }^{\vartheta -1}\hfill \\ \hfill & \times \left. [M_0^{\prime }{M}_{\mathcal{K}}(1+P)+L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\theta d\delta \hfill \\ \hfill & +{\int }_{\mathfrak{y}-\alpha }^{\mathfrak{y}}{\int }_q^{\infty }{(\mathfrak{y}-\delta )}^{\kappa -1}\theta M_{\kappa }\left(\theta \right){(\mathfrak{y}-\delta )}^{\kappa \vartheta -\kappa }{\theta }^{\vartheta -1}\left. [M_0^{\prime }{M}_{\mathcal{K}}(1+P)+L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\delta )\hfill \\ \hfill & \le \kappa {\mathsf{\Delta }}_0{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa \vartheta -1}\left. [M_0^{\prime }{M}_{\mathcal{K}}(1+P)+L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\delta {\int }_0^q{\theta }^{\vartheta }{M}_{\kappa }\left(\theta \right)d\theta \hfill \\ \hfill & +{\int }_{\mathfrak{y}-\alpha }^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa \vartheta -1}\left. [M_0^{\prime }{M}_{\mathcal{K}}(1+P)+L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\delta {\int }_0^{\infty }{\theta }^{\vartheta }{M}_{\kappa }\left(\theta \right)d\theta )\hfill \\ \hfill & \le \kappa {\mathsf{\Delta }}_0{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa \vartheta -1}\left. [L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\delta {\int }_0^q{\theta }^{\vartheta }{M}_{\kappa }\left(\theta \right)d\theta \hfill \\ \hfill & +\frac{\mathsf{\Gamma }(1-\vartheta )}{\mathsf{\Gamma }(1-\kappa \vartheta )}{\int }_{\mathfrak{y}-\alpha }^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa \vartheta -1}\left. [M_0^{\prime }{M}_{\mathcal{K}}(1+P)+L_{\mathfrak{F},P}\left(\delta \right)+M_B\parallel v\parallel \right]d\delta )\hfill \\ \hfill & \to 0\mathrm{as}\alpha \to 0,q\to 0.\hfill \end{array}$$

So, $E_{\alpha ,q}\left(\mathfrak{y}\right)=\left\{z_{\alpha ,q}\left(\mathfrak{y}\right):\mathfrak{y}\in B_P\left(\mathcal{I}\right)\right\}$ is arbitrary closed to $E\left(\mathfrak{y}\right)=\left\{z\left(\mathfrak{y}\right):\mathfrak{y}\in B_P\left(\mathcal{I}\right)\right\}$. Therefore, using the Arzela–Ascoli Theorem, $\{z\left(\mathfrak{y}\right):\mathfrak{y}\in B_P\left(\mathcal{I}\right)\}$ is relatively compact. The continuity and relatively compactness of $\left\{z\left(\mathfrak{y}\right):\mathfrak{y}\in B_P\left(\mathcal{I}\right)\right\}$ imply that $z\left(\mathfrak{y}\right)$ is a completely continuous operator.

Step 5: $\mathsf{\Psi }$ has a closed graph.

Considering that ${\mathfrak{q}}_k\to {\mathfrak{q}}_{*}$ as $k\to \infty$, $z_k\left(\mathfrak{y}\right)\in \mathsf{\Psi }\left({\mathfrak{q}}_k\right)$ and $z_k\to z_{*}$ as $k\to \infty$, we have to show $z_{*}\in \mathsf{\Psi }\left({\mathfrak{q}}_{*}\right)$. Since $z_k\in \mathsf{\Psi }\left({\mathfrak{q}}_k\right)$, then there exists a function ${\mathfrak{F}}_k\in S_{\mathfrak{F},{\mathfrak{q}}_k}$ such that

$$\begin{array}{cc}\hfill z_k\left(\mathfrak{y}\right)& ={\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_k\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_k\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta ){\mathfrak{F}}_k\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)[{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -\mathcal{K}\left(d,{\mathfrak{q}}_k\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\left. [\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_k\left(r\right)\right)+{\mathfrak{F}}_k\left(r\right)\right]dr\left]d\delta \right].\hfill \end{array}$$

We need to show that there exists ${\mathfrak{F}}_{*}\in S_{\mathfrak{F},\mathfrak{q}\left(0\right)}$,

$$\begin{array}{cc}\hfill z_{*}\left(\mathfrak{y}\right)& ={\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_{*}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_{*}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta ){\mathfrak{F}}_{*}\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)[{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -K\left(d,{\mathfrak{q}}_{*}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\left. [\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_{*}\left(r\right)\right)+{\mathfrak{F}}_{*}\left(r\right)\right]dr\left]d\delta \right].\hfill \end{array}$$

Clearly,

$$\begin{array}{cc}\hfill & \parallel z_k\left(\mathfrak{y}\right)-{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}\left(0,\mathfrak{q}\left(0\right)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_k\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\mathfrak{y}-1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_k\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )\hfill \\ \hfill & \times R(\alpha ,{\mathfrak{T}}_0^d)\left({\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]-\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_k\left(r\right)\right)dr\right)]\hfill \\ \hfill & -[z_{*}\left(\mathfrak{y}\right)-{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-K\left(0,\mathfrak{q}\left(0\right)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_{*}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\mathfrak{y}-1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_{*}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )\hfill \\ \hfill & \times R(\alpha ,{\mathfrak{T}}_0^d)({\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -\mathcal{K}\left(d,\mathfrak{q}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_{*}\left(r\right)\right)dr\left)\right]]\parallel \to 0\mathrm{as}n\to \infty .\hfill \end{array}$$

Next, we define an operator $\mathsf{\Xi }:L^1(\mathcal{I},Y)\to \mathcal{X}$,

$$\begin{array}{cc}\hfill \mathsf{\Xi }\left(\mathfrak{F}\right)\left(\mathfrak{y}\right)& ={\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta \right))d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}R(0,{\mathfrak{T}}_0^d)\hfill \\ \hfill & \times \left({\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r){\mathfrak{F}}_k\left(r\right)dr\right).\hfill \end{array}$$

We have, by Lemma 5, that $(\mathsf{\Xi }\circ S_{\mathfrak{F},\mathfrak{q}})$ is a closed graph operator. Therefore, by referring to $\mathsf{\Xi }$, we have

$$\begin{array}{cc}\hfill [z_k\left(\mathfrak{y}\right)& -{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)+\mathcal{K}\left(0,\mathfrak{q}\left(0\right)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_k\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\mathfrak{y}-1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_k\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )\hfill \\ \hfill & \times R(\alpha ,{\mathfrak{T}}_0^d)[{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -\mathcal{K}\left(d,{\mathfrak{q}}_k\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_k\left(r\right)\right)dr\left)\right]\in \mathsf{\Xi }\left(S_{\mathfrak{F},{\mathfrak{q}}_k}\right),\hfill \end{array}$$

since ${\mathfrak{F}}_k\to {\mathfrak{F}}_{*}$, it follows from Lemma 5 that

$$\begin{array}{cc}\hfill [z_{*}\left(\mathfrak{y}\right)& -{\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }({\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}\left(0,\mathfrak{q}\left(0\right)\right)\right]+\mathcal{K}\left(\mathfrak{y},{\mathfrak{q}}_{*}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\mathfrak{y}-1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,{\mathfrak{q}}_{*}\left(\delta \right)\right)d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )\hfill \\ \hfill & \times R(\alpha ,{\mathfrak{T}}_0^d)[{\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]\hfill \\ \hfill & -\mathcal{K}\left(d,{\mathfrak{q}}_{*}\left(d\right)\right)-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}\left(r,{\mathfrak{q}}_{*}\left(r\right)\right)dr\left)\right]\in \mathsf{\Xi }\left(S_{\mathfrak{F},u\left(0\right)}\right).\hfill \end{array}$$

Hence, $\mathsf{\Psi }$ is a closed graph.

Step 6: The operator $\mathsf{\Psi }$ has a solution. It is enough to prove that the given set is bounded.

$$\begin{array}{c}\hfill \mathsf{\Lambda }=\left\{\mathfrak{q}\in \partial B_P\left(\mathcal{I}\right):\mathfrak{q}=\lambda \mathsf{\Psi }\left(\mathfrak{q}\right)\mathrm{for}\mathrm{some}\lambda \in (0,1)\right\}.\end{array}$$

Let $\mathfrak{q}\in \mathsf{\Lambda }$. Then, $\mathfrak{q}\in \lambda \mathsf{\Psi }\left(\mathfrak{q}\right)$ for some $0<\lambda <1$. Thus, there exists $\mathfrak{F}\in S_{\mathfrak{F},\mathfrak{q}}$ in ways that, for each $\mathfrak{y}\in [0,d]$, we have

$$\begin{array}{cc}\hfill \mathfrak{q}\left(\mathfrak{y}\right)=& \lambda {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}v\left(\delta \right)d\delta ].\hfill \end{array}$$

By assumptions $\left(H_3\right)-\left(H_6\right)$, we have

$$\begin{array}{cc}\hfill \left|\mathfrak{q}\right(\mathfrak{y}\left)\right|& =\left|\lambda {\mathfrak{y}}^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\right[{\mathcal{S}}_{\kappa ,\epsilon }\left(\mathfrak{y}\right)\left. [\mathfrak{q}\left(0\right)-\mathcal{K}(0,\mathfrak{q}(0\left)\right)\right]+\mathcal{K}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right)\right)\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}\left(\delta ,\mathfrak{q}\left(\delta \right)\right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathfrak{F}\left(\delta ,\mathfrak{q}\left(\delta \right),{\int }_0^{\delta }h\left(\delta ,s,\mathfrak{q}\left(s\right)\right)ds\right)]d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}v\left(\delta \right)d\delta |.\hfill \end{array}$$

From step 2, we have

$$\begin{array}{c}\hfill \left|\mathfrak{q}\left(\mathfrak{y}\right)\right|\le d^{1-\epsilon +\kappa \epsilon -\kappa \vartheta }\left. [M^{**}+\frac{d^{\kappa (2\vartheta -1)}{\left(L^{\prime }{M}_B\right)}^2}{a(-\kappa (1+2\vartheta \left)\right)}[{\mathfrak{q}}_1-M^{**}]\right].\end{array}$$

Then, by our assumption, there exists $M>0$ as a constant such that $\mathfrak{q}\left(\mathfrak{y}\right)\ne M$. Set $\overline{\mathcal{D}}=\{\mathfrak{q}\in B_P\left(\mathcal{I}\right):\parallel \mathfrak{q}\parallel \le M+1\}$. Comprehensibly, $\overline{\mathcal{D}}$ is a closed subset of $B_P\left(\mathcal{I}\right)$. Based on $\mathcal{D}$’s selection, there is no $\mathfrak{q}\in \partial \mathcal{D}$ such that $\mathfrak{q}=\lambda \mathsf{\Psi }\left(\mathfrak{q}\right)$ for some $0<\lambda <1$. Then, the statement $\left(ii\right)$ in Lemma (6) does not hold. As a result of the Leray–Schauder type’s nonlinear alternative, we are able to determine that the statement $\left(i\right)$ of Lemma (6) is true. Hence, the operator $\mathsf{\Psi }$ has a fixed point, which is the mild solution of the systems (1) and (2). □

Definition 8

([27]). The Cauchy problem (1) and (2) is known to be approximately controllable on $\mathcal{I}\mathrm{for}\mathrm{all}{\mathfrak{q}}_0\in Y$; there is some control $v\in L^2(\mathcal{I},U),\overline{\mathcal{R}(d,{\mathfrak{q}}_0)}=Y$, where $\mathcal{R}(d,{\mathfrak{q}}_0)=\{\mathfrak{q}(d,v);v\in L^2(\mathcal{I},U),\mathfrak{q}(0,v)={\mathfrak{q}}_0\}$, which is the reachable set of system (1) and (2) with the initial value ${\mathfrak{q}}_0$ at the terminal time d.

Theorem 2.

Suppose that $\left(H_1\right)-\left(H_6\right)$ hold and multivalued mapping $\mathfrak{F}$ is uniformly bounded. Furthermore, assume that the corresponding linear system (6) is approximately controllable on $\mathcal{I}$; then, the system in (1) and (2) is approximately controllable on $\mathcal{I}$.

Proof. 

Assume that ${\mathfrak{q}}^{\alpha }(·)$ is a fixed point of $\mathsf{\Psi }$ in $B_P\left(\mathcal{I}\right)$. From (1), any fixed point of $\mathsf{\Psi }$ is the mild solution of $\left(\right)$–$\left(\right)$. Furthermore, from the results on the Dunford–Pettis Theorem, we conclude that there is a subsequence $\left\{{\mathfrak{F}}^{\alpha }\left(\delta \right)\right\}$ that converges weakly to $\mathfrak{F}\left(\delta \right)$ in $L^1(\mathcal{I},Y)$. For every $\alpha >0$, there exists ${\mathfrak{F}}^{\alpha }\in S_{\mathfrak{F},\mathfrak{q}}$,

$$\begin{array}{cc}\hfill {\mathfrak{q}}^{\alpha }\left(\mathfrak{y}\right)=& S_{\kappa ,\epsilon }\left(\mathfrak{y}\right)[{\mathfrak{q}}_0-\mathcal{K}(0,u^{\alpha }\left(0\right))]+\mathcal{K}(\mathfrak{y},u^{\alpha }\left(\mathfrak{y}\right))\hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{A}\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))d\delta +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta ){\mathfrak{F}}^{\alpha }\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_0^{\mathfrak{y}}{(\mathfrak{y}-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(\mathfrak{y}-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )R(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\left(\mathfrak{y}\right)\right)d\delta ,\hfill \end{array}$$

where

$$\begin{array}{c}\hfill V^{\alpha }\left(\mathfrak{y}\right)=B^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\mathfrak{y})R(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\right)\left(\mathfrak{y}\right),\end{array}$$

and

$$\begin{array}{cc}\hfill P\left({\mathfrak{q}}^{\alpha }\right)=& {\mathfrak{q}}_1-{\mathcal{S}}_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,{\mathfrak{q}}^{\alpha }\left(0\right))]-\mathcal{K}(d,{\mathfrak{q}}^{\alpha }\left(d\right))-{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r){\mathfrak{F}}^{\alpha }\left(r\right)dr\hfill \\ \hfill & -{\int }_0^d{(d-r)}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-r)\mathtt{A}\mathcal{K}(r,{\mathfrak{q}}^{\alpha }\left(r\right))dr.\hfill \end{array}$$

Taking note of $\left(I-{\mathfrak{T}}_0^{d}R(\alpha ,{\mathfrak{T}}_0^d)\right)=\alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)$, we obtain

$$\begin{array}{cc}\hfill {\mathfrak{q}}^{\alpha }\left(d\right)& =S_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,u^{\alpha }\left(0\right))]+\mathcal{K}(d,u^{\alpha }\left(d\right))\hfill \\ \hfill & +{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{A}\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))d\delta +{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta ){\mathfrak{F}}^{\alpha }\left(\delta \right)d\delta \hfill \\ \hfill & +{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{B}{\mathtt{B}}^{*}{\mathcal{Q}}_{\kappa }^{*}(d-\delta )\mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\left(d\right)\right)d\delta \hfill \\ \hfill & =S_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,u^{\alpha }\left(0\right))]+\mathcal{K}(d,u^{\alpha }\left(d\right))+{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{A}\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))d\delta \hfill \\ & +{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta ){\mathfrak{F}}^{\alpha }\left(\delta \right)d\delta +{\mathfrak{T}}_0^d\mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\right)\hfill \\ \hfill & =S_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,u^{\alpha }\left(0\right))]+\mathcal{K}(d,u^{\alpha }\left(d\right))+{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{A}\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))d\delta \hfill \\ \hfill & +{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta ){\mathfrak{F}}^{\alpha }\left(\delta \right)d\delta +P\left({\mathfrak{q}}^{\alpha }\right)-\alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\right)\hfill \\ \hfill & ={\mathfrak{q}}_1-\alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\right),\mathrm{for}\mathrm{all}\mathfrak{F}\in S_{\mathfrak{F},\mathfrak{q}}.\hfill \end{array}$$

Furthermore, by our assumptions, there exists a constant $L_{\mathfrak{F},P}<\infty$ such that $\parallel {\mathfrak{F}}^{\alpha }\left(\delta \right)\parallel \le L_{\mathfrak{F},P}$. Consequently, the sequence $\left\{{\mathfrak{F}}^{\alpha }\left(\delta \right)\right\}$ has a subsequence still denoted by $\left\{{\mathfrak{F}}^{\alpha }\left(\delta \right)\right\}$, that weakly converges to $\mathfrak{F}\left(\delta \right)$.

Take

$$\begin{array}{cc}\hfill W& ={\mathfrak{q}}_1-S_{\kappa ,\epsilon }\left(d\right)[{\mathfrak{q}}_0-\mathcal{K}(0,u^{\alpha }\left(0\right))]+\mathcal{K}(d,u_1)\hfill \\ \hfill & -{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathtt{A}\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))d\delta -{\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(d-\delta )\mathfrak{F}\left(\delta \right)d\delta ,\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill \parallel P\left({\mathfrak{q}}^{\alpha }\right)-\delta \parallel =& \parallel \mathcal{K}(d,{\mathfrak{q}}_1^{\alpha })-\mathcal{K}(d,{\mathfrak{q}}_1)\parallel +\parallel {\int }_0^d{(d-\delta )}^{\kappa -1}{\mathcal{Q}}_{\kappa }(t-\delta )[{\mathfrak{F}}^{\alpha }\left(\delta \right)-\mathfrak{F}\left(\delta \right)]d\delta \parallel \hfill \\ \hfill & +\parallel {\int }_0^d{(d-\delta )}^{\kappa -1}\mathtt{A}{\mathcal{Q}}_{\kappa }(d-\delta )[\mathcal{K}(d,{\mathfrak{q}}_1^{\alpha })-\mathcal{K}(\delta ,{\mathfrak{q}}^{\alpha }\left(\delta \right))]d\delta \parallel .\hfill \end{array}$$

The compactness of the operator $\left\{{\mathcal{Q}}_{\kappa }\left(\mathfrak{y}\right),\mathfrak{y}>0\right\}$ is deduced, and the uniform boundedness of ${\mathfrak{F}}^{\alpha }\left(\delta \right)$ suggests that there exists some $\mathfrak{F}\left(\delta \right)\in L^{(}\mathcal{I},Y)$ such as $\alpha \to 0^{+}$,

$$\begin{array}{c}\hfill {\mathcal{Q}}_{\kappa }(d-\delta ){\mathfrak{F}}^{\alpha }\left(\delta \right)\to {\mathcal{Q}}_{\kappa }(d-\delta )\mathfrak{F}\left(\delta \right).\end{array}$$

Hence, for every $\mathfrak{y}\in [0,d]$, we have $\parallel P\left({\mathfrak{q}}^{\alpha }\right)-\delta \parallel \to 0$. Additionally, by approximate controllability of system (6), we have $\alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)\to 0$ as $\alpha \to 0^{+}$ in the strong topology. As a result, we have that $\alpha \to 0^{+}$,

$$\begin{array}{cc}\hfill \parallel {\mathfrak{q}}^{\alpha }\left(d\right)-{\mathfrak{q}}_1\parallel & =\parallel \alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)P\left({\mathfrak{q}}^{\alpha }\right)\parallel \hfill \\ \hfill & \le \parallel \alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)\delta \parallel +\parallel \alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)\parallel \parallel (P\left({\mathfrak{q}}^{\alpha }\right)-\delta )\parallel \hfill \\ \hfill & \le \parallel \alpha \mathcal{R}(\alpha ,{\mathfrak{T}}_0^d)\delta \parallel +\parallel \left(P\left({\mathfrak{q}}^{\alpha }\right)-\delta \right)\parallel \to 0.\hfill \end{array}$$

As a result, the system in (1) and (2) is approximately controllable on $\mathcal{I}$. □

4. Example

Consider the following $HF{D}_{tial}$ system:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{D}_{0^{+}}^{\frac{2}{3},\epsilon }\left. [\rho (\mathfrak{y},\tau )-\overline{\mathcal{K}}(\mathfrak{y},\rho (\mathfrak{y},\tau ))\right]\in {\rho }_{\mathfrak{y}\mathfrak{y}}(\mathfrak{y},\tau )+\beta (\mathfrak{y},\tau )+\frac{e^{-\mathfrak{y}}}{1+e^{-\mathfrak{y}}}[sin\left(\rho (\mathfrak{y},\tau )\right)\hfill \\ +{\int }_0^{\mathfrak{y}}sin\left(\mathfrak{y}s\right)\rho (\mathfrak{y},\tau )ds]\mathfrak{y}\in (0,d],\hfill & \tau \in [0,\pi ],\hfill \\ \rho (\mathfrak{y},0)=\rho (\mathfrak{y},\pi )=0,\hfill & \mathfrak{y}\in [0,d],\hfill \\ I^{(1-\frac{2}{3})(1-\epsilon )}\mathfrak{q}(\rho ,0)={\mathfrak{q}}_0\left(\tau \right),\hfill \end{array}\right.\end{array}$$

(7)

where $D_{0^{+}}^{\frac{2}{3},\epsilon }$ is the $HF{D}_{ve}$ of order $\frac{2}{3}$ and type $\epsilon$, $I^{(1-\frac{2}{3})(1-\epsilon )}$ is the R-L integral of order $\frac{3}{7}(1-\epsilon )$, and $\beta (\mathfrak{y},\tau )and\overline{\mathcal{K}}(\mathfrak{y},\rho (\mathfrak{y},\tau ))$ are the required functions. Let $U=Y=L^2[0,\pi ]$ and $\mathtt{A}$ be an almost sectorial operator defined by $\mathtt{A}\rho ={\rho }_{\mathfrak{y}\mathfrak{y}}$ with the domain

$$\begin{array}{c}\hfill D\left(\mathtt{A}\right)=\left\{\rho \in Y:{\rho }_{\mathfrak{y}},{\rho }_{\mathfrak{y}\mathfrak{y}}\mathrm{being}\mathrm{absolutely}\mathrm{continuous}\mathrm{in}\mathrm{Y},\mathrm{such}\mathrm{that}\rho (\mathfrak{y},0)=\rho (\mathfrak{y},\pi )=0\right\}.\end{array}$$

The operator $\mathtt{A}$ generates an analytic semigroup $T\left(\mathfrak{y}\right)$ and is defined by

$$\begin{array}{c}\hfill \mathtt{T}\left(\mathfrak{y}\right)\mathfrak{q}=\sum _{k=0}^{\infty }{e}^{-k^2\mathfrak{y}}⟨\mathfrak{q},e_k⟩,\mathfrak{q}\in Y.\end{array}$$

Moreover, $\mathtt{A}$ has a discrete spectrum, the eigen values $k^2,k\in \mathbb{N}$ agree with orthogonal eigen vectors ${\mathfrak{e}}_k\left(\mathfrak{q}\right)=\sqrt{\frac{2}{\pi }}sin\left(k\mathfrak{q}\right)$. Then,

$$\begin{array}{c}\hfill \mathtt{A}\mathfrak{q}=\sum _{k=0}^{\infty }{k}^2⟨\mathfrak{q},{\mathfrak{e}}_k⟩{\mathfrak{e}}_k,\mathfrak{q}\in Y.\end{array}$$

Specifically, $\mathtt{T}(·)$ is a uniformly stable semigroup and $\parallel \mathtt{T}\left(\mathfrak{y}\right)\parallel \le e^{-\mathfrak{y}}$.

Consider $\mathfrak{q}\left(\mathfrak{y}\right)\left(\tau \right)=\rho (\mathfrak{y},\tau )$, $\mathfrak{y}\in \mathcal{I}=[0,d]$, $a\in [0,\pi ]$ and bounded linear operator $\mathtt{B}v\left(\mathfrak{y}\right)\left(\tau \right)=\beta (v,\tau ),0<\tau <\pi ,$ where $\beta :\mathcal{I}\times [0,\pi ]\to [0,\pi ]$ is continuous in $\mathfrak{y}$. Now, for any $\mathfrak{q}\in Y=L^2[0,\pi ]$, $\tau \in [0,\pi ]$, we define the function $\mathfrak{F}:\mathcal{I}\times Y\times Y\to Y$,

$$\begin{array}{c}\hfill \mathfrak{F}\left(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right),\left(\mathcal{H}\mathfrak{q}\right)\left(\mathfrak{y}\right)\right)=\frac{e^{-\mathfrak{y}}}{1+e^{-\mathfrak{y}}}\left. [sin\left(\rho (\mathfrak{y},\tau )\right)+{\int }_0^{\mathfrak{y}}sin\left(\mathfrak{y}s\right)\rho (s,\tau )ds\right],\end{array}$$

where

$$\begin{array}{cc}\hfill \left(\mathcal{H}\mathfrak{q}\right)\left(\mathfrak{y}\right)\left(\tau \right)& =\frac{e^{-\mathfrak{y}}}{1+e^{-\mathfrak{y}}}\left. [{\int }_0^{\mathfrak{y}}sin\left(\mathfrak{y}s\right)\rho (s,\tau )ds\right].\hfill \end{array}$$

Additionally, $\mathcal{K}:\mathcal{I}\times Y\to Y$ is completely continuous mapping, defined as $\mathcal{K}(\mathfrak{y},\mathfrak{q}\left(\mathfrak{y}\right))=\overline{\mathcal{K}}(\mathfrak{y},\rho (\mathfrak{y},\tau ))$. Therefore, fractional system (7) is written as the nonlinear Cauchy problems (1) and (2).

Clearly, $\mathfrak{F}\left(\mathfrak{y},\rho (\mathfrak{y},\tau ),\left(H\rho \right)(\mathfrak{y},\tau )\right)$ is uniformly bounded. Then, the hypotheses $\left(H_1\right)-\left(H_6\right)$ are satisfied. However, the linear system that corresponds to (7) is approximately controllable; thus, the Theorem 1 is true. As a result, the requirements of Theorem 2 are met in full. Therefore, the $HF{D}_{tial}$ inclusion in (1) and (2) is therefore approximately controllable on $[0,d]$.

5. Conclusions

This paper concentrated on the approximate controllability of Hilfer fractional neutral Volterra integro-differential inclusions via an approximately sectorial operator. The major conclusions are established by applying the results and ideas belonging to almost sectorial operators, fractional differential, multivalued map and fixed point method. We first proved the existence of the mild solution of the fractional system and then looked into the approximate controllability. Finally, to explain the principle, we offered an example. In the future, the authors will use a fixed point technique to study the exact controllability of the Hilfer fractional derivative using almost sectorial operators and will try to develop some real-life applications related to Hilfer fractional differential systems because there are only a few studies with real-life applications.