这只是有待证明(3.9)。为了实现这一点,我们调整并扩展了El Karoui和Karatzasi在[14]中C orollary 4.2的证明中使用的论点。观察D的最优性意味着对于所有x>b(t)(4.72)V(t,b(t))+f(t)(x- b(t))=V(t,x)。注资最优股息21利用(4.17)和V=N的事实,如上文所证明的,我们从(4.72)V(t,b(t))=V(t,x)中得出- f(t)(x)- b(t))=E-ZT公司-tf′(t+s)(Rs(x)- b(t+s))+ds-ZT公司-tm(t+s)dIs(x)+g(t,RT-t(x))- f(t)(x)- b(t))= E-ZT公司-tf′(t+s)h(Rs(x)- b(t+s))+- (十)- b(t))ID-ZT公司-tm(t+s)dIs(x)+g(t,RT-t(x))- f(T)(x)- b(t)).回忆(4.15),并观察在条件b(T)<∞ 我们可以写hg(T,RT-t(x))i=g(t,b(t))+EZRT公司-t(x)b(t)gx(t,y)dy{RT-t(x)>b(t)}-Zb(T)RT-t(x)gx(t,y)dy{RT-t(x)≤b(T)}= g(T,b(T))+Ef(T)RT公司-t(x)- b(T){RT-t(x)>b(t)}-Zb(T)RT-t(x)gx(t,y)dy{RT-t(x)≤b(T)},其中最后一个等式来自备注4.3。因此,我们得到v(t,b(t))=E-ZT公司-tf′(t+s)h(Rs(x)- b(t+s))+- (十)- b(t))ID-ZT公司-tm(t+s)dIs(x)+g(t,b(t))+f(t)RT公司-t(x)- b(T){RT-t(x)>b(t)}- f(T)x个- b(t)-Zb(T)RT-t(x)gx(t,y)dy{RT-t(x)≤b(T)}.注意,现在是(x)→ 0,卢比(x)→ ∞, 和(Rs(x)- b(t+s))+-(十)- b(t))→ us+σWs-b(t+s)+b(t)a.s.适用于任何s≥ x时为0↑ ∞ (参见(4.15))。那么,让x→ ∞ 在V(t,b(t))的最后一个表达式中,调用单调和支配收敛定理,我们发现(在评估期望值和重新排列项后)V(t,b(t))=E-ZT公司-tf′(t+s)us+σWs- b(t+s)+b(t)ds+g(T,b(T))+f(T)(u(T- t) +σWT-t型- b(T)+b(T))= -uZT-tf′(t+s)s ds+ZT-tf′(t+s)b(t+s)ds+g(t,b(t))+f(t)u(t- t) +f(t)b(t)- f(T)b(T)。备注4.15。作为V=N和引理4.12的副产品,我们得到了∈ C1,2([0,T)×(0,∞)) ∩ C([0,T]×R+)。