我们最终可能会定义一个函数g(y):=2Cδ(y+1)2(α+δ)+y2(α)-δ), Y∈ (0,1],18CLg(y+1)2(α-1) +2Cδαy2(α-1+δ),y∈ (1, ∞),哪一个满足了0≤ Gh(y)≤ G(y)表示任何y∈ (0, ∞) h∈ (0,1),并且在(0,∞)通过上述δ和δ的选择。(ii)为了显示修改的存在,我们需要一个涉及非对称过程f(t):=Z的定位程序∞g(s)σ(t)- s) ds,t∈ R.我们首先检查F在(A1)和(A2)下是局部有界的,这对本地化至关重要。为此,让我们∈ (0, ∞), 为任何一个t写∈ [-T、 T],F(T)=F[(T)+F](T),其中F[(T):=ZM+2Tg(s)σ(T- s) ds,F](t):=Z∞M+2Tg(s)σ(t)- s) ds,M>1是x7→ |g(x)|在[M]上不增加,∞), 如(i)的证明。由于gis在(0,∞) σ局部有界,对于任何t∈ [-T、 T],0≤ F[(t)≤ (M+2T)- 1) supy∈[1,M+2T]g(y)supu∈[-M-3T,T-1] σ(u)<∞.此外,当t∈ [-T、 T],F](T)=Zt-(M+2T)-∞g(t)- u) σ(u)du,其中g(t- u)≤ g(-T- u) 既然争论令人满意- U≥ -T- U≥ -T-T- (M+2T)≥ 因此,0≤ F] (t)≤Z-(M+T)-∞g(-T- u) σ(u)du≤Z∞g(s)σ(-T- s) ds<∞无论如何∈ [-T、 几乎可以肯定,正如我们所做的那样Z∞g(s)σ(-T- s) ds=Z∞g(s)E[σ(-T- s) [ds=E[σ(0)]Z∞g(s)ds<∞,其中,我们根据Tonelli定理改变期望和积分的顺序,最终等式来自σ的协方差平稳性。所以我们可以得出结论,F是Indeed局部有界的。现在让我∈ 对于局部化,定义一系列停止时间τm,N:=inf{t∈ [-M∞) : F(t)>n或|σ(t)|>n},n∈ N、 这满足τm,N↑ ∞ 几乎可以肯定→ ∞ 因为F和σ都是局部有界的。(我们遵循通常的惯例 = ∞.) 现在考虑修改后的BSS流程x+m,n(t):=Zt-∞g(t)- s) σ(min{s,τm,n})dW(s),t∈ [-M∞),这与随机区间J上的X一致-m、 τm,nK。
|