|
由(32)可知,存在c=c(t,y)∈ (0,1),它是(t,y)的连续函数∈ R+×R,这样c(t,y)十、-1.-η∧ 十、-1/η≤ u(t,y,log(x))≤c(t,y)十、-1.-η∨ 十、-1/η, x>0这会产生V(t,y,x)≤ C-1/(1+η)(t,y)x-1/(1+η)+c-x(y)η-η, (t,y,x)∈ R+×R×(0,∞) (38)使用(32)也很容易看出存在c>0,仅取决于a、b、σ和η,因此η≤ -u(t,y,z)uz(t,y,z)≤1+η和uy(t,y,z)u(t,y,z)≤ c(1+| y |)保持所有(t,y,z)∈ R+×R,由此得出(1+η)x≤ -~V(t,y,x)~Vx(t,y,x)≤ηx,和~Vy(t,y,x)~Vx(t,y,x)≤ c(1+| y |)x(39)同样地,我们推断uzz(t,y,z)uz(t,y,z)≤η和uyy(t,y,z)u(t,y,z)≤ C1+y,其中c>0仅取决于a、b、σ和η。接下来,我们回顾一下(33)-z~Vyy(t,y,u(t,y,z))=-乌尤兹- uzuz+2uyuzuz-uyyuz,去获取~Vyy(t,y,x)≤ c(1+y)x,(t,y,x)∈ R+×R×(0,∞), (40)其中c>0仅取决于a、b、σ和η。估计值(38)、(39)和(40)以及富比尼的理论,意味着V(t,y,x)定义得很好,其y导数由以下公式给出:Vy(t,y,x)=ZxVy(t,y,s)ds,Vyy(t,y,x)=ZxVyy(t,y,s)ds。再次应用相同的估计和富比尼定理,我们得出结论,(11)的右边,v由(33)给出,收敛到零,如x↓ 这就完成了命题的证明。7.2命题4.2的证明根据第1.2小节中讨论的结果,要求过程(V(t,Yt,X*t) )t≥0是一个局部鞅。让我们证明它实际上是一个真正的鞅。
|