Mathematische Annalen

, Volume 374, Issue 1–2, pp 881–906 | Cite as

Existence and uniqueness of \(\infty \)-harmonic functions under assumption of \(\infty \)-Poincaré inequality

  • Estibalitz Durand-Cartagena
  • Jesús A. Jaramillo
  • Nageswari ShanmugalingamEmail author


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 \rightarrow {\mathbb {R}}\), we show the existence and uniqueness of an \(\infty \)-harmonic extension of f to \(\Omega \). To do so, we show that there is a metric that is bi-Lipschitz equivalent to the original metric, such that with respect to this new metric the metric space satisfies an \(\infty \)-weak Fubini property and that a function which is \(\infty \)-harmonic in the original metric must also be \(\infty \)-harmonic with respect to the new metric. We also show that if the metric on the metric space satisfies an \(\infty \)-weak Fubini property, then the notion of \(\infty \)-harmonic functions coincide with the notion of AMLEs proposed by Aronsson. The notion of \(\infty \)-harmonicity is in general distinct from the notion of strongly absolutely minimizing Lipschitz extensions found in Crandall et al. (Calc Var Partial Differ Equ 13: 123–139, 2001), Juutinen (Ann Acad Sci Fenn Math 27(1):57–67, 2002), Juutinen and Shanmugalingam (Math Nachr 279(9–10):1083–1098, 2006), but coincides when the metric space supports a p-Poincaré inequality for some finite \( p \ge 1\).

Mathematics Subject Classification

Primary 31E05 Secondary 31C45 31C05 54C20 


  1. 1.
    Ambrosio, L., Caselles, V., Masnou, S., Morel, J.-M.: Connected components of sets of finite perimeter and applications to image processing. J. Eur. Math. Soc. (JEMS) 3(1), 39–92 (2001)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Aronsson, G.: Extension of functions satisfying Lipschitz conditions. Ark. Mat. 6, 551–561 (1967)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Aronsson, G., Crandall, M.G., Juutinen, P.: A tour of the theory of absolutely minimizing functions. Bull. Am. Math. Soc. (N.S.) 41, 439–505 (2004)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Armstrong, S., Smart, C.: An easy proof of Jensen’s theorem on the uniqueness of infinity harmonic functions. Calc. Var. Partial Differ. Equ. 37, 381–384 (2010)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Beatrous, F.H., Bieske, T., Manfredi, J.: The Maximum Principle for Vector Fields. The p-Harmonic Equation and Recent Advances in Analysis. Contemp. Math. vol. 370., pp. 1–9. Am. Math. Soc., Providence, RI (2005)Google Scholar
  6. 6.
    Bertalmío, M., Caselles, V., Haro, G., Sapiro, G.: PDE-Based Image and Surface Inpainting. Handbook of Mathematical Models in Computer Vision, pp. 33–61. Springer, New York (2006)Google Scholar
  7. 7.
    Björn, A., Björn, J.: Nonlinear Potential Theory on Metric Spaces, EMS Tracts Mathematics, vol. 17. European Math. Soc, Zurich (2011)Google Scholar
  8. 8.
    Bourdon, M., Pajot, H.: Quasi-Conformal Geometry and Hyperbolic Geometry. Rigidity in Dynamics and Geometry (Cambridge, pp. 1–17, 2002). Springer, Berlin (2000)Google Scholar
  9. 9.
    De Cecco, G., Palmieri, G.: Distanza intrinseca su una variettá riemanniana di Lipschitz. Rend. Sere. Mat. Torino 46(2), 157–170 (1988)Google Scholar
  10. 10.
    Cecco De, G., Palmieri, G.: Length of curves on Lip manifolds. Rend. Accad. Naz. Lincei. Serie 9 1(3), 215–221 (1990)Google Scholar
  11. 11.
    De Cecco, G., Palmieri, G.: Integral distance on a Lipschitz Riemannian manifold. Math. Z. 207, 223–243 (1991)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Cheeger, J.: Differentiability of Lipschitz Functions on metric measure spaces. Geom. Funct. Anal. 9, 428–517 (1999)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Crandall, M.G., Evans, L.C., Gariepy, R.F.: Optimal Lipschitz extensions and the infinity Laplacian. Calc. Var. Partial Differ. Equ. 13, 123–139 (2001)MathSciNetzbMATHGoogle Scholar
  14. 14.
    Dragoni, F., Manfredi, J., Vittone, D.: Weak Fubini property and infinity harmonic functions in Riemannian and sub-Riemannian manifolds. Trans. Am. Math. Soc. 365(2), 837–859 (2013)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Durand-Cartagena, E., Jaramillo, J.A.: Pointwise Lipschitz functions on metric spaces. J. Math. Anal. Appl. 363, 525–548 (2010)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Durand-Cartagena, E., Jaramillo, J.A., Shanmugalingam, N.: The \(\infty \)-Poincaré inequality in metric measure spaces. Mich. Math. J. 60, 63–85 (2011)zbMATHGoogle Scholar
  17. 17.
    Durand-Cartagena, E., Jaramillo, J.A., Shanmugalingam, N.: Geometric characterizations of \(p\)-Poincaré inequalities. Pub. Mat. 60, 81–111 (2016)zbMATHGoogle Scholar
  18. 18.
    Durand-Cartagena, E., Li, X.: Preservation of bounded geometry under sphericalization and flattening: quasiconvexity and \(\infty \)-Poincaré inequality. Ann. Acad. Sci. Fenn. Math. 42, 303–324 (2017)MathSciNetzbMATHGoogle Scholar
  19. 19.
    Durand-Cartagena, E., Li, X.: Preservation of \(p\)-Poincaré inequality for large \(p\) under sphericalization and flattening. Ill. J. Math. 59(4), 1043–1069 (2015)zbMATHGoogle Scholar
  20. 20.
    Durand-Cartagena, E., Shanmugalingam, N., Williams, A.: \(p\)-Poincaré inequality vs. \(\infty \)-Poincaré inequality; some counter-examples. Math. Z. 271, 447–467 (2012)MathSciNetzbMATHGoogle Scholar
  21. 21.
    Heinonen, J.: Lectures on Analysis on Metric Spaces. Springer, New York (2001)Google Scholar
  22. 22.
    Heinonen, J., Koskela, P.: Quasiconformal maps in metric spaces with controlled geometry. Acta Math. 181, 1–61 (1998)MathSciNetzbMATHGoogle Scholar
  23. 23.
    Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.: Sobolev Spaces on Metric Measure Spaces: An Approach Based on Upper Gradients. New Mathematical Monographs series. Cambridge University Press, Cambridge (2015)zbMATHGoogle Scholar
  24. 24.
    Jensen, R.: Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient. Arch. Ratl. Mech. Anal. 123(1), 51–74 (1993)MathSciNetzbMATHGoogle Scholar
  25. 25.
    Juutinen, P.: Absolutely minimizing Lipschitz extensions on a metric space. Ann. Acad. Sci. Fenn. Math. 27(1), 57–67 (2002)MathSciNetzbMATHGoogle Scholar
  26. 26.
    Juutinen, P., Shanmugalingam, N.: Equivalence of AMLE, strong AMLE, and comparison with cones in metric measure spaces. Math. Nachr. 279(9–10), 1083–1098 (2006)MathSciNetzbMATHGoogle Scholar
  27. 27.
    Kallunki, S., Shanmugalingam, N.: Modulus and continuous capacity. Ann. Acad. Sci. Fenn. Math. 26, 455–464 (2001)MathSciNetzbMATHGoogle Scholar
  28. 28.
    Koskela, P., McManus, P.: Quasiconformal mappings and Sobolev spaces. Studia Math. 131(1), 1–17 (1998)MathSciNetzbMATHGoogle Scholar
  29. 29.
    Le Guyader, C., Guillot, L.: Extrapolation of vector fields using the infinity Laplacian and with applications to image segmentation. Commun. Math. Sci. 7(2), 423–452 (2009)MathSciNetzbMATHGoogle Scholar
  30. 30.
    Li, G., Martio, O.: Stability in obstacle problems. Math. Scand. 75(1), 87–100 (1994)MathSciNetzbMATHGoogle Scholar
  31. 31.
    Li, X., Shanmugalingam, N.: Preservation of bounded geometry under sphericalization and flattening. Indiana Univ. Math. J. 64(5), 1303–1341 (2015)MathSciNetzbMATHGoogle Scholar
  32. 32.
    McShane, E.J.: Extension of range of functions. Bull. Am. Math. Soc. 40(12), 837–842 (1934)MathSciNetzbMATHGoogle Scholar
  33. 33.
    Malý, L.: Minimal weak upper gradients in Newtonian spaces based on quasi-Banach function lattices. Ann. Acad. Sci. Fenn. Math. 38(2), 727–745 (2013)MathSciNetzbMATHGoogle Scholar
  34. 34.
    Mèmoli, F., Sapiro, G., Thompson, P.: Brain and surface warping via minimizing Lipschitz extensions. IMA Preprint Series 2092 (2006), Institute of Mathematics and its Applications, MN.
  35. 35.
    Peres, Y., Schramm, O., Sheffield, S., Wilson, D.B.: Tug-of-war and the infinity Laplacian. J. Am. Math. Soc. 22(1), 167–210 (2009)MathSciNetzbMATHGoogle Scholar
  36. 36.
    Shanmugalingam, N.: Newtonian spaces: an extension of sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana 16, 243–279 (2000)MathSciNetzbMATHGoogle Scholar
  37. 37.
    Shanmugalingam, N.: Some convergence results for \(p\)-harmonic functions on metric measure spaces. Proc. Lond. Math. Soc. 87, 226–246 (2003)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Departamento de Matemática Aplicada, ETSI IndustrialesUniversidad Nacional de Educación a Distancia (UNED)MadridSpain
  2. 2.Instituto de Matemática Interdisciplinar and Departamento de Análisis Matemático y Matemática Aplicada, Facultad de CC. MatemáticasUniversidad Complutense de MadridMadridSpain
  3. 3.Department of Mathematical SciencesUniversity of CincinnatiCincinnatiUSA

Personalised recommendations