|
我们的目标是证明ν解决了鞅问题(A*, L*, j∞). 提供一个参数,ν是(Xt,t<ρ(X),Xt)的定律-ρ(X),t≥ ρ(X),如果Xis根据u采样,而Xis根据ujj采样,j=Xρ(X)。换句话说,我们将u推广到全局鞅问题的解。对于G∈ Dowe canchoose G′=G×D(R+,J)。因此,ν(X=j)=un(X=j)=1。设ψ为有界Do停止时间和fix m∈ N、 对于ω,α∈ D(R+,J)和t∈ R+we设置z(ω,α)(t),(ω(t),t<ρ(ω),α(t- ρ(ω)),t≥ ρ(ω),andV(ω,α)((ψ ∧ ρm)∨ ρ - ρ(z(ω,α)),α(0)=ω(ρ(ω)),否则为0。根据[18,定理IV.103],映射V是Doρ D-可测量,使得V(ω,·)是所有ω的Do停止时间∈ D(R+,J)。此外,从定义中可以明显看出(ψ∧ ρm)(ω)∨ ρ(ω)=ρ(ω)+V(ω,θρ(ω)ω)34 D.CRIENSforω∈ D(R+,J)。对于所有ω∈ {ρ < ψ ∧ ρm}∈ Doρ和α∈ D(R+,J),α(0)=ω(ρ(ω)),我们有V(ω,α)≤ ρm(α)。进一步注意,对于ω∈ {ρ < ψ ∧ ρm}KgV(ω,θρ(ω)ω)(θρ(ω)ω)=Kg(ψ∧ρm)(ω)-ρ(ω)(θρ(ω)ω)=g(ω((ψ∧ ρm)(ω)))- g(ω(ρ(ω)))-Z(ψ)∧ρm)(ω)ρ(ω)Kg(ω(s))ds=Kg(ψ∧ρm)(ω)(ω)- Kgρ(ω)(ω)。因为Kg·∧ρ是un-鞅,我们有eνKgρ∧ψ∧ρm= EunKgρ∧ψ∧ρm= 0,由于可选停止定理。因此,我们得到νKgψ∧ρm= EνKgψ∧ρm- Kgρ∧ψ∧ρm= EνKgψ∧ρm- Kgρ{ρ<ψ∧ρm}= EνKgV(·,θρ)(θρ)1{ρ<ψ∧ρm}=Zun(dω)Euω(ρ(ω))KgV(ω,·)∧ρm{ρ(ω)<(ψ∧ρm(ω)}=0,同样是由于可选停止定理(回想一下,V(ω,·)是有界的,Kg·∧ρmisauj-鞅对所有j∈ J) 。我们从[47,命题II.1.4]得出结论,Kg·∧ρmis aν鞅,因此在ν下的坐标过程(Xt)t≥0解决鞅问题(A*, L*, j∞). 唯一性假设意味着ν=u*. 因为同样对于G∈ ρ我们可以选择G′=G×D(R+,J),我们得到u*(G) =ν(G)=un(G)。证明是完整的。附录A。
|