|
(4.14)利用命题2.3、方程(4.14)和(4.13)中λIt的完整性,f的导数的有界性∈ C∞(O) 按其上确界,即| | f | |=sup(p,x)∈O | f(p,x)|和(4.12)中给出的强度边界,我们有thatlimM→∞EZut | JMs-JMs | ds= 0.同样,我们有LIMM→∞EZut | DMs | ds= 定义作用于(4.9)中定义的函数Φ(ν)的运算符A,asAΦ(ν):=NXn=1ν(νMt(f))fn公司νMt(Lfn)νMt(I)- νMt(Lfn)+νMt(Lfn)+νMt(Lfn), (4.15)式中,L:=c?λtx、 然后我们得到以下结果:引理4.7(极限鞅问题)。对于任何Φ∈ S和0≤ t型≤ ... ≤ tm+1≤ ∞, 带m∈ N和ψj∈ L∞(S) 我们知道A是极限鞅问题的生成元,即limM→∞EΦ(νMtm+1)- Φ(νMtm)-Ztm+1mAΦ(νMu)dumYj=1ψj(νMtj)= 0.(4.16)4.2极限过程给定极限鞅问题(4.16),并假设极限点的存在唯一性,我们想要找到满足方程(4.16)的极限过程νt。设p=(p*, x) 。通过νt(A)定义以下度量值过程:=P(Xt(P)∈ A) ,(4.17),其中∈ B(R)和基本极限状态过程X(p)=(Xt(p))t≥0是由xt(p)=x+Zt给出的随时间变化系数的差值a(Q(s)- Xs(p))+c'λsds+σZtdWs,t≥ 0,(4.18),其中“λ”定义在(4.11)中,Q(t)=x+cZt“λsds。(4.19)请注意,Q(t)满足积分方程Q(t)=e-在x+Z区域aQ(s)+c'λsds公司.利用(4.17)中ν的定义,我们得到了νt(I)=ZOxνt(dx)=E[Xt(p)],其中基本状态过程Xt(p)由(4.18)给出。请注意,e[Xt(p)]=e-在x+Zteas(aQ(s)+c'λs)ds,由此得出q(t)=νt(I),(4.20),其中I(x)=x。我们现在证明,Δν确实满足引理4.7中的鞅问题:定理4.8(极限过程)。经验测度值过程νMadmits弱收敛νM→ ν、 作为M→ ∞, 其中,ν的定义如(4.17)所示。此外,νM(I)→ Q、 证明。
|