具有积分边界条件的分数阶微分方程边值问题正解的存在性
The Existence of Positive Solutions for Boundary Value Problem of Fractional Differential Equation with Integral Boundary Conditions
摘要: 分数阶微积分是对函数进行非整数阶积分和微分的定量分析,它是整数阶微积分的推广,且在实际应用过程中一直彰显着其独特优势和不可替代性。分数阶微分方程已应用于生物传染病、金融市场、控制系统、异常扩散等多个领域。目前,分数阶微分方程边值问题解的存在唯一性是研究的重点课题之一。本文将借助泛函分析等相关工具,对具有积分边界条件的非线性边值问题进行深入探讨。首先讨论对应线性边值问题的Green函数解,接着分析Green函数的性质,然后利用锥上的不动点定理得到边值问题正解的存在性结果,最后举例说明结果的正确性。
Abstract: Fractional calculus is a quantitative analysis of non-integer order integration and differentiation of functions. It is an extension of integer order calculus and has always demonstrated its unique advantages and irreplaceability in practical applications. Fractional order differential equations have been applied in various fields such as biological infectious diseases, financial markets, control systems, and anomalous diffusion. At present, the existence and uniqueness of solutions to boundary value problems of fractional differential equations is one of the key research topics. This article will use functional analysis and other related tools to explore in depth nonlinear boundary value problems with integral boundary conditions. Firstly, we will discuss the Green function solution for the corresponding linear boundary value problem. Then, we will analyze the properties of the Green function and use the fixed point theorem on cones to obtain the existence of positive solutions for the boundary value problem. Finally, we will give an example to demonstrate the correctness of the results.
文章引用:尚海蕊. 具有积分边界条件的分数阶微分方程边值问题正解的存在性[J]. 应用数学进展, 2025, 14(6): 222-235. https://doi.org/10.12677/aam.2025.146314

1. 引言

微积分理论自产生至今,其地位举足轻重。整数阶微积分作为描述经典物理及其相关学科理论的数学工具已被人们普遍接受,但随着科学的发展和复杂工程应用需求的增加,整数阶微积分不再是一个优秀的工具[1]-[5]。此时,分数阶微积分强势闯入人们的视野,弥补了整数阶微积分的局限性。20世纪以来,分数阶微积分理论在许多领域得到了广泛的应用和发展,如物理学、血流问题、种群动力学、系统控制、复杂粘弹性材料的经济学和力学,彰显着其独特的优势和不可替代性[6]-[8]。此外,它的非局域特性使得分数阶微分方程的求解比整数阶微分方程更复杂[9]

边值问题是具有边界条件的微分方程的定解问题,极其重要且被广泛应用于其他领域[10] [11]。因此,近几十年来,许多学者研究了分数阶微分方程边值问题解的存在性。例如,在文献[12]中,Liu和Zhuang得到了如下具有积分边界条件的分数阶微分方程边值问题

{ D C α u( t )+f( t,u( t ) )=0, 0<t<1, u( 0 )= 0 1 u( t )dt ,u( 1 )= 0 1 tu( t )dt

解的存在性,其中, 0<α<1, f:[ 0,1 ]× 是连续函数。文章结果基于Banach压缩原理,Leray-Schauder非线性抉择,Boyed and Wong不动点定理以及Krasnoselskii不动点定理。

在文献[13]中,Chandran等人给出了一个基于给定的受控b-Branciari度量空间的不动点方法,并且运用此方法研究了下述分数阶微分方程边值问题

{ D C α v( t )+h( t,v( t ) )=0, 0<t<1, v ( 0 )= v ( 0 )=0,  v ( 0 )=v( 1 )=β 0 1 v( s )ds

解的存在唯一性,其中, 0<α1, 1<β<2 h v=0 时可能奇异。

此外,分数阶微分方程边值问题的许多相关研究成果可见于文献[14]-[18]

迄今为止,关于分数阶微分方程边值问题解的存在性与唯一性的研究已成果颇丰,但在实际应用中正解更有意义。因此,本章考虑下述具有积分边界条件的分数阶微分方程边值问题

{ D C 0+ α u( t )+f( t,u( t ) )=0, 0<t<1, u ( 0 )= u ( 0 )=0, u ( 0 )= 0 1 h 1 ( s )u( s )ds, u( 1 )= 0 1 h 2 ( s )u( s )ds (1)

正解的存在性,其中, 3<α<4,f:[ 0,1 ]×[ 0, )[ 0, ) 是连续函数, h i ( i=1,2 ):[ 0,1 ][ 0, ) 是连续函数。比较于上述文献,本文的研究目标具有更一般的边界条件。

一个函数 u:[ 0,1 ][ 0, ) 被称作边值问题(1)的正解,如果 u 满足方程和边界条件且有 u( t )>0 t[ 0,1 )

2. 预备知识

首先给出与分数阶微分方程相关的一些基本定义和引理。本节中, [ γ ] 表示 γ 的整数部分。

2.1. 定义1 [19]

[ 0,1 ] 上的 γ>0 阶Riemann-Liouville分数阶积分 I 0+ γ u 分别定义为

( I 0+ γ u )( t ):= 1 Γ( γ ) 0 t u( s )ds ( ts ) 1γ

其中,

Γ( γ )= 0 + s γ1 e s ds.

2.2. 定义2 [19]

[ 0,1 ] 上的 γ>0 阶Riemann-Liouville分数阶导数 D 0+ γ u 分别定义为

( D 0+ γ u )( t ):= ( d dt ) m ( I 0+ mγ u )( t )                = 1 Γ( mγ ) ( d dt ) m 0 t u( s )ds ( ts ) γm+1

其中, m=[ γ ]+1

2.3. 定义3 [19]

D 0+ γ [ u( s ) ]( t )( D 0+ γ u )( t ) γ 阶的Riemann-Liouville分数阶导数,那么 [ 0,1 ] 上的 γ 阶Caputo分数阶导数 C D 0+ γ u 定义为

( D C 0+ γ u )( t ):=( D 0+ γ [ u( s ) k=0 n1 u ( k ) ( 0 ) k! s k ] )( t )

其中,

n={ [ γ ]+1,γ N + , γ,       γ N + . (2)

2.4. 引理1 [19]

假设 n 如(2)式所示且 u C n [ 0,1 ] ,则

( I 0+ γ D C 0+ γ u )( t )=u( t )+ C 0 + C 1 t+ C 2 t 2 ++ C n1 t n1 ,

其中, C i , i=0,1,,n1

2.5. 引理2 [20]

γ>0, ρ>0, uC( 0,1 )L( 0,1 ) ,则有 D 0+ γ I 0+ ρ u( t )= I 0+ ργ u( t ) 成立。

2.6. 引理3 [20]

假设 n 由(2)式所示,则如下两个关系成立:

(1) 对 k{ 0,1,2,,n1 } C D 0+ γ t k =0

(2) 如果 ν>n ,则 D C 0+ γ t ν1 = Γ( ν ) Γ( νγ ) t νγ1

2.7. 定理1 [21] [22]

X 是Banach空间, P X 中的锥,   Ω 1 Ω 2 X 中的有界开子集,使得 θ Ω 1 ,  Ω ¯ 1 Ω 2

T:P( Ω 2 ¯ Ω 1 )P 是全连续算子且满足下列条件之一:

(1) Tx x , xP Ω 1 Tx x , xP Ω 2

(2) Tx x , xP Ω 1 Tx x , xP Ω 2

那么 T P( Ω 2 ¯ Ω 1 ) 中有一个不动点。

2.8. 定理2 [23]

假设 X 是一个Banach空间且 E X 的一个闭凸集, Ω E 的相对开子集且 θΩ T: Ω ¯ E 是一个连续的紧算子,则有

(1) T Ω ¯ 上有一个不动点,或者

(2) 存在 uΩ η( 0,1 ) 使得 u=ηTu

3. 主要结果

为方便起见,在本章中总是记

P i = 0 1 h i ( s )ds,  Q i = 0 1 ( 1s ) h i ( s )ds ,  W i = 0 1 ( 1s ) α1 h i ( s )ds, i=1,2,

并且令 X=C[ 0,1 ] 为定义在 [ 0,1 ] 上的Banach空间且具有范数 u = max 0t1 | u( t ) |

3.1. 引理4

( 1 Q 1 )( 1 P 2 ) P 1 Q 2 ,则对任意给定的 yX ,边值问题

{ D C 0+ α u( t )+y( t )=0,0<t<1, u ( 0 )= u ( 0 )=0, u ( 0 )= 0 1 h 1 ( s )u( s )ds, u( 1 )= 0 1 h 2 ( s )u( s )ds (3)

有唯一解

u( t )= 0 1 K( t,s )y( s )ds,  t[ 0,1 ],

其中

K( t,s )=G( t,s )+ i=1 2 ϕ i ( t ) 0 1 G ( τ,s ) h i ( τ )dτ, ( t,s )[ 0,1 ]×[ 0,1 ] (4)

G( t,s )= 1 Γ( α ) { ( 1s ) α1 ( ts ) α1 ,  0st1, ( 1s ) α1 ,                   0ts1, (5)

ϕ 1 ( t )= ( 1 P 2 )( 1t )+ Q 2 ( 1 Q 1 )( 1 P 2 ) P 1 Q 2 ,t[ 0,1 ],

ϕ 2 ( t )= P 1 ( 1t )+( 1 Q 1 ) ( 1 Q 1 )( 1 P 2 ) P 1 Q 2 ,t[ 0,1 ],

证明 由引理1可知边值问题(3)中的方程等价于积分方程

u( t )= I 0+ α y( t ) C 0 C 1 t C 2 t 2 C 3 t 3 = 1 Γ( α ) 0 t ( ts ) α1 y( s )ds+ ϒ 0 + ϒ 1 t+ ϒ 2 t 2 + ϒ 3 t 3 ,

其中常数 ϒ i , ϒ i = C i ,i=0,1,2,3 。另外,由引理2和数学分析的相关知识可得

u ( t )= 1 Γ( α1 ) 0 t ( ts ) α2 y( s )ds+ ϒ 1 +2 ϒ 2 t+3 ϒ 3 t 2 ,

u ( t )= 1 Γ( α2 ) 0 t ( ts ) α3 y( s )ds+2 ϒ 2 +6 ϒ 3 t,

u ( t )= 1 Γ( α3 ) 0 t ( ts ) α4 y( s )ds+6 ϒ 3 .

由边值条件 u ( 0 )= u ( 0 )=0 可得 ϒ 2 = ϒ 3 =0 ,则

u( t )= 1 Γ( α ) 0 t ( ts ) α1 y( s )ds+ ϒ 0 + ϒ 1 t , (6)

又由边值条件 u ( 0 )= 0 1 h 1 ( s )u( s )ds, u( 1 )= 0 1 h 2 ( s )u( s )ds 可得

u ( 0 )= ϒ 1 = 0 1 h 1 ( s )u( s )ds (7)

u( 1 )= 1 Γ( α ) 0 1 ( 1s ) α1 y( s )ds+ ϒ 0 + ϒ 1 = 0 1 h 2 ( s )u( s )ds

因此,

ϒ 0 = 0 1 h 1 ( s )u( s )ds+ 0 1 h 2 ( s )u( s )ds+ 1 Γ( α ) 0 1 ( 1s ) α1 y( s )ds. (8)

故结合式子(6),(7)和(8)可得

u( t )= 1 Γ( α ) 0 t ( ts ) α1 y( s )ds+ 0 1 h 1 ( s )u( s )ds           + 0 1 h 2 ( s )u( s )ds+ 1 Γ( α ) 0 1 ( 1s ) α1 y( s )dst 0 1 h 1 ( s )u( s )ds       = 0 1 G ( t,s )y( s )ds+( 1t ) 0 1 h 1 ( s )u( s )ds+ 0 1 h 2 ( s )u( s )ds,t[ 0,1 ]. (9)

接下来,对方程(9)进行积分可得

0 1 h 1 ( s )u( s )ds= 0 1 h 1 ( s ) 0 1 G ( s,τ )y( τ )dτds+ 0 1 ( 1s ) h 1 ( s ) 0 1 h 1 ( τ )u( τ )dτds                           + 0 1 h 1 ( s ) 0 1 h 2 ( τ )u( τ )dτds,

0 1 h 2 ( s )u( s )ds= 0 1 h 2 ( s ) 0 1 G ( s,τ )y( τ )dτds+ 0 1 ( 1s ) h 2 ( s ) 0 1 h 1 ( τ )u( τ )dτds                           + 0 1 h 2 ( s ) 0 1 h 2 ( τ )u( τ )dτds.

接着对上述两式进行整理可得

( 1 Q 1 ) 0 1 h 1 ( s )u( s )ds P 1 0 1 h 2 ( s )u( s )ds= 0 1 h 1 ( s ) 0 1 G ( s,τ )y( τ )dτds (10)

Q 2 0 1 h 1 ( s )u( s )ds+( 1 P 2 ) 0 1 h 2 ( s )u( s )ds= 0 1 h 2 ( s ) 0 1 G ( s,τ )y( τ )dτds. (11)

结合(10)式和(11)式可得

0 1 h 1 ( s )u( s )ds= ( 1 P 2 ) 0 1 h 1 ( s ) 0 1 G ( s,τ )y( τ )dτds+ P 1 0 1 h 2 ( s ) 0 1 G ( s,τ )y( τ )dτds ( 1 Q 1 )( 1 P 2 ) P 1 Q 2 ,

0 1 h 2 ( s )u( s )ds= Q 2 0 1 h 1 ( s ) 0 1 G ( s,τ )y( τ )dτds+( 1 Q 1 ) 0 1 h 2 ( s ) 0 1 G ( s,τ )y( τ )dτds ( 1 Q 1 )( 1 P 2 ) P 1 Q 2 .

综上所述可得

u( t )= 0 1 G ( t,s )y( s )ds+( 1t ) 0 1 h 1 ( s )u( s )ds+ 0 1 h 2 ( s )u( s )ds       = 0 1 G ( t,s )y( s )ds+ i=1 2 ϕ i ( t ) 0 1 h i ( s ) 0 1 G ( τ,s )y( τ )dτds       = 0 1 G ( t,s )y( s )ds+ i=1 2 ϕ i ( t ) 0 1 h i ( τ ) 0 1 G ( τ,s )y( s )dsdτ       = 0 1 G ( t,s )y( s )ds+ i=1 2 ϕ i ( t ) 0 1 y ( s ) 0 1 G ( τ,s ) h i ( τ )dτds       = 0 1 ( G( t,s )+ i=1 2 ϕ i ( t ) 0 1 G ( τ,s ) h i ( τ )dτ )y( s )ds       = 0 1 K ( t,s )y( s )ds,t[ 0,1 ].

3.2. 引理5

G( t,s ) 满足如下性质:

(1) G( t,s ) [ 0,1 ]×[ 0,1 ] 上连续;

(2) ( 1t ) α1 ( 1s ) α1 Γ( α ) G( t,s ) ( 1s ) α1 Γ( α ) ,( t,s )[ 0,1 ]×[ 0,1 ]

证明 (1) 显然成立;

(2) 既然右端的不等式是显然的,故只需要证明左端的不等式成立即可。当 0st1 时,

G( t,s )= ( 1s ) α1 ( ts ) α1 Γ( α ) ( 1s ) α1 ( tts ) α1 Γ( α )           = ( 1 t α1 ) ( 1s ) α1 Γ( α ) ( 1t ) α1 ( 1s ) α1 Γ( α ) ,

G( t,s ) ( 1t ) α1 ( 1s ) α1 Γ( α ) ,( t,s )[ 0,1 ]×[ 0,1 ]

在本章的后续行文中,总是认定下面的假设成立:

(H1) Q 1 <1, P 2 <1,( 1 Q 1 )( 1 P 2 )> P 1 Q 2

3.3. 引理6

K( t,s ) 满足如下性质:

(1) K( t,s ) [ 0,1 ]×[ 0,1 ] 上连续;

(2) q( t ) ( 1s ) α1 Γ( α ) K( t,s ) ( 1s ) α1 Γ( α ) ,( t,s )[ 0,1 ]×[ 0,1 ]

其中

q( t )= ( 1t ) α1 +m, t[ 0,1 ], m= i=1 2 W i min t[ 0,1 ] ϕ i ( t ), M=1+ i=1 2 P i max t[ 0,1 ] ϕ i ( t ).

证明 (1) 显然成立;

(2) 一方面,由引理5的第二条性质和式子(4)可得

K( t,s )=G( t,s )+ i=1 2 ϕ i ( t ) 0 1 G ( τ,s ) h i ( τ )dτ            ( 1s ) α1 Γ( α ) + i=1 2 ϕ i ( t ) 0 1 ( 1s ) α1 Γ( α ) h i ( τ )dτ           = ( 1s ) α1 Γ( α ) ( 1+ i=1 2 P i ϕ i ( t ) )            ( 1s ) α1 Γ( α ) ( 1+ i=1 2 P i max t[ 0,1 ] ϕ i ( t ) )           = M ( 1s ) α1 Γ( α ) ,( t,s )[ 0,1 ]×[ 0,1 ].

同理,

K( t,s )=G( t,s )+ i=1 2 ϕ i ( t ) 0 1 G ( τ,s ) h i ( τ )dτ            ( 1t ) α1 ( 1s ) α1 Γ( α ) + i=1 2 ϕ i ( t ) 0 1 ( 1τ ) α1 ( 1s ) α1 Γ( α ) h i ( τ )dτ           = ( 1s ) α1 Γ( α ) ( ( 1t ) α1 + i=1 2 W i ϕ i ( t ) )            ( 1s ) α1 Γ( α ) ( ( 1t ) α1 + i=1 2 W i min t[ 0,1 ] ϕ i ( t ) )           = q( t ) ( 1s ) α1 Γ( α ) ,( t,s )[ 0,1 ]×[ 0,1 ].

现在,假设

P={ uX|u( t ) q( t ) M u ,t[ 0,1 ] },

显然, P X 中的一个锥。定义 P 上的算子 T

Tu( t )= 0 1 K ( t,s )f( s,u( s ) )ds, t[ 0,1 ]. (12)

由引理4可知,算子 T 的不动点恰好是边值问题(1)的解。

3.4. 引理7

T:PP 是全连续的。

证明 首先,证明 T:PP 。由 K( t,s ) 的性质和函数 f 的定义可得对于任意 uP ,算子 T 是非负连续的。又对于任意 uP ,由引理6可得

0Tu( t )= 0 1 K ( t,s )f( s,u( s ) )ds M Γ( α ) 0 1 ( 1s ) α1 f( s,u( s ) )ds, t[ 0,1 ],

Tu M Γ( α ) 0 1 ( 1s ) α1 f ( s,u( s ) )ds.

结合引理6中的第二条性质可以得出

Tu( t ) q( t ) Γ( α ) 0 1 ( 1s ) α1 f( s,u( s ) )ds          q( t ) M Tu , t[ 0,1 ],

因而 TuP ,即 T:PP 成立。

算子 T 的一致有界性和等度连续性易证。因此,由Arzela-Ascoli定理,算子 T:PP 是全连续的。

3.5. 定理3

假设存在三个连续函数 a:[ 0,1 ][ 0, ),  g 1 :[ 0, )( 0, ) g 2 :[ 0, )[ 0, ) g 1 是不增的, g 2 g 1 是不减的,使得

f( t,x )=a( t )( g 1 ( x )+ g 2 ( x ) ), ( t,x )[ 0,1 ]×[ 0, ),

并且假设存在 r 2 > r 1 >0 使得

a( t ) g 1 ( r 1 M q( t ) ) Γ( α+1 ) M( 1+ g 2 ( r 1 ) g 1 ( r 1 ) ) r 1 , t[ 0,1 ] (13)

a( t )[ 1+ g 2 ( r 2 M q( t ) ) g 1 ( r 2 M q( t ) ) ] Γ( α+1 ) ( 1+m ) g 1 ( r 2 ) r 2 , t[ 0,1 ], (14)

则边值问题(1)存在一个正解 u * 且满足 r 1 u * r 2

证明 Ω i ={ uX| u < r i },i=1,2

一方面,如果 uP   Ω 1 ,则 u = r 1 且对于 t[ 0,1 ] ,有 r 1 u( t ) q( t ) M u = r 1 M q( t ) 。由式子(12)和(13)可以得出

Tu( t )= 0 1 K ( t,s )f( s,u( s ) )ds         = 0 1 K ( t,s )a( s )[ g 1 ( u( s ) )+ g 2 ( u( s ) ) ]ds         = 0 1 K ( t,s )a( s ) g 1 ( u( s ) )[ 1+ g 2 ( u( s ) ) g 1 ( u( s ) ) ]ds          M Γ( α ) 0 1 ( 1s ) α1 a( s ) g 1 ( r 1 M q( s ) )[ 1+ g 2 ( r 1 ) g 1 ( r 1 ) ]ds          Γ( α+1 ) M[ 1+ g 2 ( r 1 ) g 1 ( r 1 ) ] M Γ( α ) [ 1+ g 2 ( r 1 ) g 1 ( r 1 ) ] r 1 0 1 ( 1s ) α1 ds         = r 1 ,t[ 0,1 ],

因此,

Tu u , uP Ω 1 . (15)

另一方面,如果 uP   Ω 2 ,则 u = r 2 且对于 t[ 0,1 ] ,有 r 2 u( t ) q( t ) M u = r 2 M q( t ) 。由式子(12)和(14)可以得出

Tu( 0 )= 0 1 K ( 0,s )f( s,u( s ) )ds          = 0 1 K ( 0,s )a( s )[ g 1 ( u( s ) )+ g 2 ( u( s ) ) ]ds           q( 0 ) Γ( α ) 0 1 ( 1s ) α1 a( s ) g 1 ( u( s ) )[ 1+ g 2 ( u( s ) ) g 1 ( u( s ) ) ]ds           q( 0 ) g 1 ( r 2 ) Γ( α ) 0 1 ( 1s ) α1 a( s )[ 1+ g 2 ( r 2 M q( s ) ) g 1 ( r 2 M q( s ) ) ]ds           Γ( α+1 ) ( 1+m ) g 1 ( r 2 ) ( 1+m ) g 1 ( r 2 ) Γ( α ) r 2 0 1 ( 1s ) α1 ds          = r 2 ,

因而,

Tu = max 0t1 | Tu( t ) || Tu( 0 ) | u , uP Ω 2 . (16)

综上所述,结合不等式(15)和(16),由定理1可以推断出算子T有一个不动点 u * P( Ω 2 ¯ Ω 1 ) 。显然,这个不动点是边值问题(1)的一个正解且满足 r 1 u * r 2

3.6. 定理4

假设存在两个连续函数 b:[ 0,1 ][ 0, ) φ:[ 0, )[ 0, ) 使得

f( t,x )b( t )φ( x ), ( t,x )[ 0,1 ]×[ 0, )

f( t,0 ) 0,t( 0,1 ) 以及存在 r ˜ >0 使得

0 1 ( 1t ) α1 b( t ) φ * ( t )dt< Γ( α ) M r ˜ ,

其中, φ * ( t )= max r ˜ M q( t )x r ˜ φ( x ),t[ 0,1 ] ,则边值问题(1)存在一个正解。

证明 Ω={ uX| u < r ˜ }P 。由引理7可知算子 T:PP 是全连续的,因而 T: Ω ¯ P 是连续且紧的。

接下来,证明定理2中的(1)成立,只需证明定理中的(2)不成立。

反设定理2中的(2)成立,则存在 uΩ η( 0,1 ) 使得 u=ηTu 。对于 uΩ ,有

r ˜ M q( t )u( t ) r ˜ ,t[ 0,1 ] 。又根据 φ * 的定义可以得到 φ( u( t ) ) φ * ( t ),t[ 0,1 ] 。现在,依照引理6和式子

(12)可推断

u( t )=( ηTu )( t )Tu( t )= 0 1 K ( t,s )f( s,u( s ) )ds        M Γ( α ) 0 1 ( 1s ) α1 b( s )φ( u( s ) )ds        M Γ( α ) 0 1 ( 1s ) α1 b( s ) φ * ( s )ds      < M Γ( α ) Γ( α ) M r ˜ = r ˜ ,t[ 0,1 ],

因此, u < r ˜ uΩ 矛盾。

综上所述,由定理2可以推出 T 有一个不动点 u * Ω ¯ ,即为边值问题(1)的一个非负解。又因为 f( t,0 ) 0,t( 0,1 ) ,则零函数不是边值问题(1)的解,故 u * 是边值问题(1)的一个正解。

3.7. 注

为确保文章的正确性,下面对结论即定理3和定理4进行验证,故只讨论实例分析中边值问题正解的存在性。

4. 实例分析

4.1. 实例1

考虑下述边值问题

{ D C 0+ 7 2 u( t )+cos π 3 t( 1 u( t )+1 +u( t ) )=0, 0<t<1, u ( 0 )= u ( 0 )=0, u ( 0 )= 0 1 s u( s )ds, u( 1 )= 0 1 ( 1s )u ( s )ds. (17)

由于 α= 7 2 , h 1 ( s )=s, h 2 ( s )=1s,s[ 0,1 ] ,经过直接的计算可以得到

P 1 = P 2 = 1 2 , Q 1 = 1 6 , Q 2 = 1 3 , W 1 = 4 63 , W 2 = 2 9 ,

ϕ 1 ( t )=2t+ 10 3 , ϕ 2 ( t )=2t+ 16 3 ,t[ 0,1 ],m= 52 63 ,M= 16 3 ,q( t )= ( 1t ) 5 2 + 52 63 ,t[ 0,1 ],

显然,假设(H1)成立。又因为 f( t,x )=cos π 3 t( 1 x+1 +x ),( t,x )[ 0,1 ]×[ 0, ) ,则 a( t )=cos π 3 t g 1 ( x )= 1 x+1 , g 2 ( x )=x 。现在取 r 1 = 1 50 , r 2 =8.5> r 1 ,经过计算可得

Γ( α+1 ) M( 1+ g 2 ( r 1 ) g 1 ( r 1 ) ) r 1 = 9 2 × 105 π 16 × 0.02 1.0204 1.0259,

Γ( α+1 ) ( 1+m ) g 1 ( r 2 ) r 2 = 63 115 × 105 π 16 ×80.75514.5523.

因此,

a( t ) g 1 ( r 1 M q( t ) )= cos π 3 t 9 r 2 2 q( t )+1 1 13 175 +1 0.9309< Γ( α+1 ) M( 1+ g 2 ( r 1 ) g 1 ( r 1 ) ) r 1 1.0259,

a( t )[ 1+ g 2 ( r 2 M q( t ) ) g 1 ( r 2 M q( t ) ) ]=cos π 3 t[ 1+ ( 9 r 2 2 q( t ) ) 2 + 9 r 2 2 q( t ) ]                                    cos π 3 t( 1+ 676 49 r 2 2 + 26 7 r 2 )                                     1 2 ( 1+ 676 49 × 8.5 2 + 26 7 ×8.5 )514.6632                                    > Γ( α+1 ) ( 1+m ) g 1 ( r 2 ) r 2 514.5523,

这表明定理3中的全部条件均满足。

因此,由定理3可知边值问题(17)存在一个正解 u * 且满足 1 50 u * 8.5

4.2. 实例2

考虑下述边值问题

{ D C 0+ 3.6 u( t )+t+ t 2 ( u( t ) ) 2 =0,0<t<1, u ( 0 )= u ( 0 )=0, u ( 0 )= 1 3 0 1 s 2 u( s )ds, u( 1 )= 2 3 0 1 s 2 u( s )ds. (18)

由于 α=3.6, h 1 ( s )= 1 3 s 2 , h 2 ( s )= 2 3 s 2 ,s[ 0,1 ] ,经过计算可得

P 1 = 1 9 , P 2 = 2 9 , Q 1 = 1 36 , Q 2 = 1 18 , W 1 0.0072, W 2 0.0144,

ϕ 1 ( t )=1.3334t+1.1111, ϕ 2 ( t )=0.1481t+1.4444,t[ 0,1 ],

m0.0192,M1.4445,q( t )= ( 1t ) 2.6 +0.0192,t[ 0,1 ].

显然,假设(H1)成立。又因为 f( t,x )=t( 1+ x 2 2 ),( t,x )[ 0,1 ]×[ 0, ) ,则 f( t,0 )=t 0 t( 0,1 ) f( t,x )=t( 1+ x 2 2 ) 1+ t 2 2 ( 1+ x 2 2 ),( t,x )[ 0,1 ]×[ 0, ) ,故 b( t )= 1+ t 2 2 ,t[ 0,1 ] φ( x )=1+ x 2 2 ,x[ 0, )

选择 r ˜ = 1 10 ,则 φ * ( t )= max r ˜ M q( t )x r ˜ φ( x )= max 0.0692q( t )x 1 10 ( 1+ x 2 2 )= 201 200 ,t[ 0,1 ] 。因而,有

0 1 ( 1t ) α1 b( t ) φ * ( t )dt= 201 200 0 1 ( 1t ) 2.6 ( 1+ t 2 2 )dt= 201 400 0 1 ( 1t ) 2.6 ( 1+ t 2 )dt0.1504,

Γ( α ) M r ˜ = Γ( 3.6 ) 1.4445 × 1 10 0.2574,

显然,定理4全部条件均满足。

因此,由定理4可知边值问题(18)存在一个正解。

参考文献

[1] Apostol, T.M. (1991) Calculus, Volume 1. John Wiley and Sons.
[2] Kiryakova, V.S. (2012). Some Operational Tools for Solving Fractional and Higher Integer Order Differential Equations: A Survey on Their Mutual Relations. American Institute of Physics Conference Proceedings, 1497, 273-289.
https://doi.org/10.1063/1.4766795
[3] Lan, C.X., Sun, J.P. and Zhao, Y.H. (2020) Positive Solution of Fractional Differential Equation with Integral Boundary Conditions. Baltica, 33, 26-35.
[4] Guezane-Lakoud, A. and Khaldi, R. (2012) Solvability of a Fractional Boundary Value Problem with Fractional Integral Condition. Nonlinear Analysis: Theory, Methods & Applications, 75, 2692-2700.
https://doi.org/10.1016/j.na.2011.11.014
[5] Xu, J., Wei, Z. and Dong, W. (2012) Uniqueness of Positive Solutions for a Class of Fractional Boundary Value Problems. Applied Mathematics Letters, 25, 590-593.
https://doi.org/10.1016/j.aml.2011.09.065
[6] Zhang, X., Liu, L., Wu, Y. and Lu, Y. (2013) The Iterative Solutions of Nonlinear Fractional Differential Equations. Applied Mathematics and Computation, 219, 4680-4691.
https://doi.org/10.1016/j.amc.2012.10.082
[7] Zhong, Q., Zhang, X., Lu, X. and Fu, Z. (2018) Uniqueness of Successive Positive Solution for Nonlocal Singular Higher-Order Fractional Differential Equations Involving Arbitrary Derivatives. Journal of Function Spaces, 2018, Article ID: 6207682.
https://doi.org/10.1155/2018/6207682
[8] Zhai, C., Wang, W. and Li, H. (2018) A Uniqueness Method to a New Hadamard Fractional Differential System with Four-Point Boundary Conditions. Journal of Inequalities and Applications, 2018, Article No. 207.
https://doi.org/10.1186/s13660-018-1801-0
[9] Choi, H., Sin, Y. and Jong, K. (2020) Existence Results for Nonlinear Multiorder Fractional Differential Equations with Integral and Antiperiodic Boundary Conditions. Journal of Applied Mathematics, 2020, Article ID: 1212040.
https://doi.org/10.1155/2020/1212040
[10] Su, C., Sun, J. and Zhao, Y. (2017) Existence and Uniqueness of Solutions for BVP of Nonlinear Fractional Differential Equation. International Journal of Differential Equations, 2017, Article ID: 4683581.
https://doi.org/10.1155/2017/4683581
[11] Bai, Z. and Qiu, T. (2009) Existence of Positive Solution for Singular Fractional Differential Equation. Applied Mathematics and Computation, 215, 2761-2767.
https://doi.org/10.1016/j.amc.2009.09.017
[12] Liu, W. and Zhuang, H. (2017) Existence of Solutions for Caputo Fractional Boundary Value Problems with Integral Conditions. Carpathian Journal of Mathematics, 33, 207-217.
https://doi.org/10.37193/cjm.2017.02.08
[13] Chandran, K., Gopalan, K., Zubair, S.T. and Abdeljawad, T. (2021) A Fixed Point Approach to the Solution of Singular Fractional Differential Equations with Integral Boundary Conditions. Advances in Difference Equations, 2021, Article No. 56.
https://doi.org/10.1186/s13662-021-03225-y
[14] Agarwal, R.P., Hodis, S. and O’Regan, D. (2019) 500 Examples and Problems of Applied Differential Equations. Springer.
[15] Adigüzel, R.S., Aksoy, Ü., Karapinar, E. and Erhan İ.M., (2020) On the Solution of a Boundary Value Problem Associated with a Fractional Differential Equation. Mathematical Methods in the Applied Sciences, 47, 10928-10939.
[16] Debao, Y. (2021) Existence and Uniqueness of Positive Solutions for a Class of Nonlinear Fractional Differential Equations with Singular Boundary Value Conditions. Mathematical Problems in Engineering, 2021, Article ID: 6692620.
https://doi.org/10.1155/2021/6692620
[17] Cabada, A. and Hamdi, Z. (2014) Nonlinear Fractional Differential Equations with Integral Boundary Value Conditions. Applied Mathematics and Computation, 228, 251-257.
https://doi.org/10.1016/j.amc.2013.11.057
[18] Li, M., Sun, J. and Zhao, Y. (2020) Positive Solutions for BVP of Fractional Differential Equation with Integral Boundary Conditions. Discrete Dynamics in Nature and Society, 2020, Article ID: 6738379.
https://doi.org/10.1155/2020/6738379
[19] Samko, S.G., Kilbas, A.A. and Marichev, O.I. (1993) Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach Science Publishers.
[20] Kilbas, A.A., Srivastava, H.M. and Trujillo, J.J. (2006) Theory and Applications of Fractional Differential Equations. Elsevier.
[21] Guo, D.J. and Lakshmikantham, V. (1988) Nonlinear Problems in Abstract Cones. Academic Press.
[22] Brodsky, A.R., Krasnoselskii, M.A., Flaherty, R.E. and Boron, L.F. (1967) Positive Solutions of Operator Equations. The American Mathematical Monthly, 74, 343.
https://doi.org/10.2307/2316070
[23] Granas, A. and James, D. (2003) Fixed Point Theory. Springer.