|
s、 小屋,^1iH- hh,ДiH=Zthus-, A.*^1iHds+Zthus-, ^1iHdXs。案例X≡ 0对应于PDE的弱解概念:(2.2)t>0,tgt=Agtg=h。也就是说,对于所有∈ dom(A*),(2.3)hgt,ДiH- hh,ДiH=Zthgs,A*^1iHds,其中假设存在右侧的积分。特别是,这会产生[0,∞) 3吨7→ hgt,ИiH∈ R是连续的。请注意,这与偏微分方程弱解的经典公式略有不同。备注2.3。通过分别考虑买卖双方,我们可以将(1.2)转化为(2.1)的形式,其中X是布朗运动,a由a给出:=η±β+αIdon H:=L(I),I:=(0,L)或I:=(-五十、 0),域(A):=H(I)∩ H(I),其中H(I)是在H(I)中具有紧致支撑的测试函数的闭包。用Zt=Et(X)表示X的随机指数。我们回顾了以下有用的引理(参见(Karatzas和Kardaras,2007,引理3.4)):引理2.4。Let(2.4)Yt:=-Xt+[X,X]ct+Xs≤t型(Xs)1+Xs,t≥ 0,那么,对于所有t,Et(X)Et(Y)=1几乎可以肯定≥ 此外,(2.5)[X,Y]=-[X,X]c-Xs型≤·(Xs)1+Xs。定理2.5。设Z:=E(X),h∈ H、 (2.1)的每个弱解的形式为:=Ztgt,t≥ 0其中g是(2.2)的弱解。备注2.6。特别是,SPDE(2.1)允许在定义2.1的意义上实现二维实现,因子过程(t,Et(X))和φ(t,y):=ygt。证据设置ut:=gtZt,t≥ 0,和∈ D(A*) 写入Bхt:=hgt,ДiH,Cхt:=BхtZt=hut,ДiH。自t 7起→ hgt,Иih是连续的,Z是标量,c\'adl\'ag,我们得到t 7→ 小屋,^1iHis c\'adl\'ag。请注意,BД是有限变差,Z是半鞅,因此CД也是半鞅。此外,根据It^o productrule,由于Bа是有限变化和连续的,(2.6)dCаt=BаtdZt+Zt-dBхt=Bхt-Zt公司-dXt+小屋-, A.*^1iHdt,即(2.1)。现在,让u是(2.1)的解,setY:=-X+[X,X]c+J,J:=Xs≤·(Xs)1+Xs和Zt:=Et(Y),t≥ 0
|