1 引言
随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] .
另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制.
时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题.
设 X 是自反可分的 Banach 空间, V 为可分的 Banach 空间. 考虑如下反馈控制系统
{ D α t x ( t ) = A x ( t ) + f ( t , x ( t ) , u ( t ) ) , t ∈ J = [ T ] , u ( t ) ∈ U ( t , x ( t ) ) , I 1 − α 0 + x ( t ) | x = 0 = x 0 ,
(1.1)
其中 D α t 是 0 < α < 1 阶的 Riemann-Liouville 分数阶导数. 算子 A 是 Banach 空间 X 上 C 0 - 半群 T ( t ) ( t ≥ 0 ) 的无穷小生成元. f : J × X × V → X ∗ 为非线性函数, U : J × X → P ( V ) ( P ( V ) 在第 2 节中给出) 是一个多值反馈控制集.
定义 1.1 设 x ∈ X , 称 ( x ( ⋅ ) , u ( ⋅ ) ) ∈ C 1 − α ( J , X ) × V 是 J 上的容许对 (其对应于 x 0 ∈ X ) , 如果 x ( ⋅ ) 对应于系统 (1.1) 和
u ( t ) ∈ U ( t , x ( t ) ) a.e. t ∈ J
的温和解, 则分别称 x ( ⋅ ) , u ( ⋅ ) 为容许轨迹和容许控制.
设 Q : J → P ( X ) 为目标轨迹集, 容许控制对集表示为
A ( J , x 0 ) = { ( x ( ⋅ ) , u ( ⋅ ) ) ∈ C 1 − α ( J , X ) × V : ( x ( ⋅ ) , u ( ⋅ ) ) 是对应于 x 0 ∈ X } ,
X ( J , x 0 ) = { x ( ⋅ ) ∈ C 1 − α ( J , X ) : ( x ( ⋅ ) , u ( ⋅ ) ) ∈ A ( J , x 0 ) 针对于某些 u ( ⋅ ) ∈ V } .
ℜ ( r : 0 , x 0 ) = { x ( r ) : x ( ⋅ ) ∈ X ( [ 0 , r ] , x 0 ) } .
B ( 0 , x 0 ) = { ( x ( ⋅ ) , u ( ⋅ ) ) ∈ ⋃ r > 0 A ( [ 0 , r ] , x 0 ) : x ( ¯ t ) ∈ Q ( ¯ t ) 针对于某些 ¯ t ≥ 0 }
T ( x ( ⋅ ) ) = { ¯ t ∈ J : x ( ¯ t ) ∈ Q ( ¯ t ) } , ∀ x ( ⋅ ) ∈ ⋃ 0 < r < T C 1 − a ( [ 0 , r ] , X ) .
问题 T 设 B ( 0 , x 0 ) ≠ ∅ , 寻找 ( x ∗ ( ⋅ ) , u ∗ ( ⋅ ) ) ∈ B ( 0 , x 0 ) 和 t ∗ ∈ T ( x ∗ ( ⋅ ) ) 使得
t ∗ = min
本文的目的是研究半线性 Riemann-Liouville 分数阶发展反馈最优控制系统的容许轨迹和时间最优控制的存在性结果. 首先, 在合理的假设条件下研究系统(1.1)温和解的存在性. 其次, 在半群 T(t) 为紧的前提下借用 Cesari 性质和 Fillippove 定理证明允许控制轨迹的存在性. 最后, 给出问题 T 的时间最优反馈控制的存在性.
本文的其余部分组织如下: 第 2 节介绍用到的一些必要的预备知识. 第 3 节主要建立系统 (1.1) 温和解存在唯一性. 第 4 节研究容许轨迹的存在性. 第 5 节讨论问题T的存在性结果. 最后, 给出实例来说明本文的主要结果.
2 预备知识
全文用符号 \rightharpoonup 表示弱收敛. 设 X 是自反可分的 Banach 空间, J=[b] 是 Lebesgue 测度 \mu 关于 \sigma - 代数 \Sigma 的子集. C(J, X) 记为Banach 空间中所有 X - 值从 J 映射到 X 连续函数集并且其赋予的范数为 \|x\|_{C(J, X)}=\sup\limits_{t\in J}\|x(t)\|. 为了考虑系统 (1.1) 的温和解, 同时考虑如下空间
C_{1-\alpha}(J, H)=\{x :t^{1-\alpha}x(t)\in C(J, H)\},
其赋予范数为 \|x\|_{C_{1-\alpha}}=\sup\{t^{1-\alpha}\|x(t)\|_{H}:t\in J\}. 显然, C_{1-\alpha}(J, X) 空间为 Banach 空间. 记 L^{\gamma}(J, X) 为 Banach 空间中从 J 映射到 X 中 Bochner 可积函数集其赋予的范数为
\|m\|_{L^{\gamma}(J, X)}:=\bigg(\int_J\|m(t)\|^{\gamma}{\rm d}t\bigg)^{\frac{1}{\gamma}}<\infty, 1\leq \gamma<\infty.
对于 Banach 空间 X , 符号 \omega - X (或, s-X ) 通常用来记作空间 X 的弱 (或, 强) (范数)拓扑. 对于 X 的子集也用同样符号标记.
首先, 给出分数阶积分和导数的定义, 详见文献[15 ,27 ].
I^{\alpha}_{0^+}f(t)=\frac{1}{\Gamma(\alpha)}\int^{t}_{0}(t-s)^{\alpha-1}f(s){\rm d}s, t>0, 0<\alpha<1,
称为 \alpha 阶 Riemann-Liouville 分数阶积分, 其中 \Gamma 是 gamma 函数 (下同).
定义 2.2 函数 f 的 \alpha 阶 Riemann-Liouville 分数阶导数定义为
D^{\alpha}_{t}f(t)=\frac{1}{\Gamma(n-\alpha)}\frac{\rm d}{{\rm d}t}\int_{0}^{t}(t-s)^{-\alpha}f(s){\rm d}s, 0<\alpha<1, t>0.
接下来, 本文将用到如下记号: \mathcal {P}(X) 表示 X 中所有非空集合组成的集族.
\begin{eqnarray*} &&\mathcal {P}_{f}(X)=\{S\in \mathcal {P}(X):S \textrm{ 是闭的 }\}, \\ &&\mathcal {P}_{fb}(X)=\{S\in \mathcal {P}(X):S \textrm{ 是闭合有界的 }\}, \\ &&\mathcal {P}_{(w)k(c)}(X)=\{S\in \mathcal {P}(X):S \textrm{ 是 (弱) 紧 (凸) 的}\}, \end{eqnarray*}
现在给出一些集值映射的基本定义和结果, 对于详细介绍见专著[12 ] .
设 (\Omega, \Sigma) 是可测空间, (X, d) 为可分度量空间. 如果对于每个闭集 C\subseteq X 有 F^{-1}(C)=\{t\in \Omega:F(t)\cap C\neq\emptyset\}\in \Sigma , 则称集值映射 F:\Omega\rightarrow \mathcal{P}(X) 是可测的. 若 F:\Omega\times X\rightarrow \mathcal{P}_f(X) , 则集值映射 F 可测定义为 F^{-1}(E)\in\Sigma\otimes\mathcal{B}_{X} , 其中 \Sigma\otimes\mathcal{B}_{X} 表示由积集族 A\times B 生成的 \sigma - 代数, A\in\Sigma , B\in\mathcal{B}_{X} , 及 \mathcal{B}_{X} 是 X 中 Borel 集生成的 \sigma - 代数[11 ] .
考虑"Hausdorff 度量" h:\mathcal {P}(X)\times\mathcal{P}(X)\rightarrow \mathbb{R}^{+}\cup\{\infty\} ,
\begin{equation} h(A, B)=\max\left\{\sup_{a\in A} d(a, B), \sup_{b\in B} d(A, b)\right\}, \end{equation}
(2.1)
其中 d(x, C) 表示点 x 到集合 C 的距离, 则通常把(2.1)式定义的 h(A, B) 称之为 A, B 之间的 Hausdorff 距离.
定义 2.3 设 W, Z 为 Hausdorff 拓扑空间, F:W\rightarrow \mathcal{P}(Z) , 则
(i) F 在 x_0\in W 点称之为下半连续的 (简记为 l.s.c.), 如果对于每个开子集 D\subseteq Z , F(x_0)\cap D \neq\emptyset , 存在 x_0 的邻域 O(x_0) 使得对所有的 x\in O(x_0) 有 F(x)\cap D\neq\emptyset ;
(ii) 如果对于每个开子集 D\subseteq Z , F(x_0)\subseteq D , 存在 x_0 的邻域 O(x_0) 使得对于所有的 x\in O(x_0) , 有 F(x)\subseteq D , 则称 F 在 x_0\in X 点是上半连续的 (简记为 u.s.c.);
(iii) 如果对于每个有界集 V \subseteq W 都有 F(V ) 是相对紧的, 则称 F 是全连续的.
定义 2.4 [18 ] 设 E 和 T 为两个度量空间. 如果 F:T\rightarrow \mathcal{P}(E) 在点 t\in T 处满足
\begin{equation*} \bigcap_{\epsilon>0}\overline{F(O_{\epsilon}(t))}=F(t), \end{equation*}
则称集值 F 在该点处是伪连续的, 其中 O_\epsilon (t)=\{\tau\in J:\|\tau-t\|<\epsilon\} . T 如果集值函数 F 在每一点 t\in T 处都是伪连续的, 则称集值 F 在 T 中是伪连续的.
定义 2.5 [18 ] 设 X 是度量空间, Y 是 Banach 空间. 设 F:X\rightarrow \mathcal{P}(Y) 是集值映射. 如果
\begin{eqnarray} \bigcap_{\delta>0}\overline{co}F(O_{\delta}(x_{0}))=F(x_{0}), \nonumber \end{eqnarray}
则称 F 在 x_{0}\in X 处具有 Cesari 性质, 其中 \overline{co}D 表示集合 D 的闭凸包, O_{\delta}(x) 表示 x 的 \delta - 邻域. 如果 F 在每一点 x\in Z\subset X 具有 Cesari 性质, 则称 F 在 Z 上具有 Cesari 性质.
由定义 2.1, 2.2和文献[23 ,33 ]的结果, 得到如下概念
定义 2.6 如果 x\in C_{1-\alpha}(J, H), I_{0^+}^{1-\alpha}x(t)|_{t=0}=x_0 及存在 u\in L^p(J, V)(p>\frac{1}{\alpha}) 使得 u(t)\in U(t, x(t)) a.e. t\in J 和
\begin{equation} x(t)=t^{\alpha-1}T_{\alpha}(t)x_0+\int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)f(s, x(s)u(s)){\rm d}s, \end{equation}
(2.2)
则称函数 x(\cdot) 是系统(1.1)的温和解, 其中
\begin{equation*} T_{\alpha}(t)=\alpha\int_0^{\infty}\theta\xi_{\alpha}(\theta)T(t^{\alpha}\theta){\rm d}\theta, \xi_{\alpha}(\theta)=\frac{1}{\alpha}\theta^{-1-\frac{1}{\alpha}}\varpi_{\alpha}\big(\theta^{-\frac{1}{\alpha}}\big)\geq0, \end{equation*}
\begin{equation*} \varpi_{\alpha}(\theta)=\frac{1}{\pi}\sum_{n=1}^{\infty}(-1)^{n-1}\theta^{-n\alpha-1} \frac{\Gamma(n\alpha+1)}{n!}\sin(n\pi\alpha), \, \, \theta\in(0, \infty), \end{equation*}
\xi_{\alpha} 是定义在 (0, \infty) 上的概率密度函数[26 ] , 并且
\begin{equation*} \xi_{\alpha}(\theta)\geq0, \quad \theta\in(0, \infty), \quad \int_0^{\infty}\xi_{\alpha}(\theta){\rm d}\theta=1. \end{equation*}
\begin{equation} \int_0^{\infty}\theta\xi_{\alpha}(\theta){\rm d}\theta=\frac{1}{\Gamma(1+\alpha)}. \end{equation}
(2.3)
引理 2.1 [33 ,引理 3.2-3.4] 算子 T_{\alpha}(t) 具有如下性质
(i) 对任意固定的 t\geq 0, T_{\alpha}(t) 是线性有界算子, 即: 对任意 x\in X, 有
\begin{equation*} \|T_{\alpha}(t)x\|\leq \frac{M}{\Gamma(\alpha)}\|x\|; \end{equation*}
(ii) \{T_{\alpha}(t), t\geq 0\} 是强连续的;
(iii) 如果 T(t) 是紧的, 则对任意 t> 0, T_{\alpha}(t) 也是紧的.
引理 2.2 [7 ,10 ] 设 \beta>0, a(t) 在 [b] 上是非负局部可积的函数, b(t) 是定义在区间 [b] 上非负非递减连续函数且 b(t)\leq M (常数), 并且函数 y(t) 在 [b] 上是非负局部可积的函数, 且有
\begin{equation*}y(t)\leq a(t)+b(t)\int_{0}^{t}(t-s)^{\beta-1}y(s){\rm d}s, t\in [b].\end{equation*}
\begin{equation*}y(t)\leq a(t)+\int_{0}^{t}\left[\sum_{n=1}^{\infty}\frac{[b(t)\Gamma(\beta)]^{n}}{\Gamma(n\beta)}(t-s)^{n\beta-1}a(s)\right]{\rm d}s, t\in [b].\end{equation*}
另外, 如果 a(t) 在区间 [b] 上是非递减函数, 则
\begin{equation*}y(t)\leq a(t)E_\beta\left(b(t)\Gamma(\beta)t^{\beta}\right), \end{equation*}
其中 E_\beta 是定义如下的 Mittag-Leffler 函数
\begin{equation*}E_\beta(z)=\sum_{k=0}^{\infty}\frac{z^{k}}{\Gamma(k\beta+1)}.\end{equation*}
3 温和解的存在性
本节主要是研究 Riemann-Liouville 型分数阶微分控制系统温和解的存在唯一性. 为了解决这个问题, 我们需要以下假设
H(A) 算子 A 是 X 上 C_0 - 半群 T\left( t \right)\left( {t \ge 0} \right) 的无穷小生成元, 且对任意 t>0, T(t) 是紧的.
H(f) 函数 f : J \times X \times V \to X 关于 (t, x, u) 是 Borel 可测, 关于 (x, u) 是连续并且存在一个常数 L>0 , 使得
(i) \left\| f\left( {t, x, u} \right)\right\| \le L( 1 + \left\| x \right\| ) , a.e. t \in J, 对于所有的 x\in X ;
(ii) \left\| {f\left( {t, {x_1}, u} \right) - f\left( {t, {x_2}, u} \right)} \right\| \le L\left\| {{x_1} - {x_2}} \right\|, a.e. t{\rm{ }} \in {\rm{ }}J, 对于所有的 x_1, x_2\in X .
接下来, 给出系统(2.2)解的存在性和唯一性结果.
定理 3.1 设条件 H(A), H(f) 成立, 则对给定的控制函数 u \in L^p ( J, V ) ( p > \frac{1}{\alpha } ), 系统(2.2)存在唯一的温和解.
\begin{equation} \left( {\digamma x} \right)\left( t \right) = {t^{\alpha - 1}}{T_\alpha }\left( t \right){x_0} + {\int_0^t {\left( {t - s} \right)} ^{\alpha - 1}} {T_\alpha }\left( {t - s} \right)f\left( {s, x\left( s \right), u\left( s \right)} \right){\rm d}s \end{equation}
(3.1)
首先, 在定理的假设条件下, 不难验证映射 \digamma 是从 C_{1-\alpha}(J, X) 映到它本身的.
其次, 证明 \digamma^{n} 在 C_{1-\alpha}(J, X) 上是一个压缩映射.
实际上, 对任意的 x, y\in C_{1-\alpha}(J, X) 和 t\in J, 有
\begin{matrix} t^{1-\alpha}\|(\digamma x)(t)\!-\!(\digamma y)(t)\|&\leq& t^{1-\alpha}\int_{0}^{t}(t-s)^{\alpha-1}\|T_{\alpha}(t-s)[f(s, x(s), u(s))\!-\!f(s, y(s), u(s))]\|{\rm d}s\nonumber\\ &\leq&\frac{LM}{\Gamma(\alpha)}t^{1-\alpha}\int_{0}^{t}(t-s)^{\alpha-1}s^{\alpha-1}s^{1-\alpha}\|x(s)-y(s)\|{\rm d}s\nonumber\\ &\leq& \frac{\Gamma(\alpha)LMt}{\Gamma(2\alpha)}\|x-y\|_{C_{1-\alpha}}. \end{matrix}
(3.2)
由 (3.1), (3.2) 式并计算 n 次, 容易得到
t^{1-\alpha}\|(\digamma^{n} x)(t)-(\digamma^{n} y)(t)\|\leq \frac{\Gamma(\alpha)(LMt^{\alpha})^{n}}{\Gamma[(n+1)\alpha]}\|x-y\|_{C_{1-\alpha}}.
\|\digamma^{n} x-\digamma^{n}y\|_{C_{1-\alpha}}\leq \frac{\Gamma(\alpha)(LMT^{\alpha})^{n}}{\Gamma[(n+1)\alpha]}\|x-y\|_{C_{1-\alpha}}.
由于 \frac{(LMT^{\alpha})^{n}}{\Gamma[(n+1)\alpha]} 是一般的 Mittag-Leffler 级数形式 E_{\alpha, \alpha}(MLT^{\alpha}) 并且这级数在 J 上是一致收敛的, 则对充分大的 n , 有
\frac{\Gamma(\alpha)(LMT^{\alpha})^{n}}{\Gamma[(n+1)\alpha]}<1.
因此, \digamma^{n} 在 C_{1-\alpha}(J, X) 上是一个压缩算子. 由定理的结果, 得到 \digamma 在 C_{1-\alpha}(J, X) 有唯一的一个不动点 x(\cdot) , 并且这不动点就是系统(2.2)的解. 得证.
4 容许轨迹存在性
本节考虑系统(1.1)容许轨迹的存在性. 为了得到容许轨迹的存在性, 我们需要做出如下假设条件
H(U) 集值映射 U:J \times X \to \mathcal{P}\left( V \right) 是伪连续的并且满足
(i) 对于所有 (t, x) \in J \times X , 存在函数 \theta \in {L^2}\left( {J, {\mathbb{R}^ + }} \right) 和正常数 L_u , 使得
\left\| {U\left( {t, x} \right)} \right\| \le \theta \left( t \right){\rm{ }} + L_u \left\| x \right\|_X, \textrm{对于所有的 }(t, {\rm{ }}x) \in J \times X;
(ii) 对于 a.e. t \in J, x \in X , 集合 U(t, x) 满足
\bigcap\limits_{\delta > 0} {\overline {co} } U\left( {{O_\delta }\left( {t, x} \right)} \right) = U\left( {t, x} \right).
H(Q) Q:J \to \mathcal{P}\left( X \right) 是伪连续的.
H(C) 对所有的 \left( {t, x} \right) \in J \times X, 有
\bigcap\limits_{\delta > 0} {\overline {co} } f\left( {t, O_\delta \left( x \right), U\left( {O_\delta \left( {t, x} \right)} \right)} \right) = f\left( {t, x, U\left( {t, x} \right)} \right),
其中, O_\delta ( x)= \{ \bar{x} \in X:\|x - \bar{x}\|<\delta\}, O_\delta (t, x) 也类似.
引理 4.1 [32 ,命题 2.1] 设 U:J \times X \to \mathcal{P}( V ) 是上半连续取闭值, 且 f\left( {t, x, u} \right) 关于 ( {x, u} ) 是一致连续对于 t \in J , 则 H(C) 成立当且仅当 f\left( {t, x, U(t, x)} \right) 是闭凸的.
为了得到容许轨迹的存在性结果, 本文需要如下引理.
引理 4.2 [30 ,引理 3.5] 设 T(t)(t\geq0) 是 X 中紧的 C_0 - 半群. 则对任意的 p>\frac{1}{\alpha} , 算子
\begin{equation*} (\Pi g)(\cdot)=\int_0^{\cdot}(\cdot-s)^{\alpha-1} T_{\alpha}(\cdot-s)g(s){\rm d}s \end{equation*}
定理 4.1 设 H(A), H(f), H(U) 和 H(C) 成立, 那么对于任意 u \in V , 容许轨迹集 \mathfrak{X}( J, x_0) 是非空的. 而且, 对于任何 u \in V , 集合 \mathfrak{X}( J, x_0) 在 {C_{1 - \alpha }}\left( {J, X} \right) 中是紧的.
证 对于任意的 k > 0 , 对任意的 {l_i} = \frac{i}{k}T, 0 \le i \le k - 1 , 设
\begin{equation*} u_k(t)=\sum_{i=0}^{k-1}u^i\chi_{[t_i, t_{i+1})}(t), t\in J, \end{equation*}
其中, \chi_{[t_i, t_{i+1})} 是区间 [t_i, t_{i+1}) 的特征函数. 序列 \{u^i\} 的构造如下
首先, 设 u^0\in U(0, x_0) , 存在 x_k\in C_{1-\alpha}(J, X) , 使得
\begin{eqnarray*} x_k(t)=t^{\alpha-1}T_{\alpha}(t)x_0+\int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)f(s, x_k(s), u^0(s)){\rm d}s. \end{eqnarray*}
其次, 取 u^1\in U(\frac{T}{k}, x_k(\frac{T}{k})) , 我们可以重复这个过程在 [\frac{T}{k}, \frac{2T}{k}] 得到 x_k , 再以类似的方式, 得到如下结果
\begin{eqnarray*} \left\{\begin{array}{llll} x_k(t)=t^{\alpha-1}T_{\alpha}(t)x_0+\int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)f(s, x_k(s), u_k(s)){\rm d}s, t\in[\frac{iT}{k}, \frac{(i+1)T}{k}), \\[3mm] u_k(t)\in U(\frac{iT}{k}, x_k(\frac{iT}{k})). \end{array}\right. \end{eqnarray*}
由定理 3.1 的证明, 易知存在一个常数 \gamma_0>0 , 使得
\begin{equation*} \|x_k\|_{C_{1-\alpha}(J, X)}\leq \gamma_0. \end{equation*}
另外, 由 H(f) 和 H(U)(i), 可知存在 \gamma_i>0, i=1, 2 , 使得
\begin{equation*} \|f(\cdot, x_k(\cdot), u_k(\cdot))\|\leq \gamma_1\quad\textrm{及 }\ \|u_k\|\leq\gamma_2. \end{equation*}
由于 L^p(J, X) 是自反 Banach 空间, 由 (1.1) 式知, 存在序列 \{f(\cdot, x_k(\cdot), u_k(\cdot))\} , 不失一般性, 使得
\begin{matrix} f(\cdot, x_k(\cdot), u_k(\cdot))\rightharpoonup \overline{f}(\cdot)\textrm{ 在} L^p(J, X)\textrm{ 中}. \end{matrix}
(4.1)
\begin{eqnarray*} \int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)f(s, x_k(s), u_k(s)){\rm d}s\rightarrow\int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)\overline{f}(s){\rm d}s,\ \forall\ t\in J. \end{eqnarray*}
\begin{equation} \overline{x}(t)=t^{\alpha-1}T_{\alpha}(t)x_0+\int_0^t(t-s)^{\alpha-1}T_{\alpha}(t-s)\overline{f}(s){\rm d}s. \end{equation}
(4.2)
\begin{equation} x_k(t)\rightarrow \overline{x}\ \textrm{ 在}\ L^p(J, X). \end{equation}
(4.3)
由 (4.3) 式, 对任意的 \delta>0 , 存在 k_0>0 使得
\begin{equation} x_k(t)\in O_{\delta}(t_i, x_k(t_i)), t\in J, k\geq k_0. \end{equation}
(4.4)
同时, 对充分大的 k , 由 u_k(\cdot) 的定义, 有
\begin{equation} u_k(t)\in U(t_i, x_k(t_i))\subset U(O_{\delta}(t_i, x_k(t_i))). \end{equation}
(4.5)
其次, 由 (4.1) 式和 Mazur 引理, 设 \mu_{il}\geq0 和 \sum\limits_{i\geq1}\mu_{il}=1 , 使得
\begin{equation*} \lambda_l(\cdot)=\sum_{i\geq1}\mu_{il}f(\cdot, x_{i+l}(\cdot), u_{i+l}(\cdot)) \rightarrow\overline{f}(\cdot)\textrm{ 在 }L^p(J, X)\textrm{中}. \end{equation*}
则存在 \{\lambda_l\} 的子序列, 不失一般性, 仍记为 \{\lambda_l\} , 使得
\begin{equation*} \lambda_l(t)\rightarrow \overline{f}(t)\textrm{ 在 } X \textrm{ a.e. } t\in J. \end{equation*}
因此, 由 (4.4) 和 (4.5) 式, 对充分大的 l , 有
\begin{equation*} \lambda_l(t)\in\textrm{co}f(t, O_{\delta}(\overline{x}(t)), U(O_{\delta}(t, \overline{x}(t)))), \textrm{ a.e. }t\in J. \end{equation*}
\begin{equation*} \overline{f}(t)\in\overline{\textrm{co}}f(t, O_{\delta}(\overline{x}(t)), U(O_{\delta}(t, \overline{x}(t)))), \textrm{ a.e. }t\in J. \end{equation*}
\begin{equation*} \overline{f}(t)\in\overline{\textrm{co}}f(t, \overline{x}(t), U(t, \overline{x}(t))), \textrm{ a.e. }t\in J. \end{equation*}
由H(U)(ii)和文献[18 , 第 3 章, 推论 2.18], 可知 U(\cdot, \overline{x}(\cdot)) 是 Souslin 可测的.利用 Fillipove 定理 (见文献[18 , 第 3 章,推论 2.26]), 存在控制函数 \overline{u}\in V 使得
\begin{matrix} \left\{\begin{array}{llll} \overline{u}(t)\in U(t, \overline{x}(t)), \textrm{ a.e. }t\in J, \\ \overline{f}(t)=f(t, \overline{x}(t), \overline{u}(t)), \textrm{ a.e. }t\in J. \end{array}\right. \end{matrix}
(4.6)
\begin{equation*} (\overline{x}, \overline{u})\in\mathfrak{A}(J, x_0). \end{equation*}
最后, 令 \{x^k(\cdot)\}_{k\geq1}\subset\mathfrak{X}(J, x_0) 和
\begin{equation*} \|x^k\|_{C_{1-\alpha}(J, X)}\leq\gamma_0, \quad\textrm{在 }C_{1-\alpha}(J, X). \end{equation*}
则类似于上述证明, 易知 \{x^k(\cdot)\}_{k\geq1} 在 C_{1-\alpha}(J, X) 中是相对紧的. 同时, 存在 \{x^k(\cdot)\}_{k\geq1}\subset\mathfrak{X}(J, x_0) 的子序列, 不失一般性, 仍记为 \{x^k(\cdot)\}_{k\geq1} , 使得
\begin{equation*} x^k(\cdot)\rightarrow \widehat{x}(\cdot), \quad\textrm{在 }C_{1-\alpha}(J, X). \end{equation*}
再次利用条件 H(C), 可知 \widehat{x}(\cdot)\in\mathfrak{X}(J, x_0) . 所以, \mathfrak{X}(J, x_0) 在 C_{1-\alpha}(J, X) 中是紧的.
推论 4.1 设条件 H(A), H(f), H(U) 和 H(C) 成立. 则对任意的 x_0\in X 和 0\leq t\leq T , 集合 \mathfrak{R}(t;0, x_0) 在 X 中是非空紧的.
定理 4.2 设 H(A), H(f), H(U) 和 H(C) 成立. 则对任意的 x_0\in X 集值映射 \mathfrak{R}(\cdot;0, x_0):J\rightarrow 是连续的 (关于 Hausdörff 度量).
证 由定理 4.1, 可知对每个 x_0\in X, t\in J , 和任意 x(\cdot)\in\mathfrak{X}(J, x_0) , 可以找到一个连续非减函数 \eta:[0, \infty)\rightarrow[0, \infty) 及 \eta(0)=0 , 使得
\begin{equation*} \|x(t_1)-x(t_2)\|\leq\eta(|t_1-t_2|), \quad\textrm{对于 } t_1, t_2\in J. \end{equation*}
\begin{equation*} h(\mathfrak{R}(t_1;0, x_0), \mathfrak{R}(t_2;0, x_0))\leq\eta(|t_1-t_2|), \quad \forall t_1, t_2\in J. \end{equation*}
所以, \mathfrak{R}(\cdot;0, x_0):J\rightarrow \mathcal{P}(X) 是连续的 (关于 Hausdörff 度量).
5 时间最优控制存在性
定理 5.1 设条件 H(A), H(f), H(U), H(Q) 和 H(C) 成立, 则问题 (T) 至少存在一个解.
证 设 x^0\in X, (x_n(\cdot), u_n(\cdot))\in \mathfrak{B}(0, x^0), \overline{t}_n\in \mathfrak{T}(x_n(\cdot)) 和
\begin{equation} \lim\limits_{n\rightarrow\infty}\overline{t}_n=t^*=\inf\limits_{(x(\cdot), u(\cdot))\in \mathfrak{B}(0, x^0)}\inf\mathfrak{T}(x(\cdot)). \end{equation}
(5.1)
则, 由 \mathfrak{T}(x_n(\cdot)) 的定义可知
\begin{equation} x_n(\overline{t}_n)\in Q(\overline{t}_n)\bigcap \mathfrak{R} (\overline{t}_n;0, x^0), \quad\forall n\geq1. \end{equation}
(5.2)
利用定理 4.1, 对任意的 t\in J 和 \overline{x}(\cdot)\in \mathfrak{X}(J, x^0) , 存在序列 \{x_n(\cdot)\}_{n\geq1} 使得
\begin{equation*} x_n(\cdot)\rightarrow\overline{x}(\cdot)\quad\textrm{在}\ C_{1-\alpha}(J, X). \end{equation*}
\begin{equation*} x_n(\overline{t}_n)\rightarrow\overline{x}(t^*)\quad\textrm{在}\ X. \end{equation*}
\begin{equation} \overline{x}(t^*)\in \mathfrak{R}(t^*;0, x^0). \end{equation}
(5.3)
由 (5.1) 式, 对任意的 \delta>0 , 和充分大的 n , 有
\begin{equation*} x_n(\overline{t}_n)\in Q(\overline{t}_n)\subset Q(O_{\delta}(t^*)). \end{equation*}
\begin{equation} \overline{x}(t^*)\in \bigcap\limits_{\delta>0} \overline{Q(O_{\delta}(t^*))}=Q(t^*). \end{equation}
\begin{equation*} \overline{x}(t^*)\in Q(t^*)\bigcap \mathfrak{R} (t^*;0, x^0). \end{equation*}
6 例子应用
设 X=Y=L^{2}([\pi]) . 考虑如下 Riemann-Liouville 分数阶热方程控制系统
\begin{equation} \left\{\begin{array}{llll} \frac{\partial^{\frac{3}{5}}}{\partial t^{\frac{3}{5}}}x(t, z)=\frac{\partial^2}{\partial z^2} x(t, z)+Bw(t, z)+G(t, z, x(t, z)), & t\in J=[0,1], z\in[\pi], \\[2mm] w(t, z)\in \widehat{U}(t, x(t, z)), &t\in J=[0,1], z\in[\pi], \\ x(t, 0)=x(t, \pi)=0, \quad &t\in [0,1], \\ x(0, z)=x_{0}(z), \qquad \quad& z\in[\pi], \end{array}\right. \end{equation}
(6.1)
其中 \frac{\partial^{\alpha}}{\partial t^{\alpha}} 表示 \alpha=\frac{3}{5} 是 Riemann-Liouville 分数阶导数. x(t, z) 表示在点 z\in [\pi] 和 t\in [0,1] 时刻的温度.
定义 A:D(A)\subset X\rightarrow X 为 Ax=x_{zz} , 其中, 定义域 D(A) 为
\begin{equation*} \{x\in X:x, x_z \textrm{ 是绝对连续的, } x_{zz}\in X, x(t, 0)=x(t, \pi)=0\}. \end{equation*}
\begin{equation*} Ax=\sum_{n=1}^{\infty}n^{2}\langle x, e_n\rangle e_n, x\in D(A), \end{equation*}
其中, e_n(z)=\sqrt{\frac{2}{\pi}}\sin nz, 0\leq x\leq \pi (n=1, 2, \cdots), 是 X 的一组正交基, \langle\cdot, \cdot\rangle 表示空间 L^2([\pi], \mathbb{R})\times L^2([\pi], \mathbb{R}) 的对偶积. 显然算子 A 是空间 X 中如下表示的紧半群 T(t) , t>0 的无穷小生成元
\begin{equation*} T(t)x=\sum_{n=1}^{\infty}e^{-n^{2}t}\langle x, e_n\rangle e_n, x\in X. \end{equation*}
定义 x(t)(z)=x(t, z) , w(t)(z)=w(t, z) . 令
F(t, x(t, z), w(t, z)) =Bw(t, z)+G(t, z, x(t, z)).
则 F(t, x(t), w(t)) (z) =F(t, x(t, z), w(t, z)) 和 \widehat{U}(t, x(t))(z)=\widehat{U}(t, x(t, z)) . 从而系统(6.1)可以写成形如系统(1.1)的抽象形式. 设 \widehat{U}:[0,1] \times X\rightarrow \mathcal{P}(Y) 是上半连续并且闭值的.
H(F) 设函数 F:J\times X\times Y\rightarrow X 满足如下条件.
(i) F:J\times X\times Y\rightarrow X 关于 t 是可测的, 关于 (x, w)\in X\times Y 是连续的对于 a.e. t\in J ;
(ii) 存在 \overline{L}>0 使得
\begin{eqnarray*} &&\|F(t, x_1, w)-F(t, x_2, w)\|\leq \overline{L}\|x_1-x_2\| \textrm{a.e.} t\in J, \textrm{对所有的} x_1, x_2\in X\\ &&\|F(t, x, w)\|\leq \overline{L}\quad\textrm{对所有的}\ (t, x)\in J\times X\times Y. \end{eqnarray*}
H(Û) 反馈集值映射 \widehat{U}:J\times X\rightarrow \mathcal{P}(Y) 是伪连续的且满足
(i) 对所有的 (t, x)\in J\times X , 存在函数 \theta\in L^2(J, R^+) 和常数 L_w>0 , 使得
\begin{equation*} \|\widehat{U}(t, x)\|\leq\theta(t)+L_w\|x\|_X; \end{equation*}
(ii) 对于 a.e. t\in J, x\in X , 集值映射 \widehat{U}(t, x) 满足
\begin{equation*} \bigcap_{\delta>0}\overline{\textrm{co}}\widehat{U}(O_{\delta}(t, x))=\widehat{U}(t, x). \end{equation*}
参考文献
View Option
[1]
Barbu V . The time-optimal control problem for parabolic variational inequalities
Appl Math Optim, 1984 , 11 : 1 -22
[本文引用: 1]
[2]
Berkovitz L D . Optimal Control Theory. New York : Springer-Verlag , 1974
[本文引用: 1]
[3]
Bin M J . Time optimal control for semilinear fractional evolution feedback control systems
Optimization, 2019 , 68 (4 ): 819 -832
[本文引用: 1]
[4]
Bin M J , Deng H Y , Li Y X , Zhao J . Properties of the set of admissible "state control" part for a class of fractional semilinear evolution control systems
Fract Calc Appl Anal, 2021 , 24 (4 ): 1275 -1298
[本文引用: 1]
[5]
Bin M J , Liu Z H . On the "bang-bang" principle for nonlinear evolution hemivariational inequalities control systems
J Math Anal Appl, 2019 , 480 (1 ): 123364
[本文引用: 1]
[6]
Bin M J , Liu Z H . Relaxation in nonconvex optimal control for nonlinear evolution hemivariational inequalities
Nonlinear Analysis: Real World Applications, 2019 , 50 : 613 -632
[本文引用: 1]
[7]
Dixon J , McKee S . Weakly singular discrete gronwall inequalities
Z Angew Math Mech, 1986 , 68 (11 ): 535 -544
[本文引用: 1]
[8]
Fattorini H O . Time-Optimal control of solutions of operational differential equations
SIAM J Control, 1964 , 2 : 54 -59
[本文引用: 1]
[9]
Glockle W G , Nonnenmacher T F . A fractional calculus approach of self-similar protein dynamics
Biophys J, 1995 , 68 : 46 -53
[本文引用: 1]
[10]
Henry D . Geometric Theory of Semilinear Parabolic Equations
Berlin-New York: Springer-Verlag, 1981
[本文引用: 1]
[11]
Himmelberg C J . Measurable relations
Fund Math, 1975 , 87 : 53 -72
[本文引用: 1]
[12]
Hu S , Papageorgiou N S . Handbook of Multivalued Analysis:Volume I Theory. Dordrecht : Kluwer Academic Publishers , 1997
[本文引用: 1]
[13]
Jeong J M , Kim J R , Roh H H . Optimal control problems for semilinear evolution equations
J Korean Math Soc, 2008 , 45 (3 ): 757 -769
[本文引用: 1]
[14]
Jeong J M , Son S J . Time optimal control of semilinear control systems involving time delays
J Optim Theory Appl, 2015 , 165 : 793 -811
[本文引用: 1]
[15]
Kilbas A A , Srivastava H M , Trujillo J J . Theory and Applications of Fractional Differential Equations
Netherlands: North-Holland, 2006
[本文引用: 2]
[16]
Kumar S , Sukavanam N . Approximate controllability of fractional order semilinear systems with bounded delay
J Diff Equ, 2012 , 252 (11 ): 6163 -6174
[本文引用: 1]
[17]
LaSalle J P . The time optimal control problem// Cesari L, Lasalle J, Lefschetz S. Contributions to the Theory of Nonlinear Oscillations. Princeton : Princeton University Press , 1960 , 1 (5 ): 1 -24
[本文引用: 1]
[18]
Li X , Yong J . Optimal Control Theory for Infinite Dimensional Systems. Boston : Birkhäuser , 1995
[本文引用: 4]
[19]
Lightbourne J H , Rankin S M . A partial functional differential equation of Sobolev type
J Math Anal Appl, 1983 , 93 : 328 -337
[本文引用: 1]
[20]
Liu X Y , Liu Z H , Fu X . Relaxation in nonconvex optimal control problems described by fractional differential equations
J Math Anal Appl, 2014 , 409 (1 ): 446 -458
[本文引用: 1]
[21]
Liu Z H , Bin M J . Approximate controllability of impulsive Riemann-Liouville fractional equations in Banach spaces
J Int Equat Appl, 2014 , 26 (4 ): 527 -551
[本文引用: 1]
[22]
Liu Z H , Li X W . Approximate controllability for a class of hemivariational inequalities
Nonlinear Anal RWA, 2015 , 22 : 581 -591
[本文引用: 1]
[23]
Liu Z H , Li X W . Approximate controllability of fractional evolution systems with Riemann-Liouville fractional derivatives
SIAM J Control Optim, 2015 , 53 (4 ): 1920 -1933
[本文引用: 1]
[24]
Liu Z H , Zeng S D , Bai Y R . Maximum principles for multi-term space-time variable-order fractional diffusion equations and their applications
Fractional Calculus & Applied Analysis, 2016 , 19 (1 ): 188 -211
[本文引用: 1]
[25]
Lu L , Liu Z H . Existence and controllability results for stochastic fractional evolution hemivariational inequalities
Appl Math Comput, 2015 , 268 : 1164 -1176
[本文引用: 1]
[26]
Mainardi F , Paradisi P , Gorenflo R . Probability distributions generated by fractional diffusion equations//Kertesz J, Kondor I, eds. Dordrecht : Kluwer Academic Publisher , 2000
[本文引用: 1]
[27]
Podlubny I . Fractional Differential Equations. San Diego : Academic Press , 1999
[本文引用: 2]
[28]
Wang J R , Fečkan M , Zhou Y . Approximate controllability of sobolev type fractional evolution systems with nonlocal conditions
Evolution Equations and Control Theory, 2017 , 6 (3 ): 471 -486
[本文引用: 1]
[29]
Wang J R , Fečkan M , Zhou Y . Fractional order differential switched systems with coupled nonlocal initial and impulsive conditions
Bulletin des Sciences Mathématiques, 2017 , 141 : 727 -746
[本文引用: 1]
[30]
Wang J R , Zhou Y , Wei W . Optimal feedback control for semilinear fractional evolution equations in Banach spaces
Syst Contr Letter, 2012 , 61 : 472 -476
[本文引用: 1]
[31]
Warga J . Optimal Control of Differential and Functional Equations. New York : Academic Press , 1972
[本文引用: 1]
[32]
Yong J M . Time optimal controls for semilinear distributed parameter systems-existence theory and necessary conditions
Kodai Mathematical Journal, 1991 , 14 (2 ): 239 -253
[本文引用: 2]
[33]
Zhou Y , Jiao F . Existence of mild solutions for fractional neutral evolution equations
Comput Math Appl, 2010 , 59 : 1063 -1077
[本文引用: 2]
The time-optimal control problem for parabolic variational inequalities
1
1984
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
1
1974
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
Time optimal control for semilinear fractional evolution feedback control systems
1
2019
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Properties of the set of admissible "state control" part for a class of fractional semilinear evolution control systems
1
2021
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
On the "bang-bang" principle for nonlinear evolution hemivariational inequalities control systems
1
2019
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Relaxation in nonconvex optimal control for nonlinear evolution hemivariational inequalities
1
2019
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Weakly singular discrete gronwall inequalities
1
1986
... 引理 2.2 [7 ,10 ] 设 \beta>0, a(t) 在 [b] 上是非负局部可积的函数, b(t) 是定义在区间 [b] 上非负非递减连续函数且 b(t)\leq M (常数), 并且函数 y(t) 在 [b] 上是非负局部可积的函数, 且有 ...
Time-Optimal control of solutions of operational differential equations
1
1964
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
A fractional calculus approach of self-similar protein dynamics
1
1995
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Geometric Theory of Semilinear Parabolic Equations
1
1981
... 引理 2.2 [7 ,10 ] 设 \beta>0, a(t) 在 [b] 上是非负局部可积的函数, b(t) 是定义在区间 [b] 上非负非递减连续函数且 b(t)\leq M (常数), 并且函数 y(t) 在 [b] 上是非负局部可积的函数, 且有 ...
Measurable relations
1
1975
... 设 (\Omega, \Sigma) 是可测空间, (X, d) 为可分度量空间. 如果对于每个闭集 C\subseteq X 有 F^{-1}(C)=\{t\in \Omega:F(t)\cap C\neq\emptyset\}\in \Sigma , 则称集值映射 F:\Omega\rightarrow \mathcal{P}(X) 是可测的. 若 F:\Omega\times X\rightarrow \mathcal{P}_f(X) , 则集值映射 F 可测定义为 F^{-1}(E)\in\Sigma\otimes\mathcal{B}_{X} , 其中 \Sigma\otimes\mathcal{B}_{X} 表示由积集族 A\times B 生成的 \sigma - 代数, A\in\Sigma , B\in\mathcal{B}_{X} , 及 \mathcal{B}_{X} 是 X 中 Borel 集生成的 \sigma - 代数[11 ] . ...
1
1997
... 现在给出一些集值映射的基本定义和结果, 对于详细介绍见专著[12 ] . ...
Optimal control problems for semilinear evolution equations
1
2008
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Time optimal control of semilinear control systems involving time delays
1
2015
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Theory and Applications of Fractional Differential Equations
2
2006
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
... 首先, 给出分数阶积分和导数的定义, 详见文献[15 ,27 ]. ...
Approximate controllability of fractional order semilinear systems with bounded delay
1
2012
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
1
1960
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
4
1995
... 定义 2.4 [18 ] 设 E 和 T 为两个度量空间. 如果 F:T\rightarrow \mathcal{P}(E) 在点 t\in T 处满足 ...
... 定义 2.5 [18 ] 设 X 是度量空间, Y 是 Banach 空间. 设 F:X\rightarrow \mathcal{P}(Y) 是集值映射. 如果 ...
... 由H(U)(ii)和文献[18 , 第 3 章, 推论 2.18], 可知 U(\cdot, \overline{x}(\cdot)) 是 Souslin 可测的.利用 Fillipove 定理 (见文献[18 , 第 3 章,推论 2.26]), 存在控制函数 \overline{u}\in V 使得 ...
... 是 Souslin 可测的.利用 Fillipove 定理 (见文献[18 , 第 3 章,推论 2.26]), 存在控制函数 \overline{u}\in V 使得 ...
A partial functional differential equation of Sobolev type
1
1983
... 由文献[19 ]可知, A 可以写成 ...
Relaxation in nonconvex optimal control problems described by fractional differential equations
1
2014
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Approximate controllability of impulsive Riemann-Liouville fractional equations in Banach spaces
1
2014
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Approximate controllability for a class of hemivariational inequalities
1
2015
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Approximate controllability of fractional evolution systems with Riemann-Liouville fractional derivatives
1
2015
... 由定义 2.1, 2.2和文献[23 ,33 ]的结果, 得到如下概念 ...
Maximum principles for multi-term space-time variable-order fractional diffusion equations and their applications
1
2016
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Existence and controllability results for stochastic fractional evolution hemivariational inequalities
1
2015
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
1
2000
... \xi_{\alpha} 是定义在 (0, \infty) 上的概率密度函数[26 ] , 并且 ...
2
1999
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
... 首先, 给出分数阶积分和导数的定义, 详见文献[15 ,27 ]. ...
Approximate controllability of sobolev type fractional evolution systems with nonlocal conditions
1
2017
... 另一方面, 随着分数阶微积分理论在各个领域应用研究的不断深入, 它同样也引起了控制领域相关专家和学者们广泛关注. 分数阶微分方程的控制理论之所以备受关注主要是因为它已经成为一种在解决各种实际数学模型问题强有力工具. 但是, 它真正进入学术领域是在十九世纪, 从 Tustin 在研究多目标位置控制时第一次引入分数阶控制以来, 分数阶控制理论得到了飞速的发展. 值得注意的是, 分数阶控制系统的研究已经成为一个新兴而又活跃的研究领域. 例如, 文献[21 ,22 ,25 ,28 ]考虑了分数阶微分系统的可控性, 文献[13 ,20 ]考虑分数阶微分系统的最优控制, 而 Jeong 和 Son[14 ] 研究了分数阶微分系统的时间最优控制. ...
Fractional order differential switched systems with coupled nonlocal initial and impulsive conditions
1
2017
... 随着科学技术的不断发展, 从上世纪九十年代以来, 人们发现自然界中越来越多的问题用整数阶微分方程的思想难以刻画解决, 但是用分数阶微积分的方法却很容易解决. 最近, 分数阶微分方程已经成为一个重要的研究领域. 许多研究人员发现许多自然现象都可以用分数阶微分系统来描述. 更准确地说, 分数阶微分方程已被广泛应用于物理、化学过程和工程的模型. 因此, 大量的研究人员正在关注分数阶微分方程的理论[3 ⇓ ⇓ -6 ,9 ,15 ,16 ,24 ,27 ,29 ] . ...
Optimal feedback control for semilinear fractional evolution equations in Banach spaces
1
2012
... 引理 4.2 [30 ,引理 3.5] 设 T(t)(t\geq0) 是 X 中紧的 C_0 - 半群. 则对任意的 p>\frac{1}{\alpha} , 算子 ...
1
1972
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
Time optimal controls for semilinear distributed parameter systems-existence theory and necessary conditions
2
1991
... 时间最优控制问题也被称为最小时间控制问题、自由最终时间最优控制问题或 Bang-Bang 控制问题. 这是同一类最优控制问题的不同定义, 其目的是将系统初始状态在控制作用下最短的时间内达到给定的最终状态. Lasalle[17 ] 在 1960 第一次展开研究之后, Berkovitz[2 ] 和 Warga[31 ] 研究了有限维情况下的时间最优控制, Barbu[1 ] , Fattorini[8 ] 和 Yong[32 ] 讨论了无限维情况下的时间最优控制. 然而, 对于 Riemann-Liouville 由分数阶线性微分方程驱动的反馈控制系统的时间最优控制问题研究鲜有学者涉足研究. Riemann-Liouville 分数阶导数或积分的初始值对于解决一些现实生活中的问题是一项强有力的工具, 本文旨在初步探究 Riemann-Liouville 型分数阶微分控制系统的反馈控制系统的时间最优控制问题. ...
... 引理 4.1 [32 ,命题 2.1] 设 U:J \times X \to \mathcal{P}( V ) 是上半连续取闭值, 且 f\left( {t, x, u} \right) 关于 ( {x, u} ) 是一致连续对于 t \in J , 则 H(C) 成立当且仅当 f\left( {t, x, U(t, x)} \right) 是闭凸的. ...
Existence of mild solutions for fractional neutral evolution equations
2
2010
... 由定义 2.1, 2.2和文献[23 ,33 ]的结果, 得到如下概念 ...
... 引理 2.1 [33 ,引理 3.2-3.4] 算子 T_{\alpha}(t) 具有如下性质 ...