Table of Contents
Fetching ...

Regularity for quasilinear elliptic equations in metric measure spaces

Simon Schulz, Ivan Yuri Violo

TL;DR

This work develops a robust regularity theory for quasilinear elliptic equations $\mathrm{div}(\Psi(|\nabla u|)\nabla u)=f$ on metric measure spaces with synthetic lower Ricci curvature bounds, proving second-order and Lipschitz regularity via a Galerkin approach using Laplacian eigenfunctions. The authors establish strong a priori estimates, including a local $L^2$-Laplacian bound, weighted second-order (Caccioppoli) estimates, and $L^{\infty}$ gradient bounds, accommodating both nondegenerate and $p$-growth regimes. They introduce a truncation/regularization strategy and a Galerkin scheme to transfer Euclidean second-order regularity to the non-smooth setting, and they prove convergence results to pass to the original operator $\mathrm{div}(\Psi(|\nabla u|)\nabla u)=f$. A Cheng–Yau type gradient bound for $p$-harmonic functions is derived, and corollaries cover minimal surfaces and eigenfunctions within the $RCD(K,N)$ framework. The results substantially extend Hölder theory by providing quantitative second-order and Lipschitz regularity in a broad, non-smooth geometric context.

Abstract

In the present article we prove second-order and Lipschitz regularity for quasilinear elliptic equations in metric spaces endowed with a lower bound on the Ricci curvature. The estimates we obtain are quantitative and cover a large class of elliptic equations with polynomial growth. As a particular case we settle the Lipschitz regularity of $p$-harmonic functions for all values of $p\in(1,\infty)$, proving also a Cheng-Yau type inequality. These results are the first in this setting that simultaneously address a wide family of elliptic operators and extend beyond the classical Hölder regularity theory. Our strategy rests on the use of Galerkin's method, which we employ as an alternative to the traditional difference quotients technique.

Regularity for quasilinear elliptic equations in metric measure spaces

TL;DR

This work develops a robust regularity theory for quasilinear elliptic equations on metric measure spaces with synthetic lower Ricci curvature bounds, proving second-order and Lipschitz regularity via a Galerkin approach using Laplacian eigenfunctions. The authors establish strong a priori estimates, including a local -Laplacian bound, weighted second-order (Caccioppoli) estimates, and gradient bounds, accommodating both nondegenerate and -growth regimes. They introduce a truncation/regularization strategy and a Galerkin scheme to transfer Euclidean second-order regularity to the non-smooth setting, and they prove convergence results to pass to the original operator . A Cheng–Yau type gradient bound for -harmonic functions is derived, and corollaries cover minimal surfaces and eigenfunctions within the framework. The results substantially extend Hölder theory by providing quantitative second-order and Lipschitz regularity in a broad, non-smooth geometric context.

Abstract

In the present article we prove second-order and Lipschitz regularity for quasilinear elliptic equations in metric spaces endowed with a lower bound on the Ricci curvature. The estimates we obtain are quantitative and cover a large class of elliptic equations with polynomial growth. As a particular case we settle the Lipschitz regularity of -harmonic functions for all values of , proving also a Cheng-Yau type inequality. These results are the first in this setting that simultaneously address a wide family of elliptic operators and extend beyond the classical Hölder regularity theory. Our strategy rests on the use of Galerkin's method, which we employ as an alternative to the traditional difference quotients technique.

Paper Structure

This paper contains 21 sections, 40 theorems, 196 equations.

Key Result

Theorem 1.1

Fix $p\in(1,\infty).$ Let $({\rm X},{\sf d},\mathfrak{m})$ be an $\mathrm{RCD}(K,N)$ space, $N<\infty,$ and $\Omega\subset {\rm X}$ be open and bounded. Suppose $u\in W^{1,p}(\Omega)$ solves for some $q>N$. Then $u \in \mathsf{LIP}_{\mathsf{loc}}(\Omega).$

Theorems & Definitions (82)

  • Theorem 1.1: Regularity for the $p$-Poisson equation
  • Corollary 1.2: Cheng-Yau type gradient estimate
  • Theorem 1.3: Non-degenerate quasilinear equations
  • Theorem 1.4: Quasilinear operators with $p$-growth
  • Remark 1.5: Non-autonomous equations
  • Remark 1.6: No $C^{1,\alpha}$-regularity
  • Corollary 1.7: Regularity for Sobolev minimizers
  • Corollary 1.8: Regularity for minimal surface equation
  • Corollary 1.9: Regularity for $p$-eigenfunctions
  • Lemma 2.1
  • ...and 72 more