|
不难看出,为了证明引理2.13,可以证明对于所有η>0,lim supm→∞“supf∈Dη,w∈Dη支持∈[0,1]Zt[σ(^f(s))- hm(s,f)]˙w(s)ds#= 0,(2.9)我们有SUPF∈Dη,w∈Dη支持∈[0,1]Zt[σ(^f(s))-hm(s,f)]˙w(s)ds≤ supf公司∈Dη,w∈DηZσ(^f(s))- hm(s,f)|˙f(s)| ds≤√ηsupf∈Dηsups∈[0,1]σ(^f(s))- hm(s,f).(2.10)在【25】中Le mma 21的证明中确定,即SUPF∈Dηsups∈[0,1]σ(^f(s))- hm(s,f)→ 0(2.11)为m→ ∞ (之前的陈述源自【25】中的(49))。现在,很明显,(2.10)和(2.11)意味着(2.9)。这就完成了Lemma2.13的证明。仍需证明过程的顺序ε7→ ΦmεHW,εHB,εHbB状态空间C[0,1]是过程ε7的指数良好近似→bXε,0,H。前面的陈述意味着对于每个δ>0,limm→∞lim supε↓0ε2Hlog P||bXε,0,H-ΦmεHW,εHB,εHbB||C[0,1]>δ= -∞. (2.12)使用Bxε,0,HandΦm的定义,我们可以看到,为了证明(2.12)中的等式,有必要表明对于每一个τ>0,limm→∞lim supε↓0ε2Hlog PεHsupt∈[0,1]Ztσ(m)sdBs> δ!= -∞ (2.13)和LIMM→∞lim supε↓0ε2Hlog PεHsupt∈[0,1]Ztσ(m)sdWs> δ!= -∞, (2.14)式中σ(m)s=σεHbBs-σεHbB【mt】m, 0≤ s≤ 1,米≥ 1、(2.13)中的公式是在[25]公式(53)中建立的。公式(2.14)的证明相似。这就完成了(2.12)的证明。最后,通过考虑(2.12),引理2.13,并应用扩展收缩原理(orem 4.2.2 3 in【11】),我们证明了过程ε7→bXε,0,hs符合速度ε的大行程原则-2手动良好率函数Q(参见(2.6)中的定义)。对于任何T>0,过程ε7→bXε,0,hs符合速度ε的大偏差原则-2(2.6)中定义的手动良好率函数QT。
|