A gradient estimate for nonlocal minimal graphs

Matteo Cozzi, Xavier Cabré

Research output: Contribution to journalArticle

Abstract

We consider the class of measurable functions defined in all of ℝ n that give rise to a nonlocal minimal graph over a ball of ℝ n . We establish that the gradient of any such function is bounded in the interior of the ball by a power of its oscillation. This estimate, together with previously known results, leads to the C regularity of the function in the ball. While the smoothness of nonlocal minimal graphs was known for n = 1; 2-but without a quantitative bound-in higher dimensions only their continuity had been established. To prove the gradient bound, we show that the normal to a nonlocal minimal graph is a supersolution of a truncated fractional Jacobi operator, for which we prove a weak Harnack inequality. To this end, we establish a new universal fractional Sobolev inequality on nonlocal minimal surfaces. Our estimate provides an extension to the fractional setting of the celebrated gradient bounds of Finn and of Bombieri, De Giorgi, and Miranda for solutions of the classical mean curvature equation.

LanguageEnglish
Pages775-848
Number of pages74
JournalDuke Mathematical Journal
Volume168
Issue number5
DOIs
StatusPublished - 1 Apr 2019

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

A gradient estimate for nonlocal minimal graphs. / Cozzi, Matteo; Cabré, Xavier.

In: Duke Mathematical Journal, Vol. 168, No. 5, 01.04.2019, p. 775-848.

Research output: Contribution to journalArticle

Cozzi, Matteo ; Cabré, Xavier. / A gradient estimate for nonlocal minimal graphs. In: Duke Mathematical Journal. 2019 ; Vol. 168, No. 5. pp. 775-848.
@article{6f536be9222d40399598e7447a3093ad,
title = "A gradient estimate for nonlocal minimal graphs",
abstract = "We consider the class of measurable functions defined in all of ℝ n that give rise to a nonlocal minimal graph over a ball of ℝ n . We establish that the gradient of any such function is bounded in the interior of the ball by a power of its oscillation. This estimate, together with previously known results, leads to the C ∞ regularity of the function in the ball. While the smoothness of nonlocal minimal graphs was known for n = 1; 2-but without a quantitative bound-in higher dimensions only their continuity had been established. To prove the gradient bound, we show that the normal to a nonlocal minimal graph is a supersolution of a truncated fractional Jacobi operator, for which we prove a weak Harnack inequality. To this end, we establish a new universal fractional Sobolev inequality on nonlocal minimal surfaces. Our estimate provides an extension to the fractional setting of the celebrated gradient bounds of Finn and of Bombieri, De Giorgi, and Miranda for solutions of the classical mean curvature equation.",
author = "Matteo Cozzi and Xavier Cabr{\'e}",
year = "2019",
month = "4",
day = "1",
doi = "10.1215/00127094-2018-0052",
language = "English",
volume = "168",
pages = "775--848",
journal = "Duke Mathematical Journal",
issn = "0012-7094",
publisher = "Duke University Press",
number = "5",

}

TY - JOUR

T1 - A gradient estimate for nonlocal minimal graphs

AU - Cozzi, Matteo

AU - Cabré, Xavier

PY - 2019/4/1

Y1 - 2019/4/1

N2 - We consider the class of measurable functions defined in all of ℝ n that give rise to a nonlocal minimal graph over a ball of ℝ n . We establish that the gradient of any such function is bounded in the interior of the ball by a power of its oscillation. This estimate, together with previously known results, leads to the C ∞ regularity of the function in the ball. While the smoothness of nonlocal minimal graphs was known for n = 1; 2-but without a quantitative bound-in higher dimensions only their continuity had been established. To prove the gradient bound, we show that the normal to a nonlocal minimal graph is a supersolution of a truncated fractional Jacobi operator, for which we prove a weak Harnack inequality. To this end, we establish a new universal fractional Sobolev inequality on nonlocal minimal surfaces. Our estimate provides an extension to the fractional setting of the celebrated gradient bounds of Finn and of Bombieri, De Giorgi, and Miranda for solutions of the classical mean curvature equation.

AB - We consider the class of measurable functions defined in all of ℝ n that give rise to a nonlocal minimal graph over a ball of ℝ n . We establish that the gradient of any such function is bounded in the interior of the ball by a power of its oscillation. This estimate, together with previously known results, leads to the C ∞ regularity of the function in the ball. While the smoothness of nonlocal minimal graphs was known for n = 1; 2-but without a quantitative bound-in higher dimensions only their continuity had been established. To prove the gradient bound, we show that the normal to a nonlocal minimal graph is a supersolution of a truncated fractional Jacobi operator, for which we prove a weak Harnack inequality. To this end, we establish a new universal fractional Sobolev inequality on nonlocal minimal surfaces. Our estimate provides an extension to the fractional setting of the celebrated gradient bounds of Finn and of Bombieri, De Giorgi, and Miranda for solutions of the classical mean curvature equation.

UR - http://www.scopus.com/inward/record.url?scp=85063619399&partnerID=8YFLogxK

U2 - 10.1215/00127094-2018-0052

DO - 10.1215/00127094-2018-0052

M3 - Article

VL - 168

SP - 775

EP - 848

JO - Duke Mathematical Journal

T2 - Duke Mathematical Journal

JF - Duke Mathematical Journal

SN - 0012-7094

IS - 5

ER -