1. 引言
分数阶微分方程描述了工程和科学领域的许多现象,例如物理学、化学、生物学、经济学、控制理论、信号和图像处理、空气动力学、粘弹性、电磁学和流变学等,因此分数阶微分方程具有广泛的应用,相关文献见 [1] - [9]。具有逐项分数阶导数的微分方程在振动理论中有重大的意义,见参考文献 [10] [11]。在分数阶微分方程研究的过程中,经常用到的导数为Riemann-Liouville导数和Caputo导数,由于适型导数具有整数阶导数的良好性质,因此适型导数从2014年被提出之后便开始被广泛研究,相关文献见 [12] [13]。分数阶微分方程解的存在性和唯一性已经被大量研究,相关结论见参考文献 [14] [15]。Hyers-Ulam稳定性最早出现于函数方程,1940年,Ulam在文献 [16] 中第一次提出了“Ulam Stability problem”。1941年,在文献 [17] 中这一问题被Hyers D H在Banach空间中解决了,自此以后这种稳定性就被称为Hyers-Ulam稳定性,并开始被广泛研究。相关文献见 [17] [18] [19] [20] [21]。目前,在适型导数下,有关逐项分数阶耦合系统的Ulam型稳定性的研究我们还未见到。因此本文致力于研究带积分边界条件的逐项分数阶微分方程耦合系统的Ulam型稳定性以及解的存在唯一性。
本文研究下列耦合系统:
(1)
解的存在唯一性以及Ulam型稳定性,其中,
,
分别表示阶数为
,
的适型分数阶导数,
,
,
是连续函数,
。
2. 前期准备
定义2.1 (见 [12] ) 假设
,
,对于
,u是n阶可微的。则把u的
阶导数定义为:
所给定的右侧极限存在。
如果在
上u是
阶可微的,其中
,
存在,然后定义
。
如果
,则
,见参考文献 [12]。
引理2.1 (见 [13] ) 令
,当
时,
是
阶可微的,则
引理2.2 (见 [22] ) 令
,函数
是
阶可微的当且仅当u是
阶可微的,进一步说,下面的关系式成立:
引理2.3 (见 [13] ) 令
,在
上是两次可微的,
,
使得
,则有下列关系式成立:
在本文中
,
满足
,
,
,即
。
定义2.2 (见 [12] ) 连续函数
的
阶分数积分定义为:
其中
是
重积分算子。
引理2.4 (见 [12] ) 设
,
连续,则
时
。
引理2.5 (见 [22] ) 设
,
具有
阶导数,则
这里
,
。
引理2.6 设
,
,则逐项分数阶微分方程边值问题:
(2)
存在唯一解
其中
证明:已知
,根据引理2.3得
对上式两边作用
,可得:
即
对上式两边从0到t积分可得:
从而
代入边界条件
可得,
由边界条件
有,
可得
从而
类似可得
证毕。
由引理2.6可得下面的引理成立。
引理2.7 边值问题(1)与积分方程
等价。
通过简单计算易得引理2.8成立。
引理2.8 对于
,
核函数
满足
1)
2)
由引理2.8可知,
引理2.9 (见 [23] ) (Banach压缩映射原理)设
是一个完备的度量空间,
为闭集,映射
,如果存在
,使得对所有的
都有
则在F中存在唯一点
,满足
,称
为映射P的不动点,并称P为压缩映射。
引理2.10 (见 [24] ) (Schauder不动点定理)令X是一个实赋范线性空间,
为非空有界闭凸子集,又
为全连续算子,则F在
中有不动点。
3. 解的存在唯一性
对于
,定义范数
,则
为Banach空间,令
,定义范数
,则X在
下为Banach空间。
定义算子
,这里
,其中
引理4.4
为全连续算子。
证明:因为
在
和
在
上均是连续函数,根据引理2.8,易得
,且T是连续的。
令
是有界的,存在非负常数
,使得对任意的
,
有
因此,
同理,
所以,
,故
是一致有界的。
因为
在
上是连续的,所以,
在
上是一致连续的。因此,对于给定的
,存在
,使得对
,
有
同理,
。所以
是等度连续的,由Arzela-Ascoli定理知,
是相对列紧的。
因此,T是全连续算子。
证毕。
下面给出以下假设:
(H1) 存在常数
,使得对
,
有
(H2) 存在非负函数
,
,
,使得
为了方便,记
定理3.2 假设(H1)成立,如果
则边值问题(1)存在唯一解。
证明:对任意的
,
,
有
因此,
类似地,
从而
由于
,所以,根据Banach压缩映射原理可知边值问题(4.1)存在唯一解。
证毕。
定理3.4 假设(H2)成立,如果
,则边值问题(1)在X中至少存在一个解。
证明:因为
,所以,
。令
,
,因此
在X上是有界闭凸集。
对于
,我们有
同理
因此,
所以
从而,
。
通过引理3.1可知,T是全连续的,由Schauder不动点定理可知边值问题(1)在X中至少存在一个解,且其解是有界的。
证毕。
4. 解的Ulam型稳定性
这部分主要研究边值问题(1)的Ulam-Hyers稳定性和Ulam-Hyers-Rassias稳定性。
对任意
,
,记
,
,则
,考虑:
(3)
和
(4)
注4.1 函数
是不等式组(3)的一个解当且仅当存在一个函数
,使得
1)
2)
3)
注4.2 函数
是不等式组(4)的一个解当且仅当存在函数
,使得:
1)
2)
3)
定义4.1 若存在常数
,使得对任意的
,
满足不等式组(3),存在
为边值问题(1)的解,使得
则称边值问题(1)中的方程具有Ulam-Hyers稳定性。
定义4.2 若存在常数
,使得对任意的
,
,
满足不等式组(4),存在
为边值问题(1)的解,使得:
则称边值问题(1)关于
具有Ulam-Hyers-Rassias稳定性。
为了方便,记
。
定理4.1 假设(H1)成立,且
,则边值问题(1)是Ulam-Hyers稳定的。
证明:令
是不等式组(3)的解,由于(H1)成立,且
,由定理3.2可得,边值问题(1)有唯一解。令
为边值问题(1)的唯一解,从注4.1可知边值问题
的解可以写为:
则对于
有
从而
(5)
类似地,
(6)
由于
,所以
,
。故
。
由(5)可得,
(7)
由(6)可得,
(8)
根据(7)、(8)可得,
所以,
即
从而,
代入(8)可得,
故,
这里
,因此,耦合系统(1)是Ulam-Hyers稳定的。
证毕。
与定理4.1证明类似可得定理4.2成立。
定理4.2 假设(H1)成立,如果存在
,使得
,且
,则边值问题(1)关于
是Ulam-Hyers-Rassias稳定的。
5. 例子
例1 考虑下列逐项分数阶耦合系统边值问题:
(4.4)
令
,
,
,
,
可得:
从而
,
。
又由于,
所以,
,
,
,
,
,
。
由于,
根据定理3.2可知,边值问题(10)存在唯一解. 根据定理4.1可知,边值问题(10)是Ulam-Hyers稳定的。
通过计算可得:
因此,
根据定理3.3可知边值问题(10)至少存在一个解。
取
,
,
,
,从而有
又
,故,
同理,
所以,由定理4.2可知边值问题(10)是Ulam-Hyers-Rassias稳定的。