Abstract
We determine the optimal Hölder exponent in Massari’s regularity theorem for sets with variational mean curvature in \(\textrm{L}^p\). In fact, we obtain regularity with improved exponents and at the same time provide sharp counterexamples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is concerned with a fine regularity issue for (local) minimizers of Massari’s functional
where the dimension \(n\ge 2\), an open set \(U\subseteq \mathbb {R}^n\), and a function \(H\in \textrm{L}^1(U)\) are given and \(\textrm{P}(F,U)\) stands for the perimeter of measurable sets \(F\subseteq \mathbb {R}^n\) in U. The study of \({\mathcal {F}}_H^U\) has its seeds in De Giorgi’s classical theory [7] for the case \(H\equiv 0\), where every (non-singular) minimizer E of the perimeter \({\mathcal {F}}_0^U=\textrm{P}(\,\cdot ,U)\) is bounded by a minimal surface \(U\cap \partial E\), and in analogy one expects that, whenever E locally minimizes \({\mathcal {F}}_H^U\) with general H, then \(U\cap \partial E\) should be a prescribed-mean-curvature hypersurface in \(\mathbb {R}^n\) with mean curvature given by H.
The cornerstone results of the theory have been extended from \(H\equiv 0\) to general H by Massari [16, 17]. Indeed, he obtained—as a main advantage of the variational approach—a basic existence theorem for minimizers of \({\mathcal {F}}_H^U\) with a generalized Dirichlet boundary condition at \(\partial U\) and moreover established partial \(\textrm{C}^{1,\alpha }\) regularity of local minimizers of \({\mathcal {F}}_H^U\) up to a closed singular set of Hausdorff dimension at most \(n{-}8\) in case of \(H\in \textrm{L}^p(U)\), \(p>n\). While well-known examples demonstrate that both the assumption \(p>n\) and the dimension bound \(n{-}8\) in the regularity theorem are sharp, to our knowledge the optimality of the Hölder exponent \(\alpha \) has not yet been addressed. Indeed, while the original paper [17] provides the exponent \(\alpha =\frac{1}{4}(1{-}\frac{n}{p})\), from the regularity theory of Tamanini [22, 24] for almost-minimizers of the perimeter one can directly read off the better exponent \(\alpha =\frac{1}{2}(1{-}\frac{n}{p})\) (compare also the introduction of [2]). Interestingly, though Tamanini’s results are optimal for almost-minimizers, for minimizers of \({\mathcal {F}}_H^U\) with \(H\in \textrm{L}^p(U)\), \(p>n\), we here bring up the better, sharp, and apparently new exponent
In fact, we establish partial \(\textrm{C}^{1,\alpha }\) regularity for all \(\alpha <\alpha _{\textrm{opt}}(n,p)\), and at the same time, for all \(n\ge 2\) and \(n<p<\infty \), disprove \(\textrm{C}^{1,\alpha }\) regularity for any \(\alpha >\alpha _{\textrm{opt}}(n,p)\) by counterexamples. This confirms the conjecture of [11] that \(\lim _{p\rightarrow \infty }\alpha _{\textrm{opt}}(n,p)=1\) should hold. Moreover, our results are optimal on the scale of Hölder spaces except for resolving the case of the limit exponent \(\alpha =\alpha _{\textrm{opt}}(n,p)\). We expect that \(\textrm{C}^{1,\alpha }\) regularity extends to this limit exponent, but we leave a proof by somewhat different methods for future treatment elsewhere.
In order to prove our regularity result it suffices to work on the regular set where a-priori \(\textrm{C}^{1,\alpha }\) regularity with some \(\alpha >0\) is available and we can use an iterative strategy to gradually improve on \(\alpha \). Indeed, in each step we exploit the \(\textrm{C}^{1,\alpha }\) regularity at hand in order to improve on power-type decay estimates for the deviation from minimality and deduce \(\textrm{C}^{1,\alpha }\) regularity with some larger \(\alpha \) from Tamanini’s results. Since the resulting sequence of exponents converges from below to \(\alpha _{\textrm{opt}}(n,p)\), this leads to the conclusion. Actually, the details of the reasoning turn out to be somewhat technical, and we refer the reader to Sect. 3 for a careful implementation.
We find it interesting to point out that, whenever a first-variation equation is at hand and expresses that the mean curvature is given by an \(\textrm{L}^q\) function, \(q>n{-}1\), on the hypersurface \(U\cap \partial E\), then it follows from \(\textrm{L}^q\) theory for the linearized equation and the Morrey-Sobolev embedding that \(\textrm{C}^1\) solutions are automatically \(\textrm{C}^{1,\alpha }\) with the optimal exponent \(\alpha =1{-}\frac{n-1}{q}\). However, this framework is different from ours and does not apply when considering \(H\in \textrm{L}^p(U)\) and thus allowing discontinuity of H along \(U\cap \partial E\) since H has no canonical restriction to the hypersurface \(U\cap \partial E\) and in general the second term of \({\mathcal {F}}_H^U\) is non-differentiable at the minimizer E. The latter point may be even more visible when parametrizing hypersurface portions as graphs and thus passing to the non-parametric functional
for functions \(w\in \textrm{C}^1({{\overline{\Omega }}})\) over bounded open \(\Omega \subset \mathbb {R}^{n-1}\) with \(r>\Vert w\Vert _{\textrm{C}(\Omega )}\). Here, we can differentiate in the dependent variable w at a minimizer f in the sense of \(\frac{\textrm{d}}{\textrm{d}t}\big |_{t=f(y)}\int _0^tH(y,s)\,\textrm{d}s=H(y,f(y))\) only if H is continuous in s at the surface point (y, f(y)). All in all, this means that, for minimizers of \({\mathcal {F}}_H^U\) with \(H\in \textrm{L}^p(U)\), we do not have a first-variation equation at our disposal, and hence our framework is a non-differentiable one in the general tradition of [8]. This goes with the observation that our exponent \(\alpha _{\textrm{opt}}(n,p)\) lies in between the exponent \(\frac{1}{2}(1{-}\frac{n}{p})\) available by direct variational considerations and a better exponent of type \(1{-}\frac{n}{p}\) to be expected in a differentiable situation. Moreover, for \(p\rightarrow \infty \), when H “approaches continuity” and \({\mathcal {F}}_H^U\) “approaches differentiability”, \(\alpha _{\textrm{opt}}(n,p)\) asymptotically approaches the better exponent \(1{-}\frac{n}{p}\). We remark that, on a general level, this behavior is reminiscent of the optimal exponent \(\beta _{\textrm{opt}}=\frac{\gamma }{2-\gamma }\) in the \(\textrm{C}^{1,\beta }\) regularity theory [9, 13, 18, 19, 25] for minimizers of non-parametric functionals with \(\textrm{C}^{0,\gamma }\)-dependence on the dependent variable w. However, this theory does not directly yield our exponent \(\alpha _{\textrm{opt}}(n,p)\). Additionally, in Sect. 3.3 we consistently complete the picture described with a minor observation, possibly well known to experts. Indeed, we record that in case \(H\in \textrm{L}^\infty (U)\) one cannot write down the first-variation equation of \({\mathcal {F}}_H^U\) but at least can formulate a closely related differential inequality. Specifically for \(n=2\), from this inequality one can easily read off even \(\textrm{C}^{1,1}\) regularity of minimizers of \({\mathcal {F}}_H^U\) with \(H\in \textrm{L}^\infty (U)\) while for \(n\ge 3\) the counterexample [11, Remark 3.6] shows that \(\textrm{C}^{1,\alpha }\) regularity for all \(\alpha <1\) is best possible.
Finally, let us briefly discuss our sharp counterexamples, which crucially depend on the construction of suitable functions \(H\in \textrm{L}^p(U)\) such that (a cut-off of) the \(\textrm{C}^{1,\alpha }\)-subgraph
![](http://media.springernature.com/lw222/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ54_HTML.png)
locally minimizes \({\mathcal {F}}_H^U\) for some \(U\Subset \mathbb {R}^n\). We actually give two constructions. The first one covers \(n=2\) only (and actually works with an odd variant of the subgraph E), but explicitly determines the function H with \(H\in \textrm{L}^p(U)\) whenever \(p>2\), \(\alpha >\alpha _{\textrm{opt}}(2,p)\), as the divergence of a unit vector field which suitably extends the outward unit normal of E. The main ingredient is a lemma, which has been around previously in closely related versions, and asserts that E indeed locally minimizes \({\mathcal {F}}_H^U\) in the described situation. The second construction works in arbitrary dimension \(n\ge 2\) but draws on some more background from the theory of variational mean curvatures and is not explicit to the same extent. Specifically, it relies on Barozzi’s formula [3] for an \(\textrm{L}^1\) optimal variational mean curvature H and the minimizers-contain-balls lemma of Tamanini & Giacomelli [23] in order to estimate H and infer \(H\in \textrm{L}^p(U)\) whenever \(p>n\), \(\alpha >\alpha _{\textrm{opt}}(n,p)\).
The results of this paper are partially contained in the second author’s master thesis [20], which has been supervised by the first author.
2 Preliminaries
2.1 General notation and overall assumptions
Overall assumptions. Throughout this paper, we consider a dimension \(2\le n\in \mathbb {N}\). Moreover, if not otherwise stated, \(U\subseteq \mathbb {R}^n\) is an open subset of the n-dimensional Euclidean space.
Basic notation. In the following, \({{\,\textrm{B}\,}}_r(x)\) denotes the open ball in \(\mathbb {R}^n\) with radius \(r>0\) and center \(x\in \mathbb {R}^n\). In case the dimension of the ball is not clear, we use \({{\,\textrm{B}\,}}^k_r(x')\) for the open ball with radius r and center \(x'\in \mathbb {R}^k\) in \(\mathbb {R}^k\) with \(k\in \{1,\dots ,n\}\). For \(x\in \mathbb {R}^n\), the symbol denotes the \((n{-}1)\)-dimensional vector \((x_1,\dots ,x_{n-1})\). Moreover, \(\textrm{C}_r(x)\) is the open cylinder
with center \(x\in \mathbb {R}^n\) and with height and radius \(r>0\) in \(\mathbb {R}^n\). For a constant in \((0,\infty )\) depending only on values \(t_1,\dots ,t_N\in \mathbb {R}\) with \(N\in \mathbb {N}\), we write \(\textrm{c}(t_1,\dots ,t_N)\).
Measure-theoretic notation. We follow standard notations and denote the s-dimensional Hausdorff measure with \(s\in [0,\infty )\) and the n-dimensional Lebesgue measure on \(\mathbb {R}^n\) by \({\mathcal {H}}^s\) and \({\mathcal {L}}^n\), respectively. The set \({\mathcal {M}}^n\) denotes the set of all Lebesgue-measurable subsets of \(\mathbb {R}^n\). We abbreviate \(|F|\,{:}{=}\,{\mathcal {L}}^n(F)\) for sets \(F\in {\mathcal {M}}^n\). The notation \(|\mu |\) denotes the variation measure of a Radon measure \(\mu \). For \(\alpha \in [0,1]\) and \(F\in {\mathcal {M}}^n\), we denote the set of points of density \(\alpha \) of F by \(F(\alpha )\).
Notation for functions. For \(\alpha \in (0,1]\), \(N\in \mathbb {N}\) and \(f\in \textrm{C}^{0,\alpha }(U;\mathbb {R}^N)\), we denote the Hölder constant of f on U by \(C_f^\alpha \). For a set \(G\subseteq \mathbb {R}^n\), \(\mathbb {1}_G\) denotes the characteristic function of G. In measure-theoretic contexts, we identify functions and sets which coincide \({\mathcal {L}}^n\)-a.e. and call them representations of each other.
2.2 The perimeter
For a Lebesgue-measurable set \(E\subseteq \mathbb {R}^n\), the perimeter of E in U is defined by
Abbreviated, we write \(\textrm{P}(E)\) instead of \(\textrm{P}(E,\mathbb {R}^n)\). The perimeter is in fact the total variation of the derivative of a characteristic function, more precisely, \(\mathbb {1}_E\) is a \(\textrm{BV}_{\textrm{loc}}(U)\)-function with finite derivative measure on U if and only if the perimeter of E in U is locally finite and in this case, \(|\textrm{D}\mathbb {1}_E|(U)=\textrm{P}(E,U)\). Therefore, it makes sense to extend the perimeter notion by \(\textrm{P}(E,B)=|\textrm{D}\mathbb {1}_E|(B)\) for Borel sets \(B\subseteq \mathbb {R}^n\) whenever there exists an open neighborhood of B such that E has locally finite perimeter in this set. Then the perimeter \(P(E,\cdot )\) becomes a Radon measure, and it is lower semi continuous with respect to the \(\textrm{L}^1_{\textrm{loc}}\)-convergence in the first argument.
A decisive advantage of the perimeter is the possibility to measure the area of a set independently of null set changes in a good sense. Indeed, according to the divergence theorem, each set \(E\subseteq \mathbb {R}^n\) with Lipschitz boundary in U is a set of locally finite perimeter in U and \(\textrm{P}(E,U)={\mathcal {H}}^{n-1}(\partial E\cap U)\).
The following properties of perimeters are well-known and can be found in [1, Proposition 3.38], for instance.
Lemma 2.1
(Properties of the perimeter) If \(E\subseteq \mathbb {R}^n\) is a set of locally finite perimeter in U, \(F\in {\mathcal {M}}^n\) and \(B,B'\subseteq U\) are Borel sets, then
-
(i)
\(\textrm{P}(E,B)\le \textrm{P}(E,B')\) if \(B\subseteq B'\) with equality if \(E\Subset B\),
-
(ii)
if \(|(E\,\triangle \,F)\cap U'|=0\) for some open set \(U'\subseteq U\) with \(B\subseteq U'\), then F is a set of locally finite perimeter in \(U'\) with \(\textrm{P}(E,B)=\textrm{P}(F,B)\), in particular, \(\textrm{P}(E,B)=\textrm{P}(\mathbb {R}^n{\setminus } E,B)\),
-
(iii)
if F is also a set of locally finite perimeter in U, then \(\textrm{P}(E\cap F,B)+\textrm{P}(E\cup F,B)\le \textrm{P}(F,B)+\textrm{P}(E,B).\)
2.3 Reduced boundaries
Let \(E\subseteq \mathbb {R}^n\) be a Lebesgue-measurable set. We denote the reduced boundary of E, which is defined as in [1, Definition 3.54] and taken in the largest open set such that E has locally finite perimeter in that set, by \(\partial ^*E\). By \(\nu _E\), we denote the weak outward unit normal of E.
If \(x\in \partial E\) and E is of class \(\textrm{C}^1\) near x, then the weak outward unit normal equals the strong one at x and \(x\in \partial ^*E\). Especially, \(\partial E = \partial ^*E\) whenever E has \(\textrm{C}^1\) boundary. For general Lebesgue-measurable sets, De Giorgi’s structure theorem says on the largest open set where E has locally finite perimeter. A conclusion from this statement is the generalized divergence theorem which states
for all \(\Phi \in \textrm{W}^{1,1}(U;\mathbb {R}^n)\cap \textrm{C}_{\textrm{cpt}}(U;\mathbb {R}^n)\) whenever E has locally finite perimeter in U. Moreover, Federer’s structure theorem allows to identify the reduced boundary with the measure-theoretic boundary and with the set of all points of density \(\frac{1}{2}\).
The reduced boundary of a set E is the principal part of the boundary in the measure-theoretic sense since it is invariant under null set changes of E. In order to investigate the regularity, it is reasonable to choose the best possible representation \(E^*\) of E such that \(\partial E^*{\setminus } \partial ^*E\) is minimized in the sense that it holds and for every other representation \(E'\) of E, it holds
. This can be realized by defining \(E^*\) as the measure theoretic interior E(1) of E. Moreover, this representation satisfies \(0<|E^*\cap {{\,\textrm{B}\,}}_r(x)|<|{{\,\textrm{B}\,}}_r(x)|\) for all \(x\in \partial E^*\) and \(r>0\). If not otherwise stated, we will always assume sets to have this representation.
For more background on BV theory, see [1, 10, 15].
2.4 Variational mean curvatures
Variational mean curvatures generalize the concept of mean curvatures for boundaries of arbitrary sets. In contrast to mean curvatures, the variational mean curvature is defined on a neighborhood of the surface one actually wants to describe. Initially, we consider sets with constant variational mean curvature and state a useful result before generalizing the concept.
Let \(\lambda >0\) and \(E\subseteq \mathbb {R}^n\) be a set of finite perimeter and finite volume. Consider the minimization problem
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Figa_HTML.png)
with
The following result has been obtained in [23, Lemma 2.4].
Lemma 2.2
(Minimizers contain balls) Let \(E\subseteq \mathbb {R}^n\) be a set of finite perimeter and finite volume. If there exist \(x\in E\), \(r>0\) such that \({{\,\textrm{B}\,}}_r(x)\subseteq E\), then
for all \(\lambda \ge \frac{n}{r}\) and all \(F\subseteq E\). If we have \(\lambda >\frac{n}{r}\), then equality in the estimate above (as it occurs specifically for a minimizer F of (\(\textrm{P}_\lambda \))) implies \({{\,\textrm{B}\,}}_r(x)\subseteq F\).
For the convenience of the reader, we explicate the proof.
Proof
We first show that the following inequality holds true for all \(G\subseteq {{\,\textrm{B}\,}}_r(x)\):
In other words, \({{\,\textrm{B}\,}}_r(x)\) is a minimizer of \({\mathcal {F}}^{\frac{n}{r}}\,{:}{=}\,\textrm{P}(\,\cdot \,)-\frac{n}{r}|\cdot |\) among subsets of \({{\,\textrm{B}\,}}_r(x)\). According to the isoperimetric inequality, it suffices to show that \({{\,\textrm{B}\,}}_r(x)\) minimizes \({\mathcal {F}}^{\frac{n}{r}}\) among balls with radius in [0, r] which is straightforward to verify.
Finally, for \(\lambda \ge \frac{n}{r}\) and Lebesgue-measurable sets \(F\subseteq E\) of finite perimeter, it follows
where we used \({{\,\textrm{B}\,}}_r(x)\subseteq E\), Lemma 2.1(iii) and (2.1) for \(G=F\cap {{\,\textrm{B}\,}}_r(x)\). Equality can only appear if \({{\,\textrm{B}\,}}_r(x){\setminus } F\) is a null set in the case \(\lambda >\frac{n}{r}\). The choice of representation implies \({{\,\textrm{B}\,}}_r(x)\subseteq F\). \(\square \)
The functional \({\mathcal {F}}_\lambda \) is generalized by the functional \({\mathcal {F}}_H\), defined in (2.2), for \(H\in \textrm{L}^1(\mathbb {R}^n)\). In [16], Massari showed that the boundary of a suitable regular minimizer of \({\mathcal {F}}_H\) has mean curvature H whenever H is continuous. This will be explicated later in Sect. 3.3 and motivates the definition of (local) variational mean curvatures given in [3, Definition 1.1] and [12, p. 197].
Definition 2.3
((Local) Variational mean curvatures) Let \(E\subseteq \mathbb {R}^n\) be a set of finite perimeter and \(H\in \textrm{L}^1(\mathbb {R}^n)\). We call H a (global) variational mean curvature of E if
where
For \(p\in {[1,\infty ]}\) we denote the set of all variational mean curvatures of E in \(\textrm{L}^p(E)\) by \(\mathbb {H}^p(E)\).
Moreover, we say that a set \({\tilde{E}}\subseteq \mathbb {R}^n\) of finite perimeter in U has (local) variational mean curvature \(\varvec{{\tilde{H}}\in \textrm{L}^1(U)}\) in \(\varvec{U}\) if
where
We denote the set of all variational mean curvatures of \({\tilde{E}}\) in U which are contained in \(\textrm{L}^p({\tilde{E}})\) by \(\mathbb {H}^p({\tilde{E}},U)\).
Remark 2.4
Clearly, we have \(\mathbb {H}^1(E) \subseteq \mathbb {H}^1(E,U)\), where we identify \(H\in \mathbb {H}^1(E)\) with \(H|_U\in \mathbb {H}^1(E,U)\). However, we warn the reader that \(\mathbb {H}^1(E) \subsetneq \mathbb {H}^1(E,U)\) may happen even for \(U=\mathbb {R}^n\), that is a local variational mean curvature in \(\mathbb {R}^n\) is not necessarily a global variational mean curvature.
Next we record an elementary lemma, which we have not found in the existing literature.
Lemma 2.5
Let \(E\subseteq {\mathbb {R}}^n\) be a set of finite perimeter in U and \(H_1,H_2\in {\mathbb {H}}^1(E,U)\). Then the composed function \(\widehat{H}\,{:}{=}\, H_1\mathbb {1}_{E\cap U}+H_2\mathbb {1}_{U{{\setminus }} E}\) is also in \({\mathbb {H}}^1(E,U)\). If E is a set of finite perimeter with \(E\Subset U\), \(H_1\in {\mathbb {H}}^1(E,U)\), and \(H_2\in {\mathbb {H}}^1(E)\), then \(\tilde{H}\,{:}{=}\, H_1\mathbb {1}_{E}+H_2\mathbb {1}_{\mathbb {R}^n {\setminus } E}\) is in \({\mathbb {H}}^1(E)\).
Proof
First we assume E to have finite perimeter in U and \(H_1,H_2\in {\mathbb {H}}^1(E,U)\). Evidently, we have \(\widehat{H}\in \textrm{L}^1(U)\). For a set \(F\in {\mathcal {M}}^n\) of finite perimeter with \(F \triangle E\Subset U\), we compute
where we used Lemma 2.1(iii). Subtracting \({\mathcal {F}}^U_{H_2}(E)\) on both sides shows the first claim. Now, assume E to be a of finite perimeter with \(E\Subset U\) and \(H_2\in {\mathbb {H}}^1(E)\). Then \({\mathcal {F}}_{H_1}^U(G)={\mathcal {F}}_{{{\tilde{H}}}}^U(G)= {\mathcal {F}}_{{{\tilde{H}}}}(G)\) holds true for all measurable sets \(G\subseteq E\). Hence, \({\mathcal {F}}_{{{\tilde{H}}}}(E) + {\mathcal {F}}_{H_2}(E)\le {\mathcal {F}}_{\tilde{H}}(F)+{\mathcal {F}}_{H_2}(E)\) can be concluded as before for all \(F\in {\mathcal {M}}^n\). \(\square \)
Since one can always modify a given variational mean curvature of a set E by increasing its values on E and decreasing its values outside E without leaving the set \(\mathbb {H}^1\) of curvatures of E, one cannot hope to extract too much information on E from an arbitrary variational mean curvature. However, the definition of variational mean curvatures is underpinned by the fact that for each Lebesgue-measurable set E one can construct a certain optimal variational mean curvature, which may indeed yield better information. We will now present the construction of this optimal curvature from [3]. The idea is to define a ’small’ variational mean curvature for each set of finite perimeter based on the approximation of the set by subsets with constant variational mean curvature, i.e., by minimizers of (\(\textrm{P}_\lambda \)).
Construction 2.6
(Construction of the optimal variational mean curvature) Let \(E\subseteq \mathbb {R}^n\) be a set of finite perimeter and \(h_E\) an arbitrary function in \(\textrm{L}^1(E)\) such that \(h_E>0\) a.e. on E. Furthermore, let \(\mu \,{:}{=}\,\mu _E\) be the positive and finite measure . For an arbitrary number \(\lambda >0\), we define the functional
and consider the minimization problem
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Figb_HTML.png)
Notice that \({\mathcal {F}}_\lambda ^\mu = {\mathcal {F}}_\lambda \) if E is a set of finite volume and \(h_E\) is chosen as \(\mathbb {1}_E\) such that (\(\textrm{CP}_\lambda \)) turns into (\(\textrm{P}_\lambda \)). The following properties are easy to verify.
-
There exists a (not necessarily unique) set \(E_\lambda \subseteq E\), \(E_\lambda \in {\mathcal {M}}^n\) which attains the minimum of (\(\textrm{CP}_\lambda \)).
-
\(E_\lambda \subseteq E_\gamma \) for all \(0< \lambda < \gamma \).
-
\(E{\setminus }\left( \bigcup _{\lambda \in \mathbb {Q}_{>0}} E_\lambda \right) \) is a null set.
Finally, for a fixed choice of \((E_\lambda )_{\lambda \in \mathbb {Q}_{>0}}\), we define the function
for \(x\in E\). It is left to define \(H_E\) on \(\mathbb {R}^n{\setminus } E\). With regard to the fact that \(H\in \mathbb {H}^1(E)\) implies \(-H\in \mathbb {H}^1(\mathbb {R}^n{\setminus } E)\), it is reasonable to set
for \(x\in \mathbb {R}^n{\setminus } E\), where the previous steps were used for \(\mathbb {R}^n{\setminus } E\) instead of E to construct \(H_{\mathbb {R}^n{\setminus } E}\) on \(\mathbb {R}^n{\setminus } E\) with corresponding a.e. positive \(h_{\mathbb {R}^n{\setminus } E}\in \textrm{L}^1(\mathbb {R}^n{\setminus } E)\).
For our purposes it is relevant that this construction allows for estimating \(H_E\) via (2.3) and Lemma 2.2 on balls contained in E. This will enable us to construct the counterexamples for which the Hölder exponent in Massari’s regularity theorem depends in a fairly sharp way on the integrability of the (optimal) curvature.
We also record the announced optimality property of \(H_E\), which has been established in [3, Theorem 2.1, Remark 2.1].
Theorem 2.7
(\(H_E\) is an \(\textrm{L}^1\) optimal curvature) Let \(E\subseteq \mathbb {R}^n\) be a set of finite perimeter. Then, for any choice of \(h_E\in \textrm{L}^1(E)\) and \((E_\lambda )_{\lambda \in \mathbb {Q}_{>0}}\), the function \(H_E\) from (2.3) is a (global) variational mean curvature of E with \(\textrm{P}(E)=\Vert H_E\Vert _{\textrm{L}^1(E)}\le \Vert H\Vert _{\textrm{L}^1(E)}\) and \(\textrm{P}(E) = \Vert H_E\Vert _{\textrm{L}^1(\mathbb {R}^n{\setminus } E)}\le \Vert H\Vert _{\textrm{L}^1(\mathbb {R}^n{\setminus } E)}\) for all \(H\in \mathbb {H}^1(E)\).
Moreover, if E has finite volume and if \(\mathbb {H}^p(E)\ne \emptyset \) holds for \(p\in {(1,\infty )}\), then [3, Theorem 3.2] asserts that \(H_E\) is even the unique minimizer of the \(\textrm{L}^p(E)\)-norm in \(\mathbb {H}^p(E)\).
2.5 Regularity theorems
Massari’s regularity theorem was first obtained in [17, Theorem 3.1, Theorem 3.2] and is now restated as follows; compare also [11, Theorem 3.6].
Theorem 2.8
(Massari’s regularity theorem) Let \(p\in {(n,\infty ]}\), \(\alpha = \frac{1}{4}\big (1-\frac{n}{p}\big )\), \(U\subseteq \mathbb {R}^n\) be an open set and \(E\subseteq \mathbb {R}^n\) a set of finite perimeter in U.Footnote 1 If there exists \(H\in \textrm{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)\) among all \(F\in {\mathcal {M}}^n\) with \(F\,\triangle \,E\Subset U\), then the following properties are satisfied.
-
(i)
\(U\cap \partial ^*E\) is an \((n-1)\)-dimensional \(\textrm{C}^{1,\alpha }\)-manifold relatively open in \(U\cap \partial E\).Footnote 2
-
(ii)
For all \(s\in (n-8,n]\), it holds \({\mathcal {H}}^s((\partial E{\setminus } \partial ^*E)\cap U)=0\), where \({\mathcal {H}}^s\,{:}{=}\,{\mathcal {H}}^0\) for \(s<0\).
Remark 2.9
If \(U\subseteq \mathbb {R}^n\) is an open and bounded set and both, U and \(E\cap U\) are sets of finite perimeter, then \(\mathbb {H}^1(E\cap U)\subseteq \mathbb {H}^1(E,U)\). Hence, if \(H_{E\cap U}\) and \(H_{U{\setminus } E}\) have finite \(\textrm{L}^p\)-norm on \(E\cap U\) and \(U{\setminus } E\), respectively, for some \(p\in {[1,\infty )}\), then \(H_{E\cap U} \mathbb {1}_{E\cap U}-H_{U{{\setminus }} E}\mathbb {1}_{U{\setminus } E}\in \mathbb {H}^1(E,U)\cap \textrm{L}^p(U)\) can be verified with Lemma 2.5.
In [6, Theorem A] it is proved that the Simons cone
is a set with vanishing variational mean curvature in every bounded subset of \(\mathbb {R}^8\). Since \(\partial C\) is \(\textrm{C}^1\) except for the origin, the condition on s in Massari’s regularity theorem is optimal. The requirement \(p>n\) is optimal as well. In fact, in [11, Example 2.2] and [12, Section 2], it is shown that the theorem fails for \(p<n\) and \(p=n\), respectively.
In order to improve on the Hölder exponent \(\alpha \) in Theorem 2.8 we will crucially rely on the related regularity result [22, Proposition 1] of Tamanini for almost-minimizers of the perimeter. This result, which in itself comes with an optimal Hölder exponent, is restated next (together with some relevant notation).
Notation
For a set \(E\subseteq \mathbb {R}^n\) of locally finite perimeter and a bounded open set \(U\subseteq \mathbb {R}^n\), we set
Remark 2.10
Clearly, \(\Psi \) is monotonously increasing in the second component with respect to the subset relation. Moreover, for all sets \(E\subseteq \mathbb {R}^n\) of locally finite perimeter and bounded open sets \(U\subseteq \mathbb {R}^n\), there exists a set \(A\subseteq \mathbb {R}^n\) satisfying \(A{\setminus } U = E{\setminus } U\) which minimizes the perimeter in U with boundary datum E. This follows by the direct method of calculus of variations; see, for instance, [10, Theorem 1.20]. In particular, for all \(F\in {\mathcal {M}}^n\) with \(F\,\triangle \,E\Subset U\), it holds
![](http://media.springernature.com/lw287/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ55_HTML.png)
Hence, A satisfies .
Theorem 2.11
(Tamanini’s regularity theorem; a-priori-\(\textrm{C}^1\) case) Let \(\alpha \in (0,1)\) and \(E\subseteq \mathbb {R}^n\) be a set such that \(\partial E\cap U\) is \(\textrm{C}^1\). Then \(\partial E\cap U\) is locally of class \(\textrm{C}^{1,\alpha }\) if and only if for each \(x\in \partial E \cap U\) there exists a neighborhood V of x and constants \(C,R>0\) such that
holds true for all \(y\in \partial E\cap V\) and \(0<r<R\).
Remark 2.12
The estimate \(\Psi (E,{{\,\textrm{B}\,}}_r(x))\le \textrm{c}(p) \Vert H\Vert _{\textrm{L}^p(U)}r^{n\frac{p-1}{p}}\) holds true for all \(H\in \mathbb {H}^p(E,U)\) and \(B_r(x)\subseteq U\) according to Hölder’s inequality. Hence, it is immediate that the optimal Hölder exponent in Massari’s regularity theorem is greater than or equal to \(\frac{1}{2}\big (1-\frac{n}{p}\big )\).
3 Optimal \(\textrm{C}^{1,\alpha }\) regularity
In this section, we improve on the Hölder exponent in Massari’s regularity theorem.
3.1 Preparatory lemmas
First we deal with two technical lemmas, where the second one provides us with suitable local rotations which transform to a situation with horizontal tangent space and do not change the \(\textrm{C}^{1,\alpha }\) Hölder constant too much.
Lemma 3.1
(Hölder continuity transferred from and to the unit normal) Let \(\alpha \in (0,1]\), \(\Omega \subseteq \mathbb {R}^{n-1}\) be an open set and with \(\Vert \nabla f\Vert _{\textrm{C}(\Omega )}<\infty \). Let F denote the graph mapping of f. Then f is in \(\textrm{C}^{1,\alpha }(\Omega )\) if and only if the unit normal of the graph of f, that is, the vector field
![](http://media.springernature.com/lw262/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ56_HTML.png)
is in \(\textrm{C}^{0,\alpha }(F(\Omega );\mathbb {R}^n)\). Moreover, in this case we have the inequalities
Proof
We start with the forward implication. Since \(V:\mathbb {R}^{n-1}\rightarrow \mathbb {R}^n;\;x'\mapsto \frac{(-x',1)}{\sqrt{1+|x'|^2}}\) is Lipschitz continuous with Lipschitz constant 1, it follows
![](http://media.springernature.com/lw510/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ57_HTML.png)
for all \(x,y\in F(\Omega )\).
Now we turn to the backward implication. Let and
,
. We first notice
,
and that
is bounded from above by \(\sqrt{1+\Vert \nabla f\Vert _{\textrm{C}(\Omega )}^2}\) for each \(z\in F(\Omega )\). Thus, by estimating
![](http://media.springernature.com/lw475/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ58_HTML.png)
we arrive at the claim. \(\square \)
Lemma 3.2
(Existence of good graph representations of \(\textrm{C}^{1,\alpha }\)-sets) Let \(\alpha \in (0,1]\), \(f\in \textrm{C}^{1,\alpha }(\Omega )\) with \(\Vert \nabla f\Vert _{\textrm{C}(\Omega )}<\infty \) for an open set \(\Omega \subseteq \mathbb {R}^{n-1}\), and let F denote the graph mapping of f.
For all \(x_0\in F(\Omega )\), there exists a constant \(R>0\) such that for all \(x\in \textrm{C}_R(x_0)\cap F(\Omega )\), there exists a rotation T with \(Tx=x\) such that \(\textrm{C}_R(x)\cap TF(\Omega )\) is the graph of a -function with vanishing gradient at
and Hölder constant in \(\big [0, \textrm{c}(\alpha ) C^\alpha _{\nabla f}\big ]\).
Proof
Let \(x_0\in F(\Omega )\). We can choose \(R>0\) small enough such that \(C^\alpha _{\nabla f}R^\alpha <\varepsilon \) for some \(\varepsilon \in \left( 0,1\right) \) and . Then, according to the Hölder continuity of \(\nabla f\),
holds true for all \(z'\in \Omega \). Moreover, since the unit normal \(\nu _{F(\Omega )}\) is locally uniformly continuous on \(F(\Omega )\), we can make R small enough such that
for all \(y\in \textrm{C}_R(x_0)\cap F(\Omega )\), \(z\in F(\Omega )\) with \(|z-y|\le R\).
In order to obtain a rotation which preserves the graph structure of \(F(\Omega )\), we show for \(x\in \textrm{C}_R(x_0)\cap F(\Omega )\) that the orthogonal projection of \(F(\Omega )\cap {{\,\textrm{B}\,}}_R(x)\) on the tangent space \(\textrm{T}_xF(\Omega )\) is one-to-one. Indeed, let us consider \(y,w\in F(\Omega )\cap {{\,\textrm{B}\,}}_R(x)\) such that \(y-w\) is parallel to \(\nu _{F(\Omega )}(x)\). According to the mean value theorem, there exists such that
. Thus, the estimate
![](http://media.springernature.com/lw368/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ59_HTML.png)
enforces \(y=w\) according to the choice of \(\varepsilon \). Hence, the projection is one-to-one and there exist a rotation T with \(Tx=x\) such that \(\nu _{TF(\Omega )}(x)=e_n\) and \(TF(\Omega )\cap {{\,\textrm{B}\,}}_R(x)={\tilde{F}}({\tilde{\Omega }})\) for the graph mapping \({\tilde{F}}\) of a \(\textrm{C}^1({\tilde{\Omega }})\)-function \({\tilde{f}}\) and some open set with
.
In the next step, we show that the rotation preserves Hölder continuity with control on the Hölder constant. According to Lemma 3.1, the outward unit normal \(\nu _{F(\Omega )}\) is \(\alpha \)-Hölder continuous on \(F(\Omega )\) with Hölder constant in \(\big [0,C^\alpha _{\nabla f}\big ]\) on \(F(\Omega )\). Since rotations are isometric, \(\nu _{TF(\Omega )}(y)=T\left[ \nu _{F(\Omega )} (T^{-1}y)+x\right] -x\) is still \(\alpha \)-Hölder continuous on \( TF(\Omega )\) with the same Hölder constant. With (3.1) and again the isometry property, we can estimate
![](http://media.springernature.com/lw359/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ60_HTML.png)
for all \(y\in {{\,\textrm{B}\,}}_R(x)\cap TF(\Omega )= {\tilde{F}}({\tilde{\Omega }})\). Hence, \(|\nabla {\tilde{f}}|\) is bounded on \({\tilde{\Omega }}\) by \(\sqrt{3}\). Applying Lemma 3.1 once more, we infer that \({\tilde{f}}\) is a \(\textrm{C}^{1,\alpha }({\tilde{\Omega }})\)-function with Hölder constant in \(\big [0, \textrm{c}(\alpha ) C^\alpha _{\nabla f}\big ]\).
Finally, the estimate
![](http://media.springernature.com/lw536/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ61_HTML.png)
for all allows to choose a small \({\tilde{R}}\in (0,R)\) independently of the choice of x such that \(\textrm{C}_{{\tilde{R}}}(x)\Subset {{\,\textrm{B}\,}}_R(x)\) and \({\tilde{f}}(y')\in (x_n-{\tilde{R}},x_n+{\tilde{R}})\) for all
. With the continuity of f, it follows
. Thus, \(TF(\Omega )\cap \textrm{C}_{{\tilde{R}}}(x)\) is the graph of a \(\textrm{C}^{1,\alpha }\)-Hölder continuous function on
with Hölder constant in \(\big [0, \textrm{c}(\alpha ) C^\alpha _{\nabla f}\big ]\). \(\square \)
3.2 Regularity up to the optimal exponent
With Lemma 3.2 at hand, we now state and prove the main result of this section.
Theorem 3.3
(Massari’s regularity theorem with sharp Hölder exponent) The statement of Theorem 2.8 holds true for all Hölder exponents \(\alpha <\frac{p-n}{p+1}\).Footnote 3
Proof
Let E, U, p, H be as in Theorem 2.8, and set \(\alpha _0\,{:}{=}\,\frac{1}{4}\big (1-\frac{n}{p}\big )\). In particular, we can assume that E is represented by E(1) such that . In order to apply Theorem 2.11, our aim is to estimate
for suitable \(y\in U\), local constants \(C,R>0\), \(r\in (0,R)\) and for \(\alpha _0<\alpha _1\in (0,1)\).
Step 1. General framework. For \(x\in \partial ^*E\), by Theorem 2.8 there exists an open neighborhood V of x in U such that \(\partial ^*E\cap V=\partial E\cap V\) can be represented by a rotated graph of a \(\textrm{C}^{1,\alpha _0}\)-function and the set \(E\cap V\) is the rotated subgraph of this function. Hence, the rotated subgraph is a set with variational mean curvature H in V and with \(\textrm{C}^{1,\alpha _0}\)-boundary in V. Since we can formulate the following proof for V instead of U, we can w.l.o.g. assume \(\partial E=\partial ^*E\) in U.
Step 2. Reduction to horizontal tangent spaces and basic \(\textrm{C}^{1,\alpha _0}\) estimate. Now consider a point \(x\in \partial E\cap U\) on the surface. By rotation invariance of the perimeter and the variational mean curvature, we can assume that \(f:\Omega \rightarrow \mathbb {R}\) is the \(\textrm{C}^{1,\alpha _0}\)-function which represents E near x as a subgraph for some open neighborhood \(\Omega \subseteq \mathbb {R}^{n-1}\) of . According to Lemma 3.2, we can make \(R>0\) small enough such that for all \(y\in \partial E\cap \textrm{C}_R(x)\), we can find a rotation T with \(Ty=y\) such that \(TE\cap \textrm{C}_R(y)\) is still the subgraph of a
-function with vanishing gradient at
and with uniformly bounded Hölder constant of the gradient, i.e., it depends on the choice of x but not on the choice of y. Since the perimeter is invariant under translation and rotation, we can assume w.l.o.g.
and
for fixed \(y\in \partial E\cap \textrm{C}_R(x)\). Let now \(r\in (0,R)\). We show
where \(\mathbb {R}^n_-\) denotes the lower half-space \(\mathbb {R}^{n-1}\times {(-\infty ,0)}\). Indeed, since E is the subgraph of f in \(\textrm{C}_r(y)\), it holds for all \(z\in (E\,\triangle \,\mathbb {R}^n_-)\cap \textrm{C}_r(y)\). Since we assumed
and
, it follows
![](http://media.springernature.com/lw438/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ62_HTML.png)
Step 3. An analogous estimate for a perimeter-minimizing competitor. Now, let A be the perimeter minimizer in \(\textrm{C}_r(y)\) with boundary datum E. We provide a cut-off argument to ensure the \(\textrm{C}^{1,\alpha _0}\) estimate (3.3) for A instead of E. Since A has boundary datum E in \(\textrm{C}_r(y)\), we can only modify A away from \(\partial \textrm{C}_r(y)\) in order to preserve the perimeter minimizer property with boundary datum for the cut-off.
We can make R smaller to ensure that E has still subgraph representation in \(\textrm{C}_{R+\lambda }({\tilde{y}})\) for all \({\tilde{y}}\in \textrm{C}_R(x)\) and some \(\lambda >0\). Fix \(\varepsilon >0\). According to (3.3) and the continuity of \(\partial E\), there exists \(\delta \,{:}{=}\,\delta _\varepsilon \in (0,\min \{\lambda ,\varepsilon \})\) such that \(z\in E\cap \textrm{C}_{r+\delta }(y)\) implies \(z_n\le c(r)+\varepsilon \).
Configuration in the proof of Theorem 3.3
Define the half-space \(H^\gamma \,{:}{=}\, \{w\in \mathbb {R}^n: w_n\le c(r)+\gamma \}\) for \(\gamma \ge 0\). For \(F\in {\mathcal {M}}^n\) with \(F {\setminus } \textrm{C}_r(y) = E {\setminus } \textrm{C}_r(y)\), we set \(F_\varepsilon \,{:}{=}\, F\cap \textrm{C}_{r+\delta }(y)\) and record specifically \(F=F_\varepsilon \) in \(\textrm{C}_{r+\delta }(y)\), \(E_\varepsilon =F_\varepsilon \) outside \(\textrm{C}_r(y)\). Moreover, \(E_\varepsilon \) and \(A_\varepsilon \) are sets of finite perimeter and finite volume according to Lemma 2.1(iii) since A and E both have finite perimeter in U and \(\textrm{C}_{r+\delta }(y)\Subset U\) is a set of finite perimeter. Intersecting a set of finite perimeter and finite volume with the half-space \(H^\varepsilon \) reduces the perimeter. Therefore it follows
![](http://media.springernature.com/lw352/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ63_HTML.png)
Thus, the set \({\tilde{A}}_\varepsilon \,{:}{=}\, \left( A\cap H^\varepsilon \cap \textrm{C}_{r+\delta }(y)\right) \cup \left( E{\setminus } \textrm{C}_{r+\delta }(y)\right) \), which can also be written as \({\tilde{A}}_\varepsilon = \left( A\cap H^\varepsilon \cap \textrm{C}_r(y)\right) \cup \left( E{\setminus } \textrm{C}_r(y)\right) \), minimizes the perimeter in \(\textrm{C}_r(y)\) with boundary datum E. Since \({\tilde{A}}_\varepsilon \rightarrow {\tilde{A}}_0\,{:}{=}\,(A\cap H^0\cap \textrm{C}_r(y))\cup (E{\setminus }\textrm{C}_r(y))\) in \(\textrm{L}^1(\mathbb {R}^n)\) for \(\varepsilon \searrow 0\), the semi-continuity of the perimeter and the minimality of \({\tilde{A}}_\varepsilon \) for all \(\varepsilon >0\) imply that \({\tilde{A}}_0\) is a perimeter minimizer in \(\textrm{C}_r(y)\) with boundary datum E, too. Hence, we can replace A with \({\tilde{A}}_0\) to ensure that \(z\in A\cap \textrm{C}_r(y)\) implies \(z_n\le c(r)\).
Since the perimeter of a set is equal to the perimeter of the complement, \(\mathbb {R}^n{\setminus } A\) is a perimeter minimizer in \(\textrm{C}_r(y)\) with boundary datum \(\mathbb {R}^n{\setminus } E\). Thus, by an analogous cut-off argument we may assume that \(z\in (\mathbb {R}^n{\setminus } A)\cap \textrm{C}_r(y)\) implies \(z_n\ge -c(r)\). All in all we conclude that \(z\in (A\,\triangle \,\mathbb {R}^n_-)\cap \textrm{C}_r(y)\) implies \(|z_n|\le c(r)\).
Step 4. Improved control on the deviation from minimality and \(\textrm{C}^{1,\alpha _1}\) regularity. The inner and outer trace of E with respect to the cylinder \(\textrm{C}_r(y)\) coincide since E is the subgraph of a \(\textrm{C}^1\) function in \(\textrm{C}_{R+\lambda }(y)\). In particular, Remark 2.10 implies \(\textrm{P}(A,\textrm{C}_r(y))\le \Xi (E,\textrm{C}_r(y))\) and thus \(\Psi (E,\textrm{C}_r(y))\le \textrm{P}(E,\textrm{C}_r(y))-\textrm{P}(A,\textrm{C}_r(y))\). Finally, we can formulate the main argument. According to the estimate (3.3) for E and the corresponding estimate for A, each point \(z\in (E\,\triangle \,A)\cap \textrm{C}_r(y)\) satisfies \(|z_n|\le c(r)\). Hence, Hölder’s inequality together with the monotonicity of \(\Psi \) in the second variable implies
![](http://media.springernature.com/lw472/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ64_HTML.png)
From Theorem 2.11 we then infer that \(\partial E\) is \(\textrm{C}^{1,\alpha _1}\) in U for \(\alpha _0<\alpha _1\,{:}{=}\, g(\alpha _0)<1\), where \(g(s)\,{:}{=}\, \frac{\left( 1-\frac{1}{p}\right) }{2}s+\frac{p-n}{2p}\) for \(s\in \mathbb {R}\).
Step 5. Iteration and conclusion. Since \(0<\frac{\left( 1-\frac{1}{p}\right) }{2}<1\), the Banach fixed-point theorem implies that the sequence \((\alpha _k)_{k\in \mathbb {N}}\), defined by \(\alpha _k\,{:}{=}\, g(\alpha _{k-1})\), converges from below to the unique fixed point \(\alpha _*\) of g. A rearrangement of the formula \(\alpha _*= g(\alpha _*)\) shows \(\alpha _*= \frac{p-n}{p+1}\). By repeating the argument above, we iteratively infer that \(U\cap \partial E\) is \(\textrm{C}^{1,\alpha _k}\) for all \(k\in \mathbb {N}\). Hence, \(U\cap \partial E\) is a \(\textrm{C}^{1,\alpha }\)-manifold for all \(\alpha <\alpha _*\). \(\square \)
3.3 Remarks on the case of \(\textrm{L}^\infty \) Curvature
Next we briefly investigate the first variation of Massari’s functional at a minimizer. In view of Theorem 2.8, in case \(n\le 7\) or when considering the regular sets only, we can assume \(\textrm{C}^1\) regularity of the minimizer and can locally represent it as a subgraph
![](http://media.springernature.com/lw210/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ8_HTML.png)
of \(f\in \textrm{C}^1({{\overline{\Omega }}})\) on a bounded open set \(\Omega \subseteq \mathbb {R}^{n-1}\). Then, on the cylinder
Massari’s functional takes the form already mentioned in the introduction
with \(H\in \textrm{L}^1(C)\). If H is continuous on C, it is standard to differentiate this functional in the sense of the first variation and deduce, for a minimizer \(E^f\) with \(f\in \textrm{C}^1({{\overline{\Omega }}})\), the prescribed mean curvature equation
(with the divergence taken in the weak sense). In particular, if we even have \(f\in \textrm{C}^2(\Omega )\), then \(\frac{1}{n-1}H\) restricted to is the mean curvature of the graph \(F(\Omega )\) (with respect to the outward normal of \(E^f\)).
If we turn to discontinuous \(H\in \textrm{L}^1(C)\), differentiability of (3.6) breaks down. However, we now record, as a minor observation, that in specific cases with s-uniform integrability of \(H(\,\cdot ,s)\) at least a differential inequality closely related to (3.7) remains valid. The precise statement is as follows.
Proposition 3.4
(Differential inequality in case of uniform mean curvature) Consider a bounded open set \(\Omega \subseteq \mathbb {R}^{n-1}\) and \(f\in \textrm{C}^1({{\overline{\Omega }}})\). If \(H\in \textrm{L}^1(C)\) is a variational mean curvature of \(E^f\) in C with \(E^f\) and C from (3.4) and (3.5) respectively and if we have
then \(\textrm{div}\,\frac{\nabla f}{\sqrt{1+|\nabla f|^2}}\) exists weakly in \(\textrm{L}^q(\Omega )\) with
We emphasize that the main case of interest in Proposition 3.4 are bounded curvatures \(H\in \textrm{L}^\infty (C)\), for which (3.8) holds and the proposition applies with \(q=\infty \) and \(\Vert \Phi \Vert _{\textrm{L}^\infty (\Omega )}=\Vert H\Vert _{\textrm{L}^\infty (C)}\). In contrast, we cannot generally expect to have (3.8) at hand in case of \(H\in \textrm{L}^q(C)\) with \(q<\infty \).
Proof
(Proof of Proposition 3.4) Since H is a variational mean curvature of \(E^f\), the function \(G(t,\varphi )\,{:}{=}\,{\mathcal {F}}_H^{C}\left( E^{f+t\varphi }\right) \), defined for \(\varphi \in \textrm{C}_{\textrm{cpt}}^\infty (\Omega )\) and \(t\in {(-\delta _\varphi ,\delta _\varphi )}\), where \(\delta _\varphi >0\) is small enough such that \(\Vert f+t\varphi \Vert _{\textrm{C}(\Omega )}<r\) for all \(t\in (-\delta _\varphi ,\delta _\varphi )\), attains its minimum at \(t=0\). Taking into account equation (3.6), we can estimate
for \(q'\,{:}{=}\, \frac{q}{q-1}\in [1,\infty )\) such that q and \(q'\) are conjugate exponents. Analogously, we get
for all \(\varphi \in \textrm{C}^\infty _{\textrm{cpt}}(\Omega )\). In conclusion we derived the estimate
for all \(\varphi \in \textrm{C}_{\textrm{cpt}}^\infty (\Omega )\). Thus,
can be extended to a bounded linear functional on \(\textrm{L}^{q'}(\Omega )\). By \(\textrm{L}^p\) duality, there exists \(g\in \textrm{L}^q(\Omega )\) such that \(\int _\Omega \frac{\nabla f \cdot \nabla \varphi }{\sqrt{1+|\nabla f|^2}}\textrm{d}y= \int _\Omega g \varphi \textrm{d}y\) for all \(\varphi \in \textrm{C}^\infty _{\textrm{cpt}}(\Omega )\) and \(\Vert g\Vert _{\textrm{L}^q(\Omega )}\le \Vert \Phi \Vert _{\textrm{L}^q(\Omega )} \). By definition, \(\textrm{div}\frac{\nabla f}{\sqrt{1+|\nabla f|^2}}\) exists weakly in \(\textrm{L}^q(\Omega )\) and coincides with g. \(\square \)
Remark 3.5
In the setting of Proposition 3.4 with \(q=1\), a similar reasoning gives existence of \(\textrm{div}\,\frac{\nabla f}{\sqrt{1+|\nabla f|^2}}\) as a finite Radon measure on \(\Omega \) with its total variation bounded by \(\Vert \Phi \Vert _{\textrm{L}^1(\Omega )}\). However, we do not pursue this case any further.
In view of the last result, we are able to improve on Theorem 3.3 and obtain even \(\textrm{C}^{1,1}\) regularity in the special case \(H\in \textrm{L}^\infty (U)\), \(n=2\), where the divergence is simply the derivative.
Proposition 3.6
(\(\textrm{C}^{1,1}\) regularity for the case of \(\textrm{L}^\infty \) curvature in \(\mathbb {R}^2\)) Let \(E\subseteq \mathbb {R}^2\) be a set of finite perimeter in an open set \(U\subseteq \mathbb {R}^2\) with variational mean curvature \(H\in \textrm{L}^\infty (U)\) in U. Then \(\partial ^*\!E=\partial E\) is a \(\textrm{C}^{1,1}\)-manifold in U.
Proof
By Massari’s regularity theorem, \(\partial ^*E\cap U\) is of class \(\textrm{C}^1\) with \(\partial ^*\!E=\partial E\) in U. We localize and exploit that the perimeter and the variational mean curvature are invariant under translation and rotation. Hence, it suffices to consider \(\partial E\) in a rectangle \(C=\Omega \times {(-r,r)}\Subset U\) over a bounded open interval \(\Omega \subseteq \mathbb {R}\) such that E coincides inside C with the subgraph of some function with \(r>\Vert f\Vert _{\textrm{C}(\Omega )}\).
By Proposition 3.4, we have \(\frac{f'}{\sqrt{1+f'^2}}\in \textrm{W}^{1,\infty }(\Omega )\), which means that \(\frac{f'}{\sqrt{1+f'^2}}\) is a Lipschitz function. Since \(h(s)\,{:}{=}\,\frac{s}{\sqrt{1-s^2}}\) is Lipschitz continuous on \(\left[ 0,\frac{M}{\sqrt{1+M^2}}\right] \), where \(M\,{:}{=}\, \Vert f'\Vert _{\textrm{C}(\Omega )}<\infty \), the function \(f'=h\circ \frac{f'}{\sqrt{1+f'^2}}\) is also Lipschitz. \(\square \)
However, the last example of [11, Remark 3.6] shows that the existence of an \(\textrm{L}^\infty \) mean curvature does not imply \(\textrm{C}^{1,1}\) regularity in general dimensions. Indeed, for \(n=3\) and \(s\in {(0,1)}\), the boundary of
with
is \(\textrm{C}^{1,\alpha }\) for all \(\alpha \in (0,1)\) but not \(\textrm{C}^{1,1}\) in \({{\,\textrm{B}\,}}_s^2(0)\times \mathbb {R}\). Moreover, one can check that the constant-in-the-third-component extension V of the outward unit normal of E defines a vector field in \(\textrm{W}^{1,1}(U;\mathbb {R}^n)\cap \textrm{C}(U;\mathbb {R}^n)\) with divergence in \(\textrm{L}^\infty (U)\), where \(U\,{:}{=}\,{{\,\textrm{B}\,}}^2_s(0)\times {(-r,r)}\), \(r>\Vert f\Vert _{\textrm{C}({{\,\textrm{B}\,}}_s^2(0))}\), and Proposition 4.1 below ensures the divergence of V to be a variational mean curvature of E in U. Hence, for \(n\ge 3\) we cannot expect analogous \(\textrm{C}^{1,1}\) regularity results.
4 Sharp counterexamples
In this section we confirm the optimality of the Hölder exponent by constructing the sharp counterexamples announced in the introduction.
4.1 An explicit example in two dimensions
In order to determine a suitable curvature for the subsequent counterexample, we make use of the following proposition, which allows to obtain a variational mean curvature in some analogy with the definition of the classical mean curvature. Slightly differing versions of this statement have been given e.g. in [5, pp. 152sq.], [12, Lemma 1.3], and [11, Proposition 4.1]. However, we find it worth recording and proving a comparably sharp version of the statement (even though we subsequently need this only with \(\Gamma =\emptyset \)).
Proposition 4.1
(Divergence of a normal as variational mean curvature) Let \(E\subseteq \mathbb {R}^n\) be an open set of finite perimeter in U. In addition, assume that the (weak) outward unit normal \(\nu _E\) of E extends (in the sense of \(V=\nu _E\) holding \({\mathcal {H}}^{n-1}\)-a.e. on \(\partial ^*\!E\cap U\)) to a vector field \(V\in \textrm{W}^{1,1}(U{{\setminus }}\Gamma ;\mathbb {R}^n)\cap \textrm{C}(U{\setminus }\Gamma ;\mathbb {R}^n)\) with a relatively closed \({\mathcal {H}}^{n-1}\)-null set \(\Gamma \subseteq U\) and with \(|V|\le 1\) on \(U{\setminus }\Gamma \). Then the function \(H=\textrm{div}\,V\in \textrm{L}^1(U)\) is a variational mean curvature of E in U.
Proof
We first assume \(\Gamma =\emptyset \) and thus \(V\in \textrm{W}^{1,1}(U;\mathbb {R}^n)\cap \textrm{C}(U;\mathbb {R}^n)\). Let \(F\in {\mathcal {M}}^n\) be a set of finite perimeter in U such that \(E\,\triangle \,F\Subset U\). We will prove
Since we can choose a smooth open set \({\tilde{U}}\subseteq \mathbb {R}^n\) such that \(E\,\triangle \,F\Subset {\tilde{U}} \Subset U\) and since it is enough to prove the inequality with \({\tilde{U}}\) instead of U, in the sequel we directly assume that U itself is smooth and bounded with \(V\in \textrm{C}({\overline{U}};\mathbb {R}^n)\). By the structure theorem of De Giorgi and the generalized divergence theorem on the bounded finite-perimeter set U, we obtain
Since F differs from E only away from \(\partial U\), by locality we can split the last term into a portion inside the open set U and a boundary portion on \(\partial U\). In fact, \(\nu _{F\cap U}=\nu _F\) holds on \(\partial ^*(F\cap U)\cap U=\partial ^*\!F\cap U\), and \(\nu _{F\cap U}=\nu _{E\cap U}\) holds on \(\partial ^*(F\cap U)\cap \partial U=\partial ^*(E\cap U)\cap \partial U\). Thus, we get
Here, only the first term \(I_F \,{:}{=}\, \int _{\partial ^*\!F\cap U}\big (1-V\cdot \nu _{F}\big )\,\textrm{d}{\mathcal {H}}^{n-1}\) on the right-hand side depends on F and satisfies \(I_F \ge 0\) by the Cauchy-Schwarz inequality and the assumption \(|V|\le 1\). Moreover, the same rewriting applies with E instead of F, and in view of the \({\mathcal {H}}^{n-1}\)-a.e. equality \(V=\nu _E\) on \(\partial ^*\!E\cap U\) we have \(I_F \ge 0 = I_E\). Therefore, altogether we infer that (4.1) holds as required.
Now we turn to \(V\in \textrm{W}^{1,1}(U{\setminus }\Gamma ;\mathbb {R}^n)\cap \textrm{C}(U{\setminus }\Gamma ;\mathbb {R}^n)\) with non-empty \(\Gamma \). Once more let \(F\in {\mathcal {M}}^n\) be a set of finite perimeter in U such that \(E\,\triangle \,F\Subset U\). Similar as above it suffices to establish (4.1) where we can and do assume that U is smooth and bounded with \(V\in \textrm{C}({\overline{U}};\mathbb {R}^n)\) and that even the closure \({{\overline{\Gamma }}}\) of \(\Gamma \subseteq U\) in \(\mathbb {R}^n\) satisfies \({\mathcal {H}}^{n-1}({{\overline{\Gamma }}})=0\). Taking into account the definition of the Hausdorff measure and the compactness of \({{\overline{\Gamma }}}\), we then exploit \({\mathcal {H}}^{n-1}({{\overline{\Gamma }}})=0\) to cover \({{\overline{\Gamma }}}\) by finite unions of small balls which successively yield bounded open sets \(N_k\subseteq \mathbb {R}^n\) with \(N_{k+1}\subseteq N_k\) and \(\bigcap _{k=1}^\infty N_k=\Gamma \) such \(\textrm{P}(N_k)<\frac{1}{k}\) for \(k\in \mathbb {N}\). We also fix slightly smaller open sets \(M_k\Subset N_k\) with \(M_{k+1}\subseteq M_k\) and \(\bigcap _{k=1}^\infty M_k=\Gamma \), and we introduce \(U_k\,{:}{=}\, U{\setminus }\overline{M_k}\) with \(U_k\subseteq U_{k+1}\) and \(\bigcup _{k=1}^\infty U_k=U{\setminus }\Gamma \). Then, we have \(E\,\triangle \,{\tilde{F}}_k\Subset U_k\) for \({\tilde{F}}_k\,{:}{=}\,(F{\setminus } N_k)\cup (E\cap N_k)\), and from the preceding part of the reasoning we obtain \(\textrm{div}\,V\in \mathbb {H}^1(E,U_k)\) for all \(k\in \mathbb {N}\). Moreover, since De Giorgi’s structure theorem guarantees \(\textrm{P}(E,\Gamma )=0\) and we clearly have \(|\Gamma |=0\), we find
where we used Lemma 2.1(iii) in the last step. Using once more Lemma 2.1(iii) and exploiting \(\textrm{P}(F,\Gamma )=0\), we see
Similarly, taking into account \(\partial ^*(E\cap N_k)\subset (\partial ^*\!E\cap N_k)\cup \partial ^*\! N_k\) and \(\textrm{P}(E,\Gamma )=0\), we get
Finally, we observe
Using the convergences obtained on the right-hand side of (4.2), we arrive at (4.1) and have thus proved \(\textrm{div}\,V\in \mathbb {H}^1(E,U)\) in the general case. \(\square \)
We now turn to the counterexample in dimension \(n=2\). Exploiting the geometry and Proposition 4.1, we are able to specify an explicit variational mean curvature with suitable integrability properties.
Theorem 4.2
(Counterexample to Massari-type regularity for \(n=2\), \(\alpha > \frac{p-2}{p+1}\)) Let \(n=2\), \(\alpha \in {(0,1)}\), and consider the set of finite perimeter
whose boundary \(\partial E\) is \(\textrm{C}^{1,\alpha }\) in \({(-1,1)}^2\) but not \(\textrm{C}^{1,\beta }\) near 0 for any \(\beta >\alpha \). Then, there exists a variational mean curvature H of E in \({(-1,1)}^2\) such that \(H\in \textrm{L}^p\big ({(-1,1)}^2\big )\) for all \(p\in {[1,\infty )}\) with \(\alpha >\frac{p-2}{p+1}\).
Given \(\beta \in {(0,1]}\), \(p\in {[2,\infty )}\) with \(\beta >\alpha _{\textrm{opt}}(2,p)=\frac{p-2}{p+1}\), the theorem applied with any choice of \(\alpha \) in between \(\alpha _{\textrm{opt}}(2,p)\) and \(\beta \) disproves \(\textrm{C}^{1,\beta }\) regularity of E. Hence, in case \(n=2<p\) the example confirms the optimality of our exponent \(\alpha _{\textrm{opt}}(2,p)=\frac{p-2}{p+1}\) in Theorem 3.3 in the sense claimed in the introduction.
Proof
We define
Furthermore, we compute the outward unit normal of E as
for \((\textrm{sgn}(x_2)|x_2|^\frac{1}{1+\alpha },x_2)=x=(x_1,\textrm{sgn}(x_1)|x_1|^{1+\alpha })\in \partial E\cap (-1,1)^2\). Since \((-x_1,x_2)\in \partial E\cap (-1,1)^2\) for all \(x\in (\partial D_i{\setminus } \partial E)\cap (-1,1)^2\), \(i\in \{1,2\}\), we can extend \(\nu _E\) continuously to the vector field
We show that \(\textrm{D}V\) exists weakly in \(\textrm{L}^1((-1,1)^2;\mathbb {R}^{2\times 2})\). Clearly, V is \(\textrm{C}^1\) on \( D_1\cup D_2\). For \(x\in D_1^+\), we calculate
and for \(x\in D_1^-\), we have \(\textrm{D}V(x)= -\textrm{D}V(-x)\). Hence, we find \(|\textrm{D}V(x)|\le \textrm{c}(\alpha )|x_1|^{\alpha -1}\) for \(x\in D_1\) and \(\textrm{D}V\in \textrm{L}^1(D_1;\mathbb {R}^{2\times 2})\). For \(x\in D_2^+\), we have
and for \(x\in D_2^-\), it holds \(\textrm{D}V(x)=-\textrm{D}V(-x)\) by symmetry. Again, we infer \(|\textrm{D}V(x)|\le \textrm{c}(\alpha )|x_2|^{\frac{\alpha }{1+\alpha }-1}\) for \(x\in D_2\) and \(\textrm{D}V\in \textrm{L}^1(D_2;\mathbb {R}^{2\times 2})\). Since V is continuous on all of \({(-1,1)}^2\) and even \(\textrm{C}^1\) away from the two regular \(\textrm{C}^1\) curves \(\partial E\cap {(-1,1)}^2\) and \((\partial D_i{\setminus }\partial E)\cap {(-1,1)}^2\), we conclude that V is in \(\textrm{W}^{1,1}((-1,1)^2;\mathbb {R}^2)\cap C((-1,1)^2;\mathbb {R}^2)\). Thus, Proposition 4.1 with \(\Gamma =\emptyset \) implies that \(H\,{:}{=}\,\textrm{div}\,V\) is a variational mean curvature of E, and we have
for a.e. \(x\in {(-1,1)}^2\). By symmetry and Fubini’s theorem, we compute
One checks that the last integral is finite if and only if \(\alpha >\frac{p-2}{p+1}\). Hence, the variational mean curvature \(H=\textrm{div}\,V\) is in \(\textrm{L}^p({(-1,1)}^2)\) whenever \(\alpha >\frac{p-2}{p+1}\). \(\square \)
4.2 A slightly less explicit example in higher dimensions
Finally, we turn to a related example which confirms the optimality of \(\alpha _{\textrm{opt}}(n,p)=\frac{p-n}{p+1}\) in arbitrary dimension \(n\ge 2\). Since it is not clear to us if and how the construction of Sect. 4.1, in particular the extension of the unit normal, generalizes to higher dimensions, we rely instead on the Barozzi construction of the optimal variational mean curvature and estimate this curvature suitably via Lemma 2.2.
Theorem 4.3
(Counterexample to Massari-type regularity for \(n\ge 2\), \(\alpha >\frac{p-n}{p+1}\)) Let \(\alpha \in {(0,1)}\), and consider the convex set E obtained as the union of
![](http://media.springernature.com/lw212/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ65_HTML.png)
and the ball (which is chosen such that \(\partial E\) is \(\textrm{C}^1\)). Then, \(\partial E=\partial ^*\!E\) is \(\textrm{C}^{1,\alpha }\), but not \(\textrm{C}^{1,\beta }\) near 0 for any \(\beta >\alpha \), and, for every ball \(U\subseteq \mathbb {R}^n\) with \(E\Subset U\), there exists a variational mean curvature H of E in U such that \(H\in \textrm{L}^p(U)\) for all \(p\in {[1,\infty )}\) with \(\alpha >\frac{p-n}{p+1}\).
Proof
The set E has a bounded \(\textrm{C}^{1,\alpha }\)-boundary and thus finite perimeter in U.
Step 1. Estimation of the curvature on \(U{\setminus } E\). Since E is convex and U is a ball with \(E\Subset U\), there exists \(\varepsilon >0\) such that for each , there exists \(w\in U\) with \(x\in {{\,\textrm{B}\,}}_\varepsilon (w) \subseteq U{\setminus } E\) For all \(\lambda >\frac{n}{\varepsilon }\) and the problem of type (\(\textrm{P}_\lambda \)) with E replaced by \(U{\setminus } E\) there, Lemma 2.2 gives that minimizers \((U{\setminus } E)_\lambda \) necessarily contain the balls \({{\,\textrm{B}\,}}_\varepsilon (w)\). For the variational mean curvature \(H_{U{\setminus } E}\) from Construction 2.6 (applied with \(h_{U{\setminus } E}\equiv 1\) on \(U{\setminus } E\)), it follows \(0\le H_{U{\setminus } E}\le \frac{n}{\varepsilon }\) on \(U{\setminus } E\).
Step 2. Estimation of the curvature on E. Now, we estimate the variational mean curvature \(H_E\) from Construction 2.6 (with \(h_{E}\equiv 1\) on E) by applying Lemma 2.2 for balls contained in E in entirely the same way. Clearly, by using the ball B we get \(0\le H_E\le n\big (1+\frac{1}{(1+\alpha )^2}\big )^{-\frac{1}{2}}\) on B. For the main argument, now consider \(x\in {\tilde{E}}\). Then, in view of the choice of \({{\tilde{E}}}\), one checks \(x\in {{\,\textrm{B}\,}}_{r_x}(z_x)\subseteq E\) for
![](http://media.springernature.com/lw324/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ66_HTML.png)
where the choices have been expressed in terms of the last component \(x_n\) of x. Thus, we infer
Step 3. \(\textrm{L}^p\) integrability of the curvature. According to Remark 2.9, by letting \(H\,{:}{=}\, H_E\mathbb {1}_E-H_{U{{\setminus }} E}\mathbb {1}_{U{\setminus } E}\), we obtain a variational mean curvature H of E in U, and in view of the constant bounds on \(U{\setminus } E\) and B, it suffices to check the integrability of H on \({\tilde{E}}\). We abbreviate \(R_{x_n}\,{:}{=}\, x_n^\frac{1}{1+\alpha }\) for \(x_n\ge 0\). With Fubini’s theorem and for all \(x_n\in (0,1)\), it follows
![](http://media.springernature.com/lw481/springer-static/image/art%3A10.1007%2Fs00526-023-02495-6/MediaObjects/526_2023_2495_Equ67_HTML.png)
and the last integral is finite if and only if \(\alpha >\frac{p-n}{p+1}\). Hence, the variational mean curvature H is in \(\textrm{L}^p(U)\) whenever \(\alpha >\frac{p-n}{p+1}\). \(\square \)
Remark 4.4
In case \(n=2\), the exact determination of the global variational mean curvature \(H_E\) by using [14, Theorem 2.3] (compare also [21, Theorem 3.32]) shows that the integrability found above is best possible. Indeed, since \(E\Subset U\) is convex, the \(\textrm{L}^p\) minimality from [3, Theorem 3.2], Lemma 2.5 and the result in [4, Theorem 4.2] imply that \(H_E\mathbb {1}_E\) has the best possible integrability on E even among local variational mean curvatures of E in U. Therefore, the limit case \(\textrm{C}^{1,\alpha }\) regularity with \(\alpha =\frac{p-n}{p+1}\)—which indeed we believe does hold for \(n<p<\infty \)—at least cannot be generally ruled out by this type of example.
Data availibility
Data sharing is not applicable to this article, as no datasets were generated or analysed.
Notes
For \(p=\infty \), we identify \(\frac{1}{4}\big (1-\frac{n}{p}\big )\) with \(\frac{1}{4}\).
More precisely, 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 \(\textrm{C}^{1,\alpha }\)-function and \(E\cap V\) is the rotated and translated subgraph of this function.
For \(p=\infty \), we identify \(\frac{p-n}{p+1}\) with 1.
References
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford University Press, Oxford (2000)
Ambrosio, L., Paolini, E.: Partial regularity for quasi minimizers of perimeter. Ric. Mat. 48, 167–186 (1999)
Barozzi, E.: The curvature of a set with finite area. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Nat. IX. Ser. Rend. Lincei Mat. Appl. 5, 149–159 (1994)
Barozzi, E., Massari, U.: A new functional for the Calculus of Variations, involving the variational mean curvature of sets in \({\mathbb{R} ^{n}}\). Manuscr. Math. 157, 1–12 (2018)
Barozzi, E., Tamanini, I.: Penalty methods for minimal surfaces with obstacles. Ann. Mat. Pura Appl. IV. Ser. 152, 139–157 (1988)
Bombieri, E., De Giorgi, E., Giusti, E.: Minimal cones and the Bernstein problem. Invent. Math. 7, 243–268 (1969)
De Giorgi, E.: Frontiere Orientate di Misura Minima, Seminario di Matematica, Sc. Norm. Super. Pisa., 1960–1961
Giaquinta, M., Giusti, E.: Differentiability of minima of non-differentiable functionals. Invent. Math. 72, 285–298 (1983)
Giaquinta, M., Giusti, E.: Sharp estimates for the derivatives of local minima of variational integrals. Boll. Unione Mat. Ital. VI. Ser. A 3, 239–248 (1984)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation. Birkhäuser, Basel (1984)
Gonzalez, E.H.A., Massari, U.: Variational mean curvatures. Rend. Semin. Mat. Torino 52, 1–28 (1994)
Gonzalez, E.H.A., Massari, U., Tamanini, I.: Boundaries of prescribed mean curvature. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Nat. IX. Ser. Rend. Lincei Mat. Appl. 4, 197–206 (1993)
Hamburger, C.: Optimal partial regularity of minimizers of quasiconvex variational integrals. ESAIM Control Optim. Calc. Var. 13, 639–656 (2007)
Leonardi, G.P., Saracco, G.: Minimizers of the prescribed curvature functional in a Jordan domain with no necks. ESAIM Control Optim. Calc. Var. 26, 76 (2020)
Maggi, F.: Sets of Finite Perimeter and Geometric Variational Problems. Cambridge University Press, Cambridge (2012)
Massari, U.: Esistenza e regolarità delle ipersuperfici di curvatura media assegnata in \({\mathbb{R} ^{n}}\). Arch. Ration. Mech. Anal. 55(4), 357–382 (1974)
Massari, U.: Frontiere orientate di curvatura media assegnata in \( {\rm L} ^p\). Rend. Sem. Mat. Univ. Padova 53, 37–52 (1975)
Phillips, D.: A minimization problem and the regularity of solutions in the presence of a free boundary. Indiana Univ. Math. J. 32, 1–17 (1983)
Schmidt, T.: A simple partial regularity proof for minimizers of variational integrals. NoDEA Nonlinear Differ. Equ. Appl. 16, 109–129 (2009)
Schütt, J.: Variational Mean Curvatures, Approximation of Sets of Finite Perimeter and Regularity of Sets with Variational Mean Curvature in \({{\rm L}}^p\), Master Thesis. Universität Hamburg, (2022)
Stredulinsky, E., Ziemer, W.: Area minimizing sets subject to a volume constraint in a convex set. J. Geom. Anal. 7, 653–677 (1997)
Tamanini, I.: Boundaries of Caccioppoli sets with Hölder-continuous normal vector. J. Reine Angew. Math. 334, 27–39 (1982)
Tamanini, I., Giacomelli, C.: Approximation of Caccioppoli sets, with applications to problems in image segmentation. Ann. Univ. Ferrara Nuova Ser. Sez. VII 35, 187–214 (1989)
Tamaninni, I: Regularity results for almost minimal oriented hypersurfaces in \({\mathbb{R}}^n\), Quaderni del Dipartimento di Matematica dell’Università di Lecce, 92 pages (1984)
Yang, R.: Optimal regularity and nondegeneracy of a free boundary problem related to the fractional Laplacian. Arch. Ration. Mech. Anal. 208, 693–723 (2013)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors report there are no competing interests to declare.
Additional information
Communicated by Andrea Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Schmidt, T., Schütt, J.H. The optimal Hölder exponent in Massari’s regularity theorem. Calc. Var. 62, 161 (2023). https://doi.org/10.1007/s00526-023-02495-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02495-6