|
此外,根据[28,Theorem3.1],我们有→ ∞,uαP(XY/u∈ ·)体重-→ δY(w∈\'D[0,T]:Xw∈ ·) 在B((R)D([0,T])上,一个简单的计算表明δ(·):=δY(w∈\'D[0,T]:Xw∈ ·) = σαNZTE[Vs]Z∞{wt=e-a(t-s) y1【s,T】(T)∈·}να(dy)ds引理4.7的证明。在(24)中,一个初等不等式表明存在一个局部有界函数C(·),使得exhsup0≤t型≤TVβti≤ C(T)xβ+bβ+σβExhsup0≤t型≤T中兴通讯-a(t-s) PVSDBβi+σβNExhsup0≤t型≤T中兴通讯-a(t-s) V1/αs-dZs公司βi. (49)通过H¨older不等式和Doob鞅不等式,存在一个局部有界函数(·),使得exhsup0≤t型≤T中兴通讯-a(t-s) PVSDBβi≤ 2βExhZTE2SVSDSβ/2i≤ 2βZTEx[e2asVs]dsβ/2≤ C(T)xβ/2eβaT/2+eβaT.此外,根据Long[38,引理2.4],这是Rosinski和Woyczynski[41,定理3.2]的推广,存在局部有界函数C(·)和C(·),因此exhsup0≤t型≤T中兴通讯-a(t-s) V1/αs-dZs公司βi≤ C(T)排气中兴通讯αasVsdsβ/αi≤ C(T)ZTEx[eαasVs]dsβ/α≤ C(T)xβ/αeβa(1-1/α)T+eβaT.通过组合(49),(50)和(50),我们得到了引理。引理5.1的证明。通过(2),我们注意到{τ>t}=nτ>t,ZtZVs-Z∞yζN(ds,du,dζ)=0o。由于V(y)与V到τ重合,因此(2)和(35)之间的比较表明{τ>t}=nτ>t,ZtZV(y)s-Z∞yζN(ds,du,dζ)=0oa。s、 Ifτ≤ t、 我们马上就有了ZTZV(y)s-Z∞yζN(ds,du,dζ)≥ZτZV(y)s-Z∞yζN(ds,du,dζ)=ZτZVs-Z∞yζN(ds,du,dζ)>0。因此{τ>t}=nZtZV(y)s-Z∞yζN(ds,du,dζ)=0oa。s、 (50)回想一下,1{ζ>y}N(ds,du,dζ)是N(ds,du,dζ)到(0,∞) ×(0, ∞) ×(y,∞),它独立于1{ζ≤y} N(ds,du,dζ)。由(35)我们得到1{ζ>y}N(ds,du,dζ)独立于(V(y)t,t≥ 0). 然后以(V(y)t,t为条件≥ 0),RtRV(y)s-R∞yN(ds,du,dζ)是一个具有强度函数的时间非齐次泊松过程R∞yνα(dζ)V(y)。。注意,τ是σZRtRV(y)s的第一个跳跃时间-R∞yN(ds,du,dζ),和Vτ是σZRtRV(y)s的第一个跳跃大小-R∞yN(ds,du,dζ)。
|