1. 引言
近三十年来,在包括分形现象在内的物理、工程等诸多应用学科领域的应用拓展,激发了科研人员对分数阶微积分的巨大热情。现在分数阶微分方程理论及其应用的研究已成为国内外研究的热点问题之一。在微分方程的理论研究及其应用中,含有参数的分数阶微分方程,包括特征值问题及边值条件中含有参数的分数阶微分方程都具有十分重要的研究价值,参见文献 [1] - [6] 及其参考文献。
最近,文献 [7] 研究了如下含参数的分数阶微分方程边值问题:
作者利用不动点指数理论研究了参数对解的性质的影响。文献 [8] 研究了如下含参数的分数阶微分方程边值问题:
作者利用上下解和Schauder不动点定理得到了边值问题至少有一个正解,两个正解和没有正解的充分条件。
受上述文献启发,本文研究如下含有非线性积分项的分数阶微分方程边值问题
(1.1)
以及
(1.2)
其中
为
阶Riemann-Liouville分数阶导数,
,
,参数
,
,
,
。当u有界时,
在
上有界,
有界。
2. 预备知识与引理
定义2.1 函数
的
阶Riemann-Liouville分数积分定义为
等式的右端在
有定义。
定义2.2 连续函数
的
阶Riemann-Liouville分数导数定义为
等式的右端在
有定义,其中
。
定义2.3 边值问题(1.1)的解u称为正解,如果
,
,且
,使得
。
下面,给出半序Banach空间中的一些基本概念 [9]。
设
是实Banach空间,
表示E中的零元。
是一个锥,“
”是由P引出的半序,即
,
。称锥P为正规的,如果存在常数
,使得
,称最小的N为P的正规常数。称
,若
,
,使得
。对于给定的
,定义
。
定义2.4 称
是混合单调算子,若
关于x是增算子,关于y是减算子。即
,
,
,有
。
引理2.5 [10] 设E是一个实Banach空间,P是E中的正规锥,
,算子
是增算子,
,使得
,且
,
,
,使得
。则
(i) 方程
在
中有唯一解
;
(ii)
,设
,
,当
时,有
。
引理2.6 [10] 假设引理2.5中的条件成立,
是方程
的唯一解。则
(i)
关于
严格单调递减,即
,有
;
(ii) 若
,当
时,有
,则
关于
连续,即由
有
;
(iii)
,
。
引理2.7 [11] 设E是一个实Banach空间,P是E中的正规锥,算子
是混合单调算子,
,
,使得
,且
,
,
,使得
。则
(i) 方程
在
中有唯一解
;
(ii)
,令
,
,
,有
,
(
)。
引理2.8 [11] 假设引理2.7中的条件成立,
是方程
的唯一解。则
(i) 若
,有
,则
关于
严格单调递减,即
,有
;
(ii) 若
,当
时,有
,则
关于
连续,即由
有
;
(iii) 若
,当
时,有
,则
引理2.9 当
,
,
,
时,边值问题
(2.1)
的解等价于如下积分方程的解
(2.2)
其中
证明由
得
(2.3)
当
时,得
。将
代入上式并令
,得
将
代入(2.3),得
另一方面,若u满足(2.2),经计算u是边值问题的一个解。证毕。
引理2.10 [8]
满足以下性质
(1)
;
(2)
;
(3)
在
上连续;
(4) 当
时,
关于t单调递减。当
时,
关于t单调递增。
(5)
。
令
定义E中范数
,由 [8] 可知E是Banach空间。
令
则P为E中的正规锥。
3. 单调算子方法
这里使用如下假设:
(H1) 对于固定的
,
关于
单调递增,且
,
,使得
,
,
;
(H2)
关于
单调递增,且
,
,使得
,
;
(H3)
;
令
定义算子
显然,
。
定理3.1 设(H1)和(H2)成立,则
,边值问题(1.1)存在唯一的正解
,且
,设
,
,有
(
)。
满足:
(i)
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii)
,
。
证明 由(H1)和(H2)可知A是增算子。记
,再由(H1)和(H2)可知
,有
根据算子A的定义,有
又因为
由此可知
。
由引理2.5可知
,边值问题(1.1)存在唯一的正解
,且
,设
,
,有
(
)。由引理2.6可知
满足:
(i)
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii)
,
。证毕。
定理3.2 设(H1),(H2)和(H3)成立,则
,边值问题(1.2)存在唯一的正解
,且
,设
,
,有
(
)。
满足:
(i)
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii)
,
。
证明 根据算子A的定义及(H2),有
又因为
由此可知
。其余证明过程类似于定理3.1。证毕。
4. 混合单调算子方法
这里使用如下假设:
(H4) 对于固定的
,
关于
单调递减,且
,
,使得
,
,
;
(H5)
关于
单调递减,且
,
,使得
,
;
(H6)
。
定义算子
显然
。
定理4.1 设(H1)和(H5)成立,则
,边值问题(1.1)存在唯一的正解
,且
,设
,
,
,有
(
),
。
满足:
(i) 若
,有
,则
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii) 若
,当
时,有
,则
证明 由(H1)和(H5)可知B是混合单调算子。
再由(H1)和(H5)可知
,记
,有
根据算子B的定义,有
又因为
由此可知
。
由引理2.7可知,
,边值问题(1.1)存在唯一的正解
,且
,设
,
,
,有
(
),
。由引理2.8可知,
满足:
(i) 若
,有
,则
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii) 若
,当
时,有
,则
证毕。
类似于定理4.1可证如下结论。
定理4.2 设(H2)和(H4)成立,则
,边值问题(1.1)存在唯一的正解
,且
,设
,
,
,有
(
),
。
满足:
(i) 若
,有
,则
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii) 若
,当
时,有
,则
定理4.3 设(H1),(H5)和(H6)成立,则
,边值问题(1.2)存在唯一的正解
,且
,设
,
,
,有
(
),
。
满足:
(i) 若
,有
,则
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii) 若
,当
时,有
,则
证明 根据算子B的定义及(H5),有
又因为
由此可知
。其余证明过程类似于定理4.1。证毕。
类似于定理4.1和定理4.3的证明可得如下结论。
定理4.4 设(H2),(H3)和(H4)成立,则
,边值问题(1.2)存在唯一的正解
,且
,设
,
,
,有
(
),
。
满足:
(i) 若
,有
,则
关于
严格单调递增;
(ii) 若
,当
时,有
,则
关于
连续;
(iii) 若
,当
时,有
,则
5. 例子
例1 考虑如下边值问题
(5.1)
其中
,
,
,取
,则
满足(H1)和(H2)。令
,当
时,有
。由定理3.1可知
,方程(5.1)存在唯一的正解
,且
,设
,
,有
(
)。
满足:
(i)
关于
严格单调递增;
(ii)
关于
连续;
(iii)
,
。
例2 考虑如下边值问题
(5.2)
其中
,
,
,取
,则
满足(H1)和(H5)。令
,当
时,有
。由定理4.1可知
,方程(5.2)存在唯一的正解
,且
,设
,
,
,有
,
(
)。
满足:
(i)
关于
严格单调递增;
(ii)
关于
连续;
(iii)
,
。
基金项目
国家自然科学基金(11361047)。
NOTES
*通讯作者。