最后,让t→ ∞, 应用单调收敛定理并指出∞E-rsdZ-(s) <∞, 我们得到^V(x)≥ 极限→∞ExZt∧τX0-E-rs[dZ+(s)- dZ-(s) ]=ExZτX0-E-rs[dZ+(s)- dZ-(s) ]=VZ(x),这就完成了证明。6.2. 定理2(i)的证明设b=^a(u,u)*). 值函数V(x;u,u*) 是通过策略实现的,^Z=(Mb(t;u*), (u*-u)t),其中借款利率为u*-u和dividendpayment在屏障b处支付。显然,该政策也适用于具有(x,u,u)特征的公司*, σ、 r)自*> u*, 我们想证明,对于任何x>0的情况,V(x;u,u)*) > V(x;u,u)*) = V^Z(x;u,u)*).请注意,在上述验证证明中,我们已经显示了V(x;u,u)*) ≥V^Z(x;u,u)*). 设^X(t)=X+ut+σW(t)+dMb(t;u*) - (u*- u)t表示应用次优控制^Zis时的储灰过程。内尔*= -r+u*x+σx、 通过一个完全类似于第6.1节第2步的论证,当^zisapple应用时,我们得到了v(x;u,u)*) ≥ Ex(I+I)- 一) ,式中I=Zt∧τ^Xe-rshV(^X(s);u, u*)(u*- u*)ds- L*V(^X(s);u, u*)dsi,我- 我≥Zt∧τ^X0-E-rsdMb(s;u)*).要检查以上Igrees表达式是否与(22)一致,请注意,对于Z=^Zand c=u*- 是的,我们有-dZ-(s) +cds=-(u*- u)ds+(u)*- u)ds=(u)*- u*)ds。为了证明^Zis是严格次优的,我们需要一个比用来证明定理1的论点稍微好一点的论点。写入V(x)=V(x;u,u*) 简化符号。回想一下,V(x)是定理1中描述的自由边界问题的解,并且^a=^a(u,u)*) 严格小于b=^a(u,u*)根据命题2。使用引理1,可以直接验证*V(x)<u*- u, 十、∈ (a,b),V(x)>1, 十、∈ (0,^a),V(x)=1, 十、∈ [^a,b]。此外,假设是:*- u*> 0意味着对于任何x∈ (0,^a)∪ (^a,b],ψ(x)=V(x)(u)*- u*) - L*V(x)+(u)*- u)>0,(23)和ψ(x)=0,如果x=^a。
|