|
此外,通过(5.2)、(5.26)和Lebesgue的支配收敛定理,我们得到了m ap ping(t,y)→Pyi(t,y)代表每个人∈ {1,…,h}是连续的。因此,P(t,y)∈ C0,1[0,T]×Rhc,R.第三,我们证明了平方可积性(5.20)是真的。事实上,从条件(2.10)可以看出∈ {1,…,h})是一个σ-有限度量,因为νi([,∞ )) < ∞ 对于任何>0的情况。另外,很容易看出非负函数| P(t,Y(t-)+(齐伊)-P(t,Y(t)-))|是产品空间[0,T]×Rhc×上可测的Ohm. 因此,通过中值定理(5.25),(5.26),詹森不等式,以及P(t,y)在y中的可微性,我们得到了ZTZzi>0 | P(t,Y(t-) + (齐伊)- P(t,Y(t)-))|νi(dzi)dt(5.27)≤ KKe(6+2Bρλi)Z0<zi<1ziνi(dzi)+Zzi≥1.e(8+2Bρλi)zi- 1.νi(dzi)+Zzi≥1νi(dzi)< ∞,其中Kand Kare是一些正常数。此外,从(5.23)、(5.8)和(2.10)可以看出(5.19)是正确的。第四,我们证明P(t,y)满足IPDE(5.17)。事实上,对于每个t∈ [0,T),它是由Y thatg(T)的时间均匀性得出的- t、 y)≡ E0,yhe-RT-tρ(Y(s))dsi=Et,yhe-RTtρ(Y(s))dsi=P(t,Y)。(5.28)自P(t,y)∈ C0,1[0,T]×Rhc, 它遵循it^o的公式(例如,参见第6-9页的定理1.14和定理1.16)ksendal和Sulem[38])认为,对于每个固定的t,g(t- t、 Y0,y(l))(5.29)=g(t- t、 y)-hXi=1λiZlY0,yii(s-)G易(T)- t、 Y0,y(s)-))ds+hXi=1ZlZzi>0(g(T- t、 Y0,y(s)-) + (齐伊)- g(T)- t、 Y0,y(s)-)))Ni(λids,dzi)。进一步,设^g(t,zi,ω)≡ g(T)- t、 Y0,y(s)-, ω) +ziei)- g(T)- t、 Y0,y(s)-), ω) )给每个人∈ (0, ∞), 我∈ {1,…,h}和ω∈ Ohm. 那么,^g是{Ft}可预测的。因此,由于(5.20)(这里我们需要将任意但固定的y替换为y),从定理4.2.3 inApplebaum[1](或池田和渡边[28]第61-62页中的解释)可以看出(5.29)中的最后一项是半鞅。
|