|
命题2.4中出现的可分性假设只需要确保存在一个版本的双F-可预测投影Sηx[[ηx,∞[[这在x中是可测量的,参见[SY78,命题4].2.4。G中的强可预测表示性质。本节包含主要结果的陈述。由于证明是相当技术性的,并且涉及多个中间测试和辅助结果,因此它们被推迟到第4节。我们从下面的定理开始,它代表了中心结果,参考第4.1节以获得其证明的概要。定理2.6。假设假设2.2成立,空间L(Ohm, A、 P)是可分离的。如果S=(St)t≥0在上具有强可预测表示属性(Ohm, F、 P),然后进程ssSG=(SGt)t≥(2.2)中定义的0在(Ohm, G、 P)。根据定义2.1,定理2.6表明,如果S在(Ohm, F,P),然后每个局部鞅M=(Mt)t≥0on(Ohm, G、 P)允许所有t的随机积分表示(2.3)Mt=M+(ν·SG)t,P-a.s∈ R+,式中为(ηt)t≥0是一个G-可预测的过程,允许其进行显式表征(见(4.14))。如文献中所述,定理2.6概括了先前在关于初始放大过滤的文献中获得的鞅表示结果。特别是,没有对家庭{qx:x进行假设∈ E} L的条件密度,除了它的存在。在本小节的剩余部分中,我们给出了L的条件密度在附加假设下的一些替代鞅表示结果。
|