从[35]的定理2.7证明定理B.1,对于[0]上的任何Borel集A,∞), 在R上,和(-∞, 0]分别为ExhZτ-e-qt{Xt∈A} dti=扎赫-Φ(q)yW(q)(x)- W(q)(x)- y) idy,x≥ 0,(D.1)ExZ∞e-(q+λ)t{Xt∈A} dt公司=ZA“eΦ(q+λ)(x-y) ψ(Φ(q+λ))- W(q+λ)(x- y) #dy,x∈ R、 (D.2)ExhZτ+e-(q+λ)t{Xt∈A} dti=ZAeΦ(q+λ)xW(q+λ)(-y)- W(q+λ)(x- y)dy,x≤ 0(D.3),其中τ-定义于(3.4)和τ+:=inf{t≥ 0:Xt>0}。我们将证明z=0和computeg(x):=ExhZT的结果-e-qth(Xt)dti,x∈ R、 一般情况如下,因为L'evy过程的空间同质性意味着RT-ze公司-qth(Xt)dt=前任-zRT-e-qth(Xt+z)dt对于x,z∈ R、 36 Z.PALMOWSKI、J.L.P'EREZ、B.A.SURYA和K.YAMAZAKIFor x∈ R、 根据强马尔可夫性质,g(x)=ExhZτ-e-qth(Xt)dti+Exhe-qτ-g(Xτ-)1{τ-<∞}i、 (D.4)特别是,对于x<0,再次通过强马尔可夫性质,g(x)=A(x)g(0)+B(x),其中,对于x≤ 0,A(x):=Exhe-qτ+{τ+<Tλ}i=Exhe-(q+λ)τ+i=eΦ(q+λ)x,B(x):=ExhZτ+e-qt{t<tλ}h(Xt)dti=Z-∞h(y)eΦ(q+λ)xW(q+λ)(-y)- W(q+λ)(x- y)dy.在这里,前者的第一个等式成立,因为Tλ是一个具有参数λ的独立指数随机变量,并且符合[37]的定理3.12。后者的第二个等式是(D.3)的结果。现在,到(3.5),Exhe-qτ-A(Xτ-)1{τ-<∞}i=H(q)(x;Φ(q+λ)),x∈ R、 对于(3.5)中定义的函数H(q)。此外,通过[52]中定理4.1的证明,我们得到了-qτ-B(Xτ-)1{τ-<∞}i=W(q)(x)Z-∞h(y)h(q+λ)(-yΦ(q))dy-Z-∞h(y)I(q,λ)(x,-y) dy.将这些替换为(D.4),然后应用(D.1)和[52]中的备注4.3,我们得到,对于所有x∈ R、 (D.5)g(x)=g(0)H(q)(x;Φ(q+λ))+W(q)(x)Z∞-∞h(y)h(q+λ)(-yΦ(q))dy-Z∞-∞h(y)I(q,λ)(x,-y) 另一方面,利用强马尔可夫性质,我们还可以写出eg(0)=E“E”ZTλE-qth(Xt)dt+1{Xtλ>0}Z▄T-Tλe-qth(Xt)dtTλ,(Xu)0≤u≤Tλ##=γ+γ,其中γ:=E“ZTλE-qth(Xt)dt#和γ:=E“E-qTλg(XTλ)1{XTλ>0}#。(D.6)我们将在下面计算γ和γ。