安全验证
时间:2023-11-18 14:33:12 下载该word文档
第3O卷第4期 2013年7月 计 算 物 理 Vo1.30.No.4 CHINESE JOURNAL OF C0MPUTATIONAL PHYSICS July,2013 文章编号:1001—246X(2013)04-0491-10 时间分数阶亚扩散方程的高阶差分方法 曾凡海, 李常品 (上海大学理学院数学系,上海200444) 摘要:提出两差分格式求解时间分数阶亚扩散方程.两个格式都是绝对稳定的,收敛阶均为O(r +h ),其中q (g=2一卢或2)与方程解的光滑性有关,卢(0</3<1)是分数阶导数的阶、f和h分别是时间和空间方向步长.数值 实验验证了理论结果的正确性,并与其他方法进行比较,显示了本文方法的有效性和精确性. 关键词:亚扩散方程;分数阶线性多步法;高阶方法;稳定性;收敛性 中图分类号:0241.82 文献标识码:A O 引言 分数阶微积分(包括分数阶积分和导数)正成为一个热门,现已发现它在科学和工程的各个领域都有着 较为广泛的应用,如物理,材料,控制和生物等¨I5 .在物理领域,分数阶导数常用来模拟异常流(包括亚扩散 和超扩散,亚扩散又称为次扩散),其粒子扩散不同于经典的布朗运动. 目前,求解分数阶微分方程的解析方法有Fourier变换方法,Laplace变换方法,Mellin变换方法以及 Green函数方法等 .对于大多数分数阶微分方程而言,这些解析方法显得无能为力.因此,发展数值方法显 得尤为必要和实用.和整数阶微分方程求解方法类似,分数阶微分方程的求解方法也有差分方法 ,有限 元方法 和谱方法 等.差分方法仍然是求解分数阶微分方程的主要工具,而在高阶稳定的方法方面却存 在一些空白.本文的目的是构造高阶精度的方法(收敛阶大于1,甚至可以达到2阶)求解时间分数阶亚扩散 方程. 考虑如下形式的时间分数阶亚扩散方程 川 r cD . ( , )= a 2u+/.( ,t), ( ,t)∈,×(0,T),T>0,0<卢<1, { ( ,0)= 。( ), 【M(a,t)=u(b,£)=0, ∈, ( ,t)∈OI×(0,T), (1) 其中 >0,,=(o,6),a = D c,z=1,2,…, D , 是卢阶Caputo分数阶导数算子,其定义 一 , u( ,£)=Do, ’[Otu(x,t)] jl( —s)一 O,U( ,s)ds, (2) 其中D 是分数阶积分(或者Riemann.Liouville积分)算子,其定义为 Do ̄f( ) Doff(t) 义为 n J0(f—s) s) (3) 另外一种常用的分数阶导数为Riemann.Liouville导数,对于0<卢<1,(1一JB)阶Riemann—Liouville导算子定 D u( ) [D u( )] ( ( ) 目前,已经有一些方法数值模拟形如式(1)亚扩散方程.时间分数阶导数常用的离散格式是L1方法,具 收稿日期: 2012—11—12;修回日期:2013—0l一26 基金项目: 上海市教委科研创新重点项目(12ZZ084)资助 作者简介: 曾凡海(1982一),男,博士生.研究方向:分数阶微分方程数值计算,E-mail:fanhaiz@shu.edu.cn 李常品(1968一),男,博士,教授.研究方向为分数阶微分方程数值计算、分数阶动力学,E—mail:lcp@shu.edu.cn }通讯作者:
计 算 物 理 第3O卷 有(2一/3)阶收敛率,空间方向常用中心差分或者紧致差分格式离散,可参考文[6,11]. 本文使用两种方法离散时间分数阶导数,空间方向使用标准的中心差分方法离散,从而构造出两个差分 格式,时间方向至少具有(2一口)阶精度.本文给出严格的理论证明,理论分析表明,本文提出的两个差分格 式都是无条件稳定的,空间方向具有2阶精度,时间方向收敛阶为q.q依赖于解的光滑性.如果方程的解足 够光滑,时间方向的收敛阶为(2一/3)或2.本文给出充分的数值算例,验证方法的有效性,并与其他方法做比 较,显示本文方法的高精确性. 本文第一节提出方程(1)的两种差分格式,第二节给出两种差分格式的稳定性和收敛性分析,第三节给 出充分的数值算例,最后进行总结. 1差分格式构造 设n 和Ⅳ为两个正整数,f是时间方向步长,{t }: 。是区间[0,T]的一个等距划分,即t =kr,r=T/n . 设h为空间方向步长,满足h=(b—a)/N.空间方向网格点记为 ,其中 =a+ih,i=0,1,…,Ⅳ.对于u( , t)∈c([0,T];,),记u“=“ (・)=u(・,t ).为简单起见,我们还引入下面记号: = , = = u : u , (4) D ““=专【∑ 一6 “。】, D u = ∑ ““=(1/2) ∑∞ (一1) “ , -- -?], (5) (6) “ =(1/2) ∑ (一1) u :(1一/3/2) +譬u , 其中 和b 定义如下 一㈠nu :(1一/3/2)“ +譬 ?~, , (7) ㈩ = = ‰. f 10) 引理1.1 n 设{∞ }由式(8)定义.那么 ∞。=1,∞ <0,I∞ + I<I l, 。=一∑∞ >一∑∞ >0,n=1,2,…; 。= = = +。(rt-1-0 2,…; 一 进一步有,b 一b 一l=∞ <0,/7,>0,即:b <b 一l,n>0. 1.1 时间方向离散 Lubich¨ 提出了分数阶线性多步法(FLMM)离散JB阶分数阶积分,其方法如下 Di u(£)1 : =r ∑∞: “(tk)+f ∑∞ (0, )/Z z、tk)+0(he), 其中{ }可以是如下生成函数的Taylor展开式的系数 ‘卢’( ) =[ 0+y1(1一 )+ 2(1一 ) +…+y。1]/(1一 )卢, l(1一z)pI一(11) (12) (13) ∞‘ ( )=(1+z) /(2(1一Z)) , { }是开始系数,其考虑了函数 (t)在初始点的渐进展开性质¨ ,使得分数阶线性多步法式(11)具有P 阶收敛率.分数阶线性多步法式(11)中的参数s与本文最终构造的格式无关,因此这里不给出与s有关的具 体细节,可参考文[13—14].式(12)的{y }满足如下关系式 (:_l