Abstract
We investigate properties of minimizers of a variational model describing the shape of charged liquid droplets. The model, proposed by Muratov and Novaga, takes into account the regularizing effect due to the screening of free counterionions in the droplet. In particular we prove partial regularity of minimizers, a first step toward the understanding of further properties of minimizers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Background and description of the model
In this paper we investigate the regularity of minimizers for a variational model describing the shape of charged liquid droplets. Roughly speaking, the shape of a charged liquid droplet is determined by the competition between an “aggregating” term, due to surface tension forces, and to a “disaggregating” term due to the repulsion effect between charged particles.
Several models proposed in the literature are based on this principle. Among them, one of the simplest and most used assumes that charged droplets are stationary points of the following free energy:
Here, \(E\subset \mathbb {R}^{3}\) corresponds to the volume occupied by the droplet, \(P(E)\) is its perimeter, \(Q\) is the total charge and
takes into account the repulsive forces between charged particles. Note that \(\mu \) can be though as a (normalized) density of charges and that \({\mathcal {C}} (E)\) is the classical Newtonian capacity of the set \(E\). In particular one assumes that the optimal shapes are given by the following variational problem:
Heuristically, one expects the perimeter term to dominate for small values of the charge \(Q\) thus forcing the droplet to have a spherical or almost spherical shape, while the repulsion term should become dominant for large values of \(Q\), thus leading to the formation of singularities and/or to the ill-posedness of (1.3). This heuristics is confirmed by the perturbative analysis of (1.1) around a spherical shape. This computation, performed for the first time by Lord Rayleigh in 1882, [22], shows that the spherical droplet is linearly stable only for \(Q\) smaller than a critical threshold. This is known as the Rayleigh criterion.
The transition from a stable to an unstable behavior of spherical droplets has also been verified experimentally, starting from the work of Zeleny at the beginning of 1900 [29] (in a slightly different context). More precisely, it has been observed that a spherical droplet exposed to an electric field, remains stable until the total charge is below a critical value \(Q_{c}>0\), while, as soon as Q exceeds \(Q_{c}\) the droplet changes its appearance and the surface start to develop singularities, the so called Taylor’s cones, [26]. Whenever \(Q> Q_{c}\) a very thin steady jet composed by small but highly charged little balls is formed, [9, 10, 23, 28].
In spite of the interest of (1.3) in applications, a rigorous mathematical study of this model has been only performed in the last years, mostly thanks to the work of Goldman, Muratov, Novaga and Ruffini, see [15,16,17, 20, 21] and references therein.
The starting point of their analysis is the following remarkable and somehow disappointing observation: Problem (1.3) is always ill-posed. More precisely, in [15], it is shown that
where \(B^{V}\) is the ball of volume \(V\). Since \(B^{V}\) is a competitor for the variational problem , this clearly implies that there are no minimizers of (1.3).
The above equality is obtained by constructing a minimizing sequence consisting of a ball of roughly volume \(V\) together with several balls with vanishing perimeter and volumes and very high charge escaping at infinity. Hence, on the mathematical side, the phenomena observed by Zeleny appears for every value of the charge. Let us also remark that ill-posedness of (1.3) is shown also if one assumes that all the set involved in the minimization problem are a-priori bounded, [15, Theorem 1.3].
It then becomes natural to investigate the local minimality of the ball, at least for “small” perturbations and small values of \(Q\). In [15, Theorems 1.4 & 1.7] the linear stability of the ball in the small charge regime, is upgraded to local minimality in a sufficiently strong topology. On the other hand, Muratov and Novaga showed that the ball is never a local minimizer of (1.3) under (smooth) perturbation which are small in \(L^{\infty }\), [20, Theorem 2]. We also refer the reader to [17] where well-posedness is recovered under suitable geometric restrictions and to [21] for the case of “flat” droplets.
The main phenomena driving to the ill-posedness of (1.3) is the possibility of concentrating a high charge on small volumes. In order to avoid this situation, in [20], Muratov and Novaga proposed as a possible regularization mechanism the finite screening length in the conducting liquid , by introducing the entropic effects associated with the presence of free ions in the liquid, see also [8, 27] for a related model. They suggested to consider the following Debye-Hückel-type free energy (in every dimension)
Here
where \(\textbf{1}_{F}\) is the characteristic function of a set \(F\) and \(\beta >1\) is the permittivity of the droplet. The (normalized) density of charge \(\rho \in L^{2}(\mathbb {R}^{n})\) satisfies
and the electrostatic potential \(u\) is such that \(\nabla u\in L^{2}(\mathbb {R}^{n})\) and
\(K>0\) is a physical constant related to the model.Footnote 1
The variational model proposed in [20], where one assumes a-priori that all the sets involved are contained in a fixed (large) ball \(B_{R}\), is the following
where we have set
and
Note that the class of admissible couples \({\mathcal {A}}(E)\) is non-empty only if \(n\ge 3\), for this reason this assumption will be in force throughout the whole paper, see also Remark 2.2.
Thanks to the a-priori boundedness assumption \(E\subset B_{R}\), existence of a minimizer in the class of sets of finite perimeter can be easily shown, see [20, Theorem 3].
Note that the presence of the \(L^{2}\) norm of \(\rho \) in the energy is exactly what prevents the concentration of charges. Indeed, if one assumes that \(\beta =1\) so that (1.6) reduces to
then the minimization problem (1.7) can be written, in dimension \(n=3\), as
which should be compared with (1.2) and (1.3). In view of this we also note that, on the mathematical ground, the variational problem (1.7) can also be considered as an “interpolation” between the classical Ohta-Kawasaki problem, and the free-interface problems arising in optimal design studied for instance in [3, 6, 12, 18].
1.2 Main results
Once existence of a minimizers of (1.7) is obtained it is natural to investigate their qualitative and quantitative properties, also to understand to which extent the predictions of the model agree with the observed phenomenology. In particular the following questions arise, compare with [20]:
-
Is every minimizers smooth, at least outside a small singular set?
-
Which is the structure of (possible) singularities of minimizers? Do they agree with Taylor’s conesFootnote 2.?
-
Is it possible to show existence/non-existence of minimizers removing the a-priori confinement assumption?
-
Can one show that for small values of the total charge the minimizers of (1.7) are balls in agreement with experimental observations?
In this paper we address the question of regularity of minimizers. Our main result is the following partial regularity theorem:
Theorem 1.1
Let \(n\ge 3\) and \(B\ge 1\). Then there exists \(\eta =\eta (n,B)>0\) with the following property: if \(E\) is a minimizer of (1.7) with \(1 \le \beta \le B\) then there exists a closed set \(\Sigma _{E}\subset \partial E\) such that \(\mathcal {H}^{n-1-\eta }(\Sigma _{E})=0\) and \(\partial E{\setminus } \Sigma _{E}\) is a \(C^{1,\vartheta }\) manifold for all \(\vartheta \in (0,1/2)\).
As it is customary in Geometric Measure Theory, the proof Theorem 1.1 is based on an \(\varepsilon \)-regularity result which is interesting on its own. In order to keep track of the various dependence on the parameters let us first fix some notation which will be useful also in the sequel. For \(E\subset \mathbb {R}^{n}\) we define
where the set of admissible pairs \(\mathcal {A}(E)\) is defined in (1.8) (if the dependence on the parameter is not relevant we will simply write \(\mathcal {G}\)). Since
one has
Setting
one gets
In particular, by replacing \(K\) and \(Q\) with \(K(\omega _{n}/V)^{\frac{2}{n}}\) and \(Q(\omega _{n}/V)^{1-\frac{3}{2n}}\) we can assume that \(V=|B_{1}|=:\omega _{n}\). Namely, for \(R\ge 1\) we will consider the following problem
Furthermore, given a set of finite perimeter \(E\) we define the spherical excess at a point \(x\in \partial E\) and at scale \(r>0\) as
where, \(\partial ^{*}E\) is the reduced boundary of \(E\), \(\nu _{E}\) is the measure-theoretic unit normal to \(\partial E\), see [19], and \(B_{r}(x)\) is the ball of center \(x\) and radius \(r\). We also define the normalized Dirichlet energy as
where \(u_{E}\) is the minimizer in (1.9), whose existence and uniqueness can be easily proved, see Proposition 2.3 below. With these conventions, the \(\varepsilon \)-regularity results can be stated as follows, see also Theorem 8.1 below for a slightly more precise statement,
Theorem 1.2
Given \(n\ge 3\), \(A>0\) and \(\vartheta \in (0,1/2)\), there exits \(\varepsilon _{\text {reg}}=\varepsilon _{\text {reg}}(n, A, \vartheta )>0\) such that if \(E\) is minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)) with \(Q+\beta +K+\frac{1}{K}\le A\), \(x\in \partial E\) and
then \(E\cap B(x,r/2)\) coincides with the epi-graph of a \(C^{1,\vartheta }\) function. In particular \(\partial E\cap B(x,r/2)\) is a \(C^{1,\vartheta }\) \((n-1)\)-dimensional manifold.
Let us conclude this section with some remarks:
First beside its intrinsic interest, combining Theorem 1.2 with the analysis of the linearized energy around a ball one can show show that the balls uniquely minimize (\(\mathcal {P}_{\beta ,K,Q,R}\)) for small value of \(Q\). This will be addressed in a forthcoming paper.
Second we note that the dimension of the singular set in Theorem 1.1 depends only on the gap between the two permittivity constants and not on the other parameters appearing in the model. On the other hand the “regularity scale” in Theorem 1.2 depends on all the parameters involved. A similar fact has been observed in the context of free interfaces models in [6, 12].
Finally, it seems reasonable to expect that \(C^{1,\vartheta }\) regularity of \(\partial E\) can be upgraded to \(C^{\infty }\) smoothness by some bootstrap argument. We leave this interesting question open.
1.3 Strategy of the proof and structure of the paper
Though the energy we are considering has a certain similarity with those studied in optimal design problems, the fact that the minimization problem in (1.9) is performed only among admissible pairs \((u,\rho )\in \mathcal {A}(E)\) makes very difficult to make local perturbations. In particular, problem (\(\mathcal {P}_{\beta ,K,Q,R}\)) has (a priori) no local scaling invariance. For this reason in Sect. 2 we study carefully the energy \(\mathcal {G}(E)\) and its minimizers \((u_{E}, \rho _{E})\). Moreover we establish boundedness of \(u_{E}\) and \(\rho _{E}\) .
In order to study the regularity of minimizers one needs to perform local variations and hope that these give localized (or almost localized) changes of the energy. This is not completely obvious due to the presence of a volume constraint and to the non-local character of \(\mathcal {G}\). As it is well known the volume constraint can be relaxed into a “perturbed” minimality property of minimizers. In order to have estimates uniform in the structural parameters it will be important to have this “perturbed” minimality property uniform in the class of minimizers. In Sect. 3 we start studying how the energy varies according to a flow of diffeomorphism, which will be important in performing small volume adjustments and we establish the Euler Lagrange equations for minimizers. In Sect. 4 we prove the perturbed minimality property and we study the behavior of the energy under local perturbations. In Sect. 5 we prove the compactness of the class of minimizers in the \(L^1\) topology, which though not used in the proof of our main results is interesting by its own.
The next step consists in establishing local perimeter and volume estimates for the minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)). Usually these estimates are easily obtained by combining minimality with local isoperimetric inequalities. Here, due to the non-local character of the energy term \(\mathcal {G}(E)\) and the absence of a natural scaling invariance of the problem, more refined arguments are required. In particular we will first show that the energy \(\mathcal {G}\) is monotone by set inclusion. This implies that \(E\) is an outer minimizer for the perimeter and leads to upper perimeter bounds and lower density estimates for \(E^{c}\). Estimating the density of \(E\) is instead more complicated and requires to perform an inductive argument showing that if \(E\) has small relative measure in a ball \(B_{r}(x)\), then the Dirichlet energy of \(u_E\) decays enough to preserve this information at smaller scales, leading to a contradiction. In doing this, higher integrability of the gradient of minimizers of \(\mathcal {G}\) plays a key role. Local density estimates are obtained in Sect. 6 together with the boundedness of \(D_E(x,r)\). This fact combined with the local density and perimeter estimates allow somehow to recover the scaling invariance of the problem.
The main step of the proof of Theorems 1.1 and 1.2 is the decay of the excess established in Sect. 7. Once the local scaling invariance of the problem is recovered, the proof Theorem 1.2 follows the classical De Giorgi’s idea of harmonic approximation. Namely we will show that in the regime of small excess and small normalized Dirichlet energy, \(\partial E\) can be well approximated by the graph of a function with “small” Laplacian. This leads to the decay of the excess which, thanks to the higher integrability of \(\nabla u_{E}\), in turn also implies the decay of the normalized Dirichlet energy and eventually allows to conclude the proof.
In Sect. 8 we prove Theorems 1.1 and 1.2. Theorem 1.2 will be an immediate consequence of Theorem 7.1 (see also Theorem 8.1 for a more quantitative version). Theorem 1.1 is proved by following the strategy of [12] where one combines the the \(\varepsilon \)-regularity result with the higher integrability of the \(\nabla u_E\) and the classical regularity theory for minimal surfaces.
Let us remark that most of the above described difficulties arises only in the case when \(\beta \) is relatively large compared to \(1\). Indeed in the regime \(\beta -1\ll 1\), Cordes estimates, see [4], imply that \(\nabla u_{E}\) belongs to \(L^{p}\) with \(p\) large. In this case Hölder inequality immediately gives that the energy term \(\mathcal {G}\) is lower order with respect to the perimeter at small scales. \(E\) will then be an \(\omega \)-minimizer of the perimeter and the regularity theory follows for instance from [25], see Remark 4.6. In particular in this case one obtains full regularity in \(n=3\), thus excluding the formation of Taylor’s cone singularities. This phenomena was already observed in [24] for a different model of charged droplets.
2 Properties of Minimizers of \(\mathcal {G}\)
In this section we start establishing some basic properties of minimizers of \(\mathcal {G}\). We start with the following easy lemma. Here and in the following let \(2^*:=2n/(n-2)\) (recall that we are always working with \(n\ge 3\)).
Lemma 2.1
Let \(n\ge 3\), \(\beta >1\) and let \(A:\mathbb {R}^{n}\rightarrow {{\,\textrm{Sym}\,}}_{n}(\mathbb {R}^n)\) be a symmetric matrix valued function such that
Then for every \(\rho \in L^{(2^*)'}\) (i.e. the dual of \(L^{2^*}\)) there exists a unique \(u\in D^1(\mathbb {R}^n)\) such that
Proof
Recall that for \(u\in D^1(\mathbb {R}^n)\) one has the following Sobolev inequality
In particular by the assumptions on \(\rho \) and \(A\) the energy
is finite. By Young’s inequality \({\mathcal {E}}(v) \) is bounded from below by
Hence, the direct method of the calculus of variations imply the existence of a unique minimizer which is the desired solution. Furthermore for the solution \(u\) we have
\(\square \)
Remark 2.2
In dimension \(n=2\) the above lemma is easily seen to be false, indeed even for a smooth and compactly supported \(\rho \), the solution of
does not in general satisfy \(\nabla u\in L^2\).
By the above lemma , if \(|E|<\infty \) the couple \((u,\rho )\) defined by
is admissible, \((u,\rho )\in \mathcal {A}(E)\). By testing the equation by \(u\) and using the Sobolev embedding, we then get
In particular (recall \(\beta >1\))
Proposition 2.3
Let \(E\subset \mathbb {R}^{n}\) be a set of finite measure. Then there exists a unique pair \((u_E,\rho _E)\in \mathcal {A}(E)\) minimizing \(\mathcal {G}_{\beta ,K}(E)\). Moreover
and
In particular, \(\rho _E\in L^p\) for all \(p\in [1,\infty ]\) and
Proof
Existence of a minimizer is an immediate application of the direct method in the calculus of variations. Uniqueness follows from the convexity of the admissible set \(\mathcal {A}(E)\) and of the strict convexity of the energy
Let now \(\psi \in C_c^\infty (\mathbb {R}^n)\) be such that
Let \(v\in D^1(\mathbb {R}^n)\) be the solution of
If \((u_E,\rho _E)\) is the minimizing pair then \((v_\varepsilon ,\rho _\varepsilon )=(u_E+\varepsilon v, \rho _E+\varepsilon \psi )\in \mathcal A(E)\) is admissible. Hence, by taking the derivative with respect to \(\varepsilon \) of its energy we get
Since this holds for all \(\psi \) satisfying (2.5) we get that \(u_E+K\rho _E=C\) in \(E\). By multiplying this equation by \(\rho _E\), integrating and by recalling the identity
we obtain
which proves (2.2). In particular \(u_E\) solves
By testing the above with \( (\mathcal {G}(E)-u_E)_-=-\min \{0, \mathcal {G}(E)-u_E\}\) we obtain
which implies the second half of the first inequality in (2.3). Testing (2.7) with \(u_{-} = - \min \{0, u \}\) we obtain the first half. The second inequality in (2.3) follows now from the first and (2.2). Inequality (2.4) follows from (2.1). \(\square \)
We establish now the monotonicity of \(\mathcal {G}\) with respect to set inclusion. We start from the following lemma.
Lemma 2.4
Let A, \(B:\mathbb {R}^{n}\rightarrow {{\,\textrm{Sym}\,}}_{n}(\mathbb {R}^n)\) two symmetric matrix valued functions such that \({{\,\textrm{Id}\,}}\le A(x)\le B(x)\) for all \(x\in \mathbb {R}^n\). If \(\rho \in L^{(2^*)'}(\mathbb {R}^n)\) and \(u, v\in D^1(\mathbb {R}^n)\) are the unique solutions of
then
In particular
Proof
Let \(\mathcal {E}_{A}\) and \(\mathcal {E}_{B}\) be the following functionals defined on \(D^1(\mathbb {R}^n)\):
Hence \(\mathcal {E}_{A}(w)\le {}\mathcal {E}_{B}(w)\) for every \(w\in D^1(\mathbb {R}^n)\). Since the solutions of (2.8) are minimizers of these energies, compare with Lemma 2.1, we have
Then
and
concluding the proof. \(\square \)
The following corollary is an immediate consequence of the above lemma.
Corollary 2.5
Let \(E\subset F\subset \mathbb {R}^n\) be two sets of finite measure. Then
Proof
Let \((u_E,\rho _E)\) be the optimal pair for \(E\) and let \(v\) be a solution of
Then \((v, \rho _E)\) is admissible in the minimization problem defining \(\mathcal {G}_{\beta , K}(F)\), hence
where the last inequality follows from Lemma 2.4. \(\square \)
We conclude this section by proving the continuity of \(\mathcal {G}\) under \(L^1\) convergence. Recall that given two sets \(E\) and \(F\), \(E\Delta F:=(E\cup F){\setminus } (E\cap F)\) is their symmetric difference.
Proposition 2.6
Let \(\{E_h\}\) be a sequence of sets with \(|E_h|=:V_h\rightarrow V>0\) when \(h\rightarrow \infty \) and let \(E\) be such that
so that in particular \(|E|=V\). Assume that \(\beta _h\rightarrow \beta \) and that \(K_h\rightarrow K\) when \(h\rightarrow \infty \). Then
Moreover, \(\nabla u_{E_h}\) and \(\rho _{E_h}\) converge in \(L^2\) to \(\nabla u_E\) and \(\rho _E\) respectively.
Proof
Note that by (2.1)
Thus
Moreover
In particular, if \((u_h, \rho _h)=(u_{E_h}, \rho _{E_h})\) is the minimizing pair for \(\mathcal {G}_{\beta _h,K_h}(E_h)\), then up to subsequence there exists \((u, \rho )\) such that
Since \((u_h, \rho _h)\) are in \(\mathcal {A}(E_h)\), one immediately deduces that \((u,\rho )\in \mathcal {A}(E)\) and thus, by lower semicontinuity,
To prove the opposite inequality we take \((u_E,\rho _E)\) to be the minimizing pair for \(\mathcal {G}_{\beta ,K}(E)\) and we define \((w_h, {\widetilde{\rho }}_h) \in \mathcal {A}(E_h)\) as
where \(\sigma _h\rightarrow 1\) is such that \(\int _{\mathbb {R}^n} \widetilde{\rho }_h\,dx=1\). Since
by testing with \(u_E-w_h\) and by exploiting the Sobolev embedding we obtain
Then Young’s inequality implies that \(\Vert \nabla (u_E-w_h)\Vert _{2}\rightarrow 0\). Since also \(\Vert {\widetilde{\rho }}_h-\rho _E\Vert _{2}\rightarrow 0\) and \((w_h,{\widetilde{\rho }}_h)\in \mathcal {A}(E_h)\), we get that
The strong convergence of \(\nabla u_{E_h}\) and \(\rho _{E_h}\) is now a simple consequence of the convergence of energies. \(\square \)
3 Small Volume Adjustments and Euler Lagrange Equations
In this section we show how to adjust the volume of a given set without increasing too much its energy which will be instrumental both to prove compactness of the class of minimizers in Sect. 5 and to get rid of the volume constraint in studying regularity of solutions of (\(\mathcal {P}_{\beta ,K,Q,R}\)), see Sect. 4. The “adjustment” lemma will be proved with the aid of a deformation via a family of diffeomorphism close to the identity. Though not needed in the sequel we also establishes the Euler Lagrange equations associated to (\(\mathcal {P}_{\beta ,K,Q,R}\)). We start with the following lemma.
Lemma 3.1
For every \(\eta \in C_c^1(B_R;\mathbb {R}^n)\) there exists \(t_0=t_0({{\,\textrm{dist}\,}}({{\,\textrm{spt}\,}}\eta , \partial B_R)>0\) such that \(\{\varphi _{t}\}_{|t|\le t_{0}}\) defined by \(\varphi _{t}(x):=x+t\,\eta (x)\) is a family of diffeomorphisms of \(B_R\) into itself. Moreover for some set \(E\subset B_R\) let \((u,\rho )\) be a solution of
Then setting
we have
where \(\Vert A_t-{{\,\textrm{Id}\,}}\Vert _{\infty } =O(t)\) and the implicit constant depends only on \(\Vert \nabla \eta \Vert _\infty \).
Proof
The proof of the first part of the Lemma is straightforward. For the second we see that for \(\psi \in C_c^\infty \), by change of variables \(x=\varphi _t(y)\),
Where we have used the equality \(\nabla \varphi \circ \varphi _t^{-1}=(\nabla \varphi _t^{-1})^{-1}\) and for a matrix \(N\) we denoted by \(N^T\) its transpose and we set \(N^{-T}=(N^{-1})^T\). Hence \(u_{t}\) is a solution of (3.1) with
By an explicit computation we see that \(A_t\) satisfies the desired bound. \(\square \)
We now show how the energy \(\mathcal {G}\) changes by the effect of a family of diffeomorphism.
Lemma 3.2
Let \(E\subseteq B_M\) be a measurable set and let \(\{\varphi _{t}\}_{|t|\le t_{0}}\) be a family of diffeomorphisms as in Lemma 3.1. Then
where \(E_{t}:=\varphi _{t}\left( E\right) \) and the implicit constant depends only on \(\Vert \nabla \eta \Vert _\infty \). Moreover
Proof
Let \((u_E,\rho _E)\in {}\mathcal {A}(E)\) be a the optimal pair for \(\mathcal {G}_{\beta ,K}(E)\). By Lemma 3.1\(u_{t}=u_E\circ {}\varphi ^{-1}_{t}\) solves (3.1) with \({\widetilde{\rho }}_t=\rho _E\circ \varphi _t^{-1}\det (\nabla \varphi _t^{-1})\). Let \(v_{t}\) be the solution of
Step 1: We start by proving the following estimate
where the implicit constant depends only on \(\Vert \nabla \eta \Vert _\infty \). In order to prove (3.5) we claim that
Indeed assuming that (3.6) holds true and using that \(|a|^{2}-|b|^{2}=2b\cdot {}(a-b)+|a-b|^{2}\) for every a,\(b\in \mathbb {R}^{n}\), we have
We estimate the first term in the right hand side of (3.7). By (3.6), we find that
which proves (3.5).
Let us now prove (3.6). By testing (3.1) and (3.4) with \(v_{t}-u_{t}\) we get
Rearranging terms and recalling that \(|A_t-{{\,\textrm{Id}\,}}|=O(t)\), this gives
which, by Young’s inequality, implies (3.6).
Step 2: By changing variables:
Moreover
which gives
and the more precise equality
In the same way we get
Furthermore, since \(\det \nabla \varphi _t=1+t{{\,\textrm{div}\,}}\eta +o(t)\), we also get
Step 4: Since, by its definition
and \(v_t\) solves (3.4), we see that \((v_t, {\widetilde{\rho }}_t)\in \mathcal {A}(E_t)\). Hence, by combining (3.5), (3.9) and (3.11) we obtain
which proves (3.2). The proof of (3.3) is obtained by combining the above argument with (3.10) and (3.12). \(\square \)
By combining the Taylor expansion of the perimeter, [19, Theorem 17.8],
with (3.3) we obtain the Euler Lagrange equations for minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)) whose proof is left to the reader.
Corollary 3.3
Let \(E\) be a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), then
for all \(\eta \in C^{1}_c(B_R;\mathbb {R}^n)\) with \(\int _{E}{{\,\textrm{div}\,}}\eta \,dx=0\).
The next series of results are modeled after [2] and allow to do small volume adjustments without increasing too much the perimeter, see also [19, Chapter 17]. The first lemma is elementary.
Lemma 3.4
Let \(E\subseteq \mathbb {R}^{n}\) be a set of finite perimeter and let U be an open set such that \(P(E,U)>0\). Then there exist \(\gamma =\gamma (E)>0\) and a vector field \(\eta _E\in C^1_c(U;\mathbb {R}^n)\) with \(\Vert \eta \Vert _{C^1}\le 1\) such that
Proof
Since
we find a vector field \(\widetilde{\eta }\in C_c^{1}(U;\mathbb {R}^n) \) with \(\Vert \widetilde{\eta }\Vert _{\infty }\le 1 \) such that
Taking \(\eta ={\widetilde{\eta }}/\Vert {\widetilde{\eta }}\Vert _{C^1}\) we obtain the desired conclusion. \(\square \)
In order to have uniform controls on the constants involved in our regularity theory, we need to enforce the above lemma in the following one. Note that this time the constants depend only on the upper bound on the perimeter, in particular they do not depend on the radius \(R\) in (\(\mathcal {P}_{\beta ,K,Q,R}\)).
Lemma 3.5
For every \(P>0\) there exist two constants \(\bar{\gamma }={\bar{\gamma }}(n,P)>0\) and \({\bar{\delta }}={\bar{\delta }}(n,P)>0\) such that if \(R\in (1,\infty )\) and \(E\subset B_R\) satisfies
then there exists a vector field \(\eta \in C_c^1(B_{R-\bar{\delta }};\mathbb {R}^n)\) with \(\Vert \eta \Vert _{C^1}\le 1\) such that
Proof
Let us argue by contradiction: assume that there exist a sequence of radii \(R_k\) and a sequence of sets \(E_k\) satisfying (3.13) such that
where \({\bar{\delta }}={\bar{\delta }} (n,P)\) is a small constant to be fixed later only in dependence of \(n\) and \(P\). By [19, Remark 29.11] there exist points \(y_k\in \mathbb {R}^n\) and a constant \(\delta _1=\delta _1(n,P)\) such that
Then by taking \(z_k\in E_k\cap B_{1}(y_k)\subset B_{R_k}\cap B_{1}(y_k)\) we get
Let us now detail the proof in the case in which, up to subsequences, \(R_k\rightarrow \infty \) and \(\partial B_{R_k-1}\cap B_2(z_k)\ne \emptyset \). The other cases are actually simpler and we explain how to modify the argument at the end of the proof. We first note that since \(\partial B_{R_k-1}\cap B_2(z_k)\ne \emptyset \), we can take \( x_k\in \partial B_{R_k}\) such that
Now a simple geometric argument ensures that
In particular we can choose \(\delta _2=\delta _2(n,P)\) such that
Let us now assume that, up to subsequences and a possible rotation of coordinates
where the first limit exits due to our assumption on the perimeters. In particular
and \(F\subset {\widehat{B}}\). Note that by (3.15), \(F\ne \emptyset \) and, since \(|F_k|\le 3|B_1|/2\), \(| \widehat{B}{\setminus } F|>0\). In particular, \(P(F, {\widehat{B}})>0\). By Lemma 3.4, we can find a constant \(\gamma =\gamma (F)>0\) and vector field \(\eta _F \in C^1_c(\widehat{B};R^n)\) with \(\Vert \eta \Vert _{C^1}\le 1\) such that
For \(k\) large, the vector field \(\eta _k(\cdot )=\eta _F(\cdot +x_k)\) satisfies: \(\eta _k\in C^1_c(B_{R_k-\delta _2/2};\mathbb {R}^n)\), \(\Vert \eta \Vert _{C^1}\le 1\) and contradicts (3.14) with \({\bar{\delta }}=\delta _2/2\).
Let us conclude by explaining how to modify the proof in the case in which either \(B_{2}(z_k)\cap \partial B_{R_k-1}=\emptyset \) or \(R_k\rightarrow {\bar{R}}<\infty \). In the first case instead one argue as above by considering the sets \(F_k:=\big (E_k\cap B_{2}(z_k)\big )-z_k\) and by noticing that the vector fields \(\eta _k(\cdot )= \eta _F(\cdot +y_k)\) with \(F:=\lim F_k\) are compactly supported in \(B_{R_k-1/2}\). In the second case one can simply reproduce the above argument. \(\square \)
The next proposition will be crucial in removing the volume constraint and in making comparison estimates for minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)).
Proposition 3.6
For every \(P>0\) there exist constants \({\bar{\sigma }}={\bar{\sigma }}(n,P)>0\) and \( C=C(n)\) such that if \(R\in (1,\infty )\) and \(E\subset B_R\) satisfies
then for all \(\sigma \in {}(-{\bar{\sigma }},{\bar{\sigma }})\) there exists \(F_{\sigma }\subset B_{ R}\) such that
Proof
By Lemma 3.5 we can find \({\bar{\gamma }}={\bar{\gamma }}(n,P)>0\), \({\bar{\delta }}={\bar{\delta }}(n,P)>0\) and a vector field \(\eta \in C^{1}_{c}\big (B_{R-{\bar{\delta }}};\mathbb {R}^{n}\big )\) with \(\Vert \eta \Vert _{C^1}\le 1\) such that
Define a family of diffeomorphisms \(\varphi _{t}:={{\,\textrm{Id}\,}}+t\,\eta \) and note that, since \({{\,\textrm{dist}\,}}({{\,\textrm{spt}\,}}(\eta ),\partial B_{R})\ge \bar{\delta }(n,P)\), they send \(B_{R}\) into itself for \(|t|\le t_0(n,P)\). By Taylor expansion
and
where the implicit constant is universal since \(\Vert \nabla \eta \Vert _{\infty }\le 1\). Moreover
where \(E_{t}=\varphi _{t}(E)\) and the constant in (3.18) depends only on \(\Vert \nabla \eta \Vert _{\infty }\le 1\). Hence we can find \(t_{1}=t_1(n,P)>0\) such that
and
for every \(|t|\le t_1\). By equations (3.19a) and (3.19b) we get
Let \(g(t):=|E_{t}|\) and note that thanks to (3.17) and (3.16), \(g\) is increasing in a neighborhood of \(0\). Take \({\bar{\sigma }}>0\) such that \((|E|-{\bar{\sigma }},|E|+\bar{\sigma })\subseteq {}g\big ((-t_{1},t_{1})\big )\). Then for every \(|\sigma |\le {}{\bar{\sigma }}\) there exists \(t_{\sigma }>0\) such that \(|E_{t_{\sigma }}|=|E|+\sigma \). Setting \(F_\sigma =E_{t_\sigma }\) we obtain the desired conclusion. \(\square \)
4 \(\Lambda \)-Minimality and Local Variations
In order to study the regularity of minimizers it will be convenient to understand what is the behavior under small perturbations in balls. In this section we start by removing the volume constraint by showing that minimizers are \(\Lambda \)-minimizer of \(\mathcal {F}\) under small perturbations. In order to keep track of the dependence of the parameters in Theorem 1.2, it will be important that this “almost”-minimality depends only on the structural parameter of the problem. We thus start by fixing the following convention, which will be in force throughout all the rest of the paper:
Convention 4.1
(Universal constants). Given \(A>0\), we say that
-
the parameters \(\beta , K, Q\) with \(\beta \ge 1\) are controlled by \(A\) if
$$\begin{aligned} \beta +K+\frac{1}{K}+Q\le A. \end{aligned}$$ -
A constant is universal if it depends only on the dimension \(n\) and on \(A\).
-
For two positive quantities \(X\) and \(Y\), we will write \(X\lesssim Y\) if there exists a universal constant \(C\) such that \(X\le C Y\) and we write \(X > rsim Y\) if \(Y\lesssim X\).
Note in particular that universal constants do not depend on the size of the container where the minimization problem is solved. Moreover we also remark here the following elementary fact: since \(B_1\) is always a competitor for (\(\mathcal {P}_{\beta ,K,Q,R}\)), if \(E\) is a minimizer then
whenever \(\beta , K, Q\) are controlled by \(A\).
Let us now introduce the following perturbed minimality condition.
Definition 4.2
(\((\Lambda , {\bar{r}})\)-minimizer). We say that E is a \(( \Lambda , {\bar{r}})\)-minimizer of the energy \(\mathcal {F}\) if there exist constants \(\Lambda >0\) and \({\bar{r}}>0\) such that for every ball \(B_{r}(x)\subseteq \mathbb {R}^{n}\) with \( r\le {\bar{r}}\) we have
Remark 4.3
Note that if \(E\) is \(({\bar{\Lambda }}, {\bar{r}})\)-minimizer than it is also a \(({\bar{\Lambda }}_1, {\bar{r}}_1)\)-minimizer whenever \(\bar{\Lambda }_1\ge {\bar{\Lambda }}\) and \({\bar{r}}_1\le {\bar{r}}\). Hence there is no loss of generality in assuming that \({\bar{r}}\le 1\).
We can now establish the desired \(\Lambda \)-minimality property for minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)).
Proposition 4.4
Let \(A>0\) and let \(\beta , K, Q\) with \(\beta \ge 1\) be controlled by \(A\) and let \(R\ge 1\). Then there exist \( \Lambda _1, {\bar{r}}_1>0\) universal such that all minimizers (\(\mathcal {P}_{\beta ,K,Q,R}\)) satisfy
whenever \(F\subset B_R\) and \(E\Delta F\subset B_{r}(x_{0})\), \(r\le {\bar{r}}_1\).
Proof
Clearly we can suppose that
since otherwise the result is trivial. In particular \(P(F)\) is bounded by a universal constant \(P\). Let \({\bar{\sigma }}\) and \(C\) be the parameters in Proposition 3.6 associated to \(P\). If \({\bar{r}}_1\) is chosen small enough we have
Moreover, since \(|E|=|B_1|\), \(|F|\in (|B_1|/2,3|B_1|/2)\). Hence we can apply Proposition 3.6 to \(F\) to obtain a set \({\widetilde{F}}\subset B_{ R}\) such that \(|{\widetilde{F}}|=|B_1|\) and
where the first inequality is due to the minimality of \(E\). Since \({\mathcal {F}}_{\beta ,K, Q}(F)\lesssim 1\) and
we obtain the conclusion for a suitable universal constant \(\Lambda _1\).
\(\square \)
We conclude this section by establishing the following “local” minimality properties of minimizers (\(\mathcal {P}_{\beta ,K,Q,R}\)). Note that in (ii) below we are not requiring \(F\) to be contained in \(B_R\).
Proposition 4.5
Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exist universal constants \(\Lambda _2\) and \({\bar{r}}_2\) such that given a minimizer E of (\(\mathcal {P}_{\beta ,K,Q,R}\)) we have that it satisfies the following two properties:
-
(i)
for every set of finite perimeter \(F\subseteq {}E\) with \(E{\setminus }{}F\subset {}B_{r}(x)\) and \(r\le {}{\bar{r}}_2\) it holds:
$$\begin{aligned} P(E)\le {} P(F)+\Lambda _2 |E{\setminus }{}F|+\Lambda _2 Q^2 \int _{E{\setminus }{}F}|\nabla {}u_E|^{2}\,dx, \end{aligned}$$(4.4)where \(u_E\) the minimizer in (1.9).
-
(ii)
For every set of finite perimeter \(F\supseteq {}E\) with \(F{\setminus }{}E\subset {}B_{r}(x)\) and \(r\le {} {\bar{r}}_2\) it holds:
$$\begin{aligned} P(E)\le {}P(F)+\Lambda _2|F{\setminus }{}E|\text{. } \end{aligned}$$(4.5)
In particular, if \(u_E\) is the minimizer in (1.9) then
whenever \(F\Delta {}E\subset {}B_{r}(x)\) with \(r\le {}{\bar{r}}_2 \).
Proof
We start proving (i). Let \(E\) be a minimizer and \((u_E,\rho _E)\) be the minimizing pair for \(\mathcal {G}(E)\). Let \(F\subseteq {}E\) be such that \(E{\setminus }{}F\subset {}B_{r}(x)\) with \(r\le {}{\bar{r}}_2\le \bar{r}_1 \) where \({\bar{r}}_1\) is the constant defined in Proposition 4.4, by possibly choosing \({\bar{r}}_2\) smaller, we can assume that
Let us set
and let \(u\) be the solution of
Note that \((u,\rho )\in \mathcal {A}(F)\) and thus, by using the \(\Lambda \)-minimality of \(E\) established in Proposition 4.4,
Item (ii) will then follow if we can prove
and
To prove (4.8) we estimate
where in the first inequality we have used (4.7) and the definition of \(\lambda _F\). By (2.4), \(\Vert \rho _E\Vert _{\infty }\lesssim 1\) and this concludes the proof of (4.8).
Let us now prove (4.9). First note that
Testing the equations satisfied by \(u_E\) and \(u\) with \(u_E\) and \(u\) respectively and subtracting the result we obtain also
Subtracting (4.10) from two times (4.11) we get
Moreover,
Combining (4.12) and (4.13) we then obtain:
We start to estimate the first term in the right hand side of (4.14). By using Proposition 2.3 and by arguing as in the proof of (4.8) the first term can be easily estimated as
To estimate the second term in the right hand side of (4.14), we write
Therefore
By the Sobolev embedding and Young inequality (and recalling that \(1\le a_F\le \beta \)), the above inequality immediately imply
By the definition of \(\rho \), the second term is \(\lesssim |E {\setminus } F|\) (note that \(2/(2^{*})'\ge 1\)) while the first one is less than
Since also the third term in (4.14) can be estimated by the above integral, this concludes the proof of (4.9).
Let us now prove (ii). Let \(F\supseteq E\), note that \(P(F\cap B_R)\le P(F)\) and that \((F\cap B_R){\setminus } E\subset F{\setminus } E\). Hence if we can prove (i) for subsets of \(B_R\) we will get it for all sets. Let us then assume that \(E\subseteq F\subseteq B_R\). By \(\Lambda \)-minimality of \(E\)
Since, by Lemma 2.4, \(\mathcal {G}_{\beta ,K}(E)\ge \mathcal {G}_{\beta ,K}(F)\) the conclusion follows. \(\square \)
Remark 4.6
We record here the following simple consequence of (4.6). Assume that \(|\nabla u_E|^2\in L^{p}\), then (4.6) and Hölder inequality imply that for \(F\) such that \(F\Delta {}E\subset {}B_{r}(x)\) with \(r\le {}{\bar{r}}_2 \),
In particular if \(p>n\), then \(n-\frac{n}{p}>n-1\) and thus \(E\) is a \(\omega \) minimizers of the perimeter in the sense of [25]. Hence \(\partial E\) is a \(C^1\) manifold outside a singular closed set \(\Sigma \) of dimension at most \((n-8)\). Note that by Cordes estimate, [4], the assumption \(|\nabla u_E|^2\in L^{p}\) with \(p>n\) is satisfied wherever \(\beta -1\ll 1\). In particular, in this regime, Taylor cones singularities are excluded in \({\mathbb {R}}^3\).
5 Compactness of Minimizers
In this section we prove that the class of minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)) is a compact subset of \(L^1\), this is not really necessary in the proof of the main result, but we believe it can be interesting by its own.
Proposition 5.1
Let \(K_h, Q_h\in \mathbb {R}\), \(\beta _h\ge 1\) and \(R_h\ge 1\) be such that
when \(h\rightarrow \infty \). For every \(h\in {\mathbb {N}}\) let \(E_h\) be a minimizer of \(\left( \mathcal {P}_{\beta _h, K_h, Q_h, R_h}\right) \). Then, up to a non relabelled subsequence, there exists a set of finite perimeter \(E\) such that
Moreover \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)) and
Proof
Since if \(R_h=1\) for all \(h\) the problem is trivial (recall that \(|E_h|=|B_1|\)) we can assume that \(R_h\) and \(R\) are strictly bigger than one. Moreover \(B_1\) is always an admissible competitor and thus,
In particular the perimeters of \(E_h\) are uniformly bounded and since all the sets are included in, say, \(B_{2R}\) there exists a non relabelled subsequence and set \(E\subset B_R\) such that (5.1) hold true. Since the perimeter is lower-semicontinuous and, by Proposition 2.6, \(\mathcal {G}\) is continuous we also get that
We now show that \(E\) is a minimizer. For let \(F\subset B_R\) with \(|F|=|B_1|\). Since \(R_h\rightarrow R\), we can find \(\lambda _h\rightarrow 1\) such that \(F_h:=\lambda _h F\subset B_{R_h}\). Clearly, \(F_h\rightarrow F\), \(|F_h|=|F|+o(1)\) and \(P(F_h)=P(F)+o(1)\). Thus
By Proposition 3.6 applied to \(F_h\) we can find sets \(\widetilde{F}_h\subset B_{R_h}\) such that \(|\widetilde{F}_h|=|B_1|\) and
where in the last equality we have used (5.3). By minimality of \(E_h\) we get
which combined with (5.2) implies the minimality of \(E\). By choosing \(E=F\) we also deduce the convergence of the energies and, by Proposition 2.6, this implies the convergence of the perimeters. \(\square \)
6 Decay of the Dirichlet Energy and Density Estimates
6.1 Decay of the Dirichlet energy
Following [12], in this subsection we establish an almost Lipschitz decay for the Dirichlet energy of \(u_E\) in certain regimes. Namely when the set or the complement almost fill a ball or when the set is very close to an half space.
We start by recalling the following higher integrability lemma for solution of (1.6) The proof can be found for instance in [14].
Lemma 6.1
Let \(E\) be set of finite measure and let \((u,\rho )\in \mathcal {A}(E)\). Then there exists \(C=C(n,\beta )\) and \(p=p(n,\beta )>1\) such that for all balls \(B_r(x)\subset \mathbb {R}^n\)
Furthermore, the constants \(C\) and \(p\) depends only on an upper bound for \(\beta \).
We start with the following elementary lemma where the optimal decay is obtained in some limiting situations.
Lemma 6.2
Let \(\beta \ge 1\) and \(\rho \in L^\infty (\mathbb {R}^n) \). Then here exists a dimensional constant \(C=C(n)\) such that:
-
(i)
if \(v\in W^{1,2}(B_r(x))\) is a solution of
$$\begin{aligned} -\Delta v=\rho , \end{aligned}$$then for all \(\lambda \in (0,1)\)
(6.2) -
(ii)
If \(v\in W^{1,2}(B_r(x))\) is a solution of
$$\begin{aligned} -{{\,\textrm{div}\,}}(a_H \nabla v) =\rho , \qquad a_H=\beta \textbf{1}_{H}+\textbf{1}_{H^c}, \end{aligned}$$where \(H:=\bigl \{y\in \mathbb {R}^n: (y-x)\cdot e\le 0\bigr \}\) for some \(e\in {\mathbb {S}}^{n-1}\). Then for all \(\lambda \in (0,1)\)
(6.3)
Proof
We just prove point (ii) since (i) is a particular case (and well known). By scaling and translating, we can assume without loss of generality that \(x=0\) and \(r=1\). Let \(w\) be the solution of
so that \(u=v-w\) solves
By multiplying the last equation by \(u\), applying Poincaré inequality we obtain
where we have used that \(a_H \ge 1\). Hence
Moreover, by [12, Lemma 2.3],
Hence,
which together with (6.4) concludes the proof. \(\square \)
As in [12], we now exploit the higher integrability recalled in Lemma 6.1 to obtain an “almost version” of the above decay.
Proposition 6.3
(Decay of Dirichlet energy). Let \( \beta \ge 1\) then there exists a constant \(C=C(n, \beta )\) with the following property: if \(E\subset \mathbb {R}^n\), \(u\) and \(\rho \) satisfy
then for all \(\lambda \in {}\left( 0,\frac{1}{2}\right) \) there exists \(\varepsilon _{0}=\varepsilon _{0}(\lambda , \beta )>0\) such that
-
(i)
if
$$\begin{aligned} \text {either} \qquad \frac{|E\cap {}B_{r}(x)|}{|B_{r}(x)|}\le {}\varepsilon _{0} \qquad \text {or} \qquad \frac{|B_{r}(x){\setminus }{}E|}{|B_{r}(x)|}\le {}\varepsilon _{0}, \end{aligned}$$then
-
(ii)
If
$$\begin{aligned} \frac{|(E\Delta H)\cap B_{r}(x)|}{|B_{r}(x)|}\le {}\varepsilon _{0}, \end{aligned}$$where \(H:=\bigl \{y\in \mathbb {R}^n: (y-x)\cdot e\le 0\bigr \}\) for some \(e\in {\mathbb {S}}^{n-1}\), then
Moreover the constants \(C\) and \(\varepsilon _0 \) can be chosen to depend only on un upper bound on \(\beta \).
Proof
We detail the proof of item (ii). Item (i) can be obtained in a similar way and we sketch the argument at the end of the proof. Without loss of generality, by translating, we can assume \(x=0\). Let \(\lambda \in (0,1/2)\) be given and let \(v\) the solution of
where \(a_H=\beta \textbf{1}_H+\textbf{1}_{H^c}\). In particular, \(w=(u-v)\in W^{1,2}_0(B_{r/2})\) and
By testing the above equation with \(w\) and using Young inequality we get
By the higher integrability lemma there exists \(p>1\) such that
Hence by exploiting Hölder inequality with exponent p we have
Therefore, (recall \(r<1\)) the above estimates yield
Since the decay estimate (6.3) apply to \(v\), we can argue as in the proof of (6.5) to obtain
Choosing \(\varepsilon _0=\varepsilon _0(n, \lambda )\ll \lambda \) sufficiently small we conclude the proof of (ii). The proof of (i) can be obtained in the same way by comparing \(u\) to a solution of \(-\Delta u=\rho \) (or \(-\beta \Delta u=\rho \)) and by using (6.2). \(\square \)
6.2 Density estimates
In this section we establish scaling invariant upper and lower bounds for the perimeter and for the measure of a minimizer in balls. We also establish a universal upper bound for the normalized Dirichlet energy of the minimizer of \(u_E\). We start with the following proposition which is a simple consequence of the outward minimizing property of \(E\) established in Proposition 4.5 (ii).
Proposition 6.4
Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exist universal constants \(C_{\textrm{o}}\) and \(r_{\textrm{o}}\) such that, if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), \(r\in (0,r_{\textrm{o}})\), thenFootnote 3
and
Proof
We let \(\Lambda _2\) and \({\bar{r}}_2\) be the constants appearing in Proposition 4.5. We take \( r_{\text {o}}\le {\bar{r}}_2\). For \(r\le r_{\text {o}}\), we plug \(F=E\cup B_r(x)\) in (4.5) and we obtain, after simple manipulations,
Hence, assuming that \(\Lambda _2 r_{\text {o}}\le 1\), we immediately get \(P(E, B_r(x))\lesssim r^{n-1}\). To obtain the lower density bound for \(E^c\) we set \(m(r):=|B_r(x){\setminus } E|\) and we use the isoperimetric inequality to deduce
where we have used that, by co-area formula \(m'(r)= \mathcal {H}^{n-1}(\partial B_r(x){\setminus } E)\). If we choose \(r_{\text {o}}\) such that \(Cm(r)^{\frac{1}{n}}\le C(n\omega _n)^{\frac{1}{n}} r_{\text {o}}\le 1/2\) where \(C\) is the implied universal constant in the above estimate, we obtain
Since \(x\in \partial E\), \(m(r)>0\) for all \(r>0\) then the above inequality implies that
Hence \(m(r) > rsim r^n\) and this concludes the proof. \(\square \)
The next lemma establishes a universal bound on the normalized Dirichlet integral.
Lemma 6.5
Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exists a universal constant \(C_{\textrm{e}}\) such that, if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), then for all \(x\in {\overline{B}}_R\),
Proof
The estimates is clearly true if \(r\ge r_0\) where \( r_0=r_0(n,A)\), indeed recall that
Hence we can assume that \(r\le r_0\ll 1\). We claim the following: there exist constants \(\lambda =\lambda (n,A)\in (0,1/2)\), \(C=C(n,A)\) and \(r_0=r_0(n,A)\) such that
-
(a)
If \(x\in \partial B_R\) and \(r\le r_0\), then
$$\begin{aligned} Q^2D_{E}(x,\lambda r)\le \frac{1}{2} Q^2D_{E}(x, r)+C. \end{aligned}$$(6.12) -
(b)
If \(x\in B_R\) and \(r\le \min \bigl \{{{\,\textrm{dist}\,}}(x, \partial B_R), r_0/2\bigr \}\), then
$$\begin{aligned} Q^2D_{E}(x,\lambda r)\le \frac{1}{2} Q^2D_{E}(x, r)+C. \end{aligned}$$(6.13)
Let \(\varepsilon \ll 1\) to be fixed and let \(r_0=r_0(\varepsilon )\ll {\bar{r}}_1\) where \({\bar{r}}_1\) is the constant in Proposition 4.4 and such that the following holds true
where \(H_{x}:=\{y: (y-x)\cdot x\le 0\}\) is the supporting half space of \(B_R\) at \(x\). Note that since the curvatures of \(\partial B_R\) are universally bounded (recall that \(R\ge 1\)), this can be achieved by choosing \(r_0\) small only in dependence of \(\varepsilon \).
Let now \(x\in {\overline{B}}_R\) and \(r\le r_0\) be a radius satisfying either condition (a) (if \(x\in \partial B_R\)) or condition (b) (if \(x\in B_R\)) above. Let \((u_E, \rho _E)\) be the minimizers for \(\mathcal {G}(E)\) and consider
We define \(u\) to be the solution of
Note that \((u,\rho _E)\in \mathcal {A}(F)\) since \(F\supset E\). Hence, by Proposition 4.4,
where we have used that \(F{\setminus } E \subset B_r(x)\) and that \(P(F)\le P(E\cup B_{r}(x))\), by the convexity of \(B_{R}\). Rearranging the terms we get
Recall now that \(u_E\) solves
and we use (2.9) in Lemma 2.4 to infer that
Since
by testing with \(u_E-u\) and by Young inequality we get
where the last inequality follows from (6.16).
We want now apply Proposition 6.3 to \(u\). Note that since
then the assumption are satisfied both in case (a) (thanks to (6.14)) and in case (b) (since \(B_r(x)\subset B_R\)). Hence, given \(\lambda \in (0,1/2)\), we have:
for a constant \(C=C(n,A)\) provided \(\varepsilon \) (and thus \(r_0\)) is chosen sufficiently small. Since by (2.4) \(\Vert \rho _{E}\Vert _{\infty }\lesssim 1\), we deduce from (6.17) that
Now choosing \(\lambda =\lambda (n,A)\) such that \(C\lambda =1/2\) we conclude the proof of the claim. Note that this fixes \(\varepsilon \) and thus \(r_0\) as functions depending only on \(n\) and \(A\).
To conclude the proof we have to show that (a) and (b) above implies that
We first assume that \(S<+\infty \) and show that we can bound it by a universal constant. Let \({\bar{y}}\in {\overline{B}}_R\) and \(\bar{s}\in (0,r_0)\) be such that
Let us distinguish a few cases:
\(\bullet \) Case 1: \({\bar{y}}\in \partial B_R\). If \({\bar{s}} \le \lambda r_0\), (6.12) implies that
and we are done. On the other end if \({\bar{s}} \ge \lambda r_0\), then
\(\bullet \) Case 2: \({\bar{y}}\in B_R\). If \({\bar{s}} \le \lambda \min \{ {{\,\textrm{dist}\,}}({\bar{y}}, \partial B_R), r_0/2\} \), we can use (6.13) and we argue as in the first part of Case 1. If \({\bar{s}} \ge \lambda r_0/2 \) we argue instead as in the second part of Case 1 to conclude. We are thus left to consider the case
In this case \(B_{{\bar{s}}} ({\bar{y}})\subset B_{r_0} ({\bar{y}})\), \(\bar{y}\in \partial B_{R}\) and
Thus we are done.
To show that one can actually assume that \(S<+\infty \) one can consider
and argue as above to show that \(S_\delta \le C(n,A)\). Letting \(\delta \rightarrow 0\) we conclude the proof. \(\square \)
We are now ready to complete the proof of density and perimeter estimates.
Proposition 6.6
Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exist universal constants \(C_{\textrm{i}}\) and \({\bar{r}}_{\textrm{i}}\) such that, if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), then
and
Proof
We start showing the validity of (6.19) and we divide the proof in few steps.
\(\bullet \) Step 1: We claim that for every \(\lambda \in (0,1/4)\), there exist \(\varepsilon _1=\varepsilon _1(\lambda , ,A)\), \(C_1=C_1(n,A)\) and and \({\bar{r}}={\bar{r}}(n,A, \lambda )\)
then,
For the ease of notation let us assume that \(x=0\). Let \(\lambda \in (0,1/4)\) be fixed. By the relative isoperimetric inequality
By (6.10) and by choosing \(\varepsilon _1, {\bar{r}}\ll 1\) we get
Let us choose \(t\in {}(\lambda {}r,2\lambda {}r)\) such that
By testing (4.5) with \(F=E{\setminus }{}B_{t}\) we obtain
which, together with (6.23) and recalling that \(t\in (\lambda r, 2\lambda r)\), implies that
If we now choose \(\varepsilon _1=\varepsilon _1(\lambda )\ll 1\), (6.22) allows to apply Proposition 6.3 (i). Hence by also choosing \({\bar{r}}\ll \lambda \) we deduce that
where we have used that, by (2.4), \(\Vert \rho _E\Vert _{\infty } \lesssim 1\). By gathering equations (6.25) and (6.26) we then get
If we choose \(\varepsilon _1=\varepsilon _1(n,A, \lambda )\ll 1\) such that \(C(n,\lambda )\varepsilon ^{\frac{1}{n-1}}\le \lambda ^n\) the above inequality implies (6.21).
\(\bullet \) Step 2: We now prove the validity of (6.19). By density it is enough to prove it at all \(x\in \partial ^*E\). Again we set coordinates so that \(x=0\). Let us choose \(\lambda =\lambda (n,A) \in (0,1/4)\) such that \(C_1\lambda \le 1/2\) where \(C_1\) is the constant appearing in (6.21) and let \({\bar{r}}\) and \(\varepsilon _1\) be the corresponding constants (which now depend only on \(A\) and \(n\)). We claim that
Indeed otherwise, by (6.21) and the choice of \(\lambda \)
We can thus iterate the above estimate and deduce that
in contradiction with the assumption that \(0\in \partial ^*E\). Let now \({\bar{\lambda }}\ll \varepsilon _1\) to be chosen where \(\varepsilon _1\) is the constant obtained above. Let \(\varepsilon _2\) and \(r_2\) be the constants corresponding to \({\bar{\lambda }}\) in Step 1. We claim that if we choose \({\bar{\lambda }}\) small enough depending only on \(n\) and \(A\) then
where \(r_3\ll \min \{r_2, r_1\}\) will depend only on \(n\) and \(A\). Indeed otherwise we can apply Step 1, (6.9), and Lemma 6.5 to get
where \(\varepsilon _2\ll \varepsilon _1\) and \(r_2\ll r_1\) are universal constants. If \({\bar{\lambda }}\) is chosen so that \( \bar{C}(n,A){\bar{\lambda }} \le \varepsilon _1/4\) this contradicts (6.27) and thus proves (6.19) with \(c_{\textrm{i}}\le \varepsilon _2\).
\(\bullet \) Step 3: We now prove the validity of (6.20). Assume indeed that
with \( \varepsilon _4, r_4\ll 1\) to be fixed only in term of \(n\) and \(A\). Then, by (6.1) and (6.11), for all \(s\in (r/4,r/2)\)
Moreover, by the co-area formula, there exists \(s\in (r/4,r/2)\) such that
By testing (4.4) with \(E{\setminus } B_s\) we get
which together with (6.29) and (6.30) and provided \(r_4\ll \varepsilon _4\ll 1\) implies
for a suitable universal constant \(C\). Choosing \(\varepsilon _4\) small with respect to \(\varepsilon _2\) we get
in contradiction with (6.28).
\(\square \)
7 Decay of the Excess
In this section we prove Theorem 1.2. First of all we recall the following definitions.
Notation
Let \(E\subset \mathbb {R}^n\) be a set of finite perimeter and \(x\in \mathbb {R}^n\).
-
The spherical excess of E at the point \(x\in \partial E\) is
$$\begin{aligned} \textbf{e}_E(x,r):=\inf _{\nu \in {\mathbb {S}}^{n-1}} \frac{1}{r^{n-1}} \int _{\partial ^{*}E\cap B_{r}(x)}\frac{|\nu _{E}(y)-\nu |^{2}}{2}d \mathcal {H}^{n-1}(y), \end{aligned}$$where \(\partial ^*E\) is the reduced boundary and \(\nu _E\) is the measure-theoretic outer unit normal to \(E\).
-
The normalized Dirichlet energy of E at a point x is
$$\begin{aligned} D_E(x, r)=\frac{1}{r^{n-1}} \int _{B_{r}(x)} |\nabla u_{E}|^{2}\,dy, \end{aligned}$$where \(u_E\) minimizes (1.9).
Since the seminal works of De Giorgi and Almgren, [1, 5] the proof of Theorem 1.2 is based on an excess decay theorem, namely:
Theorem 7.1
(Excess improvement). Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). There exists a universal constant \(C_{\textrm{dec}}>0\) such that for all \(\lambda \in (0,1/4)\) there exists \(\varepsilon _{\textrm{dec}}=\varepsilon _{\textrm{dec}}(n,A,\lambda )>0\) satisfying the following: if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)) and
then
As it is customary, the proof of the above theorem is based on an “harmonic approximation” technique. More precisely we will go through the following steps:
-
(i)
In the small excess regime, the boundary of \(E\) can be well approximated by the graph of a Lipschitz function \(f\) with Dirichlet energy bounded by the excess.
-
(ii)
If the excess and the normalized Dirichlet of \(u_E\) are small, then \(f\) is almost harmonic.
-
(iii)
Almost harmonicity of \(f\) implies closeness to an harmonic function \(g\) in the \(L^2\) topology. By classical estimates for harmonic functions, an \(L^2\) type of excess of \(g\) decays. This in turn implies the decay of the flatness \(\textbf{f}\) of \(E\), see (7.16) below for the definition.
-
(iv)
Via a Caccioppoli type inequality, the decay of the flatness can be transferred to the decay of the excess.
-
(v)
Via Proposition 6.3 (ii), the decay of the excess implies the decay of the normalized Dirichlet energy.
Usually, Step (i) is obtained by reproducing at most points and at all scale an height type bound for \(\partial E\) in the small excess regime and it thus relies on the scaling invariance of the problem studied. Step (ii) and (iv) are obtained by simple comparison arguments and Step (iii) is based on a compactness argument together with the classical regularity theory for harmonic functions.
In our situation the problem does not enjoy of a nice scaling behaviour, due to the global constraint \(\int _{\mathbb {R}^n}\rho _E\,dx=1\). However, the local estimates obtained in the previous section are exactly what we need to carry on the proof of Step (i), see Lemma 7.2 below. Since beside this fact, most of the proofs of the needed lemmas are almost verbatim adaptation of those present in the literature, we will not detail all of them and we will just focus on the key points and on the main differences.
7.1 Lipschitz approximation
In this subsection we prove the Lipschitz approximation lemma. Let us first fix a few notation that will be useful through all the section.
Notation
Let \(E\subset \mathbb {R}^n\) be a set of finite perimeter, \(x\in \mathbb {R}^{n}\), \(z\in \mathbb {R}^{n-1}\), \(\nu \in {}\mathbb {S}^{n-1}\) and \(r>0\).
-
We call \(\textbf{p}^{\nu }(x) :=x-(x\cdot {}\nu )\,\nu \) and \(\textbf{q}^{\nu }(x) :=(x\cdot {}\nu )\,\nu \), respectively, the orthogonal projection onto the plane \(\nu ^\perp \) and the projection on \(\nu \). For simplicity we denote \(\textbf{p}(x):=\textbf{p}^{e_{n}}(x)\) and \(\textbf{q}(x):=\textbf{q}^{e_{n}}(x)=x_{n}\).
-
We define the cylinder with center at x and radius r with respect to the direction \(\nu \) as
$$\begin{aligned} \textbf{C}(x,r,\nu ) :=\bigl \{y\in \mathbb {R}^{n}\,:\,|\textbf{p}^{\nu }(y-x)|<r\,\text{, }\,|\textbf{q}^{\nu }(y-x)|<r\bigr \}. \end{aligned}$$We write \(\textbf{C}_{r}(x):=\textbf{C}(x,r,e_{n})\), \(\textbf{C}_{r}:=\textbf{C}(0,r,e_{n})\) and \(\textbf{C}:=\textbf{C}_{1}\).
-
We denote the (\(n-1\))-dimensional disk centered at \(z\) and of radius \(r\) by
$$\begin{aligned} \textbf{D}_{r}(z):=\bigl \{y\in {}\mathbb {R}^{n-1}: |y-z|<r\bigr \}. \end{aligned}$$For simplicity we write \(\textbf{D}_{r}=\textbf{D}(0,r)\) and \(\textbf{D}=\textbf{D}(0,1)\).
-
The cylindrical excess in a direction \(\nu \in {\mathbb {S}}^{n-1}\) is defined as
$$\begin{aligned} \textbf{e}_{E}(x,r,\nu ) =\frac{1}{r^{n-1}}\int _{\textbf{C}(x,r,\nu {})\cap {}\partial ^{*}E}\frac{|\nu _{E}(y)-\nu |^{2}}{2}\,\,d\mathcal {H}^{n-1}(y)\,, \end{aligned}$$so that
$$\begin{aligned} \textbf{e}_{E}(x,r)\le \inf _{\nu \in S^{n-1}} \textbf{e}_{E}(x,r,\nu ). \end{aligned}$$(7.2)
The following height bound is crucial in the sequel. Note that it does not require any minimality property on \(E\), only the validity of inequality (7.3) at all scales.
Lemma 7.2
Let \(C>0\). Then there exists an increasing function \(\omega _C:(0,1)\rightarrow {}\mathbb {R}\) with \(\omega _C(0^{+})=0\) depending only on \(C\) such that if \(E\subseteq {}\mathbb {R}^{n}\) is of finite perimeter in \(\textbf{C}(x,2r)\) satisfying the following properties:
-
(i)
\( x\in \partial E\),
-
(ii)
for all \(y\in \partial E\) and \(s\) such that \(B_{s}(y)\subset {}\textbf{C}(x,2r)\)
$$\begin{aligned} \frac{1}{C}\le \frac{|E\cap B_{s}(y))|}{|B_s(y)|}\le \Bigl (1-\frac{1}{C}\Bigr ),\qquad P(E,B_{s}(y))\le C s^{n-1}, \end{aligned}$$(7.3)
then
Remark 7.3
Note that the (7.3) and the relative isoperimetric inequality imply
for all \(y\in \partial E\) and \(s\) such that \(B_{s}(y)\subset {}\textbf{C}(x,2r)\) and for a suitable constant \(C'=C'(C,n)\).
Proof
Note that the assumptions are scaling and translation invariant, hence we can assume that \(x=0\) and \(r=1\). For every \(t\in {}(0,1)\) let
One can easily show that this is a compact class of sets (with respect to the \(L^1\) topology). Moreover \(\mathcal {M}_{t_1}\subset \mathcal {M}_{t_2}\) for \(t_1\le t_2\). For every \(E\subseteq {}\mathbb {R}^{n}\) let us call
Define the functions \(\omega _{1},\omega _{2},\omega _{3}:(0,1)\rightarrow {}\mathbb {R}\) as
Let \(\omega _{C}:=\max \{\omega _{1},\omega _{2},\omega _{3}\}\). Notice that \(\omega _{ C}\) is increasing since it is the maximum of increasing functions and by definition it satisfies (7.4), (7.5), and (7.6). Let us prove that \(\omega _{C}(0^{+})=0\). Assume by contradiction that \(\lim _{t\rightarrow {}0^{+}}\omega _{C}(t)>0\) then there exist a sequence \(t_{k}\searrow {}0\) and \(L>0\) such that \(\omega _{C}(t_{k})>L\) for all \(k\). We now distinguish three cases.
Case 1: Up to subsequences \(\omega _C(t_{k})=\omega _{1}(t_{k})\) for every \(k\in \mathbb {N}\). For every k there exists \(E_{k}\in \mathcal {M}_{t_{k}}\) such that \(h_{E_{k}}\ge {}L\). By (7.3) up to subsequences there exists a set of finite perimeter \(E\subseteq {}\mathbb {R}^{n}\) such that \(E_{k}\cap {}\textbf{C}_{r}\rightarrow {}E\cap \textbf{C}_{r}\) whenever \(r<2\) and
Now take \(\textbf{C}_{s}\subset {}\textbf{C}_{r}\subset {}\textbf{C}_{2}\) with \(s>1\). By the lower semicontinuity of the excess we obtain that \(\textbf{e}_E(0,s,e_{n})=0\). Moreover let \(\{x_{k}\}_{k\in {}\mathbb {N}}\) be a sequence such that \(x_{k}\in {}\partial {}E_{k}\cap {}\textbf{C}\) and let us assume that \(x_k\rightarrow x \). By (ii) one easily deduce that
which implies that \( x\in \partial E\) (recall that we are working with the representative of \(E\) such that \(\partial E={{\,\textrm{spt}\,}}D\textbf{1}_{E}\)). This in particular implies that \(0\in \partial E\). Since \(\textbf{e}_E(0,s,e_{n})=0\) we get \(E=\{x: \textbf{q}x\le 0\}\) in \({\textbf{C}}_2\). Let \(x_k\in \partial E_k\) be such that \(|\textbf{q}x_{k}|\ge {}L\) and let \({\bar{x}}\) be such that, up subsequence, \(x_k\rightarrow {\bar{x}}\), clearly \(|\textbf{q}{\bar{x}}|\ge L\), however, by the previous discussion, \({\bar{x}} \in \partial E=\{x: \textbf{q}x=0\}\), a contradiction.
Case 2: Up to subsequences \(\omega _C(t_{k})=\omega _{2}(t_{k})\) for every \(k\in \mathbb {N}\). Hence for every k there exists \(E_{k}\in \mathcal {M}_{t_{k}}\) such that \(g_{E_{k}}\ge {}L\). Note that if \(\ell \in {}(0,L)\) then
Hence (7.10) implies that, up to extracting a subsequence,
either
or
Indeed if by contradiction (7.11) does not hold then for every \(j\gg 1 \) there exists \(k_{j}\in \mathbb {N}\) such that \(\textbf{q}x\le \frac{1}{j}\) for every \(x\in {}\textbf{C}\cap {}\partial E_{k_{j}}\). By (7.10), since \(\{\textbf{q}x>\frac{1}{j}\}\) is connected, then necessarily \(\textbf{C}\cap {}E_{k_{j}}\supseteq {}\{\textbf{q}x>\frac{1}{j}\}.\) By letting \(j\rightarrow {}+\infty \) we get (7.12).
By arguing as in Case 1, we have that \(E_k\rightarrow \{\textbf{q}x\le 0\}\), hence (7.12) cannot hold. Hence (7.11) holds, which is again in contradiction with Case 1.
Case 3: Up to subsequences \(\omega _C(t_{k})=\omega _{3}(t_{k})\) for every \(k\in \mathbb {N}\). This case can be ruled out by arguing as in Case 2 (or by working with \(E^c\) which satisfies the same assumption of \(E\)). Therefore \(\omega _C\) is the required function. \(\square \)
Once the “qualitative” height bound has been established, one can repeat verbatim the proof of the Lipschitz approximation in [19, Theorem 2.37] to deduce that in the small excess regime \(\partial E\) is mostly covered by the graph of a Lipschitz function. Note that in the cited reference one has an explicit formula for \(\omega _C\) (namely \(\omega _C(t)\lesssim t^{1/(n-1)}\)) however this plays at all no role in the proof, see also [7, Lemma 4.3]. Note also that the lower perimeter bound \(P(E, B_s(y)) > rsim s^{n-1}\) needed in the proof is ensured by Remark 7.3.
Lemma 7.4
(Lipschitz approximation I). Let \(C>0\). Then there exist \(\varepsilon _{\textrm{L}}=\varepsilon _{\textrm{L}}(n,C)>0\) and \(C_{\textrm{L}}=C_{\textrm{L}}(n,C)>0\) with the following property: if \(E\) is a set of finite perimeter in \(\textbf{C}(x,4r)\) satisfying \(x\in \partial E\),
and
then there exists a function \(f:\mathbb {R}^{n-1}\rightarrow {}\mathbb {R}\) with
such that, defining \(\Gamma _{f}:=x+\{(z,f(z))\,:\,z\in {} \textbf{D}_r\),
where \(\omega _C\) is the function in Lemma 7.2.
Note that if E is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), the assumption of the Lipschitz approximation lemma are satisfied with some universal constant \(C\) by (6.9) and (6.19). Hence we can cover most of its boundary by the graph of a Lipschitz function \(f\). Moreover a simple comparison argument implies that the laplacian of \(f\) is small in a suitable negative norm. More precisely we have the following:
Proposition 7.5
(Lipschitz approximation II). Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exist universal constants \(\varepsilon _{\textrm{lip}}\), \(C_{\textrm{lip}}\) and a “universal” increasing function (i.e. depending only on \(n\) and \(A\)) \(\omega _{\textrm{lip}}\) with \(\omega _{\textrm{lip}}(0+)=0\) such that if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), \(x\in \partial E\) and
then there exists a function \(f\) satisfying (7.13) and (7.14) with \(C_L\) and \(\omega _C\) replaced by \(C_{\textrm{lip}}\) and \(\omega _{\textrm{lip}}\) respectively. Moreover
for every \(\varphi \in C^{1}_{c}(\textbf{D}_{r})\).
Proof
Upper and lower volume and perimeter estimates established in (6.10), (6.20) and (6.19) ensure that in every cylinder \(\textbf{C}(x,4r)\) centered at \(x\in \partial E\), \(E\) satisfies the assumption of Lemma 7.4 with a universal constant \(C=C(n,A)\), provided \(r\) is smaller than a universal radius \({\bar{r}}\). This proves the first part of the proposition. The second part follows by plugging in (4.6) \(F:=\psi _t(E)\), \(\psi _t(x)=x+t\varphi (\textbf{p}x)e_n\), and by performing the same computations done in [19, Proof of Theorem 23.7]. \(\square \)
7.2 The Caccioppoli inequality
By (7.15) one will deduce that under the assumption of Theorem 7.1, there exists a harmonic function \(h:\textbf{D}_r\rightarrow \mathbb {R}\) which is close to \(f\) in \(L^2\). This closeness, together with the regularity theory for harmonic function will allow to deduce the decay of an \(L^2\) type excess of \(f\) and thus for \(E\). In order to pass from the \(L^2\) excess to the classical one, one needs to establish a Caccioppoli type inequality. To this end we recall the following definition.
Definition 7.6
Given a set \(E\) we define the flatness of E at the point \(x\in \mathbb {R}^{n}\), at the scale \(r>0\) with respect to the direction \(\nu \in \mathbb {S}^{n-1}\) as
Proposition 7.7
(Caccioppoli inequality). Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). Then there exist universal constants \(\varepsilon _{\textrm{cac}}\), and \(C_{\textrm{cac}}\) such that if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), \(x\in \partial E\), and
then
Proof
The proof can be obtained by verbatim repeating the arguments of [19, Chapter 24] and using (4.6) instead of the perimeter minimality in the comparison estimate of [19, Equation 24.48].
\(\square \)
7.3 Dirichlet improvement
We now show that in the small excess regime there is fixed scale decay of the Dirichlet energy.
Proposition 7.8
(Decay of the Dirichlet energy). Let \(A>0\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). There exists a universal constant \(C_{\mathrm dir}>0\) such that for all \(\lambda \in (0,1/2)\) there exists \(\varepsilon _{\textrm{dir}}=\varepsilon _{\textrm{dir}}(n,A, \lambda )\) satisfying the following: if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), \(x\in \partial E\) and
then
Proof
By (6.9) and (6.19) we have that if \(r\) is universally small we can apply Lemma 7.2 to \(E\) in \(\textbf{C}(x,r)\) to obtain a universal modulus of continuity \(\omega \) such that for \(H=\{y: \textbf{q}(y-x)\le 0\}\),
By Proposition 6.3 (ii) (applied in \(B_{r/2}(x)\)) and the above inequality, for all \(\lambda \in (0,1/2)\) we can choose \(\varepsilon _{\textrm{dir}}=\varepsilon _{\textrm{dir}}(n, A, \lambda )\) sufficiently small such that
where in the first inequality we have also exploited (2.4) and in the second the obvious inequality \(D_E(x,r/2)\le 2^{n-1} D_E(x,r)\). This concludes the proof. \(\square \)
7.4 Excess improvement
In this section we prove Theorem 7.1.
Proof (Proof of Theorem 7.1)
We claim that there exists a universal constant \(C_{\text {exc}}\) such that for all \(\lambda \in (0,1/8)\) there exists \( \varepsilon _{\text {exc}}=\varepsilon _{\text {exc}}(n, A,\lambda )\) satisfying the following: for all minimizers of (\(\mathcal {P}_{\beta ,K,Q,R}\)) with \(\beta , K, Q\) controlled by \(A\) and \(R\ge 1\) if \(x\in \partial E\) the following holds
Note that the above claim, combined with Proposition 7.8 immediately implies the conclusion of the theorem. Let us assume hence that there exist \(\lambda \in (0,1/8)\) a sequence of minimizers \(E_k\subset B_{R_k}\) with parameters \(\beta _k, K_k, Q_k\) controlled by \(A\), radii \(r_k\) and points \(x_k\in \partial E_k\) such that
but
for a suitable universal constant \(C_{\textrm{exc}}\). Note that up to translating and rotating we can assume that \(x_k=0\) and that
We apply Proposition 7.5 to each \(E_{k}\). Hence, there exists a sequence of 1-Lipschitz functions \(f_{k}:\mathbb {R}^{n-1}\rightarrow {}\mathbb {R}\) such that
Let us set
By the Poincaré–Wirtinger inequality and (7.20b),
Hence there exists \(g\) in \(W^{1,2}(\textbf{D}_{\frac{1}{2}})\) such that \(g_{k}\rightharpoonup g\) weakly in \(W^{1,2}(\textbf{D}_{\frac{1}{2}})\) to some g and strongly in \(L^{2}(\textbf{D}_{\frac{1}{2}})\). Moreover, by (7.20d), for all \(\varphi \in C_c^1(\textbf{D}_{\frac{1}{2}})\)
where \(\varphi _{r_k}(z)=r_k\varphi (z/r_k)\in C_c^1(\textbf{D}_{\frac{r_k}{2}})\) satisfies \(\Vert \nabla \varphi _{r_k}\Vert _{\infty }=\Vert \nabla \varphi \Vert _{\infty }\). Hence \(g\) is harmonic. By the mean value property and (7.21)
By Taylor expansion,
If \(2\lambda \in (0,1/4)\) we can integrate the above inequality to get
Recall that, by the mean value property of harmonic functions, for every \(r\le {}\frac{1}{2}\) we have
Hence,
which, by the definition of \(g_k\) and changing variables implies
Let us define
and note that, by (7.20b), Jensen inequality and (7.20c)
Since the \(f_{k}\)’s are 1-Lipschitz, (7.24) implies
and thus
On the other hand, (7.20a), Lemma 7.2 and (7.25) imply
Combining (7.26) and (7.27) we deduce that
On the other hand, by the perimeter density estimates (6.9) and (7.25)
Hence we can apply Proposition 7.7 in \(B_{4\lambda r_k}\) to get that
where in the first inequality we have used (7.2). Furthermore, by Proposition 7.8 applied in \(B_{r_k}\) we have
Combining (7.28), (7.29) and (7.30) we thus infer that
in contradiction with (7.19) if \(C_{\textrm{exc}}\) is chosen big enough depending only on \(n\) and \(A\). \(\square \)
8 Proof of Theorems 1.1 and 1.2
In this section we prove our main theorems. Theorem 1.2 is an immediate consequence of the following slightly more general statement.
Theorem 8.1
Let \(A>0\) \(\vartheta \in (0,1)\), and let \(\beta , K, Q\) be controlled by \(A\) and \(R\ge 1\). There exist constants \(C_{\textrm{reg}}(n, A, \theta )>0\) and \(\varepsilon _{\textrm{reg}}=\varepsilon _{\textrm{reg}}(n, A, \theta )>0\) such that, if \(E\) is a minimizer of (\(\mathcal {P}_{\beta ,K,Q,R}\)), \(x\in \partial E\) \(r>0\) and \(\nu \in S^{n-1}\) satisfy
then there exists a \(C^{1,\vartheta } \) function \(f:\mathbb {R}^{n-1}\rightarrow \mathbb {R}\) withFootnote 4
such that
Proof
Given \(\vartheta \in (0,1)\) we fix \({\bar{\lambda }} \in (0,1/8)\) be such that
and we let \({\bar{\varepsilon }}\) be the corresponding \(\varepsilon _{\textrm{dec}}\) in Theorem 7.1. Note that \({\bar{\varepsilon }}\) depends only on \(n\), \(A\) and \(\vartheta \). We now choose \(\varepsilon _{\textrm{reg}}\) so that for all \(y\in \partial E\cap B_{r}(x)\)
Hence we can apply Theorem 7.1 and (8.1) to deduce that for all \( y\in \partial E\cap B_{r/2}(x)\),
Iterating we get
which implies
By classical arguments this together with the density estimates (6.9) and (6.19), implies that for all \(y\in B_{r}(x)\cap \partial E\) there exists \(\nu _{y}\) such that
and
The last two display yield the desired conclusion, see for instance [19, Theorem 26.3] or [13, Theorem 4.8]. \(\square \)
We can now prove Theorem 1.1 by following the arguments in [12].
Proof (Proof of Theorem 1.1)
By Theorem 1.2, if we set
then \(\partial E{\setminus } \Sigma _E\) is a \(C^{1,\vartheta }\) manifold for all \(\vartheta \in (0,1/2)\). Hence we will conclude the proof if we show that
for some \(\eta =\eta (n,B)>0\). Recall that by Lemma 6.1, \(|\nabla u_E|^{2p}\in L_{\textrm{loc}}^1\) for some \(p=p(n,B)>1\) By Hölder inequality,
hence, by [11, Theorem 2.10], \(\mathcal {H}^{n-p}(\Sigma ^1_{E})=0\). We now show that
for all \(\alpha >n-8\) which clearly concludes the proof. Let us fix \(\alpha >n-8\) and assume the contrary. By [13, Proposition 11.3], there will be a point
and a sequence \(r_k\rightarrow 0\) such that
where \(\mathcal {H}_{\infty }^s\) is the infinity Hausdorff pre-measure. Let us set \(E_{k}=(E-x)/r_k\) and note that by (6.9) and the above equation
for all \(s>0\) and
where \(\Sigma ^2_{E_k}=(\Sigma _{E}^2-x)/r_k\). Up to subsequences, \(E_k\rightarrow F\). We claim that \(F\) is a local minimizer of the perimeter. Indeed let \(G\Delta F\Subset B_{s}\). By averaging we can choose \(t\in (s,2s)\) such that
With this choice, we define \(G_k:=(x+r_kG)\cap B_{t r_k}(x)\cup (E{\setminus } B_{tr_k}(x))\) and we note that \(E\Delta G_k\Subset B_{2s r_k}(x)\). Hence by (4.6) and classical computations
which implies the desired minimality property. Moreover, by using \(G=F\) we also deduce that \(P(E_k,B_s)\rightarrow P(F, B_s)\) for almost all \(s>0\).
Let now \(\Sigma _F\) be the singular set of \(F\), and recall that, by the regularity theory for set of minimal perimeter [19, Part III], \(\mathcal {H}^{\alpha }(\Sigma _{F})=\mathcal {H}_\infty ^{\alpha }(\Sigma _{F})=0\). Hence by the definition of Hausdorff measure, for all \(\delta >0\) there exists an open set \(U_\delta \) such that
We claim that there exists \(k=k_\delta >0\) such that \(\Sigma ^2_{E_k}\cap B_1\subset U_{\delta }\) which will be in contradiction with (8.2) if \(\delta \) is chosen small enough. Assume the claim is false, hence there is a sequence of points \(\Sigma ^2_{E_k}\cap B_1 \ni y_k\rightarrow {\bar{y}}\in {\overline{B}}_1\) with \({{\,\textrm{dist}\,}}({\bar{y}}, \Sigma _F)>0\). It is easy to see that, by the lower perimeter estimates (6.19), \({\bar{y}}\in \partial F\). Hence by regularity, for all \(\varepsilon >0\) there exists \(r>0\) such that
By perimeter convergence, this implies that, for \(k\) large
Choosing \(\varepsilon \ll 1\) we can apply Theorem 1.2 to deduce that \(x+r_ky_k\notin \Sigma _{E}^2\), i.e. \(y_k\notin \Sigma ^2_{E_k}\). This final contradiction concludes the proof.
\(\square \)
Notes
Actually in [20], the energy (1.4) is written as
$$\begin{aligned} \sigma P(E)+Q^{2}\Bigg \{\frac{\beta _{0}}{2}\int _{\mathbb {R}^{n}}a_{E}|\nabla {u}|^{2}\,dx+K\int _{E}\rho ^{2}\,dx\Bigg \}, \end{aligned}$$for suitable parameters \(\sigma \) and \(\beta _{0}\) and the relation (1.6) is replaced by \(-\beta _{0}{{\,\textrm{div}\,}}\big (a_{E}\,\nabla {u}\big )=\rho \). However it is easy to see that the parameters \(\sigma \) and \(\beta _{0}\) can be absorbed in \(Q\) and \(K\), see also the discussion below.
Note that this is possible only if \(\beta \) is large compared to \(1\), see the discussion at the end of this introduction and Remark 4.6.
Here and in the sequel we will always work with the representative of \(E\) such that
$$\begin{aligned} \partial E=\Biggl \{x: \frac{|B_r(x){\setminus } E|}{|B_r(x)|} \cdot \frac{|B_r(x)\cap E|}{|B_r(x)|}>0\quad \text {for all } r>0\Biggr \}, \end{aligned}$$see [19, Proposition 12.19].
Here
$$\begin{aligned}{}[\nabla f]_{\vartheta /2}:=\sup _{x\ne y } \frac{|\nabla f(x)-\nabla f(y)|}{|x-y|^\frac{\vartheta }{2}}. \end{aligned}$$
References
Almgren, F.J.J.: Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure. Ann. Math. 87, 321–391 (1968)
Almgren, F.J.J.: Existence and Regularity Almost Everywhere of Solutions to Elliptic Variational Problems with Constraints. Mem. Amer. Math. Soc., 4 (1976), pp. viii+199
Ambrosio, L., Buttazzo, G.: An optimal design problem with perimeter penalization. Calc. Var. Partial Differ. Equ. 1, 55–69 (1993)
Cordes, H.O.: Über die erste Randwertaufgabe bei quasilinearen Differentialgleichungen zweiter Ordnung in mehr als zwei Variablen. Math. Ann. 131, 278–312 (1956)
De Giorgi, E.: Frontiere Orientate di Misura Minima, Seminario di Matematica della Scuola Normale Superiore di Pisa. Editrice Tecnico Scientifica, Pisa (1960)
De Philippis, G., Figalli, A.: A note on the dimension of the singular set in free interface problems. Differ. Integral Equ. 28, 523–536 (2015)
De Philippis, G., Maggi, F.: Regularity of free boundaries in anisotropic capillarity problems and the validity of Young’s law. Arch. Ration. Mech. Anal. 216, 473–568 (2015)
Deserno, M.: Rayleigh instability of charged droplets in the presence of counterions. Eur. Phys. J. E 6, 163–168 (2001)
Doyle, A., Moffett, D., Vonnegut, B.: Behavior of evaporating electrically charged droplets. J. Colloid Sci. 19, 136–143 (1964)
Duft, D., Achtzehn, T., Müller, R., Huber, B.A., Leisner, T.: Rayleigh jets from levitated microdroplets. Nature 421, 128 (2003)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions, Textbooks in Mathematics. CRC Press, Boca Raton (2015)
Fusco, N., Julin, V.: On the regularity of critical and minimal sets of a free interface problem. Interfaces Free Bound. 17, 117–142 (2015)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation, vol. 80 of Monographs in Mathematics. Birkhäuser Verlag, Basel (1984)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co., Inc., River Edge, NJ (2003)
Goldman, M., Novaga, M., Ruffini, B.: Existence and stability for a non-local isoperimetric model of charged liquid drops. Arch. Ration. Mech. Anal. 217, 1–36 (2015)
Goldman, M., Novaga, M., Ruffini, B.: On minimizers of an isoperimetric problem with long-range interactions under a convexity constraint. Anal. PDE 11, 1113–1142 (2018)
Goldman, M., Ruffini, B.: Equilibrium shapes of charged droplets and related problems: (mostly) a review. Geom. Flows 2, 94–104 (2017)
Lin, F.-H.: Variational problems with free interfaces. Calc. Var. Partial Differ. Equ. 1, 149–168 (1993)
Maggi, F.: Sets of Finite Perimeter and Geometric Variational Problems: an Introduction to Geometric Measure Theory, vol. 135 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, (2012)
Muratov, C.B., Novaga, M.: On Well-Posedness of Variational Models of Charged Drops. Proc. A., 472 (2016)
Muratov, C.B., Novaga, M., Ruffini, B.: On equilibrium shape of charged flat drops. Commun. Pure Appl. Math. 71, 1049–1073 (2018)
Rayleigh, J.: On the equilibrium of liquid conducting masses charged with electricity. Lond Edinb Dublin Philos Mag J Sci 14, 184–186 (1882)
Richardson, C.B., Pigg, A.L., Hightower, R.L.: On the stability limit of charged droplets. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 422, 319–328 (1989)
Stone, H.A., Lister, J.R., Brenner, M.P.: Drops with Conical Ends in Electric and Magnetic Fields (1998)
Tamanini, I.: Boundaries of Caccioppoli sets with Hölder-continuous normal vector. J. Reine Angew. Math. 334, 27–39 (1982)
Taylor, G.: Disintegration of water drops in electric field. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 280, 383–397 (1964)
Thaokar, R.M., Deshmukh, S.D.: Rayleigh instability of charged drops and vesicles in the presence of counterions. Phys. Fluids 22, 034107 (2010)
Wilson, C.T.R., Taylor, G.I.: The bursting of soap-bubbles in a uniform electric field. Math. Proc. Camb. Philos. Soc. 22, 728–730 (1925)
Zeleny, J.: Instability of electrified liquid surfaces. Phys. Rev. 10, 1–6 (1917)
Acknowledgements
The work of G. D. P. and of G. V. is supported by the INDAM-Grant “Geometric Variational Problems”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Philippis, G.d., Hirsch, J. & Vescovo, G. Regularity of Minimizers for a Model of Charged Droplets. Commun. Math. Phys. 401, 33–78 (2023). https://doi.org/10.1007/s00220-022-04565-w
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04565-w