|
然后,我们定义了X与F asox(ω)的最优投影onox:=(oX+t(ω)-公牛-t(ω),ifoX+t(ω)∧公牛-t(ω)<+∞,+∞, 否则,布朗桥在随机区间18ox+(resp.oX-) 是正极部分X+的可选项目(分别是负极部分X-) 与F.备注7.1有关的X。设ξ为任意随机变量,G为F的子σ域。然后条件期望E[ξ+| G]和E[ξ-|G] 根据上述定义,我们同意定义条件期望E[ξ| G]byE[ξ| G]:=(E[ξ+| G]- E[ξ-|G] ,关于{E[ξ+|G]∧ E[ξ-|G] <+∞},+∞, 否则现在让X是一个任意的可测量过程,F a满足通常条件。我们要强调的是,在哈维之间的每一次停车时间XTI{T<+∞}|英尺=oXTI{T<+∞}, 特别是,对于所有t,E[Xt | Ft]=oXt,P-a.s≥ 0.接下来,我们将陈述过滤理论的一个著名结果的一个轻微扩展,该结果将在续集中使用。读者可以在[11,命题5.10.3.1]或[15,第六章,(8.4)]中找到参考文献。首先,我们将介绍以下定义。定义7.2。假设B是一个连续的过程,F是过滤,T是搅拌时间。如果B是一个平方变化过程为hB,Bi:hB,Bit=T的F-鞅,则B称为停在T处的F-布朗运动∧T,T≥ 0.命题7.2(创新引理)。设F=(Ft)t≥当过滤满足通常条件时,F停止时间和F布朗运动在T停止。设Z=(Zt,t)≥ 0)为F可选流程,以便(7.1)E^t|Zs|ds< +∞, T≥ 0.让进程X=(Xt,t≥ 0)由下式给出:=^tZsds+Bt,t≥ 0 .表示Z相对于FX=(FXt)t的可选投影≥0.然后进程b,bt:=Xt-^toZsds,t≥ 0是一个停在T的FX布朗运动。证据为了便于参考,附录B中提供了该结果的证明。
|