根据(3.2.5),(3.2.7),andIto的公式,对于,(3.2.9)其中自从总之根据Doob[29]第164页的论点,可以得出如下结论:总之.(3.2.10)从(3.2.9)和(3.2.10)中,我们可以看到(3.2.11)和从(3.2.8)得出(3.2.11)的左侧等于零。自从 永不消失,我们已经证明了这一点 总之 因此,通过(3.2.9)对于.(3.2.12)同等地,(3.2.13)对于一些布朗运动其中(3.2.13)的第一个等式来自罗杰斯和威廉姆斯[50]第64页的定理34.1,第143页的(3.2.12)和引理4.4.4的第二个等式来自未知局部挥发性的导数页| 387-Oct-13Schreve[6]。众所周知 对于 因此,根据(3.2.13)和盲期望定律,(3.2.14)对于. 从(3.1.4)、(3.2.7)和(3.2.14)中,我们得出以下结论:(3.2.15)在哪里(3.2.16)对于给定的, 还有, 允许, 哪里定义如(3.1.4)所示。根据Doob[29]第233页的定理8.1,具有命题6条件(ii)中假设的广义马尔科夫性质当且仅当(3.2.17)使用(3.2.15),我们确实验证了 为将军我们获得(3.2.18)使用(3.1.4)和(3.2.1)。