|
在S在S ome区间[0]上有连续路径的特殊情况下,∞), 在自然尺度下,原点要么是自然吸收的(参见[35,第15章,第6节]了解端点的详细信息,但简单回顾一下,这个假设本质上意味着S是严格的局部m artin gale),然后[25]中的定理3.21保证了S∞= 几乎可以肯定,因此定理3.12成立。最近,Gu shchin、Urusov和Zervos[23]证明了,如果S是随机微分方程dSt=σ(St)dWt的弱解,则S=S∈ (0, ∞), 式中σ:[0,∞) → R是满足σ(s)=0的Borel可测函数,且仅当s=0和∑-2(s)ds是每个非空有限间隔A的有限值 (0, ∞), 那么S是严格局部鞅当且仅当limt↑∞等式(St)=0。因为S是非负的,所以几乎可以肯定地说,这等于S收敛到零,定理3.12适用。3.7. 实线上的严格局部鞅。到目前为止,我们假设astrict局部鞅的框架取非负半线上的值。原则上可以考虑局部鞅取整条实线的值。这种考虑的动机是(在某些给定的概率空间上)唯一的强解(Ohm, F、 (Ft)t≥0,Q)到随机微分方程dSt=P(St)dWt,从S开始∈ R、 其中P(s)≡ as+bs+c是一个二阶多项式。这类模型首先由Rady[45]提出,然后在[1,39,52]和其中的参考文献中进一步研究。很明显,这一类包含标准布朗运动(a=b=0)、几何布朗运动(a=c=0)和三维贝塞尔过程的倒数(b=c=0,另见第4.2节,β=1)。
|