 Research
 Open access
 Published:
Lagrange optimal controls and time optimal controls for composite fractional relaxation systems
Advances in Difference Equations volume 2017, Article number: 233 (2017)
Abstract
By means of the theory of resolvent and Schauder’s fixed point, the existence results of semilinear composite fractional relaxation systems are acquired. Then the new approach of setting up minimizing sequences twice is used to derive the optimal pairs without Lipschitz assumptions on nonlinear functions and nonlocal items. Moreover, the reflexivity of a state space X is not required by making full use of the compact method. Our results essentially improve and generalize those on optimal controls in recent literature.
1 Introduction
Let X be a Banach space and Y be a separable reflexive Banach space. The paper is devoted to investigating the Lagrange optimal controls and the time optimal controls subjected to the following fractional semilinear composite relaxation system:
where \(0<\gamma <1\). \(y(t)\in X\) and \(u(t)\in Y\). \(A:D(A)\subseteq X \rightarrow X\) generate a resolvent family \(\{\mathcal{R}_{1\gamma }(t) \}_{t\geq 0}\). \(B\in L^{\infty }([0,c], \mathcal{L}(Y, X))\). The admissible control set \(U_{ad}\) and the functions \(f:[0,c]\times X \rightarrow X\), \(m:C([0,c], X)\rightarrow X\) will be given later.
Fractional differential equations play a critical role in many fields, such as physics, engineering, chemistry, etc., in which it is used as a tool of modeling many phenomena. So, more and more researchers pay attention to it. We refer the readers to the monographs [1–3], the recent papers [4–10] and the reference therein. Our motivation for studying the fractional relaxation system comes from the existing work (see [11]) in which system (1.1) without control item and with A being a positive constant is discussed. Especially, when \(\gamma =1/2\), the system is the classical Basset problem, which is concerned with the unsteady accelerating in a viscous fluid for gravitational force. Numerical analysis of the fractional relaxation system is carried out in [12–15].
In recent decades, in spite of many research works on the optimal control problems governed by fractional differential systems in infinite dimension Banach spaces, it has been well recognized that most of the existing results on optimal controls are obtained under the following two conditions. One is that the mild solution of the corresponding system exists uniquely, and then the Lipschitz continuity of nonlinear functions and nonlocal items is required. The other is that both of the spaces X and Y are reflexive in time optimal problems. We refer the readers to the recent papers [12, 16–24] and the references therein.
It is our intention to deal with the solvability of system (1.1) by using the properties of resolvent developed by Fan [25]. Meanwhile, Lagrange optimal control problems and time optimal control problems governed by system (1.1) are studied. Two contributions are made here. One is that we remove the Lipschitz continuity of nonlinear function f and nonlocal item m without imposing any other conditions. Inspired by Zhu and Huang [26], we derive the optimal pairs by utilizing the new technique of setting up minimizing sequences twice. The other is that we make full use of the compactness of resolvent to compensate the lack of reflexivity of X, and the conclusion about time optimal controls also holds here. Hence, our results essentially improve the related results on this topic.
The present paper is built up as follows. The basic definitions and assumptions which will be used throughout the paper are presented in Section 2. We establish the solvability of system (1.1) in Section 3. Lagrange optimal control problems subjected to system (1.1) are investigated in Section 4. Time optimal control problems governed by (1.1) are presented in Section 5. We illustrate our results with an example in Section 6.
2 Preliminaries and basic assumptions
In this paper, let \(c>0\) be fixed and \(0<\gamma <1\). \(\mathbb{R}\) and \(\mathbb{R}^{+}\) are the sets of real numbers and nonnegative real numbers, respectively. The set of all continuous functions from \([0,c]\) to the Banach space X with \(\Vert y\Vert =\sup \{\Vert y(t)\Vert , t\in [0,c]\}\) is denoted by \(C([0,c],X)\), and the set of all Bochner integrable functions from \([0,c]\) to the Banach space X with \(\Vert f\Vert _{L^{p}} =(\int_{0}^{c}\Vert f(t)\Vert ^{p}\,\mathrm{d}t)^{1/p}\) is denoted by \(L^{p} ([0,c], X)\), where \(1\leq p< \infty \). Let \(L^{\infty } ([0,c], X)\) be the set of all essentially bounded functions on \([0,c]\) with values in X and \(\Vert f\Vert _{\infty }=\operatorname{esssup}\{\Vert f(t)\Vert , t \in [0,c]\}\), and let \(\mathcal{L}(X, Y)\) be the space of all linear and continuous operators from X to Y with the operator norm \(\Vert \cdot \Vert \). \(\mathcal{L}(X)\) respecting the space \(\mathcal{L}(X, X)\).
Let \(f: [0, \infty)\rightarrow X\) be an appropriate abstract function. The Caputo fractional order derivative is defined by
provided the righthand side exists, where \(g_{\gamma }(t):=\frac{t ^{\gamma 1}}{\Gamma (\gamma)}\), \(t>0\).
Definition 2.1
An operator family \(\{\mathcal{R}_{\gamma }(t)\}_{t\geq 0}\subset \mathcal{L}(X)\) is called a resolvent generated by a closed and linear operator A with the domain \(D(A)\) on X if it fulfills:

(1)
\(\mathcal{R}_{\gamma }(\cdot)y\in C([0, \infty), X)\) for \(y\in X\), and \(\mathcal{R}_{\gamma }(0)=I\);

(2)
\(\mathcal{R}_{\gamma }(t)D(A)\subset D(A)\), and for all \(y\in D(A)\) and \(t\geq 0\), there holds that \(A\mathcal{R}_{\gamma }(t)y= \mathcal{R}_{\gamma }(t)Ay\);

(3)
for all \(y\in D(A)\), \(t\geq 0\), the following resolvent equation holds:
$$\mathcal{R}_{\gamma }(t)y=y+ \int_{0}^{t}g_{\gamma }(t\tau)A \mathcal{R}_{\gamma }(\tau)y\,\mathrm{d}\tau. $$
By virtue of [27], we can infer that the resolvent equation is satisfied for all \(y\in X\). Now, the mild solution of system (1.1) will be given below using the definition of resolvent and Laplace transformation, and the details can be seen in [13].
Definition 2.2
A function \(y\in C([0,c],X)\) is said to be the mild solution of (1.1) if
for each \(t\in [0,c]\) and \(u\in U_{ad}\).
Let \(r>0\) be a real number, and \(W_{r}=\{y\in C([0,c], X): \Vert y\Vert \leq r\}\). The following assumptions will be used throughout the paper.

(HA)
The resolvent \(\{\mathcal{R}_{1\gamma }(t)\}_{t>0}\) generated by A is compact and uniformly continuous, and set \(M=\sup_{t\in [0,c]}\Vert \mathcal{R}_{1\gamma }(t)\Vert \).

(Hf)

(1)
\(f(\cdot, y)\) is measurable for all \(y\in X\), and \(f(t,\cdot)\) is continuous for a.e. \(t\in [0,c]\).

(2)
there exists a function \(\eta \in L^{1}([0,c], \mathbb{R}^{+})\) with \(\Vert \eta \Vert _{L^{1}([0,c])}<\frac{1}{M}\) such that
$$\begin{aligned} \bigl\Vert f(t,y)y\bigr\Vert \leq \eta (t) \bigl(1+\Vert y \Vert \bigr) \end{aligned}$$(2.1)for all \(y\in X\).

(1)

(Hm)
m is a continuous and compact operator on \(C([0,c], X)\) with \(\Vert m(y)\Vert \leq N\) for all \(y\in C([0,c],X)\) and some \(N>0\).

(HB)
\(B\in L^{\infty }([0,c], \mathcal{L}(Y, X))\), and \(\Vert B\Vert _{ \infty }= M_{B}\).
The admissible control set is defined by
$$U_{ad}:=S_{U}^{p}=\bigl\{ u\in L^{p} \bigl([0,c], Y\bigr): u(t)\in U(t), \mbox{a.e. }t\in [0,c] \bigr\} , $$where \(1< p<\infty \), and the multivalued map U satisfies the condition (HU).

(HU)
\(U:[0,c]\rightarrow P_{lv}(Y)\) (the set of all nonempty closed and convex subset of Y) satisfies:

(1)
\(U(\cdot)\) is graph measurable;

(2)
\(U([0,c])=\{\nu \in Y: \nu \in U(t), t\in [0,c]\}\subseteq \Lambda \) for some bounded subset of Λ of Y, that is, \(\Vert U([0,c])\Vert =\sup \{\nu \in U(t): t\in [0,c]\}\leq \tilde{M}\) for some \(\tilde{M}>0\).

(1)
In view of [28], we can infer that (HU) implies that \(U_{ad}\neq \emptyset \) and, clearly, \(U_{ad}\) is bounded, closed and convex, and \(Bu\in L^{p}([0,c], X)\).
Remark 2.3
Let \(0<\gamma <1\). In view of Fan [25], Lemma 3.8, an analytic resolvent of analyticity type \((\omega_{0},\theta_{0})\) is uniformly continuous for all \(t>0\).
The following property of resolvent plays an important role in this paper.
Lemma 2.4
[25]
Let \(0<\gamma <1\). If (HA) is satisfied, then for each \(t>0\) there holds

(1)
\(\lim_{h\rightarrow 0^{+}}\Vert \mathcal{R}_{1\gamma }(t+h)\mathcal{R}_{1\gamma }(t)\mathcal{R}_{1\gamma }(h)\Vert =0\);

(2)
\(\lim_{h\rightarrow 0^{+}}\Vert \mathcal{R}_{1\gamma }(t)\mathcal{R}_{1\gamma }(h)\mathcal{R}_{1\gamma }(th)\Vert =0\).
3 The solvability of system (1.1)
In this section, by making use of the compactness and uniform continuity of resolvent, the mild solutions of system (1.1) are obtained without the Lipschitz continuity of f and m. More importantly, no other conditions of f and m are applied.
Theorem 3.1
Let all the assumptions listed in Section 2 be fulfilled. Then, for every \(u\in U_{ad}\), system (1.1) possesses at least one mild solution.
Proof
For each \(y_{0}\in X\) and \(u\in U_{ad}\), we define the solution operator \(G:C([0,c], X)\rightarrow C([0,c], X)\) as
It suffices to establish the existence of a fixed point of G. The proof will proceed in the following steps.
Step 1. We show that \(G(W_{r})\subseteq W_{r}\) with \(r>\frac{\Vert y_{0}\Vert +N+M\Vert \eta \Vert _{L^{1}([0,c]) }+ MM_{B}\Vert u\Vert _{L^{1}([0,c])}}{1M\Vert \eta \Vert _{L^{1}([0,c])}}\). In fact, for every \(y\in W_{r}\), we have
Step 2. We need to verify the continuity of G on \(C([0,c],X)\). Let \(\{y_{n}\}_{n=1}^{\infty }\subseteq C([0,c],X)\) be a sequence such that \(\lim_{n\rightarrow \infty }y_{n}=y\). Then
It follows from (Hf), (Hm) and the dominated convergence theorem that
as \(n\rightarrow \infty \). This means that G is continuous.
Step 3. We establish the compactness of G. First, we show the equicontinuity of the set \(\Sigma =\{Gy: y\in W_{r}\}\) in \(C([0,c], X)\). For any \(0\leq t_{1}< t_{2}\leq c\), \(y\in W_{r}\) and \(\delta >0\) small enough, we have
In view of the arbitrariness of δ and the uniform continuity of \(\mathcal{R}_{1\gamma }(t), t>0\), one gets
uniformly for \(y\in W_{r}\).
Then we verify the precompactness of the set \(\Sigma (t)=\{Gy(t): y \in W_{r}\}\) in X. Obviously, the set \(\Sigma (0)=\{y_{0}m(y): y \in W_{r}\}\) is relatively compact in X due to the compactness of m. In the case of \(t\in (0,b]\), for each \(0<\varepsilon < \frac{t}{2}\) small enough, we define the set \(\Sigma^{\varepsilon }(t)\) in X as follows:
where
One can deduce that \(\Sigma^{\varepsilon }(t)\) is relatively compact in X by virtue of the compactness of resolvent \(\mathcal{R}_{1\gamma }(\varepsilon)\) and the nonlocal item m. Moreover, for each \(y\in W_{r}\), we have
Exploiting Lemma 2.4 yields \(\Vert Gy(t)G^{\varepsilon }y(t)\Vert \rightarrow 0\) as \(\varepsilon \rightarrow 0\), that is, the set \(\Sigma^{\varepsilon }(t)\) is arbitrarily close to the set \(\Sigma (t)\) for \(t>0\). This together with the precompactness of \(\Sigma^{\varepsilon }(t)\) gives rise to the precompactness of \(\Sigma (t)\) in X. Thanks to the ArzelaAscoli theorem, one has that the operator G is compact.
Now, applying Schauder’s fixed point theorem, one gets that G possesses at least one fixed point in \(W_{r}\), which is the mild solution of system (1.1). This completes the proof. □
Remark 3.2
The properties of resolvent (Lemma 2.4) are of great importance in the process of deriving the compactness of the solution operator G, through which the methods used in the sense of integer order differential equations can be successfully applied here.
Remark 3.3
In view of Theorem 3.1, for each \(u\in U_{ad}\), and \(y\in C([0,c],X)\) is the corresponding mild solution of system (1.1), one has
Using Gronwall’s lemma, one can obtain that \(\Vert y(t)\Vert \leq R\), where
which is independent of u.
Remark 3.4
For convenience, we denote
4 Lagrange optimal control problems subjected to system (1.1)
In this section, the idea of constructing the minimizing sequences twice will be used to solve the following Lagrange optimal control problem \((P_{1})\):
where the cost function \(\mathcal{J}(y, u)=\int_{0}^{c} L(t, y(t), u(t)) \,\mathrm{d}t\), and the cost integrand \(L: [0,c]\times X\times Y \rightarrow \mathbb{R}\cup \{+\infty \}\) satisfies the condition (HL).

(HL)

(1)
\((t, y, u)\rightarrow L(t, y, u)\) is measurable;

(2)
\(L(t, \cdot, \cdot)\) is sequentially lower semicontinuous on \(X\times Y\) for a.e. \(t\in [0,c]\);

(3)
\(L(t, y, \cdot)\) is convex on Y for each \(y\in X\) and a.e. \(t\in [0,c]\);

(4)
\(L(t, y, u)\geq \phi (t)+a(\Vert y\Vert ^{p}+\Vert u\Vert ^{p})\) for some \(\phi \in L^{p}([0,c], \mathbb{R})\), \(a\geq 0\) and a.e. \(t\in [0,c]\).

(1)
The following lemma will be used in the proof of our main results.
Lemma 4.1
If (HA) holds, then the operator \(F:L^{p}([0,c], X)\rightarrow C([0,c], X)\) given by
is compact for \(1< p<\infty \). Moreover, the condition \(l_{n}\rightharpoonup l\) in \(L^{p}([0,c], X)\) as \(n\rightarrow \infty \) leads to the fact that \(Fl_{n}\rightarrow Fl\) in \(C([0,c], X)\) as \(n\rightarrow \infty \).
Proof
A similar manner as that in Theorem 3.1 gives the conclusion. Also it can be seen in [13]. So we omit it. □
Theorem 4.2
Under the conditions of Theorem 3.1 and (HL), the Lagrange optimal problem (\(P_{1}\)) admits at least one optimal pair, that is, there is a pair \((y_{*}, u_{*})\in \mathcal{A}_{d}\) such that
holds for all \((y, u)\in \mathcal{A}_{d}\).
Proof
In view of Theorem 3.1, there is at least one mild solution \(y\in W_{R}\) such that \((y, u)\in \mathcal{A}_{d}\) for each \(u\in U_{ad}\), that is, \(S(u)\neq \emptyset \). For clarity, we proceed in the following two steps.
Step 1. For each \(u\in U_{ad}\), set
The fact \(S(u)\neq \emptyset \) implies that \(\mathcal{F}(u)\) is well defined. We aim to show that \(\mathcal{F}(u)=\mathcal{J}(\hat{y}, u)\) for some \(\hat{y}\in S(u)\).
It is trivial for the cases that \(\inf_{y\in S(u)} \mathcal{J}(y, u)=+\infty \) and the set \(S(u)\) has finite elements. Otherwise, the assumption (HL) implies that \(\mathcal{F}(u)>\infty \). Moreover, the definition of infimum gives
for some \(\{y_{n}\}_{n=1}^{\infty }\subseteq S(u)\). Note that \((y_{n}, u)\in \mathcal{A}_{d}\), one has
for each \(n\geq 1\). The compactness of \(\mathcal{R}_{1\gamma }(t)\), \(t>0\) and m, an argument similar to the one used in Theorem 3.1 yields the precompactness of \(\{y_{n}\}_{n=1}^{\infty }\). Then a subsequence can be extracted from \(\{y_{n}\}_{n=1}^{\infty }\), still denoted by it, such that
for some \(\hat{y}\in C([0,c], X)\). Now, taking \(n\rightarrow \infty \) to both sides of (4.3) and using the Lebesgue dominated convergence theorem yields
due to the continuity of \(f(s, \cdot)\), \(s\in [0, t]\) and \(m(\cdot)\). This means that \(\hat{y}\in S(u)\). We will show that ŷ satisfies that \(\mathcal{F}(u)=\mathcal{J}(\hat{y}, u)\). It is worth mentioning that the assumption (HL) satisfies all the conditions of Balder ([29], Theorem 2.1). Hence, Applying Balder’s theorem yields
which implies that \(\mathcal{F}(u)=\mathcal{J}(\hat{y}, u)\).
Step 2. We verify that
for some \(u_{*}\in U_{ad}\). It is trivial for the case that \(\inf_{u\in U_{ad}} \mathcal{F}(u)=+\infty \). Otherwise, again from (HL), we have \(\inf_{u\in U_{ad}} \mathcal{F}(u)> \infty \). Let \(\{u_{n}\}_{n=1}^{\infty }\subseteq U_{ad}\) be a minimizing sequence such that
Obviously, \(\{u_{n}\}_{n=1}^{\infty }\) is bounded in \(L^{p}([0,c], Y)\). The reflexivity of \(L^{p}([0,c], Y)\) gives rise to the fact that a subsequence of \(\{u_{n}\}_{n=1}^{\infty }\) can be extracted, still denoted by it, such that
as \(n\rightarrow \infty \) for some \(u_{*}\in L^{p}([0,c], Y)\). Moreover, by virtue of the convexity, closeness of \(U_{ad}\) and Mazur’s theorem, we have that \(u_{*}\in U_{ad}\). Now we only need to show that \(\mathcal{F}(u)\) attains its infimum at \(u_{*}\). To this end, according to Step 1, we may suppose that \(\hat{y}_{n}\in S(u_{n})\) such that
The fact that \(\hat{y}_{n}\in S(u_{n})\) implies
for each \(n\geq 1\). Similar to the proof in Theorem 3.1, thanks to the compactness of \(\mathcal{R}_{1\gamma }(t)\) and m, as well as the uniform boundedness of \(\{u_{n}\}_{n=1}^{\infty }\) in \(L^{1}([0,c], Y)\), one obtains the precompactness of \(\{\hat{y}_{n}\} _{n=1}^{\infty }\) in \(C([0,c],X)\). Then there is a subsequence of \(\{\hat{y}_{n}\}_{n=1}^{\infty }\), still denoted by it, such that
as \(n\rightarrow \infty \) for some \(y_{*}\in C([0,c], Y)\). On the other hand, with the help of Lemma 4.1, (4.8), and the fact that \(B(\cdot)u_{n}(\cdot)\in L^{p}([0,c], X)\), we obtain that
as \(n\rightarrow \infty \). Now, taking \(n\rightarrow \infty \) to both sides of (4.9) yields
This means that \(y_{*}\in S(u_{*})\). Moreover, applying Balder’s theorem again gives
Combining this with Step 1 yields
that is, \((y_{*}, u_{*})\) is a feasible pair at which \(\mathcal{J}\) reaches a minimum. This ends the proof. □
Remark 4.3
The optimal pairs for the Lagrange problem (\(P_{1}\)) are obtained without the Lipschitz continuity of f and m. To compensate, the new idea of setting up minimizing sequences twice is used. Hence, our results generalize the recent existing ones in [12, 16–21], in which the Lipschitz assumptions on nonlinear function and nonlocal item are needed.
5 Time optimal control problems governed by system (1.1)
In this segment, let W be a bounded, closed and convex subset of the Banach space X. Define the subsets as follows:
Suppose that \(\mathcal{A}_{d}^{W}\neq \emptyset \). Then, for any \((y, u)\in \mathcal{A}_{d}^{W}\), define the first time \(t_{(y, u)}\) such that \(y(t_{(y, u)})\in W\) as the transition time. Obviously, \(t_{(y, u)}\) is well defined owing to the fact that \(y(\cdot)\in C([0,c],X)\) as well as the closeness and convexity of W. The set W is called the target set.
Now, we ponder the following time optimal control problem (\(P_{2}\)):
Theorem 5.1
Let the hypotheses specified in Section 2 hold. Then system (1.1) possesses at least one feasible pair which solves the problem (\(P_{2}\)), that is, there is a pair \((y^{*}, u^{*})\in \mathcal{A}_{d}^{W}\) such that
holds for all \((y, u)\in \mathcal{A}_{d}^{W}\).
Remark 5.2
The control \(u^{*}\), the time \(t_{(y^{*}, u^{*})}\) and the pair \((y^{*}, u^{*})\) in Theorem 5.1 are called the time optimal control, optimal time and time optimal pair, respectively.
Proof of Theorem 5.1
From Theorem 3.1, we have that there exists at least one y such that \((y,u)\in \mathcal{A}_{d}\) for each \(u\in U_{ad}\). We will proceed in two steps to check the main results.
Step 1. For any fixed \(u\in U_{0}\), set \(t^{u}=\inf_{y\in S_{u}^{W}} t_{(y,u)}\). It is trivial for the case that the set \(S_{u}^{W}\) has finite elements. Otherwise, the definition of infimum gives that there is a monotone decreasing sequence \(\{t_{(y _{n},u)}\}_{n\geq 1}\) such that
where \((y_{n}, u)\in \mathcal{A}_{d}^{W}\) for each \(n\geq 1\). Moreover, a similar manner utilized in Step 1 of Theorem 4.2 gives the precompactness of \(\{y_{n}\}_{n\geq 1}\). Then there is a subsequence of \(\{y_{n}\}_{n\geq 1}\), still denoted by it, and a function \(\tilde{y} \in S(u)\) such that
as \(n\rightarrow \infty \). We will show that \(\tilde{y}(t^{u})\in W\). For each \(n\geq 1\), the definition of \(t_{(y_{n},u)}\) yields
In view of (5.1) and (5.2), one has
This together with (5.3) and the closeness of W yields
Step 2. Let \(t_{0}=\inf_{u\in U_{0}} t^{u}\). If \(U_{0}\) contains finite elements, the proof is obvious. Otherwise, there exists a monotone decreasing sequence \(\{t^{u_{n}}\}_{n\geq 1}\) such that
where \(u_{n}\in U_{0}\). In the light of Step 1, let \(\tilde{y}_{n}\) be such that \((\tilde{y}_{n},u_{n})\in \mathcal{A}_{d}^{W}\) and \(\tilde{y}_{n}(t^{u_{n}})\in W\). With the same method as that in Step 2 of Theorem 4.2, we can infer that
as \(n\rightarrow \infty \) for some \(u^{*}\in S_{U}^{p}\) and \(y^{*}\in S(u^{*})\). Now, we show that \(y^{*}(t_{0})\in W\). Exploiting (5.6) and (5.7), we have
This together with the closeness of W and the fact that
yields
The proof is ended. □
Remark 5.3
On the basis of the solution set \(S(u)\) and the target set W, a suitable definition of optimal time is given. Then the idea of constructing time optimal sequences twice and the theory of resolvent are used to derive the existence of time optimal pairs without the Lipschitz assumptions on f and the reflexivity of X. Therefore, our results essentially improve those in [17, 22–24] and the references therein, where the Lipschitz continuity of f and the reflexivity of X are all required.
6 Applications
The following fractional composite relaxation system will be considered:
where \(0<\gamma <1\).
Let \(X=Y=L^{2}([0,1], \mathbb{R})\). Define the operator \(A:D(A)\subseteq X\rightarrow X\) as
with the domain
Then
where \(e_{n}(\theta)=\sqrt{2}\sin (n\pi \theta)\), \(n=1,2,\ldots \) , is an orthonormal basis of X. In view of [30], we infer that A generates a compact and analytic semigroup \(\{T(t)\}_{t>0}\) in X, and
Obviously, \(\Vert T(t)\Vert \leq 1\). Furthermore, by means of the subordination principle [31], Theorem 3.1, one has that a compact \(1\gamma \) order fractional analytic resolvent \(\{\mathcal{R}_{1\gamma }(t)\} _{t\geq 0}\) of analytic type \((\omega_{0}, \theta_{0})\) can also be generated by A, and
where \(\varphi_{t, 1\gamma }(\tau)=t^{\gamma 1}\Phi_{1\gamma }( \tau t^{\gamma 1})\), \(\Phi_{1\gamma }(t)\), \(t>0\) is a probability density function such that \(\int_{0}^{\infty }\Phi_{1\gamma }(t) \,\mathrm{d}t=1\). Taking into account Lemma 3.8 in [25], we obtain that \(\{\mathcal{R}_{1\gamma }(t)\}_{t>0}\) is also continuous in the sense of uniform operator topology. Now, we can come to the conclusion that (HA) holds, and
that is, \(M=\sup_{t\in [0,1]}\Vert \mathcal{R}_{1\gamma }(t)\Vert =1\).
Now, for every \(t\in [0, 1]\), \(\theta \in [0, 1]\), let \(y(t)(\theta)=x(t, \theta)\), \(f(t, y(t))(\theta)=t^{2}(1+y(t)(\theta))+y(t)(\theta)\), \(u\in L^{2}([0,1]\times [0,1], Y)\), and \(u(t)( \theta)=u(t,\theta)\).
The cost function is such that
Obviously, the cost integrand
satisfies the condition (HL). Now, for \(t\in [0,1]\), define the control multivalued map
and the target set
where \(N_{1}\), \(N_{2}\) are given positive constants.
Now, system (6.1) can be reformulated as the abstract fractional relaxation system (1.1), and all the conditions listed in Section 2 are satisfied. In fact,
with \(\Vert t^{2}\Vert _{L^{1}([0,1])}=\frac{1}{3}<1\). Then, in light of Theorem 4.2, we obtain that there exists an optimal pair \((y_{*}, u_{*})\) such that the integral cost functional \(\mathcal{J}(y,u)\) attains its minimum. Furthermore, if the set \(\mathcal{A}_{d}^{W}\) defined in Section 5 with \(c=1\) is nonempty, then it follows from Theorem 5.1 that an optimal pair \((y^{*}, u^{*})\) exists at which the transition time \(t_{(y, u)}\) attains its minimum.
References
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Lakshmikantham, V, Leela, S, Devi, JV: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge (2009)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
Liang, J, Yang, H: Controllability of fractional integrodifferential evolution equations with nonlocal conditions. Appl. Math. Comput. 254, 2029 (2015)
Li, F, Liang, J, Xu, HK: Existence of mild solutions for fractional integrodifferential equations of Sobolev type with nonlocal conditions. J. Math. Anal. Appl. 391, 510525 (2012)
Mahmudov, NI, Unul, S: On existence of BVP’s for impulsive fractional differential equations. Adv. Differ. Equ. 2017, 15 (2017)
Bahaa, GM: Fractional optimal control problem for differential system with delay argument. Adv. Differ. Equ. 2017, 69 (2017)
Wang, JR, Fečkan, M, Zhou, Y: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806831 (2016)
Li, M, Wang, JR: Finite time stability of fractional delay differential equations. Appl. Math. Lett. 64, 170176 (2016)
Wang, JR, Fečkan, M, Zhou, Y: Center stable manifold for planar fractional damped equations. Appl. Math. Comput. 296, 257269 (2017)
Gorenflo, R, Mainardi, F: Fractional calculus: integral and differential equations of fractional order. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 223276. Springer, Berlin (1997)
Fan, Z, Mophou, G: Existence of optimal controls for a semilinear composite fractional relaxation equation. Rep. Math. Phys. 73, 311323 (2014)
Fan, Z, Dong, Q, Li, G: Approximate controllability for semilinear composite fractional relaxation equations. Fract. Calc. Appl. Anal. 19, 267284 (2016)
Lizama, C, N’Guérékata, GM: Bounded mild solutions for semilinear integro differential equations in Banach spaces. Integral Equ. Oper. Theory 68, 207227 (2010)
Lizama, C: An operator theoretical approach to a class of fractional order differential equations. Appl. Math. Lett. 24, 184190 (2011)
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, 3150 (2012)
Kumar, S: Mild solution and fractional optimal control of semilinear system with fixed delay. J. Optim. Theory Appl. 114 (2015)
Fan, Z, Mophou, G: Existence and optimal controls for fractional evolution equations. Nonlinear Stud. 20, 163172 (2013)
Meng, Q, Shen, Y: Optimal control for stochastic delay evolution equations. Appl. Math. Optim. 74, 5389 (2016)
Lu, L, Liu, Z, Jiang, W, Luo, J: Solvability and optimal controls for semilinear fractional evolution hemivariational inequalities. Math. Methods Appl. Sci. 39, 54525464 (2016)
Jiang, Y, Huang, N: Solvability and optimal controls of fractional delay evolution inclusions with Clarke subdifferential. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.4218
Wang, J, Zhou, Y: Time optimal control problem of a class of fractional distributed systems. Int. J. Dyn. Syst. Differ. Equ. 3, 363382 (2011)
Jeong, JM, Son, SJ: Time optimal control of semilinear control systems involving time delays. J. Optim. Theory Appl. 165, 793811 (2015)
Phung, KD, Wang, G, Zhang, X: On the existence of time optimal controls for linear evolution equations. Discrete Contin. Dyn. Syst., Ser. B 4(4), 925941 (2007)
Fan, Z: Characterization of compactness for resolvents and its applications. Appl. Math. Comput. 232, 6067 (2014)
Zhu, L, Huang, Q: Nonlinear impulsive evolution equations with nonlocal conditions and optimal controls. Adv. Differ. Equ. 2015, 378 (2015)
Prüss, J: Evolutionary Integral Equations and Applications. Birkhäuser, Basel (1993)
Hu, S, Papageorgiou, NS: Handbook of Multivalued Analysis. Kluwer Academic, Norwell (2000)
Balder, EJ: Necessary and sufficient conditions for \(L_{1}\)strongweak lower semicontinuity of integral functionals. Nonlinear Anal. 11, 13991404 (1987)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (1983)
Bazhlekova, E: Subordination principle for fractional evolution equations. Fract. Calc. Appl. Anal. 3, 213230 (2000)
Acknowledgements
The authors would like to express their gratitude to the editor and anonymous reviewers for their valuable comments and suggestions. Moreover, the work was supported by the NSF of China (11571300, 11271316), the Qing Lan Project of Jiangsu Province of China and the HighLevel Personnel Support Program of Yangzhou University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
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
Lian, T., Fan, Z. & Li, G. Lagrange optimal controls and time optimal controls for composite fractional relaxation systems. Adv Differ Equ 2017, 233 (2017). https://doi.org/10.1186/s1366201712997
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201712997