Abstract
In this paper, we consider the nonlocal controllability of \(\alpha\in (1,2)\)-order fractional evolution systems of Sobolev type in abstract spaces. By utilizing fixed point theorems and the theory of resolvent operators we establish some sufficient conditions for the nonlocal controllability of Sobolev-type fractional evolution systems.
Similar content being viewed by others
1 Introduction
The theory of fractional differential equations admits wide applications in the fields of biology, physics, chemistry, control theory, and so on, and hence it has been regarded as an active aspect of mathematics in recent years. Controllability of fractional differential systems of order \(0<\alpha<1\) has been investigated by many authors; we refer the readers to [6, 13, 15–17] for more detail. However, as far as we know, the works on the fractional order \(1<\alpha<2\) are limited. In 2013, using the Sadovskii fixed point theorem and vector-valued operator theory, Li et al. [10] proved the controllability of fractional differential systems of order \(\alpha \in(1,2]\) of the form
where \(J=[0,b]\), \(b>0\) is a constant, \({}^{C}D_{t}^{\alpha}\) denotes the Caputo fractional derivative operator of order \(\alpha\in(1,2]\). Recently, Lian et al. [12], by using Schauder’s fixed point theorem and approximate techniques, studied the approximate controllability of fractional evolution equations of order \(\alpha\in (1,2)\). However, investigation of the controllability for fractional evolution systems of order \(\alpha\in(1,2)\) of Sobolev type is seldom.
In the present work, we consider the controllability of the fractional control system of Sobolev type with nonlocal conditions in a Hilbert space X of the form
where \(1<\alpha<2\), \({}^{C}D_{t}^{\alpha}\) denotes the Caputo fractional derivative operator of order α, A and E are two closed linear operators defined in X with domains \(D(A)\) and \(D(E)\), respectively, the control function u is given in \(L^{2}(J, U)\), U is a Hilbert space, B is a bounded linear operator from U to X, and f, g, and h are appropriate functions to be specified later.
To deal with the Sobolev-type differential equations, the common assumptions are:
-
(1)
E, A are linear operators, and A is closed;
-
(2)
\(D(E)\subset D(A)\), and E is bijective;
-
(3)
\(E^{-1}\) is a compact operator.
In this case, \(-AE^{-1}\) is a bounded operator, which generates a uniformly continuous semigroup; see [2, 7] for more detail. In this paper, without assuming the existence and compactness of \(E^{-1}\), we define the solution operator of (1.1) by fractional resolvent family generated by the pair \((A, E)\). More precisely, we assume that the pair \((A, E)\) generates an \((\alpha, 1)\)-resolvent family \(\{ C_{\alpha, 1}^{E}(t)\}_{t\geq0}\). Then we prove some properties of \(\{ C_{\alpha, 1}^{E}(t)\}_{t\geq0}\). Applying these properties and the Laplace transform, we define the solution operator of the fractional control system (1.1). By utilizing fixed point theorems and resolvent operator theory we obtain some controllability results without any compactness conditions on the \((\alpha, 1)\)-resolvent family \(\{C_{\alpha, 1}^{E}(t)\}_{t\geq0}\).
2 Preliminaries
Let X be a Hilbert space with norm \(\|\cdot\|\) and inner product \(\langle\cdot,\cdot\rangle_{X}\). We denote by \(C(J, X)\) the set of all X-valued continuous functions on J. Then \(C(J, X)\) is a Banach space with norm \(\|x\|_{C}=\sup_{t\in J}\|x(t)\|\). For \(1\leq p<+\infty \), \(L^{p}(J, X)\) denotes the Banach space of all Bochner-measurable functions \(F: J\rightarrow X\) normed by \(\|f\|_{L^{p}}=(\int_{0}^{b}\|f(t)\| ^{p}\,dt)^{\frac{1}{p}}\). Let \(\mathcal{B}(X) := \mathcal{B}(X, X)\) be the Banach space of all bounded linear operators from X to X with operator norm \(\|\cdot\|\).
We recall some definitions of fractional calculus,; see [1, 3, 5] and the reference therein for more detail. For simplicity, for every \(\nu\geq0\), let
where Γ is the gamma function. As usual, we define
Denote by \(n=\lceil\alpha\rceil\) the smallest integer greater than or equal to α.
Definition 1
Let \(u\in L^{1}(J)\). The Riemann–Liouville fractional integral of order \(\alpha>0\) is defined by
Definition 2
The Riemann–Liouville fractional derivative of order \(\alpha>0\) is defined for all \(u\in L^{1}(J)\) satisfying \(g_{n-\alpha}*u\in W^{n,1}(J)\) by
where \(D_{t}^{n}=\frac{d^{n}}{dt^{n}}\).
Definition 3
The Caputo fractional derivative of order \(\alpha>0\) is defined for all \(u\in L^{1}(J)\) by
If \(u\in C^{n}[0,\infty)\), then the Caputo fractional derivative of order \(\alpha\in(n-1, n)\) is
By (1.23) of [1] the Laplace transform of Caputo fractional derivative is given by
where \(n=\lceil\alpha\rceil\).
We further introduce some results on fractional resolvent family; see [4, 14] for more detail. We assume that A is a closed linear densely defined operator in X. Denote
We call \(R(\lambda E, A):=(\lambda E-A)^{-1}\) the E-modified resolvent operator of A.
Definition 4
([1], Definition 2.4)
A strongly continuous family \(\{T(t)\}_{t\geq0}\subset\mathcal {B}(X)\) is said to be exponentially bounded if there are constants \(\overline{M}\geq1\) and \(\omega\geq0\) such that
Definition 5
Let \(A: D(A)\subset X\rightarrow X\) and \(E: D(E)\subset X\rightarrow X\) be closed linear operators on the Hilbert space X satisfying \(D(A)\cap D(E)\neq\{0\}\). Let \(\alpha, \beta>0\). The pair \((A, E)\) is said to be the generator of an \((\alpha, \beta)\)-resolvent family if there exist a constant \(\omega\geq0\) and a strongly continuous function \(C_{\alpha, \beta}^{E}: [0,\infty)\rightarrow\mathcal {B}(X)\) such that \(C_{\alpha, \beta}^{E}(t)\) is exponentially bounded, \(\{\lambda^{\alpha}: \operatorname{Re}\lambda>\omega\}\subset\rho _{E}(A)\), and for all \(x\in X\),
In this case, \(\{C_{\alpha, \beta}^{E}(t)\}_{t\geq0}\) is called the \((\alpha, \beta)\)-resolvent family generated by the pair \((A, E)\).
Let \(\{C_{\alpha, 1}^{E}(t)\}_{t\geq0}\) be the \((\alpha, 1)\)-resolvent family generated by the pair \((A, E)\). Then \(\{C_{\alpha , 1}^{E}(t)\}_{t\geq0}\) is exponentially bounded if \(M:=\sup_{t\in J}\|C_{\alpha, 1}^{E}(t)\|<+\infty\). From [4, 14], using the properties of Laplace transform, (2.1), and (2.2), we obtain the definition of a mild solution of (1.1).
Definition 6
A function \(x\in C(J, X)\) is called a mild solution of (1.1) if for each \(t\in J\), x satisfies the integral equation
where
Lemma 1
The operator families\(\{S_{\alpha, 1}^{E}(t)\}_{t\geq0}\)and\(\{ P_{\alpha, 1}^{E}(t)\}_{t\geq0}\)are bounded, that is,
Proof
Since \(M:=\sup_{t\in J}\|C_{\alpha, 1}^{E}(t)\| <+\infty\), by (2.4) and (2.5), for any \(t\geq0\), we have
and
Thus the conclusion is proved. □
Lemma 2
The operator\(P_{\alpha, 1}^{E}(t)\)is equicontinuous for\(t\in J\).
Proof
For \(0\leq t_{1}< t_{2}\leq b\), by the definition of \(P_{\alpha, 1}^{E}(t)\) we have
as \(t_{2}\rightarrow t_{1}\). Hence \(P_{\alpha, 1}^{E}(t)\) is equicontinuous for \(t\in[0,b]\). □
Now we recall some definitions and lemmas on the Hausdorff measure of noncompactness (H-MNC). Let \(D\subset X\) be a nonempty bounded subset of X. Denote by \(\gamma(D)\) the H-MNC of D with respect to X, that is, \(\gamma(D):=\inf \{\varepsilon>0: D \) has a finite ε-net in X}.
We denote by \(\gamma(\cdot)\) and \(\gamma_{C}(\cdot)\) the H-MNCs of a bounded subset of X and \(C(J, X)\), respectively. Let \(B\subset C(J, X)\) be a bounded subset, and let \(t\in J\). Then \(B(t):=\{u(t): u\in B\} \) is a bounded subset of X, and \(\gamma(B(t))\leq\gamma_{C}(B)\). It is well known (see [9]) that the H-MNC \(\gamma(\cdot)\) has the following properties: For any bounded subsets \(D_{1}\), \(D_{2}\), and D of X, we have
-
(i)
if \(D_{1}\subset D_{2}\), then \(\gamma(D_{1})\leq\gamma(D_{2})\);
-
(ii)
\(\gamma(D_{1}+D_{2})\leq\gamma(D_{1})+\gamma(D_{2})\), where \(D_{1}+D_{2}=\{x+y: x\in D_{1}, y\in D_{2}\}\);
-
(iii)
\(\gamma(D_{1}\cup D_{2})\leq\max\{\gamma(D_{1}), \gamma(D_{2})\}\);
-
(iv)
\(\gamma(\rho D)\leq|\rho|\gamma(D)\) for \(\rho\in\mathbb{R}\);
-
(v)
\(\gamma(D)=0\Leftrightarrow D\) is relatively compact in X.
By Example 2.1.1 of [9], if a mapping \(F: X\rightarrow X\) satisfies the Lipschitz condition
then
for all nonempty bounded subsets D of X.
Definition 7
Let \(0\leq k<1\). An operator \(Q: X\rightarrow X\) is said to be condensing if \(\gamma(Q(D))< k\gamma(D)\) for every subset \(D\subset X\).
Furthermore, for the H-MNC, we have the following lemmas; see [8, 9, 11, 17] for more detail.
Lemma 3
Let\(B\subset C(J, X)\)be a bounded and equicontinuous subset. Then\(\gamma(B(t))\)is continuous onJ, and\(\gamma_{C}(B)=\max_{t\in J}\gamma(B(t))\).
Lemma 4
Let\(B\subset C(J, X)\)be a bounded subset. Then there exists a countable subset\(B_{0}\subset B\)such that\(\gamma_{C}(B)\leq2\gamma_{C}(B_{0})\).
Lemma 5
LetXbe a separable Hilbert space, and let\(B_{0}:=\{u_{n}: n\geq1\} \subset C(J, X)\)be countable. If there exists\(\phi\in L^{1}(J, \mathbb {R}^{+})\)such that\(\|u_{n}(t)\|\leq\phi(t)\)for a.e. \(t\in J\), \(n=1,2,\dots\), then\(\gamma(B_{0}(t))\)is Lebesgue integrable onJ, and
To investigate the nonlocal controllability of system (1.1), we introduce the definition of controllability.
Definition 8
(Nonlocal controllability)
System (1.1) is said to be nonlocally controllable on \([0,b]\) if for all \(x_{0}, y_{0}, x_{1}\in X\), there exists a control \(u\in L^{2}(J, U)\) such that the mild solution x of system (1.1) satisfies \(x(b)+g(x)=x_{1}\).
At the end of this section, we present a fixed point theorem, on which the proof of our main results are based.
Lemma 6
([10], Lemma 2.1 (Sadovskii’s Fixed Point Theorem))
LetQbe a condensing operator on a Banach spaceX. If\(Q(S)\subset S\)for a convex closed bounded subsetSofX, thenQhas at least one fixed point inS.
3 Nonlocal controllability
In this section, we state and prove some results on the nonlocal controllability of system (1.1). The discussion is based on the theory of resolvent operators and fixed point theorems. For this purpose, we first make the following assumptions.
- \((H_{AE})\):
-
The pair \((A, E)\) generates an \((\alpha, 1)\)-resolvent family \(\{C_{\alpha, 1}^{E}(t)\}_{t\geq0}\) in X, and
$$M:=\sup_{t\in J} \bigl\Vert C_{\alpha, 1}^{E}(t) \bigr\Vert < +\infty. $$ - \((H_{W})\):
-
The linear operator \(W: L^{2}(J, U)\rightarrow X\) defined by
$$Wu:= \int_{0}^{b}P_{\alpha, 1}^{E}(b-s)Bu(s) \,ds $$has a linear bounded inverse operator \(W^{-1}\) taking values in \(L^{2}(J, U)\setminus \operatorname{Ker}(W)\), and let \(M_{1}:=\|W^{-1}\|\).
- \((H_{f1})\):
-
\(f: J\times X\rightarrow X\) satisfies the Carathéodory condition, that is, for each \(x\in X\), \(f(\cdot, x): J\rightarrow X\) is strongly measurable; for each \(t\in J\), \(f(t,\cdot ): X\rightarrow X\) is continuous.
- \((H_{f2})\):
-
There is a function \(L_{f}\in L^{1}(J, \mathbb{R}^{+})\) such that
$$\bigl\Vert f(t,x)-f(t,y) \bigr\Vert \leq L_{f}(t) \Vert x-y \Vert , \quad\forall t\in J, x, y\in X. $$ - \((H_{g})\):
-
\(g: C(J, X)\rightarrow X\), and there exists a constant \(L_{g}>0\) such that
$$\bigl\Vert g(x)-g(y) \bigr\Vert \leq L_{g} \Vert x-y \Vert _{C},\quad \forall x,y\in C(J, X). $$ - \((H_{h})\):
-
\(h: C(J, X)\rightarrow X\), and there exists a constant \(L_{h}>0\) such that
$$\bigl\Vert h(x)-h(y) \bigr\Vert \leq L_{h} \Vert x-y \Vert _{C},\quad \forall x,y\in C(J, X). $$ - \((H_{B})\):
-
\(B: U\rightarrow X\) is a linear bounded operator, and let \(M_{B}:=\|B\|\).
By assumption \((H_{W})\), for any \(x_{1}\in X\) and \(x\in C(J, X)\), we define the control \(u_{x}\in L^{2}(J, U)\) as
If \(x\in C(J, X)\) is a mild solution of system (1.1) corresponding to the control \(u_{x}\), then by \((H_{W})\) and (2.3) we have
which implies \(x(b)+g(x)=x_{1}\), and system (1.1) is nonlocally controllable on J. Hence we will now prove that system (1.1) has mild solutions by using resolvent operator theory and fixed point theorems. Define the operator \(Q: C(J, X)\rightarrow C(J, X)\) by
By Definition 6 the mild solution of system (1.1) is equivalent to the fixed point of Q. We first apply the contraction mapping principle to prove that Q has a fixed point in \(C(J, X)\).
Lemma 7
Assume that conditions\((H_{AE})\), \((H_{W})\), \((H_{f2})\), \((H_{g})\), and\((H_{h})\)are satisfied. Then for all\(x, y\in C(J, X)\)and\(t\in J\), we have
Proof
For any \(x, y\in C(J, X)\) and \(t\in J\), by the definition of \(u_{x}\) and \(u_{y}\) we have
This completes the proof. □
Theorem 1
Let assumptions\((H_{AE})\), \((H_{W})\), \((H_{f1})\), \((H_{f2})\), \((H_{g})\), \((H_{h})\), and\((H_{B})\)hold. Then system (1.1) is nonlocally controllable onJ, provided that
Proof
For any \(x, y\in C(J, X)\) and \(t\in J\), by (3.1) and Lemma 7 we have
From (3.2) it follows that \(M^{*}<1\). Hence by the contraction mapping principle, Q has a unique fixed point x in \(C(J, X)\) satisfying \(x(b)+g(x)=x_{1}\). In other words, system (1.1) is nonlocally controllable on J. □
Remark 1
If \(E=I\), where I denotes the identity operator in X, and \(h(x)\equiv0\) for all \(x\in C(J, X)\), then Theorem 1 is a natural extension of Theorem 3.1 in [10], because we delete the compactness condition \((H_{4})\) in [10].
The Lipschitz condition \((H_{f2})\) of the nonlinear term f is difficult to verify in applications. If we apply more weaker conditions on f, we can also prove the controllability results for system (1.1). For \(r>0\), set \(\varOmega_{r}:=\{x\in C(J, X): \|x\|_{C}\leq r\}\).
Lemma 8
Assume that conditions\((H_{AE})\), \((H_{W})\), \((H_{g})\), \((H_{h})\), and\((H_{f2})'\)are satisfied, where
- \((H_{f2})'\):
-
For each\(r>0\), there is a function\(\varphi_{r}\in L^{1}(J, \mathbb{R}^{+})\)satisfying\(\lim_{r\rightarrow\infty}\frac{\| \varphi_{r}\|_{L^{1}}}{r}=\sigma<\infty\)such that
$$\sup_{ \Vert x \Vert \leq r} \bigl\Vert f(t,x) \bigr\Vert \leq \varphi_{r}(t),\quad \forall t\in J. $$
Then for any\(x\in\varOmega_{r}\)and\(t\in J\), we have
where\(\mathfrak{C}:=M_{1} [ \|x_{1}\|+M\|x_{0}\|+Mb\|y_{0}\|+(1+M)\| g(0)\|+Mb\|h(0)\| ]\).
Proof
Applying assumptions \((H_{AE})\), \((H_{W})\), \((H_{g})\), \((H_{h})\), and \((H_{f2})'\), by direct calculation we can easily prove that \(u_{x}\) satisfies inequality (3.3). So we omit the details. □
Remark 2
If f satisfies the linear growth conditions, for example, \(f(t,x)\leq a_{1}(t)x+a_{2}(t)\), \(t\in J\), \(x\in X\), where \(a_{1}, a_{2}\in L^{1}(J, \mathbb {R})\), then condition \((H_{f2})'\) holds when we choose \(\varphi_{r}(t)=\| a_{1}(t)\|r+\|a_{2}(t)\|\).
Lemma 9
Assume that the conditions\((H_{AE})\), \((H_{W})\), \((H_{f1})\), \((H_{f2})'\), \((H_{g})\), \((H_{h})\)and\((H_{B})\)are satisfied. Then the operatorQ, defined as in (3.1), maps\(\varOmega_{r}\)into itself for some\(r>0\)provided that
Moreover, \(Q: \varOmega_{r}\rightarrow\varOmega_{r}\)is continuous.
Proof
It is obvious that the operator \(Q: C(J, X)\rightarrow C(J, X)\) is continuous under these assumptions. Hence we just prove \(Q(\varOmega_{r})\subset\varOmega_{r}\) for some \(r>0\). If this were not true, then for any \(r>0\), there would be \(x\in\varOmega_{r}\) such that \(r<\|(Qx)(t)\|\) for all \(t\in J\). By Lemma 7 and (3.1) we have
Dividing both sides by r and taking the lower limit as \(r\rightarrow \infty\), we obtain
which is a contradiction to (3.4). Thus there is \(r>0\) such that \(Q(\varOmega_{r})\subset\varOmega_{r}\). □
Theorem 2
Let assumptions\((H_{AE})\), \((H_{W})\), \((H_{f1})\), \((H_{f2})'\), \((H_{g})\), \((H_{h})\), \((H_{B})\), and\((H_{f3})\)hold, where
- \((H_{f3})\):
-
For\(t\in[0,b]\), the set\(V_{\varepsilon}:= \{ P_{\alpha, 1}^{E}(t-s)[f(s, x(s))+Bu(s)]: x\in\varOmega_{r}, s\in[0, t-\varepsilon], \varepsilon\in(0,t) \}\)is compact.
Then system (1.1) is nonlocally controllable onJwhen (3.4) is satisfied.
Proof
We define two operators \(Q_{1}, Q_{2}: C(J, X)\rightarrow C(J, X)\) by
and
Then by (3.1) we know that \(Q=Q_{1}+Q_{2}\). By \((H_{AE})\), \((H_{g})\), and \((H_{h})\) it is clear that
Next, we prove that the set \(V:=\{Q_{2}x: x\in\varOmega_{r}\}\) is relatively compact in \(C(J, X)\). To apply the Ascoli–Arzelà theorem, we prove that \(V:=\{Q_{2}x: x\in\varOmega_{r}\}\) is equicontinuous in \(C(J, X)\) and \(V(t):=\{(Q_{2}x)(t): x\in\varOmega_{r}\}\) is relatively compact in X. For any \(0\leq t_{1}< t_{2}\leq b\) and \(x\in\varOmega_{r}\), by Lemmas 2 and 8 we have
as \(t_{2}-t_{1}\rightarrow0\), which implies that the set V is equicontinuous in \(C(J, X)\).
Let
By the assumption \((H_{f3})\), \(\overline{\operatorname{conv}(V_{\varepsilon})}\) is also a compact set, where \(\overline{\operatorname{conv}(V_{\varepsilon})}\) means the convex closure of \(V_{\varepsilon}\). By the mean value theorem for Bochner integrals, we deduce that \((Q_{2}^{\varepsilon}x)(t)\in (t-\varepsilon)\overline{\operatorname{conv}(V_{\varepsilon})}\) for \(t\in J\). So the set \(V_{2}^{\varepsilon}(t):=\{(Q_{2}^{\varepsilon}x)(t): x\in\varOmega _{r}\}\) is relatively compact in X. Moreover, for any \(x\in\varOmega_{r}\), we have
as \(\varepsilon\rightarrow0^{+}\), where \(M^{**}:=\mathfrak{C}+M_{1} [ (1+M)L_{g}r+MbL_{h}r+\frac{Mb^{\alpha-1}}{\varGamma(\alpha)}\|\varphi _{r}\|_{L^{1}} ]\). Thus the set \(V(t):=\{(Q_{2}x)(t): x\in\varOmega_{r}\}\) is relatively compact in X. By the Ascoli–Arzelà theorem the set V is relatively compact. Hence \(\gamma_{C}(V)=\gamma_{C}(Q_{2}(\varOmega_{r}))=0\).
At last, by the properties of H-MNC and because of \(M(L_{g}+bL_{h})<1\), we obtain that
which implies that \(Q: \varOmega_{r}\rightarrow\varOmega\) is a condensing mapping. By Sadovskii’s fixed point theorem (see Lemma 6) Q has at least one fixed point x in \(\varOmega_{r}\), which is the mild solution of system (1.1) satisfying \(x(b)+g(x)=x_{1}\). Therefore system (1.1) is nonlocally controllable. □
H-MNC condition is another important tool guaranteeing the compactness of the solution operator. In what follows, we assume that f satisfies the following H-MNC condition:
- \((H_{f4})\):
-
There exists a constant \(L_{1}>0\) such that
$$\gamma\bigl(f(t, D_{0})\bigr)\leq L_{1} \gamma(D_{0}),\quad t\in J, $$for every countable subset \(D_{0}\subset X\).
Lemma 10
LetXbe a separable Hilbert space. Assume that conditions\((H_{AE})\), \((H_{W})\), \((H_{f2})'\), \((H_{f4})\), \((H_{g})\), and\((H_{h})\)hold. Then
where\(D_{0}\subset\varOmega_{r}\)is a countable subset of\(\varOmega_{r}\).
Proof
By Lemma 5 we obtain that
The proof is completed. □
Theorem 3
LetXbe a separable Hilbert space. Assume that assumptions\((H_{AE})\), \((H_{W})\), \((H_{f1})\), \((H_{f2})'\), \((H_{f4})\), \((H_{g})\), \((H_{h})\), and\((H_{B})\)are satisfied. If the inequality conditions (3.4) and
hold, then system (1.1) is nonlocally controllable onJ.
Proof
Define two operators \(Q_{1}\) and \(Q_{2}\) as in (3.5) and (3.6), respectively. By the properties of H-MNC and (3.7) we easily obtain that
On the other hand, since \(Q_{2}(\varOmega_{r})\subset\varOmega_{r}\) and the set \(Q_{2}(\varOmega_{r})\) is equicontinuous in \(C(J, X)\), by Lemmas 3 and 4 there is a countable set \(D_{0}\subset\varOmega_{r}\) such that
Applying assumption \((H_{f4})\) and Lemma 10, we have
This, together with (3.9), gives
Combining (3.8) and (3.10), because of \(\gamma _{C}(D_{0})\leq\gamma_{C}(\varOmega_{r})\), we obtain that
Thus we conclude that \(Q: \varOmega_{r}\rightarrow\varOmega_{r}\) is a condensing mapping. By Sadovskii’s fixed point theorem, Q has at least one fixed point x in \(\varOmega_{r}\), which is the mild solution of system (1.1) satisfying \(x(b)+g(x)=x_{1}\). Therefore system (1.1) is nonlocally controllable. □
4 Conclusion
In this paper, we investigated the nonlocal controllability of \(\alpha \in(1,2)\)-ordered fractional evolution systems of Sobolev type of the form (1.1) in a Hilbert space X. We first define the \((\alpha,1)\)-resolvent family \(\{C_{\alpha, 1}^{E}(t)\}_{t\geq0}\) generated by the pair \((A, E)\). Without assuming the compactness of \(\{ C_{\alpha, 1}^{E}(t)\}_{t\geq0}\), we prove some nonlocal controllability results for the fractional evolution system (1.1) by using Banach’s contraction mapping principle and Sadovskii’s fixed point theorem. The discussion is based on fractional resolvent operator theory. Our results improve and extend some existing results.
References
Bazhlekova, E.: Fractional evolution equations in Banach spaces. Ph.D. thesis, Eindhoven University of Technology (2001)
Benchaabane, A., Sakthivel, R.: Sobolev-type fractional stochastic differential equations with non-Lipschitz coefficients. J. Comput. Appl. Math. 312, 65–73 (2017)
Caputo, M.: Linear models of dissipation whose Q is almost frequency independent, part II. Geophys. J. Int. 13, 529–539 (1967)
Chang, Y.K., Pei, Y.T., Ponce, R.: Existence and optimal controls for fractional stochastic evolution equations of Sobolev type via fractional resolvent operators. J. Optim. Theory Appl. 182, 558–572 (2019)
Dzrbashjan, M., Nersesyan, A.: On the application of some integro-differential operators. Dokl. Akad. Nauk SSSR 121, 210–213 (1958)
Fan, Z.B.: Characterization of compactness for resolvents and its applications. Appl. Math. Comput. 232, 60–67 (2014)
Fec̆kan, M., Wang, J.R., Zhou, Y.: Controllability of fractional functional evolution equations of Sobolev type via characteristic solution operators. J. Optim. Theory Appl. 156, 79–95 (2013)
Heinz, H.: On the behavior of measure of noncompactness with respect to differentiation and integration of vector-valued functions. Nonlinear Anal. 7, 1357–1371 (1983)
Kamenskii, M., Obukhovskii, V., Zecca, P.: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. De Gruyter, Berlin (2001)
Li, K.X., Peng, J.G., Gao, J.H.: Controllability of nonlocal fractional differential systems of order \(\alpha\in(1,2]\) in Banach spaces. Rep. Math. Phys. 71, 33–43 (2013)
Li, Y.X.: Existence of solutions of initial value problems for abstract semilinear evolution equations. Acta Math. Sin. 48, 1089–1094 (2005) (in Chinese)
Lian, T.T., Fan, Z.B., Li, G.: Approximate controllability of semilinear fractional differential systems of order \(1< q<2\) via resolvent operators. Filomat 18, 5769–5781 (2017)
Mahmudov, N.: Controllability of linear stochastic systems in Hilbert space. J. Math. Anal. Appl. 288, 197–211 (2003)
Ponce, R.: Existence of mild solutions to nonlocal fractional Cauchy problems via compactness. Abstr. Appl. Anal. 2016, Article ID 4567092 (2016)
Sakthivel, R., Mahmudov, N., Nieto, J.: Controllability for a class of fractional-order neutral evolution control systems. Appl. Math. Comput. 218, 10334–10340 (2012)
Wang, J., Zhou, Y., Medved, M.: On the solvability and optimal controls of fractional integrodifferential evolution systems with infinite delay. J. Optim. Theory Appl. 152, 31–50 (2012)
Yang, H., Agarwal, R., Liang, Y.: Controllability for a class of integro-differential evolution equations involving non-local initial conditions. Int. J. Control 90, 2567–2574 (2017)
Acknowledgements
The author thanks the anonymous reviewers for their helpful and valuable suggestions on improving this paper.
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
Funding
The research is supported by the National Natural Science Function of China (No. 11701457).
Author information
Authors and Affiliations
Contributions
HY designed the research, HY and YJZ wrote the main manuscript. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
None of the authors has any competing interests in the manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yang, H., Zhao, Y. Controllability of fractional evolution systems of Sobolev type via resolvent operators. Bound Value Probl 2020, 119 (2020). https://doi.org/10.1186/s13661-020-01417-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01417-1