|
的确θg(y,p,θ)|θ=0=~f(0)W(r)(a- y) W(r)(a)+f(0)W(r)(a)- y) W0(r)(a)(W(r)(a))>0,其中不等式来自假设(26)和f(0)=-(pr+α)ξ(0)=0。现在我们将验证(30)确实成立,即τ-D(θ*) 是最佳停止规则。定理3。假设(27)成立。停车时间τ-D(θ*), 带θ*(34)中定义了停车问题(23)和(21)的最佳停车规则。此外,具有取消特征的提取保险合同的价格等于F(y,p)=F(y,p)+g(y,p,θ*).证据根据最优停车问题(23),有必要检查τ*= τ-D(θ*) ful用Υt=Dt,B=R+,τ=τ+D(a),V(x)=f(x,p)来填充验证引理3.1的两个条件。注意,在这种情况下,假设(29)明显满足。为了证明(i)验证引理3.1,有必要证明g(y,p,θ)-f(y,p)≥ 0表示某些θ。观察取θ=y表示y∈ (0,a)产量g(y,p,y)-f(y,p)=E | yhe-rτ-D(y)~f(Dτ-D(y),p);τ-D(y)<τ+D(a)i-~f(y,p)=0,(35),其中~f(y,p)在(25)中给出。因此(i)根据θ*最大化g(y,p,·)。现在我们将证明(ii)。请注意,停止的进程-r(t∧τ+D(a)∧τ-D(θ*))g(Dt∧τ+D(a)∧τ-D(θ*), p、 θ*)8 Z.Palmowski-J.Tumilewicz是一个鞅。这源于强马尔可夫性:源于g(y,p,θ)的定义*) 在(31)和(32)中,我们有-r(τ+D(a)∧τ-D(θ*))g(Dτ+D(a)∧τ-D(θ*), p、 θ*)| 英尺∧τ+D(a)∧τ-D(θ*)i=Ee-r(τ+D(a)∧τ-D(θ*))E | Dτ+D(a)∧τ-D(θ*)他-rτ-D(θ*)f(θ*, p) ;τ-D(θ*) < τ+D(a)i英尺∧τ+D(a)∧τ-D(θ*)= Ee-r(t∧τ+D(a)∧τ-D(θ*))E | Dt∧τ+D(a)∧τ-D(θ*)他-rτ-D(θ*)f(θ*, p) ;τ-D(θ*) < τ+D(a)i英尺∧τ+D(a)∧τ-D(θ*)= e-r(t∧τ+D(a)∧τ-D(θ*))g(Dt∧τ+D(a)∧τ-D(θ*), p、 θ*).因此,ADg(y,p,θ*) - rg(y,p,θ*) = 0表示所有y∈ (θ*, a) 对于过程D的完整生成器ado。此外,从(32)我们知道y∈ (0,θ*) 我们有g(y,p,θ*) =f(y,p)。
|