李益軍，陳光淦

四川師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，成都 610068

隨機(jī)偏微分方程應(yīng)用于物理學(xué)的眾多領(lǐng)域，近年來(lái)在各數(shù)學(xué)分支的發(fā)展推動(dòng)下，隨機(jī)偏微分方程也得到相應(yīng)發(fā)展和研究，如關(guān)于隨機(jī)Burgers方程[1]、隨機(jī)Swift-Hohenberg方程[2]等的研究．

在內(nèi)積為〈·，·〉，范數(shù)為‖·‖的Hilbert空間H中研究如下的非線性隨機(jī)偏微分方程

(1)

其中u=u(t，x，ω)，x∈有界區(qū)域D． 小擾動(dòng)項(xiàng)εLu表示與分支的距離． 算子A假定為自伴隨且非正的，噪聲由一般的Q-維納過(guò)程給出，詳見第一節(jié)．

本文在穩(wěn)態(tài)改變的附近，運(yùn)用時(shí)間尺度變換來(lái)導(dǎo)出方程的有效近似系統(tǒng)． 值得指出的是，擾動(dòng)強(qiáng)度與噪聲強(qiáng)度對(duì)系統(tǒng)的有效近似有著重要影響，使得有效近似系統(tǒng)的近似形式和收斂率有著重要差異[3-7]．

1 預(yù)備知識(shí)

用N：=kerA表示A的核空間，T：=N⊥表示N在H中的正交補(bǔ)空間．Pc為從H到N的投影，Ps為從H到T的投影． 假設(shè)Pc，Ps與A可交換，A-1dW存在，假設(shè)N為n維，其標(biāo)準(zhǔn)正交基為{g1，g2，…，gn}．

分?jǐn)?shù)階Sobolev空間Hα定義如下

定義算子Dα：Dαgk=kαgk，因此有‖u‖α=‖Dαu‖．

線性算子A生成解半群eAt滿足

引理1在假設(shè)1下，存在常數(shù)M>0，K>0，使得對(duì)所有的t>0，β≤α，u∈Hβ有

假設(shè)3B是一個(gè)從Hα×Hα到Hα-β的有界雙線性算子，其中α，β由假設(shè)2給出． 不失一般性，可假設(shè)B是對(duì)稱的，即B(u，v)=B(v，u)，且滿足PcB(u，u)=0，u∈N． 本文中，取B(u，v)=uv．

定義1定義隨機(jī)卷積

τ*：=T0∧inf{T>0|‖a(T)‖α>ε-k或‖ψ(T)‖α>ε-2k}

定義3對(duì)于一個(gè)實(shí)值的隨機(jī)過(guò)程族{Xε(t)}t≥0． 如果對(duì)每個(gè)p≥1都存在一個(gè)常數(shù)Cp滿足

則我們稱Xε=O(fε)．

最后指出，用字母C表示所有正常數(shù)，它依賴于T0，k，α，B，Q，L，A及其給出的數(shù)據(jù)． 同時(shí)規(guī)定如下簡(jiǎn)記符號(hào)：Bs：=PsB，Bc：=PcB． Lc，Ls，Ac，As，Wc，Ws同理．

2 主要結(jié)論

對(duì)于方程(1)，將其解u(t)分解為兩部分

(2)

其中a∈N，ψ∈T． 選取時(shí)間尺度變換為T=εt，將(2)式代入(1)式，并分別做Pc，Ps投射可得到

(3)

和

(4)

(5)

其中r(T)是ε的高階項(xiàng)． 忽略(5)式中的小項(xiàng)，可以得到

因此

令b(T)滿足方程

(6)

則方程(6)就是逼近隨機(jī)偏微分方程(1)的有效近似系統(tǒng)(也被稱為振幅方程[10])．

進(jìn)一步，由(3)和(5)式可得

(7)

其中

(8)

下面給出本文主要結(jié)論．

(9)

3 主要結(jié)論的證明

為證明本文主要定理1，需要依次估計(jì)方程(2)中的ψ(T)，方程(8)中的R(T)以及方程(6)中的b(T)．

3.1 ψ有界性的證明

引理2在假設(shè)1，2，3，4下，T>0，z(T)是如下方程的解

(10)

則對(duì)ε∈(0，1)，T≤τ*有

(11)

證方程(4)的溫和形式為

因此

下面依次估計(jì)I1，I2，I3．

由引理1，0≤β

令

η=ε-1K(T-τ)

則

(12)

類似的，對(duì)所有的T≤τ*

(13)

進(jìn)一步

(14)

結(jié)合(12)-(14)式，(11)式得證．

引理3[8]在假設(shè)1，4下，取方程(10)的初值z(mì)(0)滿足‖z(0)‖α=O(1)． 則對(duì)每一個(gè)k0>0，p>1和T>0，存在常數(shù)C>0使得

(15)

證這是一個(gè)標(biāo)準(zhǔn)的OU-過(guò)程有界估計(jì)，其證明過(guò)程可參考文獻(xiàn)[8]中引理20的證明，區(qū)別僅在于ε的指數(shù)不同．

引理4在假設(shè)1，2下，利用定義2中τ*的定義，對(duì)所有的ε∈(0，1)，

(16)

證利用引理1和假設(shè)2，與引理2中I1的證明類似，可得對(duì)T<τ*

引理5在假設(shè)1和假設(shè)3下，利用定義2中τ*的定義，對(duì)所有的ε∈(0，1)，

(17)

證利用引理1和假設(shè)2，與引理2 中I2的證明類似，可得對(duì)T<τ*

引理6在引理2、引理3、引理4、引理5成立的條件下，對(duì)p>1和所有的k0>0，存在常數(shù)C>0，使得

(18)

證根據(jù)(11)式，由三角不等式和引理2，有

再根據(jù)引理3、引理4、引理5，對(duì)于k0≤2k，引理6得證．

3.2 R(T)有界性的證明

引理7在假設(shè)1，2，3，4下，對(duì)所有的p>1，存在一個(gè)常數(shù)C使得

(19)

與引理2中I1，I2，I3估計(jì)類似，對(duì)(8) 式中定義的R(T)各項(xiàng)有

(20)

(21)

(22)

(23)

(24)

(25)

(26)

3.3 b(T)的先驗(yàn)估計(jì)

引理8在假設(shè)1，2，3，4下，設(shè)隨機(jī)過(guò)程b(T)滿足E‖b(0)‖≤C與方程

(27)

則對(duì)于T0>0，存在一個(gè)常數(shù)C使得

(28)

其中使用了〈dt，dt〉=〈dt，dW(t)〉=〈dW(t)，dt〉=0，〈dW(t)，dW(t)〉=dt．

在(28)式兩邊同時(shí)取期望有

由Gronwall不等式得

E|b(T)|2p≤C

即

對(duì)(28)式先取上確界，再取期望有

再使用B-D-G不等式和H?lder不等式得

(29)

證令

h(T)=a(T)-b(T)

則

(30)

對(duì)(30)式等式兩邊在[0，T]上積分后取上確界，再取期望得

(31)

故

3.4 定理1的證明

引理10設(shè)集合Ω*?Ω且在Ω*上成立

則有P(Ω*)≥1-Cεp．

證由Ω*定義有

利用Chebychev不等式及引理6、引理7、引理8，對(duì)充分大的q(q為p的共軛指數(shù))有

P(Ω*)≥1-Cεqk≥1-Cεp

定理1的證明

結(jié)合定義2與引理10可知

結(jié)合三角不等式與(2)式、(29)式，在Ω*上有

即

在Ω*上成立，定理1得證．