遍历理论中的随机矩阵乘积
-
基本定义
随机矩阵乘积研究形如 \(P_n = A_n A_{n-1} \cdots A_1\) 的乘积渐近行为,其中 \(\{A_k\}\) 是独立同分布的随机矩阵(通常属于 \(GL(d,\mathbb{R})\) 或 \(SL(d,\mathbb{R})\))。核心问题是分析 \(n \to \infty\) 时 \(P_n\) 的范数、特征值或作用在向量上的增长规律。 -
李雅普诺夫指数
对任意非零向量 \(v \in \mathbb{R}^d\),定义顶部李雅普诺夫指数为极限:
\[ \lambda_1 = \lim_{n \to \infty} \frac{1}{n} \log \|P_n v\|, \]
该极限几乎必然存在且与 \(v\) 无关(除非 \(v\) 属于某个零测集)。类似可定义多个李雅普诺夫指数 \(\lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_d\),反映乘积在不同方向上的指数收缩或扩张速率。
-
奥斯莱德茨乘性遍历定理
该定理是随机矩阵乘积的理论基石,断言:- 李雅普诺夫指数存在且几乎必然为常数;
- 存在一个逐次正交的旗帜空间 \(\mathbb{R}^d = V_1 \supset V_2 \supset \cdots\),使得向量在 \(V_i \setminus V_{i+1}\) 中的增长速率由 \(\lambda_i\) 控制;
- 定理要求矩阵分布满足可积条件 \(\mathbb{E} \log^+ \|A_1\| < \infty\)。
-
弗斯滕伯格-基斯特森定理
若矩阵分布是强不可约的(即不存在有限个真子空间的并包含所有矩阵的像)且包含可压缩矩阵(某矩阵的范数小于1),则顶部李雅普诺夫指数严格为正:\(\lambda_1 > 0\)。这一定理揭示了随机性导致的确定性指数增长。 -
稳定分布与调和测度
随机矩阵乘积可关联到射影空间 \(\mathbb{P}^{d-1}\) 上的马尔可夫链。存在唯一的平稳分布(调和测度),使得对随机向量 \(x \in \mathbb{P}^{d-1}\),矩阵作用 \(A \cdot x\) 保持分布不变。此测度用于分析李雅普诺夫指数的连续性及其对矩阵分布的依赖。 -
大偏差原理与浓度不等式
在非交换情形的拉普拉斯方法下,\(\frac{1}{n} \log \|P_n\|\) 满足大偏差原理,其速率函数由矩阵分布的熵控制。这为估计 \(\|P_n\|\) 偏离其均值的概率提供了定量工具。 -
应用与扩展
随机矩阵乘积理论应用于动力系统的随机扰动、安德森局域化(无序系统中波函数的指数衰减)、以及群论的随机生成元研究。近年来对非独立(如马尔可夫相关)矩阵乘积的遍历理论也有深入发展。