|
很容易看出,对于`≥ 1Q(X,`)=[Q(X+1,`-1) +Q(X- 1,`-1) ],X≥ 边界条件Q为0,(59){lw\\u recurr.1}(-1,`)=0和Q(∞, `) 对所有对象无分歧`≥ 对于所有X,初始条件Q(X,0)=1≥ 生成函数Q(X,z)=P`≥0Q(X,`)z`则满足递归关系▄Q(X,z)=1+zh▄Q(X+1,z)+▄Q(X- 1,z)i,X≥ 0。(60){lw\\u recur.2}对于上述适当的边界条件,该线性递归关系可以很容易地求解,从而得到所有X≥ 0Q(X,z)=1- z1.- [λ(z)]X+1, 式中λ(z)=zh1-p1级- zi。(61){lw\\u recur.sol1}特别地,我们得到q(z)=X`≥0q(`)z`=~Q(0,z)=1- λ(z)1- z=√1+z-√1.- zz公司√1.- z、 (62){lw\\u recurr.sol2}特别是,当z→ 1、~q(z)≈√2/√1.- z、 产量(`)≈√√π`, ` → ∞ , (63)记录强相关时间序列19的统计数据,该时间序列因因子而异√2从(51)中获得的连续跳跃分布的结果。有趣的是,(62)中的相同结果也可以从(49)中的SparreAndersen定理推导出来。为此,我们需要计算p-(`)=Prob(X`≤ 0)。注意,对于晶格行走,Prob(X`≤ 0)=概率(X`<0)+概率(X`=0)。利用对称性Prob(X`>0)=Prob(X`<0)和总概率增加到一的事实,我们有2个Prob(X`<0)+Prob(X`=0)=1。因此,我们得到-(`)=[1+概率(X`=0)]。(64){lw\\u SA.1}但是返回原点的概率的母函数可以是平凡的计算[62]X`≥0Prob(X`=0)z`=√1.- z、 (65){lw\\u SA.2}使用(49)右侧的这个结果和一些直接代数步骤可以得到(62)中所需的结果。将(62)中的精确q(z)替换为(47)中的精确q(z),然后给出晶格行走的精确P(M | N)。我们也可以精确地计算M的所有矩。
|