一类无穷区间上分数阶微分方程组边值问题正解的存在性
Existence of Solutions for a Class of Fractional Differential Equations with Boundary Value Problems on Infinite Interval

作者: 张瑞鑫 , 王文霞 :太原师范学院数学系,山西 晋中;

关键词: 无穷区间分数阶微分方程组边值问题不动点Infinite Interval Fractional Differential Equations The Boundary Value Problem Fixed Point

摘要:
本文研究了一类无穷区间上分数阶微分方程组的边值问题。先构造Green函数,并讨论相关性质,再利用锥拉伸与锥压缩定理和Leggett-Williams不动点定理讨论边值问题解的存在性,最后给出例子说明定理的适用性。

Abstract: In this paper, we study existence of solutions for a class of fractional differential equations with boundary value problems on infinite interval by using cone compression, cone expansion fixed point theorem and Leggett-Williams fixed point theorem. Example is presented to illustrate our results.

1. 引言

分数阶微分方程在很多领域都有着广泛的应用,尤其在流体力学、分数控制系统、气体力学、电子动学、化学工程等方面,目前已取得了很多优秀的研究成果,如文献 [1] - [10] 。但在分数阶微分方程的边值问题的研究中,有限区间上的研究较多,无穷区间上的研究较少。

在文献 [3] 中杨凯军运用锥拉伸与锥压缩不动点定理和不动点指数理论研究如下分数阶微分方程m点边值问题。

{ D 0 + α u 1 ( t ) + f 1 ( t , u 1 ( t ) , u 2 ( t ) ) = 0 , t ( 0 , ) D 0 + α u 2 ( t ) + f 2 ( t , u 1 ( t ) , u 2 ( t ) ) = 0 , t ( 0 , ) u 1 ( 0 ) = u 1 ( 0 ) = u 2 ( 0 ) = u 2 ( 0 ) = 0 , D 0 + α 1 u 1 ( + ) = i = 1 m 2 β i u 1 ( ξ i ) , D 0 + α 1 u 2 ( + ) = i = 1 m 2 β i u 2 ( ξ i ) (1.1)

其中, 2 < α < 3 0 < ξ 1 < ξ 2 < ξ 3 < < ξ m 2 < + β i > 0 i = 1 , 2 , 3 , , m 2 ,得到边值问题(1.1)至少存在一个和两个正解的充分条件。受上文的启发,本文研究如下的一类分数阶微分方程组的边值问题

{ D 0 + α u 1 ( t ) + a 1 ( t ) f 1 ( t , u 1 ( t ) , u 2 ( t ) ) = 0 , t R + D 0 + α u 2 ( t ) + a 2 ( t ) f 2 ( t , u 1 ( t ) , u 2 ( t ) ) = 0 , t R + u 1 ( 0 ) = u 2 ( 0 ) = 0 , D 0 + α 2 u 1 ( 0 ) = D 0 + α 2 u 1 ( 0 ) = 0 , D 0 + α 1 u 1 ( + ) = ξ I β u 1 ( η ) , D 0 + α 1 u 2 ( + ) = ξ I β u 2 ( η ) (1.2)

其中, 2 < α 3 β > 0 ξ R η [ 0 , + ) Γ ( α + β ) > ξ η α + β 1 R + = [ 0 , + ) D 0 + α D 0 + α 1 都是标准的Riemann-Liouville分数阶微分, I β 是标准的Riemann-Liouville分数阶积分。

2. 预备知识及引理

定义1.1 [2] 连续函数f: ( 0 , + ) R α > 0 阶Riemann-Liouville分数阶积分的定义为:

I 0 + α f ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 f ( s ) d s ,

对任意的 α > 0 ,右端在 R + 上逐点可积。

定义1.2 [2] 函数f: ( 0 , + ) R α > 0 阶Riemann-Liouville分数阶积分的定义为:

D 0 + α f ( t ) = 1 Γ ( n α ) ( d d t ) n 0 t f ( s ) ( t s ) α n + 1 d s

其中,n是大于等于 α 的最小正整数,等式的右端在 ( 0 , + ) 有定义。

引理1.1 [2] 假设 α > 0 ,如果 u C ( 0 , + ) 且有 D 0 + α u L 1 ( 0 , + ) 则:

I 0 + α D 0 + α u ( t ) = u ( t ) + c 1 t α 1 + c 2 t α 2 + + c n t α n

其中 c i R ( i = 1 , 2 , , n ) 为任意常数,n为大于等于 α 的最小正整数。

引理1.2 设 h L 1 [ 0 , + ) 连续,那么边值问题

{ D 0 + α u ( t ) + h ( t ) = 0 , 0 t < + , u ( 0 ) = D 0 + α 2 u ( 0 ) = 0 , D 0 + α 1 u ( + ) = ξ I β u ( η ) . (2.1)

有唯一解: u ( t ) = 0 + G ( t , s ) h ( s ) d s ,其中, G ( t , s ) = G 1 ( t , s ) + G 2 ( t , s )

G 1 ( t , s ) = 1 Γ ( α ) { t α 1 ( t s ) α 1 , 0 s t < + , t α 1 , 0 t < s < + .

G 2 ( t , s ) = ξ t α 1 Δ { η α + β 1 ( η s ) α + β 1 , 0 s η < + , η α + β 1 , 0 η < s < + .

Δ = Γ ( α ) [ Γ ( α + β ) ξ η α + β 1 ] .

证明:由引理1.1及 D 0 + α u ( t ) = h ( t ) 。由边界条件,所以,于是

,

,因此

,

,

,

由边值条件可得

,

证毕。

引理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

*通讯作者。

文章引用: 张瑞鑫 , 王文霞 (2019) 一类无穷区间上分数阶微分方程组边值问题正解的存在性。 理论数学, 9, 427-440. doi: 10.12677/PM.2019.93058

参考文献

[1] Kilbas, A., Srivastava, H.M. and Trujillo, J.J. (2006) Theory and Applications of Differential Equations. Mathematics Studies.

[2] 白占兵. 分数阶微分方程边值问题理论及其应用[M]. 北京: 中国科学技术出版社, 2013.

[3] 杨凯军. 无穷区间上的分数阶微分方程边值问题的解[D]: [硕士学位论文]. 兰州: 兰州大学, 2013.

[4] Tan, J.J. and Cheng, C.Z. (2015) Existence of Solution to Nonlinear Fractional Differential Equations with Boundary Conditions on an Infinite Interval in Banach Spaces. Boundary Value Problems, 2015, 153.
https://doi.org/10.1186/s13661-015-0419-0

[5] 薛婷, 刘文斌, 张伟. 无穷区间上分数阶微分方程积分边值问题正解的存在性[J]. 南京师大学报(自然科学版), 2017, 40(4): 36-46.

[6] Liang, S.H. and Zhang, J.H. (2010) Existence of Multiple Positive for M-Point Fractional Boundary Value Problems on an Infinite Interval. Mathematical and Computer Modelling, 54, 1334-1446.

[7] Shen, C.F., Zhou, H. and Yang, L. (2015) On the Existence of Solution to a Boundary Value Problem of Fractional Differential Equation on the Infinite Interval. Boundary Value Problems, 2015, 241.
https://doi.org/10.1186/s13661-015-0509-z

[8] Liu, Y.J., Ahmad, B. and Agarwal. R.P. (2013) Existence of Solution for A Coupled System of Nonlinear Fractional Differential Equations with Fractional Boundary Conditions on the Half-Line. Advances in Difference Equations, 2013, 46.
https://doi.org/10.1186/1687-1847-2013-46

[9] 冯海星, 翟成波. 一类含参数分数阶微分方程边值问题正解的性质研究[J]. 应用数学和力学, 2017, 38(7): 818-826.

[10] Wang, G.T., Cabada, A. and Zhang, L.H. (2014) Integral Boundary Value Problem for Nonlinear Differential Equations 3 of Fractional Order on an Unbounded Domain. Journal of Integral Equations and Applications, 26, 11 p.
https://doi.org/10.1216/jie-2014-26-1-117

分享
Top