|
然后根据定理2.1和Kurtz[13]中随后的例子2.4,每个子过程X(·)=(^a(·),^b(·))是鞅问题f(X(t))的解-ZtZEAf(X(s),y)πX(s)(dy)ds,(9)在这个意义上,由(9)定义的随机过程是一个鞅。此外,在表达式(9)中,πX(s)(·)是随机过程Y的唯一平稳分布∈ 哪些满足了马尔廷格尔问题(Y(t))-ZtBg(x,Y(u))du。在我们的例子中,πx(·)是LOB系统在参数{p(i;x),α(i;x)}下的平稳分布。现在我们计算在(9)中,ZEAf(X(s),y)πX(s)(dy)=Xi,ju(f(^a(·)+i,^b(·)+j)- f(^a(·),^b(·)))πX(s)(a(y)- ^an(s)=i,b(y)-^bn(s)=-j} )=Xi,ju(f(^a(·)+i,^b(·)+j)- f(^a(·),^b(·))[θ(i;^a(t),^b(t))- θ(i+1;^a(s),^b(s))×θ(j;^a(s),^b(s))- θ(j+1;^a(s),^b(s))]。我们可以检查鞅问题(9)是否有唯一的解X(·),例如参见第4章。4在Ethier和Kurtz[8]中。特别是,X(·)=(^a(·)、^b(·))在分布上等同于跳跃强度为2u且跳跃大小分布为p的跳跃过程^a(t)- ^a(t)-) = i、 ^b(t)-^b(t)-) = j|^a(t-),^b(t)-)= [θ(i;^a(t)]-),^b(t)-)) - θ(i+1;^a(t)-),^b(t)-))] ×θ(j;^a(t)-),^b(t)-)) - θ(j+1;^a(t)-),^b(t)-))].由于{Xn(·)}是紧的,并且它的每个收敛子序列都允许相同的极限X(·),我们可以得出{Xn(·)}弱收敛到X(·)。6.2定理2的证明现在让我们描述定理2证明的路线图。我们首先构造一些辅助过程(~Sn(·),~Mn(·))与底层过程(\'Sn(·),\'Mn(·))生活在同一概率空间中。辅助过程是一个方便的马尔可夫过程,其生成器可以分析得出弱收敛到假定的极限跳差(8)。
|