从(5)中,LHS(19)可以写为,LHS=x˙^G(t)+^G(t)C(t)C(t)+2^G(t)A(t)+q(t)+水貂(t)∈K(t)^f(t,K(t),^G(t)).根据定义(9),其LHS=0,这意味着值函数(17)是区域Φ中HJB方程(8)的解,最优控制策略为x^K*(t) 。现在我们考虑(t,x)-平面中的区域Φ为,Φ=(t,x)∈ [0,T]×Rx<0.在此区域中,值函数变为V(t,x)=x'G(t)。我们可以应用区域Φ的类似求解过程来证明值函数V(t,x)=x'G(t)是HJB方程(8)的解,并导出关联的最优控制策略为(18)。细节省略。最后,我们考虑(t,x)-平面中的区域Φ为,Φ=(t,x)∈ [0,T]×R | x=0.V(t,x)的非光滑性就出现在这个区域。但是,对于任何(t,x),值函数V(t,x)仍然是连续的∈ Φ,因为该区域的V(t,x)=^G(t)x=(R)G(t)x=0。此外,V(t,x)在Φ区域的任何点上都存在一阶偏导数,即V(t,x)=Gx=0,Vx(t,x)=2?Gx=0∈Φ. 然而,由于^G(t)6=(R)G(t),二阶偏导数Vxx(t,x)在Φ上的任何点都不存在,这导致V(t,x)的非光滑性。因此,我们需要使用粘度解决方案的框架来克服这一困难。我们遵循[25]和[16]中给出的验证定理的类似想法,证明值函数(17)是HJB方程(8)的粘度解。根据粘度溶液理论(见[23][25]),我们在(t,x)处引入了V(t,x)的二阶超微分和次微分∈ Φ如下所示,D1,2,+t,xV(t,x)={0}×{0}×[^G(t)+∞),D1,2,-t、 xV(t,x)={0}×{0}×(-∞,分别为\'G(t)]。
|