张瑞鑫，王文霞^*

太原师范学院数学系，山西 晋中

收稿日期：2019年4月29日；录用日期：2019年5月9日；发布日期：2019年5月24日

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

关键词 :无穷区间，分数阶微分方程组，边值问题，不动点

Copyright © 2019 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

分数阶微分方程在很多领域都有着广泛的应用，尤其在流体力学、分数控制系统、气体力学、电子动学、化学工程等方面，目前已取得了很多优秀的研究成果，如文献 [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分数阶积分。

定义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条件。

(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)至少有三个正解。证毕。

考虑下面边值问题：

式中

, , ,

, , , , ,

,

常数，取，取则。

由于，，取，，则满足定理2.1中的条件，所以由定理2.1可知边值问题至少有一个解。

国家自然科学基金资助项目(11361407)。

张瑞鑫,王文霞. 一类无穷区间上分数阶微分方程组边值问题正解的存在性Existence of Solutions for a Class of Fractional Differential Equations with Boundary Value Problems on Infinite Interval[J]. 理论数学, 2019, 09(03): 427-440. https://doi.org/10.12677/PM.2019.93058