具有导数项的分数阶微分方程解的存在唯一性

温世林，韩 伟，桑彦斌

（中北大学 理学院，太原 030051）

1 相关进展

分数阶微分方程已经广泛应用于物理、化学、生物、工程等各个领域［1－3］，对分数阶微分方程的研究具有重要的理论和应用价值。特别是具有多种边界条件的分数阶微分方程，近年来引起人们的极大兴趣，对其研究主要集中在非线性分数微分方程边值问题正解的存在性、多重性和唯一性。LI等［4］研究了如下非线性分数阶微分方程边值问题正解的存在性，其中Dα0＋，Dv0＋为标准的Riemann Liouville分数阶导数：

Wang等［5］利用格林函数的性质和锥理论，讨论了如下高阶非线性奇异分数阶微分方程的唯一存在准则：

Jleli等［6］利用混合单调算子方法对以下任意阶非线性分数阶微分方程正解的存在唯一性进行了研究，其中n＞3（n∈N），f、g为连续函数。

本文中将研究如下具有导数项的分数阶微分方程正解的存在唯一性：

其中：Dα0＋，Dβ0＋，Dv0＋为标准的Riemann Liouville分数阶导数，0＜t＜1，n－1＜α≤n（n∈N，n≥2），n－2＜β≤v≤n－1，0≤b≤1，ξ∈（0，1），α－v－1≥0，0≤bξα－v－1＜1。应用文献［7］中算子方程，其中A，B，C∶P×P→P是混合单调算子：

2 预备知识和相关引理

本节简单介绍了一些定义、符号和已知结果［8－10］。

定义1 A∶P×P→P是1个混合单调算子，如果A（x，y）在x上递增，在y上递减，则x（x∈P）为A的不动点［11］。

定义2 A∶D（A） E→E，若对 x，y∈D（A），x≤y，t∈（0，1），有A（tx＋（1－t）y）≤tAx＋（1－t）Ay，称A为凸算子。若A为凸算子，则－A为凹算子［12］。

集合E＝｛x｜x∈C［0，1］，D0β＋x∈C［0，1］｝为实Banach空间，定义它的范数为： x（t） ＝max｛t∈m［a0，x1］｜x（t）｜，t∈m［a0，x1］D0β＋｜x（t）｜｝。E被赋予一个半序关系：若u（t）≤v（t），D0β＋u（t）≤D0β＋v（t），那么u v。设P E，定义：P＝｛x∈E∶x（t）≥0，D0β＋x（t）≥0， t∈［0，1］｝，显然P是1个正规锥且Ph∈E。

引理1 P是E中的1个正规锥，假设A，B，C∶P×P→P是3个混合单调算子，并且满足如下条件：

3）对y∈P中任一点，C（·，y）∶P→P为凹算子；对x∈P中任一点，C（x，·）∶P→P为凸算子；

4）-h∈P，h＞θ使A（h，h）∈Ph，B（h，h）∈Ph，C（h，h）∈Ph；

6）存在常数 δ0＞0，对于 x，y∈Ph，B（x，y）＋C（x，y）≤δ0A（x，y）；

那么算子方程（2）在P中有唯一正解x ，满足μh≤x ≤λh，λ、μ为2个正实数。……