|
此外,注A.1,停止时间τ现在完全不可访问,因此郭和曾(2008)的定理1.3适用,因此该过程Ztf(s,Xs)-) d1{τ≤s}-ZtZ(-∞,-Xs]f(s,Xs)1{τ>s}v(dy)dsT≥0是一个FX局部鞅。现在假设v(R)=∞, 然后,根据Sato(1999)的定理21.3,在每个有界区间上有无数次跳跃。因此,郭和曾(2008)的结果本次不直接适用。但是,由于u>0,每x≥ 0是一个不规则的点(-∞, 0],这意味着Px(τ=0)=0,参见Kyprianou(2006)的定理6.5及其后续讨论。所以,使用补偿公式,他们的证明实际上表明Z∞Hsd1{τ≤s}= EZ∞Hs{τ>s}Z(-∞,-Xs]v(dy)ds,理解到左手边定义良好,当且仅当右手边定义良好且它们相等时。同样通过引理A.2,对于每t>0,RtR(-∞,-Xs]{τ>s}v(dy)ds几乎肯定是有限的,因此根据Jacod和Shiryaev(1987)第一章的引理3.10和3.11,这个过程RtR(-∞,-Xs]{τ>s}v(dy)dsT≥0属于Aloc。因此,根据引理A.1,在任何一种情况下,(3.7)中第二项的可预测有限变化部分如下所示:ZtZ(-∞,-Xs]f(s,Xs)1{τ>s}v(dy)dsT≥0.(3.9)第3步。最后,我们在(3.7)中找到了第三项的正则分解。指示程序{τ≤t}T≥0是有限的变量。然后通过命题4.49(a),Jacod和Shiryaev(1987)的ChapterI,我们得到[f(,X.),1{τ≤.}]t=Ztf(s,Xs)d1{τ≤s} 。这是一个特殊的半鞅,可以证明它属于Aloc。因此,通过引理A.1,为了获得过程中可预测的有限变化部分,我们需要计算以下期望值Z∞Hsd[f(,X.),1{τ≤.}]s= EZ∞Hsf(s,Xs)d1{τ≤s},对于任意有界非负可预测过程H。
|