|
关于{τ<+∞ }, 和镁τ-MG=I]]0,τ]]G-odMh-嗯-- (hoDo,F)-G-一] ]0,τ]]obm+hG- Mh+hoDo,FGI]]0,R[oNG+koD.(2.22)这里Mh和m分别在(2.17)和(2.2)中定义。证明。假设mge是G-鞅。那么,一方面,存在(唯一的,直到P D-a.e.)k(1)∈ L(Prog(F),P D) 使得{τ<+∞ }, 有关这一事实的详细信息,请参见[1,引理B.1]。由于提案2.21–(b),存在h∈ L(O(F),P D) 在{τ<+∞}. 另一方面,请注意Gt∩ (τ>t) Fτ和putk:=k(1)- h、 然后我们得出结论k∈ L(Prog(F),P D) 在{τ<+∞}. 这意味着E(kτGt)I{τ>t}=E(E(kτFτ)Gt)I{τ>t}=0,和mgt∧τ=EMGτ燃气轮机= Ek(1)τ| Gt= EkτGt+ EhτGt= kτI[[τ+∞[t)+EkτI{τ>t}燃气轮机+ EhτGt= koDt+Ehτ燃气轮机.因此,定理2.19直接应用于Ehτ燃气轮机, 分解(2.22)立即进行,定理证明完成。定理2.22可以按照s.定理2.23稍微重新表述。设MG为G-鞅,R在(2.16)中给出。然后,存在一个独特的三重态(MF,ν(o),ν(pr)),它属于M0,loc(F)×IolocNG,G×LlocEOhm, 进步(F),P D而satis fiesmf=(MF)R,MFI{eG=0}=0,~n(o)=~n(o)I[[0,R[],Eh~n(pr)τFτiI{τ<+∞}= 0,P-a.s.(2.23)和镁τ=MG+G-2.-一] [0,τ]]odMF+~n(o)oNG+~n(pr)oD.(2.24)证明。很明显,三胞胎的存在MF,а(o),а(pr), 对于分解(2.24)成立的情况,通过将MF:=G,紧跟定理2.22中的s-o嗯-嗯-- (hoDo,F)-om、 因此,只要我们证明满足(2.23)的前两个等式,就立即证明存在。为此,我们在I]]R中指出+∞[G=I]]R+∞[Do,F=0,由于[I]]R+∞[Do,F]∞] = P(R<τ<+∞) = 0.这意味着I]]R+∞一方面,m=0。
|