1. 引言
分数阶微分方程是微分方程的一个重要分支,因其具有记忆性、遗传性等特点,能更客观准确地描述非线性状态或现象,在处理非线性常微分、偏微分、积分、差分方程问题时具有极高潜力,进入21世纪以来,分数阶微积分及分数阶微分方程理论成功应用于药物扩散、信号处理、图像处理、天气预报、粘弹性材料等工程和技术领域 [1] - [7] 。例如,在图像处理中,通过改变微分的阶数可以增加高频信息同时保留低频信息,从而有效提高图像清晰度。在黏弹性流变问题中,许多复杂黏弹性材料具有记忆特性,使用分数阶模型可克服整数阶模型无法良好拟合试验数据的问题,而且只需较少的参数。因此,分数阶微分方程已成为越来越多学者探讨和研究的重要课题。越来越多的学者被它广泛的应用前景所吸引。
非线性泛函分析理论是研究分数阶微分方程及其边值问题的重要手段,包括上下解方法、解析方法、非线性算子理论、临界点理论等等。大多数学者以此为工具研究分数阶微分方程解的存在性、唯一性、多重性、渐进性等。微分方程中非线性项的性质、边界条件的形式及导数的类型都对方法的选择与应用有着十分重要的影响。其中,不同类型分数阶微分方程边值问题的研究受到了广泛关注,包括分数阶微分方程的两点、三点、多点边值等问题 [5] - [18] 都引起了人们的兴趣。文献 [8] 讨论了以下的分数阶微分方程:
(1)
其中
为黎曼刘维尔型分数阶导数,
,通过使用巴拿赫压缩映像原理,作者得到了上面方程解的存在性结论。文献 [9] 讨论了以下的分数阶微分方程:
(2)
其中
主要在不考虑算子紧性、连续性或者上下解存在的条件下,结合集合
中算子的不同凹凸性、单调性等性质,利用锥与半序理论和单调迭代技巧来研究方程的唯一解。
本文论讨论了如下一类带有参数的
黎曼刘维尔型分数阶微分方程
(3)
其中
为
黎曼刘维尔型分数阶导数,参数
,
且
。以及式子:
相较于(1)和(2)这两个方程,本文将方程的形式上从黎曼刘维尔型分数阶导数推广成了
黎曼刘维尔型分数阶导数,在选取特定的参数时,本文结果将退化为方程(1)和(2)。因此本文的结论更具有一般性,同时也为处理该类问题时提供了一种新思路。
2. 预备知识
定义1 [10] 令
,
是定义在区间
上的严格单调递增的正值函数,且
,则称函数
对于另一个函数
在区间
上的
阶
黎曼刘维尔积分为:
定义2 [10] 令
,
是定义在区间
上的严格单调递增的正值函数,且
,则称函数
对于另一个函数
在区间
上的
阶
黎曼刘维尔导数为:
其中
。
定义3 [10] 设E是实巴拿赫空间,倘若P是E中非空凸闭集且满足:
(1):对任意的
且
则有
。
(2):如果
且
则有
,其中
表示
中零元素。
则称P是E中的一个锥。并且我们在锥种引入半序概念,即如果
,当
时可记为
。特别的,如果对于任意满足
,存在常数
使得
成立,则称锥
为正规锥,其中常数
称为正规常数。
定义4 [9] 设
是实巴拿赫空间,P是
上的正规锥,设
,定义集合
定义为
。若算子
满足对任意的
,存在
存在使得:
则称算子
为
凹算子。
引理1 [11] 如果
,
,则
其中
为待定系数。
引理2 [9] 设
是正规锥,设
,
是增
凹算子且
。则算子
满有唯一不动点,且对于集合
中任意给定的初值
构造迭代序列
都有
。
引理3 设
,则下面方程:
(4)
有唯一解:
其中
为:
(5)
其中
,
,常数
。
证明:由引理1,并带入条件
。则:
(6)
由
的定义可知
,不难证明函数组
与
可构成相同的线性空间,则存在
将上式改写为:
(7)
带入边界条件
可得:
(8)
因此可得:
(9)
引理3 格林函数
具有以下性质:
(10)
其中,函数
的表达式为
,
,这里
。
证明:对于
或者
时,不难得出
,此时结论成立。当
时。为了方便求解,令
,则
,设:
(11)
因为
(12)
由此可得
(13)
(14)
如果
,此时有
,由此可得
(15)
(16)
如果
,此时有
,利用类似的方法上面的两个不等式依旧成立,则引理3得证。
定理1 假设P是正规锥,
是增
凹算子且
定义算子
,则以下结论成立:
(1):对任意
,
有唯一不动点
,且在
中,任给初值
,构造迭代序列
,都有
。
(2):对任意
,则(1)中给出的给出对应的唯一解
满足关于
的不等式
。
(3):如果存在
使得
则(1)中给出的给出对应的唯一解
在
上连续。
证明:根据算子
的定义,不难证明
是增算子且
。对任意的
以及
,有
(17)
因此,
是
算子。由引理2可知,结论(1)成立。由
,令
。则
,如果
,因为
,则
(18)
因为
,这与我们的已知条件矛盾。因此
。所以有
,结论(2)成立。针对性质(3),我们假设
,令
,则
,因为
,不难证明对任意
,有
(19)
由此可得:
(20)
如果
,则有
,这与假设矛盾。因此有
根据结论(2)并考虑到
的相对性,令
分别是
之间的最小值与最大值,不难得到对于任意的
,有
。设锥
的正规常数为
,因此:
(21)
于是有
,因此性质(3)成立。
3. 主要结果
在实巴拿赫空间
中考虑主要定理,设
,且
的范数为
。定义
。显然,
是
中的正规锥。对任意
,令:
取
,其中
。显然有
。由
的非负性和
,可知
,进而有
。
定义算子
,其中算子
为:
定理2 假设满足如下条件:
(i):
是连续函数,关于变量
递增,且对
有
。
(ii):对任意
,存在
使得:
则有以下结论成立:
(1):对任意
,方程(3)在
有唯一解
,且在
中,任给初值
,构造迭代序列
,都有
。
(2):方程(3)的唯一解
满足
随着
的增加而减小。
(3):如果存在
使得
。则方程(3)的唯一解
在
上连续。
证明:很明显方程(3)的解可化为算子
的不动点问题。根据假设,很明显有
。结合定理1,我们从三个方面来验证算子
满足相应条件。
首先,我们证明
。由
的性质和条件(i),有:
(22)
(23)
令:
则有
。因此有
。第二步我们证明
是增算子。对任意的
假设
,根据条件(i)可以得到:
因此
是增算子。最后我们证明算子
是
算子。由条件(ii)可得:
(24)
于是结论成立,根据定理1,我们可知定理2的结论成立。
4. 应用举例
考虑如下问题:
(25)
结论:对任意的
,方程(25)在集合
(这里为了将与自然对数e进行区分,我们将其写为
)上有唯一解,且
随着
增加而减小,
在
连续。其中,
。其中
为第二小节中将对应值带入的函数。
证明:与方程(3)对比,则不难得出
,
,
,区间
,函数
,
。于是有
。
,从而不难得出,
满足
,且对任意的
,
关于
是增的,则第三节中的条件(i)满足。另一方面,对任意的
以及
,有:
根据定理2,可得结论正确。
5. 结论
本文研究了一类含有参数的
黎曼刘维尔型分数阶微分方程多点边值问题,在边界条件的形式进行了拓展。同时,在一类集合
上的不动点定理基础之上,本文在含有参数的集合
上对上述不动点定理进行了推广,得到了不动点的存在唯一性以及该不动点关于参数的单调性与连续性,丰富了含有参数的不动点理论。最后利用该结论证明了方程(3)在集合
上有唯一解以及解关于参数的性质。
本文的方法只是从理论上研究了解的存在唯一性,没有给出的迭代序列的收敛速度,这可以作为后续的研究方向。另外,根据本文给出的关于格林函数性质的分析,也可以尝试使用其他的不动点理论来进行研究,得到一些非线性项具有其他性质时解的存在性与唯一性。
基金项目
山西省青年科学研究项目,项目编号202103021223060。
NOTES
*通讯作者。