|
在我们开始这个证明之前,让我们回顾一个重要的引理,在我们的例子中,它适用于Zsince的所有跳跃,假设Zsince有很多跳跃。引理7。设f是[a,b]上的c\'adl\'ag(c\'agl\'ad)函数。定义Jf=y∈ [a,b]:|f(y+)-f(y)-)| >}. 然后,Jf对于每一个>0都是有限的。证据例如,见Folland(1999年)。为了简单和节省空间,我们通常将m(τni,Zτni)+P(τni,Zτni)sgn(Zτni)Zτni(61)乘以W(τni,Zτni)。现在写出Pni=1[W(τi,Zτi)- W(τi,0)]Zτias limn→∞圆周率≥1[W(τni,Zτni)-W(τni,0)]Zτni。然后,我们可以很容易地验证这个极限也等于托利姆→∞十一≥1[W(τni,Zτni)- W(τni,0)]Zτni=limn→∞X | Zτni-Zτni-1|≤[W(τni,Zτni)- W(τni,0)]Zτni+limn→∞X | Zτni-Zτni-1 |>[W(τni,Zτni)- W(τni,0)]Zτni(62)因此,我们必须证明右边的项以n的形式存在→ ∞. 让我们关注第二项,假设zi是一个c\'adl\'ag过程。根据上述引理,JZ是有限的,因此第二个极限可以写成x∈JZ[W(s,Zs)- Zs-) - W(s,0)](Zs- Zs-) (63)关于第一项,我们对每个M(τni,·)和P(τni,·)应用泰勒近似。那么,林→∞X | Zτni-Zτni-1|≤[(M(τni,Zτni)- M(τni,0))+(P(τni,Zτni)sgn(Zτni)- P(τni,0)sgn(Zτni)]Zτni=limn→∞X | Zτni-Zτni-1|≤[M′(τni,0)+P′(τni,0)sgn(Zτni)](Zτni)+limn→∞X | Zτni-Zτni-1|≤[oM(τni,Zτni)+oP(τni,Zτni)sgn(Zτni)]Zτni=limn→∞十一≥1[M′(τni-1,0)+P′(τni-1,0)sgn(Zτni)](Zτni)+limn→∞十一≥1[(M′(τni,0)+P′(τni,0)sgn(Zτni)-(M′(τni)-1,0)+P′(τni-1,0)sgn(Zτni)](Zτi)- 画→∞X | Zτni-Zτni-1 |>[M′(τni,0)+P′(τni,0)sgn(Zτni)](Zτni)+limn→∞X | Zτni-Zτni-1|≤[oM(τni,Zτni)+oP(τni,Zτni)sgn(Zτni)]Zτni(64)让我们关注第一个极限。
|