Skip to content

定理Theorem

Kolmogorov 连续性定理

Kolmogorov continuity theorem · Kolmogorov-Chentsov theorem

增量矩随时间间距衰减得足够快,就能选出连续且具有指定 Hölder 指数的过程修改。

形式陈述 ​

怎样从两时刻之间的概率估计,得到一整条随机路径的连续性?固定 T>0,设 X=(Xt)0≤t≤T 是实值随机过程。若存在 α,β,C>0,使所有 s,t∈[0,T] 的增量矩期望都满足

E|Xt−Xs|α≤C|t−s|1+β,

则 X 存在修改 X~,对每个 0<γ<β/α,几乎每条路径都满足

|X~t−X~s|≤Kγ(ω)|t−s|γ,s,t∈[0,T],

其中随机常数 Kγ 有限。这样的性质称为 γ-Hölder 连续,比普通连续性还定量控制了振荡速度。

同一判据也适用于取值于连续函数空间 C[0,S](S>0)的随机元素族:把增量绝对值换成一致范数 ‖Xt−Xs‖∞,结论就是指标 t 下关于该范数的 Hölder 连续修改。证明中的 Markov、并集界与路径三角不等式原样成立;最后利用 C[0,S] 在一致范数下完备作稠密域延拓。其可数有理折线稠密集保证这是通常的可分路径值域。这个版本可同时控制另一时间参数上的整条连续曲线。

“修改”的含义是:对每个固定 t,P(Xt=X~t)=1。原来的 X 未必在一个共同零集之外对所有时刻都等于 X~。若两者本来都有连续路径,那么在可数个有理时刻合并零集,再由连续性延伸到全区间,才可得到这种更强的同时相等。

直觉

把时间轴切成 2n 个小格。每一格发生大增量的概率虽小,却要乘上格子的数量,才能控制“至少一格出事”。矩条件中的额外幂 β>0 正是支付这笔数量成本后剩下的余量。

网格上的控制还不够。需要把任意两个时间点用越来越细的网格串起来,每一层贡献一个更小的误差。几何级数可和,就把可数网格的概率结论转成不可数时间集合上的路径结论。

例子与边界

为什么四阶矩比二阶矩有用 ​

对Brownian 运动,增量是方差 |t−s| 的正态变量,所以

E|Wt−Ws|2m=(2m−1)!!|t−s|m.

若只用二阶矩,右侧是 |t−s|,没有正的 β,本定理给不出连续性。用四阶矩,α=4,β=1,先得到每个 γ<1/4 的连续修改。进一步对任意整数 m≥2,可取

γ<m−12m=12−12m.

对可数多个 m 合并零集,并利用连续修改之间的不可分辨性,可选同一个版本满足全部 γ<1/2。端点 1/2 仍未包含;Brownian 重对数律会说明它为何确实失败。

逐时刻相同,路径仍可能不同 ​

令 U 在 [0,1] 上均匀分布,取 Xt=1{t=U}。对每个固定 t,Xt=0 几乎处处;对任意固定 s,t,增量的所有正阶矩都是零。因此矩条件以任意正指数成立。

但每条原始路径都在随机位置 U 有一个尖点,绝不连续。定理提供的是连续修改 X~t≡0,并未宣布原始路径连续。不可数多个零概率事件的并集不一定是零概率,这正是两种陈述的差别。

推论与应用

二进网格证明 ​

通过时间缩放只须讨论 T=1。记

Dn={k2−n:0≤k≤2n},An={max0≤k<2n|X(k+1)2−n−Xk2−n|>2−nγ}.

对每一条网格边使用Markov 不等式,再对 2n 条边用并集界,得到

P(An)≤2nC2−n(1+β)2nαγ=C2−n(β−αγ).

当 γ<β/α 时,这些概率可和。由Borel–Cantelli 引理,几乎处处只有有限多个坏层级;把这些有限层级上的增量也吸收到随机常数 K 中,全部网格边都满足 K2−nγ 的界。

取两个二进有理点,令它们的距离介于 2−m−1 与 2−m 之间。各自投影到第 m 层网格,再逐层细化到原点:每层至多走固定数量的相邻边。因此

|Xt−Xs|≤CγK∑n≥m2−nγ≤Cγ′K|t−s|γ.

于是定义在稠密集合 D=⋃nDn 上的路径具有一致连续性,利用目标空间 R 完备,按一致连续映射的稠密域延拓定理,唯一延伸为整个区间上的连续函数。这里先只处理可数集合,避免了同时对不可数个事件选取零集的错误。

最后验证延伸确实是原过程的修改。对固定 t,选 tn∈D 趋向 t。矩条件使 Xtn→Xt 依概率,而构造使 Xtn→X~t 几乎处处。依概率极限的唯一性于是给出 Xt=X~t 几乎处处。对一列 γj↑β/α 重复网格估计,连续修改在共同零集外相等,故可选同一个版本满足所有较小的 Hölder 指数。

参数维数为何会出现 ​

若参数是 d 维盒子,网格边的数量与 2nd 同阶,相应条件变为 E|Xt−Xs|α≤C|t−s|d+β。同一个计数与级数机制仍给 γ<β/α。一维公式里的 1 因而不是任意常数,而是参数集合的维数成本。

参考资料
  • Davar Khoshnevisan, 《Stochastic Calculus》,Math 7880-1,Spring 2008,Ch. 1, §3, Definition 3.5、Theorem 3.6 及二进网格证明。
关系图谱15 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系