|
因此,出现了以下具有挑战性的问题。我们如何构造和/或识别纯缺省(局部)鞅?从这个简短的讨论中可以清楚地看出,la Doob Meyer的补偿并没有从τ中产生martin gales。因此,我们在下面提出了另一个补偿过程,这导致了一类新的G-鞅。定理2.3。以下过程ss,NG:=D-如-1I]]0,τ]]oDo,F,(2.4)是具有可积变分的G-鞅。证据很明显,NGis是一个RCLL和G适应的过程,最大限度地满足需求E[Var(NG)∞], Ehsupt≥0 | NGt | i≤ E[D]∞] + EheG-1o,F(I[[0,τ]])I{eG>0}oD∞i=2P(τ<+∞) ≤ 2.因此,NGB具有可积变化。对于任何F-停止时间σ,我们导出[NGσ]=EhDσ-如-1I[[0,τ]]oDo,Fσi=E[Dσ]- EheG-1I{eG>0}o,F(I[[0,τ]])oDσI=E[Dσ]- EhI{eG>0}oDσi=0。(2.5)最后一个等式来自I{eG>0}oD≡ 在{τ<+∞}, 这直接来自[19,第四章,引理4.3]。因此,根据(2.5)和一个事实的组合,证明了对于任何G-停止时间σG,存在一个F-停止时间σF,例如σG∧ τ=σF∧ τ、 P-a.s.(2.6)关于这一事实,我们参考[15,第XX章第75段,主张(b)]和[3,主张b.2-(b)]。这就结束了定理的证明。一般来说,下列描述了Doob Meyer补偿生成纯违约(局部)鞅的情况。提议2.4。考虑到(2.3)和(2.4)中的定义。那么下面这些是等价的。(a) 这是一个纯缺省鞅。(b) n和n重合。(c) 两个过程esp,F(G)eG和G-G是无法区分的。证据这个证明分为两个步骤,我们处理(b)<==>(c) d(a)<==>(b) 分别。第一步:这里我们证明(b)<==>(c) 。评论说≡ NGi ffeg-1I]]0,τ]]Do,F=G-1.-一] [0,τ]]oDp,F,这个等式等于toeG-1I]]0,τ]]Do,F=G-1.-一] ]0,τ]]Dp,F。
|