Skip to main content

Advertisement

Journal of Inequalities and Applications
Journal of Inequalities and Applications Cover Image

Controllability and constrained controllability for nonlocal Hilfer fractional differential systems with Clarke’s subdifferential

Journal of Inequalities and Applicationsvolume 2019, Article number: 233 (2019) | Download Citation

Article metrics

  • 135 Accesses

Abstract

Sobolev-type nonlocal fractional differential systems with Clarke’s subdifferential are studied. Sufficient conditions for controllability and constrained controllability for Sobolev-type nonlocal fractional differential systems with Clarke’s subdifferential are established, where the time fractional derivative is the Hilfer derivative. An example is given to illustrate the obtained results.

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,2,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,5,6,7,8,9,10,11,12,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,15,16,17,18,19,20,21,22,23,24,25,26,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.

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.

Definition 2.1

(see [34])

The fractional integral operator of order \(\mu > 0 \) for a function f can be defined as

$$ I^{\mu }f(t)= \frac{1}{\varGamma (\mu )} \int ^{t}_{0} \frac{f(s)}{(t-s)^{1- \mu }} \,ds, \quad t > 0, $$

where \(\varGamma (\cdot )\) is the Gamma function.

Definition 2.2

(see [35, 36])

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). $$

Next we recall some definitions from multi-valued analysis (see [37])

  1. (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 \).

  2. (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\).

  3. (iii)

    F is said to be completely continuous if \(F(V)\) is relatively compact, for every bounded subset \(V \subseteq X \).

  4. (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

$$ \Vert \cdot \Vert _{Y}=\sup_{t \in J} \bigl\Vert t^{(1-\nu )(1-\mu )}x(t) \bigr\Vert . $$

Obviously, Y is a Banach space.

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

$$ \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)

where

$$ \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)

is a function of Wright-type which satisfies

$$ \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.

  1. (i)

    \(\{ P_{\mu }(t): t > 0\}\) is continuous in the uniform operator topology.

  2. (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)
  3. (iii)

    \(\{ P_{\mu }(t): t > 0\}\) and \(\{ S_{\nu , \mu } (t): t > 0\}\) are strongly continuous.

  4. (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:

  1. (H1)

    A and E are closed linear operators.

  2. (H2)

    \(D(E) \subset D(A)\) and E is bijective.

  3. (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\).

  1. (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

(see [33, 37])

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. $$
  1. (H5)

    The functional \(Z:J\times X\rightarrow R\) satisfies the following conditions:

    1. (i)

      \(Z(\cdot,x):J \to R\) is measurable for all \(x\in X\);

    2. (ii)

      \(Z(t,\cdot): X \to R\) is locally Lipschitz continuous for a.e. \(t \in J\);

    3. (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.

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:

$$ \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)

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 )\).

To establish the result, we need the following additional hypotheses:

  1. (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 . $$
  2. (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}$$
  3. (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 . $$
  4. (H9)

    The linear operator W from U into E defined by

    $$ Wu = \int _{0}^{a} E^{ - 1}P_{\mu }(a-s)Bu(s) \,ds, $$

    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.

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

$$\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)

where

$$ 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

The system (3.1) is said to be controllable on J, if for every \(x_{0},x_{1} \in X\), there exists a control \(u \in L^{2}(J,U)\) such that the mild solution \(x(t)\) of the system (3.1) satisfies \(x(a)= x_{1}\), where \(x_{1}\) and a are the preassigned terminal state and time, respectively.

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

$$\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}$$

then the operator Φ takes the form

$$\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.

From Theorem 2.1, \(V_{r}\) has a fixed point, i.e., the system (3.1) is controllable and the proof is complete. □

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:

$$ \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)

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 )\).

In this section, we need the following hypotheses:

  1. (H10)

    Let \(\|Bu(t)\|\leq M_{B} \|u(t)\|_{U}\) for all \(u(t)\in U\) on J where \(M_{B}>0\).

  2. (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). $$
  3. (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

$$\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)

where

$$ 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

$$ K_{T}(U_{0})= \bigl\{ x \in X : x= x(a,u), u(a)\in U_{0} \mbox{ a.e. in } J \bigr\} , $$

where \(x(t,u)\) is a solution of (4.1).

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

$$ \mathcal{F}(x,u) (\cdot)= \int _{{0}}^{\cdot} {E^{ - 1}} {P_{\mu }}(\cdot - s)f_{1}\bigl(s,x(s),u(s)\bigr)\,ds, $$

and

\(\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:

  1. (H13)

    The nonlinear function \(f_{1}\), \(g_{1}\) satisfies:

    $$\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}$$

    where \(D_{x}\) and \(D_{u}\) denote the Frechet derivative on space U.

  2. (H14)

    \(\mathcal{B}\), \(\mathcal{F}\) and \(\mathcal{G}\) are continuously differentiable in U.

  3. (H15)

    The linear control system (4.3) is \(U_{0}\)-exactly globally controllable on J.

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 system (4.1) is said to be \(U_{0}\)-exactly globally controllable on J if \(K_{T}(U_{0})=X\).

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

$$ \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}), $$

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.

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

$$\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}$$

and

$$ 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

$$\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}$$

and

$$\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.

Applications

Example 5.1

Consider the following Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces:

$$ \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)

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)\).

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

$$\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}$$

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

$$\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}$$

It is well known that A generates a compact semigroup \(\{ T(t), t>0 \}\) in X and

$$ T(t)x=\sum_{n=1}^{\infty }e^{\frac{-n^{2}}{1+n^{2}}t}(x,x_{n})x_{n}, \quad x\in X, $$

with

$$ \bigl\Vert T(t) \bigr\Vert \leq e^{-t} \leq 1. $$

Moreover, the two operators \(P_{\frac{2}{3}}(t)\) and \(S_{\frac{1}{2}, \frac{2}{3}}(t)\) satisfy

$$ \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})}. $$

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}& 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}$$

Hence, all the hypotheses of Theorem 3.1 are satisfied and the system (5.1) is controllable on \(J= (0,1]\).

Example 5.2

Consider the following Sobolev-type nonlocal Hilfer fractional differential system with the Clarke subdifferential in Banach spaces:

$$ \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)

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 ))\).

Then A and E can be written as

$$\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}$$

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

$$\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}$$

It is well known that A generates a compact semigroup \(\{ T(t), t>0 \}\) in X and

$$ T(t)x=\sum_{n=1}^{\infty }e^{\frac{-n^{2}}{1+n^{2}}t}(x,x_{n})x_{n}, \quad x\in X, $$

with

$$ \bigl\Vert T(t) \bigr\Vert \leq e^{-t} \leq 1. $$

Moreover, the two operators \(P_{\frac{3}{4}}(t)\) and \(S_{\frac{1}{3}, \frac{3}{4}}(t)\) satisfy

$$ \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

$$ \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)

with mild solution in the form

$$ y(t,v) = \int _{0}^{t} {{E^{ - 1}} {P_{\mu }}(t - s)} Bv(s,\varsigma )\,ds ,\quad t\in J. $$
(5.4)

We can prove that all the hypotheses (H10)–(H15) are satisfied. Hence, Theorem 4.1 is satisfied and the nonlinear control system (5.2) is \(U_{0}\)-exactly locally controllable on \(J = (0,1]\).

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.

References

  1. 1.

    Barenblatt, G., Zheltov, I., Kochina, I.: Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks. J. Appl. Math. Mech. 24, 1286–1303 (1960)

  2. 2.

    Chen, P.J., Curtin, M.E.: On a theory of heat conduction involving two temperatures. Z. Angew. Math. Phys. 19, 614–627 (1968)

  3. 3.

    Huilgol, R.: A second order fluid of the differential type. Int. J. Non-Linear Mech. 3, 471–482 (1968)

  4. 4.

    El-Borai, M.M.: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14(3), 433–440 (2002)

  5. 5.

    Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063–1077 (2010)

  6. 6.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

  7. 7.

    Wang, J.R., Feckan, M., Zhou, Y.: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19(4), 806–831 (2016)

  8. 8.

    Riveros, M.S., Vidal, R.E.: Sharp bounds for fractional one-sided operators. Acta Math. Sin. Engl. Ser. 32(11), 1255–1278 (2016)

  9. 9.

    Abbas, S., Benchohra, M., Lazreg, J.-E., Zhou, Y.: A survey on Hadamard and Hilfer fractional differential equations: analysis and stability. Chaos Solitons Fractals 102, 47–71 (2017)

  10. 10.

    Ahmed, H.M., El-Borai, M.M.: Hilfer fractional stochastic integro-differential equations. Appl. Math. Comput. 331, 182–189 (2018)

  11. 11.

    Benchohra, M., Lazreg, J.E.: Existence and Ulam stability for nonlinear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62, 27–38 (2017)

  12. 12.

    Morales-Delgadoa, V.F., Gümez-Aguilarb, J.F., Taneco-Hernandez, M.A.: Analytical solutions of electrical circuits described by fractional conformable derivatives in Liouville–Caputo sense. AEÜ, Int. J. Electron. Commun. 85, 108–117 (2018)

  13. 13.

    VivekK, D., Kanagarajan, K., Elsayed, M.: Some existence and stability results for Hilfer-fractional implicit differential equations with nonlocal conditions. Mediterr. J. Math. (2018). https://doi.org/10.1007/s00009-017-1061-0

  14. 14.

    Sakthivel, R., Ganesh, R., Anthoni, S.M.: Approximate controllability of fractional nonlinear differential inclusions. Appl. Math. Comput. 225, 708–717 (2013)

  15. 15.

    Sakthivel, R., Ren, Y.: Approximate controllability of fractional differential equations with state-dependent delay. Results Math. 63, 949–963 (2013)

  16. 16.

    Ahmed, H.M.: Controllability for Sobolev type fractional integro-differential systems in a Banach space. Adv. Differ. Equ. 2012, 167 (2012)

  17. 17.

    Ahmed, H.M.: Controllability of impulsive neutral stochastic differential equations with fractional Brownian motion. IMA J. Math. Control Inf. 32, 781–794 (2015)

  18. 18.

    Ahmed, H.M.: Approximate controllability of impulsive neutral stochastic differential equations with fractional Brownian motion in a Hilbert space. Adv. Differ. Equ. 2014, 113 (2014)

  19. 19.

    Debbouche, A., Torres, D.F.M.: Approximate controllability of fractional delay dynamic inclusions with nonlocal control conditions. Appl. Math. Comput. 243, 161–175 (2014)

  20. 20.

    Ahmed, H.M.: Non-linear fractional integro-differential systems with non-local conditions. IMA J. Math. Control Inf. 33, 389–399 (2016)

  21. 21.

    Wang, J., Ahmed, H.M.: Null controllability of nonlocal Hilfer fractional stochastic differential equations. Miskolc Math. Notes 18(2), 1073–1083 (2017)

  22. 22.

    Muthukumar, P., Thiagu, K.: Existence of solutions and approximate controllability of fractional nonlocal neutral impulsive stochastic differential equations of order \(1 < q < 2\) with infinite delay and Poisson jumps. J. Dyn. Control Syst. 23, 213–235 (2017)

  23. 23.

    Yan, Z., Lu, F.: Approximate controllability of a multi-valued fractional impulsive stochastic partial integro-differential equation with infinite delay. Appl. Math. Comput. 292, 425–447 (2017)

  24. 24.

    Wang, J., Feckan, M., Zhou, Y.: Approximate controllability of Sobolev type fractional evolution systems with nonlocal conditions. Evol. Equ. Control Theory 6(3), 471–486 (2017)

  25. 25.

    Sakthivel, R., Ren, Y., Debbouche, A., Mahmudov, N.I.: Approximate controllability of fractional stochastic differential inclusions with nonlocal conditions. Appl. Anal. 95(11), 2361–2382 (2016)

  26. 26.

    Ren, Y., Hu, L., Sakthivel, R.: Controllability of impulsive neutral stochastic functional differential inclusions with infinite delay. J. Comput. Appl. Math. 235(8), 2603–2614 (2011)

  27. 27.

    Balachandran, K., Sakthivel, R.: Controllability of integrodifferential systems in Banach spaces. Appl. Math. Comput. 118, 63–71 (2001)

  28. 28.

    Son, N.K.: A unifed approach to constrained approximate controllability for the heat equations and retarded equations. J. Math. Anal. Appl. 150, 1–19 (1990)

  29. 29.

    Klamka, J.: Constrained controllability of nonlinear systems. J. Math. Anal. Appl. 201(2), 365–374 (1996)

  30. 30.

    Klamka, J.: Constrained controllability of semilinear systems with delays. Nonlinear Dyn. 56(1–2), 169–177 (2009)

  31. 31.

    Sikora, B., Klamka, J.: Constrained controllability of fractional linear systems with delays in control. Syst. Control Lett. 106, 9–15 (2017)

  32. 32.

    Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York (1983)

  33. 33.

    Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities, Models and Analysis of Contact Problems. Springer, Berlin (2013)

  34. 34.

    Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

  35. 35.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

  36. 36.

    Hilfer, R.: Experimental evidence for fractional time evolution in glass materials. Chem. Phys. 284, 399–408 (2002)

  37. 37.

    Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York (1983)

  38. 38.

    Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015)

  39. 39.

    Curtain, R.F., Zwart, H.: An Introduction to Infinite Dimensional Linear Systems Theory. Springer, New York (1995)

  40. 40.

    Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)

Download references

Acknowledgements

We would like to thank the referees and the editor for their important comments and suggestions, which have significantly improved the paper.

Funding

Not applicable.

Author information

Affiliations

  1. Higher Institute of Engineering, El-Shorouk Academy, El-Shorouk City, Egypt

    • Hamdy M. Ahmed

  2. Department of Mathematics, Faculty of Science, Alexandria University, Alexandria, Egypt

    • Mahmoud M. El-Borai

  3. Department of Mathematics, Faculty of Science, Al-Azhar University, Cairo, Egypt

    • A. S. Okb El Bab
    •  & M. Elsaid Ramadan

  4. Department of Mathematics, Faculty of Science, Islamic University in Madinah, Medina, Saudi Arabia

    • M. Elsaid Ramadan

Authors

  1. Search for Hamdy M. Ahmed in:

  2. Search for Mahmoud M. El-Borai in:

  3. Search for A. S. Okb El Bab in:

  4. Search for M. Elsaid Ramadan in:

Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the manuscript.

Corresponding author

Correspondence to Hamdy M. Ahmed.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

MSC

  • 34A08
  • 34B10
  • 34K37
  • 93B05
  • 93C10

Keywords

  • Nonlocal condition
  • Sobolev-type Hilfer fractional differential equation
  • Generalized Clarke subdifferential
  • Controllability
  • Constrained controllability
  • Contraction mapping principle