*Accepted Paper*

**Inserted:** 20 jul 2016

**Last Updated:** 13 oct 2018

**Journal:** Mathematische Annalen

**Year:** 2018

**Doi:** 10.1007/s00208-018-1747-z

**Notes:**

Revised; July 2018

**Abstract:**

Given a complete metric measure space whose measure is doubling and supports an $\infty$-Poincaré inequality, and a bounded domain $\Omega$ in such a space together with a Lipschitz function $f:\partial\Omega\to\mathbb{R}$ we show the existence and uniqueness of an $\infty$-harmonic extension of $f$ to $\Omega$. We also show that in the event that the metric on the metric space has an $\infty$-weak Fubini property, the notion of $\infty$-harmonic functions coincide with the notion of AMLEs proposed by Aronsson. As an auxiliary tool we show that given that the measure on the metric space is doubling and supports an $\infty$-Poincar\'e inequality, one can construct a metric bi-Lipschitz equivalent to the original one, with respect to which the metric space has an $\infty$-weak Fubini property. The notion of $\infty$-harmonicity is in general distinct from the notion of strongly absolutely minimizing Lipschitz extensions found in Crandall-Evans-Gariepy,Juutinen,Juutinen-Shanmugalingam, but coincides when the metric space supports a $p$-Poincaré inequality for some finite $p\ge1$.

**Download:**