The optimal Hölder exponent in Massari's regularity theorem (Q6158155)

In this instructively written paper, the optimal Hölder exponent in Massari's regularity theorem for sets with variational mean curvarture on \(L^p\), is determined. More precisely, let \(p\in(n,\infty]\), \(U\subseteq\mathbb{R}^n\) be open and \(E\subseteq\mathbb{R}^n\) be a set of finite perimeter in \(U\); denoted by \(P(E,U)<\infty\). If there exists \(H\in L^p(U)\) such that \(H\) is a local variational mean curvature of \(E\) in \(U\); that is, if \(E\) minimizes the functional \[ \mathcal{F}_H^U(F):=P(F,U)-\int_{F\cap U}H~\mathrm{d}\mathcal{L}^n, \] among all \(F\in\mathcal{M}^n\) with \(f\triangle E\Subset U\), then the following properties are satisfied. \begin{itemize} \item For each \(x\in U\cap\partial^*E\) there exists an open neighborhood \(V\subseteq U\) of \(x\) such that \(V\cap\partial^*E=V\cap\partial E\) can be represented as a rotated and translated graph of a \(C^{1,\alpha}\)-function; \(\alpha=\frac14(1-\frac{n}{p})\), and \(E\cap V\) is the rotated and translated subgraph of this function. \item For all \(s\in(n-8,n]\), it holds \(\mathcal{H}^s\big((\partial E\setminus\partial^*E)\cap U\big)=0\) where \(\mathcal{H}^s\) stands for the counting measure for \(s<0\). \end{itemize} This is Massari's regularity theorem. The authors prove it here for all exponents \(\alpha<\frac{p-n}{p-1}\), and provide counterexamples confirming the optimality of this exponent.