如前所述,流程^G必须是amartingale。因此,我们必须*t型aVt公司- θtbVt+ χC*t=0。(43)结合方程式(40)和(41),这使得我们可以建立一个描述V的部分微分方程(PDE)*(t,v)如下:五、*t+θtv五、*v+χC*(t,v)=0。(44)此外,对于V*tby(13)和(42)SDEdV*t型=θtVGPt五、*v- χC*t型dt+θtVGPt五、*vdWt=ωtdVGPt- χC*tdt,(45)见定理9。自C起*取决于J*, 见方程(35),一般情况下,第9节的J方程(3)需要与Hamilton Jacobi Bellman(HJB)PDE联合求解PDE(44)。Duffee(2001)中的A报告了其方程式(1)中给出的受控过程的HJB方程式。在我们的设置中,方程式(45)规定了受控过程,我们发现HJB方程式读数为Smaxc*(t,v)(J*t型+θt五、*vv型- χC*t型J*五、*+θtv五、*vJ*五、*2+χf(C*, J*, t) )=0。(46)当χ=1(消费节约问题)时,这意味着(形式上)第一阶条件产生-J*五、*+ f(C*, J*, t) =0,(47),其中c*(t,v)=f0,-1.J*五、*, J*, t型. (48)使用此特征以及方程式(44)和(46),我们必须求解偏微分方程组五、*t+θtv五、*v+χf0,-1.J*五、*, J*, t型= 0,(49)J*t+θtv五、*vJ*五、*2+χff0,-1.J*五、*, J*, t型, J*, t型+θt五、*vv型- χf0,-1.J*五、*, J*, t型J*五、*= 0。(50)根据方程式(34)和(33),它仍然满足终端边界条件SV*(T,v)=B0,-1.λεv和J*(T,v)=εBB0,-1.λεv, (51)分别。最后,为了保证^G的鞅性质,我们施加以下空间边界条件:对于v→ ∞ 我们需要V*(t,v)→ ∞ 对于v→ 0我们需要*(t,v)→ 请注意,该解取决于拉格朗日乘子λ,即,de(44)的解以λ为特征。该参数应设置为完全满足初始预算约束,请参见我们之前在第4节中的讨论。