Abstract
We establish a regularity result for optimal sets of the isoperimetric problem with double density under mild (\(\alpha \))Hölder regularity assumptions on the density functions. Our main Theorem improves some previous results and allows to reach in any dimension the regularity class \(C^{1,\frac{\alpha }{2\alpha }}\). This class is indeed the optimal one for local minimizers of variational functionals with an integrand that depends \(\alpha \)Hölder continuous on the minimizer itself, and as such can (the boundary of) the isoperimetric set be locally written (with additional constraint).
Similar content being viewed by others
1 Introduction
In this paper we are concerned with the regularity of isoperimetric sets in \(\mathbb R^n\) with densities, for arbitrary dimensions \(n \ge 2\) and with an emphasis on the situation of very low regularity assumptions on the density functions. Isoperimetric sets are defined as solutions of the isoperimetric problem in \(\mathbb R^{n}\) with densities, which can be formulated as follows: Given two lower semicontinuous functions \(f,\,h :\mathbb R^{n} \rightarrow (0,+\infty )\), the socalled densities, and an arbitrary measurable set \(E \subset \mathbb R^{n}\), we introduce its (weighted) volume \(V_f(E)\) via
and its (weighted) perimeter \(P_h(E)\) via
whenever E is of locally finite perimeter (and with \(\partial ^* E\) denoting the reduced boundary of E), while we set \(P_h(E) :={+}\infty \) otherwise. For some positive number m, we then look for a set of minimal weighted perimeter among all sets of fixed weighted volume m, i.e., we look for minimizers of
The classical isoperimetric problem dating back to ancient Greece corresponds to constant density functions \(h=f \equiv 1\), for which the weighted volume and perimeter reduce to the Euclidean volume \(V_\textrm{Eucl}\) and Euclidean perimeter \(P_\textrm{Eucl}\), and in this case it is well known that the isoperimetric sets relative to a constant m are precisely all balls of radius R such that the equality
is satisfied.
In the interesting case of nonconstant densities, existence of isoperimetric sets is still guaranteed under quite general assumptions on the density functions (see [4, 6, 12, 14]). These sets are in general not unique, even not in the equivalence class of spatial translates. (Notice, however, that in certain geometries, uniqueness of the isoperimetric set is obtained only thanks to the weight.) In general, if the weight functions are not globally bounded and continuous the isoperimetric sets are not necessarily bounded. The complementary, however, is true as proved in [4, Theorem 1.1] and [14, Theorem B].
In this paper, we focus on the regularity of the isoperimetric sets, or more precisely, on the regularity of their boundaries. (Optimal) regularity has been investigated for many years in dependency on the regularity of the density functions.
A classical (and optimal) result in this regard for the case of a single density (i.e., \(f=h\)), under the assumption of quite high regularity, which in particular allows to take advantage of the Euler–Lagrange formulation of the problem, is the following statement ([11, Proposition 3.5 and Corollary 3.8]).
Theorem A
([11]) Let \(f=h\) be of class \(C^{k,\alpha }(\mathbb R^n,\mathbb R^+)\) for some \(k \ge 1\) and \(\alpha \in (0,1]\). Then the boundary of any isoperimetric set is of class \(C^{k+1,\alpha }\), except for a singular set of Hausdorff dimension at most \(n8\).
When the densities are assumed to be just Hölder functions, one cannot even write down the associated Euler–Lagrange equation. This case of poorly regular densities was addressed only recently. More specifically, in Theorem 5.7 of [4] a first regularity result for the case of a single density \(f=h\), which is Hölder continuous of order \(\alpha \), was established in any dimension (with a Hölder exponent depending on \(\alpha \) and on the dimension). A second result improved the above regularity result in the 2dimensional case, see Theorem A in [5]. Here is the precise combined statement.
Theorem B
([4, 5]) Let \(f=h\) be of class \(C^{0,\alpha }(\mathbb R^n,\mathbb R^+)\) for some \(\alpha \in (0,1]\). Then, if E is an isoperimetric set, we have that \(\partial E=\partial ^*E\) up to \(\mathcal H^{n1}\)negligible sets, and \(\partial ^*E \in C^{1, \alpha /(2n(1\alpha ) + 2\alpha )}\). If \(n=2\), we have that \(\partial ^*E \in C^{1,\alpha /(32\alpha )}\).
More recently, in Theorem C of [15] the regularity result in dimension n was generalized to the case of two different densities. As it is clear from the proof of this result, the Hölder regularity of an optimal set only depends on the Hölder regularity of the density h (weighting the perimeter), while no regularity is needed on f.
Theorem C
([15]) Let h be a density of class \(C^{0,\alpha }(\mathbb R^n,\mathbb R^+)\) for some \(\alpha \in (0,1]\) and f be a locally bounded function. Then, if E is an isoperimetric set, we have that \(\partial E=\partial ^*E\) up to \(\mathcal H^{n1}\)negligible sets, and \(\partial ^*E \in C^{1, \alpha /(2n(1\alpha ) + 2\alpha )}\).
We will later build up on these regularity results and we will thus refer to \(C^{1,\sigma }\) with \(\sigma =\alpha /(2n(1\alpha ) + 2\alpha )\) as the initial regularity.
The proof of the regularity result in any dimension (for both the case of single and double density) consists in showing that if E is an isoperimetric set with an \(\alpha \)Hölder density h, then it is an \(\omega \)minimal set (or almostminimal set) for a certain modulus of continuity \(\omega (r)=r^{2\sigma }\). Hence, standard regularity theory for \(\omega \)minimal sets applies and allows to obtain \(C^{1,\sigma }\) regularity of \(\partial E\).
We observe that using this approach, which relies on \(\omega \)minimality, the order \(\sigma \) that one can reach tends to 1/2 when \(\alpha \rightarrow 1\). In the 2dimensional result of Theorem B, the exponent \(\frac{\alpha }{32\alpha }\) is still notoptimal but tends to 1 for \(\alpha \rightarrow 1\).
The crucial ingredient in the proof of both Theorems B and C is the socalled \(\varepsilon \varepsilon ^\beta \) property, first established in [4, Theorem B] for the case of a single density, and then generalized to the case of double density in [15]. Roughly speaking this property says that it is possible to modify a set E by changing its volume of an amount \(\varepsilon \) and increasing its perimeter of an amount proportional to at most \(\varepsilon ^\beta \). In the case of a Lipschitz density the exponent \(\beta \) can be chosen to be 1, while for a Hölder density it must be chosen depending on the Hölder regularity of the density. In the case of double density, as mentioned before, only the density on the perimeter is needed to be Hölder continuous.
The aim of the present paper is to improve these regularity results in the setting of Hölder continuous densities and in general dimensions. More specifically, we prove the following:
Theorem 1.1
Let h be a density of class \(C^{0,\alpha }(\mathbb R^n,\mathbb R^+)\) and f be a density of class \(C^{0,\gamma }(\mathbb R^n,\mathbb R^+)\) for some \(\alpha \) and \(\gamma \in (0,1)\). Then the boundary of any isoperimetric set is of class \(C^{1,\alpha /(2\alpha )}\), except for a singular set of Hausdorff dimension at most \(n8\).
We emphasize that the Hölder exponent \(\frac{\alpha }{2\alpha }\) in our statement is the expected optimal one, see also Example 1.2 below. Moreover, it does not depend on the dimension and it indeed improves on the regularity results established before because
for each \(\alpha \in (0,1)\). In particular, also the expected asymptotic behavior \(\alpha /(2  \alpha ) \rightarrow 1\) as \(\alpha \nearrow 1\) is now achieved for all dimensions \(n \ge 2\).
At first glance, the loss in the order of the Hölder seminorm from \(\alpha \) in the differentiable setting of Theorem A to \(\frac{\alpha }{2\alpha }\) in the continuous setting in Theorem 1.1 seems surprising. This feature is, however, well known from classical regularity theory for the minimization of variational functionals of the form \(\mathcal F[w]= \int _\Omega F(x,w,Dw)\,{d}x\) among Sobolev functions in a given Dirichlet class, in the specific situation that merely an \(\alpha \)Hölder continuity assumption is imposed on the maps \(u \mapsto F(x,u,z)\) and \((x,u) \mapsto D_z F(x,u,z)\) which does not allow for the passage to an Euler–Lagrange equation. In this case, the optimal regularity of minimizers is precisely \(C^{1, \alpha /(2  \alpha )}\), see [13].
The hypothesis that the volume density f must be Hölder continuous seems to be an artifact of our method of proof and we actually do not believe that it is a necessary assumption. Indeed, our optimal regularity result is independent of the Hölder exponent \(\gamma \), and the suboptimal results from Theorem C hold true also without any continuity requirement. Unfortunately, we do currently not see how to remove this hypothesis.
Finally, the optimal bound on the Hausdorff dimension of the singular set follows from the standard regularity theory for \(\omega \)minimal sets, established by Tamanini in [16]. Indeed, as commented above, in [4, 15] it is proved that an isoperimetric set with density is \(\omega \)minimal for a certain modulus of continuity \(\omega (r)=r^{2\sigma }\), and hence Tamanini’s regularity result applies.
We conclude this introduction by discussing the strategy of the proof of our main result.
Thanks to the already known regularity result of Theorem C, we can work with a local representation of the reduced boundary of isoperimetric sets (at some given regular point) in terms of the graph of a \(C^1\)function. More precisely, in order to study the local regularity of isoperimetric sets, this amounts to considering minimizers u of the functional
among all functions w satisfying the constraint
for a given constant m and with prescribed boundary values on \(\partial B_R(0)\). Notice that here, \(B_R(0)\) denotes an open ball in \(\mathbb R^{n1}\) that we have centered at the origin for convenience and we may choose \(R\le R_0\le 1\).
Our method for establishing (optimal) Hölder regularity is based on the socalled direct approach from classical regularity theory for minimization problems, see e.g. [8, 9] for the original theory without integral constraints, and [1, 2] for more recent text books. To this end, we define in Sect. 3 a suitable comparison problem by keeping the original density only for the volume constraint, and by freezing it for the perimeter. Via a combination of the initial regularity result for the minimizer of the comparison problem, suitable estimates on the Lagrange multiplier (coming from the volume constraint), and classical Schauder theory (applied to the associated Euler–Lagrange equation which does now indeed exist), the minimizer is then shown to have optimal decay estimates. Finally, in Sect. 5 the decay estimates of this comparison function are then carried over to the minimizer of the original constrained minimization problem, thus completing the proof of Theorem 1.1, via the Campanato characterization of Hölder continuous functions.
We finally want to give an example that shows that the expected optimal Hölder exponent of the boundary of isoperimetric sets in our setting is \(\frac{\alpha }{2\alpha }\), which we find in this paper.
Example 1.2
For simplicity, we consider the twodimensional problem and an isoperimetric set which locally can be written as the graph of a function w over the interval \((0,\ell )\), with \(w>0\) in \((0,\ell )\) and \(w(0)=0\). We suppose that the volume density is locally constant, with \(f\equiv 1\), and that the perimeter density is locally of the form \(h(x_1,x_2) = H(x_1, x_2^{\alpha })\) for some \(\alpha \in (0,1)\) and some function H such that both H and its derivative \(\partial _2 H\) with respect to the second variable are bounded from below and from above by positive constants. Then, according to (1.1) and (1.2), w minimizes the functional
among all w satisfying the constraint
In this scenario, we may compute the Euler–Lagrange equation inside the interval and find that
where \(\lambda \in \mathbb R\) is the Lagrange multiplier. In view of the assumption \(w(0)=0\) and knowing that w is a \(C^{1,\sigma }\) function, it must hold that \(w(z) \approx z^{1+\sigma }\) near \(z=0\). Plugging this Ansatz into the Euler–Lagrange equation, we see that the first term is of the order \(O(z^{\sigma 1})\), while the second one is \(O(z^{(\alpha 1)(1+\sigma )})\). The singularity of both terms enforces that both exponents are identical, \(\sigma 1 = (\alpha 1)(1+\sigma )\), which yields \(\sigma = \frac{\alpha }{2\alpha }\).
The paper is organized as follows:

Section 2 is devoted to introduce some notations and preliminaries;

in Sect. 3, we introduce the comparison problem and prove some crucial preliminary Lemmas that relate, in a quantitative way, the Lagrange multiplier \(\lambda \) with the \(L^2\)distance between the gradient of the comparison function and the gradient of the solution of our original weighted problem;

Section 4, which is the core of the paper, deals with decay estimates for the comparison function v;

finally, in Sect. 5, we transfer these decay estimates from v to the solution u of our original problem and deduce our regularity result.
2 Notation and preliminaries
We start by introducing some notation. In the following, we will denote by \(x=(x',x_n)\) a point in \(\mathbb R^n=\mathbb R^{n1}\times \mathbb R\). Given \(r>0\) and \(x_0'\in \mathbb R^{n1}\), we denote by \(B_r(x'_0)\) the ball in \(\mathbb R^{n1}\) centered at \(x_0'\) and with radius r, and we write \(B_r :=B_r(0)\) for simplicity.
Given a measurable function w defined on \(\mathbb R^{n1}\), we denote its mean integral on a certain measurable set \(A\subset \mathbb R^{n1}\) by
where A stands for the Lebesgue measure of A. In the particular case in which \(A=B_r(x_0')\) and it is clear from the context what is the center \(x_0'\), we simply use the abbreviation \((w)_r\) instead of \((w)_{B_r(x_0')}\).
As mentioned above, we will rely on Campanato’s characterization of Hölder continuity, which we recall here. See also Section 3.1 in [1].
Proposition D
([3], Teorema I.2) Let \(B_R\) be a ball in \(\mathbb R^{n1}\), \(\beta \in (0,1]\) and \(p \in [1,\infty )\). A function \(w \in L^1(B_R)\) is (up to the choice of a suitable representative) Hölder continuous with exponent \(\beta \), i.e., \(w \in C^{0,\beta }(\overline{B_R})\), if and only if there exists a constant C such that for each ball \(B_\rho (y')\) centered in some point \(y' \in B_R\) there holds
The oscillation on the lefthand side is a monotone function of \(\rho \) because for any measurable set \(A\subset \mathbb R^{n1}\) the mapping
The following iteration lemma is thus wellsuited for oscillations and it is an elementary though fundamental tool in elliptic regularity theory as it allows to pass from \(\rho ^{\alpha _2}\) to \(r^{\alpha _2}\) and to drop an additive nondecaying term (the one that involves \(\varepsilon \)) at the expense of lowering the order of decay. See also Lemma 3.13 in [1].
Lemma E
([7], Lemma III.2.1) Assume that \(\phi (\rho )\) is a nonnegative, realvalued, nondecreasing function defined on the interval \([0,R_0]\) which satisfies
for all \(r \le \rho \le \rho _0\), some nonnegative constants \(C_1\), \(C_2\), and positive exponents \(\alpha _1 > \alpha _2\). Then there exists a positive number \(\varepsilon _0 = \varepsilon _0(C_1,\alpha _1,\alpha _2)\) such that for \(\varepsilon \le \varepsilon _0\) and all \(r \le \rho \le \rho _0\) we have
Notice that if the quantity \(\phi \) in the lemma is indeed the oscillation, the statement implies Hölder regularity of the order \((\alpha _2  n+1)/p\) via Proposition D.
We now collect at one spot for the reader’s convenience the Hölder regularity of the density functions:
Since our final statement in Theorem 1.1 is independent of \(\gamma \), we may without loss of generality suppose that \(\gamma \) is small, for instance,
This choice will slightly simplify our notation later on.
Finally, we conclude this section with a comment on local bounds for the density functions. Since we are assuming that the densities f and h are positive continuous functions, they are in particular locally bounded both from above and away from zero. In particular, for any \(T>0\), there exists a constant \(M>0\) that can be chosen independently from our localization scale \(R\le R_0\) introduced in (1.1) and (1.2) such that
For a fixed local representation of the reduced boundary as the graph of a \(C^1\)function u minimizing the weighted surface area functional (1.1) under the constraint (1.2), we will always choose T large enough so that \(\Vert u\Vert _{L^{\infty }(B_R)} \le T\) uniformly in \(R\le R_0\), which allows for choosing \(t=u(x')\). Moreover, as a consequence of the initial regularity statement of Theorem C, the gradient of u is locally bounded by a constant \(K \ge 1\) that is independent of \(R\le R_0\), i.e.,
In the rest of the paper, when we write \(A \lesssim B\), we mean that there exists a constant c which depends only on \(n,\,K,\,M,\,[f]_{C^{0,\gamma }}\) and \([h]_{C^{0,\alpha }}\) (hence, in particular, it is independent of R), such that \(A \le c B\).
3 The comparison problem and bounds on the Lagrange multiplier
As outlined in the introduction, we will study the regularity of the boundary of an isoperimetric set with density E by means of classical regularity estimates for the (volumeconstrained) minimizer of the weighted surface area functional
where, for notational convenience, we have used the abbreviation \(a(z) :=( 1 + \vert z\vert ^2 )^{\frac{1}{2}}\) and \(B_R\) stands, as before, for an \(n1\) dimensional Euclidean ball of radius R (that we assume to be centered at 0). The derivation of this functional as the graph representation of the boundary is fairly standard in the context of isoperimetric and minimal surface problems, we omit the details. In the following discussion, the minimizer will be denoted by u.
The proof of our main regularity result is based on the derivation of regularity estimates for a comparison problem, in which the density \(h(x',w)\) in the surface area functional is frozen to a constant (and thus removed) in order to allow for the application of elliptic regularity arguments in the now computable Euler–Lagrange equations.
A further simplification is achieved by modifying the surface function a(z) for large values of z. In fact, by (2.4), we have that the variational problem remains unchanged if we substitute a(z) by an increasing smooth and strongly convex function \(a_K \ge a\) such that
for some constant \(c_K\). Notice that by strong convexity, we mean that there exists a constant \(\mu >0\) such that
for any \(z_1,z_2\in \mathbb R^{n1}\). This statement is equivalent to the ellipticity condition
for any \(\xi \in \mathbb R^{n1}\).
Our comparison problem is thus the following: We study the problem of minimizing the (Euclidean) perimeter (still in the graph representation)
among all functions w with \(w=u\) on the boundary \(\partial B_R\) which satisfy the weighted volume constraint
With standard compactness arguments, we obtain existence of minimizers of the comparison problem.
Lemma 3.1
(Euler–Lagrange equations) In the above setting, a minimizer \(v \in u + W^{1,2}_0(B_R)\) to the functional (3.3) under the constraint (3.4) always exists. Moreover, every minimizer v satisfies an Euler–Lagrange equation with Lagrange multiplier \(\lambda \in \mathbb R\): for every \(\varphi \in W^{1,2}_0(B_R)\), there holds
Proof
Because \(a_K(z)\) has quadratic growth, the direct method yields the existence of a minimizer of the comparison problem (3.3), under the volume constraint (3.4). Moreover, since \(a_K(z)\) is differentiable and the constraint is of isoperimetric type, there exists a Lagrange multiplier \(\lambda \in \mathbb R\) such that (3.5) holds. \(\square \)
The following remark shows that the minimizer of the comparison problem reduces locally the Euclidean perimeter.
Remark 3.2
(Energy estimate) By minimality of v for the comparison problem (3.3) with the volume constraint (3.4), we have, via choice of \(a_K\ge a\) and \(\Vert D u\Vert _{L^\infty }\le K\)
Therefore, in what follows, all estimates can be written in terms of the original minimizer u only. For example, we have for every \(p \in [1,2]\) that \(z^p\le c(K)a_K(z)\), and thus
We now derive two elementary estimates for weak solutions to the Euler–Lagrange equations
cf. (3.5). Our first is on the Lagrange multiplier.
Lemma 3.3
(First bound on \(\lambda \)) There exists a constant \( R_* = R_*(n,f)\) such that if \(R \le R_0\le R_*\) then we have the following estimate for the Lagrange multiplier \(\lambda \):
In what follows, we will tacitly assume that \(R_0\le R_*\), so that the statement of Lemma 3.3 is always true.
Proof
This bound could be obtained easily by testing the weak formulation of the Euler–Lagrange equation (3.5) with a suitable cutoff function, if we knew already that the minimizer is bounded uniformly in \(R\le R_0\) in the sense that \(\Vert v\Vert _{L^\infty (B_R)}\le T\) for some T, see the discussion after (2.3). Because we know this to be true for the original minimizer u only, we have to control their difference: Using the Hölder regularity of f, Jensen’s inequality and the Poincaré inequality (for which the Poincaré constant scales with \(R^{2}\) on the ball \(B_R\)), we observe that
Now, thanks to Remark 3.2 and the Lipschitz bound (2.4), the latter leads to
We finally consider a cutoff function \(\eta \in C_0^\infty (B_{3R/4},[0,1])\) of radial structure satisfying \(\eta \equiv 1\) in \(B_{R/2}\) and \(\vert D\eta \vert \lesssim R^{1}\). In this way, we find
by the virtue of (2.3), the Euler–Lagrange equations (3.5) and the previous error estimate. Hence if \(R\le R_0\) is sufficiently small so that \(c(n,[f]_{C^{0,\gamma }},K)R_0^{\gamma }\le 1/2\) and using \(D_z a_K(z)\lesssim z\) together with Remark 3.2, we conclude that
which is the desired estimate. \(\square \)
The following lemma allows to improve the bound on the Lagrange multiplier from the previous lemma if additional error estimates are available.
Lemma 3.4
(Improved bound on \(\lambda \)) Suppose that u is \(C^{1,\sigma }(B_R)\) and that
for some \(\sigma \) and \(\theta \in [0,1)\), then
Proof
We take a smooth cutoff function \(\eta \in C_0^\infty (B_{R},[0,1])\) satisfying \(\eta \equiv 1\) in \(B_{R/2}\) and \(\Vert D \eta \Vert _{L^{\infty }}\lesssim R^{1}\). We may choose this function as a test function in the Euler–Lagrange equation (3.5) and find, analogously to (3.6) in the previous proof, that
We now use the fact that \(\eta \) is compactly supported in \(B_R\) to observe that \(\int _{B_R}\xi \cdot D \eta \,{d}x=0\) for any \(\xi \in \mathbb R^{n1}\). In particular, for \(\xi = D_za_K((D u)_R) \), we find that
It is easily seen that \(D_za_K\) is Lipschitz with a Lipschitz constant depending just on K. Using in addition the triangle inequality, we thus obtain
For the first term, we use Jensen’s inequality and the hypothesis (3.7) to bound
For the second term, we use the fact that Du is known to be a \(\sigma \)Hölder function, and thus
A combination of the previous bounds yields the statement of the lemma. \(\square \)
Our next result is somehow complementary to the previous lemma.
Lemma 3.5
(First error estimate) Suppose that there exists \(\delta \in [0,1)\) such that
Then,
Proof
Making use of the strong convexity of \(a_K\), cf. (3.1), and the Euler–Lagrange equation (3.5) for v (tested with \(\varphi = u  v\)), we find
Now we estimate the two integrals appearing on the righthand side separately. We start by noticing that the first integral is nonnegative due to the fact that v is a minimizer. Hence, using in addition the Lipschitz bound on u, the definition of \(a_K\) and the lower bound on h, we observe that
The second term on the righthand side is nonpositive because u is a minimizer for the initial full weighted problem and v is an admissible competitor. Using now that h is Hölder of order \(\alpha \), u is Lipschitz with constant K and a is Lipschitz with constant 1, we can further estimate
We estimate with the help of Young’s inequality:
where \(\varepsilon \) is some positive and small but finite constant that we will fix later and where \(C=C(\varepsilon ,K,\alpha ,M,[h]_{C^{0,\alpha }},n)\) is a constant that may (from here on) change from line to line. Clearly, the second term on the righthand side is of the order \(R^{n1+2\alpha }\). Moreover, because \(a(z)^p\le C(K) a_K(z)\) for any \(p\in [1,2]\) and thanks to the minimality of v and the Lipschitz bound on u, we have for the third term that
For \(R\le 1\), we conclude that
It remains to estimate the volume constraint term in (3.9). Using the assumption on the Lagrange multiplier, and the fact that u and v satisfy the same volume constraint, we estimate
We use the \(\gamma \)Hölder regularity of f and Young’s inequality to get
We have now a bound on both terms appearing on the righthand side of (3.9). Therefore,
Hence, via Poincaré’s inequality and a suitable (small) choice of \(\varepsilon \), we end up with (3.8). \(\square \)
Iterating Lemmas 3.5 and 3.4, we get the following
Corollary 3.6
(Improved error estimate) Let \(u\in C^{1,\sigma }(B_R)\) with \(\sigma \le \tfrac{\alpha }{2\alpha }\), then we have that
and
Proof
By Lemma 3.3 we know that \(\lambda \lesssim R^{1}\), hence we can apply Lemma 3.5 with \(\delta =0\) and deduce that
Under the assumption (2.2), the second term on the righthand side is the leading order term for \(R\le 1\). Hence, applying Lemma 3.4 (with \(\theta =\frac{\gamma }{1\gamma }\)), we deduce that
If \(\frac{\gamma }{1\gamma }\ge \sigma \), the first bound (3.10) is proved and (3.11) follows directly from Lemma 3.5. Otherwise, we can iterate the above procedure and after a finite number of steps we will reach the estimate
which, again, will imply, by using Lemma 3.5, the desired estimate (3.11). \(\square \)
4 Decay estimates for the comparison problem
In this section, we establish decay estimates for the solution v of the comparison problem. In getting such estimates, the bound on the Lagrange multiplier \(\lambda \) obtained in the previous section will play a crucial role.
We start, however, with first (suboptimal) Hölder estimates for the minimizer of the comparison problem.
Lemma 4.1
Let \(v \in u + W^{1,2}_0(B_R)\) be a minimizer for the functional (3.3) under the constraint (3.4) in the above setting. Then \(v \in W^{2,q}_{\text {loc}}(B_R)\) for any \(q\in (1,\infty )\), and thus, in particular, it holds \(v \in C^{1,\omega }(B_{\frac{R}{2}})\) for any \(\omega \in (0,1)\). Moreover, there are the estimates
The proof of the statement follows from standard elliptic theory. We provide it for the convenience of the reader.
Proof
We start by rewriting the Euler–Lagrange equation as
and we recall that \(A :=D_z^2 a_K(D v)\) is a uniformly elliptic matrix by the virtue of (3.2). By rescaling
observing that \([{\hat{f}}]_{C^{0,\gamma }} =R^{\gamma } [f]_{C^{0,\gamma }} \lesssim 1\) because \(R\le 1\), and invoking Remark 3.2 and Lemma 3.3, it is enough to consider the case \(R=1\).
We introduce a cutoff function \(\eta \) whose support is compactly contained in \(B_1\). Smuggling this function into the elliptic equation leads to considering
By the assumptions of the lemma and recalling that f is Hölder continuous, arguing similarly as in the proof of Lemma 3.3, we see that the righthand side belongs to \(L^2(\mathbb R^n)\), and thus, by standard theory for elliptic equations, e.g., Theorem 5.1.1 in [10], there exists a unique solution w, which must coincide with \(\eta v\) by construction, and that solution belongs to \(W^{2,2}(\mathbb R^n)\). Moreover, thanks to Remark 3.2 and Lemma 3.3 and Poincaré’s inequality, we have the estimate
by inspection of the righthand side. Invoking the Sobolev embedding theorem and recalling that w is compactly supported, we deduce that \(w\in W^{1,q}(\mathbb R^n)\) for any \(q\in [1,\frac{2n}{n2})\) for \(n \ge 3\) and any \(q \in [1,\infty )\) for \(n=2\), and thus, the righthand side of (4.1) must be in \(L^q(\mathbb R^n)\) with norm estimate
This procedure can be repeated and we deduce that \(w\in W^{2,q}(\mathbb R^n)\) for any \(q\in (1,\infty )\) eventually. We finally make use of the Sobolev embedding into Hölder spaces to conclude that \(w\in C^{1,{\omega }}(\mathbb R^n)\) for any \({ \omega }\in (0,1)\). Choosing \(\eta \) appropriately gives the statement of the lemma. \(\square \)
The following Proposition is the main result of this Section: it establishes decay estimates for the oscillation of \(\partial _i v\), being v the solution of the comparison problem introduced in the previous Section.
Proposition 4.2
Let \(u\in C^{1,\sigma }(B_R)\) with \(\sigma \le \tfrac{\alpha }{2\alpha }\) and let \(v \in u + W^{1,2}_0(B_R)\) be a solution of (3.5), under the volume constraint (3.4). Then there exists \( \rho _0>0\) of the form \( \rho _0=\varepsilon _0 R\) (with \(\varepsilon _0\) depending only on \(n,\,K,\,M,\,\alpha ,\,\gamma , \, [f]_{C^{0,\gamma }}\) and \([h]_{C^{0,\alpha }}\)) such that \(B_{\rho _0}(x_0') \subset B_{R/4}\), and for all \(0<r<\rho \le \rho _0\), we have
for any \(i=1,\dots ,n1\).
In order to prove the previous result, we will consider the equation satisfied by the derivatives of v (in the weak sense):
for every \(i \in \{1,\ldots ,n1\}\). Thus, each of the functions \(\partial _i v\) solves an equation with measurable, elliptic (cf. (3.2)) and bounded coefficients (given by \(D^2_z a_K(Dv)\)), where the inhomogeneity is the “derivative” of a function in \(L^2(B_R)\). In order to get the desired decay estimates for \(\partial _i v\), we need some intermediate decay estimates for the solutions to an associate problem with constant coefficients.
Let \(\rho >0\) be such that \(B_\rho (x_0')\subset B_{R/4}\) and let A(Dv) denote the matrix \(D^2_z a_K(Dv)\) and \(A_0\) the constant matrix obtained by freezing the coefficients in \(B_{\rho }(x_0')\), more precisely, \(A_0=A((Dv)_{B_\rho (x_0')})\). Moreover, set \(f_0=f(x_0',(v)_{B_\rho (x_0')})\). With these notations, we have the following result.
Lemma 4.3
Let \(u\in C^{1,\sigma }(B_R)\) with \(\sigma \le \tfrac{\alpha }{2\alpha }\) and let \(w \in \partial _i v + W^{1,2}_0(B_\rho (x_0'))\) be a weak solution of the linear elliptic Dirichlet problem
Then, for any \(0<r<\rho \) we have:
Proof
For ease of notation, we do not write explicitly the center of the balls. Hence in the following computations \(B_\rho \) and \(B_r\) stand for \(B_\rho (x_0')\) and \(B_r(x_0')\), respectively.
We write \(w=\psi + \phi \) where \(\psi \) is the weak solution of the corresponding homogeneous problem
and \(\phi \) satisfies the inhomogeneous problem
By standard decay estimates for the homogeneous equation with constant coefficients (see, e.g., Lemma 2.17 in [1]), we have
for any \(0<r<\rho \).
We consider now the inhomogeneous problem satisfied by \(\phi \) and test it with \(\phi \) itself, to get in a first step by employing the ellipticity of \(A_0\) in (3.2), integrating by parts and using Young’s inequality
Then, after absorbing the second integral on the righthand side in the lefthand side, we find
where we have used that \(f\in C^{0,\gamma }\), that v is Lipschitz with a Lipschitz constant that does not depend on R, see Lemma 4.1, and applied the bound on \(\lambda \) given in Corollary 3.6.
Finally, we combine (4.2) and (4.3) (and add \(\pm D\phi \)), to get
This is the stated estimate. \(\square \)
We can now give the proof of the decay estimates for our comparison problem.
Proof of Proposition 4.2
Let \(\rho \) be such that \(B_\rho (x_0')\subset B_{R/4}\). We shall again neglect the actual center of the ball for notational convenience, that is, \(B_{r} = B_{r}(x_0')\) for any \(r\le \rho \) in the following. Let w be as in Lemma 4.3, then we have that the function \(\partial _ i v  w\) is a weak solution of the following problem:
We now test the above equation with \(\partial _i v  w\) itself, to get first via the ellipticity of \(A_0\) from (3.2)
and then
where we have used that A is Lipschitz and Dv is \(\omega \)Hölder continuous with \([Dv]_{C^{0,\omega }}\lesssim R^{\omega }\) by Lemma 4.1. Thus, we have
where we have used Lemma 4.3 for the second inequality, added \(\pm D \partial _i v\) for the third, and exploited estimate (4.4) for the last one. Applying now the Poincaré inequality on the lefthand side, we deduce
We now use a Caccioppolitype estimate for the equation satisfied by \(\partial _i v\) in order to replace the quantity \(D \partial _i v^2\) on the righthand side of the previous inequality by the oscillation \(\partial _i v (\partial _i v)_\rho ^2\). We derive such a Caccioppoli estimate in a standard way, by testing the equation
with \(\eta ^2(\partial _i v  (\partial _i v)_{2\rho })\), where \(\eta \in C_0^\infty (B_{2\rho },[0,1])\) is a standard cutoff function satisfying \(\eta \equiv 1\) in \(B_{\rho }\) and \(\Vert D \eta \Vert _{L^{\infty }}\lesssim \rho ^{1}\). In this way we obtain first
and then
where we have used an estimate that is almost identical to (4.3) to control the inhomogeneity. (Here, we need that \(B_\rho \subset B_{R/4}\).) Plugging (4.6) into (4.5), we conclude the following decay estimate for the oscillation of \(\partial _ i v\):
for any \(0<r<\rho \) with \(B_\rho (x_0')\subset B_{R/4}\). Observe that the previous estimate extends trivially to \(r \in (\rho , 2 \rho )\) thanks to the monotonicity of the oscillation discussed right after Proposition D. Hence, the estimate is valid for any \(r<2\rho \).
For \(\varepsilon >0\) given as in Lemma E, let now \( \rho _0\) be such that \(B_{\rho _0}(x_0')\subset B_{R/4}\) and satisfying
It follows that
holds for any \(r<\rho \le \rho _0\). Finally, we can apply the iteration Lemma E, to deduce the desired decay estimate for \(\partial _i v\) and conclude the proof of the proposition. \(\square \)
5 Proof of the regularity result
We are now ready to prove our main result. The idea consists in transferring the oscillation decay estimate from Proposition 4.2 for the comparison function v to our minimizer u, by making use of the error estimate from Lemma 3.5.
Proof of Theorem 1.1
As already discussed in the introduction, the optimal bound on the dimension of the singular set follows by the classical regularity theory for \(\omega \)minimal sets established in [16]. Indeed, in [4, 15], it was proved that, under our assumption, any isoperimetric set is \(\omega \)minimal with \(\omega (r)=r^{2\sigma }\), being \(\sigma =\alpha /(2n(1\alpha )+2\alpha )\). It remains, thus, to show the optimal regularity of the reduced boundary.
Let u be the local representation of \(\partial ^* E\), i.e., the solution of our weighted minimization problem (1.1) under the weighted volume constraint (1.2), which initially enjoys the regularity \(u \in C^{1,\sigma }(B_R)\) with \(\sigma =\alpha /(2n(1\alpha ) + 2\alpha )\) according to Theorem C, and let v be the comparison function studied in the previous section. Using the minimality (2.1) of mean values, Proposition 4.2, and Corollary 3.6, we deduce that
for any \(0<r<\rho \le \rho _0=\varepsilon _0 R\).
Employing once again the minimality (2.1) of mean values combined with Corollary 3.6, we can pass on the righthand side to \(\partial _i u\) instead of \(\partial _i v\), and with \(r\le R\le 1\), this implies the following oscillation decay for \(\partial _i u\):
for any \(0<r<\rho \le \rho _0\). We choose now \(\rho = \rho _0 =\varepsilon _0 R\), and deduce that
for any \(0<r\le \varepsilon _0 R\), where \(\omega = \gamma +\sigma \delta >\sigma \) for any \(\delta \in (0,1)\) small. We may choose \(\omega = \frac{\gamma }{2}+\sigma \). The same estimate trivially extends to \(r \in (\varepsilon _0 R, R)\) and thus holds for any \(0<r<R\).
We can now apply again the iteration Lemma E, to get
Finally, by Proposition D, we deduce that \(u\in {{C^{1,\min \{\frac{\alpha }{2\alpha },\omega \} }}}\). If \(\omega = \frac{\gamma }{2}+\sigma \ge \frac{\alpha }{2\alpha }\) the proof is completed. Otherwise we can iterate the above reasoning: setting \(\sigma _j :=\sigma + \frac{j\,\gamma }{2}\), we can iteratively apply Proposition 4.2 and Corollary 3.6, with \(u\in C^{1, \sigma _j}\) and plug the new improved estimate (3.11) (with \(\sigma _j>\sigma \) in place of \(\sigma \)) into (5.1). After a finite number N of steps (in particular when \(N\gamma /2 + \sigma \ge \frac{\alpha }{2\alpha }\)) we reach the exponent \(\frac{\alpha }{2\alpha }\). This concludes the proof of Theorem 1.1. \(\square \)
References
Ambrosio, L., Carlotto, A., Massaccesi, A.: Lectures on Elliptic Partial Differential Equations. Edizioni della Normale, Pisa (2018)
Beck, L.: Elliptic regularity theory. A first course. Lecture Notes of the Unione Matematica Italiana, 19. Springer, Cham; Unione Matematica Italiana, Bologna (2016). xii+201 pp
Campanato, S.: Proprietà di Hölderianità di alcune classi di funzioni. Ann. Sc. Norm. Super. Pisa Ser. III(17), 175–188 (1963)
Cinti, E., Pratelli, A.: \(\varepsilon \varepsilon ^\beta \)property, boundedness of isoperimetric sets and applications. J. Reine Angew. Math. 728, 65–103 (2017)
Cinti, E., Pratelli, A.: Regularity of isoperimetric sets with density in dimension 2. Math. Ann. 368(1–2), 419–432 (2017)
De Philippis, G., Franzina, G., Pratelli, A.: Existence of isoperimetric sets with densities “converging from below’’ on \({\mathbb{R} }^N\). J. Geom. Anal. 27(2), 1086–1105 (2017)
Giaquinta, M.: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. Princeton University Press, Princeton (1983)
Giaquinta, M., Giusti, E.: On the regularity of the minima of variational integrals. Acta Math. 148, 31–46 (1982)
Giaquinta, M., Giusti, E.: Differentiability of minima of nondifferentiable functionals. Invent. Math. 72, 285–298 (1983)
Krylov, N.V.: Lectures on Elliptic and Parabolic Equations in Sobolev Spaces, Graduate Studies in Mathematics 96. American Mathematical Society, Providence, RI (2008)
Morgan, F.: Regularity of isoperimetric hypersurfaces in Riemannian manifolds. Trans. Am. Math. Soc. 355(12), 5041–5052 (2003)
Morgan, F., Pratelli, A.: Existence of isoperimetric regions in \({\mathbb{R} }^n\) with density. Ann. Global Anal. Geom 43(4), 331–365 (2013)
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)
Pratelli, A., Saracco, G.: On the isoperimetric problem with double density. Nonlinear Anal. 177(Part B), 733–752 (2018)
Pratelli, A., Saracco, G.: The \(\varepsilon \varepsilon ^\beta \) property in the isoperimetric problem with double density, and the regularity of isoperimetric sets. Adv. Nonlinear Stud. 20(3), 539–555 (2020)
Tamanini, I.: Regularity Results for AlmostMinimal Oriented Hypersurfaces in \({\mathbb{R}}^N\). Quaderni del Dipartimento di Matematica dell’Università del Salento (1984)
Acknowledgements
EC gratefully acknowledges the kind hospitality of the Universität Augsburg. Her work is partially supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM), and by the Spanish Grant PID2021123903NBI00 funded by MCIN/AEI/10.13039/501100011033 and by ERDF "A way of making Europe". CS gratefully acknowledges the kind hospitality of the Università di Bologna. His work is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044390685587, Mathematics Münster: Dynamics Geometry Structure.
Funding
Open access funding provided by Alma Mater Studiorum  Università di Bologna within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Xavier RosOton.
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
Beck, L., Cinti, E. & Seis, C. Optimal regularity of isoperimetric sets with Hölder densities. Calc. Var. 62, 214 (2023). https://doi.org/10.1007/s00526023025422
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526023025422