然后存在一个常数C>0,使得zeep[d(m,k)1,ε,L(t,x)]| g(t,x)| p(t,x*, dx)5 CL-(1-δ) [0,Tk-ε) (t),(18)(ZEmEP[d(m,k)2,ε,L(t,x)]p(t,x*, dx)1/25CL-(1-δ) /2(塔卡- t)-(1+δ)(~N+1)`/4[0,Tk-ε) (t),(19)和zemd(m,k)3,ε,L(t,x)| g(t,x)| p(t,x*, dx)5 C(Tk- t) 1[塔克-ε、 Tk)(t)。(20) 对于任何ε∈ (0,ε),t∈ (0,Tk),L=1,m=1,…,m,k=1,…,k。证明。等式(20)来自引理9。所以我们将显示(18)和(19)。注意,ift=Tk-ε、 两侧为0 in(18)和(19)。因此,我们将考虑t<Tk的情况-ε. 通过命题13,我们得到了zeep[d(m,k)1,ε,L(t,πm(x))]g(t,x)| p(t,x*, dx)=ZEEP[|(Q(m)t,Tk,ε(1- ^1m,k,L)Fm,k)(x)- (P(m)Tk-t(1- νm,k,L)Fm,k)(πm(x))|]| g(t,x)| p(t,x)*, dx)ZE(EP[(Q(m)t,Tk,ε|(1- νm,k,L)Fm,k |)(πm(x))]+(P(m)Tk-t |(1- νm,k,L)Fm,k |)(πm(x)))| g(t,x)| p(t,x)*, dx)ZE(P(m)Tk-t(1- Иm,k,L)| Fm,k |)(πm(x))g(t,x)p(t,x*, dx)。对p=δ,q=1使用H¨older不等式-δ、 ZE(P(m)Tk-t(1- Дm,k,L)| Fm,k |)(πm(x))| g(t,x)| p(t,x*, dx)5{ZE(P(m)Tk-t(1- Дm,k,L)| Fm,k |)(πm(x))1/(1-δ) p(t,x*, dx)}1-δ×{ZE | g(t,x)| 1/δp(t,x*, dx)}δ5{ZEm(1)- ^1m,k,L(ym))1/(1-δ) | Fm,k(~ym)| 1/(1)-δ) p(m)(Tk,πm(x*), ~ym)d ~ym}1-δ×{ZE | g(t,x)| 1/δp(t,x*, dx)}δ5 L-(1-δ) {ZEm | Fm,k(πm(y))| 1/(1)-δ) p(m)(Tk,πm(x*), ym)δd▄ym}1-δ×{ZE | g(t,x)| 1/δp(t,x*, dx)}δ。我们使用了(1- ^1m,k,L(ym))1/(1-δ) p(m)(Tk,πm(x*), ym)(1-δ) 5升-(1-δ) 在最后一个不等式中。我们有等式(18)。接下来我们将展示等式(19)。注意到从B(m,k)(Tk-ε、 δ,L) B(m,k)(t,δ,L),t∈[0,Tk- ε) ,k=1,K、 L=1,d(m,K)2,ε,L(t,x)5 1B(m,K)(t,δ,L)|(Q(m)t,Tk,ενm,K,LFm,K)(πm(x))- (P(m)Tk-tхm,k,LFm,k)(πm(x))|。自位置15起,1B(m,k)(t,δ,L)q(m,L,ω)t,Tk(¢ym)-15 2p(m)(Tk,πm(x*), ym)-1.