1. 引言
自二十世纪九十年代以来,很多领域都涉及到分数阶微分方程,例如电子工程 [1] ,控制理论 [2] 、制药工程 [3] 等。近年来,分数阶微分方程解的存在性研究近年来受到了诸多学者的关注,有着比较丰富的研究成果。譬如利用Green函数的性质和Guo-Krasnosel-skii不动点定理,研究一类分数阶非线性微分方程边值问题正解的存在性 [4] ;研究分数阶微分方程多点分数阶边值问题解的存在性与唯一性 [5] ;利用格林函数的性质构造了锥,从而应用一些不动点定理得到分数阶微分方程边值问题正解的存在性 [6] 。带有函数的分数阶微分方程,在诸多领域中得以被应用 [7] ,其相应的分数阶微分方程初值问题解的存在性问题在连续函数空间、可积函数空间上得以研究,见参考文献 [8] - [14] 。研究分数阶微分方程主要用到Banach压缩映像原理 [8] ,Schauder不动点原理 [11] ,Picard迭代法 [9] 等理论方法,在不同分数阶微分方程的理论基础上建模并研究包括流体流动,流变学,概率和电网络等方面的问题,分数阶微分方程已经成为经典物理以及相关学科理论的解析数学工具,很多问题的数学模型最终都可以归结为分数阶微分方程的定解问题,其非常适合于刻画具有记忆性和遗传性质的材料和过程,对复杂系统的描述具有建模简单、参数物理意义清楚、描述准确等优势。在数值求解方面,分数阶微分方程的相关算法主要集中在有限差分方法和有限单元法,成熟的数值算法比较少 [15] 。
在文献 [9] 中,刘和杨用Picard迭代法讨论了如下奇异分数阶微分方程初值问题解的存在唯一性:
其中
是Rimann-Liouville分数阶导数,
,
是一个初值,函数f在
处可能是奇
异的,将著名的Picard迭代技术推广到分数阶微分方程,得到了上述问题解的存在唯一性。
受到文献 [9] 的启发,在本文中,我们运用Picard迭代法考虑下面的分数阶微分方程初值问题解的存在唯一性:
(1)
其中
被称为带有一个函数的
阶Rimann-Liouville分数阶导数,
被称为带有一个函数的
阶Rimann-Liouville分数阶积分,
,
,
,
,
,
,
。
本文结构安排如下:在第二部分,我们首先给出一些必要的定义和引理;在第三部分,我们将该微分方程的初值问题转换成与其等价的积分方程,通过Picard迭代法,提供了一致收敛到所讨论问题的解的可计算序列,得到了分数阶微分方程初值问题(1)解的存在唯一性,并且建立了一致逼近解的迭代格式。
微分方程解的存在唯一性是研究微分方程解的适定性的一个关键问题。由于缺乏求解分数阶和随机微积分控制的非线性动力系统的通用技术,在采用离散化方法获得近似解之前,研究解的存在唯一性是前提与基础。常用研究方法有Picard逐步逼近法和运用Banach不动点定理,其中Picard逐步逼近法是较为重要的近似计算方法 [14] 。在本文中,我们将Picard迭代法推广到了分数阶微分方程,不仅将Picard迭代法应用于一类以带有一个函数的分数阶导数表示的微分方程初值问题解的存在唯一性的论证中,还提供了求解此类分数阶微分方程初值问题近似解的一种思路。
但由于Picard迭代法是最早在数学上完善处理这样的逐次逼近的函数序列的方法,它的缺点也非常明显:证明过程繁琐且满足条件的函数序列不易得出,也无法借助计算机验证。且在数值计算时,Picard迭代法的收敛性和速度都得不到保证,求解常微分方程的迭代方法仍有较大发展空间。
2. 预备知识
在这一部分里,我们给出带有一个函数的分数阶微积分的定义和基本性质,具体的请参见文献 [16] 、 [17] .
定义1 [16] 设
,
,
,
,
,
,对于定义在
上的函数
带有一个函数的分数阶积分定义为
被称为带有一个函数的
阶Riemann-Liouville分数阶积分。
定义2 [16] 设
,
,
,
,
,
,对于定义在
上的函数
,带有一个函数的分数阶导数的定义为
引理1 [17] 设
,则如下结论成立:
1) 若函数
在
上连续,则对任意的
,有
2) 若函数
在
上连续,且存在可积的
,则对任意的
,有
3. 主要结果
在本部分,我们将基于带有一个函数的分数阶微积分的基本性质,利用Picard迭代方法,讨论分数阶微分方程初值问题(1)解的存在唯一性。
令:
下面是本论文的主要结果。
定理 假设如下条件成立:
1) 对于任意的
,
在
上是连续的,对于任意的
,
在J上是可测的。
2) 存在
使得对于任意的
,有
3) 存在
使得对于任意的
有
则分数阶微分方程初值问题(1)在J上存在唯一的连续解
,其中
,
。
证明我们将用Picard迭代法来证明该结论,为了完成该定理的证明,我们需要下面的5个结论。
结论1在连续函数空间
上,微分方程初值问题(1)可转换成如下等价的积分方程:
(2)
证明若
满足微分方程初值问题(1),即
(3)
对(3)两边同时进行
阶积分得到
则由引理1可得
再将
代入得到
反之,若
满足积分方程,即
则对此方程两边同时求
阶导数得到
即
由引理1和文献 [10] 得:
并且通过计算可得:
。命题1得证。
我们选取
作为Picard迭代序列。
结论2对于所有的n,函数
在
上有定义、连续且满足不等式:
证明由函数h的性质和条件(1)、(2)知
与
在
上连续,且
假设
且对
满足不等式:
由函数h的性质和条件(1)、(2)知
且有:
所以
也满足上述不等式,由数学归纳法知,结论2对所有n均成立,结论2证毕。
结论3函数序列
在
上是一致收敛的。
证明考虑
由条件(1)可得:
由利普希茨条件可得:
下面证明对任意正整数n,有
(4)
已知该式子对于
成立,假设其对于
也成立,由利普希茨条件,当
时,有:
故其对
也是成立的,由数学归纳法可知对于任意正整数n,式(4)都成立。
考虑
则有
由比式判别法可知,
在
上一致收敛,因此序列
也在
上一致收敛,结论3证毕。
结论4
是积分方程(2)的定义于
上的连续解。
证明由结论2知
则
由结论3知函数序列
在
上一致收敛于0,因此,对函数
序列两边取极限,得到
即
这就是说,
是积分方程(2)的定义于
上的连续解,命题4证毕。
结论5设
是积分方程(2)的定义于
上的另一个连续解,则
证明 我们证明
也是序列
的一致收敛极限函数。
因为
也是积分方程(2)的解,则有
由条件(2)知
故
且
现设
又
故
则
即
这就证明了
的唯一性,结论5证毕。
故微分方程初值问题(1)在
上存在唯一的连续解
,其中
。
注:本文所得结论可适用于分数阶微分方程初值问题(1)一些具体实例,我们可以参照文献 [9] 中的例3.2给出类似实例,此处不再赘述。
致谢
感谢同学们在论文编写过程中给予的大力支持和帮忙,给我带来极大的动力。也要感谢参考文献中的作者们,他们的研究文章使我们受益匪浅。
基金项目
本论文得到了中国矿业大学(北京)大学生创新训练项目(202207002)的资助。