|
每N M和s=(τ,σ)∈ s-N×SN,以下等式适用于t∈ [0,T],利木↓tsupτ′∈eSNu(τ,σ)EQbVNθ(τ′,σ)(τ′,σ)= supτ′∈eSNt(τ,σ)等式bVNθ(τ′,σ)(τ′,σ), (3.23)利木↓tinfσ′∈锿-Nu(τ,σ)EQbVNθ(τ,σ′)(τ,σ′)= infσ′∈锿-Nt(τ,σ)等式bVNθ(τ,σ′)(τ,σ′). (3.24)证据。根据对称性,只需证明第一个等式。从命题3.3的(i)部分,我们得到了等式EqeUσt(τ)= supτ′∈eSNt(τ,σ)等式bVNθ(τ′,σ)(τ′,σ),所以(3.23)相当于函数EQ的右连续性eUσt(τ), T∈ [0,T]。自fort<w以来,我们得到了nW(τ,σ)eSNt(τ,σ),因此函数eUσt(τ)正在减少。因此出现了右手极限↓特克eUσw(τ)定义良好,并在EQ上进行了限定eUσt(τ).显然,要建立等式(3.23),即函数EQ的正确连续性eUσ(τ), 这足以证明情商eUσt(τ)≤ 利姆↓特克eUσw(τ)尽管如此,t∈ [0,T]。为此,我们∈eSNt(τ,σ),我们考虑由ρ:=ρ(τ,eτ)=inf给出的停止时间ρU∈ [0,T]:hu(τ,σ)6=hu(σ,eτ)∧ 自τ∈eSNt(τ,σ),我们必须有h[0,t](τ,σ)=h[0,t](eτ,σ)a,因此ρ>t。考虑这个过程eUσw(τ)-eVNw(eτ,σ){w<ρ},对于w∈ (t,t),w其中evnw(eτ,σ):=EQbVNθ(eτ,σ)(eτ,σ)Fw.假设2.1和作用集的完整性产生{w<ρ}={h[0,w](τ,σ)=h[0,w](σ,eτ)}。因此,我们得到了evnw(eτ,σ)1{w<ρ}≤ ess supτ′∈eSNw(τ,σ)eVNw(τ′,σ)1{w<ρ}=eUσw(τ)1{w<ρ},这反过来意味着eUσw(τ)-eVNw(eτ,σ){w<ρ}≥ 0.(3.25)观察EVN(eτ,σ)是一个(Q,F)-鞅,因此,根据定理3.2,它允许RCLL修改。我们也知道euσ(τ)是(Q,F)-超鞅(见命题3.3的第(iii)部分),但它的右连续性尚未建立。Doob的正则化定理em(例如,参见Kallenberg[19]中的定理6.27)指出,对于R+上的任何子鞅X,在集合onI上有限制Y。郭和M。
|