分数阶微分方程连续解的存在性定理
- 格式:pdf
- 大小:119.43 KB
- 文档页数:3
次 Riemamn -L iouv il le 分数微分为 u ( s) d s ( n - 1 ≤ < n , n ∈ N ) . s ) - n+ 1
∫ (t -
令空间 X = C [ 0, 1] , 其中 C [ 0, 1] 表示定义在 [ 0, 1] 上的连续函数的全体 , 赋予最大值范数‖u ‖ = max u ( t) , ( u ( t) ∈ C [ 0, 1] ) . 令 t ∈[ 0, 1] K = { u ∈ X : u( t ) ≥ 0, 0 ≤ t ≤ 1} , 则 K 为 X 中的正规锥 . 通常用 D a u ( x ) 来表示 D a+ , 用 I a u( x ) 来表示 I a+ . 同样 , 用 D u ( x ) , I u ( x ) 分 别表示 D 0+ u ( x ) 和 D 0+ u ( x ) . 引理 1[ 1] 分数阶微分方程 ( 1) 等价于积分方程
n- 1
u( x ) =
[ 6]
∑a I
j j= 1
s - s
n
j
u ( t ) + I n f ( t , u( t ) ) .
s
( 2)
引理 2 ( Schauder f ixed-point theorem) 设U 为Banach 空间 X 的一个有界闭凸子集, 如果 T : U → U 为全连续算子 , 那么 T 在 U 内至少有一不动点存在.
∑
n- 1 j= 1
aj I sn - sj un ( t) + I sn f ( t, u n( t ) ) - ( ∑j = 1 aj I sn - sj u ( t) + I sn f ( t, u ( t) ) ) ≤
n- 1
86
中 北 大 学 学 报 ( 自然科学版 )
2011 年第 1 期
s
n
( t) < M.
证明 固定 ∀ > 0, 当 x ≤ ∀ 时 , 由于 f 连续 , 可令 L = ‖f ‖= max f ( t , x ) , t∈ I , 故存在. n- 1 ∀ aj ‖f ‖ s -s - = [ 0, 选择 , 使得 0 ≤ ≤ 1, 0 ≤ ≤ , [ ∑ . 记 I = [ 0, 1] , I ! ! ∀ ! ∀ ∀ j = 1 ( s n- sj + 1) + ( sn + 1) ] ! n n- 1 ≤ ∀ , R ) , u ( 0) = 0, 且对于所有的 t ∈I ! , u ( t ) ≤, 显然集合 !] . 定义集合 A = A ( !, v ) , 其中的函数 u ∈C ( I ! ∀ A 是一有界闭凸集 . 对 u ∈A , 定义算子 T 为 T u ( t) =
∑
n- 1 j= 1
aj I sn - sj ( un ( t) - u ( t) ) +
I s n ( f ( t , u n) ( t ) - f ( t , u ) ) ≤ 1 ( sn )
n
s - s ∑j = 1 aj I n j ( un ( t) - u ( t) ) +
n- 1
∑j = 1 aj I ∑
n- 1 j= 1
n- 1
s - s
n
j
( un ( t) - u ( t) ) + ‖un - u ‖ + I
s
n
(t ∫ 1 (t (s ∫ )
0 t 0
t
s ) ( sn - 1) f ( s , un ( s ) ) - f ( s , u ( s ) ) d s ≤ s)
( s - 1)
n
S S
n- 1
( 1)
- …- a1D 1 , 0< s 1< s 2 < … < s n< 1, 且
s
j , a j > 0, f ( x , u ) 是给定的函数. 本文所作的工作就是在文献 [ 1-4] 研究的基础上改进正解存在的一些 条件, 进而得到方程连续解存在定理. 定义 1[ 5] 连续函数 u ( t) : R + → R 的
0 t
I s n f ( t , u ( t) ) ≤
s - 1
n
∫
+
t
( t - s) 0
s - s- 1
n j
u ( s) d s +
f ( s , u ( s ) ) ds ≤ L ] t sn - sn- 1 ≤ ( sn + 1)
∑
因此 T : A → A .
n- 1 j= 1 n- 1
[ ∑j = 1
Abstract: T he ex ist ence of co nt inuous so lut ions of t he mo re g eneralized f ract ional diff erent ial equations w as studied. When t he inv olved funct ions of diff er ent ial equations sat isf y t he co ndition f ( t , u ) - f ( t, v ) ≤ ( t) h ( r ) , t he dif ferent ial equat io n is equivalent t o the int eg ral equat io n. By defining t he operat or and using Schander fix ed point t heorem , t he co nt inuous existence t heorem was prov ed. W hen ( t ) is a co nstant , the condit io n beco mes a Osgoo d condit ion, t hen t he ex ist ence theorem o f the classical Osg ood co ndit ions ext ends to m ore g ener al ized f ract ional dif f er ent ial equat ions. Key words : RiemannL iouville f ract ion int eg ral and derivat ive; dif f erential equat ion; ex ist ence
2 存在性定理
定理 1 如果 f 是 [ 0, 1] ×R 上的连续函数 , 且满足 f ( t, u ) - f ( t , v ) ≤ ( t) h( r ) , ( 3) 那 么对于适当的 0< !< 1, 方程 ( 1) 在 [ 0, !] 上存在连续解 x ( t ) . 这里 , h ( r ) 在 [ 0, ∞) 上是连续的, 且 h ( 0) = 0, r = u- v , 且对于 t∈ [ 0, 1] , I
2011 年 第 32 卷 第 1 期 中 北 大 学 学 报 ( 自然科学版 ) V ol. 32 N o . 1 2011 ( 总第 135 期 ) JOURNAL OF NORTH UNIVERSITY OF CHINA( NATURAL SCIENCE EDITION) ( Sum No . 135) 文章编号 : 16733193( 2011) 01-008403
The Theorem of Existence of Continuous Solution for a Fractional Diff erential Equation
YANG Hui, WANG Wen-xia, WANG Jun-xia
( Dept. of M at hem atics, T aiyuan N or mal U niver sity , T aiy uan 030012, China)
∑
n- 1 j= 1
aj I sn - sj u ( t) + I sn f ( t, u ( t) ) ,
T 在 A 中的不动点与方程( 1) 在 A 中的解是一致的 . 而可以应用 Schauder 不动点定理得到算子 T 在 A 中不动点的存在性 . 对 u ∈A , 由于 f ( t, x ) 的有界性, 算子 T 有定义; 对于 t ∈ I !, u ( t ) ≤, T u ( 0) = u ( 0) = 0, 且 ∀ T u ( t ) 是连续的. 此外 T u( t ) ≤
( s ) h ( un ( s ) - u( s ) ) ds ≤
aj I
s - s
n
j
( t ) h( r ) .
由于 h ( r ) 在 [ 0, ∞) 上是连续的 , 且 h ( 0) = 0, 故当 r →0 时 , h ( r ) →0. 另一方面, 当 n→∞ 时 , r = s u n- u → 0, 且 I n ( t) < M , 因而 T : A →A 是连续算子 . 令 u ∈A , t 1, t 2∈ [ 0, 1] , t1 ≤t2 , 对于任给的 # > 0, 存在 n- 1 1 2∀ aj 2L ∃= [ # (∑ + ) - 1] s n - s n - 1 . ( s n s j + 1) ( s n + 1) j= 1 如果 t1- t2 < ∃, 则 T u( t 1) - T u( t 2) ≤ ∑j = 1 L ( sn )
收稿日期 : 2010-06-09 基金项目 : 国家自然科学基金资助项目 ( 10961020) ; 山西省自然科学基金资助项目 ( 2006011013) 作者简介 : 杨慧 ( 1976-) , 女 , 讲师, 硕士 . 主要从事泛函分析与偏微分方程研究 .