[论文解读] Static large deviations of boundary driven exclusion processes

Jonathan Farfan|ArXiv.org|Aug 12, 2009

Stochastic processes and statistical mechanics参考文献 10被引用 12

一句话总结

该论文在任意维度下建立了边界驱动排斥过程平稳测度的大偏差原理，证明了弗雷德林-温茨ell理论中的拟势即为速率函数。通过扩展博迪瑙与贾科米尼的动态方法，并解决时间尺度发散的技术难题，作者确认了拟势在高维长程关联情形下仍为大偏差泛函。

ABSTRACT

We prove that the stationary measure associated to a boundary driven exclusion process in any dimension satisfies a large deviation principle with rate function given by the quasi potential of the Freidlin and Wentzell theory.

研究动机与目标

• 在任意维度下建立边界驱动排斥过程平稳测度的大偏差原理。
• 填补先前动态大偏差证明中的技术空白，即当邻域缩小时时间尺度 Tδ 发散的问题。
• 确认动态速率函数的拟势等于平稳态的大偏差速率函数。
• 在 L² 拓扑下直接证明拟势的下确界连续性。
• 将弗雷德林-温茨尔型策略的应用范围扩展至高维、非平衡的相互作用粒子系统。

提出的方法

• 通过构造从靠近平稳密度出发、在有限时间 Tδ 内到达闭集的时间依赖轨迹，适配弗雷德林-温茨尔策略。
• 利用良好的动态大偏差原理及流体动力学方程的性质，控制具有有界动态速率函数的长轨迹行为。
• 证明：具有一致有界动态速率函数的轨迹，必在某时刻以 L² 范数接近平稳密度。
• 证明拟势在 L² 拓扑下于平稳密度处连续，从而支持上界论证的延拓。
• 在右连左极路径空间中运用紧致性论证与子列收敛，推导大偏差速率的界。
• 基于触及闭集的路径上动态速率函数的下确界，采用反证法，利用拟势的定义。

实验结果

研究问题

• RQ1 在任意维度下，动态速率函数的拟势是否构成边界驱动排斥过程中平稳测度的大偏差速率函数？
• RQ2 博迪瑙与贾科米尼（2005）的上界论证是否可推广至 Tδ 随 δ → 0 发散的情形？
• RQ3 拟势在 L² 拓扑下是否为下确界连续？能否在不依赖时间无关变分公式的情况下直接证明？
• RQ4 具有有界动态速率函数的长轨迹是否必然在 L² 范数下趋近于平稳密度？
• RQ5 弗雷德林-温茨尔策略能否成功应用于具有长程关联的高维排斥过程？

主要发现

• 边界驱动排斥过程的平稳测度满足大偏差原理，其速率函数等于弗雷德林-温茨尔理论中的拟势。
• 该证明填补了先前工作中关键的技术空白，处理了 Tδ 随 δ → 0 发散的情形。
• 拟势在 L² 拓扑下于平稳密度处连续，这是支持上界论证延拓的关键技术结果。
• 具有统一有界动态速率函数的轨迹，必在某时刻以任意精度接近平稳密度的 L² 范数。
• 拟势的下确界连续性被直接证明，无需依赖德里达等人（2001）提出的时间无关变分公式。
• 该结果将动态大偏差技术的应用范围扩展至任意维度下更广泛的非平衡系统。