[论文解读] Variational formula for the time-constant of first-passage percolation I: Homogenization

Arjun Krishnan|arXiv (Cornell University)|Nov 1, 2013

Advanced Mathematical Modeling in Engineering参考文献 18被引用 2

一句话总结

该论文推导出在 $ℤ^d$ 上具有独立同分布正权值的第一通过渗流的时间常数的精确变分公式，将缩放通过时间的收敛性表述为离散哈密顿-雅可比-贝尔曼方程的均质化问题。论文提出了一种显式迭代算法，用于生成变分公式的极小化子，并确定了迭代产生校正项的条件，从而为随机均质化中的时间常数提供了构造性方法。

ABSTRACT

We consider first-passage percolation with positive, stationary-ergodic weights on the square lattice $\mathbb{Z}^d$. Let $T(x)$ be the first-passage time from the origin to a point $x$ in $\mathbb{Z}^d$. The convergence of the scaled first-passage time $T([nx])/n$ to the time-constant as $n o \infty$ can be viewed as a problem of homogenization for a discrete Hamilton-Jacobi-Bellman (HJB) equation. We derive an exact variational formula for the time-constant, and construct an explicit iteration that produces a minimizer of the variational formula (under a symmetry assumption). We explicitly identify when the iteration produces correctors.

研究动机与目标

• 推导出在 $\mathbb{Z}^d$ 上具有平稳遍历权值的第一通过渗流的时间常数的变分公式。
• 将缩放第一通过时间的收敛性解释为具有随机系数的离散哈密顿-雅可比-贝尔曼方程的均质化问题。
• 在对称性假设下，提出一种显式迭代程序，用于生成变分公式的极小化子。
• 刻画迭代过程产生校正项的条件，这些校正项对高阶均质化估计至关重要。

提出的方法

• 将时间常数表述为基于第一通过渗流动态规划原理的变分问题的解。
• 将 $T([nx])/n$ 的收敛性重新表述为具有随机系数的离散HJB方程的均质化问题。
• 利用对偶性和凸分析技术，推导出时间常数的精确变分公式。
• 提出一种迭代算法，用于计算变分公式的极小化子，借助对称性假设确保收敛性。
• 确定迭代序列收敛到校正项的条件，这些校正项可改进均化极限。
• 利用权值分布的遍历性和平稳性，证明时间常数的存在性与唯一性。

实验结果

研究问题

• RQ1 在 $ℤ^d$ 上具有平稳遍历权值的第一通过渗流中，时间常数的精确变分表示是什么？
• RQ2 如何将缩放第一通过时间的收敛性解释为离散HJB方程的均质化过程？
• RQ3 能否构造一种显式迭代方案，以计算时间常数变分公式的极小化子？
• RQ4 在何种条件下，迭代过程能产生均质化问题的校正项？
• RQ5 对称性在确保迭代极小化子构造的收敛性与正确性方面起到什么作用？

主要发现

• 推导出时间常数的精确变分公式，提供了表征第一通过渗流渐近通过时间的对偶表示。
• 严格建立了 $T([nx])/n$ 收敛到时间常数与离散哈密顿-雅可比-贝尔曼方程均质化之间的联系。
• 在权值分布满足对称性假设的条件下，构造出一种显式迭代算法，用于生成变分公式的极小化子。
• 当底层权值分布满足特定对称性与遍历性条件时，证明了迭代过程可产生校正项。
• 该方法为近似时间常数及其对底层随机环境依赖关系的分析提供了构造性框架。
• 研究结果在第一通过渗流与随机均质化之间建立了桥梁，为分析随机介质中的标度极限提供了新工具。