1. 引言
分数阶微积分是由整数阶微积分推广而来的,已广泛应用于控制系统、空气动力学、流体力学等众多工程分支中。因此,分数阶微分方程理论研究近年来得到了快速发展,研究成果非常丰富 [1] [2] [3] [4] [5] 。其中:文 [4] 运用锥理论得到了一类分数阶无穷点边值问题存在一个局部正解以及多个局部正解的充分条件;文 [5] 利用Schauder不动点定理及凹算子不动点定理建立了高阶分数阶多点边值问题正解的存在性及唯一正解的存在性结果。
带有p-Laplacian算子的方程模型能更好地描述多孔介质中的湍流、弹性理论等诸多领域中的实际问题,目前,带有p-Laplacian算子的分数阶微分方程受到众多学者的关注 [6] [7] [8] [9] [10] 。其中:文 [9] 研究了如下带有p-Laplacian算子的分数阶微分方程
其中:
和
是标准的Riemann-Liouville分数阶导数,
,
,
,
,
,
,
,
。作者应用锥上的不动点定理获得了上述边值问题至少存在一个和两个正解的充分条件。文 [10] 研究了如下带有p-Laplacian算子的分数阶积分边值问题
其中:
,
和
是标准的Riemann-Liouville分数阶导数,
,
是标准的Riemann-Liouville分数阶积分,
,
,
,
,
,
,
,
,
,
。作者应用上下解方法和单调迭代方法得到了上述边值问题极值解的存在性的充分条件。
受上述文献启发,本文讨论如下带有p-Laplacian算子的分数阶积分边值问题
(1)
其中:
,
,
是Riemann-Liouville分数阶导数,
是Riemann-Liouville分数阶积分,
,
,
,
,
,且
,
,
,
,
,
。本文运用锥拉伸锥压缩不动点定理以及Leggett-Williams不动点定理研究该边值问题正解的存在性。
2. 预备知识和引理
定义1 [1] 函数
的
阶Riemann-Liouville分数阶积分定义为
,
其中:等式的右端在
有定义。
定义2 [1] 连续函数
的
阶Riemann-Liouville分数阶导数定义为
,
其中:等式的右端在
有定义,
,
为Gamma函数。
引理1 [1] 设
,
,
,则
,
其中:
,
,
。
引理2 若
,则分数阶微分方程边值问题
有唯一解
.
其中:
其中:
。
证明 由
以及引理1可得,
等价于
,
,
由边界条件
,
可得
。故
(2)
对(2)式两边求
阶导数得
对(2)式两边求w阶积分得
由边界条件
可得
(3)
将(3)式代入(2)式可得
(4)
令
,可得
,再由引理1可得
(5)
由边界条件
得
。再由定义2对(5)式两边求
阶导数可得
.
由边界条件
得
于是边值问题有唯一解
(6)
证毕。
引理3 函数
,
满足如下性质:
1) 对任意的
,
,
;
2)
,
;
3)
证明 1) 由函数
的表达式易知,对任意的
,
。
对于函数
,注意到
以及
,则有
进而有
,以及
进而容易得到对任意的
,
。
2) 对于函数
,通过简单计算,可得当
时,
当
时,
即
在
上是关于t的增函数,在
上是关于t的减函数。进而有
,
3) 令
,
可得
证毕。
设E是实Banach空间,
为E中的零元素。P为E中的非空凸闭子集,若
则称P为E中的锥。
引理4 [3] 设E是一个Banach空间,P为E中的一个锥,
是E中的两个有界开集,并且
。假设
是全连续算子,若下列条件二者成立其一:
(K1)
,
;
,
(K2)
,
;
,
那么T在
中至少有一个不动点。
定义3 [3] 设P为Banach空间E中的锥。若映射
连续且
,
,有
,则称
是P上非负连续凹泛函。
引理5 [3] 设常数
,
是全连续算子,
是P上的一个非负连续凹泛函,且对任意的
,有
。又设
(L1)
且对
,有
;
(L2) 当
时,
;
(L3) 当
且
时,
.
则算子T至少有三个不动点
,满足
,
,
,
。
3. 主要结果
设
。对任意的
,定义其范数为
容易证明E为Banach空间。再令
则P是E中的锥。定义泛函
,
则它是P中的非负连续凹泛函。定义算子A如下:对任意的
,
,
(7)
引理6 算子
是全连续算子。
证明 根据引理3的1)以及函数f的非负连续性可得,对任意的
有
,
所以
。以下证明A为紧算子。设
是锥P中的有界集,即存在
,使得
,
设
,其中
进而对任意的
,由引理3的2)得
由此可知
为E中一致有界的子集合。
再证
为E中等度连续的子集合。对任意的
,
有
又
在
上连续,从而一致连续,故
为E中等度连续的子集合。进而集合
是一致有界且等度连续的,根据Arzela-Ascoli定理可知
是E中的相对紧集。
最后证明
是连续算子。设
,
,当
时,有
,故存在常数
,使得
,
,
。于是对
,
其中
。由Lebesgue控制收敛定理可知,
进而根据引理3的2)得
则
是连续算子。证毕。
为了方便叙述,记:
定理1 若存在两个常数
,使得
(H1)
,
,
(H2)
,
,
则边值问题(1)至少有一个正解u,使得
。
证明 令
,当
时,有
,
,
。由(H1)及引理3的3)可得
因而当
时,有
。
另一方面,令
,当
时,有
,
,
。由(H2)及引理3的2)可得
因而当
时,有
。
由引理4可知算子A至少有一个不动点u,即边值问题(1)至少有一个正解且满足
。证毕。
定理2 假设存在正常数且满足
,使得:
(H3) 当
时,
;
(H4) 当
时,
;
(H5) 当
时,
。
则边值问题(1)至少有三个正解
,且满足
,
,
,
证明 若
,则
,由假设(H5)可得
从而说明对任意的
,
,故有
。同理,若
,由假设(H3)可得
,所以引理5中的条件(L2)成立。
令
,
,则
且
,因而
,
即
。若
,则
,从而由假设(H4)可得
即对任意的
,
。所以引理5中条件(L1)成立。
如果
,那么引理5的条件(L1)可以推出条件(L3)。
综上,由引理5可知,边值问题(1)至少有三个正解
,且满足
,
,
,
。
4. 例子
例1 考虑如下带有p-Laplacian算子的分数阶积分边值问题
(8)
此即在边值问题(1)中,
,
,
,
,
,
,
,
及
,
,
。
通过计算可得
,
,
,
。选取
,
有
,
,
于是定理1的条件都满足,所以边值问题(8)至少存在一个正解u,使得
。
例2 考虑如下带有p-Laplacian算子的分数阶积分边值问题
(9)
此即在边值问题(1)中,
,
,
,
,
,
,
,
及
通过计算可得
,
,
,
。选取
,
,
有
,
,
,
于是定理2的条件都满足,所以边值问题(9)至少有三个正解
,且满足
,
,
,
.
NOTES
*通讯作者。