Quantitative homogenization for static contact Hamilton-Jacobi equations

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Δ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)=Δu+c) \] as $\varepsilon\rightarrow 0_+$ with a uniform rate $\mathcal{O}(\varepsilon)$.

Theorems & Definitions (45)

• Theorem 1.1: First-order problem
• Remark 1.2
• Corollary 1.3
• Theorem 1.4: Second-order problem
• Remark 1.5
• Corollary 1.6
• Lemma 2.1
• Proposition 2.2
• Lemma 2.3
• Definition 2.4