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及
得。由边界条件得,所以,于是
,
由得,因此,
,
,
,
由边值条件可得
,
证毕。
引理1.3 函数满足如下性质
1)和均在上连续,并且对任意的,;
2),;
3),其中。
证明:由的定义容易证明(1),接下来证明(2)和(3)。
当时,
, ,
,
即性质(2)成立。
,
,
, ,
,
由文献 [6] 可知:
,
所以
,
即性质(3)成立。
定义空间:
,
其范数
,
空间,其范数为
.
定理1.1 [7] 和是Banach空间。
令锥,,显然P是X中的一个锥。
定义算子
其中。
引理1.4 [3] 设是一个有界集,若
1) 对任意的,在的任意紧区间上是等度连续的;
2) 给定,存在常数,使得对任意的及有:
均成立,则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)成立,有,故对任意的,存在使。
由于,故存在,当时,
.
,存在,当,且时,
取,,假设,,
所以,对任意的,,存在一个充分大的,当时,有
,
在无穷远处等度收敛,从而可得T在无穷远处等度连续。
故T是全连续的。证毕。
(H2) 存在函数,函数,使得
, ,
.
下面给出一些记号:
, ,
, ,
,.
定理2.1 假设条件(H0),(H1),(H2)成立,并且存在常数,,使得,,,,,则边值问题(1.2)至少有一个解。
证明:因,则存在一个正实数,使得
,
令,对任意的,
即。
所以,
,
即,。
因,则存在正实数,使得
, , ,
令,对任意的,
,
,
,
即,。
从而根据引理1.5可知在集合中T至少有一个不动点,因此边值问题(1.2)至少有一个解。证毕。
定理2.2 假设条件(H0),(H1),(H2)成立,并且存在常数,,使得,,,,,则边值问题(1.2)至少有一个解。
证明:因,则存在一个正实数,使得
, , ,
令,对任意的
,
,
,
即,。
因,则存在一个正实数,使得
, ,
令,
, ,
则存在一个正实数,令,对任意的
,
所以,
,
即,。
从而根据引理1.5可知在集合中T至少有一个不动点,因此边值问题(1.2)至少有一个解。证毕。
定义泛函,则为非负连续凹泛函。
,
定理2.3 假设条件(H1)成立,并且存在常数,使得
(H3),;
(H4),;
(H5),;
则边值问题(1.2)至少有三个正解。
证明 令,则
,
,所以,同理可得引理1.8中条件(2)满足,类似引理2.1的证明可得T是全连续的。
取,,并且
,
所以。
若,则,则
则,引理1.8中条件(1)满足。
假设则,,所以,由前面的得,引理1.8中条件(3)满足。
根据引理1.6可知T在中至少有三个不动点,因此边值问题(1.2)至少有三个正解。证毕。
4. 例子
考虑下面边值问题:
式中
, , ,
, , , , ,
,
常数,取,取则。
由于,,取,,则满足定理2.1中的条件,所以由定理2.1可知边值问题至少有一个解。
基金项目
国家自然科学基金资助项目(11361407)。
NOTES
*通讯作者。