|
对于ν没有所有正项的情况,请注意pν对n有正项≥ 其中k是常数,使得i,j的∧nij>0≤ 德温≥ k、 因此,(10.5)适用于任何概率度量→ [0, 1].再次使用Oseledec定理,这一次用于Rd∧ Rd值过程pun∧ pνn,存在一个(随机)严格子空间Sω 研发部∧ 这就是∧ ν /∈ Sωthennlog kpun∧ pνnk→ V+V(10.6)P-a.s.,对于Pun∧ pνn∈ Sω我们有lim supnnlog kpun∧ pνnk≤ V+V(10.7)P-a.s.然后使用不等式√d | sin(a,b)|≤ 灵魂- bk≤√d | sin(a,b)|其中sin(a,b)是向量a和b之间的夹角(见引理10.2.1),sin(a,b)=1- cos(a,b)=kakkbk- 哈,比喀喀喀∧ 我们可以得出结论,lim supnnlog kπun- πνnk=lim supnn(对数kpun∧ pνnk- 对数kpunk- 对数kpνnk)≤ V+V- 2V=V- V<0,这就完成了证明。差异- V<0是一个光谱间隙,其负性足以保证滤波器的稳定性。在他们的论文[4]中,Atar和Zeitouni继续证明当∧ij>0时,所有i,j≤ d、 然后存在一个常数c,使得eγ≤ c<0,其中c不依赖于h或γ。他们继续证明这一点≤ -2 mini6=jp∧ij∧ji。他们还证明了低噪声模型的以下界:lim supγ&0γEγ≤ -dXi=1uimini6=j(h(xi)- h(xj))(10.8)lim-infγ&0γEγ≥ -dXi=1uidXj=1(h(xi)- h(xj))。(10.9)最后,关于遍历理论,Chigansky在2006年[17]证明了马尔可夫费勒过程(Xn,πn)有一个唯一的不变测度M,因此对于任何连续g,limnnXng(Xn,πn)=XiZg(xi,u)M(xi,u)du)=XiZuig xi(xi,u)Mui(du)=limnEg(Xn,πn)(10.10)其中Mui是M.10.2.3的边际证明√d | sin(a,b)|≤ 灵魂- bk≤√d | sin(a,b)|让d Rd表示d维分布向量的集合。如果∈ D然后ai≥ 对我来说≤ d、 andPiai=1。
|