|
事实上,对于任何ε>0的情况,都存在γε∈ (0, +∞) 使得γ(t+s)≤ γε适用于所有s≤ T- t型- ε、 因此(T- t型- τ≥ ε) =P(τ≤ T- t型- ε) ≤ Pinf0≤s≤T-t型-εXxs≤ γε(6.4)≤ Pinf0≤s≤T-t型-εXs≤γεx很明显,最后一项为0,为x→ ∞.现在请注意,如果存在*< T使得*, T)×R+ C、 那么对于所有s≥ t型*一个hasw(s,γ(s))=EZT公司-东南方-Rs+ur(v)dvH(s+u,γ(s)Xu)du(6.5)=γ(s)ZT-东南方-Rs+ur(v)dvg(s+u)e(θ-α) udu+KZT-东南方-Rs+ur(v)dv`(s+u)du。注意γ(s)ZT-sg(t+u)du=-(δ+K`(s))g(s)g(s+ξs)(T- s) (6.6)对于某些ξs∈ [0,T- s] ,我们立即得出结论:*, T)×R+ C类==> lims公司→Tw(s,γ(s))=0,(6.7),自`∈ C([0,T])。我们现在分两步进行。第1步。这里我们证明了S∩ ([t,t)×R+)6= 对于所有t<t。假设相反,即存在t*< T使得*, T)×R+ C、 因此对于任何t∈ [t*, T)给定并固定了τ*(t,x)=t- 所有x的t P-a.s∈ R+。特别地,我们取x>γ(t)。为了获得值函数的上界,我们使用(3.24)和(6.3)的鞅性质得到0≤ w(t,x)=EZτe-Rt+sr(u)duH(t+s,Xxs)ds+w(t+τ,Xxτ)≤ E{τ≤T-t型-ε} w(t+τ,Xxτ)+ E{T-t型-ε<τ<T-t} w(t+τ,Xxτ)(6.8)- δ(T- t型- ε) c P(τ>T- t型- ε) 其中,c>0是贴现系数的统一下界。因为{τ<t上的Xxτ=γ(t+τ)- t} γ(·)在[t,t]上有界且连续- ε] ,然后,使用该w∈ C([0,T]×R+),我们可以找到Cε∈ [0, +∞), 独立于x等≤s≤T-t型-εw(t+s,γ(t+s))≤ cε。(6.9)另一方面(6.7)意味着dε:=sup0≤s≤εw(T- s、 γ(T- s) )<+∞(6.10)以便(6.8)给出0≤ w(t,x)≤ cεP(τ≤ T- t型- ε) +P(τ>T- t型- ε) (dε- δ(T- t型- ε) c)。30 T.DE ANGELIS和G。
|