[论文解读] Excited Brownian Motions

Olivier Raimond, Bruno Schapira|arXiv (Cornell University)|Oct 20, 2008

Stochastic processes and statistical mechanics参考文献 30被引用 6

一句话总结

本文引入并分析了激发布朗运动——一种具有依赖于局部时间的漂移的连续时间随机过程——提供了常返性、正速度以及功能中心极限定理的必要与充分条件。主要贡献在于通过漂移函数的积分对长期行为进行精确刻画，将离散激发随机游走的结果推广至依赖于局部时间的连续扩散过程。

ABSTRACT

We study a natural continuous time version of excited random walks, introduced by Norris, Rogers and Williams about twenty years ago. We obtain a necessary and sufficient condition for recurrence and for positive speed. This is analogous to results for excited (or cookie) random walks.

研究动机与目标

• 通过带局部时间依赖漂移的随机微分方程，将激发（或饼干）随机游走的理论推广至连续时间。
• 在该连续时间框架下，建立过程常返性、瞬时性及正速度的必要与充分条件。
• 推导过程满足功能中心极限定理的条件。
• 将离散时间激发游走的结果推广至连续扩散过程，尤其通过分析漂移函数积分性质的作用。

提出的方法

• 通过 SDE $ dX_t = dB_t + \varphi(X_t, L_t^{X_t})\,dt $ 定义激发布朗运动，其中 $ \varphi $ 有界且可测，$ L_t^x $ 为过程 $ X $ 在时间 $ t $ 前于位置 $ x $ 的局部时间。
• 假设 $ \varphi $ 在第一变量上为常数（空间齐次性），从而将问题简化为分析函数 $ \varphi(0, \cdot) $，该函数控制强化机制。
• 利用雷-诺伊特型定理与标度函数，分析在不同测度下局部时间与首次通过时间的分布。
• 引入辅助扩散过程 $ Z $，其生成元为 $ \mathcal{L} = 2z d^2/dz^2 + 2(1 - h(z)) d/dz $，以研究局部时间过程的行为。
• 通过截断漂移 $ \varphi_n $ 的逼近构造测度 $ \mathsf{P}^\varphi $，并证明停止时间的收敛性以确保测度的弱收敛。
• 应用胡与约尔及多洛戈皮亚特的结果，推导中心极限定理的条件，特别涉及 $ \sigma $ 的可积性与 $ h(l) $ 的增长性。

实验结果

研究问题

• RQ1 在何种漂移函数 $ \varphi $ 条件下，激发布朗运动是常返或瞬时的？
• RQ2 过程在何时表现出几乎必然的正或负速度？速度值由什么决定？
• RQ3 在何种条件下，过程满足功能中心极限定理？
• RQ4 过程的行为如何依赖于 $ \varphi(0,l) $ 的积分？其衰减或增长起何作用？
• RQ5 结果能否推广至非齐次 $ \varphi $？可推导出哪些部分条件？

主要发现

• 当且仅当 $ C_1^+ = C_1^- = +\infty $ 时，过程几乎必然常返，其中 $ C_1^\pm = \int_0^\infty \exp\left[ \mp \int_0^x \frac{1}{l} \int_0^l \varphi(0,u)\,du\,dl \right] dx $。
• 当 $ C_1^+ < \infty $ 时，过程几乎必然瞬时趋于 $ +\infty $；当 $ C_1^- < \infty $ 时，几乎必然瞬时趋于 $ -\infty $。
• 当且仅当 $ C_2^+ < \infty $ 时存在正速度 $ v > 0 $，且 $ v = C_1^+ / C_2^+ $；当 $ C_2^- < \infty $ 时存在负速度，且 $ v = -C_1^- / C_2^- $。
• 若 $ \int_0^\infty \varphi(0,l)\,dl \notin [-4,4] $，则在推论 1.3 的条件下，中心极限定理成立。
• 当 $ h(l) \to h_\infty $ 时，若 $ h_\infty > 4 $（$ \sigma $ 有限），则 CLT 条件成立；若 $ 0 < h_\infty < 4 $（$ \sigma $ 无限），则 CLT 条件不成立。
• 测度 $ \mathsf{P}^\varphi $ 通过 $ \varphi $ 的截断函数 $ \varphi_n $ 的逼近构造，停止时间的收敛性确保了测度的一致性。