1. 引言
分数阶时滞微分方程的相关研究近年来备受青睐。从上世纪70年代起,学者们渐渐发现分数阶微积分可以与物理、工程、材料、医学和经济学等领域中的一些现象或过程建立起密切的联系,并且在使用数学模型描述和刻画现实过程时,分数阶微积分也是一种很好的手段 [1] [2] [3]。而时滞微分方程有时则能更好地描述现实世界很多自然现象和规律。所以分数阶时滞微分方程在理论和应用方面都得到了一定的发展。
本文,我们研究下面这种定义在D上的半线性的分数阶时滞微分方程的Hyers-Ulam稳定性:
(1)
其中
是
阶Caputo型分数阶微分算子,
。不失一般性地,
指代预设的迭代区间长度。
是有限时滞。区域
,
为连续线性泛函。
Hyers-Ulam稳定性主要处理的问题是:什么时候一个泛函方程的近似解必须逼近它的一个精确解?这类稳定性问题可以追溯到S.M. Ulam在1940年的一次的讲话 [4],其中涉及到一个泛函方程的稳定性问题。从此,一系列泛函方程的稳定性问题开始得到大批数学家的广泛关注 [5] - [13]。事实上,已经发展出很多类型的Ulam稳定性,除了我们本文研究的Hyers-Ulam稳定性,还有广义的Hyers-Ulam稳定性、Hyers-Ulam-Rassias稳定性以及广义的Hyers-Ulam-Rassias稳定性等。逐次逼近法 [6]、不动点理论 [8]、Laplace变换方法 [7] - [14] 等泛函分析方法都常被用来研究时滞微分方程的Hyers-Ulam稳定性。关于微分方程的Hyers-Ulam稳定性的更多研究结果可以参见文献 [14] [15] [16]。通过逐次逼近法展示了逼近解与精确解之间的关系,我们在本文中借助Gronwall型不等式,分别在两种情况下分析了一类分数阶半线性时滞微分方程的Hyers-Ulam稳定性。
2. 预备知识
我们取
为n维欧几里得向量空间,其上赋予范数
表示从区间
映射到E中的连续函数全体,其上赋予范数
成为Banach空间。称函数
关于第二变量满足Lipschitz条件,如果存在正常数L,使得对于任意的
和
,都有
定义1. 假设
。
上的算子
定义为
其中
。
称为
阶Riemann-Liouville分数阶积分算子。
定义2. 假设
。当
时,
阶Caputo分数阶微分算子定义为
下面,我们介绍Mittag-Leffler函数的定义。
定义3. 假设
。当级数
收敛时,我们称其为带有双参数
和
的Mittag-Leffler函数。特别地,当
时,该函数变为单参数的Mittag-Leffler函数,记作
。
定义4. 对于给定的
,
,
以及
,我们定义函数
如果
,那么对于任意的
有
。
定义5. 我们称
为泛函微分方程(1)的解,如果对于任意的
都有
并且
满足(1)。进一步地,对于
,如果
那么我们称
为初始条件为
的方程(1)的解,此时将
记作
。
根据 [1] 中的引理5.2,我们可以写出分数阶时滞微分方程(1)的等价积分方程。
命题6. 设
,
为连续线性泛函,并且关于第二变量满足Lipschitz条件。那么函数
为分数阶时滞微分方程(1)的解,当且仅当
为下面Volterra积分方程的一个解:
从命题6中所示的(1)的等价Volterra积分方程的形式来看,我们在后续估计中将不可避免地交替出现
和
的范数估计 [6]。所以,根据定义5中所述的函数
和
的关系来分析二者范数之间的联系时自然的。
引理7. 假设
,并且有
。若
其中函数
单调递增,那么,我们有
在Hyers-Ulam稳定性的相关研究中,一个很重要的工具就是Gronwall型不等式。下面我们介绍一种在分数阶微分方程的分析和证明过程中十分重要的Gronwall型不等式。
引理8. 设
。设对于任意的
,非负函数
局部可积,非负函数
是一个单调递增的连续函数,并且存在常数M使得
。如果对于一个非负的局部可积函数
,满足不等式
那么,有
本节的最后,我们介绍分数阶时滞微分方程(1)满足Hyers-Ulam稳定性的定义。
定义9. 我们称分数阶时滞微分方程(1)满足Hyers-Ulam稳定性,如果存在一个非负常数K使得对于任意的
,如果函数
满足不等式
那么一定存在相应的微分方程的唯一解
,使得
下面我们介绍一个不动点定理 [17],它是经典的巴拿赫不动点定理的推广。
定理10. 假设
是一个非空的完备度量空间。对于每个
,令
且
收敛。进一步,使映射
满足不等式
那么对所有
以及任意的
,A都存在一个唯一确定的不动点
。此外,对于任意的
,数列
都收敛于不动点
。
3. 主要结果
如引言所述,考虑Hyers-Ulam稳定性,实际上是考虑一个泛函方程的近似解如何可以近似为相应系统的一个解。首先我们利用逐次逼近法和Gronwall型不等式,讨论了当近似解和精确解在初始时间段上一致时的Hyers-Ulam稳定性。
定理 3.1. 设
,
关于第二变量满足Lipschitz条件。任给一个
,若
满足
那么方程(1)一定存在唯一的解
,且
。此外,
证明:定义
。显然,
,并且对于所有的
,有
。我们构造一个序列
,
对于所有的
,我们有
,故
,并且
。重复这一过程,我们可以得到对任意的
,
,都有
。因此,我们定义的这一序列是适定的。由于在区间
中有
,所以只需考虑当
时的情形即可。我们发现当
时,对于任意的
,有
. (2)
由于当
时,有
,所以
可以看出,当
时(2)式成立。假设当
时(2)式成立,即有
下面我们考虑当
时的情况,可以发现
令
,则积分变换后有
于是,我们就证得了(2)式的正确性。在(2)式的基础上,可以发现对于任意的
,有
其中
是单参数的Mittag-Leffler函数。结合定义3可以看出,函数列
一致收敛。设极限为连续函数
。那么,由
,我们有
(3)
下面我们证明函数 满足方程(1)。不难发现,
再根据引理7,我们可以得到
(4)
又由于
所以结合(4)式可以知道,当
时,
一致收敛于0。此时,回顾函数列
的构造方式:
对上式两边同时取极限
,我们有
成立。于是根据命题6,我们知道
是带有初始条件
的半线性分数阶时滞微分方程(1)的一个解。最后,我们只需证明解
的唯一性。假设
是带有初始条件
的半线性分数阶时滞微分方程(1)的另外
一个解。那么,可以得到
根据引理7,我们有
利用引理8中的Gronwall型不等式,我们有
从而可知
。因此,
,证毕。
随着Ulam稳定性的逐步发展,人们发现当近似解和精确解在初始时间段
上的条件相同时,该系统没有多少实际应用价值。因此,我们优化了上述结果的实用性,研究一种应用更加广泛的系统。此时假设问题的近似解和精确解在初始时间段
上的条件由一个常数控制。下面我们利用Weissinger不动点理论以及Gronwall不等式方法来研究这样一个新系统的Hyers-Ulam稳定性。
定理3.2. 设
,
关于第二变量满足Lipschitz条件。任给一个
,若
满足
那么方程(1)一定存在唯一的解
,满足
并且
证明:令
。我们定义一个算子
,定义如下,
我们先利用不动点定理证明算子T在X中有一个不动点。任取
和
,我们有
(5)
现在,我们利用数学归纳法证明上式。首先当
时,我们有
显然,(5)式当
时成立。现在假设(5)式当
时仍然成立,即
下面我们考虑当
时的情形。根据
时的结果,我们可以发现
对上式两边在研究区间
上取上确界范数,可以得到:
令
。我们发现级数
,根据定义3可知该级数收敛。于是,根据Weissinger不动点定理可知,算子T在X中存在唯一的不动点,即方程(1)存在唯一的解
。又根据假设条件可知,当
时,有
。当
时,有
令
,我们对上式两边取上确界范数,根据引理8中的Gronwall型不等式,
我们有
于是,定理得证。
4. 结论
本文我们研究了一类半线性分数阶时滞微分方程的Hyers-Ulam稳定性问题。在逼近解和精确解初始条件相同的情形中,我们从逼近解出发,根据逐次逼近法和Gronwall型不等式得到了满足Hyers-Ulam稳定系数的极限函数,并证明了该极限函数即为方程的精确解。我们紧接着对系统进行了优化处理,考虑在逼近解和精确解的初始条件之间能够被一个常数控制的情形。我们首先定义了一个连续线性算子,再利用不动点理论以及Gronwall型不等式证明了此时方程的Hyers-Ulam稳定性。
基金项目
国家自然科学基金(No. 11871064)和江苏省研究生科研创新计划(No. XKYCX20_010)。
NOTES
*通讯作者。