|
下面,我们使用C来表示一个ge-ne-ric正常数,这可能因行而异。我们首先注意到存在一个常数C>0,使得E“ZT∧τN+1θGKW(t)d hYN+1,YN+1i(t)#≤ CXi=1E“ZT∧τN+1 | Ui(t,X(t-), H(t-))|Φ(t,X(t-), H(t-))dt#。(71)首先,利用H¨older不等式,它认为在[0,T∧ τN+1],| U(t,X(t-), H(t-))|Φ(t,X(t-), H(t-))≤VcdsN+1(t,X(t-), H(t-))σ(X(t-))Dxg(t,X(t-), H(t-))σ(X(t-))VcdsN+1(t,X(t-), H(t-))σ(X(t-))=Dxg(t,X(t-), H(t-))σ(X(t-)).另一方面,在表达式(70)和zN+1(1-zN+1)=0表示所有zN+1∈ {0,1},它遵循Φ(t,x,z)≥N+1Xj=1GcdsN+1,j(t,x,z)- zN+1[LN+1(zj)- LN+1(z)]xj(1- zj)≥GcdsN+1,N+1(t,x,z)xN+1(1- 锌+1)。然后应用命题(3.2),它认为在[0,T∧ τN+1],存在一个常数C>0,使得| U(t,X(t-), H(t-))|Φ(t,X(t-), H(t-))≤ CGcdsN+1,N+1(t,X(t-), H(t-))XN+1(t-)GcdsN+1,N+1(t,X(t-), H(t-))XN+1(t-)≤ CXN+1(t-).根据等式(69),再次注意到zN+1(1- zN+1)=0表示zN+1∈ {0,1},其结果是u(t,x,z)=N+1Xj=1g(t,x+wj,zj)- g(t,x,z)×GcdsN+1,j(t,x,z)- zN+1[LN+1(zj)- LN+1(z)]xj(1- zj)。利用Theorem4.2和Cauchy不等式,可以得出[0,T∧ τN+1]存在一个常数C>0,使得| U(t,x,z)|Φ(t,x,z)≤ CPN+1j=1{GcdsN+1,j(t,x,z)- zN+1[LN+1(zj)- LN+1(z)]}xj(1- zj)PN+1j=1GcdsN+1,j(t,x,z)- zN+1[LN+1(zj)- LN+1(z)]xj(1- zj)≤ CN+1Xj=1Xj.这就产生了| U(t,X(t-), H(t-))|Φ(t,X(t-), H(t-))≤ CN+1Xj=1Xj(t-).利用估计值(71),我们推导出常数C>0的存在性,使得e“ZT∧τN+1θGKW(t)d hYN+1,YN+1i(t)#≤ C+CE“ZTDxg(t,X(t),H(t))σ(X(t))dt#+CN+1Xj=1E“ZTXj(t)dt#. (72)我们接下来估计上述不等式(72)的r.h.s.上的第二项。它遵循等式。
|