(A.8)),那么,一方面,随机变量族{SE(1{pS>0}pS Q) ζn∧T、 n个∈ N} 一致可积,另一方面,SE(1{pS>0}pS Q) ζn∧这是一个一致可积鞅,对于每n∈ N、 这两个性质意味着以下两个等式e[SQT]=limn→∞E[SE(1{pS>0}pS Q) ζn∧T] =E[S],证明了非负(F,Q)局部鞅SQ是(F,Q)真鞅[0,T]。我们现在写,对于任何0≤ t型≤ T,SE【QT | Ft】=E【SQT | Ft】=SQT。当Q=1在{S=0}上时,我们依次得到E[QT | Ft]=E[QT | Ft]1{S>0}+E[QT | Ft]1{S=0}=QT{S>0}+1{S=0}=QT,imsart aop ver。2014年10月16日文件:不变性决赛。tex日期:2017年2月6日S.CR'EPEY和S.Song完成演示。我们现在给出了Q的真鞅性质的一个充分条件。定理3.5如果E[E(1{pS>0}pS D) θ∧T] <∞, 那么Q是[0,T]上的(F,Q)真鞅。假设STpositive,那么θ是一个不变性时间。进一步假设θ为正,则非负(G,Q)局部鞅E(1{pS>0}pS D) 1[0,θ)(引理3.5 2)是[0,T]上的(G,Q)真鞅,并且通过E(1{pS>0}pS)的概率测度S对fts的限制提供了一个不变性测度P D) 1[0,θ)作为SDQ.Proof的G密度过程。如果E[E(1{pS>0}pS D) θ∧T] <∞, 然后是非负(F,Q)局部鞅E(pSD) 1[0,θ)是{pS>0}上(D)类的(G,Q)鞅∩ [0,T]。Q在[0,T]上的(F,Q)真鞅性质是引理3.5(3)的结果。此外,如果假设STI的周期性,则(A.10)意味着T<和[0,T] {pS>0},因此q=E(pS Q) >0保持[0,T],引理2.2 5)。因此,引理3.2和定理3.2-3.3暗示θ是一个不变性时间。假设f进一步θ为正,即S=1,引理3.5 1)意味着密度过程的(f,Q)可选投影为sdqis Q。