一類Riemann-Liouville分數階時滯隨機發展方程的Ulam-Hyers穩定性

白玉潔,楊 和

(西北師范大學 數學與統計學院,蘭州 730070)

0 引 言

目前,關于隨機微分方程的Ulam-Hyers穩定性[1]研究已有許多結果[2-7],其中: 文獻[2]研究了具有有限時滯的隨機脈沖泛函微分方程解的存在性和Ulam-Hyers穩定性; 文獻[3]用M?nch不動點定理和非緊性測度理論研究了具有無限時滯的脈沖Riemann-Liouville分數階中立型泛函隨機微分方程解的存在性和Ulam-Hyers穩定性; 文獻[4]用算子生成預解族的方法給出了Riemann-Liouville分數階發展方程溫和解的恰當定義,并在Banach空間X中討論了分數階發展方程

但具有加權非線性函數的Riemann-Liouville分數階隨機時滯發展方程溫和解的存在唯一性和Ulam-Hyers穩定性研究目前尚未見文獻報道.本文考慮Hilbert空間H中具有有限時滯的Riemann-Liouville分數階隨機發展方程

(1)

1 預備知識

考慮兩個可分的Hilbert空間K和H,L(K,H)表示從K到H有界線性算子構成的空間,(·,·)表示K和H中的內積.用(Ω,F,{Ft}t≥0,P)表示具有流{Ft}t≥0的完全概率空間,{Ft}t≥0滿足常規條件,即它是右連續的,并且F0包含了所有概率測度為零的集合.{Wt}t≥0為定義于(Ω,F,P)上的Q-Wiener過程,其中Q為有界線性協方差算子且trQ<+∞.假設存在K中的一個標準正交系{en}n≥1和有界序列ln≥0,使得Qen=lnen(n=1,2,…).設{βn}n≥1是一個獨立布朗運動,且滿足

定義1[3,9]函數f: [0,+∞)→的q階Riemann-Liouville分數階積分定義為

其中Γ表示Gamma函數.

定義2[3,9]函數f: [0,+∞)→的q階Riemann-Liouville分數階導數定義為

其中n=[q]+1,[q]表示q的整數部分.

類似于文獻[8]和文獻[10],由分數階微積分和Laplace變換,半線性加權分數階隨機發展方程(1)的溫和解可被定義為:

定義3若函數x: [-r,b]→Lp(Ω,H),且其在J上的限制屬于C1-q(J,Lp(Ω,H)),則x(·)是系統(1)的溫和解當且僅當其滿足積分方程

(2)

其中

ξq(θ)表示定義在(0,∞)上的概率密度函數,滿足

引理1[8]對任意給定的t≥0和?x∈H,有

設ε>0.考慮下列不等式:

(3)

定義4(Ulam-Hyers穩定性)[3]若存在常數K>0,使得對任意的ε>0及不等式(3)的解y∈C1-q(J,Lp(Ω,H)),都存在系統(1)的一個解x∈C1-q(J,Lp(Ω,H)),滿足下列不等式:

則稱系統(1)是Ulam-Hyers穩定的.

其中Lσ>0是與p和a相關的常數.

引理3(Bellman不等式)[12]設K為非負常數,f(t)和g(t)為區間α≤t≤β上的非負連續函數,且滿足不等式

則有

2 主要結果

為證明系統(1)溫和解的存在唯一性及Ulam-Hyers穩定性,引入如下假設條件:

(H1) 函數f:J×C([-r,0],H)→H滿足:

(i) 對a.e.t∈J,函數f(t,·)連續; 對?v∈C([-r,0],H),函數f(·,v)可測;

(ii) 存在常數L1>0,使得對?t∈J,v1,v2∈C([-r,0],H),有

(i) 對a.e.t∈J,函數σ(t,·)連續; 對?v∈C([-r,0],H),函數σ(·,v)可測;

(ii) 存在常數L2>0,使得對?t∈J,v1,v2∈C([-r,0],H),有

定義算子F:C1-q(J,Lp(Ω,H))→C1-q(J,Lp(Ω,H))如下:

定理1若假設條件(H1)和(H2)成立,則當

(4)

時,系統(1)存在唯一的溫和解.

證明: 由定義3,系統(1)的溫和解等價于算子F的不動點.因此,對算子F應用Banach壓縮映射原理證明其存在唯一不動點.

對?x,y∈C1-q(J,Lp(Ω,H))及?t∈J′,利用H?lder不等式,有

由文獻[4]類似可得

因為當m∈[-r,0]時,

所以由假設條件(H1)可得

由引理2和假設條件(H2)可得

綜上可得

根據式(4)可知,F:C1-q(J,Lp(Ω,H))→C1-q(J,Lp(Ω,H))是壓縮映射.故由Banach壓縮映射原理知,算子F在C1-q(J,Lp(Ω,H))中存在唯一不動點x,即系統(1)存在唯一溫和解.證畢.

下面考慮系統(1)的Ulam-Hyers穩定性.

注1[13]函數y∈C1-q(J,Lp(Ω,H))為不等式(3)的解的充要條件是存在函數g∈C1-q(J,Lp(Ω,H))(與y無關)滿足:

1) ‖g(t)‖≤ε(0<ε<1),t∈J′;

定理2若定理1的假設條件都成立,則系統(1)是Ulam-Hyers穩定的.

證明: 設函數y∈C1-q(J,Lp(Ω,H))為不等式(3)的解.由定理1知系統(1)存在唯一溫和解x,則對?t∈J′,有

記

則有

由Blman不等式可得

因此,存在K∶=A1exp{A2b},使得

E‖t1-qy(t)-t1-qx(t)‖p≤Kε,t∈J′,

由定義4可知系統(1)是Ulam-Hyers穩定的.

3 應 用

例1考慮分數階時滯偏微分方程:

(5)

取H=L2([0,π],),設

x(t)(y)=x(t,y),

φ(θ)(y)=φ(θ,y).

由文獻[9],做H中的算子A為

即假設條件(H1)成立.同理假設條件(H2)也成立.則系統(5)有唯一解x,且是Ulam-Hyers穩定的.