随机矩阵乘积的乘性遍历定理
我们循序渐进地讲解随机矩阵乘积理论中的核心工具——乘性遍历定理。
首先,让我们明确基本设定。我们考虑一个动力系统,它由两部分构成:1. 一个基础的概率空间 \((\Omega, \mathcal{F}, \mathbb{P})\) 和一个保测变换 \(\theta: \Omega \to \Omega\),它驱动“时间”演化。例如,\(\theta\) 可以是一个移位。2. 一个可测函数 \(A: \Omega \to GL(d, \mathbb{R})\),它将每个“环境”或“时刻”\(\omega\) 映射到一个 \(d \times d\) 的可逆实矩阵(即一般线性群中的元素)。
这样,我们可以构造一个“随机线性动力系统”或“随机矩阵乘积”。从初始点 \(\omega \in \Omega\) 开始,n 步之后的矩阵乘积定义为:
\[A^{(n)}(\omega) = A(\theta^{n-1}\omega) \cdots A(\theta\omega) A(\omega)。 \]
这描述了在一个随时间变化(由 \(\theta\) 驱动)的线性法则 \(A\) 作用下的演化。
现在,核心问题是:当 \(n \to \infty\) 时,这个随机矩阵乘积 \(A^{(n)}(\omega)\) 的渐近性态如何?它是否会像单个矩阵的幂那样,其增长率由特征值决定?这就是乘性遍历定理要回答的问题。
步骤一:从加性到乘性——类比与挑战
经典的伯克霍夫遍历定理处理的是“加性”过程:可观测值 \(f(\theta^n\omega)\) 沿着轨道求和(时间平均)收敛到空间平均 \(\int f d\mathbb{P}\)。然而,这里我们处理的是矩阵的“乘积”,乘法不可交换,这使得问题复杂得多。我们需要研究的是矩阵乘积 \(A^{(n)}(\omega)\) 的“增长率”,这通常用其范数的对数来衡量,即 \(\frac{1}{n} \log \|A^{(n)}(\omega)\|\)。这引导我们考虑“加性”但非交换的对象:\(\log \|A^{(n)}(\omega)\|\)。
步骤二:奥塞列茨定理与非随机情形
对于一个固定的可逆矩阵序列 \(A_n\),其乘积 \(A^{(n)} = A_n \cdots A_1\) 的渐近性态由著名的奥塞列茨定理或乘性遍历定理(有时称为金兹兰德-马尔古利斯定理)描述。该定理断言,极限
\[\Lambda = \lim_{n \to \infty} \big( (A^{(n)})^* A^{(n)} \big)^{1/(2n)} \]
存在,其特征值的对数 \(\lambda_1 \ge \lambda_2 \ge \cdots \ge \lambda_d\) 称为李雅普诺夫指数。它们描述了乘积在不同方向上的渐近指数增长率。此外,存在一个与之相关的旗(一组嵌套的子空间),描述了每个增长率对应的方向。
步骤三:随机情形的核心——金-莱文森定理
将上述思想推广到随机环境,就得到了随机矩阵乘积的乘性遍历定理,其最经典的形式由金和莱文森给出。其关键假设是可积性条件:
\[\mathbb{E} [\max(\log\|A(\omega)\|, 0)] < \infty \quad \text{且} \quad \mathbb{E} [\max(\log\|A(\omega)^{-1}\|, 0)] < \infty。 \]
这个条件确保了矩阵及其逆的增长是“可控制的”,不会因偶尔出现的爆炸性增长而使理论失效。
在满足可积性条件且基础动力系统 \((\Omega, \mathcal{F}, \mathbb{P}, \theta)\) 是遍历的假设下,乘性遍历定理断言:对于 \(\mathbb{P}\)-几乎所有的 \(\omega\),极限
\[\Lambda(\omega) = \lim_{n \to \infty} \big( (A^{(n)}(\omega))^* A^{(n)}(\omega) \big)^{1/(2n)} \]
存在。这里 \(^*\) 表示转置。这个极限矩阵 \(\Lambda(\omega)\) 是一个正定矩阵,其特征值是常数(由于遍历性,与 \(\omega\) 无关),记为 \(e^{\lambda_1} > e^{\lambda_2} > \cdots > e^{\lambda_p}\),其中 \(1 \le p \le d\)。这些 \(\lambda_1 > \lambda_2 > \cdots > \lambda_p\) 就是李雅普诺夫指数。
步骤四:旗与不变子空间分解
更精细的结论是,定理还给出了与这些指数相对应的随机不变子空间分解。对于几乎每个 \(\omega\),存在 \(\mathbb{R}^d\) 的一个嵌套子空间序列(称为旗):
\[\{0\} = V_{p+1}(\omega) \subset V_p(\omega) \subset \cdots \subset V_1(\omega) = \mathbb{R}^d, \]
使得对于任意非零向量 \(v \in V_i(\omega) \setminus V_{i+1}(\omega)\),其指数增长率恰好是 \(\lambda_i\):
\[\lim_{n \to \infty} \frac{1}{n} \log \|A^{(n)}(\omega) v\| = \lambda_i。 \]
此外,这个旗是“可测的”和“不变的”:\(A(\omega) V_i(\omega) = V_i(\theta\omega)\)。这意味着线性变换 \(A(\omega)\) 将对应于增长率 \(\lambda_i\) 的方向空间,精确地映射到下一个时刻对应的方向空间。
步骤五:理解定理的意义与重要性
- 确定性极限:尽管乘积 \(A^{(n)}(\omega)\) 依赖于整个轨道 \(\omega, \theta\omega, \ldots\),是一个复杂的随机对象,但其长期指数增长率(李雅普诺夫指数)却是确定性的常数。这是遍历性带来的“统计规律性”在乘性过程中的深刻体现。
- 轨道稳定性:定理为几乎所有初始向量 \(v\) 指定了一个明确的指数增长率。这构成了随机动力系统稳定性理论、特别是随机动力系统的非一致双曲理论的基础。李雅普诺夫指数的符号决定了轨道的局部扩张与收缩行为。
- 进一步推广:这个定理可以推广到更一般的群作用(如辛群、可压缩变换群)和非可逆矩阵等情况。也有针对次可加过程的“次可加遍历定理”,它是证明乘性遍历定理的一个关键工具。
总结来说,随机矩阵乘积的乘性遍历定理是连接概率论、动力系统和线性代数的桥梁。它将确定性矩阵乘积的谱理论推广到随机环境,确立了李雅普诺夫指数的存在性和确定性,并给出了对应的随机不变子空间分解,为研究随机动力系统的长期行为提供了根本性的分析工具。