We consider the class of measurable functions defined in all of Rn that give rise to a nonlocal minimal graph over a ball of Rn. 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 C8 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.

Peer Reviewed