劉圣恩,葛永斌,祁應(yīng)楠

(1.寧夏大學(xué)數(shù)學(xué)統(tǒng)計(jì)學(xué)院,寧夏 銀川 750021;2.寧夏師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,寧夏 固原 756000)

1.引言

反應(yīng)擴(kuò)散方程是一類(lèi)描述物理量隨時(shí)間擴(kuò)散和衰減的拋物型微分方程.自然環(huán)境、生物競(jìng)爭(zhēng)及工程設(shè)備中的諸多物理現(xiàn)象,如種群中基因的擴(kuò)散、半導(dǎo)體材料中的雜質(zhì)或者河流中污染物濃度的變化、液體的滲透等都可用反應(yīng)擴(kuò)散方程進(jìn)行描述[1].

近年來(lái),有眾多科研工作者致力于有限差分法的高精度差分格式的研究,并且已有的研究結(jié)果表明,提高數(shù)值方法的精度對(duì)于提高問(wèn)題的求解能力是一種非常有效的途徑.LI等人[2]針對(duì)一維非線(xiàn)性反應(yīng)擴(kuò)散方程,提出了一種預(yù)測(cè)-校正格式,通過(guò)用隱式-顯式(IMEX)方法來(lái)避免迭代,該格式時(shí)間具有二階精度,空間具有四階精度.葛永斌等人[3]針對(duì)一維擴(kuò)散問(wèn)題構(gòu)造了一種時(shí)間二階精度,空間四階精度的隱式差分格式,且用Fourier分析方法證明了格式是無(wú)條件穩(wěn)定的.田振夫等人[4]利用三次樣條四階差分方法,提出了擴(kuò)散方程的兩種無(wú)條件穩(wěn)定的差分格式,該格式時(shí)間具有二階精度,空間具有四階精度.黃文姣等人[8]針對(duì)一維非線(xiàn)性反應(yīng)擴(kuò)散方程,采用四階向后差分處理時(shí)間導(dǎo)數(shù),空間項(xiàng)采用四階緊致算子進(jìn)行離散,得到一種時(shí)間和空間均為四階精度的格式.WANG等人[6]針對(duì)一維非線(xiàn)性反應(yīng)擴(kuò)散方程,提出了一種時(shí)間具有二階精度,空間具有四階精度的單調(diào)緊致隱式有限差分格式.張林等人[7]針對(duì)二維非線(xiàn)性反應(yīng)擴(kuò)散方程,時(shí)間項(xiàng)和空間項(xiàng)分別采用四階向后差分和四階緊致差分方法進(jìn)行離散,提出了一種高精度的全隱格式,并采用多重網(wǎng)格算法加速求解全隱格式所形成的代數(shù)方程組.WU等人[5]針對(duì)二維非線(xiàn)性反應(yīng)擴(kuò)散問(wèn)題構(gòu)造了一種兩層線(xiàn)性化的交替方向隱格式,并給出了無(wú)窮范數(shù)和L2范數(shù)的誤差估計(jì),該格式時(shí)間具有二階精度,空間具有四階精度.

綜上所述,針對(duì)反應(yīng)擴(kuò)散方程,上述各類(lèi)格式的空間精度均不超過(guò)四階,空間具有六階精度的格式尚未發(fā)現(xiàn)研究報(bào)道.從已有的文獻(xiàn)來(lái)看,實(shí)現(xiàn)空間六階精度有幾類(lèi)常見(jiàn)的方法.SUN等人[9]針對(duì)拋物型方程,空間采用六階組合緊致差分格式(CCD)進(jìn)行離散,時(shí)間采用Crank-Nicolson(C-N)方法進(jìn)行離散.該格式的空間離散方法,需要分別構(gòu)造求解未知函數(shù)u及u的一階和二階空間導(dǎo)數(shù)的六階差分格式,然后通過(guò)迭代方法求解u,進(jìn)而達(dá)到六階精度求解的目的.該方法的實(shí)現(xiàn)比較復(fù)雜,因此應(yīng)用相對(duì)較少.Sari等人[10]針對(duì)拋物型方程,空間采用導(dǎo)數(shù)型六階格式進(jìn)行離散,時(shí)間方向采用TVD-RK3方法進(jìn)行離散.該格式在計(jì)算上簡(jiǎn)單高效,但穩(wěn)定性較差,因此制約了該格式的推廣和應(yīng)用.針對(duì)以上六階方法的不足,本文針對(duì)二階導(dǎo)數(shù),提出一種推導(dǎo)簡(jiǎn)潔且有效的五點(diǎn)六階差分公式,并運(yùn)用該差分公式來(lái)求解一維非線(xiàn)性反應(yīng)擴(kuò)散方程.

2.高精度有限差分格式

考慮如下一維非線(xiàn)性反應(yīng)擴(kuò)散方程的初邊值問(wèn)題:

初始條件為:

邊界條件為：

其中u(x,t)為待求未知量,υ >0為擴(kuò)散項(xiàng)系數(shù),f(u)為非線(xiàn)性源項(xiàng),且φ(x),g(t),l(t)均為已知函數(shù).為簡(jiǎn)化分析,設(shè)u(x,t)具有充分的光滑性.

首先對(duì)計(jì)算區(qū)域進(jìn)行等距網(wǎng)格剖分,分割[a,b]×(0,T]為N ×M(N,M ∈Z+)網(wǎng)格,設(shè)時(shí)間步長(zhǎng)為τ=,空間步長(zhǎng)為h=,用表示網(wǎng)格點(diǎn)(xi,tn)的數(shù)值解,其中xi=a+ih,i=0,1,···,N,tn=τn,n=0,1,···,M.網(wǎng)格節(jié)點(diǎn)圖如下圖所示:

分別將點(diǎn)ui+1,ui?1,ui+2,ui?2在點(diǎn)ui處進(jìn)行Taylor展開(kāi)：

將上面兩個(gè)式子分別求和得到如下的式子：

將(2.7)-(2.6)×16,(2.7)-(2.6)×64分別得到

定義如下五點(diǎn)中心差分算子

將式(2.8)和(2.9)分別寫(xiě)成如下形式

將(2.12)式略去高階誤差項(xiàng),代入(2.13)式可得

從而得到全新的二階導(dǎo)數(shù)的五點(diǎn)六階差分公式

對(duì)方程(2.1)空間內(nèi)部點(diǎn)用式(2.15)進(jìn)行離散,得

整理得到：

將算子(2.10)和(2.11)代入式(2.17)整理得到空間離散格式

考慮式(2.18)在(n ?1/2)時(shí)刻的值：

對(duì)式(2.19)時(shí)間導(dǎo)數(shù)項(xiàng)采用C-N方法進(jìn)行離散,空間采用加權(quán)平均,得到：

上式舍去截?cái)嗾`差項(xiàng),兩邊同乘以τ,并令r=τ/h2,整理得到：

式(2.21)就是定解問(wèn)題(2.1)-(2.3)的高精度差分格式,該格式的截?cái)嗾`差為O(τ2+h6),即時(shí)間具有二階精度,空間具有六階精度.由于采用五點(diǎn)模板來(lái)構(gòu)建格式,臨近邊界點(diǎn)的計(jì)算需要單獨(dú)處理.我們利用計(jì)算域以外兩個(gè)虛擬點(diǎn)的方法,來(lái)實(shí)現(xiàn)兩個(gè)臨近邊界點(diǎn)的計(jì)算.虛擬點(diǎn)的處理公式如下:

式(2.21)空間精度具有六階,而時(shí)間精度僅具有二階,為了讓格式在求解中體現(xiàn)出更好的計(jì)算性能,構(gòu)造時(shí)間和空間精度更為接近的格式是十分必要的.為此,本文采用如下四階Richardson外推公式[11]

通過(guò)式(2.21)(2.23)就得到求解方程(2.1)-(2.3)的高精度差分格式,該格式時(shí)間具有四階精度,空間具有六階精度.在算例1(具有精確解)計(jì)算中,為了體現(xiàn)格式更好的計(jì)算性能,對(duì)格式應(yīng)用外推算法,在算例2(爆破問(wèn)題)和算例3(quenching問(wèn)題)計(jì)算時(shí),由于選取的時(shí)間步長(zhǎng)充分小,因此不必要應(yīng)用外推算法,僅應(yīng)用式(2.21)進(jìn)行求解.

由上述分析和推導(dǎo)過(guò)程,可以建立求解算法描述如下:

3.穩(wěn)定性分析

下面采用von Neumann方法對(duì)線(xiàn)性化格式進(jìn)行穩(wěn)定性分析,為此假設(shè)虛擬邊界條件精確滿(mǎn)足,且右端項(xiàng)f無(wú)誤差存在.用=(xi,tn)表示計(jì)算所產(chǎn)生的誤差.將代入式(2.21)中,得到如下誤差等式:

由于A,B均為非負(fù)實(shí)數(shù),因此|G|≤1,從而得出本文格式是無(wú)條件穩(wěn)定的.

4.數(shù)值算例

算例1考慮如下具有精確解的問(wèn)題:

算例1是一個(gè)非線(xiàn)性問(wèn)題,方程源項(xiàng)是含有未知函數(shù)u(x,t)的非線(xiàn)性函數(shù).表1給出了當(dāng)T=1,τ=0.001時(shí)的‖eh‖∞范數(shù)誤差和空間收斂階.從表1可以看出,本文格式在空間上可以達(dá)到六階精度,而且比C-N格式和文[8]中格式的計(jì)算結(jié)果更加精確.表2給出了當(dāng)T=1,h=1/128時(shí)的‖eh‖∞范數(shù)誤差和時(shí)間收斂階.從表2中可以看出,本文格式在時(shí)間上具有四階精度,且比C-N格式和文[8]中格式的計(jì)算結(jié)果更加精確.

表1 當(dāng)T=1, τ=0.001時(shí),算例1的‖eh‖∞范數(shù)誤差和空間收斂階

表2 當(dāng)T=1, h=1/128時(shí),算例1的‖eh‖∞范數(shù)誤差和時(shí)間收斂階

算例2考慮如下解的爆破問(wèn)題:

從表3計(jì)算結(jié)果可以看出,當(dāng)α取不同值時(shí),古典隱格式(BTCS)爆破時(shí)間的收斂階均為二階.本文格式當(dāng)α=2時(shí),爆破時(shí)間的收斂階為二階,但當(dāng)α=5/2,3時(shí),本文格式比BTCS格式具有更高的收斂階.充分說(shuō)明了本文格式在爆破問(wèn)題的數(shù)值模擬中相較于低階格式的優(yōu)勢(shì).

表3 當(dāng)α=2,5/2,3時(shí),BTCS格式和本文格式的爆破時(shí)間及收斂階

圖1為本文格式當(dāng)空間網(wǎng)格劃分取N=64,α=1時(shí)對(duì)爆破現(xiàn)象的數(shù)值模擬圖,其中圖(a)為從t=0時(shí)刻一直到爆破發(fā)生時(shí)數(shù)值解u隨時(shí)間和空間的變化;圖(b)為當(dāng)爆破發(fā)生之時(shí),即當(dāng)T?=0.08357703時(shí),在整個(gè)空間區(qū)域上u的數(shù)值結(jié)果圖,圖中很好展現(xiàn)出了數(shù)值解的爆破現(xiàn)象.

圖1 當(dāng)N=64,α=1時(shí),(a)u 隨空間和時(shí)間的變化圖;(b)在發(fā)生爆破現(xiàn)象的時(shí)刻(T?)u的數(shù)值

算例3考慮如下的quenching問(wèn)題:

該問(wèn)題的顯著特征是,隨著時(shí)間的推移,u →1?而ut →+∞,此類(lèi)問(wèn)題被定義為quenching問(wèn)題[14].當(dāng)τ=5×10?5,h=l×10?2時(shí),采用本文格式計(jì)算得到的quenching時(shí)間Tl與文[15]中的quenching時(shí)間,及文[16]中的quenching時(shí)間的對(duì)比數(shù)據(jù)如表4所示.可以看出,分別取不同的計(jì)算區(qū)域l,本文格式的quenching時(shí)間Tl與,結(jié)果相近.

表4 當(dāng)τ=5×10?5, h=l×10?2時(shí),quenching 的發(fā)生時(shí)刻

當(dāng)τ=5×10?5,h=l×10?2,l=2時(shí),圖2給出了quenching發(fā)生時(shí)刻(=0.7789)的u和ut在x ∈[0,l]的值;圖3給出了在quenching現(xiàn)象發(fā)生之前u和ut的最大數(shù)值解隨時(shí)間的變化圖;圖4給出了u和ut在quenching發(fā)生之前,最后80個(gè)時(shí)間步的三維視圖.可以看出,u在x=1處無(wú)限接近于1,而ut在x=1處逐漸增大直至=0.7789時(shí)刻發(fā)生爆破.

圖2 u, ut 在quenching時(shí)刻(=0.7789)的值

圖3 的值隨時(shí)間t的變化圖

圖4 u, ut在quenching發(fā)生前80個(gè)時(shí)間步的三維視圖

5.結(jié)論

針對(duì)空間二階導(dǎo)數(shù),提出了一種五點(diǎn)六階差分公式.基于該差分公式建立了求解一維非線(xiàn)性反應(yīng)擴(kuò)散方程初邊值問(wèn)題的一種高精度有限差分格式,并采用Richardson外推方法將時(shí)間精度提高到四階.在每一時(shí)間層上形成的線(xiàn)性方程組采用五對(duì)角追趕法進(jìn)行求解,對(duì)非線(xiàn)性源項(xiàng)進(jìn)行迭代計(jì)算.最后,通過(guò)數(shù)值實(shí)驗(yàn)驗(yàn)證了本文格式在時(shí)間和空間上分別能達(dá)到四階和六階精度,計(jì)算結(jié)果相比于相關(guān)文獻(xiàn)中的結(jié)果更加精確.在針對(duì)爆破的數(shù)值模擬中,本文方法具有較高的爆破時(shí)間收斂階;而針對(duì)quenching問(wèn)題的模擬中,quenching時(shí)間與相關(guān)文獻(xiàn)中時(shí)間基本一致,因此也充分說(shuō)明了本文格式可以很好地模擬爆破和quenching現(xiàn)象.

本文方法可推廣到求解高維及更復(fù)雜的偏微分方程.我們正在進(jìn)行的研究工作和相應(yīng)的結(jié)果將在之后報(bào)道.