|
(8) 用与(5)中相同的远足语言,我们重写了(8)asExe-qτ-; X(τ--) ∈ dy,-X(τ-) ∈ dz,X(τ--) ≥ v= 前任Xθ≥0e-qL系列-1(θ-)Yt<θ{εt<x+t-v} e类-qρ+x+θ(θ){εθ>x+θ}×1{x+θ-εθ(ρ+x+θ(θ))-)∈dy,-(x+θ-εθ(ρ+x+θ(θ)))∈dz,αx+θ(θ)≤x+θ-v}, x、 y,z∈ (0, ∞), v∈ (0,x∧ y] ,(9)式中,εθ表示τ之前的最后一次偏移-, ρ+x+θ(θ)和αx+θ(θ)由(1)和(2)定义,其中ε替换为εθ,b替换为x+θ,以及x(τ--) = inf0≤t<θ(x+t-εt)∧(x+θ-αx+θ(θ))。根据(9),众所周知的双边出口身份(见Kyprianou(2006)),前e-qτ+s{τ+s<τ-v}=Wq(x- v) Wq(s)- v) ,0<v<x<s<∞,3主要结果和补偿公式(参见Bertoin(1996))在漂移理论中,可以得到e-qτ-; X(τ--) ∈ dy,-X(τ-) ∈ dz,X(τ--) ≥ v=Z∞前任e-qL系列-1(θ-)Yt<θ{εt<x+t-v}×ne-qρ+x+θ(θ){εθ>x+θ}×1{x+θ-εθ(ρ+x+θ(θ))-)∈dy,-(x+θ-εθ(ρ+x+θ(θ)))∈dz,αx+θ(θ)≤x+θ-v}dθ=Z∞前任e-qτ+x+θ{τ+x+θ<τ-v}ne-qρ+x+θ{ε>x+θ}{x+θ-ε(ρ+x+θ-)∈dy,ε(ρ+x+θ)-(x+θ)∈dz,αx+θ≤x+θ-v}dθ=Z∞xEx公司e-qτ+s{τ+s<τ-v}ne-qρ+s;ε>s,s- ερ+s-∈ dy,ερ+s- s∈ dz,αs≤ s- vds=Z∞xWq(x- v) Wq(s)- v) n个e-qρ+s;s- ερ+s-∈ dy,ερ+s- s∈ dz,αs≤ s- vds,与(8)yieldsWq(x)相结合- v) n个e-qρ+x;x个- ερ+x-∈ dy,ερ+x- x个∈ dz,αx≤ x个- v=W′q(x- y) Wq(x- 五)- Wq(x- y) W′q(x- 五)Wq(x- 五){x>y}ν(dz+y)dy+Wq(0)Wq(x- v) ν(dz+x)δx(dy),x,y,z∈ (0, ∞), v∈ (0,x∧ y] ,即(7)。证明是完整的。下面的引理3。3解决了基于一般下降的双边退出问题,可在Li等人(20 17)的命题3.1和引理3中找到。Wang和Zhou(2018)的第2页。引理3.3。
|