|
定理3的证明。定理3的证明步骤基于新引理8和标准概率分解。对于x<0,从强Markovproperty和x向上无跳跃的事实来看,我们得到了-q▄κλr{▄κλr<τ+b}i=e-qrPxτ+>r+ Ehe公司-q▄κλr{▄κλr<τ+b}iExhe-qτ+{τ+<r}i.(38)因此,对于0≤ x个≤ b、 我们得到了-q▄κλr{▄κλr<τ+b}i=Exe-qT-额外的-他-q▄κλr{▄κλr<τ+b}i{T-<τ+b}.注入(38)在最后一个期望中,我们有,f或所有x∈ 雷克斯-q▄κλr{▄κλr<τ+b}i=e-qrExe-qT-PXT公司-τ+>r{T-<τ+b}+Ehe公司-q▄κλr{▄κλr<τ+b}iExe-qT-额外的-他-qτ+{τ+<r}i{T-<τ+b}= e-qrExhe公司-qT-{T-<τ+b}i-e-qrExhe公司-qT-∧(XT-, r) 1{T-<τ+b}i+e-克里赫-q▄κλr{▄κλr<τ+b}iExhe-qT-∧(q)(XT)-, r) 1{T-<τ+b}i,(39),其中在上一个等式中,我们使用恒等式(34)。对于x=0,使用最后一个等式E-q▄κλr{▄κλr<τ+b}i=e-克里赫-qT-{T-<τ+b}i-e-克里赫-qT-∧(XT-, r) 1{T-<τ+b}i1- e-克里赫-qT-∧(q)(XT)-, r) 1{T-<τ+b}i.(40)从(35)、(36)和(37)中,我们得到了-qT-∧(XT-, r) 1{T-<τ+b}i=λ+q1- e(λ+q)r-∧(q)(b;r,-q)- ∧(q)(b;r,λ)Zq(b,Φλ+q)!,(41)安第厄-qT-∧(q)(XT)-, r) 1{T-<τ+b}i=eqr-e(λ+q)r-∧(q)(b;r)- ∧(q)(b;r,λ)Zq(b,Φλ+q)。(42)在(40)中插入(41)和(42),我们得到-q▄κλr{▄κλr<τ+b}i=λ+q1-Zq(b)+∧(q)(b;r)- ∧(q)(b;r,-q) Zq(b,Φλ+q)e(λ+q)r+∧(q)(b;r)- ∧(q)(b;r,λ)=λλ+q1-S(q,λ)(b,r)Θ(q)(b;r,λ)!。(43)我们最终通过将(39)中的最后一个期望值与(36)和(37)一起插入来获得结果。为了证明(25),我们再次使用了X的强马尔可夫性和谱负性,对于X<0Exhe-qτ+b{τ+b<κλr}i=Ehe-qτ+b{τ+b<κλr}iExhe-qτ+{τ+<r}i。
|