遍历理论中的不变原理
不变原理是遍历理论中的一个核心概念,它描述了在保测动力系统的迭代下,某些统计量(通常是部分和过程)的渐近行为会收敛到某个经典的随机过程(通常是布朗运动或更一般的莱维过程)。这为研究动力系统的长期统计行为提供了强有力的概率论工具。
1. 基本设置与动机
首先,我们考虑一个保测动力系统 \((X, \mathcal{B}, \mu, T)\)。设 \(f: X \to \mathbb{R}\) 是一个可测函数(通常称为观测函数),其均值为零,即 \(\int_X f \, d\mu = 0\)。
我们关心的是部分和过程 \(S_n f(x) = \sum_{k=0}^{n-1} f(T^k x)\)。遍历定理(如伯克霍夫平均遍历定理)告诉我们,时间平均 \(S_n f(x)/n\) 几乎处处收敛于空间平均(即0)。但不变原理关注的是这个和本身的波动行为,而不是它的平均。为了研究波动,我们需要对部分和进行适当的缩放。
2. 不变原理的直观描述
不变原理的核心思想是:对于满足一定条件(如一定的混合性)的系统 \(T\) 和观测函数 \(f\),当我们对部分和过程 \(S_n f\) 进行适当的时间缩放和空间缩放后,它会在函数空间(如 Skorokhod 空间)中弱收敛到布朗运动。
更精确地说,我们定义一个新的、依赖于时间 \(t\) 的随机过程。对于每个 \(n\) 和每个 \(t \in [0, 1]\),我们定义:
\[W_n(t) = \frac{1}{\sigma \sqrt{n}} S_{\lfloor nt \rfloor} f \]
其中 \(\lfloor nt \rfloor\) 表示不超过 \(nt\) 的最大整数,\(\sigma^2\) 是 \(f\) 的渐近方差(后面会定义)。\(W_n(t)\) 是一个随机过程,其路径是右连续且具有左极限的阶梯函数。
不变原理断言:当 \(n \to \infty\) 时,随机过程 \(\{W_n(t): 0 \le t \le 1\}\) 在 Skorokhod 空间 \(D[0,1]\) 上弱收敛到标准布朗运动 \(\{W(t): 0 \le t \le 1\}\)。
3. 关键要素:渐近方差
要使上述收敛成立,一个关键的量是渐近方差 \(\sigma^2\)。它由以下和式定义:
\[\sigma^2 = \lim_{n \to \infty} \frac{1}{n} \int_X (S_n f)^2 \, d\mu \]
根据遍历定理,这个极限存在。利用 \(T\) 的保测性,我们可以将其展开:
\[\sigma^2 = \int_X f^2 \, d\mu + 2 \sum_{k=1}^{\infty} \int_X f \cdot f \circ T^k \, d\mu \]
这个公式将渐近方差表示为 \(f\) 的自相关函数的和。为了保证 \(\sigma^2\) 是有限且正数(非退化情况),我们需要系统 \(T\) 具有一定的“衰减关联”性质,例如混合性。如果关联衰减得足够快(如指数衰减),那么这个级数就是绝对收敛的。
4. 不变原理的意义与应用
一旦不变原理成立,我们就可以将动力系统中关于部分和 \(S_n f\) 的许多概率问题,转化为关于布朗运动的相应问题。这被称为“泛函中心极限定理”。
- 中心极限定理: 固定 \(t=1\),不变原理直接蕴含了中心极限定理:\(S_n f / (\sigma \sqrt{n})\) 弱收敛到标准正态分布 \(N(0,1)\)。
- 重对数律: 通过更精细的分析(如Strassen不变原理),可以从不变原理推导出重对数律,它描述了 \(S_n f\) 的极大波动:\(\limsup_{n \to \infty} S_n f / \sqrt{2 \sigma^2 n \log \log n} = 1\) 几乎处处成立。
- 统计推断: 在时间序列分析中,如果我们假设数据来自一个遍历动力系统,不变原理可以用来构造参数估计的置信区间或进行假设检验。
5. 成立条件与推广
不变原理的成立需要对系统 \(T\) 和函数 \(f\) 施加一定的条件。
- 经典结果(i.i.d. 情形): 如果 \(T\) 是一个伯努利移位,并且 \(f\) 是平方可积的,那么由独立同分布随机变量的Donsker定理,不变原理成立。
- 强混合系统: 对于具有足够快的强混合速率(例如 \(\phi\)-混合或 \(\alpha\)-混合)的系统,以及满足一定矩条件(如 \(f \in L^p, p>2\))的观测函数,不变原理也成立。
- 动力系统方法: 在遍历理论中,证明不变原理的常用工具包括“近似独立”的技巧,如戈尔迪克-威尔夫(Gordin-Willse)的鞅逼近方法。该方法的核心思想是,将观测函数 \(f\) 分解为 \(f = m + g \circ T - g\),其中 \(\{m \circ T^n\}\) 形成一个鞅差序列。由于鞅满足良好的不变原理,只要余项 \(g \circ T - g\) 的影响是可忽略的,就可以推导出原过程的不变原理。
- 推广: 不变原理可以推广到多维观测函数(收敛到多维布朗运动),以及更一般的缩放极限(收敛到莱维过程)。
总结来说,遍历理论中的不变原理是一座桥梁,它将确定性的动力系统的轨道统计性质与概率论中的连续随机过程(布朗运动)联系起来,极大地扩展了我们研究复杂系统长期行为的手段。