Regularity and Bernstein-type results for nonlocal minimal surfaces (Q2398721)

In [\textit{L. Caffarelli} et al., Commun. Pure Appl. Math. 63, No. 9, 1111--1144 (2010; Zbl 1248.53009)], the notion of a non-local minimal surface in \(\mathbb{R}^{n+1}\), \(n\in\mathbb{N}\), was introduced. With the exception of a closed singular set of Hausdorff dimension at most \(n-2\), the boundary of such a surface was shown there to be \(C^{1,\alpha}\), and eventually \(C^\infty\) (by the result of [\textit{B. Barrios} et al., Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 13, No. 3, 609--639 (2014; Zbl 1316.35061)]). This extended the regularity theory of (classical) minimal surfaces in the non-local setting. In this elegant paper the authors use geometric analysis techniques to show that a Lipschitz non-local minimal surface in \(\mathbb{R}^{n+1}\) is \(C^\infty\). In addition, a non-local minimal surface \(E\) is defined as a \textit{non-local minimal cone} whenever, up to a rotation \(E=\{(x,\tau)\in\mathbb{R}^n\times\mathbb{R}~|~\tau < u(x)\}\) for some function \(u:\mathbb{R}^n\rightarrow\mathbb{R}\) (that is \(E\) is a \textit{non-local minimal graph}), and also, up to a translation, \(E=tE\) for any \(t>0\). The extension to the non-local case of the well known de Giorgi's result on the validity of Bernstein's theorem is shown to be true. More precisely, if the only non-local minimal cones in \(\mathbb{R}^n\) are half spaces, then for any non-local minimal graph \(E=\{(x,\tau)\in\mathbb{R}^n\times\mathbb{R}~|~\tau < u(x)\}\) \(u\) is affine (and thus \(E\) is a half space).