|
表示l={X:X FT- 可测随机变量E(|X |)<∞} ,H={X:X=(Xt)0≤T≤t连续可预测过程,EZT|Xt|dt<∞},S={X:X=(Xt)0≤T≤t连续可预测过程,E(sup0≤T≤T|Xt|)∞} ,I={K:K=(Kt)0≤T≤t非递减连续过程,K=0,KT∈ 五十} 。如El K aroui等人[9]所述,考虑满足以下条件的三组s标准参数(ξ,f,L)。2 RBSDE与最优s-topping问题11(i)ξ∈ L(二)f:Ohm ×[0,T]×R×R-→ R表示f(·,·,y,z)是可预测的,EhRTf(·,t,0,0)dti<∞, 对于固定的(ω,t),它在(y,z)中是全局Lipschitz连续的∈ Ohm ×[0,T];(iii)L∈ Sξ被称为终端变量、f驱动器和L势垒过程。我们总是认为≤ ξ. 三胞胎(Y,Z,K)∈ S×H×I是与(ξ,f,L)相关的反射后向随机微分方程(RBSDE)的解,如果它分别满足以下方程:。任何t的不平等性∈ [0,T]Yt=ξ+ZTtf(s,Ys,Zs)ds+KT- Kt-ZTtZsdBs,Yt≥ Lt,ZT(Yt)- Lt)dKt=0。(11) K控制Y保持在障碍物L上方。条件RT(Yt- Lt)dKt=0,这被称为Korokhod条件,它保证过程K以最小的方式起作用。如果标准三重态满足(i)-(iii),则存在(11)的唯一解(见El Karoui等人[9])。如果屏障L只是可选的且右上半连续的,则存在RBSDE的唯一解决方案,见Grigorova等人[15]。在这种情况下,组件Y是cadlag。备注4.1。如果f不依赖于y和z,条件(ii)可以简化为(ii*)f:Ohm ×[0,T]-→ R是一个可预测的过程s.t.EhRTftdti<∞.4.2 RBSDE和最优停止问题斯内尔包络线在最优停止问题的值函数和相应RBSDE的解之间提供了良好的联系(例如参见[9]中的El Karoui等人)。
|