1. 引言
分数阶微分方程在很多领域都有着广泛的应用,尤其在流体力学、分数控制系统、气体力学、电子动学、化学工程等方面,目前已取得了很多优秀的研究成果,如文献 [1] - [10] 。但在分数阶微分方程的边值问题的研究中,有限区间上的研究较多,无穷区间上的研究较少。
在文献 [3] 中杨凯军运用锥拉伸与锥压缩不动点定理和不动点指数理论研究如下分数阶微分方程m点边值问题。
(1.1)
其中,
,
,
,
,得到边值问题(1.1)至少存在一个和两个正解的充分条件。受上文的启发,本文研究如下的一类分数阶微分方程组的边值问题
(1.2)
其中,
,
,
,
,
,
,
与
都是标准的Riemann-Liouville分数阶微分,
是标准的Riemann-Liouville分数阶积分。
2. 预备知识及引理
定义1.1 [2] 连续函数f:
的
阶Riemann-Liouville分数阶积分的定义为:
,
对任意的
,右端在
上逐点可积。
定义1.2 [2] 函数f:
的
阶Riemann-Liouville分数阶积分的定义为:
其中,n是大于等于
的最小正整数,等式的右端在
有定义。
引理1.1 [2] 假设
,如果
且有
则:
其中
为任意常数,n为大于等于
的最小正整数。
引理1.2 设
连续,那么边值问题
(2.1)
有唯一解:
,其中,
,
.
证明:由引理1.1及
得
。由边界条件
得
,所以
,于是
,
由
得
,因此
,
,
,
,
由边值条件可得
,
![](//html.hanspub.org/file/28-1250808x61_hanspub.png)
![](//html.hanspub.org/file/28-1250808x62_hanspub.png)
![](//html.hanspub.org/file/28-1250808x63_hanspub.png)
证毕。
引理1.3 函数
满足如下性质
1)
和
均在
上连续,并且对任意的
,
;
2)
,
;
3)
,其中
。
证明:由
的定义容易证明(1),接下来证明(2)和(3)。
当
时,
,
,
,
即性质(2)成立。
,
,
,
,
,
由文献 [6] 可知:
,
所以
,
即性质(3)成立。
定义空间:
,
其范数
,
空间
,其范数为
.
定理1.1 [7]
和
是Banach空间。
令锥
,
,显然P是X中的一个锥。
定义算子![](//html.hanspub.org/file/28-1250808x94_hanspub.png)
![](//html.hanspub.org/file/28-1250808x95_hanspub.png)
其中
。
引理1.4 [3] 设
是一个有界集,若
1) 对任意的
,
在
的任意紧区间上是等度连续的;
2) 给定
,存在常数
,使得对任意的
及
有:
![](//html.hanspub.org/file/28-1250808x105_hanspub.png)
均成立,则Z是一个相对紧集。
引理1.5 [2] 设K是Banach空间X中的闭锥,
,
是K中的有界开集,
,设
全连续,并且满足下列条件之一:
1)
,
,
,
;
2)
,
,
,
;
则F在
上必有不动点。
定义1.3 [2] 设E为Banach空间,P为E中的锥,称映射
为锥P上的一个连续凹泛函,如果
对任意的
,
,
.
对于
定义
,
,
如下,
,
,
.
引理1.6 [2] (Leggett-Williams不动点定理)设
是全连续算子,
为P上的非负连续凹泛函,且满足
(
)。假定存在
使得
1)
,并且当
时,恒有
;
2) 当
时恒有
;
3) 当
且
时,恒有
。
则T在
中至少有三个不动点。
定义1.4 [5] 若
满足如下条件:
1) 对任何的
,
可测;
2) 对每个
,
几乎处处连续;
3) 对每个的
,存在
,对所有的
,
,在
几乎处处有
.
则称
满足
-Caratheodory条件。
3. 主要结果
(H0)
满足
-Caratheodory条件;
(H1)
,
。
引理2.1 假设(H0)(H1)成立,则T是
全连续的。
证明:1) 证明T是
。
当
,
,
。
,
所以,
。
2) T是
连续的。
对任意的收敛序列
即当
时,
,
,则存在常数
,使得
和
。
由
满足
-Caratheodory条件可知,对几乎处处
当
时有
,
,
由勒贝格控制收敛定理可知,
,
所以
,
,
.
T是
连续的。
3)
是相对紧的。
设
是P中的有界集,对任意的
,则存在
,使得
,
。
,
,即
有界。
,
为
中的紧区间。因
在
上一致连续,假设
,
,
,有
.
,
因此,
在
中的任意紧区间上等度连续,从而可得
在
中的任意紧区间上等度连续。
因(H1)成立,
有
,故对任意的
,存在
使
。
由于
,故存在
,当
时,
.
,存在
,当
,且
时,
![](//html.hanspub.org/file/28-1250808x224_hanspub.png)
取
,
,假设
,
,
![](//html.hanspub.org/file/28-1250808x229_hanspub.png)
![](//html.hanspub.org/file/28-1250808x230_hanspub.png)
所以,对任意的
,
,存在一个充分大的
,当
时,有
,
在无穷远处等度收敛,从而可得T在无穷远处等度连续。
故T是
全连续的。证毕。
(H2) 存在函数
,函数
,
使得
,
,
.
下面给出一些记号:
,
,
,
,
,
.
定理2.1 假设条件(H0),(H1),(H2)成立,并且存在常数
,
,使得
,
,
,
,
,则边值问题(1.2)至少有一个解。
证明:因
,则存在一个正实数
,使得
, ![](//html.hanspub.org/file/28-1250808x260_hanspub.png)
令
,对任意的
,
![](//html.hanspub.org/file/28-1250808x263_hanspub.png)
![](//html.hanspub.org/file/28-1250808x264_hanspub.png)
即
。
所以,
,
即
,
。
因
,则存在正实数
,使得
,
,
,
令
,对任意的
,
,
,
![](//html.hanspub.org/file/28-1250808x278_hanspub.png)
![](//html.hanspub.org/file/28-1250808x279_hanspub.png)
,
即
,
。
从而根据引理1.5可知在集合
中T至少有一个不动点,因此边值问题(1.2)至少有一个解。证毕。
定理2.2 假设条件(H0),(H1),(H2)成立,并且存在常数
,
,使得
,
,
,
,
,则边值问题(1.2)至少有一个解。
证明:因
,则存在一个正实数
,使得
,
,
,
令
,对任意的![](//html.hanspub.org/file/28-1250808x297_hanspub.png)
,
,
,
即
,
。
因
,则存在一个正实数
,使得
,
,
令
,
,
,
则存在一个正实数
,令
,对任意的![](//html.hanspub.org/file/28-1250808x312_hanspub.png)
![](//html.hanspub.org/file/28-1250808x313_hanspub.png)
![](//html.hanspub.org/file/28-1250808x314_hanspub.png)
,
所以,
,
即
,
。
从而根据引理1.5可知在集合
中T至少有一个不动点,因此边值问题(1.2)至少有一个解。证毕。
定义泛函![](//html.hanspub.org/file/28-1250808x321_hanspub.png)
,则
为非负连续凹泛函。
, ![](//html.hanspub.org/file/28-1250808x324_hanspub.png)
定理2.3 假设条件(H1)成立,并且存在常数
,使得
(H3)
,
;
(H4)
,
;
(H5)
,
;
则边值问题(1.2)至少有三个正解。
证明 令
,则
,
,所以
,同理可得
引理1.8中条件(2)满足,类似引理2.1的证明可得T是
全连续的。
取
,
,并且
,
所以
。
若
,则
,则
![](//html.hanspub.org/file/28-1250808x344_hanspub.png)
![](//html.hanspub.org/file/28-1250808x345_hanspub.png)
则
,
引理1.8中条件(1)满足。
假设
则
,
,所以
,由前面的得
,引理1.8中条件(3)满足。
根据引理1.6可知T在
中至少有三个不动点,因此边值问题(1.2)至少有三个正解。证毕。
4. 例子
考虑下面边值问题:
![](//html.hanspub.org/file/28-1250808x354_hanspub.png)
式中
,
,
,
,
,
,
,
,
,
常数
,取
,取
则
。
由于
,
,取
,
,则满足定理2.1中的条件,所以由定理2.1可知边值问题至少有一个解。
基金项目
国家自然科学基金资助项目(11361407)。
NOTES
*通讯作者。