Open Access Publications from the University of California

## On the infinity Laplacian and Hrushovski's fusion

• Author(s): Smart, Charles Krug
We study viscosity solutions of the partial differential equation $$- \Delta_\infty u = f \quad \mbox{in } U,$$ where $U \subseteq \R^n$ is bounded and open, $f \in C(U) \cap L^\infty(U)$, and $$\Delta_\infty u := |Du|^{-2} \sum_{ij} u_{x_i} u_{x_i} u_{x_i x_j}$$ is the {\em infinity Laplacian}.
Our first result is the Max-Ball Theorem, which states that if $u \in USC(U)$ is a viscosity subsolution of $$- \Delta_\infty u \leq f \quad \mbox{in } U$$ and $\ep > 0$, then the function $v(x) := \max_{\bar B(x,\ep)} u$ satisfies $$2 v(x) - \max_{\bar B(x,\ep)} v - \min_{\bar B(x,\ep)} v \leq \max_{\bar B(x,2 \ep)} f,$$ for all $x \in U_{2\ep} := \{ x \in U : \dist(x, \partial U) > 2\ep \}$. The left-hand side of this latter inequality is a monotone finite difference scheme that is comparatively easy to analyze. The Max-Ball Theorem allows us to lift results for this finite difference scheme to the continuum equation. In particular, we obtain a new proof of uniqueness of viscosity solutions to the Dirichlet problem when $f \equiv 0$, $\inf f > 0$, or $\sup f < 0$. The results mentioned so far are joint work with S. Armstrong.