|
因此,由于关于最优停止问题的值函数是唯一的,因此只能有一个b*.集τ*= τ[b]*,b] ,0∧ τb∧ τη,0,并引入:V*(s,y,i)def=E*sγ+e*sγ-: s∈ (s,b)*), y=0,i=1K- s:s∈ [b]*, b]∩ (s),∞), y=0,i=1(K- b)某人γ-: s∈ (b),∞), y=0,i=1V(s,1,i):s>0,y=1,i∈ {0,1}再次,通过验证第2.2.1节开头所述的条件(v1)、(v2)、(v3),我们完成了备注2.6中列出的程序和定理1.6(iv)的证明。对于(v1),如果s∈ [b]*, b] ,那么就没有什么需要证明的了,因为我们立即停止,如果s>b,那么(v1)遵循定理1.4,作为V*在(b)上与(V)重合,∞).在剩下的s<s<b的情况下*, 观察引理2.3的假设是否满足,询问- s=V(s,1,1)可以排除。此外,Es,0,1[e-ατ[b]*,b] ,0∧τb∧τη,0(K- Sτ[b*,b] ,0∧τb∧τη,0)+]=Es,0,1[e-α(τb∧τη,0)(K)- Sτb∧τη,0)+{τ[b]*,b] ,0>τs}]+Es,0,1[e-ατb*(K)- B*)+{τ[b]*,b] ,0<τs}]=Es,0,1hEs,0,1[e-α(τb)∧τη,0)(K)- Sτb∧τη,0)+{τ[b]*,b] ,0>τs}| Fτs]i+(K- B*) φ(s,b)*)根据强马尔可夫性,它简化为v(s,1,1)φ(s,b)*) + (K)- B*) φ(s,b)*).使用第14页引理2.3证明开头给出的Γ的定义,最后一个表达式等于Γ(s,b)*). 自从b*被选择为Γ(s,b*) = 五、*(s,0,1),条件(v1)在剩余的情况下也会出现。对于(v2),要意识到,通过第12页第2.2.1节中使用的相同参数,本节的上述候选值函数满足(2.8),因此我们只需要证明es,0,1[e-α(t)∧τs)V*(圣∧τs,0,1)]≤ 五、*(s,0,1),(2.15)对于任何t≥ 现在,考虑函数φ(s)=V*(s,0,1),s>s。注意φ可以扩展为一个函数(0,∞) 属于备注2.2中描述的类型,具有许多明显的异常平滑点。
|