[论文解读] Stochastic homogenization of quasilinear Hamilton-Jacobi equations and geometric motions

Scott A. Armstrong, Pierre Cardaliaguet|arXiv (Cornell University)|Apr 8, 2015

Advanced Mathematical Modeling in Engineering参考文献 31被引用 51

一句话总结

本文首次实现了对具有非凸哈密顿量和梯度依赖扩散项的拟线性黏性哈密顿-雅可比方程的定性随机均质化，采用一种新颖的定量方法，绕过了次可加遍历定理的限制。研究证明了解在几乎必然意义下局部一致收敛到一个确定性的有效方程，其有效哈密顿量呈星形，首次为这类非凸、拟线性情形提供了代数收敛速率。

ABSTRACT

We study random homogenization of second-order, degenerate and quasilinear Hamilton-Jacobi equations which are positively homogeneous in the gradient. Included are the equations of forced mean curvature motion and others describing geometric motions of level sets as well as a large class of viscous, non-convex Hamilton-Jacobi equations. The main results include the first proof of qualitative stochastic homogenization for such equations. We also present quantitative error estimates which give an algebraic rate of homogenization.

研究动机与目标

• 解决拟线性黏性哈密顿-雅可比方程在非凸哈密顿量下长期悬而未决的随机均质化问题。
• 建立当尺度参数 $\varepsilon \to 0$ 时解的几乎必然局部一致收敛性。
• 为这类非凸、梯度依赖的方程首次获得具有代数收敛速率的定量误差估计。
• 将均质化理论拓展至凸或线性扩散结构之外，特别是在几何流和非凸黏性HJ方程中的应用。
• 验证在非凸情形下Lipschitz正则性条件（如条件 (1.4)）对于均质化成立的必要性。

提出的方法

• 提出一种基于定量估计而非次可加结构的新策略，克服了在非凸情形下次可加遍历定理失效的问题。
• 通过带度量问题的扰动论证，推导出在 (LS) 条件 (1.12) 下解的Lipschitz正则性，确保一致有界性。
• 应用变量加倍法比较原方程与有效方程的解，利用 $A$ 和 $H$ 的正则性。
• 引入尺度变换 $u^\varepsilon(x,t) = \varepsilon u(x/\varepsilon, t/\varepsilon)$，将 $\varepsilon$-尺度问题与极限方程联系起来。
• 通过精心选取的测试函数 $\varphi_\beta$ 及最大值原理，建立 $\sup (v_1 - v_2)$ 关于 $|\xi - \eta|$ 和 $|\eta|^{-p}$ 的定量估计。
• 通过优化参数 $\alpha$ 的界，最终导出误差估计 $\sup |v_1 - v_2| \leq C|\eta|^{-2p/7}|\xi - \eta|^{2/7}$。

实验结果

研究问题

• RQ1 能否为具有非凸哈密顿量的拟线性黏性哈密顿-雅可比方程建立随机均质化？
• RQ2 当扩散矩阵依赖于梯度 $Du^\varepsilon$ 时，均质化极限是否仍然成立？
• RQ3 能否为这类非凸、拟线性方程获得具有代数收敛速率的定量误差估计？
• RQ4 解的Lipschitz正则性在确保均质化中起什么作用？是否为必要条件？
• RQ5 在非凸情形下，能否绕过次可加遍历定理，改用定量方法证明均质化？

主要发现

• 本文证明了当 $\varepsilon \to 0$ 时，$u^\varepsilon$ 几乎必然局部一致收敛于确定性有效方程 $\partial_t u + \overline{H}(Du) = 0$ 的解 $u$。
• 即使原始哈密顿量 $H$ 非凸，有效哈密顿量 $\overline{H}$ 的下水平集仍关于原点呈星形。
• 建立了代数收敛速率：$\sup |v_1 - v_2| \leq C|\eta|^{-2p/7}|\xi - \eta|^{2/7}$，这表明存在定量误差估计。
• 该结果适用于在条件 (1.4) 下的强迫平均曲率方程 (1.3)，解决了随机均质化中几何流长期悬而未决的开放问题。
• 该方法首次为 $d > 1$ 维下一大类非凸、拟线性黏性HJ方程提供了均质化结果，包括 $p > 1$ 时的 (1.6)。
• 确认了Lipschitz正则性（如条件 (1.4)）在均质化中的必要性：若无此条件，均质化可能失效。