1. 引言
分数阶微积分的研究历史几乎与整数阶相同,在发展初期阶段,因为缺少实际应用背景的支撑以及发展前景不明朗等多方面的原因,分数阶微积分长期停留在理论和猜想阶段,因而发展的比较缓慢。近几十年来,有可能包含分形现象在内的物理、工程等诸多应用学科领域应用的拓展,激发了科研人员对分数阶微积分的巨大热情[1]-[3]。在求解实际问题的过程中,从准确的建立问题模型到求解方程都是分数阶微分方程理论所面临的主要问题,一般来说,求解方法可以分为两类,一是使用逐次逼近法用近似解不断的逼近精确解,二是将解的存在性问题转化为某一变换的不动点的存在性问题。目前,分数阶微分方程边值问题解的存在唯一性已有大量的研究成果[4]-[14]。譬如,Lakoud等人[12]于2017年运用Krasnoselskii不动点定理研究了下述边值问题
(1)
解的存在性,其中,
表示右Caputo导数,
表示左Riemann-Liouville导数,
,
,
。
2021年,Liu等人在文献[13]中利用
-凹算子以及
型混合单调算子的不动点定理分别得到了分数阶微分方程边值问题
(2)
解的存在唯一性,其中,
,
,
,
连续,
是一个常数。
2019年,Zhang等[14]考虑了非线性项含有未知函数分数阶导数的边值问题
(3)
其中,
,
(
),
,
连续,利用拓扑度理论获得了边值问题(3)非平凡解的存在性结果。
受上述文献的启发,运用
型混合单调算子的不动点定理[6]研究下述非线性项含有未知函数分数阶导数的高阶分数阶微分方程边值问题
(4)
解的唯一性。总是假定
,
,
,
(
),
,
是一个常数。
2. 预备知识
首先给出与分数阶微分方程相关的一些基本定义和引理。为此,假定
是一个常数,
表示
的整数部分,而N是大于等于
的最小整数。
2.1. 定义1 [1]
上的
阶Riemann-Liouville分数阶积分
和
分别定义为
和
其中,
2.2. 定义2 [1]
上的
阶Riemann-Liouville分数阶导数
和
分别定义为
和
其中,
。
2.3. 引理1 [7]
设
,则分数阶微分方程
有唯一解
其中,
,
。
2.4. 引理2 [7]
设
具有
阶导数且
,则
其中,
,
。
2.5. 引理3
设u是边值问题(4)的解,则
是边值问题
(5)
的解。反之,设v是边值问题(5)的解,则
是边值问题(4)的解。
证明 类似于文献[15]中的引理2.9,此处省略。
鉴于引理3,本文的剩余部分致力于讨论边值问题(5)的解。
2.6. 引理4 [14]
设
是给定的函数,则边值问题
有唯一解
其中
2.7. 引理5
满足如下性质:
1)
在
上连续;
2)
,
。
证明 1) 显然成立;
既然右端的不等式是显然的,故只需要证明左端的不等式成立即可。当
时,
而当
时,
本节的剩余部分介绍t-
型混合单调算子的定义以及关于
型混合单调算子的不动点定理。
设
是一个实Banach空间,P是E中的锥,“
”是由P诱导的半序,即
当且仅当
,为方便起见,
有时也写成
。如果
且
,则记
或
。
表示E中的零元。如果存在常数
使得当
时必有
,则称P为正规锥。给定
,定义集合
存在
,
使得
。
2.8. 定义3 [5]
设D是实Banach空间E的一个子集且
。如果
关于u是增的且关于v是减的,即对于任意的
,如果
蕴含着
;对于任意的
,如果
蕴含着
,那么称T为混合单调算子。如果
,则称
为T的一个不动点。
2.9. 定义4 [6]
设
是一个混合单调算子,若对于任意的
,存在
使得
对于任意的
都成立,则称T为
型混合单调算子。
2.10. 引理6 [6]
设P是实Banach空间E中的正规锥,
是一个
型混合单调算子,则T有一个唯一的不动点
。更进一步,任取
,构造序列
,
,
,必有
且
。
3. 主要结果
在后续部分,记
,令
,
,
,则E是Banach空间,P是E中的正规锥。显然,
当且仅当
。
令
,
,
,则有
。
为方便起见,记
定理1
假设下述条件成立:
(H1) 存在两个连续函数
满足对于所有的
都有
,
使得
;
(H2) 对于任意的
,存在
使得对于任意的
以及
都有
,
;
(H3)
,则边值问题(5)有唯一解
。
证明 定义算子
如下:
因此v是边值问题(5)的解当且仅当v满足
。
为方便起见,在本节剩余部分,令
。
由P的定义知P是一个正规锥。首先证明
。
事实上,若
,则存在
使得
(6)
设
,则有
且
根据(H2),通过简单计算可知,对于任意的
,
,
(7)
(8)
既然
由(6)、(7)以及(8),鉴于(H1)可得
(9)
以及
(10)
既然
则由(9)、(10),鉴于(H2)可得
(11)
以及
(12)
令
由(11)、(12),鉴于(H1)以及引理5可得
以及
结合(H3),可得
从而,
。
接着证明T是一个混合单调算子。
根据(H1),对于任意的
,
,
对于任意的
,
,
因此,由定义3可知,T是一个混合单调算子。
最后证明T是一个
型混合单调算子。
对任意的
,存在
使得对所有的
及
,由(H2)有
(13)
以及
(14)
由(13)、(14)可知
由定义4,T是一个
型混合单调算子。
综上所述,引理6的所有条件均满足,故由引理6可知,算子T在
中存在唯一的不动点
,即边值问题(5)存在唯一解
。更进一步,任取
,构造序列
必有
,
。
4. 实例分析
对于边值问题(5),令
,
,
,
,
,考虑下述边值问题
(15)
设
,
,则边值问题(15)可以转化为:
(16)
对于任意的
,令
容易验证下述条件成立:
1) 显然
连续且任给
都有
,
使得
2) 任给
,取
使得对于任意的
,
有
3) 通过简单计算可知
因此,
定理1的条件全部满足,边值问题(15)有唯一解。
5. 结论与展望
本文主要研究的是一类高阶分数阶微分方程边值问题解的唯一性。
通过文献资料的学习并受到文献[13]和[14]的启发,进而确定了本文的问题模型。首先,将原边值问题通过降阶的方法转变成一个非线性项不含导数的等价边值问题,这样就可以继续在原有的空间
中求解问题。其次,分析Green函数的性质并给出相应等价问题具有唯一解的充分条件。最后利用集合
中的
型混合单调算子不动点定理证明边值问题存在唯一解并构造出逼近此解的迭代序列。
同参考文献[14]相比,本文在方程部分加了一个大于0的常数b,这就需要引入集合
中的混合单调算子不动点定理去研究解的性质,得到了边值问题解的唯一性。分数阶微分方程的重要程度不言而喻,随着其不断发展应用到自然科学和生产生活的各个领域,对边值问题解或正解的研究有待进一步探索。接下来可以将原边界条件进一步扩展为更具一般性的Riemann-Stieltjes积分边界条件并对其展开研究。