1. 引言
近年来,随着科学技术不断发展及广泛应用,许多领域中出现的问题越来越多地涉及分数阶微积分,作为整数阶微积分的延伸与扩展,已提出多种分数阶算子,比如我们所熟知的Riemann-Liouville分数阶导数和Caputo分数阶导数等。为了克服非局部算子在实际应用中的局限性,Khalil等人在2014年引入了适型分数阶导数的概念 [1] ,作为局部分数阶导数,其基本满足整数阶导数所具备的所有性质。随后,Abdeljawad在Khalil的基础上,进一步研究与完善了适型分数阶导数的性质,研究了Taylor幂级数展开、Gronwall不等式、Laplace变换等。这也为后人进一步研究适型分数阶微分方程奠定了基础 [2] 。
随着分数阶微积分的发展,分数阶微分方程问题得到了广泛的研究,无论是在理论上还是应用上都涌现了很多专著和论文 [3] - [8] 。其应用领域也不仅仅局限于数学理论,逐渐延展到其他学科,例如自动控制、电磁学、材料科学等。分数阶控制理论是基于分数阶微积分发展起来的,其可控性的研究是控制理论中的一个研究热点。在R. E. Kalman研究中定性地描述了输入
对状态
的控制能力 [9] 。
有关分数阶微分方程可控性问题的研究,常用的处理方法是不动点分析法。例如,Kumer在文献 [10] 利用Schauder不动点定理和压缩映射原理得到了一类半线性分数阶时滞控制系统的近似可控性。王小文等利用适型Gramian矩阵和秩判据、Krasnoselskii不动点定理等方法研究了一类非线性适型分数阶微分系统的可控性 [11] 。
众所周知,国内外学术界对微分方程初值问题可控性的研究取得的发展是迅速的,同时也取得了不少丰硕的成果,参见文献 [12] [13] [14] [15] [16] 。而微分方程边值问题作为微分方程研究的另一个重要分支,对于其可控性的研究还较少,因此对微分方程边值问题的可控性进行研究就变得非常有意义。然而,对微分方程边值问题可控性的研究主要围绕整数阶系统,文献 [17] 研究了一类二阶非线性系统三点边值问题的可控性。
对于系统模型而言,其稳定性的研究也非常重要。而在研究初期,大多是围绕李雅普诺夫稳定性进行研究。直至1940年,Ulam提出了关于函数方程的稳定性 [18] ,其结果被Rassias推广 [19] ,此后也被许多学者用于研究微分方程的稳定性 [20] [21] [22] 。
Li Mengmeng等人运用常数变易法在文献 [23] 研究了常系数适型分数阶微分方程解的存在性和Ulam稳定性。Wan Fan等人在文献 [24] 中研究了具有反周期边界条件的适型分数阶脉冲微分方程Ulam-Hyers稳定性。
本文研究具有适型分数导数的非线性微分方程边值问题
(1)
可控性及Ulam稳定性,其中,
,
表示适型分数阶导数,
,
,控制函数
。
本文的结构如下,第二部分,预备知识,主要给出本文所用的定义和后面定理所需要的引理;第三部分,利用Krasnoselskii’s不动点定理得到微分系统的可控性;第四部分,讨论该微分系统的Hyers-Ulam稳定性;第五部分,给出一个具体的例子来阐述对应的抽象结果的可行性。
2. 准备工作
定义2.1 [2] 给定函数
,
,则
的
阶适型分数阶导数为:
,
,
若
在
上存在,则
.
定义2.2 [2] 设
,其中n为正整数,令
,对给定的函数
,若
存在,则关于
的适型分数阶导数为:
.
特殊地,当
时,令
,对于给定函数
,
的
阶适型分数阶导数为:
,
.
定义2.3 [2] 设
,n为非负整数,令
,则函数
的
阶适型分数阶积分为:
.
特别地,对于
,令
,则关于函数
的
阶适型分数阶积分为:
.
引理2.4 [2] 设
是
上连续的函数,且
,则对所有
有:
.
进一步,若
是n次可微的,则有:
.
引理2.5 设
,
,则线性分数阶微分方程边值问题:
(2)
的唯一解是
,
其中
,
(3)
证明:对于边值问题
进行积分为
,
而
,
对于
,当
可得到
,
。
因此该线性微分方程边值问题的唯一解是
所以,
。证毕。
由引理2.5可得:
引理2.6 非线性适型分数阶微分方程边值问题(1)与积分方程
,
等价。
引理2.7 由(3)式定义的Green函数
,
,满足以下性质:
1) 对任意的
,都有
,
2)
,
。
证明:1)
表达式可知,对任意的
,有
。
2) 给定的
,对
求关于t的偏导,
由于当
时,我们有
,因此可知
在
时是递增的,同理可知
在在
是递减的。所以,
,证毕。
引理2.8 [25] (Krasnoselskii’s fixed point theorem)令Z是Banach空间,E是Z上的有界闭凸集,映射
满足
1) 对任意
,有
。
2) 算子
是一个压缩的,
在E上是全连续的。
则
在E上至少有一个不动点。
3. 可控性分析
设
为m维欧式空间,其中
。对任意给定的向量
,引进
的范数为
,对矩阵
,引进矩阵范数
。
定义空间
,取范数
,则E是一个Banach空间。
定义3.1 如果对给定的
,
,若存在一个控制
,使得系统(1)的解x满足
,则称系统(1)是可控的。
我们列举出本节证明中所需要的假设条件:
(H1)
为正定矩阵。
(H2)存在非负函数
,对
及任意的
都有:
,
定义一个集合
,
则N为
非空闭子空间。考虑商空间
,定义其范数
,为Banach空间。
定义算子
,
则W为线性算子。
下证当(H1)成立时
存在,即证明
是双射。
1) 证明算子
为单射。
设
,且
,则有
,
若
,则
,这与题设矛盾,故
,由此W是单射得证。
2) 证明算子
为满射。
记
,
则
,
为Hilbert空间,其中
为X上内积,
为Y上的Euclid内积,则
。有如下性质:
对于算子W,存在唯一的伴随算子
为连续线性算子,对任意
,
,满足
,
。
②
,
,
,
。
则对任意的
和
有
根据伴随算子性质
,可得
. (4)
而
,因此若要得到算子W的满射性,则需满足
。
对任意
,有
根据(H1),K为正定的,有
。因此,W是双射,于是存在逆算子,
。
对任意
,有
,其中
,
,则
.
由(4)式对任意
,取
,则有
,
由于K正定,所以K可逆。
,进一步:
。
而
。因此,
.
为方便讨论,记:
,
,
。
定理3.2 在假设(H1),(H2)成立的情况下,如果下列条件成立:
.
则系统(1)是可控的。
证明:如果x是非线性微分方程系统(1)的解,且满足
,由引理2.6,则有:
,
因此,控制函数u应该满足:
.
由于(H1)成立,则
存在,可得控制函数
.
定义算子
如果该算子有一个不动点x存在,那么不动点x就是系统(1)满足
的解,即系统(1)是可控的。
选取
,令
是E中的有界闭子集。
证明
。
因此,
,从而
。
分别定义算子
和
,
2) 证明
在
上是压缩映射。
对任意的
,则
因此,
,根据定理3.2,可得出结论
,即
是压缩映射。
证明
是全连续算子。
先证明算子
是连续的。设集合
上存在极限为x的收敛序列
,即当
时,
。
当
,我们有
。因此,
是一个连续算子。
因此,
,由于
是有界集,故
有界。
其次证明算子
是等度连续的,对任意
,
时
因此,对任意的
,存在
,使得对任意
,当
,
时,有
,所以算子
是等度连续的。
因此
是一个全连续算子。
由Krasnoselskii’s不动点定理可知,算子
在E上至少存在一个不动点,即该非线性微分系统(1)是可控的。证毕。
4. Ulam稳定性分析
在这一节中,我们将研究非线性微分系统(1)的Hyers-Ulam稳定性。
定义4.1 如果存在一个实常数
,使得对于任何
,下列系统
(5)
的每一个解
,且
,都有微分控制系统(1)的解
,使得
,
则称控制系统(1)是Hyers-Ulam稳定的。
定理4.2 假设(H1),(H2)成立,如果
,则边值问题(1)是Hyers-Ulam稳定的。
证明:记:
,此时
,且满足
。
考虑边值问题
(6)
根据引理2.5可知
。
由于定理3.2的条件成立,则边值问题(6)是可控的,且控制函数为
,
而关于边值问题(1)的控制函数为
。
进一步,
因此
,
即
,
其中
.
证毕。
5. 例子
例5.1 令
,考虑如下非线性分数阶微分方程边值问题:
其中,
,
,
。
因此,满足
的一个控制函数为
。
显然,
,
。对任意
和
有
.
因此,f满足假设(H1)。
于是
.
因此可计算其逆:
。
进一步,
,
。
由定理3.2和定理4.2可知,该非线性分数阶微分系统是可控的且为Hyers-Ulam稳定的。