|
我们可以写作(17)-Rτ*ψx(Xs)-, Y-)E-δsdL1,cs+PXs+6=Xss<τ*(ψ(Xs+,Ys+)- ψ(Xs,Ys))e-δs=-Rτ*ψx(Xs)-, Y-)E-δsdL1,cs+PXs+6=Xss<τ*RLs+-Lsψx(Xs)- α、 Ys)dαE-δs≤ -Rτ*ae-δsdL1,cs- aPLs+6=Lss<τ*RLs+-LsdαE-δs=-aRτ*E-δsdLs。同样地,(18)-Rτ*ψx(Xs)-, Y-)E-δsdL2,cs+PXs+6=Xss<τ*(ψ(Xs+,Ys+)- ψ(Xs,Ys))e-δs=-Rτ*ψx(Xs)-, Y-)E-δsdL2,cs-PLs+6=Lss<τ*RLs+-Lsψx(Xs,Ys)- α) dαE-δs≤ -aRτ*E-δsdLs。另一方面,Xs6=Xs-仅在一号公司提出索赔时,因此(19)Mt=PXs-6=Xss≤t(ψ(Xs,Ys)- ψ(Xs)-, Y-)) E-δs-λRte-δsRXs-(ψ(Xs)-- α、 Y-) - ψ(Xs)-, Y-)) dF(α)ds-λRte-δsRXs-+Y-Xs-(ψ(0,Xs)-+ Y-- α) - ψ(Xs)-, Y-)) dF(α)ds-λRte-δsR∞Xs-+Y-aV(Y)-) - ψ(Xs)-, Y-)dF(α)dst是t的零期望鞅≤τ. 类似地,(20)Mt=PYs-6=Yss≤t(ψ(Xs,Ys)- ψ(Xs)-, Y-)) E-δs-λRte-δsRYs-(ψ(Xs)-, Y-- α) - ψ(Xs)-, Y-)) dF(α)ds-λRte-δsRXs-+Y-Xs-(ψ(Xs)-+ Y-- α, 0) - ψ(Xs)-, Y-)) dF(α)ds-λRte-δsR∞Xs-+Y-aV(Y)-) - ψ(Xs)-, Y-)dF(α)也是一个对t的期望为零的鞅≤τ. 我们得到(21)ψ(Xτ)*, Yτ*)E-δτ*- ψ(x,y)≤Rτ*L(ψ)(Xs)-, Y-)E-δs+Mτ*+ Mτ*-aRτ*E-δsdLs- aRτ*E-δsdLs。利用(12)、(14)的第二个不等式和θ的定义,我们得到(22)Rτ*L(ψ)(Xs)-, Y-)E-δsds≤Rτb∧τ∧τL(ψ)(Xs)-, Y-)E-δsds+Cθ≤ -2εδRτb∧τ∧τe-δsds+Cθ≤ -2εδRτ*E-δsds+Iτb∧τ∧τ<τ*2εδRτ*τb∧τ∧τe-δsds+Cθ≤ -2ε(1 - E-δτ*) + ελ/ (δ + λ) .由引理4,(15),(21)和(22)可知,(23)V(x,y)=supL(Ex0,y(aRτ*E-δsdLs+aRτ*E-δsdLs+e-δτ*V(Xτ)*, Yτ*)Iτ*<τ+aV(XLτ)+aV(YLτ)E-δτ*Iτ*=τ))≤ supL(Ex0,y(aRτ)*E-δsdLs+aRτ*E-δsdLs+e-δτ*(ψ(Xτ)*, Yτ*) - 2ε)Iτ*<τ+aV(XLτ)+aV(YLτ)E-δτ*Iτ*=τ))≤ 苏普莱克斯,yRτ*L(ψ)(Xs)-, Y-)E-δsds+Mτ* + Mτ* - 2εe-δτ*Iτ*<τ+ψ(x,y)≤ ψ(x,y)- ελ/(δ+λ)<ψ(x,y),这与V(x,y)=ψ(x,y)的假设相矛盾。
|