特别是,我们希望有限制→∞Q{Yt∈ (0,F(X- u)]}=limt→∞Q{[Yt∈ [F(X+u),1)}=0,而对于任何 > 0,limt→∞Q{Yt∈ (1 -, 1] }=limt→∞Q{Yt∈ [0, )} > 0和极限→∞Q{Yt∈ [F(X-u),F(X+u)]}>0.9.3在本节中,我们展示了对于X∈ (0, 1), η< ∞ 而S(T)<S(T),Qt(T)的累积分布函数FQt(T)(x)由Φ(z?(T,T,x,η)给出。首先,我们注意到ηZt~其中Z是标准正态变量,Qt(t)的分布函数由Q{Qt(t)6x}=Q{Q(t,t;Z)6x}(9.2)=QnΦ给出m(t,t)+pv(t)Z6×Φm(t,t)+pv(t)Zo(9.3)=Q{Φ(y)6xΦ(m+y)}(9.4)y:=m(t,t)+pv(t)Z(9.5)m:=m(t,t)-m(t,t)(9.6)根据上述符号,我们可以写出qt(t)(x)=Zz:G(z)>0dΦ(z)(9.7),此外,通过定义z?,G(z?)=仍然需要证明{z:G(z)>0}=(-∞, z?],在这种情况下,我们有这样的要求:G(z)>0dΦ(z)=Φ(z?)(9.8)显然,在我们对S(T)的假设下,m>0。我们定义G(y)=xΦ(m+y)- Φ(y)(9.9)使得~~G(y)=~G(m(t,t)+pv(t)z)=G(z)。我们的目的是证明对于m>0和x∈ (0,1),{y:~~G(y)>0}=(-∞, 是吗?]有z吗?=(y?-m(t,t))/pv(t),因为索赔是由持续索赔产生的。首先,我们注意到,~g(y)=d~g(y)/dy有一个单根,y=ln(x)/m- m/2,并且<<g(y)>0 fory<ywhilst>>g(y)<0 for y>y。因为<<g(y)=Ry-∞~g(u)du(积分常数为零)↓-∞~G(y)=0,~G,y的最小根?比y大;是吗?>y、 然而,对于y>y,~g(y)<0,这意味着在其第一根的右侧,~g(y)严格地从0递减。函数G(y)<0 fory>y?,表明如果它存在,y?唯一的根是y吗?对于连续函数G,或等价地,G允许一个唯一的根z?=(y?- m(t,t))/pv(t)。参考资料。塞萨里、J.阿奎利纳、N.查皮隆、Z.菲利波维奇、G.李和I曼达。