本文运用Sadovskii不动点定理研究了一类带有非局部积分边界条件的分数阶发展方程的精确可控性。 In this paper, by using the Sadovskii fixed point theorem, the exact controllability for a class of fractional evolution equations with nonlocal integral boundary conditions is studied.
张永,杨和*
西北师范大学数学与统计学院,甘肃 兰州
收稿日期:2020年4月16日;录用日期:2020年5月5日;发布日期:2020年5月12日
本文运用Sadovskii不动点定理研究了一类带有非局部积分边界条件的分数阶发展方程的精确可控性。
关键词 :分数阶发展方程,精确可控性,积分边界条件,不动点定理
Copyright © 2020 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
设X是Banach空间。考虑X中带非局部积分边界条件的非线性分数阶发展方程
{ D C q x ( t ) = A x ( t ) + B u ( t ) + f ( t , x ( t ) ) , t ∈ I x ( 0 ) = H ( x ) (1)
的精确可控性。其中 I : = [ 0 , a ] , a > 0 是常数, D C q 是 q ( 0 < q ≤ 1 ) 阶Caputo型分数阶导数; A : D ( A ) ⊂ Χ → Χ 是X中一致有界的等度连续半群 { T ( t ) ; t ≥ 0 } 的无穷小生成元,即 ∃ M ≥ 1 ,使得对 t ≥ 0 ,有 ‖ T ( t ) ‖ ≤ M ,控制函数 u ( ⋅ ) ∈ L 2 ( I , U ) ,U是Hilbert空间, B : U → Χ 线性有界算子; f : I × Χ → Χ 是给定的函数; H ( x ) 是非局部函数 H : C ( I , Χ ) → Χ ,定义如下:
H ( x ) = ∫ 0 a g ( s , x ( s ) ) d s ,
其中 g : I × Χ → Χ 是一个给定的函数。
1993年,Leela等 [
受上述工作的启发,本文在较弱的“紧型”条件和非紧性测度条件下,当A生成一致有界的等度连续半群时,运用Sadovskii不动点定理讨论了带积分边界条件的分数阶发展系统(1)的精确可控性。需要特别指出的是,本文采用了与现有文献不同的方法证明了分数阶发展方程(1)的精确可控性,即在假设了相应的线性系统是精确可控的条件下,证明了分数阶发展方程(1)的精确可控性,此方法详见文献 [
设X为Banach空间,其范数为 ‖ ⋅ ‖ 。又设 C ( I , X ) 为定义于I取值于X的连续函数之集,按范数
‖ x ‖ C = max t ∈ I ‖ x ( t ) ‖
构成Banach空间,本文记N为正整数集。
下列关于分数阶微积分的概念参见文献 [
定义2.1 区间I上的函数f的 q > 0 阶分数阶积分定义为
I q f ( t ) = 1 Γ ( q ) ∫ 0 t f ( s ) ( t − s ) q − 1 d s , t > 0 ,
其中 Γ ( ⋅ ) 是Gamma函数。
定义2.2 区间I上的函数f的 q ∈ [ n − 1 , n ] 阶Riemann-Liouville型分数阶导数定义为
D L q f ( t ) = 1 Γ ( n − q ) d n d t n ∫ 0 t f ( s ) ( t − s ) q + 1 − n d s , t > 0 ,
其中 n = [ q ] 表示大于或者等于q的最小整数。
定义2.3 区间I上的函数f的 q ∈ [ n − 1 , n ] 阶Caputo型分数阶导数定义为
D C q f ( t ) = 1 Γ ( n − q ) ∫ 0 t f ( n ) ( s ) ( t − s ) q + 1 − n d s = I t n − q f ( n ) ( t ) , t > 0 ,
其中 n = [ q ] 。
注2.1 (I) Riemamn-Liouville型分数阶导数和Caputo型分数阶导数有下列关系:
D C q f ( t ) = D L q ( f ( t ) − ∑ k = 0 n − 1 t k k ! f ( k ) ( 0 ) ) .
(II) 常数的Caputo型导数为0。
(III) 如果f是X中的抽象函数,则定义2.1,2.2,2.3中的积分为Bochner意义下的积分。
由文献 [
定义 2.4 [
x ( t ) = S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s , t ∈ I ,
则称x是控制系统(1)的mild解,其中
S q ( t ) = ∫ 0 ∞ ξ q ( θ ) T ( t q θ ) d θ ;
T q ( t ) = q ∫ 0 ∞ θ ξ q ( θ ) T ( t q θ ) d θ ; ξ q ( θ ) = 1 q θ − 1 − 1 q ϖ q ( θ − 1 q ) ≥ 0 ;
ϖ q ( θ ) = 1 π ∑ n = 1 ∞ ( − 1 ) n − 1 θ − q n − 1 Γ ( n q + 1 ) n ! sin ( n π q ) , θ ∈ ( 0 , ∞ ) ,
这里
引理 2.1 [
‖ S q ( t ) x ‖ ≤ M ‖ x ‖ , ‖ T q ( t ) x ‖ ≤ q M Γ ( 1 + q ) ‖ x ‖ ,
其中 ‖ T ( t ) ‖ ≤ M , ∀ t ≥ 0 。
下面给出精确可控的概念及相关结论:
定义2.5 [
x ( a ) = x a ,
则称控制系统(1)在区间I上是精确可控的。
首先考虑相应的分数阶线性微分方程
{ D C q x ( t ) = A x ( t ) + B u ( t ) , t ∈ I x ( 0 ) = x 0 (2)
定义方程(2)的控制算子如下:
Γ 0 a = ∫ 0 a ( a − s ) q − 1 T q ( a − s ) B B * T q * ( a − s ) d s ,
其中 B * , T q * ( t ) 分别是B, T q ( t ) 的共轭算子。显然 Γ 0 a 是线性算子。
设 x a ( x 0 ; u ) 为系统(2)相应于控制函数u和初值 x 0 在右端点 t = a 处的状态值,记
ℜ ( a , x 0 ) : = { x a ( x 0 ; u ) | u ∈ L 2 ( I , U ) } ,
称 ℜ ( a , x 0 ) 为系统(2)的可达集。
引理2.2 [
ℜ ( a , x 0 ) = X ,
则称线性系统(2)在区间I上精确可控。换而言之,如果对给定的终状态值 x a ∈ X ,存在控制函数 u ∈ L 2 ( I , U ) ,使得线性系统(2)的mild解x满足
x ( a ) = x a ,
则称系统(2)在区间I上精确可控。
引理 2.3 [
〈 Γ 0 a x , x 〉 ≥ γ ‖ x ‖ 2 , ∀ x ∈ X .
引理 2.3蕴含了 ‖ ( Γ 0 a ) − 1 ‖ ≤ 1 γ 。
下面我们给出一些关于非紧性测度的概念和结论,这些结论将在后续证明中用到。设X是Banach空间, D ⊂ Χ 是非空有界集。令
β ( D ) = inf { μ > 0 | D = ∪ i = 1 n D i , d ( D i ) ≤ μ } ,
其中 d ( D i ) 表示 D i 的直径,则称 β ( D ) 为X中D的Kuratowski非紧性测度。显然,
0 ≤ β ( D ) < + ∞ ,
β C ( D ) 表示 C ( I , X ) 中D的Kuratowski非紧性测度。
引理2.4 [
(i) β ( D 1 ) = 0 当且仅当 D 1 是相对紧集;
(ii) 若 D 1 ⊂ D 2 ,则 β ( D 1 ) ≤ β ( D 2 ) ;
(iii) β ( D 1 + D 2 ) ≤ β ( D 1 ) + β ( D 2 ) 。
引理 2.5 [
β C ( D ) = max t ∈ I β ( D ( t ) ) = β ( D ( I ) ) .
引理2.6 [
β ( { ∫ I x n ( t ) d t | n ∈ Ν } ) ≤ 2 ∫ I β ( D ( t ) ) d t .
引理2.7 [
β ( D ) ≤ 2 β ( D 0 ) .
定义2.6 [
β ( A ( S ) ) < β ( S ) ,
则称A是凝聚映射。
引理2.8 [
为了证明主要结论,我们给出下列假设条件:
(H1) 线性方程(2)在区间I上精确可控。
(H2) g : I × Χ → Χ 是连续函数,对 ∀ t ∈ I , x , y ∈ Χ , ∃ L 1 > 0 ,使得
‖ g ( t , x ) − g ( t , y ) ‖ ≤ L 1 ‖ x − y ‖ .
(H3) f : I × Χ → Χ 是连续函数, ∃ ψ ∈ C ( I , R + ) ,使得
‖ f ( t , x ) ‖ ≤ ψ ( t ) ‖ x ‖ , ∀ x ∈ Χ , t ∈ I .
(H4) 对 ∀ η ∈ ( 0 , t ) , t ∈ I , δ > 0 ,集合
W η , δ ( t ) = { ( F 2 , η , δ x ) ( t ) | x ∈ D }
在X中相对紧,其中 D ⊂ Χ 为任意有界集,
( F 2 , η , δ ) ( t ) = ∫ 0 t − η ∫ δ ∞ ( t − s ) q − 1 θ ξ q ( θ ) q T ( ( t − s ) q θ ) [ f ( s , x ( s ) ) + B u ( s ) ] d θ d s .
对 ∀ k > 0 ,取 C ( I , X ) 中非空有界闭凸集
Ω k = { x ∈ C ( I , X ) | ‖ x ‖ C ≤ k } .
根据假设条件,对 ∀ x a ∈ X ,定义控制函数如下:
u ( t ) = B * T q * ( a − t ) ( Γ 0 a ) − 1 P ( x ) , (3)
其中
Γ 0 a = ∫ 0 a ( a − s ) q − 1 T q ( a − s ) B B * T q * ( a − s ) d s ,
P ( x ) = x a − S q ( a ) ∫ 0 a g ( s , x ( s ) ) d s − ∫ 0 a ( a − s ) q − 1 T q ( a − s ) f ( s , x ( s ) ) d s .
引理3.1 对 ∀ γ > 0 及 ∀ x ∈ Ω k ,有
‖ u ( t ) ‖ ≤ q M M B γ Γ ( 1 + q ) [ ‖ x a ‖ + a M k L 1 + a M sup t ∈ I ‖ g ( t , 0 ) ‖ + a q M k Γ ( 1 + q ) ‖ ψ ‖ C ] ,
其中 M B = ‖ B ‖ 。
证明:利用引理2.1,引理2.3,以及假设条件(H2),(H3),通过直接计算即可得所求结论,因此我们在此省略细节。
如果 x ( t ; u ) 是控制系统(1)相应于控制函数u的mild解。则由定义2.4可知,
x ( t ; u ) = S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s , t ∈ I .
当 t = a 时,由(3)式,有
x ( a ) = x ( a ; u ) = S q ( a ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 a ( a − s ) q − 1 T q ( a − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s = S q ( a ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 a ( a − s ) q − 1 T q ( a − s ) f ( s , x ( s ) ) d s + ∫ 0 a ( a − s ) q − 1 T q ( a − s ) B u ( s ) d s
= S q ( a ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 a ( a − s ) q − 1 T q ( a − s ) f ( s , x ( s ) ) d s + ∫ 0 a ( a − s ) q − 1 T q ( a − s ) B B * T q * ( a − s ) ( Γ 0 a ) − 1 P ( x ) d s = x a
故控制系统(1)在I上精确可控。
因此,要证明控制系统(1)精确可控,只需证明控制系统(1)存在相应于控制函数u的mild解。接下来,我们根据假设条件,运用Sadovskii不动点定理证明控制系统(1) mild解的存在性。
定理3.1 设条件(H1)~(H4)满足。如果不等式
( 1 + q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ) ( a M L 1 + a q M Γ ( 1 + q ) ‖ ψ ‖ C ) < 1 (4)
成立,则方程(1)在区间I上精确可控。
证明:定义算子 F : C ( I , X ) → C ( I , X ) ,如下:
( F x ) ( t ) = S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s .
要证明方程(1)在区间I上精确可控,只需要利用上面控制函数证明算子F有不动点。
首先证明:存在 k > 0 ,使得 F ( Ω k ) ⊂ Ω k 。反设不真,则对 ∀ k ≥ 0 ,存在 x ∈ Ω k ,使得对 t ∈ I ,有 ‖ ( F x ) ( t ) ‖ > k 。由假设条件(H2),(H3)及引理2.1,引理2.3,引理3.1可知,对 ∀ t ∈ I ,有
k < ‖ ( F x ) ( t ) ‖ = ‖ S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) f ( s , x ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) B u ( s ) d s ‖ ≤ ‖ S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s ‖ + ‖ ∫ 0 t ( t − s ) q − 1 T q ( t − s ) f ( s , x ( s ) ) d s ‖ + ‖ ∫ 0 t ( t − s ) q − 1 T q ( t − s ) B u ( s ) d s ‖
≤ a M L I k + a M sup t ∈ I ‖ g ( t , 0 ) ‖ + a q M k Γ ( 1 + q ) ‖ ψ ‖ C + a q M B M Γ ( 1 + q ) ‖ u ( t ) ‖ ≤ ( 1 + q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ) ( a M k L 1 + a M sup t ∈ I ‖ g ( t , 0 ) ‖ + a q M k Γ ( 1 + q ) ‖ ψ ‖ C ) + q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ‖ x a ‖
两边同除以k并且当 k → ∞ 时取极限可得,
1 ≤ ( 1 + q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ) ( a M L 1 + a q M Γ ( 1 + q ) ‖ ψ ‖ C ) ,
这与(4)式矛盾,因此存在 k > 0 ,使得 ‖ F x ‖ C = max t ∈ I ‖ ( F x ) ( t ) ‖ ≤ k 。故 F ( Ω k ) ⊂ Ω k 。
接下来,在 Ω k 上定义算子
( F 1 x ) ( t ) = S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s
和
( F 2 x ) ( t ) = ∫ 0 t ( t − s ) q − 1 T q ( t − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ,
则对 ∀ x ∈ Ω k , ( F x ) ( t ) = ( F 1 x ) ( t ) + ( F 2 x ) ( t ) , t ∈ I 。
先证明 F 1 : Ω k → C ( I , X ) 是压缩映射。因为对
‖ ( F 1 x ) ( t ) − ( F 1 y ) ( t ) ‖ = ‖ S q ( t ) ∫ 0 a g ( s , x ( s ) ) d s − S q ( t ) ∫ 0 a g ( s , y ( s ) ) d s ‖ ≤ a M L 1 ‖ x − y ‖ C .
由(4)式知, a M L 1 < 1 。所以, F 1 在 Ω k 上是压缩映射。
再证明 F 2 在 Ω k 上是全连续映射。因为 F 2 显然是连续算子,所以仅需证明 F 2 ( Ω k ) 是相对紧集。对 ∀ x ∈ Ω k ,定义 W = { F 2 x | x ∈ Ω k } 和 W ( t ) = { ( F 2 x ) ( t ) | x ∈ Ω k } 。根据Ascoli-Arela定理,只需证明集合W在 C ( I , X ) 中等度连续, W ( t ) 在X中相对紧。首先证明集合W等度连续。对 ∀ t 1 , t 2 ∈ I ,满足 0 ≤ t 1 < t 2 ≤ a 及 ∀ x ∈ Ω k ,有
‖ ( F 2 x ) ( t 2 ) − ( F 2 x ) ( t 1 ) ‖ = ‖ ∫ 0 t 2 ( t 2 − s ) q − 1 T q ( t 2 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s − ∫ 0 t 1 ( t 1 − s ) q − 1 T q ( t 1 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖
≤ ‖ ∫ 0 t 1 [ ( t 2 − s ) q − 1 − ( t 1 − s ) q − 1 ] T q ( t 2 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ + ‖ ∫ 0 t 1 ( t 1 − s ) q − 1 [ T q ( t 2 − s ) − T q ( t 1 − s ) ] [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ + ‖ ∫ t 1 t 2 ( t 2 − s ) q − 1 T q ( t 2 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ ≜ J 1 + J 2 + J 3
其中
J 1 = ‖ ∫ 0 t 1 [ ( t 2 − s ) q − 1 − ( t 1 − s ) q − 1 ] T q ( t 2 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ ;
J 2 = ‖ ∫ 0 t 1 ( t 1 − s ) q − 1 [ T q ( t 2 − s ) − T q ( t 1 − s ) ] [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ ;
J 3 = ‖ ∫ t 1 t 2 ( t 2 − s ) q − 1 T q ( t 2 − s ) [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ .
因为
J 1 ≤ M Γ ( 1 + q ) [ k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ] [ ( t 2 q − t 1 q ) − ( t 2 − t 1 ) q ] ,
J 3 ≤ M Γ ( 1 + q ) [ k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ] ( t 2 − t 1 ) q .
又对 ∀ 0 < ε < t 1 ,有
J 2 ≤ sup s ∈ [ 0 , t 1 − ε ] ‖ T q ( t 2 − s ) − T q ( t 1 − s ) ‖ ‖ ∫ 0 t 1 − ε ( t 1 − s ) q − 1 [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ + ‖ ∫ t 1 − ε t 1 ( t 1 − s ) q − 1 [ T q ( t 2 − s ) − T q ( t 1 − s ) ] [ f ( s , x ( s ) ) + B u ( s ) ] d s ‖ ≤ 1 q [ k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ] ( t 1 q − ε q ) sup s ∈ [ 0 , t 1 − ε ] ‖ T q ( t 2 − s ) − T q ( t 1 − s ) ‖ + 2 M Γ ( 1 + q ) [ k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ] ε q .
所以,当 t 2 − t 1 → 0 , ε → 0 时, J 1 , J 2 , J 3 → 0 。所以集合W等度连续。
再证明对 ∀ t ∈ [ 0 , a ] ,集合 W ( t ) = { ( F 2 x ) ( t ) | x ( ⋅ ) ∈ Ω k } 在X中相对紧。显然当 t = 0 时, W ( 0 ) = { 0 } 在X中相对紧,因此只需考虑 t ∈ ( 0 , a ] 。对 ∀ 0 < η < t , δ > 0 定义
W η , δ ( t ) = { ( F 2 , η , δ x ) ( t ) | x ( ⋅ ) ∈ Ω k } ,
其中
( F 2 , η , δ ) ( t ) = ∫ 0 t − η ∫ δ ∞ ( t − s ) q − 1 θ ξ q ( θ ) q T ( ( t − s ) q θ ) [ f ( s , x ( s ) ) + B u ( s ) ] d θ d s .
由条件(H4)可知,集合 W η , δ ( t ) 在X中相对紧。又因为
‖ ( F 2 x ) ( t ) − ( F 2 , η , δ x ) ( t ) ‖ ≤ q ‖ ∫ 0 t ∫ 0 δ ( t − s ) q − 1 θ ξ q ( θ ) T ( ( t − s ) q θ ) [ f ( s , x ( s ) ) + B u ( s ) ] d s d θ ‖ + q ‖ ∫ t − η t ∫ δ ∞ ( t − s ) q − 1 θ ξ q ( θ ) T ( ( t − s ) q θ ) [ f ( s , x ( s ) ) + B u ( s ) ] d s d θ ‖ ≤ ( k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ) M t q ∫ 0 δ θ ξ q ( θ ) d θ + M Γ ( 1 + q ) ( k ‖ ψ ‖ C + M B ‖ u ( t ) ‖ ) η q → 0 , ( η → 0 + , δ → 0 + ) .
所以,当 t ∈ ( 0 , a ] 时,存在一个相对紧集 W η , δ ( t ) 任意接近于 W ( t ) ,故集合 W ( t ) 在X中相对紧。综上所述,对 ∀ t ∈ I ,集合 W ( t ) 在X中相对紧。因此,由Ascoli-Arela定理可知, F 2 ( Ω k ) 是相对紧集。由引理2.4的(i)知, β ( F 2 ( Ω k ) ) = 0 。又因为 F 1 是压缩的,则 β ( F 1 ( Ω k ) ) < β ( Ω k ) ,故由引理2.4的(iii),有
β ( F ( Ω k ) ) ≤ β ( F 1 ( Ω k ) ) + β ( F 2 ( Ω k ) ) < β ( Ω k ) .
所以,由定义2.6知,F是凝聚映射。由Sadovskii不动点定理(见引理2.8)可知,算子F在 Ω k 上有不动点 x ∈ C ( I , X ) 。该不动点即为系统(1)的mild解且满足 x ( a ) = x a 。故系统(1)在I上精确可控。证毕。
因为条件(H4)在应用中不易验证,所以我们假设 f ( t , x ) 满足如下应用比较广泛的非紧性测度条件:
(H5) 对 ∀ t ∈ I , D ⊂ Χ 为非空有界集,存在常数 L 2 > 0 ,使得
β ( f ( t , D ) ) ≤ L 2 β ( D ) .
则可得系统(1)的如下可控性结果:
定理3.2 设条件(H1)~(H3)及条件(H5)满足。如果不等式条件(4)及
M * : = ( 1 + 2 q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ) ( a M L 1 + a q M L 2 Γ ( 1 + q ) ) < 1 4 (5)
成立,则系统(1)在区间I上精确可控。
证明:由定理3.1的证明可知,存在 k > 0 ,使得 F ( Ω k ) ⊂ Ω k 。下面利用条件(H5)证明算子 F : Ω k → Ω k 是凝聚映射。由引理2.7,取 Ω ′ k = { x n | n ∈ Ν } ⊂ Ω k ,使得
β ( Ω k ) ≤ 2 β ( Ω ′ k ) . (6)
由非紧性测度的性质及假设条件(H2)可知,
β ( g ( t , D ) ) ≤ L 1 β ( D )
其中 D ⊂ X 为非空有界集。
对 ∀ x a ∈ X ,因为
u n ( t ) = B * T q * ( a − t ) ( Γ 0 a ) − 1 P ( x n ) ,
其中
Γ 0 a = ∫ 0 a ( a − s ) q − 1 T q ( a − s ) B B * T q * ( a − s ) d s
P ( x n ) = x a − S q ( a ) ∫ 0 a g ( s , x n ( s ) ) d s − ∫ 0 a ( a − s ) q − 1 T q ( a − s ) f ( s , x n ( s ) ) d s .
所以,对 ∀ γ > 0 ,有
β ( { u n ( t ) : n ∈ N } ) ≤ q M M B γ Γ ( 1 + q ) β ( { P ( x n ) : n ∈ N } ) ≤ q M M B γ Γ ( 1 + q ) ( 2 a M L 1 + 2 a q M L 2 Γ ( 1 + q ) ) β C ( Ω k ) .
由条件(H5)及引理2.6,对 ∀ x ∈ Ω ′ k ,有
β ( F ( Ω ′ k ) ( t ) ) = β ( { S q ( t ) ∫ 0 a g ( s , x n ( s ) ) d s + ∫ 0 t ( t − s ) q − 1 T q ( t − s ) [ f ( s , x n ( s ) ) + B u n ( s ) ] d s | n ∈ N } ) ≤ β ( { S q ( t ) ∫ 0 a g ( s , x n ( s ) ) d s } ) + β ( { ∫ 0 t ( t − s ) q − 1 T q ( t − s ) f ( s , x n ( s ) ) d s } ) + β ( { ∫ 0 t ( t − s ) q − 1 T q ( t − s ) B u n ( s ) d s } )
≤ 2 M L 1 ∫ 0 a β ( Ω ′ k ( s ) ) d s + 2 q M L 2 Γ ( 1 + q ) ∫ 0 t ( t − s ) q − 1 β ( Ω ′ k ( s ) ) d s + q M M B γ Γ ( 1 + q ) ∫ 0 t ( t − s ) q − 1 β ( { u n ( s ) : n ∈ N } ) d s ≤ ( 1 + 2 q a q M 2 M B 2 γ ( Γ ( 1 + q ) ) 2 ) ( 2 a M L 1 + 2 a q M L 2 Γ ( 1 + q ) ) β C ( Ω k ) .
所以,由(6)式和引理2.5可得
β C ( F ( Ω k ) ) ≤ 2 β C ( F ( Ω ′ k ) ) = 2 max t ∈ I β ( F ( Ω ′ k ) ( t ) ) ≤ 4 M * β C ( Ω k ) .
因此,由(5)式可知, 4 M * < 1 。所以,由定义2.6知,算子F是凝聚映射。由Sadovskii不动点定理可知,算子F在 Ω k 上有不动点 x ∈ C ( I , X ) 。该不动点即为系统(1)的mild解且满足 x ( a ) = x a 。故系统(1)在I上精确可控。证毕。
注3.1 定理3.1和定理3.2都只要求 A : D ( A ) ⊂ X → X 生成的半群 T ( t ) ( t ≥ 0 ) 是等度连续半群,没有假设半群的紧性。因此,我们对非线性项附加了“紧型”条件(H4)或者非紧性测度条件(H5)来保证解算子的紧性。进而利用凝聚映射的不动点定理证明了控制系统(1)的mild解的存在性。
注3.2 如果非线性项是有界函数,或者满足一次增长条件,即 f ( t , x ) ≤ C 1 x + C 2 ,其中 C 1 , C 2 > 0 是常数,则条件(H3)自然成立。
例 考虑下列分数阶偏微分系统
{ D C 1 2 x ( t , ω ) = ∂ x ( t , ω ) ∂ ω + b ( ω ) u ( t ) + f ( t , x ( t , ω ) ) , ω ∈ [ 0 , π ] , t ∈ [ 0 , 1 ] x ( t , 0 ) = x ( t , π ) = 0 , t ∈ [ 0 , 1 ] x ( 0 , ω ) = ∫ 0 1 g ( s , x ( s , ω ) ) d s , ω ∈ [ 0 , π ] (7)
其中 D C 1 2 是 q = 1 2 阶Caputo型分数阶导数, I : = [ 0 , 1 ] , b ( ω ) 为有恰当定义的函数。
取状态空间 X = L 2 ( [ 0 , π ] ) , U = X 。设 x ( t ) ( ⋅ ) : = x ( t , ⋅ ) , f ( t , x ( t ) ) ( ⋅ ) : = f ( t , x ( t , ⋅ ) ) , g ( t , x ( t ) ) ( ⋅ ) : = g ( t , x ( t , ⋅ ) ) 。作X中的算子A和B:
A x = ∂ x ( t , ω ) ∂ ω , D ( A ) = { x ∈ X | x ′ ∈ X , x ( 0 ) = x ( 1 ) = 0 } , B u = b ( ⋅ ) u
则系统(7)可化为形如问题(1)的分数阶发展方程控制系统。由文献 [
若系统(7)满足条件(H1)~(H4),则按照定理3.1,系统(7)在区间I上精确可控。
张 永,杨 和. 一类带积分边界条件的分数阶发展方程的精确可控性Exact Controllability of a Class of Fractional Evolution Equations Involving Integral Boundary Conditions[J]. 理论数学, 2020, 10(05): 414-424. https://doi.org/10.12677/PM.2020.105051