劉家惠, 邵林馨, 黃健飛

(揚(yáng)州大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,江蘇 揚(yáng)州 225002)

0 引 言

分?jǐn)?shù)階微積分理論是數(shù)學(xué)的一個(gè)重要分支,是一門研究任意階導(dǎo)數(shù)和積分的學(xué)科．在初始階段的發(fā)展過程中,它被認(rèn)為是一個(gè)抽象的數(shù)學(xué)概念[1],幾乎沒有任何應(yīng)用的空間．但是,隨著研究的深入,現(xiàn)如今它被認(rèn)為是科學(xué)界進(jìn)行數(shù)學(xué)建模最重要的工具之一[2-5]．科學(xué)工程的各種重要現(xiàn)象都可以用它來很好地描述,包括部分推移物質(zhì)輸運(yùn)擴(kuò)散模型、地震動(dòng)力學(xué)、黏彈性系統(tǒng)、生物物理系統(tǒng)、混沌和波傳播等,并且已經(jīng)較廣泛地用于模擬控制理論研究、聚合物研究、信號和圖像處理系統(tǒng)、計(jì)算機(jī)網(wǎng)絡(luò)、數(shù)學(xué)生物學(xué)等領(lǐng)域[6-10]．

分?jǐn)?shù)階微積分理論應(yīng)用的日漸增加推動(dòng)了分?jǐn)?shù)階微分方程數(shù)值解法的發(fā)展和研究[11-13]．因?yàn)槠渲杏胁淮_定性因素的存在,所以大多數(shù)分?jǐn)?shù)階隨機(jī)微分方程的精確解很難求得,只能提供解的數(shù)值逼近,如文獻(xiàn)[14]中,Jing等研究了一類由分?jǐn)?shù)階噪聲驅(qū)動(dòng)的分?jǐn)?shù)階隨機(jī)偏微分方程的平均原理,發(fā)現(xiàn)在某種條件下,該分?jǐn)?shù)階隨機(jī)偏微分方程的解可以由平均隨機(jī)系統(tǒng)的解來近似表示;在文獻(xiàn)[15]中,Guo等施加了一些新的平均條件來處理Caputo分?jǐn)?shù)階隨機(jī)微分方程的平均原則,研究發(fā)現(xiàn):Caputo分?jǐn)?shù)階隨機(jī)微分系統(tǒng)的解可以被相應(yīng)的均值方程的解所逼近．由于Euler-Maruyama(EM)方法具有簡單的代數(shù)結(jié)構(gòu)、廉價(jià)的計(jì)算成本和在全局Lipschitz條件下可接受的收斂速度[16-17],因此它一直吸引著大量學(xué)者的注意力,如在文獻(xiàn)[18]中,錢思穎等用EM方法求解了一類帶有弱奇性核的多項(xiàng)分?jǐn)?shù)階非線性隨機(jī)微分方程．

變分?jǐn)?shù)階隨機(jī)微分方程的研究是分?jǐn)?shù)階隨機(jī)微分方程領(lǐng)域的新課題,因?yàn)樗哂凶兓碾A數(shù),可對黏彈性行為進(jìn)行長時(shí)間的建模[19]．本文將采用并擴(kuò)展文獻(xiàn)[20]中的理論分析方法來研究以下帶Caputo導(dǎo)數(shù)的變分?jǐn)?shù)階隨機(jī)微分方程的適定性問題及其EM方法:

(1)

本文的第1節(jié)將介紹文中用到的基本定理、基本引理和相關(guān)假設(shè);第2節(jié)將對該變分?jǐn)?shù)階隨機(jī)微分方程進(jìn)行轉(zhuǎn)化并探索解的存在性、唯一性和連續(xù)依賴性;第3節(jié)將推導(dǎo)出該變分?jǐn)?shù)階隨機(jī)微分方程的EM方法,并證明其強(qiáng)收斂性;第4節(jié)將進(jìn)行數(shù)值實(shí)驗(yàn)來驗(yàn)證理論分析結(jié)果;第5節(jié)將給出本文的總結(jié)．

1 預(yù) 備 知 識

1.1 基本知識

定義1 設(shè)f:[0,+∞)→,則稱

為α(t)階的分?jǐn)?shù)階Riemann-Liouville積分[21],其中α(t)>0,Γ(·)為Gamma函數(shù)．

定義2 設(shè)函數(shù)f∈C[0,+∞),0.5<β<1,則稱

為β階的分?jǐn)?shù)階Caputo導(dǎo)數(shù)[22-24]．

1.2 假設(shè)條件

假設(shè)1f(t,y)和g(t,y)在上滿足Lipschitz連續(xù),存在L>0對所有x,y∈,t∈[0,T]都有

|f(t,x)-f(t,y)|∨|g(t,x)-g(t,y)|≤L|x-y|．

假設(shè)2f(t,y)和g(t,y)在 [0,T]上滿足Lipschitz連續(xù),存在L>0使得對所有x∈,t,s∈[0,T]都有

|f(t,x)-f(s,x)|∨|g(t,x)-g(s,x) |≤L|t-s|．

假設(shè)3(線性增長條件) 存在常數(shù)L>0對所有的x∈,t∈[0,T],有

|f(t,x)|∨|g(t,x)|≤L(1+|x|)．

假設(shè)4α(t)在區(qū)間 [0,T]上連續(xù)可微,0.5<β<1,且存在0<α(t)<α*<β<1,對任意的0≤α(t)≤1,都有α*+α(t)>1．

2 變分?jǐn)?shù)階隨機(jī)微分方程解的適定性

2.1 方程的等價(jià)變形

對式(1)的兩邊同時(shí)作用Riemann-Liouville積分算子:

可以得到

(2)

其中

變換上面累次積分的次序,可以得到

令

(3)

則式(2)可寫成

(4)

2.2 解的適定性

本小節(jié)將采用文獻(xiàn)[25]中的技巧來證明方程(1)的解的適定性,即解的存在性、唯一性和連續(xù)依賴性．設(shè)G2([0,T])為所有可測過程X的空間,其中X是FT適應(yīng)的,FT={Ft}t∈[0,T],且滿足

顯然,(G2([0,T]),|·|G2)是一個(gè)Banach空間．引入算子Zγ,即

(5)

其中,等號右邊的第一個(gè)積分本質(zhì)上是一個(gè)雙重積分．為了利用算子Zγ來證明方程(1) 的解的適定性,首先將驗(yàn)證算子Zγ的合理性．

引理1 對于算子Zγ,若f(·,0)是L2可積的和g(·,0)是本性有界的．則當(dāng)t∈[0,T]時(shí),有下式成立:

E[|Zγu(t)|2]<∞,

即說明算子Zγ定義合理．

證明對式(5)兩邊的平方求期望,可得

(6)

首先對式(6)右側(cè)第2項(xiàng)進(jìn)行處理,先對k(t,s)進(jìn)行放縮．顯然,Γ(t)在(0,1]上遞減,所以Γ(α(τ))>Γ(1)=1,則有

A(t-s)β-α*,

(7)

其中

(8)

將式(7)代入式(6)右側(cè)的第2項(xiàng),并使用H?lder不等式[26],則有

下面處理式(6)右側(cè)的第4項(xiàng)．由于g(·,0)是本性有界的,即有|g(·,0)|∞=supt∈[0,∞)|g(s,0)|<∞．根據(jù)It等距定理[27]可得

綜上,對于式(6)有

E[|Zγu(t)|2]<∞．

從而引理1得證,即算子Zγ的定義是合理的．下面證明解的適定性．為了證明解的存在唯一性,先在空間G2([0,T])上定義范數(shù)|·|λ,即對所有可測過程X,

其中E2β-1(·)是Mittag-Leffler函數(shù)[28]．顯然,|·|G2和|·|λ是等價(jià)的,故(G2([0,T]),|·|λ)也是一個(gè)Banach空間．下面來證明算子Zγ在范數(shù)|·|λ下是G2([0,T])上的壓縮映射[29]．

(9)

其中

(10)

(11)

根據(jù)H?lder不等式,可得式(11)右側(cè)第1項(xiàng):

根據(jù)H?lder不等式和假設(shè)3(線性增長條件),可得式(11)右側(cè)第2項(xiàng):

綜上,式(11)可變?yōu)?/p>

根據(jù)文獻(xiàn)[25]的引理5,可得

從而,算子Zγ在(G2([0,T]),|·|λ)上是一個(gè)壓縮映射,利用Banach空間的不動(dòng)點(diǎn)定理,方程(1)存在唯一解．

下面證明方程(1)的解對初值的連續(xù)依賴性．

定理2 對于T>0,設(shè)γ,ξ是方程(1)不同的初值,則有

證明

根據(jù)|·|λ的定義以及E2β-1(λt2β-1)≥1得

由文獻(xiàn)[25]中的引理5,可得

從而,根據(jù)λ的范圍有

因此

3 EM方法及其強(qiáng)收斂性

3.1 EM方法的推導(dǎo)

在區(qū)間[0,T]上,定義均勻網(wǎng)格的步長h=T/N,在網(wǎng)格節(jié)點(diǎn)tn=nh處對式(4)等號右側(cè)的積分項(xiàng)進(jìn)行離散．

先對式(4)右邊第2項(xiàng)的積分采用左矩形法進(jìn)行離散:

(12)

接下來對第3項(xiàng)的積分項(xiàng)進(jìn)行離散:

(13)

下面對第4項(xiàng)的積分項(xiàng)進(jìn)行離散:

(14)

其中ΔWj=Wtj+1-Wtj～N(0,h)．將式(12)—(14)代入式(4),則當(dāng)1≤n≤N時(shí),有如下EM方法:

(15)

3.2 EM方法解的有界性

定理3 對于1≤n≤N,EM方法的解vn滿足如下估計(jì):

(16)

其中

M1=A1[1+Eβ-α*+1(A2Γ(β-α*+1))],

證明

(17)

使用Cauchy不等式和假設(shè)3(線性增長條件)處理式(17)右邊的第3項(xiàng),可以得到

(18)

下面處理式(17)右邊的第4項(xiàng),根據(jù)ΔWj的獨(dú)立性和假設(shè)3(線性增長條件)可得

(19)

最后,使用微分中值定理計(jì)算式(17)右邊第2項(xiàng)的估計(jì)值,可以得到

再根據(jù)式(7)與式(12)可以推出

(20)

將化簡后的式(18)—(20)代入式(17),可得

其中,A1,A2的值見式(16)．根據(jù)Gronwall不等式[30],定理3得證．

3.3 EM方法的連續(xù)形式

(21)

引理2 設(shè){vn}是EM方法的解,v是式(21)定義的時(shí)間連續(xù)隨機(jī)過程．那么,當(dāng)0≤n≤N時(shí),有v(tn)=vn．

證明顯然,v(0)=γ=v0．假設(shè)當(dāng)0≤m≤n-1≤N-1時(shí),v(tm)=vm．則

通過數(shù)學(xué)歸納法,引理2得證．

3.4 連續(xù)形式的收斂性

引理3 當(dāng)0≤n≤N-1時(shí),對任意t∈[tn,tn+1),式(21)中定義的隨機(jī)過程v都有以下性質(zhì):

其中

(22)

證明

通過H?lder不等式對第2項(xiàng)進(jìn)行放縮:

(23)

基于文獻(xiàn)[18]中引理2的估計(jì)式,即有

(24)

其中,C為一非負(fù)常數(shù)．然后,結(jié)合假設(shè)3(線性增長條件)對第3項(xiàng)進(jìn)行放縮:

(25)

根據(jù)假設(shè)3(線性增長條件)以及式(24)對第4項(xiàng)進(jìn)行放縮:

(26)

最后,根據(jù)式(3)對第1項(xiàng)進(jìn)行放縮:

6M1A2h2(β-α*+1)．

(27)

將式(23)、(25)—(27)代入式(21),可以得到

M2h2(β-α*+1)+M3hβ+1+M4h2β-1,

其中M2,M3和M4的值見式(22),故引理3得證．

3.5 強(qiáng)收斂性誤差估計(jì)

定理4 設(shè)u是式(4)的解,v是EM方法連續(xù)形式即式(21)的解,記

M5=A3E2β-1A4Γ(2β-1)T2β-1M2,M6=A3E2β-1A4Γ(2β-1)T2β-1M3,

M7=A3E2β-1A4Γ(2β-1)T2β-1M4,

其中

(28)

則有

(29)

同時(shí),關(guān)于EM方法的強(qiáng)收斂性誤差估計(jì)也成立,即

(30)

證明對任意t∈[0,T),設(shè)t∈[tn,tn+1),0≤n≤N-1．根據(jù)式(4)與式(21)可得

(31)

結(jié)合引理3的證明過程中對各項(xiàng)的放縮結(jié)果,對上式右側(cè)三項(xiàng)進(jìn)行處理,可得

故式(31)可整理為

其中A3和A4的值見式(28)．根據(jù)廣義的Gronwall不等式,定理4中的式(29)得證．若令式(29)中的t=tn,根據(jù)引理2的結(jié)論,則可知式(30)成立．

注1 根據(jù)定理4中的式(30),由于(β+1)/2 >β-0.5;β-α*+1 >β-0.5,所以EM方法(15)的強(qiáng)收斂階是β-0.5．

4 數(shù) 值 算 例

在本節(jié)中,我們將引入數(shù)值算例來驗(yàn)證EM方法(15)的強(qiáng)收斂階．首先,給出誤差的計(jì)算方法:

其中u(tn,ωj)是方程(1)的第j條樣本軌道在tn處的真實(shí)解,vn(ωj)是對應(yīng)的EM方法(15)得出的數(shù)值解,收斂階由κ=log2(eh/eh/2)計(jì)算獲得．在具體數(shù)值實(shí)驗(yàn)中,設(shè)時(shí)間區(qū)間[0,T]=[0,1],軌道總數(shù)M=1 000,以網(wǎng)格數(shù)N=512時(shí)的數(shù)值解近似表示精確解,規(guī)定變分?jǐn)?shù)階α(t)=α1t+α2．

例1 我們考慮令方程(1)中f(t,u)=g(t,u)=cos(u),初值γ=0.1．首先令Caputo分?jǐn)?shù)階導(dǎo)數(shù)的階β=0.9,此時(shí)的計(jì)算誤差和收斂階見表1．

表1 β=0.9時(shí),EM方法的誤差與收斂階Table 1 Errors and convergence orders of the EM method for β=0.9

從表1可以看出,隨著步長h的減小,其數(shù)值解的誤差也在不斷減小,且其EM方法的收斂階接近于β-0.5=0.4,這與定理4的結(jié)論相符．

然后,令Caputo分?jǐn)?shù)階導(dǎo)數(shù)的階β=0.8,計(jì)算誤差和收斂階見表2．

表2 β=0.8時(shí),EM方法的誤差與收斂階Table 2 Errors and convergence orders of the EM method for β=0.8

根據(jù)表2可以看出,隨著步長h的減小,其數(shù)值解的誤差也在逐漸減小,且其EM方法的收斂階接近于β-0.5=0.3,與定理4的結(jié)論相符,說明了定理4結(jié)論的正確性．

最后,令Caputo分?jǐn)?shù)階導(dǎo)數(shù)的階β=0.7,計(jì)算誤差和收斂階見表3．

表3 β=0.7時(shí),EM方法的誤差與收斂階Table 3 Errors and convergence orders of the EM method for β=0.7

由表3可以看出,EM方法的收斂階接近于β-0.5=0.2,再次驗(yàn)證了定理4結(jié)論的正確性．

5 總 結(jié)

本文首先討論了變分?jǐn)?shù)階隨機(jī)微分方程解的適定性,并構(gòu)造了其EM方法,然后證明了EM方法的強(qiáng)收斂性,并得到其收斂階為β-0.5．最后通過3組數(shù)值實(shí)驗(yàn)驗(yàn)證了該EM方法計(jì)算的有效性,并驗(yàn)證了其理論分析結(jié)果的正確性．值得一提的是,本文給出的EM方法及理論分析框架可以拓展到向量值的變分?jǐn)?shù)階隨機(jī)微分方程．