Skip to main content

Theory and Modern Applications

Exact controllability of fractional order evolution equations in Banach spaces

Abstract

In this paper, we deal with the exact controllability of a class of fractional evolution equations with time-varying delay. Under the nonlocal condition, the exact controllability of this system is established by applying a Leray–Schauder alternative theorem and the theory of propagation families in a Banach space. As an application, the controllability of a fractional partial differential equation is examined to show the effectiveness of our result.

1 Introduction and main results

It is well known that the fractional differential equations (FDE) are regarded as a more precise description of real life phenomena. There are many papers in the literature investigating various fractional dynamical systems; see, for example, [15]. Controllability of linear and nonlinear fractional dynamical systems, which plays a vital role in various areas of science and engineering, was established in finite dimensional spaces, see [615]. In [16] the authors consider the Cauchy problem of a class of semilinear fractional evolution systems in a Banach space. It is noteworthy that a nonlocal Cauchy condition initiated in [17] is related to the diffusion phenomenon of a little amount of gas in a transparent container. Moreover, this nonlocal condition usually covers four classical cases: the initial valued problem, the periodic and antiperiodic problem, and mean valued problems, see [18]. However very little is known about nonlocal problems of fractional control systems. For research on nonlocal problems of evolution equations, we refer the reader to the papers of [1924] and the references therein.

Fractional differential equations with delay features are present in areas such as physical and medical ones with non-constant delay. Recently, several researchers have been increasingly interested in the issues of controllability results of mild solutions for these problems. Subsequently, a few papers on the existence of fractional order integro-differential equations and impulsive differential equations with delay have been published, see [2531]. For research on approximate controllability of fractional order systems with delay, we refer the reader to the papers of [3236] and the references therein. In [37] the authors prove the controllability of fractional functional evolution equations of Sobolev type with constant delay. Some of the works on fractional partial differential equations (PDEs) and on the controllability of fractional PDEs are investigated in [3842]. As we shall see, the fractional derivative may bring some memory effect which has a great impact on the control properties of these systems. In [41], Lü and Zuazua defined a new notion of controllability which does not only control the value of the state at the final time, but also the memory accumulated by the long-tail effects that the fractional derivative introduces. In this setting, they proved the controllability properties for fractional in time ODEs and PDEs, the analysis of the problem of controllability of fractional (in time) ordinary and partial differential equations is failure. In this sense, for fractional in time derivatives, due to memory effects induced by the integral term, the fact that the solution reaches the final state at time \(t=T\) does not guarantee that the solution stays at rest for \(t\geq T\) when the control action stops. Consequently, in order to gain the controllability properties for a fractional in time system, we only consider the controllability in the classical control sense, which means that we do not ask for the state of the system to remain for \(t\geq T\) without control. Furthermore, the fractional order control system with time-varying delay and the nonlocal condition considered in this paper is different from these problems mentioned above.

Let X and Y be two real Banach spaces with norms \(\|\cdot\|\) and \(\|\cdot\|_{Y}\), respectively. The aim of this paper is to discuss the controllability of the following fractional order control system with time-varying delay:

$$\begin{aligned} \textstyle\begin{cases}{\mathcal {D}}^{\alpha}_{t}(Lx(t))+Ax(t)=f(t,x(t-v(t))+Bu(t), &t\in I:=[0,T], \\ Lx(t)=\phi(t)+b(x)(t),&t\in[-\tau,0]. \end{cases}\displaystyle \end{aligned}$$
(1.1)

Here \({\mathcal {D}}^{\alpha}_{t}\), \(0 < \alpha< 1\), is the regularized Caputo fractional derivative of order α (see Definition 1.2); \(A:D(A)\subset X\rightarrow Y\) is a linear closed operator; \({L}:D(L)\subset X\rightarrow Y\) is a linear operator where the domain \(D(L)\) of L becomes a Banach space with norm \(\|x\|_{D(L)}:=\|Lx\|\), \(x\in D(L)\). Also, the control function \(u(\cdot)\) is given in a Banach space \(L^{\infty}(I,U)\) where U is also a Banach space; \(B:U\rightarrow Y\) is a bounded linear operator; the functions \(v:I\rightarrow(0,\tau]\) and \(\phi:[-\tau,0]\rightarrow Y\) are continuous; \(b:C([-\tau ,T],X)\rightarrow C([-\tau,0],Y)\) is a continuous function and \(f : I\times C([-\tau,0],X)\rightarrow Y\) is a given function to be specified later. In this paper, we will not assume that the linear operator A generates a compact continuous semigroup (see [43]) and the Lipschitz continuity on f and b which is essential in [44].

Let \(J\subset R\) be a compact set, we denote by \(C(J,X)\) a Banach space with norm given by \(\|y\|_{C}=\sup_{t\in J}\|y(t)\|\) for \(y\in C(J,X)\). Let \(\Lambda(X,Y)\) be a Banach space of all bounded linear operators from X into Y endowed with the norm \(\|\cdot\|_{\Lambda(X,Y)}\) in the uniform operator topology. The aim of this paper is to establish sufficient conditions for the controllability of system (1.1) via a Leray–Schauder alternative theorem and the theory of propagation families. Also, an example of a fractional feedback control system is discussed to illustrate our theory.

Let us recall some basic definitions and facts which are essential throughout the work. In particular, we introduce some properties of fractional calculus [45], some facts in semigroup theory [2, 4, 46].

Definition 1.1

The fractional integral of order β with the lower limit zero for a function \(x:[0,\infty)\rightarrow R\) is defined as

$$D^{-\beta}_{t} x(t)=\frac{1}{\Gamma(\beta)} \int_{0}^{t}(t-s)^{\beta -1}x(s)\,ds, \quad t>0, \beta>0 $$

provided the right-hand side is point-wise defined on \([0,\infty)\), where Γ is the gamma function.

Definition 1.2

The Caputo fractional derivative of order \(\beta\in(0, 1)\) of a function \(x(t)\) is defined by

$$D^{\beta}_{t} x(t)=\frac{1}{\Gamma(1-\beta)} \int_{0}^{t}(t-s)^{-\beta}x'(s)\,ds. $$

Lemma 1.1

If \(x(t)\in C^{n}[0,T]\), then

$$D^{-\beta}_{t}D^{\beta}_{t} x(t)=x(t)- \sum_{k=0}^{n-1}\frac{x^{k}(0)}{k!}t^{k}, $$

where \(\beta\in[n-1,n)\), \(n\in N\). In particular, if \(x(t)\in C^{1}[0,T]\) and \(\beta\in(0,1)\), then \(D^{-\beta}_{t}D^{\beta}_{t} x(t)=x(t)-x(0)\).

We need the following assumptions on the operators A and L.

(H1):

A is a closed linear operator, L is also a linear operator and bijective, and \(D(L)\subset D(A)\).

(H2):

The linear operator \(L^{-1}:Y\rightarrow X\) is compact (which implies that \(L^{-1}\) is bounded).

Remark 1.1

From (H1), we know that L is closed due to the fact that \(L^{-1}\) is injective and closed. It follows from (H1)–(H2) and the closed graph theorem that the linear operator \(-AL^{-1}:Y\rightarrow Y\) is bounded. Thus, \(-AL^{-1}\) generates a semigroup \(\{W_{L}(t), t\geq0\}\), \(W_{L}(t) :=e^{-AL^{-1}t} \).

Now, let

$$\psi_{\alpha}(s)=\frac{1}{\pi}\sum_{n=1}^{\infty}(-1)^{n-1}s^{-\alpha n-1} \frac{\Gamma(1+\alpha n)}{n!}\sin(n\pi\alpha), \quad s\in[0,\infty), $$

be one-sided stable probability density whose Laplace transform is provided by

$$\begin{aligned} \int_{0}^{\infty}e^{-\lambda\theta}\psi_{\alpha}(s)\,d \theta=e^{\lambda ^{\alpha}}, \end{aligned}$$
(1.2)

where \(\alpha\in(0,1)\). We state families of operators \(P(t)\), \(t\geq 0\), on Y as follows:

$$P(t)= \int_{0}^{\infty}\alpha s\eta_{\alpha}(s)W_{L} \bigl(st^{\alpha}\bigr)\,ds, $$

where \(\eta_{\alpha}(s):=\frac{1}{\alpha}s^{-(1+\frac{1}{\alpha})}\psi _{\alpha}(s^{-\frac{1}{\alpha}})\) is the function of Wright type where \(\eta_{\alpha}(s)\geq0\), \(s\in (0,\infty)\), and \(\int_{0}^{\infty}\eta_{\alpha}(s)\,ds=1\). Note that \(P(t)\) is a bounded linear operator on Y and continuous for \(t>0\) in the means of uniform operator topology. Moreover, for all \(x\in Y\), then

$$\begin{aligned} \bigl\Vert P(t)x \bigr\Vert _{Y}\leq \frac{\alpha M_{1} \Vert x \Vert _{Y}}{\Gamma(1+\alpha)}, \end{aligned}$$
(1.3)

where \(\|W\|_{\Lambda(Y)}:=\sup_{t\geq0}\|W_{L}(t)\|\leq M_{1}\) for \(t>0\) (see Remark 2.1.3, [47]). For details, we refer the reader to [2, 4].

In view of Lemma 1.1, we can rewrite system (1.1) in the equivalent fractional integral equation

$$\begin{aligned} \textstyle\begin{cases}Lx(t)=\phi(0)+b(x)(0)+\frac{1}{\Gamma(\alpha)}\int _{0}^{t}(t-s)^{\alpha-1}g(s)\,ds, &t\in I, \\ Lx(t)=\phi(t)+b(x)(t),&t\in[-\tau,0], \end{cases}\displaystyle \end{aligned}$$
(1.4)

provided that the integral in (1.4) exists, where \(g(t):=-Ax(t)+f(t,x(t-v(t)))+Bu(t)\) for \(t\in I\).

For \(x\in Y\), we define two families \({{\mathcal {A}}_{L}(t)}\), \(t\geq0\), and \({{\mathcal {B}}_{L}(t)}\), \(t\geq0\), of operators given by

$$\begin{aligned}& {\mathcal {A}}_{L}(t)x= \int_{0}^{\infty}L^{-1} \eta_{\alpha}(s)W_{L} \bigl(st^{\alpha}\bigr)x\,ds, \\& {\mathcal {B}}_{L}(t)x= \int_{0}^{\infty}L^{-1}\alpha s \eta_{\alpha}(s)W_{L}\bigl(st^{\alpha}\bigr)x\,ds. \end{aligned}$$

Lemma 1.2

If

$$\begin{aligned} Lx(t)=Lx(0)+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}\bigl(-Ax(s)+f \bigl(s,x\bigl(s-v(s)\bigr)\bigr)+Bu(s)\bigr)\,ds \end{aligned}$$
(1.5)

for \(t\in I\) holds, then we obtain

$$Lx(t)={\mathcal {A}}_{L}(t) \bigl(Lx(0)\bigr)+ \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s) \bigl(f\bigl(s,x\bigl(s-v(s)\bigr)\bigr)+Bu(s)\bigr)\,ds,\quad t \in I. $$

Proof

Using the Laplace transforms with respect to t on (1.5), one has that

$$\begin{aligned} Ly(\lambda) =&\frac{1}{\lambda}Lx(0)-\frac{1}{\lambda^{\alpha}}AL^{-1}Ly( \lambda)+\frac{1}{\lambda^{\alpha}}w(\lambda) \\ =&\lambda^{\alpha-1}\bigl(\lambda^{\alpha}{\mathcal {I}}+AL^{-1}\bigr)^{-1}\bigl(Lx(0)\bigr)+\bigl( \lambda^{\alpha}{\mathcal {I}}+AL^{-1}\bigr)^{-1}w( \lambda) \\ =&\lambda^{\alpha-1} \int_{0}^{\infty}e^{-\lambda^{\alpha}s}W_{L}(s) \bigl(Lx(0)\bigr)\,ds+ \int_{0}^{\infty}e^{-\lambda^{\alpha}s}W_{L}(s) \bigl(Lx(0)\bigr)\,ds, \end{aligned}$$
(1.6)

provided that the integrals in (1.5) exist, where \({\mathcal {I}}\) is the identity operator defined on Y, the Laplace transform of x, \(f(t,x)\), and u are defined by

$$y(\lambda)= \int_{0}^{\infty}e^{-\lambda s}x(s)\,ds $$

and

$$w(\lambda)= \int_{0}^{\infty}e^{-\lambda s}\bigl(f \bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,ds, \quad \lambda>0. $$

From (1.2) and (1.6), we get

$$\begin{aligned}& \lambda^{\alpha-1} \int_{0}^{\infty}e^{-\lambda^{\alpha}s}W_{L}(s) \bigl(Lx(0)\bigr)\,ds \\ & \quad = \int_{0}^{\infty}\alpha(\lambda t)^{\alpha-1}e^{-(\lambda t)^{\alpha}}W_{L} \bigl(t^{\alpha}\bigr) \bigl(Lx(0)\bigr)\,dt \\ & \quad =- \int_{0}^{\infty}\frac{1}{\lambda}\frac{d}{dt} \bigl[e^{-(\lambda t)^{\alpha}}\bigr]W_{L}\bigl(t^{\alpha}\bigr) \bigl(Lx(0)\bigr)\,dt \\ & \quad = \int_{0}^{\infty}\int_{0}^{\infty}\theta\psi_{\alpha}( \theta)e^{-\lambda t\theta}W_{L}\bigl(t^{\alpha}\bigr) \bigl(Lx(0) \bigr)\,d\theta \,dt \\ & \quad = \int_{0}^{\infty}e^{-\lambda t} \biggl[ \int_{0}^{\infty}\psi_{\alpha}(\theta )W_{L}\biggl(\frac{t^{\alpha}}{\theta^{\alpha}}\biggr) \bigl(Lx(0)\bigr)\,d\theta \biggr]\,dt, \end{aligned}$$
(1.7)

and

$$\begin{aligned}& \int_{0}^{\infty}e^{-\lambda^{\alpha}s}W_{L}(s)w( \lambda)\,ds \\ & \quad = \int_{0}^{\infty}\int_{0}^{\infty}\alpha t^{\alpha-1}e^{-(\lambda t)^{\alpha}}W_{L} \bigl(t^{\alpha}\bigr)e^{-\lambda s}\bigl(f\bigl(s,x_{v}(s) \bigr)+Bu(s)\bigr)\,ds\,dt \\ & \quad = \int_{0}^{\infty}\int_{0}^{\infty}\int_{0}^{\infty}\alpha\psi_{\alpha}(\theta )e^{-\lambda t\theta}t^{\alpha-1}W_{L}\bigl(t^{\alpha}\bigr)e^{-\lambda s}\bigl(f\bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,d\theta \,ds\,dt \\ & \quad = \int_{0}^{\infty}\int_{0}^{\infty}\int_{0}^{\infty}\alpha\psi_{\alpha}(\theta )e^{-\lambda(t+s)}\frac{t^{\alpha-1}}{\theta^{\alpha}}W_{L}\biggl(\frac{t^{\alpha}}{\theta^{\alpha}} \biggr)e^{-\lambda s}\bigl(f\bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,d\theta \,ds\,dt \\ & \quad = \int_{0}^{\infty}e^{-\lambda t} \biggl[\alpha \int_{0}^{t} \int_{0}^{\infty}\psi _{\alpha}( \theta)W_{L}\biggl(\frac{(t-s)^{\alpha}}{\theta^{\alpha}}\biggr) \\& \qquad {}\times \bigl(f \bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\frac{(t-s)^{\alpha-1}}{\theta^{\alpha}}\,d\theta \,ds \biggr]\,dt. \end{aligned}$$
(1.8)

In view of (1.7) and (1.8), we have

$$\begin{aligned} Ly(\lambda) =& \int_{0}^{\infty}e^{-\lambda t} \biggl[ \int_{0}^{\infty}\psi_{\alpha}( \theta)W_{L}\biggl(\frac{t^{\alpha}}{\theta^{\alpha}}\biggr) \bigl(Lx(0)\bigr)\,d\theta \\ &{}+\alpha \int_{0}^{t} \int_{0}^{\infty}\psi_{\alpha}( \theta)W_{L}\biggl(\frac{(t-s)^{\alpha }}{\theta^{\alpha}}\biggr) \bigl(f \bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\frac{(t-s)^{\alpha-1}}{\theta ^{\alpha}}\,d\theta \,ds \biggr]\,dt. \end{aligned}$$
(1.9)

Now we take the invert Laplace transform on (1.9) to get

$$\begin{aligned} x(t) =& \int_{0}^{\infty}L^{-1}\psi_{\alpha}( \theta)W_{L}\biggl(\frac{t^{\alpha}}{\theta ^{\alpha}}\biggr) \bigl(Lx(0)\bigr)\,d\theta \\ &{}+\alpha \int_{0}^{t} \int_{0}^{\infty}L^{-1}\psi_{\alpha}( \theta)W_{L}\biggl(\frac {(t-s)^{\alpha}}{\theta^{\alpha}}\biggr)\frac{(t-s)^{\alpha-1}}{\theta^{\alpha}}\bigl(f \bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,d\theta \,ds \\ =& \int_{0}^{\infty}L^{-1}\eta_{\alpha}( \theta)W_{L}\bigl({t^{\alpha}} {\theta }\bigr) \bigl(Lx(0)\bigr)\,d \theta \\ &{}+ \int_{0}^{t} \int_{0}^{\infty}L^{-1}\alpha\theta \eta_{\alpha}(\theta )W_{L}\bigl({(t-s)^{\alpha}} {\theta} \bigr){(t-s)^{\alpha -1}}\bigl(f\bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,d \theta \,ds \\ =&{\mathcal {A}}_{L}(t) \bigl(Lx(0)\bigr)+ \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s) \bigl(f\bigl(s,x_{v}(s)\bigr)+Bu(s)\bigr)\,ds, \quad t\in I. \end{aligned}$$
(1.10)

The proof is completed. □

The following lemma comes from the results with minor modifications in [37].

Lemma 1.3

The following properties on \({{\mathcal {A}}_{L}(t)}\) and \({{\mathcal {B}}_{L}(t)}\) are valid.

  1. (1)

    For every \(t\geq0\), \({{\mathcal {A}}_{L}(t)}\) and \({{\mathcal {B}}_{L}(t)}\) are linear and bounded operators, i.e., \(\|{{\mathcal {A}}_{L}(t)}x\|\leq M_{1}\|L^{-1}\|_{\Lambda(Y,X)}\|x\|_{Y}\), \(\| {{\mathcal {B}}_{L}(t)}x\|\leq\frac{\|L^{-1}\|_{\Lambda(Y,X)}M_{1}}{\Gamma (\alpha)}\|x\|_{Y}\) for all \(x\in Y\), and \(t\in(0,\infty)\).

  2. (2)

    For every \(x\in Y\), \(t\rightarrow{{\mathcal {A}}_{L}(t)}x\), \(t\rightarrow{{\mathcal {B}}_{L}(t)}x\) are continuous functions from \([0,\infty)\) into Y.

  3. (3)

    \({{\mathcal {A}}_{L}(t)}\) and \({{\mathcal {B}}_{L}(t)}\) are compact operators on X for \(t>0\).

Definition 1.3

For given \(u\in L^{\infty}(I,U)\), \(x\in C([-\tau,T],X)\) will be said to be a mild solution of the fractional system (1.1) if and only if it satisfies the following integral equation:

$$\begin{aligned} \textstyle\begin{cases}x(t)={{\mathcal {A}}_{L}(t)}(\phi(0)+b(x)(0))+\int _{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{L}(t-s)}f(s,x(s-v(s)))\,ds\\ \hphantom{x(t)=}{}+\int_{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{L}(t-s)}Bu(s)\,ds, &t\in I, \\ x(t)=L^{-1}(\phi(t)+b(x)(t)),&t\in[-\tau,0]. \end{cases}\displaystyle \end{aligned}$$
(1.11)

Definition 1.4

The fractional system (1.1) is said to be controllable on the interval I if and only if, for every \(x_{1}\in X\), there exists a control \(u\in L^{\infty}(I,U)\) such that the mild solution x of system (1.1) satisfies \(x(T) = x_{1}\).

Remark 1.2

In order to gain the excellent controllability properties, Lü and Zuazua [41] give a new definition of controllability that system is null controllable at time T if, for any \(x_{0}\in H\), there is a control \(u\in L^{2}(I,U)\) such that the corresponding solution \(x(\cdot) \) satisfies that \(x(t)=0\) for all \(t\geq T\). In this setting, they are interested in the problem of controllability. More precisely, they resolve the problem of null controllability in which the objective is to drive the solution to rest, in other words, to the trivial null state, in finite time. Nevertheless, in the work of Lü and Zuazua this controllability property cannot be achieved in this case for the fractional in time differential system. This negative result holds even for finite-dimensional systems in which the control is of full dimension. Consequently, the same negative results hold also for fractional in time PDE and memory PDEs, regardless of whether they are of hyperbolic or parabolic nature. This negative result exhibits a completely opposite behavior with respect to the existing literature on classical ODE and PDE control.

Remark 1.3

When \(L = I\), \(I : Y\rightarrow Y\) is the identity operator, we have \({\mathcal {A}}_{I}(t)x= [4]\int_{0}^{\infty}\eta_{\alpha}(s)W_{L}(st^{\alpha})x\,ds\), \({\mathcal {B}}_{I}(t)x=\int_{0}^{\infty}\alpha s\eta_{\alpha}(s)W_{L}(st^{\alpha})x\,ds\).

Let \(\Omega_{r}:=\{y\in C([-\tau, T], X):\|y\|_{C}< r\}\) for \(r\in R_{+}\). Obviously, \(\Omega_{r}\) is an open, bounded, convex subset of \(C([-\tau ,T],X)\). In addition to (H1) and (H2), we still need the following hypotheses:

  1. (H3)

    The function \(f:I\times C([-\tau, 0], X)\rightarrow Y\) satisfies the following two conditions:

    1. (i)

      for every \(y\in C([-\tau, 0], X)\), \(t\rightarrow f(t,y)\) is strongly measurable, and for each \(t\in I\), \(y\rightarrow f(t,y)\) is continuous;

    2. (ii)

      there are a measurable function \(h\in L_{+}^{\infty}(I)\) and a nondecreasing continuous function ψ such that \(\|f(t,y)\|_{Y}\leq h(t)\psi(\|y\|_{C})\) for almost all \(t\in I\), every \(y\in C([-\tau, 0], X)\).

  2. (H4)

    The operator \(b:C([-\tau, T], X)\rightarrow C([-\tau, 0],Y)\) is continuous, and there exists a nondecreasing function \(g:R_{+}\rightarrow R_{+}\) such that \(\|b(y)\|_{C}\leq g(r)\), \(\forall y\in\Omega_{r}\).

  3. (H5)

    \(B:U\rightarrow Y\) is a linear bounded operator and the linear operator \(K:L^{\infty}(I,U)\rightarrow D(L)\) defined by

    $$\begin{aligned} Ku= \int_{0}^{T}(T-s)^{\alpha-1}{{\mathcal {B}}_{L}(T-s)}Bu(s)\,ds \end{aligned}$$
    (1.12)

    has an invertible operator \(K^{-1}\) which takes values in \(L^{\infty }(I,U)\setminus\mathrm{Ker} K\), and there exist positive constants \(M_{3}\), \(M_{4}\) such that \(\|K^{-1}\|_{\Lambda(D(L), L^{\infty}(I,U))}\leq M_{3}\) and \(\|B\|_{\Lambda(U,Y)}\leq M_{4}\).

  4. (H6)

    Let \(M_{2}=\frac{T^{\alpha}\|L^{-1}\|_{\Lambda(Y,X)} M_{1}}{\Gamma (\alpha)}\), \(x_{1}\in X\), there exists \(r>0\) such that

    $$D_{1}g(r)+D_{2}\psi(r)+D_{3}< r, $$

    where \(D_{1}=(1+M_{2} M_{3}M_{4})M_{1}\|L^{-1}\|_{\Lambda(Y,X)}\), \(D_{2}=(1+M_{2} M_{3}M_{4})M_{2}\|h\|_{\infty}\),

    $$D_{3}=M_{1} \bigl\Vert L^{-1} \bigr\Vert _{\Lambda(Y,X)} \Vert \phi \Vert _{C}+ M_{2} M_{3}M_{4}\bigl( \Vert x_{1} \Vert +M_{1} \bigl\Vert L^{-1} \bigr\Vert _{\Lambda(Y,X)} \Vert \phi \Vert _{C}\bigr), $$

    and \(M_{1}\), \(M_{3}\), \(M_{4}\) are constants stated in (1.3) and (H5).

It is evident that K is well defined on \(D(L)\), since

$$\begin{aligned} \Vert LKu \Vert _{Y} =& \biggl\Vert \int_{0}^{T}(T-s)^{\alpha-1}L{{\mathcal {B}}_{L}(T-s)}Bu(s)\,ds \biggr\Vert _{Y} \\ \leq& \frac{\alpha M_{1}T^{\alpha}M_{4}}{\Gamma(1+\alpha)} \Vert u \Vert _{L^{\infty}(I,U)}. \end{aligned}$$
(1.13)

Now we state a Leray–Schauder alternative theorem and our main result.

Lemma 1.4

(see [44])

Let C be a bounded convex subset of a Banach space X, Q be an open subset of C and \(0\in Q\). Let \({ \Phi}:\overline{Q}\rightarrow C\) be a continuous, compact (that is, \({ \Phi}(\overline{Q})\) is a precompact subset of C) map. Then either there exist \(x\in\partial{Q}\) (the boundary of Q in C) and \(\lambda\in(0,1)\) with \(x=\lambda{\Phi}(x)\) or Φ has a fixed point \(x\in\overline{Q}\).

Theorem 1.1

Assume that (H1)–(H6) are satisfied, then system (1.1) is exactly controllable on I.

2 Proof of Theorem 1.1

The controllability of system (1.1) is equivalent to showing that for \(x_{1}\in X\), there exists \(u\in L^{\infty}(I,U)\) such that the solution x of system (1.1) satisfies \(x(T)=x_{1}\). We observe that for arbitrary \(x\in C([-\tau,T],X)\) the control \(u_{x}\) can be defined by

$$ \begin{aligned}[b] u_{x}(t)&=K^{-1} \biggl(x_{1}-{{\mathcal {A}}_{L}(T)}\bigl(\phi(0)+b(x) (0)\bigr)\\ &\quad {}- \int _{0}^{T}(T-s)^{\alpha-1}{{\mathcal {B}}_{L}(t-s)}f\bigl(s,x\bigl(s-v(s)\bigr)\bigr)\,ds \biggr) \end{aligned} $$
(2.1)

\(t\in I\). Using this control, we show that the operator \(\Phi: C([-\tau ,T],X)\rightarrow C([-\tau,T],X)\), defined by

$$\begin{aligned} \textstyle\begin{cases}\Phi(x)(t)={{\mathcal {A}}_{L}(t)}(\phi(0)+b(x))+\int _{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{L}(t-s)}f(s,x(s-v(s)))\,ds\\ \hphantom{\Phi(x)(t)=}{}+\int_{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{L}(t-s)}Bu_{x}(s)\,ds, &t\in I, \\ \Phi(x)(t)=L^{-1}(\phi(t)+b(x)(t)),&t\in[-\tau,0], \end{cases}\displaystyle \end{aligned}$$
(2.2)

has a fixed point x, which is a solution of system (1.1). Putting (2.1) into (2.2), we note that \(x_{1}= \Phi (x)(T)\), which means that \(u_{x}\) operates system (1.1) from \(x_{0}\) to \(x_{1}\) in time T, i.e., (1.1) is exactly controllable on I. In view of Lemma 1.3 and (H3)–(H5), we derive that for every \(x\in\Omega_{r}\),

$$\begin{aligned}& \Vert u_{x} \Vert _{L^{\infty}(I,U)} \\& \quad \leq M_{3}\bigl( \Vert x_{1} \Vert + \bigl\Vert {{ \mathcal {A}}_{L}(T)} \bigr\Vert _{\Lambda(X)}\bigl( \Vert \phi \Vert _{C}+ \bigl\Vert b(x) \bigr\Vert _{C}\bigr) \bigr) \\& \qquad {}+{M_{3}} \int_{0}^{T}(T-s)^{\alpha-1} \Vert {{\mathcal {B}}_{L}} \Vert _{\Lambda(X)} \bigl\Vert f\bigl(s,x\bigl(s-v(s) \bigr)\bigr) \bigr\Vert _{Y}\,ds \\& \quad \leq M_{3} \biggl( \Vert x_{1} \Vert +M_{1} \bigl\Vert L^{-1} \bigr\Vert \bigl( \Vert \phi \Vert _{C}+g(r)\bigr)+\frac{ \Vert h \Vert _{\infty}\psi(r)M_{1}T^{\alpha}}{\Gamma(\alpha)} \biggr). \end{aligned}$$
(2.3)

We proceed in the following four steps.

Step 1. We show that the set \(\{\Phi(x)(t):x\in\overline{\Omega}_{r}, t\in[-\tau,T]\}\) is relatively compact in X.

Fix \(t\in[-\tau,T]\). First, we define

$$\begin{aligned}& \Phi_{1}(x) (t)= {{\mathcal {A}}_{I}(t)}\bigl(\phi (0)+b(x) (0)\bigr)+ \int_{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{I}(t-s)}f\bigl(s,x\bigl(s-v(s)\bigr)\bigr)\,ds \\& \hphantom{\Phi_{1}(x) (t)=}{} + \int_{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{I}(t-s)}Bu_{x}(s)\,ds, \quad t\in I, \\& \Phi_{1} (x) (t)=\phi(t)+b(x) (t), \quad t\in[-\tau,0]. \end{aligned}$$
(2.4)

Then \(\Phi(x)(t)=L^{-1}\Phi_{1}(x)(t)\), \(x\in\overline{\Omega}_{r}\). Next, for \(x\in\overline{\Omega}_{r}\), one has that

$$\bigl\Vert \Phi_{1}(x) \bigr\Vert _{Y}\leq \Vert \phi \Vert _{Y}+ \bigl\vert g(r) \bigr\vert $$

if \(t\in[-\tau,0]\) and

$$\begin{aligned} \bigl\Vert \Phi_{1}(x) \bigr\Vert _{Y} =& \bigl\Vert {{\mathcal {A}}_{I}(t)}\bigl(\phi(0)+b(x) (0)\bigr) \bigr\Vert _{Y}+ \biggl\Vert \int _{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{I}(t-s)}f\bigl(s,x\bigl(s-v(s)\bigr)\bigr)\,ds \biggr\Vert _{Y} \\ &{}+ \biggl\Vert \int_{0}^{t}(t-s)^{\alpha-1}{{\mathcal {B}}_{I}(t-s)}Bu_{x}(s)\,ds \biggr\Vert _{Y} \\ \leq& \Vert {{\mathcal {A}}_{I}} \Vert _{\Lambda(X,Y)}\bigl( \bigl\Vert \phi(0) \bigr\Vert _{Y}+ \bigl\vert g(r) \bigr\vert \bigr)+\frac {T^{\alpha}}{\Gamma(\alpha)}\|{{\mathcal {B}}_{I}}\|_{\Lambda(X,Y)}M_{1} \|h\| _{\infty}\psi\bigl( \Vert x \Vert _{C}\bigr) \\ &{}+\frac{T^{\alpha}}{\Gamma(\alpha)}\|{{\mathcal {B}}_{I}\|_{\Lambda (X,Y)}}M_{1} \|B\|_{\Lambda(U,Y)}\|u\|_{L^{\infty}(I,U)} \end{aligned}$$

if \(t\in I\), and so \(\{\Phi_{1}(x)(t): x\in\overline{\Omega}_{r}, t\in [-\tau,T]\}\) is bounded in Y by (2.3). Since \(L^{-1}:Y\rightarrow X\) is compact, then \(\{\Phi(x)(t): x\in \overline{\Omega}_{r}, t\in[-\tau,T]\}=L^{-1}\{\Phi_{1}(x)(t): x\in \overline{\Omega}_{r}, t\in[-\tau,T]\}\) is relatively compact in X.

Step 2. We show that the set \(\{{\Phi}(x)(t):x\in C([-\tau,T],X)\}\) is equicontinuous on \([-\tau,T]\).

From the strong continuity of \(({\mathcal {A}}_{L}(t))_{t\geq0}\) and \(({\mathcal {B}}_{L}(t))_{t\geq0}\), for any fixed \(t\in I\), we can choose \(-\tau<\delta<T-t\) such that

$$\begin{aligned}& \bigl\Vert {\mathcal {A}}_{L}(t+\delta)x-{\mathcal {A}}_{L}(t)x \bigr\Vert \rightarrow0\quad \mbox{for } x\in X\mbox{ as }\delta\rightarrow0; \\& \bigl\Vert {\mathcal {B}}_{L}(t+\delta)x-{\mathcal {B}}_{L}(t)x \bigr\Vert \rightarrow0\quad \mbox{for } x\in X\mbox{ as }\delta\rightarrow0. \end{aligned}$$

For every \(t\in[-\tau,0]\), from (H4) it is clear that \(\Phi (x)(t)=L^{-1}(\phi(t)+b(x)(t))\) is continuous with respect to t. For every \(t\in I\), \(\delta\in(0,T-t)\) and \(x\in C([-\tau,T],X)\), from (H3) and (2.2), it follows that

$$\begin{aligned}& \bigl\Vert {\Phi}(x) (t+\delta)-{\Phi}(x) (t) \bigr\Vert \\& \quad \leq \bigl\Vert {{\mathcal {A}}_{L}(t+\delta)}\bigl(\phi(0)+b(x) \bigr)-{{\mathcal {A}}_{L}(t)}\bigl(\phi(0)+b(x)\bigr) \bigr\Vert \\& \qquad {}+ \biggl\Vert \int_{t}^{t+\delta}(t+\delta-s)^{\alpha-1}{\mathcal {B}}_{L}(t+\delta -s)\bigl[f\bigl(s,x\bigl(s-v(s)\bigr) \bigr)+Bu_{x}(s)\bigr]\,ds \biggr\Vert \\& \qquad {}+ \biggl\Vert \int_{0}^{t}\bigl[(t+\delta-s)^{\alpha-1}{ \mathcal {B}}_{L}(t+\delta -s)-(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s)\bigr] \\& \qquad {}\times\bigl(f\bigl(s,x\bigl(s-v(s)\bigr) \bigr)+Bu_{x}(s)\bigr)\,ds \biggr\Vert \\& \quad \leq \bigl\Vert {{\mathcal {A}}_{L}(t+\delta)}\bigl(\phi(0)+b(x) \bigr)-{{\mathcal {A}}_{L}(t)}\bigl(\phi(0)+b(x)\bigr) \bigr\Vert \\& \qquad {}+ \int_{t}^{t+\delta}(t+\delta-s)^{\alpha-1} \Vert { \mathcal {B}}_{L} \Vert _{\Lambda (X)}\bigl[ \bigl\Vert f \bigl(s,x(s)\bigr) \bigr\Vert _{Y}+ \Vert B \Vert _{\Lambda(U,Y)} \Vert u_{x} \Vert _{L^{\infty}(I,U)}\bigr]\,ds \\& \qquad {}+ \biggl\Vert \int_{0}^{t}\bigl[(t+\delta-s)^{\alpha-1}{ \mathcal {B}}_{L}(t+\delta -s)-(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t+\delta-s) \\& \qquad {}+(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t+\delta-s)-(t-s)^{\alpha-1}{ \mathcal {B}}_{L}(t-s)\bigr]\bigl(f\bigl(s,x(s)\bigr)+Bu_{x}(s) \bigr)\,ds \biggr\Vert \\& \quad \leq q_{1}+q_{2}+q_{3}+q_{4}, \end{aligned}$$
(2.5)

where

$$\begin{aligned}& q_{1}= \bigl\Vert {{\mathcal {A}}_{L}(t+\delta)}\bigl( \phi(0)+b(x)\bigr)-{{\mathcal {A}}_{L}(t)}\bigl(\phi(0)+b(x)\bigr) \bigr\Vert , \\& q_{2}= \int_{t}^{t+\delta}(t+\delta-s)^{\alpha-1} \Vert { \mathcal {B}}_{L} \Vert _{\Lambda(X)}\bigl[\psi\bigl( \Vert x \Vert _{C}\bigr) \Vert h \Vert _{\infty}+ \Vert B \Vert _{\Lambda(U,Y)} \Vert u_{x} \Vert _{L^{\infty}(I,U)}\bigr]\,ds, \\& q_{3}= \biggl\vert \int_{0}^{t}\bigl[(t+\delta-s)^{\alpha-1}-(t-s)^{\alpha-1} \bigr] \Vert {\mathcal {B}}_{L} \Vert _{\Lambda(X)}\bigl[ \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \\& \hphantom{q_{3}=}{}+ \Vert B \Vert _{\Lambda(U,Y)} \Vert u_{x} \Vert _{L^{\infty}(I,U)}\bigr]\,ds \biggr\vert , \\& q_{4}= \int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert { \mathcal {B}}_{L}(t+\delta-s)-{\mathcal {B}}_{L}(t-s) \bigr\Vert \bigl[ \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert + \bigl\Vert Bu_{x}(s) \bigr\Vert \bigr]\,ds. \end{aligned}$$

Obviously, \(q_{1}\rightarrow0\) as \(\delta\rightarrow0\). From Lemma 1.3 and (H1), \({\mathcal {B}}_{L}(t)\) is continuous in the uniform operator topology for \(t\geq0\) and u is bounded by (2.3). From (H5) and Lemma 1.3, we can derive that \(q_{2},q_{3} \rightarrow0\) as \(\delta\rightarrow0\). Moreover, by applying Lebesgue’s dominated convergence theorem, we have \(q_{4}\rightarrow0\) as \(\delta\rightarrow0\). Therefore, \(\|\Phi(x)(t+\delta)-\Phi(x)(t)\|\rightarrow0\) for each \(t\in I\) as \(\delta\rightarrow0\). Thus, the operator Φ maps \(C([-\tau,T],X)\) into an equicontinuous family of functions.

Step 3. We show that \(\Phi:C([-\tau,T],X)\rightarrow C([-\tau,T],X)\) is continuous.

Let \(x_{n}\rightarrow x\) on \(C([-\tau,T],X)\) as \(n\rightarrow\infty\). From (H3) and (H4), it follows that for almost all \(t\in[-\tau,T]\),

$$\begin{aligned} \bigl\Vert f(t,x_{n})-f(t,x) \bigr\Vert _{Y} \rightarrow0 \end{aligned}$$
(2.6)

and

$$\begin{aligned} \bigl\Vert b(x_{n})-b(x) \bigr\Vert _{C} \rightarrow0, \end{aligned}$$
(2.7)

as \(n\rightarrow0\), which, together with (2.1) and (2.2), yields

$$\begin{aligned}& \bigl\Vert {\Phi}(x_{n}) (t)-{\Phi}(x) (t) \bigr\Vert _{C} \\& \quad \leq \bigl\Vert {\mathcal {A}}_{L}b(x_{n})-{\mathcal {A}}_{L}b(x) \bigr\Vert _{C} \\& \qquad {}+ \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s)\bigl[f\bigl(s,x_{n}\bigl(s-v(s)\bigr)\bigr)-f \bigl(s,x\bigl(s-v(s)\bigr)\bigr)\bigr]\,ds\|_{C} \\& \qquad {}+ \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s)B\bigl[u_{x_{n}}(s)-u_{x}(s)\bigr]\,ds\| _{C} \\& \quad \leq p_{1}+p_{2}+p_{3}, \end{aligned}$$
(2.8)

where

$$\begin{aligned}& p_{1}= \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \bigl\Vert b(x_{n})-b(x) \bigr\Vert _{C} \\& p_{2}= \int_{0}^{T}(T-s)^{\alpha-1} \Vert {\mathcal {B}}_{L} \Vert _{\Lambda(X)} \bigl\Vert f\bigl(s,x_{n} \bigl(s-v(s)\bigr)\bigr)-f\bigl(s,x\bigl(s-v(s)\bigr)\bigr) \bigr\Vert _{Y}\,ds \\& p_{3}= \int_{0}^{T}(T-s)^{\alpha-1} \Vert {\mathcal {B}}_{L} \Vert _{\Lambda(X)} \Vert B \Vert _{\Lambda(U,Y)} \bigl\Vert K^{-1} \bigr\Vert _{\Lambda(D(L),L^{\infty}(I,U))} \\& \hphantom{ p_{3}=}{}\times \biggl[ \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)}\bigl\Vert b(x_{n})-b(x) \bigr\Vert _{C} \\& \hphantom{ p_{3}=}{}+ \int_{0}^{T}(T-s)^{\alpha-1} \Vert {\mathcal {B}}_{L} \Vert _{\Lambda (X)} \bigl\Vert f\bigl(s,x_{n} \bigl(s-v(s)\bigr)\bigr)-f\bigl(s,x(s)\bigr) \bigr\Vert _{Y}\,ds \biggr]\,ds. \end{aligned}$$
(2.9)

Clearly, \(p_{1}\rightarrow0\) as \(x_{n}\rightarrow x\) in \(C([-\tau,T],X)\). From (2.6), (2.7) and applying Lebesgue’s dominated convergence theorem, we have \(p_{2},p_{3}\rightarrow0\) as \(x_{n}\rightarrow x\) in \(C([-\tau,T],X)\). Hence, the mapping Φ is continuous. As a consequence of the Arzela–Ascoli theorem, we can conclude that the operator \(\Phi :\overline{\Omega}_{r}\rightarrow C(I,X)\) is continuous and compact.

Step 4. We prove that the operator Φ has a fixed point \(x\in \overline{\Omega}_{r}\).

Suppose \(x\in\partial\Omega_{r}\), \(\lambda\in(0,1)\) such that \(x=\lambda \Phi(x)\); from (H3)–(H5) and (2.1) we have

$$\begin{aligned} r =& \Vert x \Vert _{C}= {{\lambda}} \bigl\Vert {\Phi}(x) \bigr\Vert _{C} \\ \leq&{{\lambda}} \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \bigl( \Vert \phi \Vert _{C}+ \bigl\Vert b(x) \bigr\Vert _{C}\bigr)+{{\lambda}} \biggl\Vert \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s)f\bigl(s,x\bigl(s-v(s)\bigr)\bigr)\,ds \biggr\Vert _{C} \\ &{}+ {{\lambda}} \biggl\Vert \int_{0}^{t}(t-s)^{\alpha-1}{\mathcal {B}}_{L}(t-s)Bu_{x}(s)\,ds \biggr\Vert _{C} \\ \leq&{{\lambda}} \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \bigl( \Vert \phi \Vert _{C}+g\bigl( \Vert x \Vert _{C}\bigr)\bigr)+{{\lambda}} \int_{0}^{T}(T-s)^{\alpha-1} \bigl\Vert { \mathcal {B}}_{L}(t-s) \bigr\Vert _{\Lambda (X)}\bigl(\psi\bigl( \Vert x \Vert _{C}\bigr) \Vert h \Vert _{\infty}\bigr)\,ds \\ &{}+ {{\lambda}} \int_{0}^{T}(T-s)^{\alpha-1} \bigl\Vert { \mathcal {B}}_{L}(t-s) \bigr\Vert _{\Lambda (X)} \Vert B \Vert _{\Lambda(U,Y)} \bigl\Vert u_{x}(s) \bigr\Vert \,ds \\ \leq&{{\lambda}} \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \bigl( \Vert \phi \Vert _{C}+g\bigl( \Vert x \Vert _{C}\bigr)\bigr)+ {{\lambda}}M_{2} \Vert h \Vert _{\infty}\psi\bigl( \Vert x \Vert _{C}\bigr)+ {{ \lambda}}M_{2} \Vert B \Vert _{\Lambda(U,Y)} \Vert u_{x} \Vert _{L^{\infty}(I,U)} \\ \leq&{{\lambda}}\bigl(1+M_{2} \Vert B \Vert _{\Lambda(U,Y)} \bigl\Vert K^{-1} \bigr\Vert _{\Lambda (D(L),L^{\infty}(I,U))}\bigr) \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)}g(r) \\ &{}+ {{\lambda}}\bigl(1+M_{2} \Vert B \Vert _{\Lambda(U,Y)} \bigl\Vert K^{-1} \bigr\Vert _{\Lambda (D(L),L^{\infty}(I,U))}\bigr)M_{2} \Vert h \Vert _{\infty}\psi(r) \\ &{}+ {{\lambda}} \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \Vert \phi \Vert _{C}+ {{\lambda }}M_{2} \Vert B \Vert _{\Lambda(U,Y)} \bigl\Vert K^{-1} \bigr\Vert _{\Lambda(D(L),L^{\infty}(I,U))} \bigl( \Vert x_{1} \Vert + \Vert {\mathcal {A}}_{L} \Vert _{\Lambda(X)} \Vert \phi \Vert _{C}\bigr) \\ \leq&{{\lambda}}\bigl(D_{1}g(r)+D_{2}\psi(r)+D_{3} \bigr), \end{aligned}$$
(2.10)

where

$$\begin{aligned}& D_{1}=(1+M_{2} M_{3}M_{4})M_{1} \bigl\Vert L^{-1} \bigr\Vert _{\Lambda(Y,X)}, \\& D_{2}=(1+M_{2} M_{3}M_{4})M_{2} \Vert h \Vert _{\infty}, \\& D_{3}=M_{1} \bigl\Vert L^{-1} \bigr\Vert _{\Lambda(Y,X)} \Vert \phi \Vert _{C}+ M_{2} M_{3}M_{4}\bigl( \Vert x_{1} \Vert +M_{1} \bigl\Vert L^{-1} \bigr\Vert _{\Lambda(Y,X)} \Vert \phi \Vert _{C}\bigr), \\& M_{2}=\frac{T^{\alpha} \Vert L^{-1} \Vert _{\Lambda(Y,X)}M_{1}}{\Gamma(\alpha)}. \end{aligned}$$

Thus, by (H6) and (2.10),

$$r\leq{{\lambda}}\bigl(D_{1}g(r)+D_{2}\psi(r)+D_{3} \bigr)< D_{1}g(r)+D_{2}\psi(r)+D_{3}< r, $$

a contradiction. Applying Lemma 1.4, the operator Φ has a fixed point \(x\in\overline{\Omega}_{r}\), i.e., x is the solution of (1.1). Therefore system (1.1) is exactly controllable on I.

3 Example

In this section, we present an example of a fractional feedback control system as an application of our theory. Let \(X=Y=U=L^{2}[0,\pi]\), \(I=[0,1]\), and \(J=[0,\pi]\), consider a fractional control system represented by the following fractional partial differential equation:

$$\begin{aligned} \textstyle\begin{cases}{\mathcal {D}}^{\alpha}_{t}(x(t,\eta)-\lambda_{1}x_{\eta\eta }(t,\eta))\\ \quad =\lambda_{2}x_{\eta\eta}+f(t,x(t-v(t),\eta))+Bu(t,\eta), &t\in I, \eta\in J, \\ x(t,0)=x(t,\pi)=0, &t\in I,\\ x(t,\eta)=\lambda_{1}x_{\eta\eta}(t,\eta)+\phi(t,\eta)+\int_{0}^{1}\hat {K}(s,t)\sin x(s,\eta)\,ds,&-\tau\leq t\leq0, 0\leq\eta\leq\pi, \end{cases}\displaystyle \end{aligned}$$
(3.1)

where \({\mathcal {D}}^{\alpha}_{t}\), \(0<\alpha<1\) is the regularized Caputo fractional derivative of order α; \(\lambda_{1},\lambda_{2}\in R_{+}\); \(v:[0,1]\rightarrow(0,\tau]\) is a continuous function; the function f and map B are given below; \(\phi\in C(I\times J,R)\) and \(\hat{K}\in C(I\times[-\tau,0],R)\).

Define the operator \(A: D(A)\subset X\rightarrow X\) by \(Ax=-\lambda _{2}x_{\eta\eta}\), and \(L:D(L)\subset X\rightarrow X\) by \(Lx=x-\lambda _{1}x_{\eta\eta}\), where each domain \(D(A)\), \(D(L)\) is given by \(\{x\in X, x, x_{\eta},\mbox{ are absolutely continuous}, x_{\eta\eta}\in X, x(0)=x(\pi )=0\}\). From [48], A and L can be written as

$$\begin{aligned}& Ax:=\sum_{n=1}^{\infty}\lambda_{2}n^{2} \langle x,e_{n}\rangle e_{n}, \quad x\in D(A), \\& Lx:=\sum_{n=1}^{\infty}\bigl(1+ \lambda_{1}n^{2}\bigr)\langle x,e_{n}\rangle e_{n}, \quad x\in D(L), \end{aligned}$$

where \(e_{n}(\eta)=\sqrt{\frac{2}{\pi}}\sin n\eta\), \(n=1,2,\ldots \) , is the orthogonal eigenfunctions set of A. Moreover, for any \(x\in X\), we obtain

$$\begin{aligned}& L^{-1}x=\sum_{n=1}^{\infty}\frac{1}{1+\lambda_{1}n^{2}}\langle x,e_{n}\rangle e_{n}. \\& -AL^{-1}x=\sum_{n=1}^{\infty}\frac{-\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}\langle x,e_{n}\rangle e_{n}, \end{aligned}$$

and a semigroup \({W_{L}(t)}\) is given by

$$W_{L}(t)x=\sum_{n=1}^{\infty}e^{\frac{-\lambda_{2}n^{2}}{1+\lambda _{1}n^{2}}t}\langle x,e_{n}\rangle e_{n} . $$

It is easy to see that \(L^{-1}\) is compact and \(\|L^{-1}\|\leq1\), and \(-AL^{-1}\) generates a strongly continuous semigroup \(W_{L}(t)\) on X and \(\|W_{L}(t)\|\leq1\) for each \(t > 0\). Then, the characterized operators \({\mathcal {A}}_{L}(t)x\) and \({\mathcal {B}}_{L}(t)x\) can be written as

$$\begin{aligned}& {\mathcal {A}}_{L}(t)x= \int_{0}^{\infty}L^{-1}\delta_{\alpha}( \varepsilon)\sum_{n=1}^{\infty}e^{-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}t^{\alpha }\varepsilon} \langle x,x_{n}\rangle x_{n} \,d\varepsilon, \\& {\mathcal {B}}_{L}(t)x= \int_{0}^{\infty}L^{-1}\alpha\varepsilon \delta_{\alpha }(\varepsilon)\sum_{n=1}^{\infty}e^{-\frac{\lambda_{2}n^{2}}{1+\lambda _{1}n^{2}}t^{\alpha}\varepsilon}\langle x,x_{n}\rangle x_{n} \,d\varepsilon, \end{aligned}$$

where

$$\delta_{\alpha}(\varepsilon)=\frac{1}{\pi\alpha}\sum _{n=1}^{\infty }(-\varepsilon)^{n-1} \frac{\Gamma(1+\alpha n)}{n!}\sin(n\pi\alpha), \quad \varepsilon\in(0,\infty). $$

Note \(\|{\mathcal {A}}_{L}(t)\|\leq1\), \(\|{\mathcal {B}}_{L}(t)\|\leq\frac {1}{\Gamma(\alpha)}\) for \(t\geq0\). Now, \(B: U\rightarrow U\) is defined by \(B:=\mu{\mathcal {I}}\), \(\mu>0\), where \({\mathcal {I}}\) denotes the identity operator, and \(K:L^{\infty}[I,U]\rightarrow X\) is defined by

$$Ku:=\mu \int_{0}^{1}(1-z)^{\alpha-1}{\mathcal {B}}_{L}(1-z)u(z,\eta)\,dz. $$

It is easy to show that K is surjective. Further, if \(u(t,\eta ):=x(\eta)\in X\), then

$$\begin{aligned} Ku =&\mu \int_{0}^{1}(1-z)^{\alpha-1} \int_{0}^{\infty}L^{-1}\alpha\varepsilon \delta_{\alpha}(\varepsilon)\sum_{n=1}^{\infty}e^{-\frac{\lambda _{2}n^{2}}{1+\lambda_{1}n^{2}}(1-z)^{\alpha}\varepsilon}\langle x,e_{n}\rangle e_{n}\,d\varepsilon \,dz \\ =&\mu \int_{0}^{\infty}L^{-1}\delta_{\alpha}( \varepsilon)\sum_{n=1}^{\infty}\int_{0}^{1}\alpha\varepsilon (1-z)^{\alpha-1}e^{-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}(1-z)^{\alpha}\varepsilon}\,dz \langle x,e_{n}\rangle e_{n} \,d\varepsilon \\ =&\mu \int_{0}^{\infty}\delta_{\alpha}(\varepsilon)\sum _{n=1}^{\infty}\int _{0}^{1}\frac{1}{1+\lambda_{1}n^{2}}\alpha\varepsilon (1-z)^{\alpha-1}e^{-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}(1-z)^{\alpha}\varepsilon}\,dz\langle x,e_{n}\rangle e_{n} \,d\varepsilon \\ =&\mu \int_{0}^{\infty}\delta_{\alpha}(\varepsilon)\sum _{n=1}^{\infty}\int _{0}^{1}\frac{1}{\lambda_{2}n^{2}}\frac{d}{dz} \bigl(e^{-\frac{\lambda_{2}n^{2}}{1+\lambda _{1}n^{2}}(1-z)^{\alpha}\varepsilon}\bigr)\langle x,e_{n}\rangle e_{n} \,dz\,d \varepsilon \\ =&\mu\sum_{n=1}^{\infty}\frac{1}{{\lambda_{2}n^{2}}} \biggl({1- \int_{0}^{\infty}\delta_{\alpha}( \varepsilon)e^{-\frac{\lambda_{2}n^{2}}{1+\lambda _{1}n^{2}}\varepsilon}\,d\varepsilon} \biggr)\langle x,x_{n}\rangle x_{n} \\ =&\mu\sum_{n=1}^{\infty}\frac{[1-E_{\alpha}(-\frac{\lambda _{2}n^{2}}{1+\lambda_{1}n^{2}})]}{{\lambda_{2}n^{2}}} \langle x,x_{n}\rangle x_{n}, \end{aligned}$$
(3.2)

where

$$E_{\alpha}\biggl(-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}\biggr):= \int_{0}^{\infty}e^{-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}\varepsilon}\delta_{\alpha }( \varepsilon)\,d\varepsilon $$

is a Mittag-Leffler function (for details, see formulas (24)–(27) in [49]). Note that \(0<1-e^{-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}\varepsilon }<1-e^{-\frac{\lambda_{2}}{\lambda_{1}}\varepsilon}<1\) for any \(\varepsilon >0\). So we have

$$0< 1-E_{\alpha}\biggl(-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}}\biggr)< 1-E_{\alpha}\biggl(- \frac {\lambda_{2}}{\lambda_{1}}\biggr)< 1. $$

Thus, an inverse operator \(K^{-1}:X\rightarrow L^{\infty}[I,U]\) can be defined by

$$\bigl(K^{-1}x\bigr) (t,z):=\frac{1}{\mu}\sum _{n=1}^{\infty}\frac{{\lambda _{2}n^{2}}}{[1-E_{\alpha}(-\frac{\lambda_{2}n^{2}}{1+\lambda_{1}n^{2}})]}\langle x,x_{n} \rangle x_{n} $$

for \(x=\sum_{n=1}^{\infty}\langle x,x_{n}\rangle x_{n}\). Since

$$\Vert x \Vert _{D(L)}:=\sqrt{\sum _{n=1}^{\infty}\bigl(1+\lambda_{1}n^{2} \bigr)^{2}\langle x,x_{n}\rangle^{2}}, $$

for \(x\in X\), we can deduce

$$\begin{aligned} \bigl\Vert \bigl(K^{-1}x\bigr) (t,\eta) \bigr\Vert \leq& \frac{1}{\mu}\sqrt{\sum_{n=1}^{\infty}\frac {{{\lambda_{2}}^{2}n^{4}}}{[1-E_{\alpha}(-\frac{\lambda_{2}n^{2}}{1+\lambda _{1}n^{2}})]^{2}}\langle x,x_{n}\rangle^{2} } \\ \leq&\frac{{\lambda_{2}}}{\mu\lambda_{1}[1-E_{\alpha}(-\frac{\lambda _{2}}{1+\lambda_{1}})]}\sqrt{\sum_{n=1}^{\infty}\bigl(1+\lambda_{1}n^{2}\bigr)^{2}\langle x,x_{n}\rangle^{2}} \\ =&\frac{{\lambda_{2}}}{\mu\lambda_{1}[1-E_{\alpha}(-\frac{\lambda _{2}}{1+\lambda_{1}})]} \Vert x \Vert _{D(L)}. \end{aligned}$$
(3.3)

Consequently, we obtain \(\|K^{-1}\|\leq M:=\frac{{\lambda_{2}}}{\lambda _{1}\mu[1-E_{\alpha}(-\frac{\lambda_{2}}{1+\lambda_{1}})]}\). So, (H1),(H2), and (H5) hold.

We also need the following assumptions:

  1. (i)

    \(f:I\times R\rightarrow R\) is a Carathéodory function, i.e., for each \(x\in R\), \(t\rightarrow f(t,x)\) is measurable and for each I, \(x\rightarrow f(t,x)\) is continuous. Moreover, for every \(t\in I\) and \(x\in R\), there exists a function \(h\in L_{+}^{\infty}(I)\) such that \(|f(t,x)|\leq h(t)|x|\).

  2. (ii)

    The function \(\hat{K}(s, t):I\times[-\tau,0]\rightarrow R\) is continuous, and let \(M^{*}:=\sup_{s\in I, t\in[-\tau,0]}|\hat{K}(s, t)|\).

  3. (iii)

    The following inequality

    $$\frac{ \Vert h \Vert _{\infty}(\Gamma(\alpha)+M\mu)}{\Gamma^{2}(\alpha)}< 1 $$

    is satisfied.

Define \(x(t)(\eta)=x(t,\eta)\), \(f(t,x(t))(\eta)\), \(\phi(t)(\eta)=\phi (t,\eta)\), and \(b(x)(t)(\eta)=\int_{0}^{1}\hat{K}(s,t)\sin x(s, \eta)\,ds\). Therefore, the above control system (3.1) driven by nonlocal fractional partial differential equations with time-varying delay can be written as the abstract form (1.1). Note \(\|b(x)\|_{C}\leq M^{*}\), by calculation, we can get that there exists a constant

$$r>\frac{M\mu(M^{*}+ \Vert x_{1} \Vert )+(\Gamma(\alpha)+M\mu) \Vert \phi \Vert _{C}+M^{*}\Gamma (\alpha)}{\Gamma(\alpha)-(1+\frac{M\mu}{\Gamma(\alpha)}) \Vert h \Vert _{\infty}} $$

such that

$$\biggl(1+\frac{M\mu}{\Gamma(\alpha)}\biggr)M^{*}+\frac{ \Vert h \Vert _{\infty}(\Gamma(\alpha )+{\mu}{M})}{\Gamma^{2}(\alpha)}r+ \Vert \phi \Vert _{C}+\frac{M\mu( \Vert x_{1} \Vert + \Vert \phi \Vert _{C})}{\Gamma(\alpha)}< r, $$

where \(x_{1}\in X\) and \(\|\phi\|_{C}=\sup_{t\in I,\eta\in[0,\pi]}|\phi (t,\eta)|\). Thus, (H6) holds. We can also easily see that the functions \(f(t,\cdot) : C([-\tau ,1],X)\rightarrow X\) for each \(t\in I\) and \(b : C([-\tau ,1],X)\rightarrow C([-\tau,0], X)\) are continuous and satisfy assumptions (H3) and (H4), respectively.

If the above conditions are given, it is easy to see that all the assumptions of Theorem 1.1 are satisfied. Then system (3.1) is controllable on I, that is, for given \(x_{1}\in X\), we can find suitable \(u\in L^{\infty}(I,U)\) which steers the solution x of system (3.1) to satisfy \(x(1)=x_{1}\).

Abbreviations

FDE:

fractional differential equation

PDEs:

partial differential equations

References

  1. Eidelman, S.D., Kochubei, A.N.: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199(2), 211–255 (2004)

    Article  MathSciNet  Google Scholar 

  2. Wang, J.R., Zhou, Y., Fec̆kan, M.: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 71, 685–700 (2013)

    Article  MathSciNet  Google Scholar 

  3. Wang, R.N., Chen, D.H., Xiao, T.J.: Abstract fractional Cauchy problems with almost sectorial operators. J. Differ. Equ. 252, 202–235 (2012)

    Article  MathSciNet  Google Scholar 

  4. Wang, R.N., Xiao, T.J., Liang, J.: A note on the fractional Cauchy problems with nonlocal initial conditions. Appl. Math. Lett. 24, 1435–1442 (2011)

    Article  MathSciNet  Google Scholar 

  5. Zhou, Y., Jiao, F., Pecaric, J.: On the Cauchy problem for fractional functional differential equations in Banach spaces. Topol. Methods Nonlinear Anal. 42(1), 119–136 (2014)

    MATH  Google Scholar 

  6. Kaczorek, T.: Selected Problems of Fractional Systems Theory. Springer, Berlin (2011)

    Book  Google Scholar 

  7. Monje, C.A., Chen, Y.Q., Vinagre, B., Xue, X., Feliu, V.: Fractional-Order Systems and Controls: Fundamentals and Applications. Springer, London (2010)

    Book  Google Scholar 

  8. Petráŝ, I.: Fractional-Order Nonlinear Systems. Higher Education Press, Beijing (2011)

    Book  Google Scholar 

  9. Balachandran, K., Govindaraj, V., Ortigueira, M.D., Rivero, M., Trujillo, J.J.: Observability and controllability of fractional linear dynamical systems. In: 6th Workshop on Fractional Differentiation and Its Applications, France (2013)

    Google Scholar 

  10. Bettayeb, M., Djennoune, S.: New results on the controllability and observability of fractional dynamical systems. J. Vib. Control 14(9–10), 1531–1541 (2008)

    Article  MathSciNet  Google Scholar 

  11. Chen, Y., Ahn, H.S., Xue, D.: Robust controllability of interval fractional order linear time invariant systems. Signal Process. 86(10), 2794–2802 (2006)

    Article  Google Scholar 

  12. Guermah, S., Djennoune, S., Bettayeb, M.: Controllability and observability of linear discrete-time fractional-order systems. Int. J. Appl. Math. Comput. Sci. 18(2), 213–222 (2008)

    Article  MathSciNet  Google Scholar 

  13. Matignon, D., d’Andréa-Novel, B.: Some results on controllability and observability of finite dimensional fractional differential systems. In: Proceedings of the IAMCS, IEEE Conference on Systems, Man and Cybernetics Lille, France, pp. 952–956 (1996)

    Google Scholar 

  14. Balachandran, K., Kokila, J.: On the controllability of fractional dynamical systems. Int. J. Appl. Math. Comput. Sci. 12(3), 523–531 (2012)

    Article  MathSciNet  Google Scholar 

  15. Balachandran, K., Park, J.Y., Trujillo, J.J.: Controllability of nonlinear fractional dynamical systems. Nonlinear Anal., Theory Methods Appl. 75(4), 1919–1926 (2012)

    Article  MathSciNet  Google Scholar 

  16. Wang, J., Fec̆kan, M., Zhou, Y.: Controllability of Sobolev type fractional evolution systems. Dyn. Partial Differ. Equ. 11(1), 71–87 (2014)

    Article  MathSciNet  Google Scholar 

  17. Byszewski, L.: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 162, 494–505 (1991)

    Article  MathSciNet  Google Scholar 

  18. Cheng, Y.: Existence of solutions for a class of nonlinear evolution inclusions with nonlocal conditions. J. Optim. Theory Appl. 162(1), 13–33 (2014)

    Article  MathSciNet  Google Scholar 

  19. García-Falset, J., Reich, S.: Integral solutions to a class of nonlocal evolution equations. Commun. Contemp. Math. 12, 1031–1054 (2010)

    Article  MathSciNet  Google Scholar 

  20. Paicu, A., Vrabie, I.I.: A class of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 4091–4100 (2010)

    Article  MathSciNet  Google Scholar 

  21. García-Falset, J.: Existence results and asymptotic behaviour for nonlocal abstract Cauchy problems. J. Math. Anal. Appl. 338, 639–652 (2008)

    Article  MathSciNet  Google Scholar 

  22. Aizicovici, S., Lee, H.: Nonlinear nonlocal Cauchy problems in Banach spaces. Appl. Math. Lett. 18, 401–407 (2005)

    Article  MathSciNet  Google Scholar 

  23. Boulite, S., Idrissi, A., Maniar, L.: Controllability of semilinear boundary problems with nonlocal initial conditions. J. Math. Anal. Appl. 316, 566–578 (2006)

    Article  MathSciNet  Google Scholar 

  24. Li, G., Xue, X.: Controllability of evolution inclusions with nonlocal conditions. Appl. Math. Comput. 141(2), 375–384 (2003)

    MathSciNet  MATH  Google Scholar 

  25. Agarwal, R.P., Andrade, B.D.: On fractional integro-differential equations with state-dependent delay. Comput. Math. Appl. 62, 1143–1149 (2011)

    Article  MathSciNet  Google Scholar 

  26. Benchohra, M., Berhoun, F.: Impulsive fractional differential equations with state-dependent delay. Commun. Appl. Anal. 14(2), 213–224 (2010)

    MathSciNet  MATH  Google Scholar 

  27. Aissani, K., Benchohra, M.: Fractional integro-differential equations with state-dependent delay. Adv. Dyn. Syst. Appl. 9(1), 17–30 (2014)

    MathSciNet  MATH  Google Scholar 

  28. Dabas, J., Gautam, G.R.: Impulsive neutral fractional integro-differential equation with state-dependent delay and integral boundary condition. Electron. J. Differ. Equ. 273(2013), 1 (2013)

    MATH  Google Scholar 

  29. Suganya, S., Mallika Arjunan, M., Trujillo, J.J.: Existence results for an impulsive fractional integro-differential equation with state-dependent delay. Appl. Math. Comput. 266, 54–69 (2015)

    MathSciNet  Google Scholar 

  30. Dos Santos, J.P.C., Cuevas, C., de Andrade, B.: Existence results for a fractional equations with state-dependent delay. Adv. Differ. Equ. 2011(1), 642013 (2011)

    MathSciNet  MATH  Google Scholar 

  31. Dos Santos, J.P.C., Mallika Arjunan, M., Cuevas, C.: Existence results for fractional neutral integrodifferential equations with state-dependent delay. Comput. Math. Appl. 62, 1275–1283 (2011)

    Article  MathSciNet  Google Scholar 

  32. Kumar, S., Sukavanam, N.: Approximate controllability of fractional order semilinear systems with bounded delay. J. Differ. Equ. 252(11), 6163–6174 (2012)

    Article  MathSciNet  Google Scholar 

  33. Ravichandran, C., Baleanu, D.: On the controllability of fractional functional integro-differential systems with an infinite delay in Banach spaces. Adv. Differ. Equ. 2013(1), 291 (2013)

    Article  MathSciNet  Google Scholar 

  34. Sukavanam, N., Kumar, S.: Approximate controllability of fractional order semilinear delay systems. J. Optim. Theory Appl. 151(2), 373–384 (2011)

    Article  MathSciNet  Google Scholar 

  35. Du, J., Jiang, W., Pang, D., et al.: Controllability for a new class of fractional neutral integro-differential evolution equations with infinite delay and nonlocal conditions. Adv. Differ. Equ. 2017(1), 139 (2017)

    Article  MathSciNet  Google Scholar 

  36. Yang, H., Ibrahim, E.: Approximate controllability of fractional nonlocal evolution equations with multiple delays. Adv. Differ. Equ. 2017(1), 272 (2017)

    Article  MathSciNet  Google Scholar 

  37. Fec̆kan, M., Wang, J., Zhou, Y.: Controllability of fractional functional evolution equations of Sobolev type via characteristic solution. J. Optim. Theory Appl. 156, 79–95 (2013)

    Article  MathSciNet  Google Scholar 

  38. Caffarelli, L., Vázquez, J.: Regularity of solutions of the fractional porous medium flow with exponent \(1/2\). St. Petersburg Math. J. 27(3), 437–460 (2016)

    Article  MathSciNet  Google Scholar 

  39. Vázquez, J.L.: Nonlinear diffusion with fractional Laplacian operators. In: Nonlinear Partial Differential Equations, pp. 271–298. Springer, Berlin (2012)

    Chapter  Google Scholar 

  40. Biccari, U., Warma, M., Zuazua, E.: Local elliptic regularity for the Dirichlet fractional Laplacian. Adv. Nonlinear Stud. 17(2), 387–409 (2017)

    Article  MathSciNet  Google Scholar 

  41. Lü, Q., Zuazua, E.: On the lack of controllability of fractional in time ODE and PDE. Math. Control Signals Syst. 28(2), 10 (2016)

    Article  MathSciNet  Google Scholar 

  42. Micu, S., Zuazua, E.: On the controllability of a fractional order parabolic equation. SIAM J. Control Optim. 44(6), 1950–1972 (2006)

    Article  MathSciNet  Google Scholar 

  43. Kailasavalli, S., Baleanu, D., Suganya, S., Mallika Arjunan, M.: Exact controllability of fractional neutral integro-differential systems with state-dependent delay in Banach spaces. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa 24(1), 29–55 (2016)

    MathSciNet  MATH  Google Scholar 

  44. Deng, J., Wang, S.: Existence of solutions of nonlocal Cauchy problem for some fractional abstract differential equation. Appl. Math. Lett. 55, 42–48 (2016)

    Article  MathSciNet  Google Scholar 

  45. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  46. Hille, E., Phillips, R.S.: Functional Analysis and Semi-Groups. American Mathematical Society Colloquium Publications, vol. 31. Am. Math. Soc., Providence (1957)

    MATH  Google Scholar 

  47. Li, F., Liang, J., Xu, H.K.: Existence of mild solutions for fractional integrodifferential equations of Sobolev type with nonlocal conditions. J. Math. Anal. Appl. 391, 510–525 (2012)

    Article  Google Scholar 

  48. Chen, Y., Ahn, H.S., Xue, D.: Robust controllability of interval fractional order linear time invariant systems. Signal Process. 86(10), 2794–2802 (2006)

    Article  Google Scholar 

  49. Berberan-Santos, M.N.: Relation between the inverse Laplace transforms of \(I(t\beta)\) and \(I(t)\): application to the Mittag-Leffler and asymptotic inverse power law relaxation functions. J. Math. Chem. 38, 265–270 (2005)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work is partially supported by the National Natural Science Foundation of China (No. 11401042). The authors thank the referees for carefully reading the manuscript and for their valuable suggestions which have significantly improved the paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Yi Cheng.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cheng, Y., Gao, S. & Wu, Y. Exact controllability of fractional order evolution equations in Banach spaces. Adv Differ Equ 2018, 332 (2018). https://doi.org/10.1186/s13662-018-1794-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1794-5

Keywords