|
但这与IMR是矛盾的→∞h(r)=limr→∞φ′′(r)φ′(r)=-2aδ>-1.因此,它必须保持h(r)>-1表示r>r,因为limr→0h(r)=-∞, 根据中值定理,必须有一个r*∈ (0,R)这样的h(R*) = -1.引理2.8的证明注意λy不是停止时间,因为{λy≤ t}/∈ Ft.此外,我们从引理1.3和Bor odin&Salminen[5,p.27]得知λy<∞ a、 s.带Pr[0<λy≤ t] =Ztp(u;r,y)G(y,y)du,其中p(t;r,y)是{rt}相对于速度度量m的跃迁密度,密度m′为{rt}(对于m和m′的精确公式,请参考[10,p.366]公式(1.4);m′的微分方程见[5,p.18]),Gα(r,y)是G(y,y)=Z的格林函数∞p(t;y,y)dt。设g(t;r,y)是{rt}相对于Lebesg ue测度的密度。Theng(t;y,y)=p(t;y,y)m′(y)。因此,使用上述公式计算G(y,y):Py[0<λy≤ t] =Ztg(u;y,y)R∞g(z;y,y)dzdu。根据(2),密度g(t;y,y)由g(t;y,y)=c(t)e给出-u(t,y)-v(t,y)v(t,y)u(t,y)q/2Iq(2pu(t,y)v(t,y)),Iqis修改了第一类q阶贝塞尔函数。
|