|
连续集和停止集的几何学请注意,既然V(2)和G是连续的,那么C(2)是开集,D(2)是闭集(参见(3.12)和(3.13))。在下一个命题中,我们从集合D(1)的角度对集合D(2)的结构有了初步的了解(参见(2.7))。提案3.5。问题(2.5)的停止集D(1)对[0,Tδ]的限制包含在问题(3.5)的停止集D(2)中,即D(1)∩[0,Tδ]×(0,∞) D(2)。(3.17)证据。取任意点(t,x)∈ [0,Tδ]×(0,∞) 设τ=τ*(t,x)表示V(2)(t,x)的最佳停止时间,然后使用(3.4),(3.9)并回顾≥ 我们有v(2)(t,x)- V(1)(t,x)≤ Ee-rτG(t+τ,Xxτ)- Ee-rτ(K)-Xxτ)+=Ee-rτr(t+τ,Xxτ)=r(t,x)-rKEZτe-rsf(t+s,Xxs)ds≤ G(t,x)- (K)-x) +。然后,对于任何(t,x)∈ D(1)与t∈ [0,Tδ],即V(1)(T,x)=(K-x) +,它必须是V(2)(t,x)=G(t,x),因此(t,x)∈ D(2)。我们现在用c(2)t:={x来定义问题(3.5)的连续集和停止集的t-部分∈ (0, ∞) : V(2)(t,x)>G(t,x)}(3.18)D(2)t:={x∈ (0, ∞) : 对于}(t)(x,t)=3∈ [0,Tδ]并证明以下命题3.6。对于任何0≤ t<t≤ Tδ1有C(2)T C(2)t(相当于D(2)t D(2)t),即{C(2)t,t族∈ [0,Tδ]}在T(相当于{D(2)T,T)族中减少∈ [0,Tδ]}在T中增加。证据修正0≤ t<t<tδ和x∈ (0, ∞), 设置τ=τ*(t,x)对于V(2)(t,x)是最优的。然后我们有v(2)(t,x)- V(2)(t,x)(3.20)≥ Ee-rτG(t+τ,Xxτ)- Ee-rτG(t+τ,Xxτ)=Ee-rτR(t+τ,Xxτ)- R(t+τ,Xxτ)= R(t,x)- R(t,x)- rKEZτe-rsf(t+s,Xxs)- f(t+s,Xxs)ds≥ R(t,x)- R(t,x)=G(t,x)- G(t,x),在上一个不等式中,我们使用了t7→ f(t,x)在[0,tδ]上通过[0,t]上b(1)的单调性增加。
|