|
我们有[2](t,x)-y[2](t,x)=ZtitTrG[2](r,x)[σσ](r,χ(r,x))-G[2](ti,x)[σσ](ti,χ(ti,x))因此,drand | y[2](t,x)- y[2](t,x)|≤ZtitTrn公司|G[2](r,x)-G[2](r,x)|+| G[2](r,x)- G[2](ti,x)|[σσ](r,χ(r,x))+G[2](ti,x)[σσ](r,χ(r,x))- [σσ](ti,χ(ti,x))odr公司≤ Ch3/2i(1+| x |)+Chi(1+hi | x |)和一些(i,n)-独立常数C。因此,我们得到,对于任何p≥ 2、Ehsupt∈Ii | y[2](t,Xti-(1)-y[2](t,Xti-1) | pi≤ Cph3p/2i(C.14),根据需要。根据(C.7),(C.8),(C.10),(C.12),(C.14)和y[2]=y[1],该权利要求得到了证明。现在我们介绍每个周期t的过程(bYi,[0]t,bZi,[0]t)∈ 二、它们由(C.3)中的(eYi,[0]t,eZi,[0]t)定义,定义C.1中的系数函数被定义C.2中的近似函数取代,即:。;bYi,[0]t:=y(t,Xti-1) +(X[1]t)y[1](t,Xti-(1)+(X【2】t)y[2](t,Xti-1) +(X[1]t)G[2](t,Xti-1) X[1]t+y[2](t,Xti-(1), (C.15)bZi,[0]t:=y[1](t,Xti-1) σ(t,χ(t,Xti-i) ()+(X【1】t)xσ(t,χ(t,Xti-1) )y[2](t,Xti-1) +(X[1]t)G[2](t,Xti-1) σ(t,χ(t,Xti)-1) (), (C.16)为了简单起见,我们使用了矩阵表示法。索引的细节可以从引理C.4中的thosegiven检查。引理C.6。存在一些(i,n)独立的正常数Cpsuch,不等式eYi,[0]-bYi,[0]p【ti】-1,ti]i+EheZi,[0]-bZi,[0]p【ti】-1,ti]i≤ Cph3p/2适用于每个间隔Ii、i∈ {1,···,n}对于任何p≥ 2.证明。它可以很容易地从引理C.2和C.5中显示出来。推论C.1。存在一些(i,n)独立的正常数Cpsuch thatEh | | Yi,[0]-bYi,[0]| | p[ti-1,ti]+Ztiti公司-1 | Zi,[0]r-bZi,[0]r | drp/2i≤ Cph3p/2适用于每个间隔Ii、i∈ {1,···,n}与任意p≥ 2.证明。
|