|
最后(XT,λ*T、 M级*T、 P*T) T型≥对于[0,1]上的SkorHod拓扑,0是C紧的。我们还表明序列(Z*T) T型≥0对于L([0,1])拓扑是紧的。为此,受[1]的启发,我们考虑由kfkwη,2([0,1])为任何可测函数f定义的Sobolev-Slobodeckij范数=Zf(s)ds+ZZ | f(t)- f(s)| | t- s | 1+2ηdsdt1/2.我们记得k·kWη,2([0,1])的闭球在L([0,1])中相对紧凑,见[19]。因此,足以表明E【kZ*TkWη,2([0,1])]T≥0统一边界,得出(Z)的紧密性*T) T型≥0英寸L([0,1])。对于任何t∈ [0,1],我们使用Ito公式[(Z*Tt)]=Ztk(t- s) E[λTT s]ds≤u1 - γ - 0的βkkkand≤ s≤ t型≤ 1Z*Tt- Z*Ts=Ztsk(t- u) dP*Tu+Zsk(t- u)- k(s)- u)数据处理*然后我们得到[(Z*Tt- Z*Ts)]=Ztsk(t- u) E[λTT u]du+Zsk(t- u)- k(s)- u)E[λTT u]du。使用E[λTu]≤u1-γ-βwe obtainE[(Z*Tt- Z*Ts)]≤u1 - γ - βZtsk(t- u) du+Zsk(t- u)- k(s)- u)杜邦.根据【1】我们有ZZZ∨ts∧tk(s)∨ t型- u) | t- s | 1+2ηdudsdt≤ηZ | k(t)| t-2ηdtandZZZs∨ts∧t | k(t- u)- k(s)- u) | | t- s | 1+2ηdudsdt≤ZZ | k(t)- k(s)| | t- s | 1+2ηdsdt,从假设3 ii)中确定。最后利用Fubini定理,我们推导出(E[kZ*TkWη,2([0,1])]T≥0是有界的。So(Z*T) T型≥0在L中是紧的([0,1])。在进行下一步之前,我们先证明下面的引理。引理1。marting ales XT序列- Λ*t在[0,1]上将s一致收敛到0的概率。证据自NTt以来-RtλTsds是真鞅,从Doob不等式中我们得到∈[0,1](XTt- ∧T*t) ]≤TE[NTT]。使用E【NTT】=T E【λ】*T] 我们推断[支持]∈[0,1](XTt- Λ*Tt)]≤Tu1- γ - β、 这就是证明。5.2.2极限点的动态我们现在考虑(X,X,M,P,Z)的极限点(XT,λ*T、 M级*T、 P*T、 Z*T) T型≥0
|