Conditioned Brownian motion and local equivalence of path ensembles

技术摘要：条件布朗运动与路径系综的局部等价性

问题陈述
本文研究了在给定“罕见事件”条件下，$d$ 维布朗运动 $W = (W_t)_{t \ge 0}$ 的渐近行为。该罕见事件为：连续限制势能 $Q$ 的时间平均值保持在固定水平 $\theta$ 以下。具体而言，研究重点是当时间视界 $T \to \infty$ 时，条件测度 $\mathbb{L}_x((W_t)_{0 \le t \le S} \mid A_T \le \theta T)$ 的行为，其中 $A_T = \int_0^T Q(W_s) ds$ 且 $\theta > \min Q$。

由于约束条件的全局性质，该条件事件是罕见的：未受约束的布朗运动会在 $\sqrt{T}$ 量级的空间尺度上进行探索，导致时间平均势能增长，而约束条件则迫使路径保持在有界区域内。虽然受约束的过程由于全局约束而非马尔可夫过程，但本文旨在确定在任何固定的初始时间窗口 $[0, S]$ 上的极限马尔可夫过程。

前人的工作（Aurzada, Lifshits, 和 Schickentanz [2]）建立了 $d=1$ 且 $Q(x)=x^2$ 这一特定情况下的极限，证明其收敛于 Ornstein-Uhlenbeck 过程。他们曾猜想，对于一般的限制势能和任意维度，该极限是与薛定谔算子相关的“基态扩散”（ground-state diffusion）。本文解决了这一猜想。

方法论
其方法依赖于对薛定谔算子的谱理论以及针对 Feynman-Kac 测度的局部极限定理（LLT），而非使用二次型情形下的精确小偏差公式。

1. 系综等价性与倾斜（Tilting）： 作者通过 Feynman-Kac 权重 $e^{-\beta A_T}$，将“微正则系综”约束（$A_T \le \theta T$）与“正则系综”联系起来。正则测度对应于薛定谔算子 $H_\beta = -\Delta/2 + \beta Q$ 的路径测度。
2. 谱分析： 证明的核心在于分析复化算子 $H_{\beta - iu} = -\Delta/2 + (\beta - iu)Q$ 的谱。
   • 基态： 对于实数 $\beta > 0$，$H_\beta$ 具有离散谱，并拥有唯一的、严格正的基态 $\phi_\beta$ 及特征值 $\lambda(\beta)$。
   • 谱间隙（Spectral Gap）： 一个关键的技术环节是引理 2.1，它证明了严格的谱间隙：对于任何非零频率 $u \neq 0$，算子 $H_{\beta - iu}$ 的任何特征值 $\zeta$ 的实部均满足 $\Re(\zeta) > \lambda(\beta)$。这是利用对角线不等式（diamagnetic inequality）以及 $Q$ 非常数的特性建立的。该间隙确保了非零傅里叶模态比基态模态衰减得更快。
3. 局部极限定理 (LLT)： 通过结合谱间隙与在 $u=0$ 附近的解析摄动理论，作者推导出了在倾斜测度下随机变量 $Y_T = A_T - \lambda'(\beta)T$ 的局部极限定理。这为 $O(1)$ 位移尺度下的 $A_T$ 概率密度提供了精确渐近性，这对于反转拉普拉斯变换（即“去倾斜”步骤）以恢复硬约束概率是必要的。
4. 去倾斜与收敛： 利用 LLT，作者推导出了 $\mathbb{P}_x(A_T \le \theta T + z)$ 的尖锐渐近性。随后，他们应用马尔可夫性质和 Scheffé 引理，证明了条件路径测度的 Radon-Nikodym 导数在 $L^1$ 中收敛于基态变换的密度。

核心贡献与结果

1. 解决猜想： 本文证明了对于任意有限维 $d$ 中的广泛连续限制势能 $Q$，条件布朗运动在任何固定时间窗口 $[0, S]$ 上，在全变差意义下收敛于由如下随机微分方程定义的扩散过程 $X_t$：
   $$dX_t = dB_t + \nabla \log \phi_{\beta_\theta}(X_t) dt$$
   其中 $\phi_{\beta_\theta}$ 是 $H_{\beta_\theta}$ 的基态，且 $\beta_\theta$ 是满足 $\lambda'(\beta_\theta) = \theta$ 的唯一参数。这证实了 [2] 对一般势能和维度的猜想。

2. 尖锐渐近性： 本文建立了条件事件概率的精确渐近公式，包括约束的有界扰动：
   $$\mathbb{P}_x(A_T \le \theta T + z) \sim \frac{\phi_{\beta_\theta}(x) \|\phi_{\beta_\theta}\|_1}{\beta_\theta \sqrt{2\pi \sigma_\theta^2 T}} \exp(-I_Q(\theta)T + \beta_\theta z)$$
   其中 $I_Q(\theta)$ 是速率函数，$\sigma_\theta^2 = -\lambda''(\beta_\theta)$。该结果提供了 $T^{-1/2}$ 前因子以及对位移 $z$ 的依赖关系，而大偏差理论本身无法提供这些信息。

3. 系综的局部等价性： 结果展示了“微正则系综”（硬约束）与“正则系综”（指数倾斜）之间的一种强形式的等价性。具体而言，局部极限定理允许作者“撤销”正则律的混合，从而隔离出特定能量密度 $\theta$ 下的行为，证明了硬约束下的典型路径在局部上与最优指数倾斜下的路径是不可区分的。

4. 向一般过程的扩展： 该方法论被证明可以从布朗运动扩展到任何可逆马尔可夫过程（包括多维 Ornstein-Uhlenbeck 过程、Cox-Ingersoll-Ross 过程和连续时间马尔可夫链），前提是相关的类薛定谔型算子满足特定的谱和光滑性质（紧紧算子、正性改善性质以及傅里叶模态的谱分离）。

意义
本文解决了关于条件布朗运动极限的一个特定猜想，将已知结果从一维二次势能扩展到了任意维度和一般的限制势能。通过建立全变差收敛性和尖锐渐近性，本文加强了非平衡态统计力学中系综等价性的理论基础。该工作弥补了描述对数渐近性的大偏差理论与识别极限动力学所需的精确局部行为之间的鸿沟。此外，此处开发的谱方法为分析一类广泛随机系统中的罕见事件提供了一个稳健的框架，而无需依赖显式的高斯公式，这使得该方法适用于无法获得精确解的非高斯及相互作用系统。