|
定义(u),t=x+Zt(ν)s- us)ds+σWt,νt=ν+Zt(q(ν)s- u)+q(u)- νs) )ds+Zt(νs- u)(u- νs) σdWs+2Ztp“(νs) dfWs,(17)和τ= inf{t≥ 0 | X(u),T≤ 0}.fW=(fWt)t≥0是独立于W的布朗运动,和 是一个有界、有界导数且在u、u和‘’处消失的光滑函数(υ) = on(u+ζ,u)-ζ) 对于一些小的ζ>0。此外,用J(u)表示,, 五、与近似基础系统(17)相关的值函数和最优值函数。这在近似Ehjb方程中引入了另一个二阶项(~L+)五、υυ- δ) 五+ 苏普∈[0,K](u(1)- 五、x) )=0。(18) 与[17]中的近似值不同的是,这里我们不使用附加项来正则化我们的HJB方程,而只是使用它来确保方案在计算域内部的正性。然而,请注意,本文中最优值函数的分析表征不需要正则化。下面的定理说明解仍然收敛到最优值函数。定理4.1。让V成为(18)的解决方案。然后林→0千伏- Vk=0。证据我们证明,对于每个值函数J(u),结果都成立,→ J(u)。由此我们可以得出结论,该结果也适用于V,见[17,推论7.4]。让J(u),,T、 J(u),T使相应的值函数在时间0<T<∞. 我们有→0kJ(u),(x,ν)-J(u)(x,ν)k=lim→极限→∞kJ(u),- J(u)k=lim→极限→∞kJ(u),- J(u),,T+J(u),,T- J(u),T+J(u),T- J(u)k≤ 林→极限→∞kJ(u),- J(u),,Tk+kJ(u),,T- J(u),Tk+kJ(u),T- J(u)k= 林→极限→∞kJ(u),- J(u),,Tk+lim→极限→∞kJ(u),,T- J(u),Tk+lim→极限→∞kJ(u),T- J(u)k,其中我们跳过了计算中的参数,并使用了除一行之外的所有项都是有界的,因为由于引理3.1,最优值函数是有界的。
|