何 兴, 陈光淦
(1. 四川大学 锦江学院, 四川 彭山 620860; 2. 四川师范大学 数学与软件科学学院, 四川 成都 610066)
分数阶微分方程包括分数阶微分和分数阶积分,不但有深渊的物理背景,而且其应用也相当广泛,如混沌动力学[1]、复动力系统[2]等.近十多年来,分数阶微分方程在流体力学、材料力学等领域得到深入研究,包括分数阶p-Laplace方程[3]、分数阶Schrödinger方程[4]、分数阶Landau-Lifshitz方程[5]、分数阶Landau-Lifshitz-Maxwell方程[6],以及分数阶Ginzburg-Landau方程[7]等.
本文在有界区间上考虑带乘性噪声的非局部Ginzburg-Landau方程
(1)
其中,t∈[0,T],D=(-1,1),Dc=RD,i为虚数单位,μ、ν、r>0,σ>0为实常数,W(t)是维纳过程.非局部Laplace算子(-Δ)α定义为
(2)
其中,x∈D,Cα是与α有关的常数.
文献[8]中定义在整个实数空间R上的分数阶Laplace算子(-Δ)α,它是一个微分算子,可以通过傅立叶级数来定义,由此定义出经典的分数阶Sobolev空间.而本文中出现的分数阶Laplace算子(-Δ)α是定义在一个有界区间D上.由于是一个非局部Laplace算子,经典的分数阶Sobolev空间不适用,因此需要定义一个加权非局部Sobolev空间.更多关于在有界区间上的非局部Laplace算子的信息,详见文献[9-10].
定义1.1[11]设α∈(0,1),D⊂R,定义分数阶Sobolev空间
L2(D×D)},
其范数为
其中
被称为u的半范数.
引理1.1[11]令α∈(0,1),D是R上的有界区间,则存在常数C=C(α,D),使得对任意的u∈L2(D)有
‖u‖C0,β(D)≤C‖u‖Wα,2(D),
本文考虑D=(-1,1)⊂R,由文献[11]有
再根据文献[12],设ν(x,y),β(x,y):R×R→Rk,其中β满足β(x,y)=-β(y,x),且
显然D(ν):R→R.给定映射u(x):R→R,D*表示D的伴随算子,则
D*(u)(x,y)=(u(x)-u(y))β(x,y),x,y∈R,
显然
D*(u):R×R→Rk.
用Θ(x,y)=Θ(y,x)表示二阶张量,且满足Θ=ΘT,那么有
β(x,y)·(Θ(x,y)·β(x,y))dy,
其中x∈R,D(Θ·D*u):R→R.当Θ为单位矩阵时,同时β满足
则
其中
从而有
D(Θ·D*u)(x).
(4)
由(4)式表明经典的分数阶Sobolev空间Wα,2(D)在这不适用,因不能保证
定义
Hα(R)={u∈L2(R):
则
其范数为
引理1.2[13]设B0、B、B1均为Banach空间,且B0和B1是自反的,B0⊂B⊂B1,同时B0紧嵌入到B,γ∈(0,1),X=L2(0,T;B0)∩Wγ,2(0,T;B1),则X紧嵌入到L2(0,T;B).
下设
则有
再设W(t)是一个完备概率空间(Ω,F,P)上的维纳过程,且在可分的Hilbert空间U上取值.算子Q是定义在U上的非负对称算子,满足TrQ<+∞,则在U上存在一个完备的标准正交基{ei}i≥1和非负的有界实值序列λi,使得Qei=λiei且
于是
其中βi(t)是相互独立的维纳过程.记L2(U,H)是从U到H的全体有界线性算子组成的空间,则对任意的G∈L2(U,H)有
进一步假设(A):g:H→L2(U,H)是连续的,且满足
其中,u、v∈H,参数C、λ为正实数.
显然Pn|H是H到Hn的正交投影,且对∀u∈Vα,υ∈Hn可得
由于在有限维空间上的随机微分方程满足Lipschitz和线性增长条件,则方程(5)存在唯一解
第二步,先验估计.令
取期望得
再由Gronwall不等式得
(6)
(7)
再令
再由Burkholder-Davis-Gundy不等式和Young不等式可得
最后由Gronwall不等式得
(8)
I1+I2(t)+I3(t)+I4(t)+I5(t).
(9)
由(6)式可得
同理可证
(10)
因为
于是取φ∈Vδ,则
|〈un,(-Δ)αφ〉H|≤
‖un‖H‖(-Δ)αφ‖H.
(-Δ)αφ(x)=
于是有
同理可证
(11)
因为
由G-N不等式以及Young不等式可得
同理可证
(12)
因为
同理可证
下面利用文献[14-15]的方法证明鞅解.记
则
显然Mn(t)是一个鞅,且E‖Mn(t)‖2<+∞.再令φ是空间L2(0,T;H)里的一个连续有界复值函数且0≤s≤t≤T.因为Mn(t)是滤子为σ{un(s):0≤s≤t}的鞅,则
E([Mn(t)-Mn(s)]φ(un(·)))=0,
(13)
以及对所有的a、b∈H有
E([〈Mn(t),a〉〈Mn(t),b〉-
〈Mn(s),a〉〈Mn(s),b〉-
φ(un(·)))=0.
(14)
再记
因为
则
所以有
(15)
(16)
对应的二阶变差为
对(15)和(16)式取极限可以得到
(17)
以及
(18)
其中
令(-Δ)α=A,则
对应的二阶变差为
最后由鞅表示定理可得方程(1)存在一个鞅解.
[1] ZASLAVSKY G M. Chaos, fractional kinetics, and anomalous transport[J]. Physics Reports,2002,371(6):461-580.
[2] NIGMATULLIN R R. The realization of the generalized transfer equation in a medium with fractal geometry[J]. Physica Status Solidi,1986,133(1):425-430.
[3] 汤小松,罗节英. 一类分数阶p-Laplace方程积分三点边值问题正解的存在性[J]. 四川师范大学学报(自然科学版),2014,37(6):867-874.
[4] GUO B L, HUO Z. Global well-posedness for the fractional nonlinear Schrödinger equation[J]. Communication in Partial Differential Equations,2010,36(2):247-255.
[5] GUO B L, ZENG M. Solution for the fractional Landau-Lifshitz equation[J]. J Math Anal Appl,2010,361(1):131-138.
[6] PU X K, GUO B L. Global weak solution of the fractional Landau-Lifshitz-Maxwell equation[J]. J Math Anal Appl,2010,372(1):86-98.
[7] VASILY E T, GEORGE M Z. Fractional Ginzburg-Landau equation for fractal media[J]. Physica,2005,A354(1):249-261.
[8] LU H, LÜ S J. Random attracor for fractional Ginzburg-Landau equantion with multiplicative noise[J]. Taiwanese J Mathematics,2014,18(2):435-450.
[9] DU Q, GUNZBURGER M, LEHOUCQ R B, et al. Analysis and approximation of nonlocal diffusion problems with volume constraints[J]. SIAM Rev,2012,54(4):667-696.
[10] CHEN Z Q, MEERSCHAERT M M, NANE E. Space-time fractional diffusion on bounded domains[J]. J Math Anal Appl,2012,393(2):479-488.
[11] NEZZA E D, PALATUCCI G, VALDINOCI E. Hitchhiker’s guide to the fractional Sobolev spaces[J]. Bull Sci Math,2011,136(5):521-573.
[12] DU Q, GUNZBURGER M, LEHOUCQ R B, et al. A nonlocal vector calculus, nonlocal volume-constrained problems, and nonlocal balance laws[J]. Mathematical Models & Methods in Applied Sciences,2013,23(3):493-540.
[13] FLANDOLI F, GATAREK D. Maitingale and stationary solutions for stochastic Navier-Stokes equations[J]. Probability Theory & Related Fields,1995,102(3):367-391.
[14] DA PRATO G, ZABCZYK J. Stochastic Equations in Infinite Dimensions[M]. Cambridge:Cambridge University Press,1992.
[15] BRZEZNIAK Z, MOTYL E. Existence of a martingale solution of the stochastic Navier-Stokes equations in unbounded 2Dand 3Ddomains[J]. J Differential Equations,2013,254(4):1627-1685.