让q∈ (1, +∞), Z=E(M)是q-可积的正F-鞅,X,Xo+和Θ是X给出的集合:=n(Д(o),Д(pr))∈ Φq |(3.29)和(3.30)holdo,(4.93)Xo+:=nД(o)(Д(o),0)∈ X,Д(o)≥ 0页 dDo,F-a.e.o,(4.94)Θ:=nθF-可选|θG≥ 1 andeG(θ- G-1) ∈ Xo+o.(4.95)此处(ψ,ψ)∈ ΦqmeansД∈ Ioloc(NG,G)应确保∈ Mqloc(G)和ψ∈ Lqloc公司(Ohm×[0, +∞), 程序(F),PdD)。那么以下不等式成立(Д(o),Д(pr))∈XEh公司Zτ∧T/Eτ∧T(克-1.-om)qET(Д(o)oNG)qET(Д(pr)oD)qi≤ inf^1(o)∈Xo+EhZτ∧T/Eτ∧T(克-1.-om)qET(Д(o)oNG)合格中介机构≤ infθ∈ΘEZTGqZqtθqtEt(-θGeGoDo,F)qdDo,Ft+G1-qTZqTET-θGeGoDo,Fq.为了简化解释,引理的证明被放在附录C中,本节f的其余部分集中于证明定理4.7。证据在定理4.7中,定理的证明将分为三部分,分别证明断言(a)、(b)和(c)。第1部分。让Z∈ Zloc(ST,F)。然后存在一个F-可预测过程,使得0<Д≤ 1和Z(ДoS)T∈ Mloc(F)。因此,将位置3.3直接应用于对ZT和ZT(ДoS)Timplies,即Zτ∧T/E(G-1.-om) τ∧Tand Zτ∧T(ДoSτ)∧T) /E(G-1.-om) τ∧t等于Mloc(G),或等于lyzτ∧Tand Zτ∧T(ДoSτ)∧T) 属于Mloc(G,eQT)。这证明了Zτ∧t延伸至Zloc(Sτ∧T、 G,eQ),对于任何Z∈ 一方面,Zloc(ST,F)。另一方面,对于任何Z,通过puttingeQ:=eQT∈ Z(q)(ST,F),我们导出eqZqτ∧T= E“Zqτ∧TEτ∧T(克-1.-om) #=E“ZTZqtEt(G-1.-om) dDo,Ft#+E“1- G+ZqTGTET(G-1.-om) #=E1.- G- GZTZqtdEt公司(-如-1oDo,F)+ EhGZqTET(-如-1oDo,F)i=1+EGZTEt公司-(-如-1oDo,F)dZqt= 1+q(q- 1) E类GZTZqt-Et公司-(-如-1oDo,F)dH(q)t(M)≤ 1+q(q- 1) E类ZTZqs-dH(p)s(M)= EZqT公司, (4.96)式中,M:=Z-1.-oZ和H(q)(M)由(D.103)定义。最后两个等式是(D.105)-(D.106)的直接结果,而第二个等式是(2.11)和(4.78)的结果。