ARTICLE

重对数律

重对数律:随机游走波动边界的精确刻画 重对数律(Law of the Iterated Logarithm,简称 LIL)是概率论中刻画随机波动上界的极限定理。它位于强大数律与中心极限定理之间的"精细尺度"上:强大数律给出部分和以 n 速率增长的宏观图像,中心极限定理给出 n 尺度下的正态逼近,而重对数律则精确地描述了波动幅度的几乎必然边界——其量级为 2n

浏览 0 更新 2025-11-09

重对数律:随机游走波动边界的精确刻画

重对数律(Law of the Iterated Logarithm,简称 LIL)是概率论中刻画随机波动上界的极限定理。它位于强大数律中心极限定理之间的"精细尺度"上:强大数律给出部分和以 nn 速率增长的宏观图像,中心极限定理给出 n\sqrt{n} 尺度下的正态逼近,而重对数律则精确地描述了波动幅度的几乎必然边界——其量级为 2nloglogn\sqrt{2n\log\log n}。该定理由辛钦(Khinchin,1924)率先证明,后经柯尔莫哥洛夫(Kolmogorov,1929)推广至更一般的独立随机变量序列。

经典形式

{Xn}\{X_n\} 独立同分布,E[X1]=0\mathbb{E}[X_1]=0E[X12]=σ2\mathbb{E}[X_1^2]=\sigma^2,部分和 Sn=i=1nXiS_n=\sum_{i=1}^n X_i。则

lim supnSn2nloglogn=σ,lim infnSn2nloglogn=σ几乎必然.\limsup_{n\to\infty}\frac{S_n}{\sqrt{2n\log\log n}} = \sigma,\quad \liminf_{n\to\infty}\frac{S_n}{\sqrt{2n\log\log n}} = -\sigma \quad\text{几乎必然}.

其中 loglogn\log\log n 为嵌套对数。该结果的含义是:标准化部分和的上极限以概率 1 等于 σ\sigma,下极限以概率 1 等于 σ-\sigma,因此 SnS_n 几乎必然在 ±2nloglogn\pm\sqrt{2n\log\log n} 的量级内振荡。

与相关定理的关系

强大数律回答"平均收敛到哪里",中心极限定理回答"标准化后如何分布",而重对数律回答"极端波动有多大"。三者分别从几乎必然收敛、分布收敛和路径波动边界三个层次描述了随机和的渐近行为,构成了概率论中从"宏观"到"微观"的完整谱系。

布朗运动的版本

对于标准布朗运动 {B(t)}\{B(t)\},哈特曼-温特纳定理(Hartman–Wintner,1941)给出:

lim suptB(t)2tloglogt=1,lim inftB(t)2tloglogt=1几乎必然.\limsup_{t\to\infty}\frac{B(t)}{\sqrt{2t\log\log t}} = 1,\quad \liminf_{t\to\infty}\frac{B(t)}{\sqrt{2t\log\log t}} = -1\quad\text{几乎必然}.

这表明布朗运动的长期波动被 2tloglogt\sqrt{2t\log\log t} 精确夹逼,且边界最优。

应用与推广

柯尔莫哥洛夫将 LIL 推广至非同分布情形。在现代统计学中,LIL 用于分析极大似然估计的几乎必然收敛速率模型选择准则的一致性和非参数估计的边界性质。在随机优化与在线学习中,LIL 为随机梯度下降的极端波动提供了理论阈值,指导学习率选择。在金融高频数据中,LIL 为价格跳跃检测提供了理论参考边界

斯特拉森(Strassen,1964)进一步建立了函数形式的 LIL,从函数空间角度深化了对重对数律的理解。重对数律已成为概率论、数理统计和机器学习等领域的基础性工具

\endinput