|
此外,我们使用∧NLf≤ ∧NLf(1+εgm)=最后一步中的C。因此,我们得到以下误差界(3.5)εtu≤ (εint+β)~Cn+1-u型=εint(, N、 D,B)+εtr+εgmVCn+1-u、 式中,C=max{2,C}和v=maxjVj,表示s(3.6)。此外,使用误差界的定义(3.2)和N=Ni,i=1,D我们得出结论,εint(, N、 D、B)≤ c-对于常数c>0。对于切比雪夫插值的Lebesgue常数,存在一个常数c>0,使得∧N≤DYi=1πlog(N+1)+1≤DYi=1π+ 1日志(N)≤ 堵塞(N)D.Under(GM*), δ(M)≤ c类/√M、 当εtr=0,Lf=1εtu时,c>0产量≤εint(, N、 D,B)+εtr+εgmV∧NLf(1+εgm)n+1-u≤c-N+cV M-0.5堵塞(N)D(1+cM-0.5)n≤ c-Nlog(N)D N+~clog(N)D nM-0.5,对于N,这个收敛到零→ ∞ 如果√M>log(N)D N。如果(GM)保持不变,我们有εGM=δ和M项-0.5替换为δ。以下命题提供了值函数对某些广义Bernstein椭圆和假设3.2hold进行分析扩展的条件。提案3.5。考虑(2.4)和(2.5)中定义的具有等距时间步进且g(t,x)=g(x)的DPP。设X=(Xt)0≤t型≤t是一个具有静态增量的马尔可夫过程。假设ehη,·ig(·)∈ 对于某些η,L(RD)∈ Rd和g是广义Bernstein椭圆B(X,g) 。此外,假设f:R×R→ R对C有一个解析扩展。如果(i)特征函数φxof X对于everyx,twith X=X在L(RD)中∈ 十、 (ii)对于每个z∈ RDX映射7→ ^1x(z- iη)对B(X,^1)且存在常数α∈ (1,2)和c,c>0,使SUPX∈B(X,Д)|Дx(z)|≤ 总工程师-所有z的c | z |α∈ RD,然后是值函数x 7→ DPP的Vtu(x)具有对B(x)的分析扩展,)具有 = g、 证明。在T处,值函数x 7→ VT(x)是解析的,因为VT(x)=g(x),GHA是假设的解析扩展。此外,ehη,·ig(·)∈ 对于某些η,L(RD)∈ RD。
|