一类分数阶微分方程初值问题的奇摄动
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
高校应用数学学报
2 1,61: 14 0 12 () 4—5
一
类分数阶微分方程初值 问题 的奇摄动
吴钦 宽
( 南京工程学院 数学研究所,江苏南京 216) 117
摘 要 :研 究 了一类非线性分数阶微分 方程加权 初值 问题的奇 异摄动. 适 当的条件 在 下, 首先求 出了原问题的外部解, 然后利用边界层 函数法构造 出解的初始层项 , 由此 并 得到解的形式渐近 展开式, 最后利用微 分不等式理论 , 讨论 了问题解的渐近性 态 得到 了原 问题 解 的 一致 有 效 的 渐 近 估 计 式 . 关键词 : 奇异摄动; 线性; 非 分数 阶微分 方程 中图 分类号: 7 . O1 51 4
=
o ~ 下 =o一 兰,i , … , (‰ ) (‰ ) =01 ,
() 1 0
其 中‰+ k, :0 1… , 1 ti , , 为某正常数.
由() ()上面确定 的 , , :01… , 3,4, i ,, 代人()便得到 了原 问题 () () 的形式渐近估 4, 1,2解
C ,
,
7
£
例
考虑奇摄动分数阶L gs c m的初值 IN[ ] o i i方程 t ; 2 - 0 j
e () ,£( ~札 ) D乱 = “ )1 ( , ( ) 钆0 =u, () 0
其 中 :t 0 0< s > , 1< 1 g> 0 , .
+
(7 1) (8 1)
将( 代人( , 的幂展开. £, 3 ) 1 按£ ) , ,)合并E ( 的同次幂项, 并分别令其系数为零, 可得 ( )
其 中
G 1 0if ̄
1
。
( 3 )
( 1 t = 2… , D) 一G ] , ,,
一
£】 ,l ,, . ) 咖 _12…
将上述依次得到的u(代人()便得到了原问题的外部解. 由() t) £ 3, 显然 3得到的外部解未必满
cz T + ~ 5 E + 2
选取, y
立
.
,
定理证毕.
() 1 成立.同理可证( ) 6 1 成立. 和 5 故 分别为问题()() 1,2的下解和上解. 由定 问 1,2有一解ut )满足Qt£ 札tg )( ) ( £, , ( ) ( ) ( £. , , t ) 再由(3, 1) 关系式(2成 , 1) ( 4 1) +
高 校 应 用 数 学 学 报
第2 卷第1 6 期
Hale Waihona Puke 故选 取 同 理 可 得
1 就可得到 ,
(,) 0
( £ )
(, A() 0 ) E.
下面来证 明
£ D) ( ,) 0 ( 一,Q £ , e ( 一fZE 0 LD) (,) . 事实上, 由假设和 (0, 1)存在一个正常数 使得
钆 =
于E 的一致有效的渐近 展开 式:
∑[ + ( , < 《1 + oE 州) 0 E .
() 1 2
证
首先构造两个辅助函数 ( £, t£: t ) ,) , (
( ) ∑ + 一y “ z = , E , , E
i 0 =
m
(3 1)
(4 1)
) ∑[ +y + = + , E ,
计 式
u
∑ +
0£ . < 《1
§ 主 要结果 3
下面来证 明上述关 系式为关于£ 的一致有效的渐近展开式. 定 义 设存在两个光滑函数面 笪 面 u并分别满足: ,, ,
£ ( 面一fu ) 0 (, ≥ ( , D) (, ,百0g ) ) e ( u一,笪£ 0 ( E L D) (, ,丝0 ) ) , ) , 则分别称面 为 问题()() 和型 1,2的上解 和下解 .
足初始条件() 为此 , 2, 我们还需要构造初始层校正项 .
设问题()( 的解 1,2 ) U—u t ) ( ) ( £ + £, , () 4
其中 , r= 为伸长变量[ 而 6 ] '
(E 丁) , ∑V丁 , i) (
可 得
( 5 )
() 6 () 7 ( 8 ) () 9
修 回 日期: 0 00 — 6 2 1 —92
基金项 目 :国家 自然科学 ̄ (172 5; 10 10 )江苏省 自然科学基 ̄( K203 6 B 08 61
高 校 应 用 数 学 学 报
第2 卷第1 6 期
§ 构造 形式渐近 解 2
现构造原 问题 的外解 , 设
ut) ∑ ut . ( 一 t , ( )
(5 1) (6 1)
£() f , = L ) L 一 (£ c( ( D f ) D E[ l
i 0 =
~
, 0) ∑ Du 1 ,u0 (一 4 () ) f o , (, + ()一一+ 。) t - D( ~ ( + 0 u0 t u, ) ( L U )
= l
化学、工程等.非线性奇异摄 动问题在 国际学术 界是一个十分关注 的研 究对 象[ , 6 近年来 许多 l 学者做 了大 量的工作[1 .莫嘉琪[ 首先用奇异摄动理论研 究了一类 自治的稳态 奇摄动 阶微 76 -] 】
分方程 C uh 问题, 到了相应 自治分数 阶微 分方程C uh 问题一致有 效的渐近解. a cy 得 a cy 本文考虑 更 一般 形式的奇异摄动 分数 阶微分方程 的加权初 值问题, 运用奇摄动 理论和 方法构造 了分数 阶 微分方程 的渐近解, 并用微分不等式理论对它 的渐近性态作 了一致有效的估 计. 函数 的 ( ) 阶R e n — j vl 的分数阶导数Da 的定义 [ 】 i ma nLo ie u l ( ) 1 为 8
由 上述讨论,  ̄ re 定理知, 再lA zl a 问题( ,2有一个解ut )使得型t ) ut ) 西tE. 1 ( ) ) ( E, , (£ , (s , ( ) ,
引 理证 毕 .
定理
在假设[ l[3 分数阶奇摄动方程初值问题()() m - ] U 下, 1,2 有一个解utE, ( )具有如下关 ,
m
.
+ () f o V0 L )一+ t ∑ D —  ̄ + o) ( U 1 G£ ( U , + D i ] t ~
i 0 =
,J
+( [∑ + ,一 ( , £∑ ), 仇l) E l ,卜 m m ∑ + + +£ 。 +
i 0 = i O =
+
假设 :
『1 H ]退化方程fu0 :0 (,) 存在一个根 = ; 0 【2 厂 , , () H ].乱g A E ( ) 是关于其变量在其变化区域内为足够光滑的函数; [3 (, 0^ 一 <0 其中c H 】, £ ) , C , 为正常数.
收稿 日期: 0 00 .8 2 1 .30
n
于是可
0即面 , 面+, 1 1n .
面: 一 面 。 ・ U 0 1 ・ ≥ U + ・ n1 一.
故 由归纳法 知: 同理可得 :
u = Uo
ux
_
‘・・
un
U n+ 1
_
・_. .
同理 还 可得 到:
面n2 塑 , n = 0 1 … . ,,
于 是可 n≥ 0即瓦 西 . , 0 1
若 一 1
,, 1 T / , 并设 = 一 +, 1因此有
e ( ) 厂 , =E ( ) ~£ ( ) 1 ( 1 ) L D y 一. E ( ) LD 面 L D 面 + ~,瓦 一面 + , E
=
,面 一,) ( ,) (礼 + ,) ( 1 一,瓦 £ 一,- 一 £ 1£ c 1 0 ( ~ 一面 ) , 瓦 I 0= I 0 n 1 = t = t 一面 + I 0=0 = t .
将( ,5代人()( , 的幂展开fu+ £和 ( , 4 () ) 1,2 按E ) ( ) E 合并£ ) 的同次幂项, 并分别令其系数为零,
£D)o:, g +Y ,) ( Y (o o0, () A , 0= o ( ) =厶( + ,) — D) 1 ,i ,, , D 0 ( 一 一 =12… () t 0= .
文献标识码: A
文章编 号:0042(0 10—0 10 10—4421)104—5
§ 引 言 1
近年 来, 有关非线性分数阶微分方程的研究 已经在 国内外 引起人们极大 的兴趣[引 之所 以 . 一 这样, 一是基于分数算子 自身理 论的发展 , 二是分数算子在各个领域 中的应用 , 如物理 、机械 、
证 构造函数 列, 由如下递推 关系决 定
e ( u + =fu ,) 1 ,) ( ,扎=01… . LD) 1 ( £,牡 + ( £ = 0 ) ,,
(1 1)
分别以_ =瓦 o 为(1 0 和型 =堑 1) 的初始迭代函数, 可分别依次地构造 和 , 佗=12・ . ,,一 于 是有函数列: ) 笪 ) 现讨论它们的收敛性态. { 和{ . 设Y = 一型 , o 1 因此由 假设[3 H] 有 e ( f 一,Y,) L D)o LD)I (o U ,) L D) o ( =e (  ̄ —e (  ̄ —fu 一" E o l ≥-f ̄ 一面 ,) , (o 1£ ≥0 J 0:- I 0一瓦 0≥0 t : 0: t 1= J t .
1 一 , t
D( 。)
/t旷 ), o一 。s ( (s d
() 1 () 2
其 中r 为Ga mma 函数 , 0<O <1 L . 本文考虑 一般形式 的奇异摄动分数阶微分方程 的加权初值 问题
£ ( t =,, ,0 <T D)( ) (( ,) <t , “) uo ) ( , (, = E ) 其中 ( = D 一a 一 D 一 D) n1 一・ … a D ,0<8 <8 x 1 2<・ ・ n<1 0 ・ <8 .a .
其中
A 1d 仁 0, 【* A叫
0, , 1… ,
而 为关于 , , 一 ; 0 , , 一 的逐次 己知 的函数, . , v, … 1 其结构从略.
由( 一 ) 6 ( 可依次地得到 , … , 由 )9 Ⅵ, 且 假设[3 ,=01… , H】 知, i ,, 具有性质【】 9
吴钦宽: 一类分数 阶微分 方程初值 问题的奇摄动
引理 在假设[1 H 】 瓦t ) ( £分别为分数阶奇摄动方程初值问题()( 的上, H 卜[3下, ( £, t ) , 型, 1,2 ) 下 解, 则问题()() 1,2 有一解ut )满足关系式: ( E ut ) 瓦 ) ( £, , 笪t ) ( £ , , ( . ,
容易验证( ) ( ) 1 ,1 满足[1 H ]因此初值问题( )(8的解乱 有如下近似 7 8 H 卜[3, 1 ,1) 7 ( )
( =1 () ( , ) + 三 +0 )
其 中: () 丁 满足如下初值 问题:
D () 4 + () 1 。 o 7 =(0 丁) 一札 一V) - ( () “ —1 0 =r 0 .
其中 为适 当大 的正常数, 它将在下面选定. 显然有
( s Zt ) t ) ( E, , ,
并且, 存在一个 正常数 使得 1
m m
Z, = + (£ ∑[ o)
i 0 =
+e+= i ++ e+ 7 ∑A 7 e m
i 0 =
A £ 一5e + +7 ( ) 1 E + =A £ +( ) + . ( ) — 1
2 1,61: 14 0 12 () 4—5
一
类分数阶微分方程初值 问题 的奇摄动
吴钦 宽
( 南京工程学院 数学研究所,江苏南京 216) 117
摘 要 :研 究 了一类非线性分数阶微分 方程加权 初值 问题的奇 异摄动. 适 当的条件 在 下, 首先求 出了原问题的外部解, 然后利用边界层 函数法构造 出解的初始层项 , 由此 并 得到解的形式渐近 展开式, 最后利用微 分不等式理论 , 讨论 了问题解的渐近性 态 得到 了原 问题 解 的 一致 有 效 的 渐 近 估 计 式 . 关键词 : 奇异摄动; 线性; 非 分数 阶微分 方程 中图 分类号: 7 . O1 51 4
=
o ~ 下 =o一 兰,i , … , (‰ ) (‰ ) =01 ,
() 1 0
其 中‰+ k, :0 1… , 1 ti , , 为某正常数.
由() ()上面确定 的 , , :01… , 3,4, i ,, 代人()便得到 了原 问题 () () 的形式渐近估 4, 1,2解
C ,
,
7
£
例
考虑奇摄动分数阶L gs c m的初值 IN[ ] o i i方程 t ; 2 - 0 j
e () ,£( ~札 ) D乱 = “ )1 ( , ( ) 钆0 =u, () 0
其 中 :t 0 0< s > , 1< 1 g> 0 , .
+
(7 1) (8 1)
将( 代人( , 的幂展开. £, 3 ) 1 按£ ) , ,)合并E ( 的同次幂项, 并分别令其系数为零, 可得 ( )
其 中
G 1 0if ̄
1
。
( 3 )
( 1 t = 2… , D) 一G ] , ,,
一
£】 ,l ,, . ) 咖 _12…
将上述依次得到的u(代人()便得到了原问题的外部解. 由() t) £ 3, 显然 3得到的外部解未必满
cz T + ~ 5 E + 2
选取, y
立
.
,
定理证毕.
() 1 成立.同理可证( ) 6 1 成立. 和 5 故 分别为问题()() 1,2的下解和上解. 由定 问 1,2有一解ut )满足Qt£ 札tg )( ) ( £, , ( ) ( ) ( £. , , t ) 再由(3, 1) 关系式(2成 , 1) ( 4 1) +
高 校 应 用 数 学 学 报
第2 卷第1 6 期
Hale Waihona Puke 故选 取 同 理 可 得
1 就可得到 ,
(,) 0
( £ )
(, A() 0 ) E.
下面来证 明
£ D) ( ,) 0 ( 一,Q £ , e ( 一fZE 0 LD) (,) . 事实上, 由假设和 (0, 1)存在一个正常数 使得
钆 =
于E 的一致有效的渐近 展开 式:
∑[ + ( , < 《1 + oE 州) 0 E .
() 1 2
证
首先构造两个辅助函数 ( £, t£: t ) ,) , (
( ) ∑ + 一y “ z = , E , , E
i 0 =
m
(3 1)
(4 1)
) ∑[ +y + = + , E ,
计 式
u
∑ +
0£ . < 《1
§ 主 要结果 3
下面来证 明上述关 系式为关于£ 的一致有效的渐近展开式. 定 义 设存在两个光滑函数面 笪 面 u并分别满足: ,, ,
£ ( 面一fu ) 0 (, ≥ ( , D) (, ,百0g ) ) e ( u一,笪£ 0 ( E L D) (, ,丝0 ) ) , ) , 则分别称面 为 问题()() 和型 1,2的上解 和下解 .
足初始条件() 为此 , 2, 我们还需要构造初始层校正项 .
设问题()( 的解 1,2 ) U—u t ) ( ) ( £ + £, , () 4
其中 , r= 为伸长变量[ 而 6 ] '
(E 丁) , ∑V丁 , i) (
可 得
( 5 )
() 6 () 7 ( 8 ) () 9
修 回 日期: 0 00 — 6 2 1 —92
基金项 目 :国家 自然科学 ̄ (172 5; 10 10 )江苏省 自然科学基 ̄( K203 6 B 08 61
高 校 应 用 数 学 学 报
第2 卷第1 6 期
§ 构造 形式渐近 解 2
现构造原 问题 的外解 , 设
ut) ∑ ut . ( 一 t , ( )
(5 1) (6 1)
£() f , = L ) L 一 (£ c( ( D f ) D E[ l
i 0 =
~
, 0) ∑ Du 1 ,u0 (一 4 () ) f o , (, + ()一一+ 。) t - D( ~ ( + 0 u0 t u, ) ( L U )
= l
化学、工程等.非线性奇异摄 动问题在 国际学术 界是一个十分关注 的研 究对 象[ , 6 近年来 许多 l 学者做 了大 量的工作[1 .莫嘉琪[ 首先用奇异摄动理论研 究了一类 自治的稳态 奇摄动 阶微 76 -] 】
分方程 C uh 问题, 到了相应 自治分数 阶微 分方程C uh 问题一致有 效的渐近解. a cy 得 a cy 本文考虑 更 一般 形式的奇异摄动 分数 阶微分方程 的加权初 值问题, 运用奇摄动 理论和 方法构造 了分数 阶 微分方程 的渐近解, 并用微分不等式理论对它 的渐近性态作 了一致有效的估 计. 函数 的 ( ) 阶R e n — j vl 的分数阶导数Da 的定义 [ 】 i ma nLo ie u l ( ) 1 为 8
由 上述讨论,  ̄ re 定理知, 再lA zl a 问题( ,2有一个解ut )使得型t ) ut ) 西tE. 1 ( ) ) ( E, , (£ , (s , ( ) ,
引 理证 毕 .
定理
在假设[ l[3 分数阶奇摄动方程初值问题()() m - ] U 下, 1,2 有一个解utE, ( )具有如下关 ,
m
.
+ () f o V0 L )一+ t ∑ D —  ̄ + o) ( U 1 G£ ( U , + D i ] t ~
i 0 =
,J
+( [∑ + ,一 ( , £∑ ), 仇l) E l ,卜 m m ∑ + + +£ 。 +
i 0 = i O =
+
假设 :
『1 H ]退化方程fu0 :0 (,) 存在一个根 = ; 0 【2 厂 , , () H ].乱g A E ( ) 是关于其变量在其变化区域内为足够光滑的函数; [3 (, 0^ 一 <0 其中c H 】, £ ) , C , 为正常数.
收稿 日期: 0 00 .8 2 1 .30
n
于是可
0即面 , 面+, 1 1n .
面: 一 面 。 ・ U 0 1 ・ ≥ U + ・ n1 一.
故 由归纳法 知: 同理可得 :
u = Uo
ux
_
‘・・
un
U n+ 1
_
・_. .
同理 还 可得 到:
面n2 塑 , n = 0 1 … . ,,
于 是可 n≥ 0即瓦 西 . , 0 1
若 一 1
,, 1 T / , 并设 = 一 +, 1因此有
e ( ) 厂 , =E ( ) ~£ ( ) 1 ( 1 ) L D y 一. E ( ) LD 面 L D 面 + ~,瓦 一面 + , E
=
,面 一,) ( ,) (礼 + ,) ( 1 一,瓦 £ 一,- 一 £ 1£ c 1 0 ( ~ 一面 ) , 瓦 I 0= I 0 n 1 = t = t 一面 + I 0=0 = t .
将( ,5代人()( , 的幂展开fu+ £和 ( , 4 () ) 1,2 按E ) ( ) E 合并£ ) 的同次幂项, 并分别令其系数为零,
£D)o:, g +Y ,) ( Y (o o0, () A , 0= o ( ) =厶( + ,) — D) 1 ,i ,, , D 0 ( 一 一 =12… () t 0= .
文献标识码: A
文章编 号:0042(0 10—0 10 10—4421)104—5
§ 引 言 1
近年 来, 有关非线性分数阶微分方程的研究 已经在 国内外 引起人们极大 的兴趣[引 之所 以 . 一 这样, 一是基于分数算子 自身理 论的发展 , 二是分数算子在各个领域 中的应用 , 如物理 、机械 、
证 构造函数 列, 由如下递推 关系决 定
e ( u + =fu ,) 1 ,) ( ,扎=01… . LD) 1 ( £,牡 + ( £ = 0 ) ,,
(1 1)
分别以_ =瓦 o 为(1 0 和型 =堑 1) 的初始迭代函数, 可分别依次地构造 和 , 佗=12・ . ,,一 于 是有函数列: ) 笪 ) 现讨论它们的收敛性态. { 和{ . 设Y = 一型 , o 1 因此由 假设[3 H] 有 e ( f 一,Y,) L D)o LD)I (o U ,) L D) o ( =e (  ̄ —e (  ̄ —fu 一" E o l ≥-f ̄ 一面 ,) , (o 1£ ≥0 J 0:- I 0一瓦 0≥0 t : 0: t 1= J t .
1 一 , t
D( 。)
/t旷 ), o一 。s ( (s d
() 1 () 2
其 中r 为Ga mma 函数 , 0<O <1 L . 本文考虑 一般形式 的奇异摄动分数阶微分方程 的加权初值 问题
£ ( t =,, ,0 <T D)( ) (( ,) <t , “) uo ) ( , (, = E ) 其中 ( = D 一a 一 D 一 D) n1 一・ … a D ,0<8 <8 x 1 2<・ ・ n<1 0 ・ <8 .a .
其中
A 1d 仁 0, 【* A叫
0, , 1… ,
而 为关于 , , 一 ; 0 , , 一 的逐次 己知 的函数, . , v, … 1 其结构从略.
由( 一 ) 6 ( 可依次地得到 , … , 由 )9 Ⅵ, 且 假设[3 ,=01… , H】 知, i ,, 具有性质【】 9
吴钦宽: 一类分数 阶微分 方程初值 问题的奇摄动
引理 在假设[1 H 】 瓦t ) ( £分别为分数阶奇摄动方程初值问题()( 的上, H 卜[3下, ( £, t ) , 型, 1,2 ) 下 解, 则问题()() 1,2 有一解ut )满足关系式: ( E ut ) 瓦 ) ( £, , 笪t ) ( £ , , ( . ,
容易验证( ) ( ) 1 ,1 满足[1 H ]因此初值问题( )(8的解乱 有如下近似 7 8 H 卜[3, 1 ,1) 7 ( )
( =1 () ( , ) + 三 +0 )
其 中: () 丁 满足如下初值 问题:
D () 4 + () 1 。 o 7 =(0 丁) 一札 一V) - ( () “ —1 0 =r 0 .
其中 为适 当大 的正常数, 它将在下面选定. 显然有
( s Zt ) t ) ( E, , ,
并且, 存在一个 正常数 使得 1
m m
Z, = + (£ ∑[ o)
i 0 =
+e+= i ++ e+ 7 ∑A 7 e m
i 0 =
A £ 一5e + +7 ( ) 1 E + =A £ +( ) + . ( ) — 1