|
(13) 4.2.1简化交换问题的HJB方程我们对控制问题vEof(13)的方法是推导相应HJB方程的解v,并通过随机控制中的标准验证参数来证明建议的解v与值函数vE一致。根据标准动态规划方法,(13)的HJB方程为tv(t,q)+HEq、 v(t,q),v(t,q+1),v(t,q- 1)= 0,q∈ {-\'q,···,\'q},t∈ [0,T),(14),带边界条件vt=t=-1,使用哈密顿量HE:[-‘q,’q】×(-∞, 0]→ R: HE(q,y,y+,y-) = HE(q,y)+1I{q>-\'q}他(y,y-) + 1I{q<\'q}HE(y,y+,(15)and HE(q,y)=supzs∈RhE(q,y,zs),hE(q,y,zs)=ησyγ(zs+q)+ηzs,HE(y,y)=supζ∈RhE(y,y,ζ)和hE(y,y,ζ)=λ(ζ)hyeη(ζ-c)- y1 + η1 - e-γ(ζ+(ζ))γi、 根据下面的引理A.2,HEare的最大化子^z=(^zs,^za,^zb)由:^zs(t,q)=-γγ+ηq,^za(t,q)=^ζv(t,q),v(t,q- 1), ^zb(t,q)=^ζv(t,q),v(t,q+1), (16) ^ζ(y,y)=ζ+ηlogyy年, ζ=c+ηlog1.-σγη(k+σγ)(k+ση).这里,δ∞非常大,因此引理A.2的条件(38)始终满足,即δ∞≥ C∞+η支持∈[0,T]supq∈[-\'q,\'q-1]日志v(t,q)v(t,q+1), (17) 带C∞引理A.2中给出,我们将检验我们的验证论点,即HJB方程的候选解将验证它。再次使用引理A.2中的计算报告,我们将HJB方程(14)改写为tv(t,q)+γησ2(γ+η)qv(t,q)-Cv(t,q)h1I{q>-\'\'q}v(t,q)v(t,q- 1)kση+1I{q<\'q}v(t,q)v(t,q+1)kσηi=0,(18),边界条件为vt=t=-1,其中常数Cis由C=C(σγk,σηk)给出,其中C(α,β):=Aβ(1+α)-α1.-αβ(1 + α)(1 + β)1+β.受【13】的启发,我们现在主要观察到,通过引入u:=(-五)-kση。
|