我们有吉隆坡*-1.≤ 监督∈[0,T]x*t<KL*.然后,考虑U1,x中的一系列轨迹{x(n)}*TU3,x*礼服*礼服* 收敛到x*在Skorohod的拓扑结构中。我们将在定义10中首先证明iii)。As{x(n)}→ 十、*在Skorohod的拓扑结构中,很容易检查是否存在stsN∈ N、 取决于x*这样我就可以∈[0,T]x(n)T<KL*.因为轨道{x(l)}属于U1,x*, 由[2]中的引理2可知,如果l>N,则N(x(l))(T)=N*(T),这意味着对于l largeenough,轨迹x(l)的跳跃次数与x完全相同*, 此外,x(l)的跳跃次数接近x的跳跃次数*. 此外,as轨迹{x(l)}同时属于Ux* 还有Ux* , 可以证明,如果l>N,那么∈ [n(T)Yi]:11+ax(l)i≥N*(t) Yi=11+a*我. (23)鉴于{x(l)}属于U3,x*, 我们还有:eσz(x(l))(t)>eσz*(t) (24)对于≤ T≤ T结合表达式(23)和(24),我们可以看到,如果l>Nholds,那么:x(l)(t)=xeσz(x(l))(t)n(x(l))(t)Yi=11+ax(l)i> xeσz*(t) n*(t) Yi=11+a*我= 十、*(t) ,(25)对于所有t∈ [,T]。因此e,对于l大的enoughKL*> 监督∈[0,T]x(l)T≥ 监督∈[0,T]x*t、 这意味着M(x(l))=l*因为我足够大→∞M(x(l))=l*= x(M)*)因此iii)在定义10中已被证明。30 A.阿尔瓦雷斯和S.E.费兰多现在让我们在定义10中证明我)。Fr om(25)我们知道,对于l largeenough,它能容纳x(l)(t)>x*(t) 尽管如此,t∈ [,T],T前τi(x(l))≤ τi(x)*), 因为i=1,2,x(M)*) -1.对于i=M(x*), 我们有τi(x)*) = T=τi(x(l))。现在固定′>0,对于任何t,使得τi(x*) - ′<t<τi(x)*), τ的定义是thatx*(s) <ki0≤ s≤ t、 然后,x(l)到x的收敛性*在斯科罗霍德的计量学中,意味着对于l大的enoug h,x(l)(s)<Ki对于所有0≤ s≤ λl(t),意味着对于足够大的lλl(t)<τi(x(l))。