|
然后,对于所有Borel子集A R:PBτRP∧τRP∈ A.= PBτRP∈ A、 BτRP∈ K+ PBτRP∈ A、 BτRP∈ Kc公司= PBτRP∈ A、 BτRP∈ K+ PBτRP∈ A、 BτRP∈ Kc公司= PBτRP∈ A.,自BτRPi~ ν。因此τRP∧τRp嵌入ν。类似地,我们看到τRP∨τRp也嵌入ν。由于τRP和τRP都是最小嵌入,我们推断τRP∧ τRP=τRP∨ τRP,因此τRP=τRP。tuAs Tu,Td可以从停止时间中恢复u-a.s。τRit表明Tu,Td是唯一确定的,我们得到了定理4.4。假设u ν和u没有原子。u,ν精确地存在一左单调鞅耦合。备注4.5。在文献[5]中,定理4.4是在不假设u没有原子的情况下证明的。可以使用目前的方法来确定这一更普遍的结果;basicidea将度量u表示为setL上的无原子度量u:=[x∈Suppu{x}×[0,u({x})]。由于上述引申到更一般情况的论点是直截了当的,并且结果是从[5]中知道的,因此我们不进行详细阐述。最后,我们给出了单调鞅迁移计划的Skorohod嵌入解释的一个附加性质。提案4.6。流程B∧τRis是一致可积鞅。证据根据命题4.1和引理4.2,τR=τPis是具有起始度量u的ν的最小嵌入。自E起BτP= E[B],我们从引理12和定理17 inCox[10]中知道,极小值等价于过程B的一致可积性∧τP。为方便读者,我们还提供了设置中一致性的直接证明。观察B∧τP∈Td(B)、Tu(B), a、 然后,条件B,过程B∧τP是有界鞅。根据Jensen不等式,这提供了φ(Bt∧τP)| B≤ Eφ(BτP)| B, a、 s。
|