Quantitative homogenization for static contact Hamilton-Jacobi equations

TL;DR

This paper studies the homogenization of static contact Hamilton-Jacobi equations, providing criteria for convergence of solutions to an effective equation with a uniform rate, based on Mather measures and monotonicity assumptions.

Contribution

It introduces new criteria for homogenization of Hamilton-Jacobi equations involving Mather measures, ensuring convergence to a unique limit with a quantifiable rate under monotonicity conditions.

Findings

Solutions converge to a unique limit as epsilon approaches zero.

Convergence rate is quantified as O(epsilon).

Criteria based on Mather measures determine homogenization success.

Abstract

We characterize possible pairs $(u_\varepsilon,c)\in C(\mathbb{R}^n\backslash\varepsilon\mathbb{Z}^n,\mathbb{R})\times\mathbb{R}$ addressing the homogenization problem for Hamilton--Jacobi equations $$ H\left(\frac{x}{\varepsilon}, d u_\varepsilon, u_\varepsilon\right)=c, \quad \left({\mathrm resp.} \quad H\left(\frac{x}{\varepsilon}, d u_\varepsilon, u_\varepsilon\right)=\varepsilon\Delta u_\varepsilon+c \right) $$ for all $\varepsilon>0$. Under a (not necessarily strict) monotonicity assumption on the Hamiltonian, we proposed certain criteria (based on the structure of Mather measures), under which all possible solutions $u_\varepsilon$ converge to a uniquely identified limit $u\in C(\mathbb{R}^n,\mathbb{R})$ solving the effective equation \[ \overline H( du,u)=c,\quad ({\mathrm resp.}\quad \overline H(du,u)=\Delta u+c) \] as $\varepsilon\rightarrow 0_+$ with a uniform rate $\mathcal{O}(\varepsilon)$.