|
引理2的证明。1: 由于S(t)是一个平稳的高斯过程,那么对于任何t∈ [0,1],根据[1]中的方程式(3),(S(t),S(0))的节理密度由以下公式得出:Д(S(t)=y,S(0)=x)=2πpt(2- t) expn公司-(y+x)2- t+(y- x) t型o、 因此,给定S(0)的S(t)的条件密度为Д(S(t)=y | S(0)=x)=Д(S(t)=y,S(0)=x)Д(S(0)=x)=p2πt(2- t) expn公司-2t(2- t) (y+(t- 1) x)o.SLEPIAN过程的边界不交叉概率7引理2的证明。3: Zt,t的证明∈ [0,1]是一个明显的高斯过程,遵循标准布朗运动B的性质。在不损失慷慨度的情况下,假设0≤ T≤ T≤ 1,thenRZ(t,t):=E[ZtZt]- EZtEZt=En[(2- t) B(t2- t) +(1- t) x][(2- t) B(t2- t) +(1- t) x]o- (1)- t) (1)- t) x=(2- t) (2)- t) ·最小值(t2- t、 t2级- t) =t(2- t) 。完成证明。理论证明3。1: 观察到概率(1)可以重写为asP{S(t)≤ a、 对于所有t∈ [0,1]}=Za-∞P{S(t)≤ a、 对于所有t∈ [0,1]| S(0)=x}(S(0)=x)dx,给定S(0)的S(t)的条件分布等价于过程Z(t)的分布,然后p{S(t)≤ a、 对于所有t∈ [0,1]}=Za-∞P{Zu≤ a、 适用于所有u∈ [0,1]}φ(x)dx,其中φ是标准正态分布的密度函数,即φ(x)=√2πe-x、 并表示Φ(x)=Rx-∞φ(s)ds标准正态分布的累积分布函数。ThenP{S(t)≤ a、 对于所有t∈ [0,1]}=Za-∞P[(2- t) B(t2- t) +(1- t) x个≤ a,对于所有t∈ [0,1]]dΦ(x)=Za-∞P[B(u)≤ (a+x)u+a- x、 适用于所有u∈ [0,1]]dΦ(x)。因为,B(t)的概率≤ a+bt代表所有t∈ [0,T]是众所周知的,可以从著名的Bachelier-Levy公式中获得(见等式(7))。
|