|
由于Z/qLis是一个三次正局部鞅(Ohm, G、 P)(见引理6.1),必须是E[ZT/qLT]<1和Z/qL/∈ M(P,G)(即Z/qLis astrict局部鞅)。考虑这对(0,0)∈ AF,km(1),生成定值过程v1,0,0=1。自ZGV1,0,0=Z/qL/∈ M(P,G),这表明(0,0)/∈ AG,km(1),从而提供AF,km(1)*AG,km(1)。相反,假设E[1/qLT]=1,let(θ,c)∈ AF,km(v)。让u s表示V:=Vv+k,θ,candeC:=R·ZFucudκu,并注意E“eCTqLT#=E”eCTqLT{qLT>0}#=ZEEeCT{qxT>0}λ(dx)=E发射型计算机断层扫描仪< +∞,其中,我们使用了公式(6.1)和等价物(iii)<=>(iv)定理2.4。同样根据Theorem2.4,它认为1/qL∈ M(P,G)。因此,取1/qLT的G-可选投影(参见,例如,[HWY92,定理5.16]),我们可以为所有t∈ [0,T],E“eCTqLTGt#=E“ZTtqLTdeCu+eCtqLTGt#=EZTTQLUDEC公司燃气轮机+eCtqLt=EZTqLudeCu燃气轮机-ZtqLudeCu+eCtqLt,因此表明EC/qL-R·(1/qLu)deCu∈ M(P,G)。自(θ,c)起∈ AF,km(v),它认为ZFV+eC∈M(P,F)。根据定理2.4,E[1/qLT]=1的事实意味着(ZFV+eC)/qL∈ M(P,G)。28 HUY N.CHAU、ANDREA COSSO和CLAUDIO Fontana根据部件积分公式,我们得到了thatZGtVt+ZtZGudCu=Zftvqlt+ZtqLudeCu=ZFtVt+eCtqLt-eCtqLt+ZtqLudeCu,适用于所有t∈ [0,T]。这证明了ZGV+R·ZGucudκu∈ M(P,G),所以(θ,c)∈ AG,km(v)。引理3.4的证明。CH,k+(v)=CH,ksm(v)这一事实是引理3.2第(i)部分的直接结果。如果是c∈ CH,k+(v),则存在θ∈ L(S,H)使得(θ,c)∈ AH,k+(v)=AH,ksm(v)(见引理3.2)。因此,由于过程ZHVv+k,θ,c+R·ZHucudκuan的超马氏性,以及Vv,θ,cT≥ 0 a.s.,它保持V+k≥ EZHTVv+k,θ,cT+ZTZHucudκuH≥ EkZHT+ZTZHucudκuH,所以E[RTZHucudκu | H]≤ v+k(1-E[ZHT | H])a.s.相反,设C:=R·cudκu,并假设E[RTZHudCu | H]≤ v+k(1-E【ZHT | H】)a.s。
|