- Research
- Open Access
- Published:
Exact controllability of fractional order evolution equations in Banach spaces
Advances in Difference Equations volume 2018, Article number: 332 (2018)
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, [1–5]. 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 [6–15]. 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 [19–24] 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 [25–31]. For research on approximate controllability of fractional order systems with delay, we refer the reader to the papers of [32–36] 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 [38–42]. 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:
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
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
Lemma 1.1
If \(x(t)\in C^{n}[0,T]\), then
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
be one-sided stable probability density whose Laplace transform is provided by
where \(\alpha\in(0,1)\). We state families of operators \(P(t)\), \(t\geq 0\), on Y as follows:
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
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
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
Lemma 1.2
If
for \(t\in I\) holds, then we obtain
Proof
Using the Laplace transforms with respect to t on (1.5), one has that
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
and
and
In view of (1.7) and (1.8), we have
Now we take the invert Laplace transform on (1.9) to get
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)
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)
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)
\({{\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:
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:
-
(H3)
The function \(f:I\times C([-\tau, 0], X)\rightarrow Y\) satisfies the following two conditions:
-
(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;
-
(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)\).
-
(i)
-
(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}\).
-
(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}\).
-
(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
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
\(t\in I\). Using this control, we show that the operator \(\Phi: C([-\tau ,T],X)\rightarrow C([-\tau,T],X)\), defined by
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}\),
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
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
if \(t\in[-\tau,0]\) and
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
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
where
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]\),
and
as \(n\rightarrow0\), which, together with (2.1) and (2.2), yields
where
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
where
Thus, by (H6) and (2.10),
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:
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
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
and a semigroup \({W_{L}(t)}\) is given by
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
where
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
It is easy to show that K is surjective. Further, if \(u(t,\eta ):=x(\eta)\in X\), then
where
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
Thus, an inverse operator \(K^{-1}:X\rightarrow L^{\infty}[I,U]\) can be defined by
for \(x=\sum_{n=1}^{\infty}\langle x,x_{n}\rangle x_{n}\). Since
for \(x\in X\), we can deduce
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:
-
(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|\).
-
(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)|\).
-
(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
such that
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
Eidelman, S.D., Kochubei, A.N.: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199(2), 211–255 (2004)
Wang, J.R., Zhou, Y., Fec̆kan, M.: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 71, 685–700 (2013)
Wang, R.N., Chen, D.H., Xiao, T.J.: Abstract fractional Cauchy problems with almost sectorial operators. J. Differ. Equ. 252, 202–235 (2012)
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)
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)
Kaczorek, T.: Selected Problems of Fractional Systems Theory. Springer, Berlin (2011)
Monje, C.A., Chen, Y.Q., Vinagre, B., Xue, X., Feliu, V.: Fractional-Order Systems and Controls: Fundamentals and Applications. Springer, London (2010)
Petráŝ, I.: Fractional-Order Nonlinear Systems. Higher Education Press, Beijing (2011)
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)
Bettayeb, M., Djennoune, S.: New results on the controllability and observability of fractional dynamical systems. J. Vib. Control 14(9–10), 1531–1541 (2008)
Chen, Y., Ahn, H.S., Xue, D.: Robust controllability of interval fractional order linear time invariant systems. Signal Process. 86(10), 2794–2802 (2006)
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)
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)
Balachandran, K., Kokila, J.: On the controllability of fractional dynamical systems. Int. J. Appl. Math. Comput. Sci. 12(3), 523–531 (2012)
Balachandran, K., Park, J.Y., Trujillo, J.J.: Controllability of nonlinear fractional dynamical systems. Nonlinear Anal., Theory Methods Appl. 75(4), 1919–1926 (2012)
Wang, J., Fec̆kan, M., Zhou, Y.: Controllability of Sobolev type fractional evolution systems. Dyn. Partial Differ. Equ. 11(1), 71–87 (2014)
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)
Cheng, Y.: Existence of solutions for a class of nonlinear evolution inclusions with nonlocal conditions. J. Optim. Theory Appl. 162(1), 13–33 (2014)
García-Falset, J., Reich, S.: Integral solutions to a class of nonlocal evolution equations. Commun. Contemp. Math. 12, 1031–1054 (2010)
Paicu, A., Vrabie, I.I.: A class of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 4091–4100 (2010)
García-Falset, J.: Existence results and asymptotic behaviour for nonlocal abstract Cauchy problems. J. Math. Anal. Appl. 338, 639–652 (2008)
Aizicovici, S., Lee, H.: Nonlinear nonlocal Cauchy problems in Banach spaces. Appl. Math. Lett. 18, 401–407 (2005)
Boulite, S., Idrissi, A., Maniar, L.: Controllability of semilinear boundary problems with nonlocal initial conditions. J. Math. Anal. Appl. 316, 566–578 (2006)
Li, G., Xue, X.: Controllability of evolution inclusions with nonlocal conditions. Appl. Math. Comput. 141(2), 375–384 (2003)
Agarwal, R.P., Andrade, B.D.: On fractional integro-differential equations with state-dependent delay. Comput. Math. Appl. 62, 1143–1149 (2011)
Benchohra, M., Berhoun, F.: Impulsive fractional differential equations with state-dependent delay. Commun. Appl. Anal. 14(2), 213–224 (2010)
Aissani, K., Benchohra, M.: Fractional integro-differential equations with state-dependent delay. Adv. Dyn. Syst. Appl. 9(1), 17–30 (2014)
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)
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)
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)
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)
Kumar, S., Sukavanam, N.: Approximate controllability of fractional order semilinear systems with bounded delay. J. Differ. Equ. 252(11), 6163–6174 (2012)
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)
Sukavanam, N., Kumar, S.: Approximate controllability of fractional order semilinear delay systems. J. Optim. Theory Appl. 151(2), 373–384 (2011)
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)
Yang, H., Ibrahim, E.: Approximate controllability of fractional nonlocal evolution equations with multiple delays. Adv. Differ. Equ. 2017(1), 272 (2017)
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)
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)
Vázquez, J.L.: Nonlinear diffusion with fractional Laplacian operators. In: Nonlinear Partial Differential Equations, pp. 271–298. Springer, Berlin (2012)
Biccari, U., Warma, M., Zuazua, E.: Local elliptic regularity for the Dirichlet fractional Laplacian. Adv. Nonlinear Stud. 17(2), 387–409 (2017)
Lü, Q., Zuazua, E.: On the lack of controllability of fractional in time ODE and PDE. Math. Control Signals Syst. 28(2), 10 (2016)
Micu, S., Zuazua, E.: On the controllability of a fractional order parabolic equation. SIAM J. Control Optim. 44(6), 1950–1972 (2006)
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)
Deng, J., Wang, S.: Existence of solutions of nonlocal Cauchy problem for some fractional abstract differential equation. Appl. Math. Lett. 55, 42–48 (2016)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Hille, E., Phillips, R.S.: Functional Analysis and Semi-Groups. American Mathematical Society Colloquium Publications, vol. 31. Am. Math. Soc., Providence (1957)
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)
Chen, Y., Ahn, H.S., Xue, D.: Robust controllability of interval fractional order linear time invariant systems. Signal Process. 86(10), 2794–2802 (2006)
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)
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
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1794-5
Keywords
- Fractional order evolution equation
- Caputo fractional derivative
- Banach space