|
明确给出了runningminimum的尾部渐近性和概率分布。推论4.7 Px(τ)的尾部渐近*∈ dt)由px(τ)给出*∈ dt)~1 + cx公司-1.- e-2αx2αp(t)~ p(t),t↓ 0+,(左尾渐近)和px(τ*∈ dt)~1 + cx+(1- αx)1.- e-2αx2αx!!p(t)~ p(t),t↑ +∞. (右尾渐近)证明:左尾渐近由参考[9]Erfcx的计算给出√2t+αrt!~ 经验值-x个√2t+αrt!, t型↓ 0+. (39)考虑右尾。注意,如果我们重复使用(39),Px(τ)的第二项*∈ dt)将在第一项消失时保持不变。这导致t的尾部渐近为常数↑ +∞, 然而,Px(τ*∈ dt)↓ 确实是0。请参阅另一个事实,即:~e-yy年√π1.-2年, y↑ +∞. (40)还要注意Px(τ)的第一项*∈ dt)可重新表示为1+cx公司+1.- e-2αx(αt- x) 2αx!!p(t)=1+cx公司-1.- e-2αx2α!!p(t)+1.- e-2αxt2xp(t)。(41)然后将(40)和(41)代入Px(τ∈ dt),我们发现为t↑ +∞,Px(τ*∈ dt)~1 + cx公司-1.- e-2αx2α!!p(t)+1.- e-2αxe-x2t型√2πt- α1.- e-2αx·√2e类-x2t型√πtα+α1.- e-2αx·√2e类-x2t型√παt=1+cx公司-1.- e-2αx2α!!p(t)+0+1.- e-2αx2xαp(t)。这就完成了证明。备注4.8推论4.7表示τ的FPTD*具有与布朗运动的FPTD相同的尾部。我们知道布朗运动是一个零递归马尔可夫过程。因此,我们可以推断Ex[τ*] =+∞. 事实上,根据一阶矩规则和(34),我们可以检查*] = -f(β)ββ=0= +∞.固定t的推论4.9≥ 0和a<x,表示运行最小byX*t: =最小0≤u≤t{Xu}。同时写入Px(τ*∈ dt)带参数, x、 α,c asp(t|, x、 α,c)。然后,X的一阶扰动分布*由px(X)给出*t型≤ a) =Ztpu型|e-2αa,x- a、 α,ce2αa杜。证明:引入{Yt}t≥0使YT=Xt- 一t型≥ 0.Ytis的SDE由DYT=e给出-2αae-2αYt- ce2αadt+dWt,Y=Y=x- a、 (42)类似定义*t: =最小0≤u≤t{Yu}。
|