|
然后,我们将通过Ss,i=(Zs,iZs,1on{Zs,1>0}1等定义所有指数i=1,…,d。注意Ss,1处的th≡ 1对于所有时间s和St=e+m⊥∈ L∞t(Rd+)。进一步,定义Q∈ M bydQdP=ZT,1Zt,1=ZT,1(因为ZT=e+M⊥). 请注意{Zs,1=0} {ZT,1=0}根据KtandAssumption 3.3的性质,我们得到{ZT,1=0}={ZT,i=0}(作为ZT∈ K+t)对于指数i的任何选择,在我们可以看到q[ST,i | Fs]=E之前{E[dQdP | Fs]>0}dQdPEhdQdPFsiST,i+1{E[dQdP | Fs]=0}ST,iFs公司= E{Zs,1>0}ZT,1Zs,1{ZT,1>0}ZT,iZT,1+1{ZT,1=0}+1{Zs,1=0}{ZT,1>0}ZT,iZT,1+1{ZT,1=0}Fs公司= E{Zs,1>0}{ZT,1>0}ZT,iZs,1+1{Zs,1>0}{ZT,1=0}ZT,1Zs,1+1{Zs,1=0}{ZT,1>0}ZT,iZT,1+1{Zs,1=0}{ZT,1=0}Fs#=1{Zs,1>0}Zs,1Eh{ZT,1>0}ZT,iFsi+1{Zs,1=0}=1{Zs,1>0}Zs,1Eh{ZT,i>0}ZT,iFsi+1{Zs,1=0}=1{Zs,1>0}Zs,1E[ZT,i | Fs]+1{Zs,1=0}=1{Zs,1>0}Zs,iZs,1+1{Zs,1=0}=Ss,如果有∈ {t,…,t}和任何i=1。。。,d、 最后,ξt,s(Q)Ss=Zs,1{Zs,1>0}ZsZs,1+1{Zs,1=0}= 1{Zs,1>0}Zs=1{ξt,s(R)>0}wst(R,e+m⊥) ∈ K+t。仍然需要证明ST∈ L∞(Rd+)(s<T的情况很简单):定义keikKT,0e≥KTei公司≥千吨级-keikKT,0对于任何指数i,根据Kt的定义,我们知道keikKT,0<∞. 这意味着dqdpkeikkt,0≥dQdPST,i≥ -dQdPkeikKT,0(注意K+t K+T=Z∈ 左(右)| ZTK≥ 每年0个。K∈ L∞(千吨)), 通过在集合{dQdP>0}上除数bydqdpon,可恢复ST,i∈ L∞(Ohm, Fs,Q;R) 使用kST、ikQ∞≤ keikKT,0(即∞-测度Q下的ST,i的范数有界)。最后,通过constructionST,{dQdP=0}上的i=1,因此kST,ik∞≤ max{keikKT,0,1}。因为S是Q-martin gale,所以绑定kSs,ik∞≤ max{keikKT,0,1}也成立。显示相反的,即第二个属性let(Q,S)∈ Qt。定义m⊥=St公司- e∈ {0}×Lt(Rd-1). 和definedridp=(dQdPST,iSt,ion{St,i>0}1其他。
|