|
Lemm a 1.5 yieldsL(G)(r,x)=uφ(r)e-\'\'r+xe公司-\'\'r+▄Fn(ar+b)φ′(r)+δrφ′(r)o+ue-\'rn(ar+b)φ′(r)+δrφ′(r)o=uφ(r)e-\'\'r- uφ(r)e-(R)r=0。因此,我们必须考虑e-r- Gx(r,x)并搜索提供关系e的条件-r-Gx(r,x)≤ [(R)r上的0,∞) ×R+以使G解HJB方程(10)。首先,我们证明了以下辅助结果:引理2.2函数φ(r)是递减的,并且存在唯一的r*∈ [0,R]th在φ(R)处*) = -φ′(r*) = 1和φ(r)>-φ′(r)表示r>r*.证明:有关证明,请参阅附录第3节。下面的引理考虑表达式e-r- Gx(r,x),如果屏障由r给定*如上所述。引理2.3Let'r=r*, 引理2.2中定义。然后,对于所有r>r*以下不等式成立:Gx(r,x)=φ(r)e-r*> e-r、 证明:使用引理2.2推导erφ(r)产率:erφ(r)′= erφ(r)1+φ′(r)φ(r)> 0。那么,e-r- Gx(r,x)=e-重新-r*呃*-erφ(r)< e-重新-r*呃*- 呃*φ(r*)= 0对于r>r*. 我们可以得出结论,G在[r]上求解HJB(10)*, ∞) 如果r=r*.2.2.2最优策略和验证理论从现在起,我们假设r=r*, i、 e.φ′(r*)φ(r*)= -根据引理2.2,函数F和G都在[0,r]上求解HJB方程(10)*] andon[右]*, ∞) 关联地接下来,我们要看导数Gr(r*, x) ,Fr(r*, x) 和Grr(r*, x) ,Frr(r*, x) 为了保证平滑的值函数。它持有SGR(r*, x) =xe-r*φ′(r*) + uφ′(r*)e-r*+~Fφ′(r*)= -xe公司-r*+ uφ′(r*)e-r*-F,Fr(r*, x) =- xe公司-r*+ uψ′(r*)andGrr(r*, x) =xe-r*φ′′(r*) + uφ′(r*)e-r*+~Fφ′(r*),Frr(r*, x) =xe-r*+ uψ′(r*) .备注2.4选择F(r*, 0)=F=uφ′(r*)e-r*- uψ′(r*) (13) 产量Gr(r*, x) =Fr(r*, x) 对于所有x∈ R+。
|