1 Introduction
A Sobolev-type equation appears in several physical problems such as flow of fluids through fissured rocks, thermodynamics and propagation of long waves of small amplitude (see [1‐3]). Nonlinear fractional differential equations can be observed in many areas such as population dynamics, heat conduction in materials with memory, seepage flow in porous media, autonomous mobile robots, fluid dynamics, traffic models, electro magnetic, aeronautics, economics (see [4‐13]). Controllability means to steer a dynamical system from an arbitrary initial state to the desired final state in a given finite interval of time by using the admissible controls, and controllability results for linear and nonlinear integer order differential systems were studied by several authors (see [14‐27]). The constrained controllability is concerned with the existence of an admissible control that steers the state to a given target set from a specified initial state. Few authors studied constrained controllability; for example Son [28] studied constrained approximate controllability for the heat equations and retarded equations, Klamka [29] studied constrained controllability of nonlinear systems, Klamka [30] studied constrained controllability of semilinear systems with delays, Sikora and Klamka [31] studied constrained controllability of fractional linear systems with delays in control. Furthermore, the Clarke subdifferential has been applied in mechanics and engineering, especially in nonsmooth analysis and optimization [32, 33]. However, the controllability and the constrained controllability of nonlocal Hilfer fractional differential equations with the Clarke subdifferential have not yet been considered in the literature, and this fact motivates this work. The purpose of this paper is to study the controllability of Sobolev-type nonlocal Hilfer fractional differential equation system with the Clarke subdifferential in Banach spaces and to study the constrained local controllability of Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces.
2 Preliminaries
In order to study the controllability and constrained controllability for Clarke subdifferential Hilfer fractional differential equations with nonlocal condition, we need the following basic definitions and lemmas.
Anzeige
Definition 2.1
(see [34])
The fractional integral operator of order \(\mu > 0 \) for a function f can be defined as
where \(\varGamma (\cdot )\) is the Gamma function.
$$ I^{\mu }f(t)= \frac{1}{\varGamma (\mu )} \int ^{t}_{0} \frac{f(s)}{(t-s)^{1- \mu }} \,ds, \quad t > 0, $$
Definition 2.2
The Hilfer fractional derivative of order \(0\leq \nu \leq 1 \) and \(0 < \mu < 1\) is defined as
$$ D^{\nu ,\mu }_{0+} f(t)= I^{\nu (1-\mu )}_{0+} \frac{d}{dt}I^{(1- \nu )(1-\mu )}_{0+} f(t). $$
Anzeige
Next we recall some definitions from multi-valued analysis (see [37])
(i)
For a given Banach space X, a multi-valued map \(F: X \rightarrow 2^{X} \setminus \{ \emptyset \} := P(X) \) is convex (closed) valued, if \(F(x)\) is convex (closed) for all \(x \in X \).
(ii)
F is called upper semi-continuous (u.s.c) on X, if for each \(x \in X\), the set \(F(x)\) is a non-empty, closed subset of X, and if for each open set V of X containing \(F(x)\), there exists an open neighborhood N of x such that \(F(N)\subseteq V\).
(iii)
F is said to be completely continuous if \(F(V)\) is relatively compact, for every bounded subset \(V \subseteq X \).
(iv)
Let \((\varOmega , \varSigma )\) be a measurable space and \((X,d)\) a separable metric space. A multi-valued map \(F: J \rightarrow P(X) \) is said to be measurable, if for every closed set \(C\subseteq X \), we have \(F^{-1} = \{ t \in J : F(t) \cap C \neq \emptyset \} \in \varSigma \).
Throughout this paper, let X is a Banach spaces with \(\|\cdot \|\) and let \(C(J,X)\) be the Banach space of all continuous maps from \(J=(0,a]\) into X.
Define \(Y= \{x: \cdot ^{(1-\nu )(1-\mu )}x(\cdot ) \in C(J,X)\}\), with norm \(\|\cdot \|_{Y} \) defined by
Obviously, Y is a Banach space.
$$ \Vert \cdot \Vert _{Y}=\sup_{t \in J} \bigl\Vert t^{(1-\nu )(1-\mu )}x(t) \bigr\Vert . $$
Introduce the set \(B_{r} = \{ x \in Y : \| x \|_{Y} \leq r \}\), where \(r> 0\).
For \(x \in X\), we define two families of operators \(\{ S_{\nu , \mu }(t): t > 0 \}\) and \(\{ P_{\mu }(t): t> 0 \}\) by
where
is a function of Wright-type which satisfies
$$ \begin{aligned} &S_{\nu , \mu }(t)= I^{\nu (1- \mu )}_{0+} P_{\mu }(t),\qquad P_{\mu }(t)= t^{\mu -1} T_{\mu }(t), \\ &T_{\mu }(t)= \int _{0}^{\infty }\mu \theta \varPsi _{\mu }( \theta ) S\bigl(t ^{\mu }\theta \bigr) \,d\theta , \end{aligned} $$
(2.1)
$$ \varPsi _{\mu }(\theta )= \sum _{n=1}^{\infty } \frac{(- \theta )^{n-1}}{(n-1)! \varGamma (1-n \mu )},\quad 0< \mu < 1, \theta \in (0, \infty ), $$
(2.2)
$$ \int _{0}^{\infty }\theta ^{\tau }\varPsi _{\mu }(\theta ) \,d\theta = \frac{ \varGamma (1+ \tau )}{\varGamma (1+ \mu \tau )},\quad \theta \geq 0. $$
Lemma 2.1
(see [38])
The operators
\(S_{\nu , \mu }\)
and
\(P_{\mu }\)
have the following properties.
(i)
\(\{ P_{\mu }(t): t > 0\}\)
is continuous in the uniform operator topology.
(ii)
For any fixed
\(t >0\), \(S_{\nu , \mu }(t)\)
and
\(P_{\mu }(t)\)
are linear and bounded operators, and
$$ \bigl\Vert P_{\mu }(t) x \bigr\Vert \leq \frac{M t^{\mu -1}}{\varGamma (\mu )} \Vert x \Vert ,\qquad \bigl\Vert S_{\nu ,\mu }(t) x \bigr\Vert \leq \frac{M t^{(\nu -1)(1-\mu )}}{\varGamma ( \nu (1-\mu )+ \mu )} \Vert x \Vert . $$
(2.3)
(iii)
\(\{ P_{\mu }(t): t > 0\}\)
and
\(\{ S_{\nu , \mu } (t): t > 0\}\)
are strongly continuous.
(iv)
For every
\(t > 0\), \(\{ P_{\mu }(t)\}\)
and
\(\{ S_{\nu , \mu } (t) \}\)
are also compact operators if
\(T(t)\), \(t>0\)
is compact.
The operators \(A: D(A)\subset X \rightarrow Y\) and \(E: D(E) \subset X \rightarrow Y\) satisfy the following conditions:
(H1)
A and E are closed linear operators.
(H2)
\(D(E) \subset D(A)\) and E is bijective.
(H3)
\(E^{-1}: Y \rightarrow D(E)\) is continuous.
Here, (H1) and (H2) together with the closed graph theorem imply the boundedness of the linear operator \(AE^{-1}:Y\rightarrow Y\).
(H4)
For each \(t\in J\) and for \(\lambda \in \rho (-AE^{-1})\), the resolvent of \(-AE^{-1}\), the resolvent of \(R(\lambda , -AE^{-1})\) is the compact operator.
Lemma 2.2
(see [39])
Let
\(T(t)\)
be a uniformly continuous semigroup. If the resolvent set
\(R(\lambda , A)\)
of
A
is compact for every
\(\lambda \in \rho (A)\), then
\(T(t)\)
is a compact semigroup.
From the above fact, \(-AE^{-1}\)
generates a compact semigroup
\(\{S(t),t>0\}\)
in
Y, which means that there exists
\(M >1\)
such that
\(\sup_{t\in J}\|S(t)\|\leq M\).
Definition 2.3
Let X be a Banach space with the dual space \(X^{*}\) and \(Z: X \rightarrow R\), be a locally Lipschitz functional on X. The Clarke generalized directional derivative of Z at the point \(x \in X \) in the direction \(v\in X\), denoted by \(Z^{0}{(x;v)}\), is defined by
$$ Z^{0}{(x;v)}= \lim_{\lambda \rightarrow {0^{+}}}\sup _{y\rightarrow x} \frac{{Z(y + \lambda v) - Z(y)}}{\lambda }. $$
The Clarke generalized gradient of Z at \(x\in X\), denoted by \(\partial Z(x)\), is a subset of \(X^{*}\) given by
$$ \partial Z(x)=x^{*} \in X^{*}: Z^{0} {(x;v)}\geq \bigl\langle {{x ^{*}},v} \bigr\rangle , \quad \forall v \in X. $$
(H5)
The functional \(Z:J\times X\rightarrow R\) satisfies the following conditions:
(i)
\(Z(\cdot,x):J \to R\) is measurable for all \(x\in X\);
(ii)
\(Z(t,\cdot): X \to R\) is locally Lipschitz continuous for a.e. \(t \in J\);
(iii)
there exist a function \(\zeta \in L^{p} (J,R^{+})\) (\(0< \frac{1}{p}<\mu < 1\)) and constant \(k>0\) satisfying
$$ \bigl\Vert {\partial Z(t,x)} \bigr\Vert _{X} = \sup \bigl\{ { \Vert z \Vert _{X}}:z \in \partial Z(t,x) \bigr\} \leq \zeta (t)+ k \Vert x \Vert _{X},\quad \forall x\in X, \mbox{a.e. } t\in J. $$
Now we define an operator \(N: L^{2}(J,X)\rightarrow 2^{L^{2}(J,X)} \) as follows:
$$ N(x)= \bigl\{ w\in L^{2}(J,X): w(t)\in \partial Z(t,x) \mbox{ a.e. } t \in J\bigr\} ,\quad \mbox{for } x \in L^{2}(J,X). $$
Lemma 2.3
If (H5) holds, then for
\(x\in L^{2}(J,X)\)
the set
\(N(x)\)
has non-empty, convex and weakly compact values.
Lemma 2.4
If (H5) holds, then the operator
N
satisfies: if
\(x_{n}\rightarrow x\)
in
\(L^{2}(J,X)\), \(w_{n}\rightarrow w\)
weakly in
\(L^{2}(J,X)\)
and
\(w_{n} \in N(x_{n})\), then we have
\(w \in N(x)\).
Theorem 2.1
Let
X
be a Banach space and
\(F: X \rightarrow 2^{X}\)
be a compact convex valued, u.s.c. multi-valued maps such that there exists a closed neighborhood
V
of 0 for which
\(F(V)\)
is a relatively compact set. If the set
\(\varOmega = \{ x \in X : \lambda x \in F(x) \textit{ for some } \lambda > 1 \} \)
is bounded, then
F
has a fixed point.
3 Controllability results
In this section, we present and prove main results of controllability for a Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces in the following form:
where \(D^{\nu ,\mu }_{0+} \) is the Hilfer fractional derivative, \(0 \leq \nu \leq 1\), \(0 < \mu < 1\), A and E are closed, linear and densely defined operators with domain contained in the Banach space X and ranges contained in the Banach space Y. The state \(x(\cdot )\) takes values in the Banach space X and the control function \(u(\cdot )\) is given in \(L^{2}(J, U)\). The Banach space of admissible control functions with U a Banach space. The symbol B stands for a bounded linear from U into Y. The nonlinear operators \(f : J \times X \rightarrow Y\), \(H : J \times J \times X \rightarrow X\), \(g : J \times J \times X \times X \rightarrow Y\) and \(\partial Z(t, \cdot )\) is the Clarke subdifferential of \(Z(t,\cdot )\).
$$ \textstyle\begin{cases} D_{0+}^{\nu ,\mu }(Ex(t))+Ax(t) \\ \quad =Bu(t)+f(t,x(t))+\int _{0}^{t}g(t,s,x(s), \int _{0}^{s}{H(s,\tau ,x(\tau ))\,d\tau })\,ds \\ \qquad {}+\partial Z(t,x(t)),\quad t\in J= ( {0,a} ] , \\ I_{0+}^{(1-\nu )(1-\mu )}x(0)+q(x)={x_{0}}, \end{cases} $$
(3.1)
To establish the result, we need the following additional hypotheses:
(H6)
\(f: J \times X \rightarrow Y \) is a continuous function and there exist constants \(N_{1} > 0\) and \(N_{2} > 0\) such that, for all \(t \in J\), \(v_{1}\), \(v_{2}\in X\) we have
$$ \bigl\Vert f(t,v_{1}) - f(t,v_{2}) \bigr\Vert \leq N_{1} \Vert v_{1} - v_{2} \Vert , \qquad N_{2} = \bigl\Vert f(t,0) \bigr\Vert . $$
(H7)
\(g: J \times J \times X \times X \rightarrow Y \) is a continuous function and there exist constants \(L_{1} > 0\) and \(L_{2} > 0\) such that, for all \(t,s \in J\), \(v_{1}, v_{2}, w_{1}, w_{2} \in X\) we have
$$\begin{aligned}& \bigl\Vert g(t,s,v_{1},w_{1}) - g(t,s,v_{2},w_{2}) \bigr\Vert \leq L_{1} \bigl[ \Vert v_{1} - v _{2} \Vert + \Vert w_{1} - w_{2} \Vert \bigr] , \\& L_{2} = \bigl\Vert g(t,s,0,0) \bigr\Vert . \end{aligned}$$
(H8)
\(H : J \times J \times X \rightarrow X\) is continuous and there exist constants \(L_{3} > 0\), \(L_{4} > 0\), such that for all \(t,s \in J\), \(v_{1}, v_{2} \in X\) we have
$$ \bigl\Vert H(t,s,v_{1}) - H(t,s,v_{2}) \bigr\Vert \leq L_{3} \Vert v_{1} - v_{2} \Vert , \qquad L_{4} = \bigl\Vert H(t,s,0) \bigr\Vert . $$
(H9)
The linear operator W from U into E defined by
has an inverse operator \(W^{-1}\) which takes values in \(L^{2}(J, U) \setminus \ker W\), where the kernel space of W is defined by \(\ker W = \{x \in L^{2}(J, U): Wx = 0 \} \) and B is a bounded operator.
$$ Wu = \int _{0}^{a} E^{ - 1}P_{\mu }(a-s)Bu(s) \,ds, $$
Definition 3.1
We say \(x \in C(J,X)\) is a mild solution of the system (3.1) if it satisfies the integral equation
where
$$\begin{aligned} x(t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E \bigl[{x_{0}} - q(x)\bigr] + \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bu(s)\,ds \\ &{}+ \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)\biggl\{ \int _{0}^{s} g\bigl(s, \tau ,x(\tau ),R(\tau ) \bigr)\,d\tau \biggr\} \,ds \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds ,\quad t\in J, \end{aligned}$$
(3.2)
$$ R(\tau ) = \int _{0}^{\tau }{H\bigl(\tau ,\eta ,x(\eta )\bigr) \,d\eta }. $$
The proof of mild solution of Eq. (3.1) is similar to the proof of mild solution of Eq. (1.1) in [38].
Definition 3.2
Theorem 3.1
If the hypotheses (H1)–(H9) are satisfied, then the system (3.1) is controllable on
J
provided that there exists a constant
\(r>0\)
such that
$$\begin{aligned}& M \bigl\Vert {{E^{ - 1}}} \bigr\Vert \biggl( {1 + \frac{{M{a^{\mu }}} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}}} \biggr) \biggl[ \frac{ { \Vert {E} \Vert ( { \Vert {x_{0}} \Vert + \Vert q \Vert } )}}{{\varGamma ( {\nu (1 - \mu ) + \mu } )}} \\& \quad {}+ \frac{{M a^{\nu ( \mu - 1 )+1}}}{{\varGamma ( \mu +1 )}} \biggl( {{N_{1}}r + {N_{2}}}+\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{ \mu +2} ( {{L_{3}}r + {L_{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr \biggr) \biggr] \\& \quad {}+ \frac{{M{a^{\nu (\mu - 1)+1}} }}{{\varGamma ( \mu +1 )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert \le r. \end{aligned}$$
Proof
For any \(x \in C(J,X)\subset L^{2}(J,X)\) from Lemma 2.3 we consider the map \(V_{r}: C(J,X)\rightarrow 2^{C(J,X)}\) as follows:
$$\begin{aligned} V_{r}(x) =& \biggl\{ h \in C(J,X) : h(t)={E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[ {x_{0}} - q(x)\bigr]+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds} \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bu(s)\,ds + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s) \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau \,ds } } \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds, z\in N(x) \biggr\} , \quad \mbox{for } x \in C(J,X). \end{aligned}$$
We will show \(V_{r}\) has a fixed point using Theorem 2.1. Note \(V_{r}(x)\) is convex from convexity of \(N(x)\). We divide the proof into five steps.
Step 1: \(V_{r}\) maps bounded sets into bounded sets in \(C(J,X)\).
For any \(x \in B_{r}\) and \(\varPhi \in V_{r}(x)\), we choose a \(z \in N(x)\) with
$$\begin{aligned} \varPhi (t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[{x_{0}} - q(x)\bigr] + \int _{0} ^{t} {{E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} } Bu(s)\,ds \\ &{}+ \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s) \int _{0}^{s} g\bigl(s,\tau ,x( \tau ),R(\tau ) \bigr)\,d\tau \,ds + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds. \end{aligned}$$
Using the assumption (H9) for any arbitrary function \(x(\cdot)\), define the control
then the operator Φ takes the form
$$\begin{aligned} u(t) =& W^{ - 1} \biggl\{ x_{1} - E^{ - 1}S_{\nu ,\mu }(a)E \bigl[x_{0} - q(x)\bigr] - \int _{0}^{a} E^{ - 1}P_{\mu }(a - s)f\bigl(s,x(s)\bigr)\,ds \\ &{}- \int _{0}^{a} E^{ - 1}P_{\mu }(a - s) \int _{0}^{s} g\bigl(s,\tau ,x(\tau ),R( \tau ) \bigr)\,d\tau \,ds - \int _{0}^{a} E^{ - 1}P_{\mu }(a - s) z(s)\,ds \biggr\} (t), \end{aligned}$$
$$\begin{aligned} \varPhi (t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[{x_{0}} - q(x)\bigr] + \int _{0} ^{t} {{E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds} + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} B{W^{ - 1}} \\ &{}\times \biggl\{ {x_{1}} - {E^{ - 1}} {S_{\nu ,\mu }}(a)E\bigl({x_{0}} - q(x)\bigr) - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )f\bigl(\eta ,x(\eta )\bigr)\,d\eta } \\ &{} - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} \biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\eta \\ &{}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} z(\eta )\,d\eta \biggr\} ( s )\,ds \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} \int _{0}^{s} {g\bigl(s,\tau ,x( \tau ),R(\tau )\bigr)\,d\tau \,ds} + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds. \end{aligned}$$
(3.3)
From (H7), (H8) and the Beta function, we have
$$\begin{aligned}& \int _{0}^{t} (t - s)^{\mu -1} \int _{0}^{s} { \biggl\Vert g\biggl(s,\tau ,x(\tau ), \int _{0}^{\tau }{H\bigl(\tau ,\eta ,x(\eta )\bigr) \,d\eta }\biggr)\,d\tau \biggr\Vert } \,ds \\& \quad \le \int _{0}^{t} (t - s)^{\mu -1} \int _{0}^{s} { \biggl( L_{1} \biggl( \Vert x \Vert + \int _{0}^{\tau }{ \bigl\Vert H\bigl(\tau ,\eta ,x(\eta )\bigr) \bigr\Vert \,d\eta }\biggr)+ L_{2}\biggr) \,d\tau } \,ds \\& \quad \le \int _{0}^{t} (t - s)^{\mu -1} \int _{0}^{s} { \biggl( L_{1} \biggl( r + \int _{0}^{\tau }{(L_{3} r + L_{4}) \,d\eta }\biggr)+ L_{2}\biggr) \,d\tau } \,ds \\& \quad \le \int _{0}^{t} (t - s)^{\mu -1} \int _{0}^{s} { \bigl( L_{1} \bigl( r + \tau (L _{3} r + L_{4})\bigr)+ L_{2}\bigr) \,d\tau } \,ds \\& \quad \le \int _{0}^{t} (t - s)^{\mu -1} \biggl[ { \biggl( L_{1} \biggl( s r + \frac{s^{2} }{2}{(L_{3} r + L_{4}) }\biggr)+ s L_{2}\biggr) } \biggr] \,ds \\& \quad \le L_{1} \biggl( r t^{\mu +1} \frac{\varGamma (\mu ) \varGamma (2)}{\varGamma ( \mu +2)}+ \frac{1}{2} t^{\mu +2} \frac{\varGamma (\mu ) \varGamma (3)}{ \varGamma (\mu +3)} {(L_{3} r + L_{4})}\biggr)+ L_{2} t^{\mu +1} \frac{\varGamma (\mu ) \varGamma (2)}{\varGamma (\mu +2)} \\& \quad \le \frac{a^{\mu +1}}{\mu (\mu +1)} \biggl[ L_{1} \biggl( r + \frac{a}{\mu +2}(L _{3} r + L_{4})\biggr)+ L_{2}\biggr]. \end{aligned}$$
From (H5)–(H9), Lemma 2.1 and Hölder’s inequality, we have
$$\begin{aligned} \Vert \varPhi \Vert _{Y} =&\sup_{t \in J}t^{(1-\nu )(1-\mu )} \bigl\Vert \varPhi (t) \bigr\Vert \\ \le& \sup_{t \in J} {t^{( {1 - \nu } )( {1 - \mu } )}} \biggl\{ { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{S_{\nu ,\mu }}(t)} \bigr\Vert \Vert E \Vert \bigl\Vert {{x_{0}} - q(x)} \bigr\Vert } \\ & {}+ \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert \bigl\Vert {f\bigl(s,x(s)\bigr)} \bigr\Vert \,ds} + \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \\ & {}\times \biggl\Vert {x_{1}} - {E^{ - 1}} {S_{\nu ,\mu }}(a)E\bigl({x_{0}} - q(x)\bigr) - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )f\bigl(\eta ,x(\eta )\bigr)\,d\eta } \\ & {} - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} \biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\eta \\ &{}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} z(\eta )\,d\eta \biggr\Vert ( s )\,ds \\ & {}+ \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \int _{0}^{s} { \bigl\Vert {g\bigl(s,\tau ,x( \tau ),R(\tau )\bigr)\,d\tau } \bigr\Vert \,ds} \\ &{}+ \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \bigl\Vert {z(s)} \bigr\Vert \,ds \biggr\} \\ \le& \frac{M}{{\varGamma ( {\nu (1 - \mu ) + \mu } )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert E \Vert \bigl( { \Vert {x_{0}} \Vert + \bigl\Vert {q(x)} \bigr\Vert } \bigr) \\ & {}+ \frac{{M{a^{\nu (\mu - 1)+1}}} \Vert {{E^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}} \\ &{}\times\biggl[ { {{N_{1}}r + {N_{2}}} +\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{\mu +2} ( {{L_{3}}r + {L_{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr} \biggr] \\ & {}+ \frac{{M{a^{\nu (\mu - 1)+1}} }}{{\varGamma ( \mu +1 )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert \\ &{}+ \frac{M^{2}{a^{\mu }}{ \Vert {{E^{ - 1}}} \Vert }^{2} \Vert B \Vert \Vert {{W^{ - 1}}} \Vert \Vert E \Vert }{{\varGamma ( \mu +1 )}{\varGamma ( {\nu (1 - \mu ) + \mu } )}} \bigl( { \Vert {x_{0}} \Vert + \bigl\Vert {q(x)} \bigr\Vert } \bigr) \\ & {}+ \frac{{M^{2}{a^{\nu (\mu - 1)+1}}}{ \Vert {{E^{ - 1}}} \Vert }^{2} \Vert B \Vert \Vert {{W^{ - 1}}} \Vert {a^{\mu }}}{{\varGamma ( \mu +1 )}^{2}} \\ &{}\times\biggl[ { {{N_{1}}r + {N_{2}}} +\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{ \mu +2} ( {{L_{3}}r + {L_{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr} \biggr] \\ =& \frac{M}{{\varGamma ( {\nu (1 - \mu ) + \mu } )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert E \Vert \bigl( { \Vert {x_{0}} \Vert + \bigl\Vert {q(x)} \bigr\Vert } \bigr) \biggl( {1 + \frac{ {M{a^{\mu }}} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}}} \biggr) \\ & {}+ \frac{{M{a^{\nu (\mu - 1)+1}}} \Vert {{E^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}} \\ &{}\times \biggl[ { {{N_{1}}r + {N_{2}}} +\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{\mu +2} ( {{L_{3}}r + {L_{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr} \biggr] \\ & {}\times \biggl( {1 + \frac{{M{a^{\mu }}} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}}} \biggr) + \frac{{M{a^{\nu ( \mu - 1)+1}} }}{{\varGamma ( \mu +1 )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W ^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert \\ =& M \bigl\Vert {{E^{ - 1}}} \bigr\Vert \biggl( {1 + \frac{{M{a^{\mu }}} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}}} \biggr) \\ &{}\times \biggl[ \frac{{ \Vert {E} \Vert ( { \Vert {x_{0}} \Vert + \Vert q \Vert } )}}{ {\varGamma ( {\nu (1 - \mu ) + \mu } )}} + \frac{{M a^{\nu ( \mu - 1 )+1}}}{ {\varGamma ( \mu +1 )}} \\ &{}\times\biggl( { {{N_{1}}r + {N_{2}}} +\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{\mu +2} ( {{L_{3}}r + {L _{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr} \biggr) \biggr] \\ & {}+ \frac{{M{a^{\nu (\mu - 1)+1}} }}{{\varGamma ( \mu +1 )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert \le r. \end{aligned}$$
Thus \(V_{r}(B_{r}) \) is bounded in \(C(J,X)\).
Step 2: \(\{ V_{r}(x):x \in B_{r} \}\) is equicontinuous (for all \(r>0\)).
For any \(x \in B_{r}\) and \(\varPhi \in V_{r}(x)\) and \(z \in N(x)\) and from Lemma 2.1(ii) and Hölder’s inequality, we have
$$\begin{aligned}& \bigl\Vert \varPhi (t)-\varPhi (0) \bigr\Vert _{Y} \\& \quad =\sup _{t \in J}t^{(1-\nu )(1-\mu )} \bigl\Vert \varPhi (t)-\varPhi (0) \bigr\Vert \\& \quad \leq M \bigl\Vert {{E^{ - 1}}} \bigr\Vert \biggl( {1 + \frac{{M{a^{\mu }}} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}}} \biggr) \\& \qquad {}\times \biggl[ \frac{{ \Vert {E} \Vert ( { \Vert {x_{0}} \Vert + \Vert q \Vert } )}}{ {\varGamma ( {\nu (1 - \mu ) + \mu } )}} + \frac{{M a^{\nu ( \mu - 1 )+1}}}{ {\varGamma ( \mu +1 )}} \\& \qquad {}\times\biggl( { {{N_{1}}r + {N_{2}}} +\frac{a}{\mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{\mu +2} ( {{L_{3}}r + {L _{4}}} )} \biggr) + {L_{2}} \biggr)+ \Vert \zeta \Vert + kr} \biggr) \biggr] \\& \qquad {}+ \frac{{M{a^{\nu (\mu - 1)+1}} }}{{\varGamma ( \mu +1 )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert + \Vert x_{0} \Vert + \Vert q \Vert . \end{aligned}$$
Thus, for all \(\varepsilon >0\) and for sufficiently small \(\delta _{1}>0\), with \(0< t\leq \delta _{1}\), we have \(\| \varPhi (t)-\varPhi (0)\|_{Y}<\frac{\varepsilon }{2} \). Hence, for all \(\varepsilon >0\), \(\forall \tau _{1} , \tau _{2} \in [0,\delta _{1}]\) and \(\forall \varPhi \in V_{r} (B_{r})\), we have \(\| \varPhi (\tau _{2})- \varPhi (\tau _{1})\|_{Y}<\varepsilon \). For any \(x \in B_{r}\), and \(\frac{\delta _{1}}{2}\leq \tau _{1}<\tau _{2}\leq a\), we obtain
$$\begin{aligned}& \bigl\Vert { {\varPhi } (\tau _{2} ) - {\varPhi } (\tau _{1})} \bigr\Vert \\& \quad \le \bigl\Vert {{E^{ - 1}}} \bigr\Vert \biggl\{ { \bigl\Vert { \bigl( {{S_{\nu ,\mu }}(\tau _{2}) - {S_{\nu ,\mu }}(\tau _{1})} \bigr)E \bigl( {{x_{0}} - q(x)} \bigr)} \bigr\Vert } + \biggl\Vert \int _{\tau _{1}}^{\tau _{2}} {{P_{\mu }}(\tau _{2} - s)f\bigl(s,x(s)\bigr)\,ds} \biggr\Vert \\& \qquad {}+ \biggl\Vert { \int _{\tau _{1}}^{\tau _{2}} {P_{\mu }}(\tau _{2} - s)B{W ^{ - 1}}} \biggl\{ {x_{1}} - {E^{ - 1}} {S_{\nu ,\mu }}(a)E\bigl({x_{0}} - q(x) \bigr) \\& \qquad {}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )f\bigl(\eta ,x(\eta )\bigr)\,d\eta }- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \,d\eta \\& \qquad {}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} z(\eta )\,d\eta \biggr\} ( s )\,ds \biggr\Vert \\& \qquad {}+ \biggl\Vert \int _{\tau _{1}}^{\tau _{2}} {{P_{\mu }}(\tau _{2} - s) \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,ds} \biggr\Vert + \biggl\Vert \int _{\tau _{1}}^{\tau _{2}} {{P_{\mu }}(\tau _{2} - s)z(s)\,ds} \biggr\Vert \\& \qquad {}+ \biggl\Vert { \int _{0}^{\tau _{1}} \bigl[{P_{\mu }}(\tau _{2} - s)-{P_{\mu }}( \tau _{1} - s)\bigr]f \bigl(s,x(s)\bigr)\,ds} \biggr\Vert \\& \qquad {}+ \biggl\Vert \int _{0}^{\tau _{1}} \bigl[{P_{\mu }}(\tau _{2} - s)-{P_{\mu }}( \tau _{1} - s) \bigr]B{W^{ - 1}} \biggl\{ {x_{1}} - {E^{ - 1}} {S_{\nu ,\mu }}(a)E\bigl( {x_{0}} - q(x)\bigr) \\& \qquad {}- \int _{0}^{a} {E^{ - 1}} {P_{\mu }}(a - \eta )f\bigl( \eta ,x(\eta )\bigr)\,d\eta- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \,d\eta \\& \qquad {} - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} z(\eta )\,d\eta \biggr\} ( s )\,ds \biggr\Vert \\& \qquad {} + \biggl\Vert { \int _{0}^{\tau _{1}} \bigl[{P_{\mu }}(\tau _{2} - s)- {P_{\mu }}(\tau _{1} - s)\bigr] \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,ds} \biggr\Vert \\& \qquad {}+ \biggl\Vert { \int _{0}^{\tau _{1}} \bigl[{P_{\mu }}(\tau _{2} - s)-{P_{\mu }}(\tau _{1} - s)\bigr]z(s) \,ds} \biggr\Vert \biggr\} . \end{aligned}$$
(3.4)
From the compactness of \(T(t), t>0\), Lemma 2.1(ii), we see that the right hand side of inequality (3.4) tends to zero as \(\tau _{2} \rightarrow \tau _{1}\). Thus we see that \(\| { ( {\varPhi } )( \tau _{2} ) - ( {\varPhi } )( \tau _{1} )} \| _{Y}\) tends to zero.
For \(\forall \varepsilon >0\), \(\forall \tau _{1}, \tau _{2} \in (0,a]\), \(| \tau _{1}-\tau _{2} |<\delta _{1}\), \(\forall \varPhi \in V_{r}(B_{r}) \) we see that \(\| { ( {\varPhi } )( \tau _{2} ) - ( {\varPhi } )( \tau _{1} )} \|_{Y}<\varepsilon \) independently of \(x \in B_{r}\). Therefore, we deduce that \(\{V_{r}(x): x \in B_{r} \}\) is an equicontinuous family of functions in \(C(J,X)\).
Step 3: \(V_{r}\) is completely continuous.
We prove that, for all \(t \in J\), \(r>0\), the set \(\prod (t)= \{ \varPhi (t): \varPhi \in V_{r}(B_{r}) \}\) is relatively compact in X. Obviously, \(\prod (0)=x_{0} - q(x)\) is compact, so we only need to consider \(t>0\). Let \(0< t< a\) be fixed. For any \(x \in B_{r}\), \(\varPhi \in V_{r}(x)\), we choose \(z \in N(x) \) with
$$\begin{aligned} \varPhi (t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[{x_{0}} - q(x)\bigr] + \int _{0} ^{t} {{E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds} + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} B{W^{ - 1}} \\ &{}\times \biggl\{ {x_{1}} - {E^{ - 1}} {S_{\nu ,\mu }}(a)E\bigl({x_{0}} - q(x)\bigr) - \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )f\bigl(\eta ,x(\eta )\bigr)\,d\eta } \\ &{}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} \biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\eta \\ &{}- \int _{0}^{a} {{E^{ - 1}} {P_{\mu }}(a - \eta )} z(\eta )\,d\eta \biggr\} ( s )\,ds+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} \int _{0}^{s} {g\bigl(s,\tau ,x( \tau ),R(\tau )\bigr)\,d\tau \,ds} \\ &{} + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds,\quad t \in J. \end{aligned}$$
For each \(\epsilon \in (0,t)\), \(t \in (0,a]\), \(x \in B_{r}\), and any \(\delta >0\), we define
$$\begin{aligned} {\varPhi ^{ \epsilon ,\delta }}(t) =& \frac{\mu }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{t} { \int _{\delta } ^{\infty }{{E^{ - 1}}\theta {{(t - s)}^{\nu (1 - \mu ) - 1}} {s^{ \mu - 1}} {\varPsi _{\mu }}(\theta )S \bigl({s^{\mu }}\theta \bigr)E\bigl[{x_{0}} - q(x)\bigr]\,d \theta \,ds} } \\ &{}+ \mu \int _{0}^{t - \epsilon } { \int _{\delta }^{\infty }{{E^{ - 1}} \theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{ \mu }}\theta \bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds} } \\ &{}+ \mu \int _{0}^{t - \epsilon } \int _{\delta }^{\infty }{{E^{ - 1}} \theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{ \mu }}\theta \bigr)B{W^{ - 1}}} \\ &{}\times\biggl[ {x_{1}} - \frac{\mu }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({\eta ^{\mu }}\theta \bigr) \\ &{}\times E\bigl[ {x_{0}} - q(x) \bigr]\,d\theta \,d\eta \\ &{}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)f\bigl(\eta ,x( \eta )\bigr)\,d\theta \,d\eta } } \\ &{}- \mu \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr) \\ &{}\times\biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\theta \,d\eta \\ &{} - \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)z(\eta )\,d\theta \,d\eta } } \biggr](s)\,d \theta \,ds \\ &{}+ \mu \int _{0}^{t - \epsilon } { \int _{\delta }^{\infty }{{E^{ - 1}} \theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{ \mu }}\theta \bigr) \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,d\theta \,ds} } \\ &{}+ \mu \int _{0}^{t - \epsilon } { \int _{\delta }^{\infty }{{E^{ - 1}} \theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{ \mu }}\theta \bigr)z(s)\,d\theta \,ds} } \\ =& \frac{\mu S(\epsilon ^{\mu }\delta ) }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{t} \int _{\delta }^{\infty }{E^{ - 1}}\theta {{(t - s)}^{ \nu (1 - \mu ) - 1}} {s^{\mu - 1}} {\varPsi _{\mu }}(\theta )S \bigl({s^{\mu }} \theta -\epsilon ^{\mu }\delta \bigr) \\ &{}\times E \bigl[{x_{0}} - q(x)\bigr]\,d\theta \,ds \\ &{}+ \mu S\bigl(\epsilon ^{\mu }\delta \bigr) \int _{0}^{t - \epsilon } { \int _{ \delta }^{\infty }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{ \mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta - \epsilon ^{\mu }\delta \bigr)f\bigl(s,x(s) \bigr)\,d\theta \,ds} } \\ &{}+ \mu S\bigl(\epsilon ^{\mu }\delta \bigr) \int _{0}^{t - \epsilon } \int _{ \delta }^{\infty }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{ \mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta -\epsilon ^{\mu }\delta \bigr)B {W^{ - 1}}} \\ &{} \times \biggl[ {x_{1}} - \frac{\mu }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({\eta ^{\mu }}\theta \bigr) \\ &{}\times E\bigl[ {x_{0}} - q(x) \bigr]\,d\theta \,d\eta \\ &{}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)f\bigl(\eta ,x( \eta )\bigr)\,d\theta \,d\eta } } \\ &{}- \mu \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr) \\ &{}\times\biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\theta \,d\eta \\ &{} - \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)z(\eta )\,d\theta \,d\eta } } \biggr](s)\,d \theta \,ds \\ &{}+ \mu S\bigl(\epsilon ^{\mu }\delta \bigr) \int _{0}^{t - \epsilon } \int _{ \delta }^{\infty }{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{ \mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta - \epsilon ^{\mu }\delta \bigr) \\ &{}\times\int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,d\theta \,ds \\ &{}+ \mu S\bigl(\epsilon ^{\mu }\delta \bigr) \int _{0}^{t - \epsilon } { \int _{ \delta }^{\infty }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{ \mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta - \epsilon ^{\mu }\delta \bigr)z(s)\,d\theta \,ds} }. \end{aligned}$$
From the compactness of \(S(\epsilon ^{\mu }\delta )\), \(\epsilon ^{\mu } \delta >0\) and the bounded of \(u(s)\) we see that the set \(\prod_{\epsilon ,\delta }(t)= \{ \varPhi ^{\epsilon ,\delta }(t): \varPhi \in V_{r}(B_{r})\} \) is relatively compact in X for each \(\epsilon \in (0,t)\) and \(\delta >0\). Moreover, we have
$$\begin{aligned}& \bigl\Vert \varPhi (t)-\varPhi ^{\epsilon ,\delta }(t) \bigr\Vert _{Y} \\& \quad =\sup_{t \in J}t^{(1- \nu )(1-\mu )} \bigl\Vert \varPhi (t)- \varPhi ^{\epsilon ,\delta }(t) \bigr\Vert \\& \quad \leq \sup_{t \in J}t^{(1-\nu )(1-\mu )} \biggl\{ \biggl\Vert \frac{\mu }{ {\varGamma (\nu (1 - \mu ))}} \int _{0}^{t} \int _{0}^{\delta }{E^{ - 1}} \theta {{(t - s)}^{\nu (1 - \mu ) - 1}} {s^{\mu - 1}} {\varPsi _{\mu }}( \theta )S \bigl({s^{\mu }}\theta \bigr) \\& \qquad {}\times E\bigl[{x_{0}} - q(x)\bigr]\,d \theta \,ds \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{0}^{t} { \int _{0} ^{\delta }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds} } \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{0}^{t} \int _{0} ^{\delta }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr)B{W^{ - 1}}} \\& \qquad {} \times \biggl[ {x_{1}} - \frac{\mu }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({\eta ^{\mu }}\theta \bigr) \\& \qquad {}\times E\bigl[ {x_{0}} - q(x) \bigr]\,d\theta \,d\eta \\& \qquad {}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)f\bigl(\eta ,x( \eta )\bigr)\,d\theta \,d\eta } } \\& \qquad {}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr) \biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\theta \,d\eta } } \\& \qquad {} - \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}} \theta {{(a - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{ \mu }}\theta \bigr)z(\eta )\,d\theta \,d\eta } } \biggr](s)\,d \theta \,ds \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{0}^{t} { \int _{0}^{\delta }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr) \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,d\theta \,ds} } \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{0}^{t} { \int _{0}^{\delta }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr)z(s)\,d\theta \,ds} } \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{t - \epsilon }^{t} { \int _{\delta }^{\infty } {{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds} } \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{t - \epsilon }^{t} \int _{\delta }^{\infty } {{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr)B{W^{ - 1}}} \\& \qquad {} \times \biggl[ {x_{1}} - \frac{\mu }{{\varGamma (\nu (1 - \mu ))}} \int _{0}^{a} \int _{0}^{\infty }{E^{ - 1}}\theta {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({\eta ^{\mu }}\theta \bigr) \\& \qquad {}\times E\bigl[ {x_{0}} - q(x) \bigr]\,d\theta \,d\eta \\& \qquad {}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr)f\bigl(\eta ,x( \eta )\bigr)\,d\theta \,d\eta } } \\& \qquad {}- \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}}\theta {{(a - s)} ^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{\mu }}\theta \bigr) \biggl\{ { \int _{0}^{\eta }{g\bigl(\eta ,\tau ,x(\tau ),R( \tau )\bigr)\,d\tau } } \biggr\} \,d\theta \,d\eta } } \\& \qquad {} - \mu \int _{0}^{a} { \int _{0}^{\infty }{{E^{ - 1}} \theta {{(a - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(a - s)}^{ \mu }}\theta \bigr)z(\eta )\,d\theta \,d\eta } } \biggr](s)\,d \theta \,ds \biggr\Vert \\& \qquad {}+ \mu \biggl\Vert \int _{t - \epsilon }^{t} { \int _{\delta }^{\infty } {{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl({{(t - s)}^{\mu }}\theta \bigr) \int _{0}^{s} {g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau } \,d\theta \,ds} } \biggr\Vert \\& \qquad {} + \mu \biggl\Vert \int _{t - \epsilon }^{t} { \int _{\delta }^{ \infty }{{E^{ - 1}}\theta {{(t - s)}^{\mu - 1}} {\varPsi _{\mu }}(\theta )S\bigl( {{(t - s)}^{\mu }}\theta \bigr)z(s)\,d\theta \,ds} } \biggr\Vert \biggr\} \\& \quad \leq \frac{\mu M \Vert E^{ - 1} \Vert \Vert E \Vert [ \Vert x_{0} \Vert + \Vert q(x) \Vert ] }{ {\varGamma (\nu (1 - \mu ))}} \sup_{t \in J}t^{(1-\nu )(1-\mu )} \int _{0}^{t} {{(t - s)}^{\nu (1 - \mu ) - 1}} {s^{\mu - 1}} \,ds \int _{0} ^{\delta }\theta {\varPsi _{\mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert E^{ - 1} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{0} ^{t} { {{{(t - s)}^{\mu - 1}} g_{k} (s) \,ds} \int _{0}^{\delta }\theta {\varPsi _{\mu }}( \theta )\,d\theta } \\& \qquad {}+ \mu M \bigl\Vert E^{ - 1} \bigr\Vert \Vert B \Vert \bigl\Vert {W^{ - 1}} \bigr\Vert \sup_{t \in J}t^{(1- \nu )(1-\mu )} \int _{0}^{t} { {{(t - s)}^{\mu - 1}}} \\& \qquad {} \times\biggl[ \Vert x_{1} \Vert + \frac{\mu M \Vert E^{ - 1} \Vert \Vert E \Vert [ \Vert x_{0} \Vert + \Vert q(x) \Vert ] }{\varGamma (\nu (1 - \mu ))} \int _{0}^{a} {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} \,d\eta \\& \qquad {}+\mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{{(a - s)}^{\mu - 1}} g_{k} ( \eta ) \,d\eta } +\mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{(a - s)}^{\mu - 1}} h_{k}(\eta )\,d\eta \\& \qquad {} + \mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{(a - s)}^{\mu - 1}}z( \eta )\,d\eta \biggr](s) \,ds \int _{0}^{\delta }\theta {\varPsi _{\mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert {E^{ - 1}} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{0} ^{t} {(t - s)}^{\mu - 1} h_{k}(s) \,ds \int _{0}^{\delta }\theta {\varPsi _{\mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert {E^{ - 1}} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{0} ^{t} {(t - s)}^{\mu - 1} z(s) \,ds \int _{0}^{\delta }\theta {\varPsi _{ \mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert E^{ - 1} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{t-\epsilon } ^{t} { {{{(t - s)}^{\mu - 1}} g_{k} (s) \,ds} \int _{\delta }^{\infty }\theta {\varPsi _{\mu }}( \theta )\,d\theta } \\& \qquad {}+ \mu M \bigl\Vert E^{ - 1} \bigr\Vert \Vert B \Vert \bigl\Vert {W^{ - 1}} \bigr\Vert \sup_{t \in J}t^{(1- \nu )(1-\mu )} \int _{t-\epsilon }^{t} { {{(t - s)}^{\mu - 1}}} \\& \qquad {} \times\biggl[ \Vert x_{1} \Vert + \frac{\mu M \Vert E^{ - 1} \Vert \Vert E \Vert [ \Vert x_{0} \Vert + \Vert q(x) \Vert ] }{\varGamma (\nu (1 - \mu ))} \int _{0}^{a} {{(a - \eta )}^{\nu (1 - \mu ) - 1}} {\eta ^{\mu - 1}} \,d\eta \\& \qquad {}+\mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{{(a - s)}^{\mu - 1}} g_{k} ( \eta ) \,d\eta } +\mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{(a - s)}^{\mu - 1}} h_{k}(\eta )\,d\eta \\& \qquad {} + \mu M \bigl\Vert E^{ - 1} \bigr\Vert \int _{0}^{a} {{(a - s)}^{\mu - 1}}z( \eta )\,d\eta \biggr](s) \,ds \int _{\delta }^{\infty }\theta {\varPsi _{ \mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert {E^{ - 1}} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{t-\epsilon }^{t} {(t - s)}^{\mu - 1} h_{k}(s) \,ds \int _{\delta } ^{\infty }\theta {\varPsi _{\mu }}( \theta )\,d\theta \\& \qquad {}+ \mu M \bigl\Vert {E^{ - 1}} \bigr\Vert \sup _{t \in J}t^{(1-\nu )(1-\mu )} \int _{t-\epsilon }^{t} {(t - s)}^{\mu - 1} z(s) \,ds \int _{\delta }^{ \infty }\theta {\varPsi _{\mu }}( \theta )\,d\theta . \end{aligned}$$
Now we see that \(\| \varPhi (t)-\varPhi ^{\epsilon ,\delta }(t)\|_{Y}\rightarrow 0\) as \(\epsilon \rightarrow 0\), \(\delta \rightarrow 0\). Therefore, the set \(\prod (t)\), \(t>0\) is totally bounded, i.e., relatively compact in X. From the above (and step 2) and the Ascoli–Arzela theorem, we see that \(V_{r}\) is completely continuous.
Step 4: \(V_{r}\) has a closed graph.
Let \(x_{n} \rightarrow x_{*}\) as \(n \rightarrow \infty \) in \(C(J,X)\), \(\varPhi _{n} \in V_{r}(x_{n})\) and \(\varPhi _{n} \rightarrow \varPhi _{*}\) as \(n \rightarrow \infty \) in \(C(J,X)\). We prove that \(\varPhi _{*} \in V_{r}(x_{*})\). Now \(\varPhi _{n} \in V_{r}(x_{n})\), so there exist \(z_{n} \in N(x_{n})\), \(f_{n}=f(t,x_{n}(t))\), \(R_{n}(\tau )= \int _{0}^{\tau }H(\tau ,\eta ,x_{n}(\eta ))\,d\eta \) and \(g_{n}=g(t,s,x_{n}(s),R _{n}(\tau ))\) in \(L^{2}(J,X)\) with
$$\begin{aligned} \varPhi _{n}(t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E \bigl[{x_{0}} - q(x)\bigr] + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)f_{n}\bigl(s,x(s)\bigr)\,ds + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} } Bu(s)\,ds \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s) \int _{0}^{s} {g_{n}\bigl(s, \tau ,x(\tau ),R_{n}(\tau )\bigr)\,d\tau \,ds + } } \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z_{n}(s)\,ds. \end{aligned}$$
(3.5)
From (H5)–(H8), \(\{z_{n}, f_{n}, g_{n}\}_{n\geq 1}\subseteq L ^{2}(J,X)\) are bounded. Hence we assume that
$$ z_{n} \rightarrow z_{*},\qquad f_{n} \rightarrow f_{*},\qquad g_{n} \rightarrow g _{*},\quad \mbox{weakly in } L^{2}(J,X). $$
(3.6)
From (3.5), (3.6) and compactness of \(P_{\mu }(t)\), we have
$$\begin{aligned} \varPhi _{n}(t) \rightarrow &{E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[{x_{0}} - q(x)\bigr] + \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)f_{*}\bigl(s,x(s)\bigr)\,ds \\ &{}+ \int _{0} ^{t} {E^{ - 1}} {P_{\mu }}(t - s) Bu(s)\,ds+ \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s) \int _{0}^{s} g_{*}\bigl(s, \tau ,x(\tau ),R_{*}(\tau )\bigr)\,d\tau \,ds \\ &{} + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z_{*}(s)\,ds. \end{aligned}$$
Note that \(\varPhi _{n} \rightarrow \varPhi _{*}\) in \(C(J,X)\) and \(z_{n} \in N(x_{n}) \). Hence, from Lemma 2.4 we obtain \(z_{*} \in N(x_{*})\) and \(\varPhi _{*} \in V_{r}(x_{*})\), which implies \(V_{r}\) has a closed graph and \(V_{r}\) is u.s.c.
Step 5: A priori estimate.
From steps 1–4, we see that \(V_{r}\) is u.s.c. and is compact convex valued and \(V_{r}(B_{r})\) is a relatively compact set (here \(r>0\)). We now prove that the set \(\varOmega = \{ x \in C(J,X):\lambda x \in V_{r}(x), \lambda >0 \}\) is bounded. For all \(x \in \omega \), there exist \(z \in N(x)\) and f, g in \(L^{2}(J,X)\) with
$$\begin{aligned} x(t) =& \lambda ^{-1}{E^{ - 1}} {S_{\nu ,\mu }}(t)E \bigl[{x_{0}} - q(x)\bigr] + \lambda ^{-1} \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s) Bu(s)\,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)\biggl\{ \int _{0} ^{s} g\bigl(s,\tau ,x(\tau ),R(\tau )\bigr)\,d\tau \biggr\} \,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds. \end{aligned}$$
(3.7)
Then from assumptions (H5)–(H8), we derive
$$\begin{aligned} \bigl\Vert x(t) \bigr\Vert _{Y} =& \sup_{t\in J} {t^{(1 - \nu )(1 - \mu )}} \bigl\Vert x(t) \bigr\Vert \\ =& \sup {t^{ ( {1 - \nu } ) ( {1 - \mu } )}} \biggl\{ \biggl\Vert \lambda ^{-1}{E^{ - 1}} {S_{\nu ,\mu }}(t)E \bigl[{x_{0}} - q(x)\bigr] + \lambda ^{-1} \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)f\bigl(s,x(s)\bigr)\,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bu(s)\,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)\biggl\{ \int _{0}^{s} g\bigl(s,\tau ,x(\tau ),R(\tau ) \bigr)\,d\tau \biggr\} \,ds \\ &{}+ \lambda ^{-1} \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds \biggr\Vert \biggr\} \\ \leq& \sup {t^{ ( {1 - \nu } ) ( {1 - \mu } )}} \biggl\{ \lambda ^{-1} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{S _{\nu ,\mu }}(t)} \bigr\Vert \Vert E \Vert \bigl( \Vert {x_{0}} \Vert + \bigl\Vert q(x) \bigr\Vert \bigr) } \\ &{}+ \lambda ^{-1} \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert \bigl\Vert {f\bigl(s,x(s)\bigr)} \bigr\Vert \,ds} \\ &{}+ \lambda ^{-1} \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \Vert B \Vert \bigl\Vert u(s) \bigr\Vert \,ds \\ &{} + \lambda ^{-1} \int _{0}^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \int _{0}^{s} { \bigl\Vert {g\bigl(s, \tau ,x(\tau ),R(\tau )\bigr)\,d\tau } \bigr\Vert \,ds} \\ &{}+ \lambda ^{-1} \int _{0} ^{t} { \bigl\Vert {{E^{ - 1}}} \bigr\Vert \bigl\Vert {{P_{\mu }}(t - s)} \bigr\Vert } \bigl\Vert {z(s)} \bigr\Vert \,ds \biggr\} \\ \le& \frac{M\lambda ^{-1}}{{\varGamma ( {\nu (1 - \mu ) + \mu } )}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert E \Vert \bigl( { \Vert {x_{0}} \Vert + \bigl\Vert {q(x)} \bigr\Vert } \bigr) \\ &{}+ \frac{{M{a^{\nu (\mu - 1)+1}}\lambda ^{-1}} \Vert {{E^{ - 1}}} \Vert }{{\varGamma ( \mu +1 )}} \\ &{}\times\biggl[ {{N_{1}}r + {N_{2}}} +\frac{a}{ \mu +1} \biggl( {L_{1}} \biggl( {r + \frac{a}{\mu +2} ( {{L_{3}}r + {L_{4}}} )} \biggr) + {L_{2}} \biggr) \\ &{}+ \Vert \zeta \Vert + kr+ \Vert B \Vert \Vert u \Vert \biggr]. \end{aligned}$$
It follows from (3.7) and \(\lambda ^{-1}<1\) that \(\| x(t) \| _{Y} \leq r\). Hence, \(\| x \|_{C} = \sup_{t\in J} \| x(t) \|_{Y} \leq r \), which implies the set Ω is bounded.
4 Constrained controllability
In this section, we present the constrained local controllability of Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces in the following form:
where the nonlinear operators \(f_{1} : J \times X \times U \rightarrow Y\), \(H : J \times J \times X \rightarrow X\), \(g_{1} : J \times J \times X \times X \times U \rightarrow Y\) and \(\partial Z(t,\cdot )\) is the Clarke subdifferential of \(Z(t,\cdot )\).
$$ \textstyle\begin{cases} D_{0 + }^{\nu ,\mu }(Ex(t))+Ax(t) \\ \quad =Bu(t) + f_{1}(t,x(t),u(t))+\int _{0} ^{t} g_{1}(t,s,x(s),\int _{0}^{s} {H(s,\tau ,x(\tau ))\,d\tau },u(s) )\,ds \\ \qquad {}+ \partial Z(t,x(t)) ,\quad t \in J = ( {0,a} ], \\ I_{0+}^{(1-\nu )(1-\mu )}x(0) + q(x) = {x_{0}}, \end{cases} $$
(4.1)
In this section, we need the following hypotheses:
(H10)
Let \(\|Bu(t)\|\leq M_{B} \|u(t)\|_{U}\) for all \(u(t)\in U\) on J where \(M_{B}>0\).
(H11)
\(f_{1}: J \times X \times U \rightarrow Y \) is a uniformly continuous function in t and there exist constants \(L_{5} > 0\) such that for all \(t \in J\), \(v_{1}\), \(v_{2}\in X\), \(u_{1}, u_{2} \in U\) we have
$$ \bigl\Vert f_{1}(t,v_{1},u_{1}) - f_{1}(t,v_{2},u_{2}) \bigr\Vert \leq L_{5} \bigl( \Vert v_{1} - v_{2} \Vert + \Vert u_{1} - u_{2} \Vert _{U} \bigr). $$
(H12)
\(g_{1}: J \times J \times X \times X \times U \rightarrow Y \) is a uniformly continuous function in t and there exist constants \(L_{6} > 0\) such that for all t, \(s \in J\), \(v_{1}, v_{2} \in X\), \(u_{1}, u_{2}\in U\) we have
$$ \bigl\Vert g_{1}(t,s,v_{1},u_{1}) - g_{1}(t,s,v_{2},u_{2}) \bigr\Vert \leq L_{6} \bigl( \Vert v _{1} - v_{2} \Vert + \Vert u_{1} - u_{2} \Vert _{U}\bigr). $$
The mild solution of the system (4.1) takes the form
where
$$\begin{aligned} x(t) =& {E^{ - 1}} {S_{\nu ,\mu }}(t)E\bigl[{x_{0}} - q(x)\bigr] + \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bu(s)\,ds \\ &{}+ \int _{0}^{t} {E^{ - 1}} {P_{ \mu }}(t - s)f_{1}\bigl(s,x(s),u(s)\bigr)\,ds \\ &{}+ \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)\biggl\{ \int _{0}^{s} g_{1}\bigl(s, \tau ,x(\tau ),R(\tau ),u(\tau )\bigr)\,d\tau \biggr\} \,ds \\ &{}+ \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} z(s)\,ds, \quad t\in J, \end{aligned}$$
(4.2)
$$ R(\tau ) = \int _{0}^{\tau }H\bigl(\tau ,\eta ,x(\eta )\bigr) \,d\eta . $$
The constrained set of controls is considered to be a closed convex cone with empty interior and vertex at origin. Let \(U_{0} \subset U\) be the constrained set of controls and let the set of admissible controls be
$$ U_{\mathrm{ad}} =L^{2}(J;U_{0})\subset V=L^{2}(J;U). $$
Definition 4.1
The attainable set at time \(a>0\), denoted by \(K_{T}(U_{0})\), is defined as
where \(x(t,u)\) is a solution of (4.1).
$$ K_{T}(U_{0})= \bigl\{ x \in X : x= x(a,u), u(a)\in U_{0} \mbox{ a.e. in } J \bigr\} , $$
Let us consider the Sobolev-type linear Hilfer fractional differential system
$$ \textstyle\begin{cases} D_{0 + }^{\nu ,\mu }(Ey(t))+Ay(t)=Bv(t) , \quad t \in J = (0,a], \\ I_{0+}^{(1-\nu )(1-\mu )}y(0) = 0 . \end{cases} $$
(4.3)
The mild solution of (4.3) is
$$ y(t,v) = \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bv(s)\,ds ,\quad t\in J. $$
(4.4)
Let us define the following operators:
\(\mathcal{B}: U \rightarrow C(J,X)\) by
$$ \mathcal{B} {u}(\cdot)= \int _{{0}}^{\cdot} {{E^{ - 1}} {P_{ \mu }}(\cdot - s)} Bu(s)\,ds, $$
\(\mathcal{F} : X \times U \rightarrow C(J,X)\) by
and
$$ \mathcal{F}(x,u) (\cdot)= \int _{{0}}^{\cdot} {E^{ - 1}} {P_{\mu }}(\cdot - s)f_{1}\bigl(s,x(s),u(s)\bigr)\,ds, $$
\(\mathcal{G} : X \times X \times U \rightarrow C(J,X)\) by
$$ \mathcal{G}(x,u) (\cdot)= \int _{{0}}^{\cdot} {E^{ - 1}} {P_{\mu }}(\cdot - s) \biggl\{ \int _{{0}}^{s} g_{1}\bigl(s,\tau ,x( \tau ),R(\tau ),u(\tau )\bigr)\,d\tau \biggr\} \,ds. $$
Let us put the following hypotheses:
(H13)
The nonlinear function \(f_{1}\), \(g_{1}\) satisfies:
where \(D_{x}\) and \(D_{u}\) denote the Frechet derivative on space U.
$$\begin{aligned}& f_{1}\bigl(t,x(t),u(t)\bigr)|_{u=0}=0 , \qquad D_{x} f_{1}\bigl(t,x(t),u(t)\bigr)|_{u=0}=0 , \\& D_{u} f_{1}\bigl(t,x(t),u(t) \bigr)|_{u=0}=0 ,\qquad g_{1}\bigl(t,x(t),u(t)\bigr)|_{u=0}=0 , \\& D_{x} g_{1}\bigl(t,x(t),u(t)\bigr)|_{u=0}=0 \quad \mbox{and} \quad D_{u} g_{1}\bigl(t,x(t),u(t) \bigr)|_{u=0}=0 , \end{aligned}$$
(H14)
\(\mathcal{B}\), \(\mathcal{F}\) and \(\mathcal{G}\) are continuously differentiable in U.
Definition 4.2
The system (4.1) is said to be \(U_{0}\)-exactly locally controllable on J if the attainable set \(K_{T}(U_{0})\) contains a neighborhood of \(x(0) \in X\) in the space X.
Definition 4.3
The main result observes the application of the generalized open mapping theorem, so we recall it in the following lemma.
Lemma 4.1
([40])
Let
X, Y
be Banach spaces and
\(F: B_{r} (x_{0}) \subset X \rightarrow Y\)
such that
for some
\(k>0\)
and
\(T \in \mathcal{L}(X,Y)\)
with
\(\operatorname{rank}(T)=Y\). Then
\(B_{\rho }(Fx_{0})\subset FB_{r}(x _{0})\)
for some
\(\rho > 0\)
provided that
k
is sufficiently small.
$$ \bigl\Vert Fx-F\bar{x}-T(x-\bar{x}) \bigr\Vert \leq k \Vert x-\bar{x} \Vert \quad \textit{on } B_{r} (x_{0}) \times B_{r} (x_{0}), $$
Theorem 4.1
Under the assumptions (H1)–(H4), (H8) and (H10)–(H15) the nonlinear control system (4.1) is
\(U_{0}\)-exactly locally controllable on
J.
Proof
Let us define an operator \(\mathcal{H} : U_{\mathrm{ad}} \rightarrow X \) by \(\mathcal{H} (u)=x(a,u)\), which maps control to the final state of the trajectory. Then the integral equation (4.2) implies
$$ \mathcal{H} (u)= {E^{ - 1}} {S_{\nu ,\mu }}(a)E \bigl[{x_{ {0}}} - q(x)\bigr] + \mathcal{B} u(a)+\mathcal{F} (x,u) (a)+ \mathcal{G} (x,u) (a)+ \int _{ {0}}^{a} {{E^{ - 1}} {P_{\mu }}(a - s)} z(s)\,ds. $$
By hypothesis (H14), \(\mathcal{H}\) is differentiable in \(U_{\mathrm{ad}}\). Thus
$$ D_{u}\mathcal{H} (u)= D_{u} \bigl(( \mathcal{B} u) (a)\bigr) + D_{u} \bigl(\mathcal{F} (x,u) (a)\bigr) + D _{u} \bigl(\mathcal{G} (x,u) (a)\bigr). $$
(4.5)
We have
and
$$\begin{aligned}& D_{u} \bigl((\mathcal{B} u) (a)\bigr) = \int _{{0}}^{a} {{E ^{ - 1}} {P_{\mu }}(a - s)} B \,ds , \\& D_{u}\bigl( \mathcal{F}(x,u) (a)\bigr)= \int _{{0}}^{a} {E^{ - 1}} {P_{\mu }}(a - s) D_{u} f_{1} \bigl(s,x(s),u(s)\bigr)\,ds, \end{aligned}$$
$$ D_{u}\bigl( \mathcal{G}(x,u) (a)\bigr)= \int _{{0}}^{a} {E^{ - 1}} {P_{\mu }}(a - s) \biggl\{ \int _{{0}}^{s} D_{u} g_{1}\bigl(s, \tau ,x(\tau ),R(\tau ),u(\tau )\bigr)\,d\tau \biggr\} \,ds. $$
Then, by using hypothesis (H13) in (4.5), we get
$$ D_{u} \mathcal{H} (u)|_{u={{0}}}v = \int _{ {0}}^{a} {{E^{ - 1}} {P_{\mu }}(a - s)} Bv(s) \,ds = y(a,v). $$
By hypothesis (H15), the linear control system (4.3) is \(U_{0}\)-exactly globally controllable, therefore the map \(D_{u} \mathcal{H} (u)|_{u={{0}}}\), mapping \(v \mapsto y(a,v)\), is a surjective map with \(D_{u} \mathcal{H} ({{0}})(U_{\mathrm{ad}})=X\). Now, let \(u_{1}\), \(u_{2} \in U_{\mathrm{ad}}\) corresponding to \(x_{1}(t)=x(t,u_{1})\) and \(x_{2}(t)=x(t,u _{2})\), respectively. Then, for all \(t \in J\),
$$\begin{aligned}& \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert \\& \quad \leq \biggl\Vert \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} B\bigl(u_{1}(s)-u_{2}(s) \bigr)\,ds \biggr\Vert \\& \qquad {}+ \biggl\Vert \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s)\bigl[f_{1}\bigl(s,x(s),u(s)\bigr)-f _{2}\bigl(s,x(s),u(s)\bigr)\bigr]\,ds \biggr\Vert \\& \qquad {}+ \biggl\Vert \int _{0}^{t} {E^{ - 1}} {P_{\mu }}(t - s) \\& \qquad {}\times\biggl\{ \int _{0}^{s} \bigl[ g_{1}\bigl(s, \tau ,x(\tau ),R(\tau ),u(\tau )\bigr)-g_{2}\bigl(s,\tau ,x(\tau ),R(\tau ),u( \tau )\bigr)\bigr]\,d\tau \,ds \biggr\} \biggr\Vert \\& \quad \le \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} M_{B} (t-s)^{ \mu -1 } \bigl\Vert \bigl(u_{1}(s)-u_{2}(s) \bigr) \bigr\Vert \,ds \\& \qquad {}+ \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} L_{5} (t-s)^{ \mu -1 } \bigl[ \bigl\Vert \bigl(x_{1}(s)-x_{2}(s) \bigr) \bigr\Vert + \bigl\Vert \bigl(u_{1}(s)-u_{2}(s) \bigr) \bigr\Vert \bigr]\,ds \\& \qquad {}+ \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} L_{6} (t-s)^{ \mu -1 } \int _{0}^{s} \bigl[ \bigl\Vert \bigl(x_{1}(\tau )-x_{2}(\tau )\bigr) \bigr\Vert + \bigl\Vert \bigl(u_{1}(\tau )-u _{2}(\tau )\bigr) \bigr\Vert \bigr]\,d\tau \,ds \\& \quad \le \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} (t-s)^{ \mu -1 } \biggl[ (M_{B} +L_{5}) \bigl\Vert \bigl(u_{1}(s)-u_{2}(s) \bigr) \bigr\Vert + L_{6} \int _{0}^{s} \bigl\Vert \bigl(u_{1}(\tau )-u_{2}(\tau )\bigr) \bigr\Vert \,d \tau \biggr] \,ds \\& \qquad {}+\frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} (t-s)^{ \mu -1 } \biggl[ L_{5} \bigl\Vert \bigl(x_{1}(s)-x_{2}(s) \bigr) \bigr\Vert + L_{6} \int _{0}^{s} \bigl\Vert \bigl(x_{1}( \tau )-x_{2}(\tau )\bigr) \bigr\Vert \,d \tau \biggr] \,ds. \end{aligned}$$
By Gronwall’s inequality,
$$\begin{aligned} \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert \leq& \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}} \int _{0}^{t} (t-s)^{ \mu -1 } \\ &{}\times\biggl[ (M_{B} +L_{5}) \bigl\Vert \bigl(u_{1}(s)-u_{2}(s) \bigr) \bigr\Vert + L_{6} \int _{0}^{s} \bigl\Vert \bigl(u_{1}(\tau )-u_{2}(\tau )\bigr) \bigr\Vert \,d \tau \biggr] \,ds \\ &{}\times e^{ ( \frac{M \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu )}}{\int _{0}^{t} (t-s)^{\mu -1 } (L_{5} +L_{5} s) \,ds} )}. \end{aligned}$$
Therefore
and
$$\begin{aligned} \bigl\Vert \mathcal{H} (u_{1})-\mathcal{H} (u_{2}) \bigr\Vert \leq& \bigl\Vert x_{1}(a)-x_{2}(a) \bigr\Vert \\ \leq& \frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu + 1 )}}\biggl(M_{B}+L _{5}+ \frac{a}{\mu + 1}L_{6}\biggr) e^{ ({\frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu + 1 )}}(L_{5}+\frac{a}{\mu + 1}L_{6}) } )} \Vert u_{1}-u_{2} \Vert _{V} \end{aligned}$$
$$\begin{aligned} \bigl\Vert D_{u} \mathcal{H} ({{0}}) (u_{1}-u_{2}) \bigr\Vert =& \biggl\Vert \int _{{0}}^{a} {{E^{ - 1}} {P_{\mu }}(a - s)} B\bigl(u_{1}(s)-u_{2}(s) \bigr) \,ds \biggr\Vert \\ \leq& \frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert M_{B}}{{\varGamma ( \mu + 1 )}} \Vert u_{1}-u_{2} \Vert _{V}. \end{aligned}$$
Now
$$\begin{aligned}& \bigl\Vert \mathcal{H} (u_{1})-\mathcal{H} (u_{2})-D _{u} \mathcal{H} ({{0}}) (u_{1}-u_{2}) \bigr\Vert \\& \quad \leq \bigl\Vert \mathcal{H} (u_{1})-\mathcal{H} (u_{2}) \bigr\Vert + \bigl\Vert D_{u} \mathcal{H} ({{0}}) (u_{1}-u_{2}) \bigr\Vert \\& \quad \leq \frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu + 1 )}}\biggl(M_{B}+L _{5}+ \frac{a}{\mu + 1}L_{6}\biggr) e^{ ({\frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu + 1 )}}(L_{5}+\frac{a}{\mu + 1}L_{6}) } )} \Vert u_{1}-u_{2} \Vert _{V} \\& \qquad {}+\frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert M_{B}}{{\varGamma ( \mu + 1 )}} \Vert u_{1}-u_{2} \Vert _{V} \\& \quad \leq \frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert }{{\varGamma (\mu + 1 )}} \biggl[\biggl(M _{B}+L_{5}+ \frac{a}{\mu + 1}L_{6}\biggr) e^{ ({\frac{M{a^{\mu }} \Vert {{E^{ - 1}}} \Vert (L_{5}+\frac{a}{\mu + 1}L_{6})}{{\varGamma (\mu + 1 )}}} )} + M_{B} \biggr] \Vert u_{1}-u_{2} \Vert _{V}. \end{aligned}$$
Thus, by Lemma 4.1, the operator \(\mathcal{H}\) transforms a neighborhood of zero in \(U_{\mathrm{ad}}\) onto a neighborhood of \(\mathcal{H}(0)\) in the Banach space X. This proves the theorem. □
Remark 1
Controllability for a nonlinear fractional system was studied by many authors. However, to the best of our knowledge, there are no results on the controllability of nonlocal Hilfer fractional differential equations with the Clarke subdifferential.
Remark 2
Constrained controllability of for nonlinear fractional system was studied by few authors. However, to the best of our knowledge, there are no results on the constrained local controllability of nonlocal Hilfer fractional differential equations with the Clarke subdifferential.
Remark 3
The study may be improved by finding the sufficient conditions for controllability and constrained local controllability of a Sobolev-type nonlocal Hilfer fractional stochastic differential equation system with the Clarke subdifferential.
5 Applications
Example 5.1
Consider the following Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces:
where \(D^{\frac{1}{2},\frac{2}{3}}_{0+} \) is the Hilfer fractional derivative, \(\nu = \frac{1}{2}\), \(\mu =\frac{2}{3}\). Let \(X=Y=L^{2}(0, \pi )\) and define the operators \(A: D(A)\subset X \rightarrow Y\) and \(E: D(E)\subset X \rightarrow Y\) by \(Ax= -x_{yy}\), \(Ex= x- x_{yy}\) where \(D(A)\), \(D(E)\) is given by {\(x\in X: x,x_{y} \) are absolutely continuous and \(x_{yy}\in X\), \(x(0)=x(\pi )=0\)}. The functions \(x(t)(y)=x(t,y)\), \(Bu(t)(y)=Bu(t,y)\), \(f(t,x(t))(y)=\frac{1}{30} \cos (x(t,y))\), \(g(t,s,x(s),\int _{0}^{s}{H(s,\tau ,x(\tau ))\,d\tau })(y)= \frac{1}{s^{2}+9} + \frac{1}{9} \int _{0}^{s} \frac{1}{(2+\tau )^{2}}\,d\tau \), \(H(s,\tau ,x(\tau ))= \frac{1}{9} \frac{1}{(2+\tau )^{2}}\), \(\partial Z(t,x(t))(y)=\partial Z(t,x(t,y))\) and \(q(x)(y)=\sum_{i=1} ^{m}c_{i} x(t_{i},y)\).
$$ \textstyle\begin{cases} D_{0 + }^{\frac{1}{2} ,\frac{2}{3} }(x(t,y)-x_{yy}(t,y))-x_{yy}(t,y) \\ \quad =Bu(t,y) +\frac{1}{30} \cos (x(t,y))+ \int _{0}^{t} ( \frac{1}{s^{2}+9} + \frac{1}{9} \int _{0}^{s} \frac{1}{(2+ \tau )^{2}}\,d\tau )\,ds \\ \qquad {}+ \partial Z(t,x(t,y)) ,\quad 0\leq y \leq \pi, t \in J = (0,1], \\ x(t,0) = x(t,\pi ) = 0,\quad t \in J, \\ I_{0 + }^{\frac{1}{2} ,\frac{1}{3} } x(0,y) + \sum_{i=1}^{m}c_{i} x(t _{i},y) = x_{0}(y), \end{cases} $$
(5.1)
It is easy to verify that the function f satisfies hypothesis (H6) with \(N_{1}=N_{2}=\frac{1}{30}\).
Then A and E can be written as
where \(x_{n}(y)=\sqrt{\frac{2}{\pi }}\sin ny \), \(n=1,2,3,\ldots\) , is the orthogonal set of eigenvectors of A and \((x,x_{n})\) is the \(L^{2}\) inner product. Moreover, for \(x \in X\), we get
It is well known that A generates a compact semigroup \(\{ T(t), t>0 \}\) in X and
with
Moreover, the two operators \(P_{\frac{2}{3}}(t)\) and \(S_{\frac{1}{2}, \frac{2}{3}}(t)\) satisfy
We note that \(L_{2}=\frac{1}{9}\), \(L_{4}=\frac{1}{36}\) and choose other constants such that all hypotheses (H1)–(H9) are satisfied and
$$\begin{aligned}& Ax=\sum_{n=1}^{\infty }n^{2}(x,x_{n})x_{n}, \quad x\in D(A), \\& Ex=\sum_{n=1}^{\infty }\bigl(1+n^{2} \bigr) (x,x_{n})x_{n},\quad x\in D(E), \end{aligned}$$
$$\begin{aligned}& E^{-1}x=\sum_{n=1}^{\infty } \frac{1}{1+n^{2}}(x,x_{n})x_{n}, \\& -AE^{-1}x=\sum_{n=1}^{\infty } \frac{-n^{2}}{1+n^{2}}(x,x_{n})x_{n}. \end{aligned}$$
$$ T(t)x=\sum_{n=1}^{\infty }e^{\frac{-n^{2}}{1+n^{2}}t}(x,x_{n})x_{n}, \quad x\in X, $$
$$ \bigl\Vert T(t) \bigr\Vert \leq e^{-t} \leq 1. $$
$$ \bigl\Vert P_{\frac{2}{3}}(t) \bigr\Vert \leq \frac{ M t^{\frac{-1}{3}}}{\varGamma ( \frac{2}{3})}, \qquad \bigl\Vert S_{\frac{1}{2},\frac{2}{3}}(t) \bigr\Vert \leq \frac{Mt^{\frac{-1}{6}}}{ \varGamma ( \frac{5}{6})}. $$
$$\begin{aligned}& M \bigl\Vert {{E^{ - 1}}} \bigr\Vert \biggl( {1 + \frac{{M} \Vert {{E^{ - 1}}} \Vert \Vert B \Vert \Vert {{W^{ - 1}}} \Vert }{{\varGamma ( \frac{5}{3} )}}} \biggr) \biggl[ \frac{ { \Vert {E} \Vert ( { \Vert {x_{0}} \Vert + \Vert q \Vert } )}}{{\varGamma ( \frac{5}{6} )}} + \frac{{M}}{{\varGamma (\frac{5}{3})}} \biggl( {{\frac{1}{30}}r + {\frac{1}{30}}} \\& \quad {}+\frac{3}{5} \biggl( {L_{1}} \biggl( {r + \frac{3}{8} \biggl( {{L_{3}}r + {\frac{1}{36}}} \biggr)} \biggr) + {\frac{1}{9}} \biggr)+ \Vert \zeta \Vert + kr \biggr) \biggr]+ \frac{{M}}{{\varGamma ( \frac{5}{3})}} \bigl\Vert {{E^{ - 1}}} \bigr\Vert \Vert B \Vert \bigl\Vert {{W^{ - 1}}} \bigr\Vert \Vert {x_{1}} \Vert \le r. \end{aligned}$$
Example 5.2
Consider the following Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces:
where \(D^{\frac{1}{3},\frac{3}{4}}_{0+} \) is the Hilfer fractional derivative, \(\nu = \frac{1}{3}\), \(\mu =\frac{3}{4}\). Let \(X=Y=L^{2}(0, \pi )\) and define the operators \(A: D(A)\subset X \rightarrow Y\) and \(E: D(E)\subset X \rightarrow Y\) by \(Ax= -x_{\varsigma \varsigma }\), \(Ex= x- x_{\varsigma \varsigma }\) where \(D(A)\), \(D(E)\) is given by {\(x\in X: x,x_{\varsigma }\) are absolutely continuous and \(x_{\varsigma \varsigma }\in X\), \(x(0)=x(\pi )=0\)}. The functions \(x(t)(\varsigma )=x(t, \varsigma )\), \(Bu(t)(\varsigma )=Bu(t,\varsigma ) \partial Z(t,x(t))( \varsigma )=\partial Z(t,x(t,\varsigma ))\), \(q(x)(\varsigma )=\sum_{i=1}^{m}c_{i} x(t_{i},\varsigma )\), \(f_{1}(t,x(t),u(t))(\varsigma )= G_{1}(t,x(t,\varsigma ),u(t,\varsigma )) \), \(g_{1}(t,s,x(s),\int _{0}^{s}{H(s,\tau ,x(\tau ))\,d\tau }, u(s))(\varsigma )= G_{2}(t,s,x(s, \varsigma ),\int _{0}^{s}{G_{3}(s,\tau ,x(\tau ,\varsigma ))\,d\tau },u(t, \varsigma ))\).
$$ \textstyle\begin{cases} D_{0 + }^{\frac{1}{3} ,\frac{3}{4} }(x(t,\varsigma )-x_{\varsigma \varsigma }(t,\varsigma ))-x_{\varsigma \varsigma }(t,\varsigma ) \\ \quad =Bu(t, \varsigma )+ G_{1}(t,x(t,\varsigma ),u(t,\varsigma )) \\ \qquad {}+\int _{0}^{t} G_{2}(t,s,x(s,\varsigma ),\int _{0}^{s} {G_{3}(s,\tau ,x( \tau ,\varsigma ))\,d\tau },u(s,\varsigma ) )\,ds \\ \qquad {}+ \partial Z(t,x(t, \varsigma )) ,\quad 0\leq \varsigma \leq \pi, t \in J = (0,1], \\ x(t,0) = x(t,\pi ) = 0,\quad t \in J, \\ I_{0 + }^{\frac{2}{3} ,\frac{1}{4} } x(0,\varsigma ) + \sum_{i=1}^{m}c _{i} x(t_{i},\varsigma ) = x_{0}(\varsigma ), \end{cases} $$
(5.2)
Then A and E can be written as
where \(x_{n}(\varsigma )=\sqrt{\frac{2}{\pi }}\sin n\varsigma \), \(n=1,2,3,\ldots\) , is the orthogonal set of eigenvectors of A and \((x,x_{n})\) is the \(L^{2}\) inner product. Moreover, for \(x \in X\), we get
It is well known that A generates a compact semigroup \(\{ T(t), t>0 \}\) in X and
with
Moreover, the two operators \(P_{\frac{3}{4}}(t)\) and \(S_{\frac{1}{3}, \frac{3}{4}}(t)\) satisfy
$$\begin{aligned}& Ax=\sum_{n=1}^{\infty }n^{2}(x,x_{n})x_{n}, \quad x\in D(A), \\& Ex=\sum_{n=1}^{\infty }\bigl(1+n^{2} \bigr) (x,x_{n})x_{n},\quad x\in D(E), \end{aligned}$$
$$\begin{aligned}& E^{-1}x=\sum_{n=1}^{\infty } \frac{1}{1+n^{2}}(x,x_{n})x_{n}, \\& -AE^{-1}x=\sum_{n=1}^{\infty } \frac{-n^{2}}{1+n^{2}}(x,x_{n})x_{n}. \end{aligned}$$
$$ T(t)x=\sum_{n=1}^{\infty }e^{\frac{-n^{2}}{1+n^{2}}t}(x,x_{n})x_{n}, \quad x\in X, $$
$$ \bigl\Vert T(t) \bigr\Vert \leq e^{-t} \leq 1. $$
$$ \bigl\Vert P_{\frac{3}{4}}(t) \bigr\Vert \leq \frac{ M t^{\frac{-1}{4}}}{\varGamma ( \frac{3}{4})}, \qquad \bigl\Vert S_{\frac{1}{3},\frac{3}{4}}(t) \bigr\Vert \leq \frac{Mt^{\frac{-1}{6}}}{ \varGamma ( \frac{5}{6})}. $$
Take \(L^{2}[0,\pi ]\) as the control space and \(U_{0}=\{ u(t) \in U: u(t, \varsigma ) \geq 0 \}\). The space of admissible controls is \(U_{\mathrm{ad}}= L^{2}(J;U_{0}) \subset V= L^{2} (J;U)\) and the attainable set is
$$ K_{T}(U_{0})= \bigl\{ x \in X :x= x(t,u), u(t, \varsigma ) \in U_{0} \bigr\} . $$
The associated linear control system of the nonlocal Hilfer fractional differential system with the Clarke subdifferential (5.2) takes the form
with mild solution in the form
$$ \textstyle\begin{cases} D_{0 + }^{\frac{1}{3} ,\frac{3}{4} }(y(t,\varsigma )-y_{\varsigma \varsigma }(t,\varsigma ))-y_{\varsigma \varsigma }(t,\varsigma ) \\ \quad =Bv(t, \varsigma ),\quad 0\leq \varsigma \leq \pi, t \in J = (0,1], \\ y(t,0) = y(t,\pi ) = 0,\quad t \in J, \\ I_{0 + }^{(\frac{2}{3}) (\frac{1}{4}) }y(0,\varsigma ) = 0, \end{cases} $$
(5.3)
$$ y(t,v) = \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bv(s,\varsigma )\,ds ,\quad t\in J. $$
(5.4)
6 Conclusion
In this paper, by using fractional calculus and the Sadovskii fixed point theorem, we studied the sufficient conditions for controllability of Sobolev-type nonlocal Hilfer fractional differential systems with Clarke’s subdifferential. In addition, we established the constrained local controllability for Sobolev-type nonlocal Hilfer fractional differential systems with Clarke’s subdifferential. Also, we provided two examples to illustrate our results. In the future we aim to study the existence of mild solution for a class of noninstantaneous and nonlocal impulsive Hilfer fractional stochastic integrodifferential equations with fractional Brownian motion and Poisson jumps.
Acknowledgements
We would like to thank the referees and the editor for their important comments and suggestions, which have significantly improved the paper.
Competing interests
The authors declare that they have no competing interests.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.