|
那么BSDE(4.9)具有BSVP inK当且仅当∈ [0,T],z∈ Rn×dand y∈ Rn因此dK(·)在y是两倍可微的,我们有4hy- πK(y),h(t,πK(y),z)i≤ hDdK(y)z,zi+mdk(y)(4.11),其中M>0是独立于(t,y,z)的常数。受Hu和Peng[10]结果的启发,我们将证明命题4.3可用于为二维BSDE建立组件式比较定理的方便版本。具体来说,我们证明了以下定理,其中我们表示Y=(Y,Y)*, Z=(Z,Z)*andh(t,y,z)=h(t,y,y,z,z),h(t,y,y,z,z)*.定理4.1考虑二维BSDEYt=η+ZTth(s,Ys,Zs)ds-ZTtZsdWs(4.12)由d维布朗运动W驱动,其中生成器h=(h,h)*满足假设4.2。以下陈述是等效的:(i)对于任何∈ [0,T]和η,η∈ L(Ohm, FU,P,R)使η≥ η、 唯一的解决方案(Y,Z)∈小伙子(Ohm, C([0,U],R))×Lad(Ohm ×(0,U),R2×d)to(4.12)on[0,U]satifies Yt≥ YTT∈ [0,U],(ii)以下不等式适用于所有y,y∈ R和z,z∈ 路,-4y-[h(t,y++y,y,z+z,z)- h(t,y++y,y,z+z,z)]≤ M|y-|+ 2 | z |{y<0},P- a、 s.(4.13)证明。让我们表示Y=(Y)- Y、 Y)*,eZ=(Z)- Z、 Z)*, eη=(η)- η, η)*andeh(t,y,z)=(eh(t,y,z),eh(t,y,z))*其中eh(t,y,z):=h(t,y+y,y,z+z,z)- h(t,y+y,y,z+z,z)和h(t,y,z):=h(t,y+y,y,z+z,z)。那么,声明(i)等同于以下条件:(iii)对于任何日期U∈ [0,T]和任意的eη=(eη,eη)使得eη≥ 0,在时间间隔[0,U]eYt=eη+ZUteh(s,eYs,eZs)ds内下列BSDE的唯一解(eY,eZ)-ZUteZsdWs(4.14)令人满意≥ 通过将命题4.3应用于BSDE(4.14)和凸x,闭集K=R+×R,我们可以看到(iii)反过来与(ii)等价,因为(4.11)与(4.13)在这方面是一致的。
|