|
传递到limitN→ ∞, 我们的结论是利米→∞P(κm(y)<∞) = 0和石灰→∞P(κm(y)=∞) = 1、因此,limy→∞P(τt,m(y)=t)=1.5.2动态规划在本节中,我们讨论了无约束值函数H的一些分析性质。第5.3节和第5.4节将提供一些技术证明。定理6让H(t,y,q)表示过程{Yt,t之前任何时间t的等式(34)中的值函数≥ 0}达到预定极限α*和(Yt,Xt)=(y,q)。假设值函数H(t,y,q)是充分光滑的,即H∈ C1,2,2([0,T)×(α*, +∞) ×(0, +∞)), 然后H(t,y,q)满足HJB方程-(t+βyy+ξyyy)H+γσq- 最大θt∈Θtng(θt)θt+f(θt)q- qH·θto=0,(35)在区域{(t,y,q):0≤ t<t,y>α*, q>0},满足边界条件(a)H(T,y,q)=-φq,y>α*, (35.a)(b)H(t,α*, q) =-φq,0≤ t<t,(35.b)(c)石灰→∞H(t,y,q)=U(t,q),(35.c),其中U(t,q)是我们在模型1中考虑的优化问题的值函数。值得注意的是≥ α*, H(t,y,q)≤ U(t,q),对于任何y≥ y≥ α*,H(t,y,q)≥ H(t,y,q)。这背后的基本原理是直观的。与“无违约”模型(模型1)相比,交易对手风险越大,价值函数越小。C1,2,2([0,T)×α*, ∞) ×(0, ∞)) 是函数f(t,y,q)的空间,在t中连续可微,在y和q中两次连续可微。5.3第5.2节中,H(t,y,q)的单调性和连续性,我们在没有证明的情况下给出了值函数H(t,y,q)的主要分析性质。在这一节中,我们证明了H(t,y,q)的单调性、增长率控制和连续性,如下所示。定理7假设条件(18)满足:2φ>η+2σ√γν.
|