|
因此,Reff[ξ]=Y加入了分解(7.1),根据定理7.1,这意味着Reff[ξ]=Y是一个强ef超鞅。此外,根据定义,Reff[ξ]=Y大于或等于阻力ξ。借助上述命题,我们证明了过程Reff[ξ],即具有(不规则)障碍ξ的RBSDE解的第一个分量,在大于或等于ξ的最小强Ef超鞅项下具有特征。定理9.2(算子Reffand和Ef-Snell包络算子)设ξbea过程为满足假设5.1的Lipschitz驱动。第一个分量Y=反射BSDE的解的Reff[ξ],参数(ξ,f)与ξ的Ef-Snell包络线一致,即,最小的强Ef超鞅大于或等于ξ。证明:根据命题9.1的第三个断言,过程Y=Reff[ξ]是一个满足Y的强ef超鞅≥ ξ。它仍然显示最小属性。设Y′是一个强Ef超鞅,使得Y′≥ ξ。我们有Reff[Y′]≥ Reff[ξ],由于运算符Reff的非增量s(参见命题9.1,第一断言)。另一方面,Reff[Y′)=Y′(由于命题9.1,第二断言)和Reff[ξ]=Y。因此,Y′≥ Y,这是期望的结论。在右连续左受限障碍物ξ的情况下,上述特征已在【39】中建立;在[17,Prop.4.4]中,它被推广到右上半连续障碍物的情况。然而,让我们注意到,在[39]和[17]中给出的证明的论点不能适应我们的一般框架。10、在完全不规则的情况下,根据RBSDE对价值过程的微小描述。以下定理是30 M.GRIGOROVA等人定理9.2和定理8.2的直接结果。
|