|
这特别是指{(ω,x)| x<πt(ξ)(ω)}=[q∈Qπ-1t((q,∞)) × (-∞, q) 是分析型的。接下来,我们通过反向归纳法表明,如果假设4.2得到满足,则Uthas Pu-q.s.具有以下性质:条件C.6 Let 0≤ t型≤ T- 1、Ut功能:Ohmt×R→ [-∞, ∞) 是下半解析的,从ab ove开始有界。此外,以下属性适用:1。ω 7→ 对于x(ω),Ut(ω,x(ω))从下方有界:=πt(ω)+,且每个>0.2。x 7→ Ut(ω,x)在πt(ω)上是非递减的、凹的和连续的,∞) 对于每个ω∈ Ohmt、 引理C.7假设NA(P)和假设2.1,假设4.1和假设4.2适用于u(t,·,·),0≤ t型≤ T、 然后存在函数▄Ut:Ohmt×(-∞, ∞) → [-∞, ∞),满足条件C.6,因此▄Ut=UtPu-q.s.证明。我们用归纳法证明了这一主张。回想一下UTsatis假设4.2。Wenow显示了从t+1到t的诱导步骤,因此是第一个xω∈ Ohmt、 为便于演示,我们假设t≤ T- 2、我们首先陈述了关于下半解析性的一些结果,这与Ut的定义有关:使用[Bertsekas and Shreve,2004,Lemma 7.30,p.177,Prop 7.47,p.179,Prop 7.48,p.180],假设4.2和Put的分析图,我们可以看到φ:Ohmt×(-∞, ∞) ×Rd×R→Rφ(ω,x,H,c)=单位为fP∈Put(ω)IEP[Ut+1((ω,·),x+HSt+1(ω,·)- c) ]+U(t,ω,c)是下半解析的St+1(ω,·)是Borel可测函数(对于t=t,也是ξ(ω,·))- 1). 现在我们定义函数▄φ:Ohmt×R×Rd×R→Reφ(ω,x,H,c)=-∞ if(H,c)/∈ At,xor x<πt(ξ)(ω)φ(ω,x,H,c),否则。我们证明了∧φ是下半解析的。修复a∈ R
|