|
为了证明(14),让我们定义一个任意点(t,x)∈ [0,T]×R,并考虑τ*= τ*(t,x)和ε>0。自τε→ τa.s.,通过与(21)类似的论证,我们得到ε-1(V(t,x+ε)- V(t,x))≥ -Ee-λτ*T- t型- τ*T- t型, (23)由于支配收敛定理,极限有效。对于ε<0,在取ε后,出现了反向不等式→ 0,关系-xV(t,x)≤ -Ehe公司-λτ*T-t型-τ*T-ti公司≤ +xV(t,x),由于x 7的连续性→ xV(t,x)开(-∞, b(t))和on(b(t),∞) 对于所有t∈ [0,T](C和D上的可见C1,2),变成xV(t,x)=-Ehe公司-λτ*T-t型-τ*T-t对于所有(t,x),其中t∈ [0,T]和x 6=b(T)。对于x=b(t),方程(14)也成立,并转化为后来证明的平滑条件(iii)。此外,由于Pt,x[τ*< T- t] 引理1的>0,(14)表明xV<0,因此为7→ 对于所有t,V(t,x)严格递减∈ [0,T]。(iii)取一对(t,x)∈ [0,T)×R位于OSB上,即x=b(T),并考虑ε>0。因为(T,x)∈D和(t,x+ε)∈ C、 我们得到V(t,x)=G(x),V(t,x+ε)>G(x+ε)。因此,考虑到不等式(22),我们得到ε-1(V(t,x+ε)-V(t,x))>ε-1(G(x+ε)-G(x))≥ -1,取ε后→ 0变为+xV(t,x)≥ -另一方面,考虑OSTτε:=τ*(t,x+ε)并遵循类似于(21)的参数得到ε-1(V(t,x+ε)- V(t,x))≤ -Ee-λτεT- t型- τT- t型, (24)除了τε→ 0 a.s.使用支配收敛定理得出+xV(t,x)≤ -1、因此,+xV(t,b(t))=-所有t均为1∈ [0,T)。
|