Skip to content

Advertisement

  • Research
  • Open Access

Impulsive Hilfer fractional differential equations

Advances in Difference Equations20182018:226

https://doi.org/10.1186/s13662-018-1679-7

  • Received: 7 March 2018
  • Accepted: 4 June 2018
  • Published:

Abstract

Existence and controllability results for nonlinear Hilfer fractional differential equations are studied. Sufficient conditions for existence and approximate controllability for Sobolev-type impulsive fractional differential equations are established, where the time fractional derivative is the Hilfer derivative. An example for Sobolev-type Hilfer fractional delay partial differential equation with impulsive condition is considered.

Keywords

  • Impulsive condition
  • Sobolev-type Hilfer fractional differential equation
  • Controllability
  • Approximate controllability
  • Contraction mapping principle

MSC

  • 93B05
  • 26A33
  • 34A37
  • 34K37

1 Introduction

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, and so on [110]. Controllability results for linear and nonlinear integer order differential systems were studied by several authors (see [1121]). In Sect. 2, we shall present some basic definitions and lemmas concerning fractional calculus. In Sect. 3, we shall study the existence and controllability results for nonlinear Hilfer fractional differential equations. In Sect. 4, we shall investigate the sufficient conditions for existence and approximate controllability for Sobolev-type impulsive fractional differential equations. In Sect. 5, we consider an example for Sobolev-type Hilfer fractional delay partial differential equation with impulsive condition.

2 Preliminaries

In order to study the existence, controllability, and approximate controllability for delay Hilfer fractional differential equations with impulsive condition, we need the following basic definitions and lemmas.

Definition 2.1

(see [22])

The fractional integral operator of order \(\mu> 0 \) for a function f can be defined as
$$I^{\mu}f(t)= \frac{1}{\Gamma(\mu)} \int^{t}_{0} \frac{f(s)}{(t-s)^{1-\mu}} \,ds,\quad t > 0, $$
where \(\Gamma(\cdot)\) is the gamma function.

Definition 2.2

(see [23, 24])

The Hilfer fractional derivative of order \(0\leq\nu\leq1 \) 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). $$

Through this paper, let E be a Banach space with \(\|\cdot\|\), and let \(PC(J,E)\) be the Banach space of all continuous maps from \(J=(0,b]\) into E.

Define \(Y= \{x: t^{(1-\nu)(1-\mu)}x(t) \in PC(J,E)\}\), with the norm \(\| \cdot\|_{Y}\) defined by \(\|\cdot\|_{Y}=\sup_{t \in J} \|t^{(1-\nu)(1-\mu )}x(t)\|\). Obviously, Y is a Banach space.

Introduce the set \(B_{r} = \{ x \in Y: \| x \|_{Y} \leq r \}\), where \(r> 0\).

For \(x \in E\), we define two families of operators \(\{ S_{\nu, \mu}(t): t > 0 \}\) and \(\{ P_{\mu}(t): t> 0 \}\) by
$$\begin{aligned} \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\Psi_{\mu}(\theta) S \bigl(t^{\mu}\theta\bigr) \,d \theta, \end{aligned} \end{aligned}$$
(2.1)
where
$$\begin{aligned} \Psi_{\mu}(\theta)= \sum_{n=1}^{\infty} \frac{(- \theta)^{n-1}}{(n-1)! \Gamma(1-n \mu)}, \quad 0< \mu< 1, \theta\in(0, \infty) \end{aligned}$$
(2.2)
is a function of Wright type which satisfies
$$\int_{0}^{\infty}\theta^{\tau}\Psi_{\mu}(\theta) \,d \theta= \frac{\Gamma (1+ \tau)}{\Gamma(1+ \mu\tau)} $$
for \(\theta\geq0\).

Lemma 2.1

(see [25])

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
    $$\begin{aligned} \bigl\Vert P_{\mu}(t) x \bigr\Vert \leq \frac{M t^{\mu-1}}{\Gamma(\mu)} \Vert x \Vert ,\qquad \bigl\Vert S_{\nu,\mu}(t) x \bigr\Vert \leq\frac{M t^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu )+ \mu)} \Vert x \Vert . \end{aligned}$$
    (2.3)
     
  3. (iii)

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

     

3 Existence and controllability results

We consider the following nonlinear delay Hilfer fractional differential equation with impulsive condition of the form
$$\begin{aligned} \textstyle\begin{cases} D^{\nu,\mu}_{0+} x(t) = A x(t) + f(t,x(\gamma_{1}(t)), \int_{0}^{t} h(t,s)g(s,x(\gamma_{2}(s)))\,ds),\\ \quad t \in J = (0,b], t \neq t_{k},\\ \Delta x|_{t = t_{k}} = I_{k}(x(t^{-}_{k})), \quad k= 1,2,\ldots,m \\ I^{(1-\nu)(1-\mu)}_{0+}x(0)=x_{0}, \end{cases}\displaystyle \end{aligned}$$
(3.1)
where \(D^{\nu,\mu}_{0+} \) is the Hilfer fractional derivative, \(0 \leq \nu\leq1, 0 < \mu< 1\), A is a closed, linear, and densely defined operator in E. The delay \(\gamma_{i}(t): J \rightarrow J, i = 1,2\), are continuous functions, the state \(x(\cdot)\) takes values in the Banach space E, and \(h: J \times J \rightarrow R\) is a continuous function, \(\Delta x|_{t = t_{k}} = I_{k}(x(t^{-}_{k}))\), where \(x(t^{+}_{k})\) and \(x(t^{-}_{k})\) represent the right and left limits of \(x(t)\) at \(t = t_{k}\), respectively, and the nonlinear operators \(f: J \times E \times E \rightarrow E\), \(g: J \times E \rightarrow E\) are given. The operator A is the infinitesimal generator of a \(C_{0}\)-semigroup \(T(t)\) on E, and there exists a constant \(M > 0\) such that \(\| T(t)\| \leq M\).

To establish the results, we need the following hypotheses.

\((H1)\) (i) \(f: J \times E \times E \rightarrow E \) is continuous and there exist constants \(N_{1} > 0\) and \(N_{2} > 0\) such that, for all \(t \in J\), \(v_{1}, v_{2}, w_{1}, w_{2} \in E\), we have
$$\bigl\Vert f(t,v_{1},w_{1}) - f(t,v_{2},w_{2}) \bigr\Vert \leq N_{1} \bigl[ \Vert v_{1} - v_{2} \Vert + \Vert w_{1} - w_{2} \Vert \bigr],\qquad N_{2} = \bigl\Vert f(t,0,0) \bigr\Vert . $$
(ii) \(g: J \times E \rightarrow E \) is continuous and there exist constants \(L_{1} > 0\) and \(L_{2} > 0\) such that, for all \(t \in J\), \(v_{1}, v_{2} \in E\), we have
$$\bigl\Vert g(t,v_{1}) - g(t,v_{2}) \bigr\Vert \leq L_{1} \Vert v_{1} - v_{2} \Vert ,\qquad L_{2} = \bigl\Vert g(t,0) \bigr\Vert . $$
(iii) The functions \(I_{k}: E \rightarrow E\) are continuous and there exist constants \(L_{3} > 0, L_{4} > 0\) such that, for all \(t \in J\), \(v_{1}, v_{2} \in E\), we have
$$\bigl\Vert I_{k}(v_{1}) - I_{k}(v_{2}) \bigr\Vert \leq L_{3} \Vert v_{1} - v_{2} \Vert , \qquad L_{4} = \bigl\Vert I_{k}(0) \bigr\Vert , t \in J. $$

\((H2)\) There exists a constant L such that \(| h(t,s) | \leq L \) for \((t,s) \in J \times J\).

\((H3)\) There exists a constant q such that, for all \(x_{1}, x_{2} \in E\), \(\| x_{1}(\gamma_{i}(t)) - x_{2}(\gamma_{i}(t)) \| \leq q \| x_{1}(t) - x_{2}(t) \|\) for \(i = 1,2\).

\((H4)\) There exists a constant \(r>0\) such that
$$\begin{aligned} &\biggl\{ \frac{3M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr]\\ &\quad{}+\frac{3M b^{ \mu+(1-\nu)(1-\mu)} }{\Gamma(\mu+ 1)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \biggr\} \leq r \end{aligned}$$
and
$$\begin{aligned} &\biggl\{ \frac{4M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr]+\frac{4M b^{ 1- \nu(1-\mu)} }{\Gamma(\mu+ 1)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \biggr\} \\ &\quad{}\times \biggl[1+\frac{ M b^{\mu} \Vert B \Vert \Vert W^{-1} \Vert }{ \Gamma(\mu +1)} \biggr]+\frac{4 M b^{1- \nu(1-\mu)} \Vert x_{1} \Vert \Vert B \Vert \Vert W^{-1} \Vert }{ \Gamma(\mu+1)} \leq r. \end{aligned}$$

Definition 3.1

(see [25])

We say that \(x \in Y\) is a mild solution of equation (3.1) if it satisfies
$$\begin{aligned} x(t)={}& S_{\nu, \mu}(t)x_{0} + \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int _{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau \biggr)\,ds \\ &{} + \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr),\quad t \in J. \end{aligned}$$
(3.2)

Theorem 3.1

If hypotheses \((H1)\)\((H4)\) are satisfied, then equation (3.1) has a unique mild solution on J provided that
$$\chi_{1}:= \biggl\{ \frac{3 q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [1+ bLL_{1} ] + \frac{3m M b^{(\nu-1)(1-\mu)} }{\Gamma(\nu(1-\mu) +\mu)} \biggr\} < 1. $$

Proof

Consider the operator Φ on Y defined as follows:
$$\begin{aligned} \Phi x(t) ={}& S_{\nu, \mu}(t)x_{0} + \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma _{1}(s)\bigr), \int_{0}^{s} k(s, \tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ \sum _{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k} \bigl(x\bigl(t^{-}_{k}\bigr)\bigr). \end{aligned}$$
It will be shown that the operator Φ has a fixed point.
First we show that Φ maps \(B_{r}\) into itself. For \(x \in B_{r}\),
$$\begin{aligned} \Vert \Phi x \Vert _{Y}={}&\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Phi x) (t) \bigr\Vert \\ \leq{}&3\sup_{t \in J}t^{(1-\nu)(1-\mu)}\biggl\{ \bigl\Vert S_{\nu, \mu}(t)x_{0} \bigr\Vert \\ &{}+ \int_{0}^{t} ( \bigl\Vert P_{\mu}(t-s) \bigr\Vert \biggl\Vert f\biggl(s,x\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau )g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr) \,d\tau\biggr) \biggr\Vert \,ds\\ &{} + \sum _{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ \leq{}&\frac{3M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr]\\ &{}+\frac {3M b^{ \mu+(1-\nu)(1-\mu)} }{\Gamma(\mu+ 1)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \\ \leq{}& r. \end{aligned}$$
Thus Φ maps \(B_{r}\) into itself.
We show that \((\Phi x)(t)\) is continuous on J for any \(x \in B_{r}\). Let \(0 < t \leq b\) and \(\epsilon> 0\) be sufficiently small, then
$$\begin{aligned} &\bigl\Vert (\Phi x) (\cdot+\epsilon) - (\Phi x) (\cdot) \bigr\Vert _{Y} \\ &\quad=\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Phi x) (t+\epsilon) - (\Phi x) (t) \bigr\Vert \\ &\quad \leq 3\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(S_{\nu, \mu}(t+\epsilon)-S_{\nu , \mu}(t)\bigr)x_{0} \bigr\Vert \\ &\qquad{}+ 3\sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \int_{0}^{t+\epsilon}P_{\mu}(t+\epsilon-s) f \biggl(s,x\bigl(\gamma_{1}(s)\bigr), \\ &\qquad\int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl(\gamma _{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &\qquad{}- \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau ,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \biggr\Vert \\ &\qquad {}+3\sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \sum _{0 < t_{k}< t+\epsilon} S_{\nu, \mu} (t+\epsilon- t_{k})I_{k} \bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \\ &\qquad{}- \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x \bigl(t^{-}_{k}\bigr)\bigr) \biggr\Vert . \end{aligned}$$
(3.3)
Clearly, the right-hand side of (3.3) tends to zero as \(\epsilon \rightarrow0\). Hence, \((\Phi x)(t)\) is continuous on J.

We are going to show that \((\Phi x)(t)\) is a contraction on \(B_{r}\).

Next, for \(x_{1}, x_{2} \in B_{r} \), we obtain
$$\begin{aligned} &\bigl\Vert (\Phi x_{1}) (t) - (\Phi x_{2}) (t) \bigr\Vert \\ &\quad \leq 3 \int_{0}^{t} \bigl\Vert P_{\mu}(t- s) \bigr\Vert \biggl\| f\biggl(s,x_{1}\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau )g\bigl(\tau,x_{1} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau\biggr) \\ &\qquad{}- f\biggl(s,x_{2}\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x_{2} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau\biggr)\biggr\| \,d s \\ &\qquad{}+ 3 \sum_{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x_{1} \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(x_{2} \bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \\ &\quad\leq \biggl\{ \frac{3 q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [1+ bLL_{1} ] +\frac {3m M b^{(\nu-1)(1-\mu)} }{\Gamma(\nu(1-\mu) +\mu)} \biggr\} \bigl\Vert x_{1}(t)- x_{2}(t) \bigr\Vert \\ &\quad\leq\chi_{1} \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert . \end{aligned}$$
Therefore,
$$\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Phi x_{1}) (t) - (\Phi x_{2}) (t) \bigr\Vert \leq\chi_{1} \sup _{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert x_{1}(t)- x_{2}(t) \bigr\Vert . $$
This implies that
$$\Vert \Phi x_{1} - \Phi x_{2} \Vert _{Y} \leq \chi_{1} \Vert x_{1}- x_{2} \Vert _{Y}. $$
Then, Φ is a contraction mapping on \(B_{r}\). From the Banach fixed point theorem, Φ has a unique fixed point \(x(t)\) on J. Therefore system (3.1) has a unique mild solution on J, and the proof is completed. □
Next, we will establish a set of sufficient conditions for controllability of impulsive delay Hilfer fractional differential equation in the following form:
$$\begin{aligned} \textstyle\begin{cases} D^{\nu,\mu}_{0+} x(t) = A x(t) + Bu(t)+ f(t,x(\gamma_{1}(t)), \int_{0}^{t} h(t,s)g(s,x(\gamma_{2}(s)))\,ds),\\ \quad t \in J = (0,b], t \neq t_{k},\\ \Delta x|_{t = t_{k}} = I_{k}(x(t^{-}_{k})), \quad k= 1,2,\ldots,m \\ I^{(1-\nu)(1-\mu)}_{0+}x(0)=x_{0}, \end{cases}\displaystyle \end{aligned}$$
(3.4)
where 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 E.

Definition 3.2

We say that \(x \in Y\) is a mild solution of system (3.4) if it satisfies
$$\begin{aligned} x(t)={}& S_{\nu, \mu}(t)x_{0} + \int_{0}^{t} P_{\mu}(t-s) Bu(s) \,ds \\ &{}+ \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau )\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr),\quad t \in J. \end{aligned}$$
(3.5)

Definition 3.3

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

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

\((H5)\) The linear operator W from U into E defined by
$$Wu = \int_{0}^{b} P_{\mu}(b-s)Bu(s) \,ds $$
has an inverse operator \(W^{-1}\) which takes values in \(L^{2}(J, U)\backslash\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.

Theorem 3.2

If hypotheses \((H1)\)\((H5)\) are satisfied and if
$$\chi_{2}:= \biggl\{ \frac{4 q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [1+ bLL_{1} ] + \frac{4m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu) +\mu)} \biggr\} \biggl\{ 1+ \frac{ M \Vert B \Vert \Vert W^{-1} \Vert b^{\mu}}{ \Gamma(\mu+1)} \biggr\} < 1, $$
then system (3.4) is controllable on J.

Proof

Using assumption \((H5)\), define the control
$$\begin{aligned} u(t)={}&W^{-1} \biggl\{ x_{1} - S_{\nu, \mu}(b) x_{0} \\ &{}- \int_{0}^{b} P_{\mu}(b-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}- \sum_{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr)\biggr\} (t). \end{aligned}$$
It shall now be shown that when using this control, the operator \(\Phi ^{*}\) defined by
$$\begin{aligned} \bigl(\Phi^{*} x\bigr) (t) ={}& S_{\nu, \mu}(t)x_{0} + \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma _{1}(s)\bigr), \int_{0}^{s} k(s, \tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ \sum _{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k} \bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \\ &{}+ \int_{0}^{t} P_{\mu}(t-\eta) B W^{-1} \biggl\{ x_{1} - S_{\nu, \mu}(b) x_{0} \\ &{}- \int _{0}^{b} P_{\mu}(b-s) f\biggl(s,x \bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl(\gamma _{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}- \sum_{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \biggr\} (\eta)\,d\eta \end{aligned}$$
(3.6)
has a fixed point. This fixed point is then a solution of equation (3.4).
First we show that \(\Phi^{*}\) maps \(B_{r}\) into itself. For \(x \in B_{r}\),
$$\begin{aligned} \bigl\Vert \Phi^{*} x \bigr\Vert _{Y}={}&\sup _{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(\Phi^{*} x\bigr) (t) \bigr\Vert \\ \leq{}&4 \sup_{t \in J}t^{(1-\nu)(1-\mu)}\biggl\{ \bigl\Vert S_{\nu, \mu}(t)x_{0} \bigr\Vert + \int _{0}^{t} \bigl\Vert P_{\mu}(t-\eta) \bigr\Vert \Vert B \Vert \bigl\Vert W^{-1} \bigr\Vert \biggl\Vert x_{1} - S_{\nu, \mu}(b) x_{0} \\ &{}- \int_{0}^{b} P_{\mu}(b-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau ,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds\\ &{}- \sum _{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k} \bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \biggr\Vert (\eta)\,d\eta \\ &{}+ \int_{0}^{t} ( \bigl\Vert P_{\mu}(t-s) \bigr\Vert \biggl\Vert f\biggl(s,x\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau )g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr) \,d\tau\biggr) \biggr\Vert \,ds \\ &{}+ \sum _{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ \leq{}&\frac{4M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr] + \frac{4 M b^{\mu} \Vert B \Vert \Vert W^{-1} \Vert }{ \Gamma(\mu+1)} \biggl\{ b^{(1-\nu)(1-\mu )} \Vert x_{1} \Vert \\ &{}+ \frac{M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr] \\ &{}+ \frac{M b^{1- \nu(1-\mu)} }{\Gamma(\mu+ 1)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \biggr\} \\ &{}+ \frac{4M b^{ 1- \nu(1-\mu)} }{\Gamma(\mu+ 1)} \bigl(N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2} \bigr) \\ ={}& \biggl\{ \frac{4M }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert x_{0} \Vert + m(L_{3} r+L_{4})\bigr]\\ &{}+\frac{4M b^{ 1- \nu(1-\mu)} }{\Gamma(\mu+ 1)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \biggr\} \\ &{}\times \biggl[1+\frac{ M b^{\mu} \Vert B \Vert \Vert W^{-1} \Vert }{ \Gamma(\mu +1)} \biggr]+\frac{4 M b^{1- \nu(1-\mu)} \Vert x_{1} \Vert \Vert B \Vert \Vert W^{-1} \Vert }{ \Gamma(\mu+1)} \leq r. \end{aligned}$$
Thus \(\Phi^{*} \) maps \(B_{r}\) into itself.
We show that \((\Phi^{*} x)(t)\) is continuous on J for any \(x \in B_{r}\). Let \(0 < t \leq b\) and \(\epsilon> 0\) be sufficiently small, then
$$\begin{aligned} & \bigl\Vert \bigl(\Phi^{*} x\bigr) (\cdot+\epsilon) - \bigl(\Phi^{*} x\bigr) (\cdot) \bigr\Vert _{Y} \\ &\quad=\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(\Phi^{*} x\bigr) (t+\epsilon) - \bigl(\Phi^{*} x\bigr) (t) \bigr\Vert \\ &\quad\leq4\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(S_{\nu, \mu}(t+\epsilon)-S_{\nu , \mu}(t)\bigr)x_{0} \bigr\Vert \\ &\qquad{}+ 4\sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \int_{0}^{t+\epsilon}P_{\mu}(t+\epsilon-s) Bu(s) \,ds- \int_{0}^{t}P_{\mu}(t-s) Bu(s) \,ds \biggr\Vert \\ &\qquad{}+ 4\sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \int_{0}^{t+\epsilon}P_{\mu}(t+\epsilon-s) f \biggl(s,x\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl(\gamma _{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &\qquad{}- \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau ,x\bigl( \gamma_{2}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \biggr\Vert \\ &\qquad{}+4\sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \sum _{0 < t_{k}< t+\epsilon} S_{\nu, \mu} (t+\epsilon- t_{k})I_{k} \bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \\ &\qquad{}- \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x \bigl(t^{-}_{k}\bigr)\bigr) \biggr\Vert . \end{aligned}$$
(3.7)
Clearly, the right-hand side of (3.7) tends to zero as \(\epsilon \rightarrow0\). Hence, \((\Phi^{*} x)(t)\) is continuous on J.
Next, for \(x, y \in B_{r} \), we obtain
$$\begin{aligned} &\bigl\Vert \bigl(\Phi^{*} x\bigr) (t) - \bigl(\Phi^{*} y\bigr) (t) \bigr\Vert \\ &\quad\leq 4 \int_{0}^{t} \bigl\Vert P_{\mu}(t-\eta) \bigr\Vert \Vert B \Vert \bigl\Vert W^{-1} \bigr\Vert \biggl[ \int_{0}^{b} \bigl\Vert P_{\mu}(b- s) \bigr\Vert \\ &\qquad{}\times \biggl\Vert f\biggl(s,x\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau )\bigr)\bigr) \,d \tau\biggr) \\ &\qquad{}- f\biggl(s,y\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,y\bigl(\gamma _{2}(\tau)\bigr)\bigr) \,d \tau\biggr) \biggr\Vert \,d s \\ &\qquad{}+\sum_{0 < t_{k}< b} \bigl\Vert S_{\nu, \mu} (b- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(y\bigl(t^{-}_{k} \bigr)\bigr) \bigr\Vert _{Y}\biggr] \,d\eta + 4 \int_{0}^{t} \bigl\Vert P_{\mu}(t- s) \bigr\Vert \\ &\qquad{}\times \biggl\Vert f\biggl(s,x\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau )\bigr)\bigr) \,d \tau\biggr)\\ &\qquad{} - f\biggl(s,y\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,y\bigl(\gamma _{2}(\tau)\bigr)\bigr) \,d \tau\biggr) \biggr\Vert \,d s \\ &\qquad{}+ 4 \sum_{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(y\bigl(t^{-}_{k} \bigr)\bigr) \bigr\Vert \\ &\quad\leq\frac{ 4 M \Vert B \Vert \Vert W^{-1} \Vert b^{\mu}}{ \Gamma(\mu+1)} \biggl\{ \frac {q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [1+ bLL_{1} ] + \frac{m M b^{(\nu-1)(1-\mu )}}{\Gamma(\nu(1-\mu) +\mu)} \biggr\} \bigl\Vert x(t)- y(t) \bigr\Vert \\ &\qquad{}+ \frac{ 4 q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [ 1+ bLL_{1}] \bigl\Vert x(t) - y(t) \bigr\Vert +\frac{ 4m M b^{(\nu-1)(1-\mu)} }{\Gamma(\nu(1-\mu) +\mu)} \bigl\Vert x(t)- y(t) \bigr\Vert \\ &\quad\leq \biggl\{ \frac{4 q b^{\mu}M N_{1}}{\Gamma(\mu+1)} [1+ bLL_{1} ] +\frac {4m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu) +\mu)} \biggr\} \biggl\{ 1+ \frac{ M \Vert B \Vert \Vert W^{-1} \Vert b^{\mu}}{ \Gamma(\mu+1)} \biggr\} \bigl\Vert x(t)- y(t) \bigr\Vert \\ &\quad\leq\chi_{2} \bigl\Vert x(t)-y(t) \bigr\Vert . \end{aligned}$$
Therefore,
$$\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(\Phi^{*} x_{1}\bigr) (t) - \bigl(\Phi^{*} x_{2}\bigr) (t) \bigr\Vert \leq\chi_{2} \sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert x_{1}(t)- x_{2}(t) \bigr\Vert . $$
This implies that
$$\bigl\Vert \Phi^{*} x_{1} - \Phi^{*} x_{2} \bigr\Vert _{Y} \leq\chi_{2} \Vert x_{1}- x_{2} \Vert _{Y}. $$
Then \(\Phi^{*}\) is a contraction mapping, and hence there exists a unique fixed point \(x \in B_{r} \) such that \(\Phi^{*} x(t) = x(t)\). Therefore system (3.4) has a mild solution satisfying \(x(b)=x_{1}\). Thus, system (3.4) is controllable on J. □

4 Existence and approximate controllability

First, we study existence and uniqueness for Sobolev-type neutral Hilfer fractional differential equation with impulsive condition in the following form:
$$\begin{aligned} \textstyle\begin{cases} D^{\nu,\mu}_{0+} [Zx(t)+G(t,x(\gamma_{1}(t))] \\ \quad= Ax(t) + f(t,x(\gamma_{2}(t)), \int_{0}^{t} h(t,s)g(s,x(\gamma_{3}(s)))\,ds),\quad t \in J = (0,b], t \neq t_{k},\\ \Delta x|_{t = t_{k}} = I_{k}(x(t^{-}_{k})),\quad k= 1,2,\ldots,m \\ I^{(1-\nu)(1-\mu)}_{0+}x(0)=x_{0}, \end{cases}\displaystyle \end{aligned}$$
(4.1)
where the delay \(\gamma_{i}(t): J \rightarrow J, i = 1,2,3\), are continuous functions, the state \(x(\cdot)\) takes values in the Banach space E, the symbols A and Z are linear operators on E.

The operators \(A: D(A)\subset E \rightarrow E\) and \(Z: D(Z) \subset E \rightarrow E\) satisfy the following conditions:

\((H6)\) A and Z are closed linear operators.

\((H7)\) \(D(Z) \subset D(A)\) and Z is bijective.

\((H8)\) \(Z^{-1}: E \rightarrow D(Z)\) is continuous.

Here, \((H6)\) and \((H7)\) together with the closed graph theorem imply the boundedness of the linear operator \(AZ^{-1}:E\rightarrow E\).

\((H9)\) For each \(t\in J\) and for \(\lambda\in\rho(AZ^{-1})\), the resolvent of \(AZ^{-1}\), the resolvent \(R(\lambda, AZ^{-1})\) is compact operator.

Lemma 4.1

(see [26])

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, \(AZ^{-1}\) generates a compact semigroup \(\{ S(t),t>0\}\) in E, which means that there exists \(M >1\) such that \(\sup_{t\in J}\|S(t)\|\leq M\).

We suppose that \(0 \in\rho(AZ^{-1})\), the resolvent set of \(AZ^{-1}\), and \(\Vert S(t) \Vert \leq M \) for some constant \(M \geq1\) and every \(t > 0\). We define the fractional power \((AZ^{-1})^{-\gamma}\) by
$$\bigl(AZ^{-1}\bigr)^{-\gamma}= \frac{1}{\Gamma(\gamma)} \int_{0}^{\infty}t^{\gamma- 1}S(t) \,dt, \quad \gamma>0. $$
For \(\gamma\in(0,1]\), \((AZ^{-1})^{\gamma}\) is a closed linear operator on its domain \(D((AZ^{-1})^{\gamma})\). Furthermore, the subspace \(D((AZ^{-1})^{\gamma})\) is dense in E. We will introduce the following basic properties of \((AZ^{-1})^{\gamma}\).

Theorem 4.1

(see [27])

(1) Let \(0 < \gamma\leq1\), then \(E_{\gamma}:= D((AZ^{-1})^{\gamma})\) is a Banach space with the norm \(\Vert x \Vert _{\gamma}= \Vert (AZ^{-1})^{\gamma}x \Vert , x \in E_{\gamma}\).

(2) If \(0 < \beta< \gamma\leq1\), then \(D((AZ^{-1})^{\gamma}) \hookrightarrow D((AZ^{-1})^{\beta})\) and the embedding is compact whenever the resolvent operator of \((AZ^{-1})\) is compact.

(3) For every \(0 < \gamma\leq1\), there exists a positive constant \(C_{\gamma}\) such that
$$\bigl\Vert \bigl(AZ^{-1}\bigr)^{\gamma}S(t) \bigr\Vert \leq \frac{C_{\gamma}}{t^{\gamma}},\quad 0 < t \leq b. $$

Lemma 4.2

For any \(x \in E\), \(\beta\in(0,1)\) and \(\delta\in (0,1]\), we have
$$\bigl(AZ^{-1}\bigr) T_{\mu}(t) x={\bigl(AZ^{-1}\bigr)}^{1-\beta} T_{\mu}(t) {\bigl(AZ^{-1}\bigr)}^{\beta}x,\quad 0< t \leq b $$
and
$$\bigl\Vert {\bigl(AZ^{-1}\bigr)}^{\delta}T_{\mu}(t) x \bigr\Vert \leq\frac{\mu C_{\delta}\Gamma (2-\delta) }{t^{\delta\mu} \Gamma(1+\mu(1-\delta))} \Vert x \Vert ,\quad 0< t \leq b. $$

Definition 4.1

We say that \(x \in Y\) is a mild solution of system (4.1) if the function \(AZ^{-1} P_{\mu}(t-s) G(s, x(\gamma _{1}(s)), s \in(0,b)\) is integrable on \((0,b)\) and the following integral equation is verified:
$$\begin{aligned} x(t)={}& Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G \bigl(0,x(0)\bigr)\bigr] -Z^{-1}G(t,x\bigl(\gamma _{1}(t) \bigr) \\ &{}+ \int_{0}^{t} Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr)\,ds \\ &{}+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) f\biggl(s,x\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau )g\bigl(\tau,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ Z^{-1} \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x \bigl(t^{-}_{k}\bigr)\bigr),\quad t \in J. \end{aligned}$$
(4.2)
To establish the results, we need the following assumptions.
\((H10)\) (i) \(G: J \times E \rightarrow E \) is continuous and there exist constants \(K_{1} > 0\) and \(K_{2} > 0\) such that, for all \(v_{1}, v_{2} \in B_{r}\), we have
$$\begin{aligned} &\bigl\Vert \bigl(AZ^{-1}\bigr)^{\beta}G(t,v_{1}) - \bigl(AZ^{-1}\bigr)^{\beta}G(t,v_{2}) \bigr\Vert \leq K_{1} \Vert v_{1} - v_{2} \Vert _{Y},\\ & K_{2} = \bigl\Vert \bigl(AZ^{-1} \bigr)^{\beta}G(t,0) \bigr\Vert ,\quad t \in J. \end{aligned}$$
(ii) There exists a constant q such that, for all \(x_{1}, x_{2} \in E\),
$$\bigl\| x_{1}\bigl(\gamma_{i}(t)\bigr) - x_{2}\bigl(\gamma_{i}(t)\bigr) \bigr\| \leq q \bigl\| x_{1}(t) - x_{2}(t)\bigr\| \quad \mbox{for } i = 1,2,3. $$
\((H11)\) There exists a constant \(r>0\) such that
$$\begin{aligned} &5 \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ \frac{ M \varrho_{1} }{\Gamma(\nu(1-\mu)+ \mu)}\\ &\quad{}+ \| b^{(1-\nu)(1-\mu)}\biggl[M_{0}+\frac{ C_{1-\beta} b^{\beta\mu}\Gamma(1+\beta )}{\beta\Gamma(1+ \mu\beta)}\biggr] \varrho_{2}+\frac{ M b^{1-\nu(1-\mu) } \varrho_{3}}{\mu\Gamma(\mu)} \biggr\} \leq r \end{aligned}$$
and
$$\begin{aligned} &6 \bigl\Vert Z^{-1} \bigr\Vert [1+\varrho_{4}] \biggl\{ \frac{ M \varrho_{1} }{\Gamma(\nu(1-\mu )+ \mu)}+ \| b^{(1-\nu)(1-\mu)}\biggl[M_{0}+\frac{ C_{1-\beta} b^{\beta\mu }\Gamma(1+\beta)}{\beta\Gamma(1+ \mu\beta)} \biggr]\varrho_{2}\\ &\quad{}+\frac{ M b^{1-\nu(1-\mu) } \varrho_{3}}{\mu\Gamma(\mu)} \biggr\} +6 b^{(1-\nu)(1-\mu)} \Vert \bar{h} \Vert \varrho_{4} \leq r, \end{aligned}$$
where
$$\begin{aligned} &\varrho_{1}= \bigl( \Vert Z \Vert +M_{0} K_{1}\bigr) \Vert x_{0} \Vert +M_{0} K_{2}+ m(L_{3} r+L_{4}),\qquad \varrho _{2}=(K_{1} r+K_{2}),\\ & \varrho_{3} = N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}, \\ &\varrho_{4}=\frac{ M^{2} b^{\mu} \Vert Z^{-1} \Vert \Vert B \Vert \Vert B^{*} \Vert }{ \lambda\mu \Gamma^{2}(\mu)},\qquad M_{0} = \bigl\Vert \bigl(AZ^{-1}\bigr)^{-\beta} \bigr\Vert . \end{aligned}$$

Theorem 4.2

If hypotheses \((H1)\)\((H2)\) and \((H6)\)\((H11)\) are satisfied, system (4.1) has a unique mild solution on J provided that
$$\begin{aligned} \chi_{3}:={}&5q \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ M_{0} K_{1} + \frac{C_{1-\beta} b^{\beta\mu } K_{1} \Gamma(1+\beta)}{\Gamma(1+\mu\beta)}+ \frac{M b^{\mu}N_{1}}{\mu \Gamma(\mu)}(1+b L L_{1})+ \frac{m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu )+\mu)} \biggr\} \\ < {}& 1. \end{aligned}$$

Proof

Consider the operator Ψ on Y defined as follows:
$$\begin{aligned} (\Psi x) (t)= {}&Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G\bigl(0,x(0) \bigr)\bigr] -Z^{-1}G(t,x\bigl(\gamma_{1}(t)\bigr)\\ &{}+ \int_{0}^{t} Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr)\,ds \\ &{}+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) f\biggl(s,x\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau )g\bigl(\tau,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ Z^{-1} \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr). \end{aligned}$$
It will be shown that the operator Ψ has a fixed point. This fixed point is then a mild solution of system (4.1). First we show that Ψ maps \(B_{r}\) into itself. For \(x \in B_{r}\),
$$\begin{aligned} \Vert \Psi x \Vert _{Y}= {}&\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Psi x) (t) \bigr\Vert \\ \leq{}&5 \sup_{t \in J}t^{(1-\nu)(1-\mu)}\biggl\{ \bigl\Vert Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G\bigl(0,x(0)\bigr)\bigr] \bigr\Vert + \bigl\Vert Z^{-1}G(t,x\bigl(\gamma_{1}(t)\bigr) \bigr\Vert \\ &{}+ \int_{0}^{t} \bigl\Vert Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr) \bigr\Vert \,ds \\ &{}+ \int_{0}^{t} \bigl\Vert Z^{-1} P_{\mu}(t-s) \bigr\Vert \biggl\Vert f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr) \,d\tau\biggr) \biggr\Vert \,ds \\ &{}+ \sum _{0 < t_{k}< t} \bigl\Vert Z^{-1} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ \leq{}&\frac{5 M \Vert Z^{-1} \Vert }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert Z \Vert \Vert x_{0} \Vert +M_{0} \bigl(K_{1} \Vert x_{0} \Vert +K_{2}\bigr)+ m(L_{3} r+L_{4})\bigr]\\ &{} +5 M_{0} b^{(1-\nu)(1-\mu)} \bigl\Vert Z^{-1} \bigr\Vert [K_{1} r+K_{2}] \\ &{}+\frac{5 \Vert Z^{-1} \Vert C_{1-\beta} b^{\beta\mu+(1-\nu)(1-\mu)}\Gamma (1+\beta)}{\beta\Gamma(1+ \mu\beta)}[K_{1} r+K_{2}] \\ &{}+ \frac{5 \Vert Z^{-1} \Vert M b^{1-\nu(1-\mu)} }{\mu\Gamma(\mu)} \bigl(N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2} \bigr) \\ ={}&5 \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ \frac{ M \varrho_{1} }{\Gamma(\nu(1-\mu)+ \mu)}+ b^{(1-\nu)(1-\mu)}\biggl[M_{0}+\frac{ C_{1-\beta} b^{\beta\mu}\Gamma(1+\beta )}{\beta\Gamma(1+ \mu\beta)}\biggr] \varrho_{2}\\ &{}+\frac{ M b^{1-\nu(1-\mu) } \varrho_{3}}{\mu\Gamma(\mu)} \biggr\} \\ \leq{}& r. \end{aligned}$$
Thus Ψ maps \(B_{r}\) into itself.
We show that \((\Psi x)(t)\) is continuous on J for any \(x \in B_{r}\). Let \(0 < t \leq b\) and \(\epsilon > 0\) be sufficiently small, then
$$\begin{aligned} & \bigl\Vert (\Psi x) (\cdot+\epsilon) - (\Psi x) ( \cdot) \bigr\Vert _{Y} \\ &\quad= \sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Psi x) (t+\epsilon) - (\Psi x) (t) \bigr\Vert \\ &\quad\leq5 \bigl\Vert Z^{-1} \bigr\Vert \sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(S_{\nu, \mu }(t+\epsilon)-S_{\nu, \mu}(t)\bigr) \bigl(Z x_{0}+ G\bigl(0,x(0)\bigr)\bigr) \bigr\Vert \\ &\qquad{}+5 \bigl\Vert Z^{-1} \bigr\Vert \sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert G\bigl(t+\epsilon, x\bigl(\gamma _{1}(t+\epsilon)\bigr) \bigr) - G\bigl(t, x\bigl(\gamma_{1}(t)\bigr)\bigr) \bigr\Vert \\ &\qquad{}+ 5 \bigl\Vert Z^{-1} \bigr\Vert \sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \int_{0}^{t+\epsilon} A Z^{-1} P_{\mu}(t+ \epsilon-s)G\bigl(s+\epsilon, x\bigl(\gamma_{1}(s+\epsilon)\bigr)\bigr) \,ds \\ &\qquad{}- \int_{0}^{t} A Z^{-1} P_{\mu}(t-s)G \bigl(s, x\bigl(\gamma_{1}(s)\bigr)\bigr)\,ds \biggr\Vert \\ &\qquad{}+ 5 \bigl\Vert Z^{-1} \bigr\Vert \sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \int_{0}^{t+\epsilon }P_{\mu}(t+\epsilon-s) f \biggl(s,x\bigl(\gamma_{2}(s)\bigr), \\ &\qquad\int_{0}^{s} h(s, \tau)g\bigl(\tau ,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &\qquad{}- \int_{0}^{t} P_{\mu}(t-s) f\biggl(s,x\bigl( \gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau ,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \biggr\Vert \\ &\qquad{}+5 \bigl\Vert Z^{-1} \bigr\Vert \sup_{t \in J}t^{(1-\nu)(1-\mu)} \biggl\Vert \sum_{0 < t_{k}< t+\epsilon} S_{\nu, \mu} (t+ \epsilon- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr) \bigr) \\ &\qquad{} - \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \biggr\Vert . \end{aligned}$$
(4.3)
Clearly, the right-hand side of (4.3) tends to zero as \(\epsilon \rightarrow0\). Hence, \((\Psi x)(t)\) is continuous on J.
Next, for \(x_{1}, x_{2} \in B_{r} \), we obtain
$$\begin{aligned} & \bigl\Vert (\Psi x_{1}) (t) - (\Psi x_{2}) (t) \bigr\Vert \\ &\quad\leq5 \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ \bigl\Vert {\bigl(A Z^{-1}\bigr)}^{-\beta} \bigr\Vert \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(t, x_{1}\bigl( \gamma_{1}(t)\bigr)\bigr) -\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(t, x_{2}\bigl(\gamma_{1}(t)\bigr)\bigr) \bigr\Vert \\ &\qquad{}+ \int_{0}^{t} (t-s)^{\mu-1 } \bigl\Vert \bigl(A Z^{-1}\bigr)^{1-\beta} T_{\mu}(t-s) \bigr\Vert \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{1}\bigl(\gamma_{1}(s)\bigr)\bigr) \\ &\qquad{} -\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{2}\bigl(\gamma _{1}(s)\bigr)\bigr) \bigr\Vert \,ds \\ &\qquad{}+ \int_{0}^{t} \bigl\Vert P_{\mu}(t- s) \bigr\Vert \biggl\Vert f\biggl(s,x_{1}\bigl(\gamma_{1}(s) \bigr), \int_{0}^{s} h(s,\tau )g\bigl(\tau,x_{1} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau \biggr) \\ &\qquad{}- f \biggl(s,x_{2}\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x_{2} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau\biggr) \biggr\Vert \,d s \\ &\qquad{}+ \sum_{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x_{1} \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(x_{2} \bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ &\quad\leq5 q \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ M_{0} K_{1} + \frac{C_{1-\beta} b^{\beta\mu} K_{1} \Gamma(1+\beta)}{\Gamma(1+\mu\beta)} \\ &\qquad{}+ \frac{M b^{\mu}N_{1}}{\mu\Gamma (\mu)}(1+b L L_{1})+ \frac{m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu)+\mu )} \biggr\} \bigl\Vert x_{1}(t)-x_{2} (t) \bigr\Vert \\ &\quad\leq \chi_{3} \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert . \end{aligned}$$
Therefore,
$$\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert (\Psi x_{1}) (t) - (\Psi x_{2}) (t) \bigr\Vert \leq\chi_{3} \sup _{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert x_{1}(t)- x_{2}(t) \bigr\Vert . $$
This implies that
$$\Vert \Psi x_{1} - \Psi x_{2} \Vert _{Y} \leq \chi_{3} \Vert x_{1}- x_{2} \Vert _{Y}. $$
Then, Ψ is a contraction mapping on \(B_{r}\). From the Banach fixed point theorem, Ψ has a unique fixed point \(x(t)\) on J. Therefore system (4.1) has a unique mild solution on J.
Second, we will study the approximate controllability for Sobolev-type neutral Hilfer fractional differential equation with impulsive condition of the form
$$\begin{aligned} \textstyle\begin{cases} D^{\nu,\mu}_{0+} [Zx(t)+G(t,x(\gamma_{1}(t))] \\ \quad= A x(t) + Bu(t)+ f(t,x(\gamma_{2}(t)), \int_{0}^{t} h(t,s)g(s,x(\gamma_{3}(s)))\,ds),\\ \qquad t \in J = (0,b], t \neq t_{k},\\ \Delta x|_{t = t_{k}} = I_{k}(x(t^{-}_{k})), \quad k= 1,2,\ldots,m \\ I^{(1-\nu)(1-\mu)}_{0+}x(0)=x_{0}, \end{cases}\displaystyle \end{aligned}$$
(4.4)
where 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 E. □

Definition 4.2

We say that \(x \in Y\) is a mild solution of system (4.4) if the function \(AZ^{-1} P_{\mu}(t-s) G(s, x(\gamma _{1}(s)), s \in(0,b)\) is integrable on \((0,b)\) and the following integral equation is verified:
$$\begin{aligned} x(t)= {}&Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G \bigl(0,x(0)\bigr)\bigr] -Z^{-1}G(t,x\bigl(\gamma _{1}(t) \bigr) \\ &{}+ \int_{0}^{t} Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr)\,ds+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) Bu(s) \,ds \\ &{}+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) f\biggl(s,x\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau )g\bigl(\tau,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ Z^{-1} \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr),\quad t \in J. \end{aligned}$$
(4.5)
In order to study the approximate controllability for system (4.4), we introduce the following Sobolev-type linear fractional differential system:
$$\begin{aligned} \textstyle\begin{cases} D^{\nu,\mu}_{0+} Z x(t) = A x(t) + Bu(t),\quad t\in J \\ I^{(1-\nu)(1-\mu)}_{0+}x(0)=x_{0}. \end{cases}\displaystyle \end{aligned}$$
(4.6)
It is convenient at this point to introduce the operators associated with (4.6) as follows:
$$\begin{aligned} &\Gamma^{b}_{0} = \int_{0}^{b} (b-s)^{\mu-1}T_{\mu}(b-s)BB^{*} T^{*}_{\mu}(b-s)\,ds, \\ &R\bigl(\lambda, \Gamma^{b}_{0}\bigr)=\bigl(\lambda I+ \Gamma^{b}_{0}\bigr)^{-1}, \quad \lambda >0. \end{aligned}$$
Let \(x(b;x_{0}, u)\) be the state value of (4.4) at terminal state b, corresponding to the control u and the initial value \(x_{0}\). Denote by \(R(b,x_{0}) = \{ x(b;x_{0},u):u \in L^{2}(J, U) \}\) the reachable set of system (4.4) at terminal time b, its closure in X is denoted by \(\overline{ R(b,x_{0})}\).

Definition 4.3

System (4.4) is said to be approximately controllable on the interval J if \(\overline{ R(b,x_{0})} = E\).

Lemma 4.3

(see [28])

The linear system (4.6) is approximate controllable on J if and only if the operator \(\lambda R(\lambda, \Gamma^{b}_{0})=\lambda(\lambda I+ \Gamma^{b}_{0})^{-1} \rightarrow0\) as \(\lambda\rightarrow0^{+}\) in the strong operator topology.

We formulate sufficient conditions for the approximate controllability of system (4.4). For this purpose, we first prove the existence of a mild solution for system (4.4). Second we prove that system (4.4) is approximately controllable under certain assumptions.

Theorem 4.3

If hypotheses \((H1)\)\((H2)\) and \((H6)\)\((H11)\) are satisfied, then system (4.4) has a mild solution on J provided that
$$\begin{aligned} \chi_{4}:={}& 6 q \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ M_{0} K_{1} + \frac{C_{1-\beta} b^{\beta \mu} K_{1} \Gamma(1+\beta)}{\Gamma(1+\mu\beta)}+ \frac{M b^{\mu}N_{1}}{\mu \Gamma(\mu)}(1+b L L_{1})+ \frac{m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu )+\mu)} \biggr\} \\ &{}\times \biggl\{ 1+ \frac{ \Vert Z^{-1} \Vert M^{2} \Vert B \Vert \Vert B^{*} \Vert b^{\mu}}{\lambda \mu\Gamma^{2}(\mu)} \biggr\} < 1. \end{aligned}$$

Proof

Consider the operator \(\Psi^{*}\) on Y defined as follows:
$$\begin{aligned} \bigl(\Psi^{*} x\bigr) (t)={}& Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G\bigl(0,x(0)\bigr)\bigr] -Z^{-1}G(t,x\bigl(\gamma_{1}(t) \bigr)\\ &{}+ \int_{0}^{t} Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr)\,ds \\ &{}+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) Bu(s) \,ds\\ &{}+ \int_{0}^{t} Z^{-1} P_{\mu}(t-s) f\biggl(s,x\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds \\ &{}+ Z^{-1} \sum_{0 < t_{k}< t} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr), \end{aligned}$$
where
$$\begin{aligned} u(t)={}&B^{*} T_{\mu}^{*}(b-t) \bigl(\lambda I+ \Gamma^{b}_{0}\bigr)^{-1} \biggl\{ \bar{h}-Z^{-1}S_{\nu , \mu}(b)\bigl[ Z x(0)+ G\bigl(0,x(0)\bigr)\bigr] +Z^{-1}G(b,x\bigl(\gamma_{1}(b)\bigr) \\ &{}- \int_{0}^{b} Z^{-1} AZ^{-1} P_{\mu}(b-s) G(s, x\bigl(\gamma_{1}(s)\bigr)\,ds- Z^{-1} \sum_{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \\ &{}- \int_{0}^{b} Z^{-1} P_{\mu}(b-s) f\biggl(s,x\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau )g\bigl(\tau,x\bigl( \gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds\biggr\} . \end{aligned}$$
It will be shown that the operator \(\Psi^{*}\) has a fixed point. This fixed point is then a mild solution of system (4.4). We show that \(\Psi^{*}\) maps \(B_{r}\) into itself. For \(x \in B_{r}\),
$$\begin{aligned} \bigl\Vert \Psi^{*} x \bigr\Vert _{Y}={}&\sup _{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(\Psi^{*} x\bigr) (t) \bigr\Vert \\ \leq{}&6 \sup_{t \in J}t^{(1-\nu)(1-\mu)}\biggl\{ \bigl\Vert Z^{-1}S_{\nu, \mu}(t)\bigl[ Z x(0)+ G\bigl(0,x(0)\bigr)\bigr] \bigr\Vert + \bigl\Vert Z^{-1}G(t,x\bigl(\gamma_{1}(t)\bigr) \bigr\Vert \\ &{}+ \int_{0}^{t} \bigl\Vert Z^{-1} AZ^{-1} P_{\mu}(t-s) G(s, x\bigl(\gamma_{1}(s)\bigr) \bigr\Vert \,ds\\ &{}+ \int _{0}^{t} \bigl\Vert Z^{-1} P_{\mu}(t-s) \bigr\Vert \Vert B \Vert \bigl\Vert u(s) \bigr\Vert \,ds \\ &{}+ \int_{0}^{t} \bigl\Vert Z^{-1} P_{\mu}(t-s) \bigr\Vert \biggl\Vert f\biggl(s,x\bigl( \gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x\bigl( \gamma_{2}(\tau)\bigr)\bigr) \,d\tau\biggr) \biggr\Vert \,ds \\ &{} + \sum _{0 < t_{k}< t} \bigl\Vert Z^{-1} S_{\nu, \mu} (t- t_{k})I_{k}\bigl(x\bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ \leq{}&\frac{6 M \Vert Z^{-1} \Vert }{\Gamma(\nu(1-\mu)+ \mu)}\bigl[ \Vert Z \Vert \Vert x_{0} \Vert +M_{0} \bigl(K_{1} \Vert x_{0} \Vert +K_{2}\bigr)+ m(L_{3} r+L_{4})\bigr] \\ &{} +6 M_{0} b^{(1-\nu)(1-\mu)} \bigl\Vert Z^{-1} \bigr\Vert [K_{1} r+K_{2}] \\ &{}+\frac{6 \Vert Z^{-1} \Vert C_{1-\beta} b^{\beta\mu+(1-\nu)(1-\mu)}\Gamma (1+\beta)}{\beta\Gamma(1+ \mu\beta)}[K_{1} r+K_{2}] + \frac{6 M^{2} b^{\mu} \Vert Z^{-1} \Vert \Vert B \Vert \Vert B^{*} \Vert }{ \lambda\mu\Gamma ^{2}(\mu)} \\ &{}\times\biggl\{ b^{(1-\nu)(1-\mu)} \Vert \bar{h} \Vert \\ &{}+ \frac{M \Vert Z^{-1} \Vert }{\Gamma (\nu(1-\mu)+ \mu)}\bigl[ \Vert Z \Vert \Vert x_{0} \Vert +M_{0} \bigl(K_{1} \Vert x_{0} \Vert +K_{2}\bigr)+ m(L_{3} r+L_{4})\bigr] \\ &{}+ \bigl\Vert Z^{-1} \bigr\Vert b^{(1-\nu)(1-\mu)}(K_{1} r+K_{2})\biggl[M_{0}+\frac{ C_{1-\beta} b^{\beta\mu}\Gamma(1+\beta)}{\beta\Gamma(1+ \mu\beta)}\biggr] \\ &{}+ \frac{ \Vert Z^{-1} \Vert M b^{1-\nu(1-\mu)} }{\mu\Gamma(\mu)} \bigl[N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2}\bigr] \biggr\} \\ &{}+ \frac{6 \Vert Z^{-1} \Vert M b^{1-\nu(1-\mu )} }{\mu\Gamma(\mu)} \bigl(N_{1}\bigl(r+bL(L_{1} r + L_{2})\bigr)+ N_{2} \bigr) \\ ={}&6 \bigl\Vert Z^{-1} \bigr\Vert [1+\varrho_{4}] \biggl\{ \frac{ M \varrho_{1} }{\Gamma(\nu(1-\mu )+ \mu)} \\ &{}+ b^{(1-\nu)(1-\mu)}\biggl[M_{0}+\frac{ C_{1-\beta} b^{\beta\mu}\Gamma (1+\beta)}{\beta\Gamma(1+ \mu\beta)} \biggr]\varrho_{2}+\frac{ M b^{1-\nu (1-\mu) } \varrho_{3}}{\mu\Gamma(\mu)} \biggr\} \\ &{}+6 b^{(1-\nu)(1-\mu)} \Vert \bar{h} \Vert \varrho_{4} \\ \leq{}& r. \end{aligned}$$
Thus \(\Psi^{*} \) maps \(B_{r}\) into itself.
Next, for \(x_{1}, x_{2} \in B_{r} \), we obtain
$$\begin{aligned} & \bigl\Vert \bigl(\Psi^{*} x_{1}\bigr) (t) - \bigl(\Psi^{*} x_{2}\bigr) (t) \bigr\Vert \\ &\quad\leq6 \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ \bigl\Vert {\bigl(A Z^{-1}\bigr)}^{-\beta} \bigr\Vert \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(t, x_{1}\bigl(\gamma_{1}(t)\bigr)\bigr) -\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(t, x_{2}\bigl( \gamma_{1}(t)\bigr)\bigr) \bigr\Vert \\ &\qquad{}+ \int_{0}^{t} (t-s)^{\mu-1 } \bigl\Vert \bigl(A Z^{-1}\bigr)^{1-\beta} T_{\mu}(t-s) \bigr\Vert \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{1}\bigl(\gamma_{1}(s)\bigr)\bigr) \\ &\qquad{}-\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{2}\bigl(\gamma _{1}(s)\bigr)\bigr) \bigr\Vert \,ds \\ &\qquad{}+ \int_{0}^{t} \bigl\Vert P_{\mu}(t- s) \bigr\Vert \biggl\Vert f\biggl(s,x_{1}\bigl(\gamma_{1}(s) \bigr), \int_{0}^{s} h(s,\tau )g\bigl(\tau,x_{1} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau \biggr) \\ &\qquad{}- f \biggl(s,x_{2}\bigl(\gamma_{1}(s)\bigr), \int_{0}^{s} h(s,\tau)g\bigl(\tau,x_{2} \bigl(\gamma_{2}(\tau)\bigr)\bigr) \,d \tau\biggr) \biggr\Vert \,d s \\ &\qquad{}+ \sum_{0 < t_{k}< t} \bigl\Vert S_{\nu, \mu} (t- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x_{1} \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(x_{2} \bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr\} \\ &\qquad{}+6 \bigl\Vert Z^{-1} \bigr\Vert \int_{0}^{t} \bigl\Vert P_{\mu}(t-s) \bigr\Vert \Vert B \Vert \bigl\Vert B^{*} \bigr\Vert \bigl\Vert T_{\mu}^{*}(b-s) \bigr\Vert \bigl(\lambda I+ \Gamma^{b}_{0} \bigr)^{-1} \biggl[ \bigl\Vert {\bigl(A Z^{-1} \bigr)}^{-\beta} \bigr\Vert \\ &\qquad{}\times \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(b, x_{1}\bigl(\gamma_{1}(b)\bigr)\bigr) -\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(b, x_{2}\bigl( \gamma_{1}(b)\bigr)\bigr) \bigr\Vert \\ &\qquad{}+ \int_{0}^{b} (b-s)^{\mu-1 } \bigl\Vert \bigl(A Z^{-1}\bigr)^{1-\beta} T_{\mu}(b-s) \bigr\Vert \\ &\qquad{}\times \bigl\Vert \bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{1}\bigl(\gamma_{1}(s)\bigr)\bigr) -\bigl(A Z^{-1}\bigr)^{\beta}G\bigl(s, x_{2}\bigl( \gamma_{1}(s)\bigr)\bigr) \bigr\Vert \,ds + \int_{0}^{b} \bigl\Vert P_{\mu}(b- \tau) \bigr\Vert \\ &\qquad{}\times \biggl\Vert f\biggl(\tau,x_{1}\bigl(\gamma_{1}( \tau)\bigr), \int_{0}^{\tau}h(\tau,\eta)g\bigl(\eta ,x_{1}\bigl(\gamma_{2}(\eta)\bigr)\bigr) \,d \eta\biggr) \\ &\qquad{}- f \biggl(\tau,x_{2}\bigl(\gamma_{1}(\tau)\bigr), \int_{0}^{\tau}h(\tau,\eta)g\bigl( \eta,x_{2}\bigl(\gamma_{2}(\eta)\bigr)\bigr) \,d \eta\biggr) \biggr\Vert \,d \tau \\ &\qquad{}+\sum_{0 < t_{k}< b} \bigl\Vert S_{\nu, \mu} (b- t_{k}) \bigr\Vert \bigl\Vert I_{k}\bigl(x_{1} \bigl(t^{-}_{k}\bigr)\bigr)- I_{k}\bigl(x_{2} \bigl(t^{-}_{k}\bigr)\bigr) \bigr\Vert \biggr] \,ds \\ &\quad\leq6 q \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ M_{0} K_{1} + \frac{C_{1-\beta} b^{\beta\mu} K_{1} \Gamma(1+\beta)}{\Gamma(1+\mu\beta)}+ \frac{M b^{\mu}N_{1}}{\mu\Gamma (\mu)}(1+b L L_{1})\\ &\qquad{}+ \frac{m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu)+\mu )} \biggr\} \\ &\qquad{}\times \biggl\{ 1+ \frac{ \Vert Z^{-1} \Vert M^{2} \Vert B \Vert \Vert B^{*} \Vert b^{\mu}}{\lambda \mu\Gamma^{2}(\mu)} \biggr\} \bigl\Vert x_{1}(t)-x_{2} (t) \bigr\Vert \\ &\quad\leq\chi_{4} \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert . \end{aligned}$$
Therefore,
$$\sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert \bigl(\Psi^{*} x_{1}\bigr) (t) - \bigl(\Psi^{*} x_{2}\bigr) (t) \bigr\Vert \leq\chi_{4} \sup_{t \in J}t^{(1-\nu)(1-\mu)} \bigl\Vert x_{1}(t)- x_{2}(t) \bigr\Vert . $$
This implies that
$$\bigl\Vert \Psi^{*} x_{1} - \Psi^{*} x_{2} \bigr\Vert _{Y} \leq\chi_{4} \Vert x_{1}- x_{2} \Vert _{Y}. $$
Then \(\Psi^{*}\) is a contraction mapping and hence there exists a unique fixed point \(x \in B_{r} \) such that \(\Psi^{*} x(t) = x(t)\). Hence, any fixed point of \(\Psi^{*}\) is a mild solution of (4.4) on J. □

Theorem 4.4

Assume that hypotheses \((H1)\)\((H2)\) and \((H6)\)\((H11)\) hold. Further, if the functions \(f:J \times E \times E \rightarrow E\), \(G: J \times E \rightarrow E \) are uniformly bounded and \(\{ S(t), t > 0 \}\) is compact, then system (4.4) is approximately controllable on J.

Proof

Let \(x^{\lambda}(\cdot)\) be a fixed point of \(\Psi^{*}\) in \(B_{r}\). Any fixed point of \(\Psi^{*}\) is a mild solution of (4.4) on J under the control
$$u^{\lambda}(t)=B^{*} T_{\mu}^{*}(b-t) R\bigl(\lambda, \Gamma^{b}_{0}\bigr) p\bigl(x^{\lambda}\bigr), $$
where
$$\begin{aligned} p\bigl(x^{\lambda}\bigr)={}&h-Z^{-1}S_{\nu, \mu}(b)\bigl[ Z x(0)+ G\bigl(0,x(0)\bigr)\bigr] +Z^{-1}G(b,x^{\lambda}\bigl( \gamma_{1}(b)\bigr)\\ &{}- \int_{0}^{b} Z^{-1} AZ^{-1} P_{\mu}(b-s) G(s, x^{\lambda}\bigl(\gamma_{1}(s)\bigr) \,ds \\ &{}- Z^{-1} \sum_{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k}\bigl(x^{\lambda}\bigl(t^{-}_{k} \bigr)\bigr) \\ &{}- \int_{0}^{b} Z^{-1} P_{\mu}(b-s) f\biggl(s,x^{\lambda}\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} h(s, \tau)g\bigl(\tau,x^{\lambda}\bigl(\gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr)\,ds, \end{aligned}$$
and satisfies
$$\begin{aligned} x^{\lambda}(b)= h-\lambda\bigl(\lambda I + \Gamma^{b}_{0}\bigr)^{-1}p\bigl(x^{\lambda}\bigr). \end{aligned}$$
(4.7)
It follows from the assumption on f and G that there exists \(D > 0\) such that
$$\begin{aligned} &\biggl\Vert f\biggl(s,x^{\lambda}\bigl(\gamma_{2}(s)\bigr), \int_{0}^{s} k(s, \tau)g\bigl(\tau,x^{\lambda}\bigl(\gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr) \biggr\Vert \leq D,\\ & \bigl\Vert G\bigl(s,x^{\lambda}\bigl(\gamma_{1}(s)\bigr)\bigr) \bigr\Vert \leq D. \end{aligned}$$
Consequently, the sequence \(\{G(s,x^{\lambda}(\gamma_{1}(s))), f(s,x^{\lambda}(\gamma_{2}(s)),\int_{0}^{s} k(s, \tau)g(\tau,x^{\lambda}(\gamma_{3}(\tau)))\,d\tau )\}\) is bounded in \(L^{2}(J, E)\).

Thus there is a subsequence, still denoted by \(\{G(s,x^{\lambda}(\gamma_{1}(s))), f(s,x^{\lambda}(\gamma _{2}(s)),\int_{0}^{s} k(s, \tau)\times g(\tau,x^{\lambda}(\gamma_{3}(\tau)))\,d\tau)\}\), that converges to say \(\{G(s), f(s)\}\). On the other hand, by Lemma 4.3, the operator \(\lambda(\lambda I + \Gamma^{b}_{0})^{-1}\rightarrow0\) strongly as \(\lambda\rightarrow0^{+}\) for all \(0 < s \leq b\), and, moreover, \(\|\lambda(\lambda I + \Gamma ^{b}_{0})^{-1} \| \leq1\).

Thus, the Lebesgue dominated convergence theorem and the compactness of \(P_{\mu}(t)\) yield
$$\begin{aligned} &\bigl\Vert x^{\lambda}(b)-h \bigr\Vert \\ &\quad \leq \bigl\Vert \lambda\bigl(\lambda I + \Gamma^{b}_{0}\bigr)^{-1} \bigl[h- Z^{-1}S_{\nu, \mu}(b) \bigl( Z x(0)+ G\bigl(0,x(0)\bigr) \bigr)\bigr] \bigr\Vert \\ &\qquad{} + \bigl\Vert \lambda\bigl(\lambda I + \Gamma^{b}_{0}\bigr)^{-1} Z^{-1} G(b,x^{\lambda}\bigl(\gamma_{1}(b)\bigr) \bigr\Vert \\ &\qquad{}+ \int_{0}^{b} \bigl\Vert \lambda\bigl(\lambda I + \Gamma^{b}_{0}\bigr)^{-1} Z^{-1} AZ^{-1} P_{\mu}(b-s)G(s,x^{\lambda}\bigl( \gamma_{1}(s)\bigr) \bigr\Vert \,ds \\ &\qquad{}+ \int_{0}^{b} \biggl\Vert \lambda\bigl(\lambda I + \Gamma^{b}_{0}\bigr)^{-1}Z^{-1} P_{\mu}(b-s) f\biggl(s,x^{\lambda}\bigl(\gamma_{2}(s) \bigr), \int_{0}^{s} k(s, \tau)g\bigl(\tau,x^{\lambda}\bigl(\gamma_{3}(\tau)\bigr)\bigr)\,d\tau\biggr) \biggr\Vert \,ds \\ &\qquad{}+ \bigl\Vert \lambda\bigl(\lambda I + \Gamma^{b}_{0} \bigr)^{-1} \bigr\Vert \biggl\Vert Z^{-1} \sum _{0 < t_{k}< b} S_{\nu, \mu} (b- t_{k})I_{k} \bigl(x^{\lambda}\bigl(t^{-}_{k}\bigr)\bigr) \biggr\Vert \rightarrow 0, \quad \mbox{as }\lambda\rightarrow0^{+}. \end{aligned}$$
This gives the approximate controllability of (4.4), the proof is complete. □

5 Application

Consider the following Sobolev-type Hilfer fractional delay partial differential equation with impulsive condition:
$$\begin{aligned} \textstyle\begin{cases} D_{0+}^{\nu, \frac{3}{5}} [x(t, y)- x_{yy}(t,y) + \tilde{G}(t, x(t-\rho,y))]\\ \quad= \frac{\partial^{2} x(t,y)}{\partial y^{2}}+ \chi (t,y)+ x(t-\rho,y)+ \int_{0}^{t} \sin x(s-\rho,y)\,ds, \\ \qquad 0 \leq y \leq\pi, t \in J = (0,b], t \neq t_{k},\\ x(t, 0) = x(t, \pi) = 0,\quad t \in J,\\ x(t^{+}_{k},y)-x(t^{-}_{k},y)= I_{k}(x(t^{-}_{k},y)),\quad k = 1,2,\ldots, m,\\ I_{0+}^{\frac{2}{5}(1-\nu)}(x(0,y))= x_{0}(y), \quad 0 \leq y \leq\pi, \end{cases}\displaystyle \end{aligned}$$
(5.1)
where \(D_{0+}^{\nu, \frac{3}{5}}\) is a Hilfer fractional derivative of order \(0 \leq\nu\leq1, \mu=\frac{3}{5}\).

Let \(E=U = L^{2}([0, \pi])\), define the operators \(Z: D(Z)\subset E \rightarrow E\) and \(A: D(A) \subset E \rightarrow E\) by \(Zx = x - x_{yy}\) and \(Ax = x_{yy} \), where the domains \(D(Z)\) and \(D(A)\) are given by \(\{ x \in E:x, x_{y} \mbox{ are absolutely continuous}, x_{yy}\in E, x(0)= x(\pi)= 0 \}\).

Then A and Z can be written as
$$\begin{aligned} Ax=\sum_{n=1}^{\infty}n^{2} (x,x_{n})x_{n},\quad x \in D(A),\qquad Zx=\sum _{n=1}^{\infty}\bigl(1+n^{2}\bigr) (x,x_{n})x_{n},\quad x \in D(Z). \end{aligned}$$
Furthermore, for \(x\in E\), we have
$$\begin{aligned} Z^{-1}x=\sum_{n=1}^{\infty}\frac{1}{1+n^{2}}(x,x_{n})x_{n},\qquad AZ^{-1}x=\sum _{n=1}^{\infty}\frac{n^{2}}{1+n^{2}}(x,x_{n})x_{n}. \end{aligned}$$
It is known that \(AZ^{-1}\) is self-adjoint and has the eigenvalues \(\lambda_{n}=-n^{2}\pi^{2}, n\in N\), with the corresponding normalized eigenvectors \(e_{n}(\xi)=\sqrt{2} \sin(n\pi\xi)\). Furthermore, \(AZ^{-1}\) generates a uniformly strongly continuous semigroup of bounded linear operators \(S(t),t>0\), on E which is given by
$$\begin{aligned} S(t)\xi=\sum_{n=1}^{\infty}( \xi_{n},e_{n}) e_{n}=\sum _{n=1}^{\infty}2e^{-n^{2}\pi ^{2} t}\sin(n \pi y) \int_{0}^{1}\sin(n \pi\tau)\xi(\tau)\,d\tau,\quad \xi\in E. \end{aligned}$$
We define the bounded operator \(B: U \rightarrow E\) by \(Bu = \chi (t,y), 0 \leq y \leq\pi, u \in U\).
Also, we define the following functions:
$$\begin{aligned} &x(t)y = x(t,y), G\bigl(t, x\bigl(\gamma_{1}(t)\bigr)\bigr) (y)= \tilde{G}\bigl(t, x(t-\rho ,y)\bigr),\\ & \int_{0}^{t} h(t,s) g(s,x\bigl(\gamma_{3}(s) \bigr) (y) \,ds = \int_{0}^{t} \sin x(s-\rho ,y) \,ds, \\ &f \biggl(t,x\bigl(\gamma_{2}(t)\bigr), \int_{0}^{t} h(t,s)g\bigl(s,x\bigl( \gamma_{2}(s)\bigr)\bigr)\,ds \biggr) (y)= x(t-\rho,y)+ \int_{0}^{t} \sin x(s-\rho,y)\,ds, \end{aligned}$$
where \(h(t,s)=1\). Choose b and other constants such that conditions \((H1)\)\((H2)\) and \((H6)\)\((H11)\) are satisfied.
Hence, all the hypotheses of Theorem 4.3 and Theorem 4.4 are satisfied and
$$\begin{aligned} \chi_{4}:={}&6 q \bigl\Vert Z^{-1} \bigr\Vert \biggl\{ M_{0} K_{1} + \frac{C_{1-\beta} b^{\beta\mu } K_{1} \Gamma(1+\beta)}{\Gamma(1+\mu\beta)}+ \frac{M b^{\mu}N_{1}}{\mu \Gamma(\mu)}(1+b L L_{1})+ \frac{m M b^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu )+\mu)} \biggr\} \\ &{}\times \biggl\{ 1+ \frac{ \Vert Z^{-1} \Vert M^{2} \Vert B \Vert \Vert B^{*} \Vert b^{\mu}}{\lambda \mu\Gamma^{2}(\mu)} \biggr\} < 1. \end{aligned}$$
So the Sobolev-type Hilfer fractional delay partial differential equation with impulsive condition (5.1) is approximately controllable on J.

Declarations

Acknowledgements

The authors would like to thank the referees and the editor for their useful suggestions, which have significantly improved the paper.

Funding

Not applicable.

Authors’ contributions

All authors contributed equally to each part of this work. All authors read and approved the final manuscript.

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.

Authors’ Affiliations

(1)
Higher Institute of Engineering, El-Shorouk Academy, Cairo, Egypt
(2)
Department of Mathematics, Faculty of Science, Alexandria University, Cairo, Egypt
(3)
Department of Mathematics, Faculty of Science, Al-Azhar University, Cairo, Egypt

References

  1. El-Borai, M.M.: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14(3), 433–440 (2002) MathSciNetView ArticleMATHGoogle Scholar
  2. Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063–1077 (2010) MathSciNetView ArticleMATHGoogle Scholar
  3. 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) View ArticleMATHGoogle Scholar
  4. Wang, J.R., Feckan, M., Zhou, Y.: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19(4), 806–831 (2016) MathSciNetView ArticleMATHGoogle Scholar
  5. Riveros, M.S., Vidal, R.E.: Sharp bounds for fractional one-sided operators. Acta Math. Sin. Engl. Ser. 32(11), 1255–1278 (2016) MathSciNetView ArticleMATHGoogle Scholar
  6. 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) MathSciNetView ArticleMATHGoogle Scholar
  7. Ahmed, H.M., El-Borai, M.M.: Hilfer fractional stochastic integro-differential equations. Appl. Math. Comput. 331, 182–189 (2018) MathSciNetGoogle Scholar
  8. Benchohra, M., Lazreg, J.E.: Exsitence and Ulam stability for nonlinear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62, 27–38 (2017) View ArticleMATHGoogle Scholar
  9. 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) View ArticleGoogle Scholar
  10. Vivek, D., Kanagarajan, K., Elsayed, E.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 MathSciNetMATHGoogle Scholar
  11. Sakthivel, R., Ganesh, R., Anthoni, S.M.: Approximate controllability of fractional nonlinear differential inclusions. Appl. Math. Comput. 225, 708–717 (2013) MathSciNetMATHGoogle Scholar
  12. Sakthivel, R., Ren, Y.: Approximate controllability of fractional differential equations with state-dependent delay. Results Math. 63, 949–963 (2013) MathSciNetView ArticleMATHGoogle Scholar
  13. Ahmed, H.M.: Controllability for Sobolev type fractional integro-differential systems in a Banach space. Adv. Differ. Equ. 2012, 167 (2012) MathSciNetView ArticleMATHGoogle Scholar
  14. Ahmed, H.M.: Controllability of impulsive neutral stochastic differential equations with fractional Brownian motion. IMA J. Math. Control Inf. (2014) Google Scholar
  15. 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) MathSciNetView ArticleMATHGoogle Scholar
  16. Debbouche, A., Torres, D.F.M.: Approximate controllability of fractional delay dynamic inclusions with nonlocal control conditions. Appl. Math. Comput. 243, 161–175 (2014) MathSciNetMATHGoogle Scholar
  17. Ahmed, H.M.: Non-linear fractional integro-differential systems with non-local conditions. IMA J. Math. Control Inf. 33, 389–399 (2016) MathSciNetView ArticleGoogle Scholar
  18. Wang, J., Ahmed, H.M.: Null controllability of nonlocal Hilfer fractional stochastic differential equations. Miskolc Math. Notes 18(2), 1073–1083 (2017) MathSciNetView ArticleMATHGoogle Scholar
  19. 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) MathSciNetView ArticleMATHGoogle Scholar
  20. 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) MathSciNetGoogle Scholar
  21. 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) MathSciNetView ArticleMATHGoogle Scholar
  22. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993) MATHGoogle Scholar
  23. Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000) View ArticleMATHGoogle Scholar
  24. Hilfer, R.: Experimental evidence for fractional time evolution in glass materials. Chem. Phys. 284, 399–408 (2002) View ArticleGoogle Scholar
  25. Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015) MathSciNetMATHGoogle Scholar
  26. Curtain, R.F., Zwart, H.: An Introduction to Infinite Dimensional Linear Systems Theory. Springer, New York (1995) View ArticleMATHGoogle Scholar
  27. Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations, vol. 44. Springer, New York (1983) MATHGoogle Scholar
  28. Mahmoudov, N.I., Denker, A.: On controllability of linear stochastic systems. Int. J. Control 73, 144–151 (2000) MathSciNetView ArticleGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement