|
现在我们把极限取为n→ ∞.回顾V(n)≤ V,该0≤ V(x,y)≤ x+ε和e-rτXτ是可积的,上面最后一个表达式中的第二项通过支配收敛收敛收敛到零。此外,Fatou引理产生,(A.5)V(x,y)≥ Ex,y[e-r(τ∧γ∞)V(Xτ∧γ∞, Yτ∧γ∞)].自τ起∈ T是任意的过程e-r(t∧γ∞)V(Xt∧γ∞, 年初至今∧γ∞), t型≥ 0是一个超级鞅。注意到γ∞≥ γ*选择τ=ρ∧ γ*in(A.5),对于某些ρ∈ T,我们也看到过程e-r(t∧γ*)V(Xt∧γ*, 年初至今∧γ*), t型≥ 0是一个超鞅。由于它是一个非负超鞅,Fatou引理givesV(x,y)≥ lim信息→∞Ex,y[e-r(t∧γ*)V(Xt∧γ*, 年初至今∧γ*)] ≥ Ex,y[e-rγ*V(Xγ*, Yγ*)]因此,超鞅是闭合的。最后,我们证明了γ*最适合卖家,即玩家2。我们有v(x,y)≥ Ex,y[e-r(τ∧γ*)V(Xτ∧γ*, Yτ∧γ*)]= Ex,y[e-rτV(Xτ,Yτ)1{τ≤γ*}] + Ex,y[e-rγ*G(Xγ*)1{τ>γ*}]≥ Ex,y[e-rτG(Xτ)1{τ≤γ*}] + Ex,y[e-rγ*G(Xγ*)1{τ>γ*}]= Mx,y(τ,γ*)取τ的上确界给出策略γ的最优性*对于玩家2。证明次鞅性质还有待进一步的研究。让我们表示(A.6)S(n)=(x,y)∈ R+×[0,1]| V(n)(x,y)=G(n)(x),玩家1的停止区域。请注意,类似集合可以相对定义为V和G(见(4.2))。在第4节中,通过使用V的连续性和单调性,在引理4.2中证明了Sar的性质。同样的方法也可以应用于V(n),以验证S(n)的类似性质。准确地说,值得注意的是,如果x≤ x个≤ 其中n。引理4.2中(iii)的其余部分如下:+∞) ×[0,1] S、 推论4.5也是如此。
|