事实上:Φ(τ,ζ)=E[-ξ(θ,e)L(θ,e)γT(θ,e)| Ft]|(θ,e)=(τ,ζ)γT(τ,ζ)=e[-ξ(τ,ζ)L(τ,ζ)| Ht]。因此≥τEQ[-ξ| Gt]=1t≥τE[-ξ(τ,ζ)L(τ,ζ)| Ht]=E[-ξ(τ,ζ)1t≥τLT<τ+L(τ,ζ)1T≥τ| Ht]=E[-ξ(τ,ζ)L1t≥τ| Ht]=等式[-ξ(τ,ζ)| Ht]1t≥τ、 其中Qi是概率测度(Ohm, HT)由dQ=LdP | HT定义。为了证明本节的主要(和最终)结果,即(5.2)中出现的一个不等式,我们需要适当限制概率测度Q的类别。让我们定义Q→包含所有概率测度Q的Q子集∈ Q满足浸入特性,即根据Q定理5.3,F浸入G中。对于任何t∈ [0,T]和任意Q∈ Q→以下不等式适用于(5.2)αt(Q)给出的幂项≥ kt(Q)αt(Q)1t<τ+αt(Q)1t≥τ、 (5.7)如果Qand Qare概率测量(Ohm, FT)和(Ohm, HT),使得dQ=E[L | FT]dP | FT,dQ=LdP | HT,L:=dQdP | GT,26 A.CALVIA和E.ROSAZZA GIANINkt(Q)是一个FT可测量的随机变量,取决于Q并满足kt(Q)≥ 1 P-a.s.,和αt(Q):=ess supξ∈L∞(英尺)均衡器[-ξ| Ft]- ρt(ξ), (5.8)αt(Q):=ess supξ∈L∞(HT)均衡器[-ξ(τ,ζ)| Ht]- ρt(ξ(τ,ζ)). (5.9)此外,αt(Q)1t≥τ=αt(Q)1t≥τ.备注5.2。回想一下,根据[10,Prop.2.7]中的(i),对于某些FT,任何HT可测量的随机变量ξ的形式为ξ=x(τ,ζ B(R+) B(E)-可测地图x。为了简化旋转,我们仍将使用符号ξ表示地图x,如(5.9)所示。证据修复t∈ [0,T]和Q∈ Q→. 通过对αt(Q)的定义以及命题2.8和5.2,我们得到了αt(Q)≥ 均衡器[-ξ| Gt]- ρt(ξ)=Φ- ρt(ξ)t<τ+Φ(τ, ζ) - ρt(ξ(τ,ζ))t型≥任意ξ的τ∈ L∞(GT)。