Abstract
This paper addresses the ill-posedness of the classical Rayleigh variational model of conducting charged liquid drops by incorporating the discreteness of the elementary charges. Introducing the model that describes two immiscible fluids with the same dielectric constant, with a drop of one fluid containing a fixed number of elementary charges together with their solvation spheres, we interpret the equilibrium shape of the drop as a global minimizer of the sum of its surface energy and the electrostatic repulsive energy between the charges under fixed drop volume. For all model parameters, we establish the existence of generalized minimizers that consist of at most a finite number of components “at infinity”. We also give several existence and non-existence results for classical minimizers consisting of only a single component. In particular, we identify an asymptotically sharp threshold for the number of charges to yield existence of minimizers in a regime corresponding to macroscopically large drops containing a large number of charges. The obtained non-trivial threshold is significantly below the corresponding threshold for the Rayleigh model, consistently with the ill-posedness of the latter and demonstrating a particular regularizing effect of the charge discreteness. However, when a minimizer does exist in this regime, it approaches a ball with the charge uniformly distributed on the surface as the number of charges goes to infinity, just as in the Rayleigh model. Finally, we provide an explicit solution for the problem with two charges and a macroscopically large drop.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There has recently been a growing interest in geometric variational problems featuring a competition of attractive and repulsive interactions [6]. A prototypical model giving rise to the problems of this kind is the celebrated Gamow’s liquid drop model of the atomic nucleus [15], in which a competition of the cohesive action of the surface tension with the Coulombic repulsion gives rise to delicate questions about the existence and the shape of minimizers, etc. There are now many studies of this model and its various generalizations and extensions that are too numerous to list here (for some recent works, see, e.g., [13, 31, 34] and references therein).
We focus on a closely related problem arising from the classical model introduced by Lord Rayleigh that describes the energetics of a perfectly conducting charged liquid drop [29] (for the technical details of the model, see Sect. 2). In 1882, Rayleigh demonstrated that a spherical liquid drop becomes linearly unstable with respect to asymmetric distortions of its shape when the amount of charge on the droplet exceeds a critical value called the Rayleigh charge. Such an interfacial instability driven by the electric field was first observed experimentally by Zeleny [41, 42] and subsequently studied by great many authors (see, e.g., [1, 9, 10, 17, 21]), not least because of its important applications to analytical chemistry [16]. Surprisingly, however, the linear stability of the charged drop below the critical charge in the Rayleigh model was recently shown not to imply stability of a spherical drop with respect to arbitrarily small perturbations of its shape [33]. In fact, the Rayleigh model leads to a problem that is variationally ill-posed [18, 20, 33]. Mathematically, this is because the regularizing action of the perimeter is not sufficient to control the electric charges at small scales [19]; Physically, it manifests itself in the formation of singularities in the form of Taylor cones and jets [12, 26, 37].
The variational ill-posedness of the above problem indicates that the Rayleigh model does not contain all the physics that is necessary to describe the equilibrium shapes of conducting charged drops. Several regularizing mechanisms have, therefore, been proposed, including thermal effects that restore existence of minimizers under certain conditions due to the spreading of the charges into a thin Debye layer beneath the droplet surface [7, 32, 33]. Nevertheless, in some situation such as cryogenic liquids or nanoscale droplets, in which the thermal motion of free charges is suppressed, another physical mechanisms may be necessary. One such mechanism relies on the fundamental discreteness of the electric charges [11, 25, 26, 28]. In this paper, we explore this possibility in the special case of dielectrically matched fluids, in which there is no dielectric contrast between the droplet and its surroundings (again, see Sect. 2 for technical details).
For a model that keeps track of the positions of individual charges inside the droplet, we establish existence of generalized minimizers, a suitable notion of minimality for this kind of problems that accounts for a possibility of components that are infinitely far apart, first introduced in [27]. We also establish the regularity and connectedness of the components of the generalized minimizers. We then proceed to investigate under which conditions classical minimizers, consisting of only a single component, are possible in the physically important regime of sufficiently strong repulsion between the charges in comparison to the surface tension. Here we establish a sharp existence/non-existence criterion in the case of many charges, which yields a critical charge for existence that is significantly smaller than the Rayleigh charge. We also establish some structural information about the locations of the charges when the minimizers do exist and show that in a suitable continuum limit within the existence range the minimizer converges in an appropriate sense to a ball with the charges uniformly distributed on its surface. Lastly, we present an explicit solution of the variational problem in the case of only two point charges.
Our paper is organized as follows. In Sect. 2, we introduce the model considered in this paper and discuss the relevant parameter ranges. In Sect. 3, we state the main results of our paper. In Sect. 4, we present the proof of Theorem 3.2 that gives existence of generalized minimizers. In Sect. 5, we present the proofs of the existence result of Theorem 3.3, the non-existence result of Theorem 3.4, and the asymptotic characterization of minimizers with many charges in Theorem 3.5. Lastly, in Sect. 6 we present the analysis of the two-charge problem that yields Theorem 3.6. This section also gives an explicit characterization of the energy minimizers.
2 Model
We consider a system consisting of two immiscible fluids with matched dielectric constants, i.e., both fluids have the relative dielectric constant equal to \(\varepsilon _d\). Because of this, we do not need to worry about the shape dependent dielectric polarization of the liquid drop in the presence of charges, which would otherwise considerably complicate the analysis [7]. In what follows, we simply refer to the first fluid of finite volume surrounded by the second ambient fluid as the liquid drop. A notable example of such a fluid system is liquid helium in equilibrium with its vapor, which has been used to investigate the phenomenon of Wigner crystallization of charges at the liquid–vapor interface and is known to undergo charge-driven interfacial instabilities [2, 22, 23, 38]. More recently, charge-containing helium nanodroplets have been considered as a host medium for a variety of applications in molecular spectroscopy and quantum chemistry [5].
At the level of the continuum, the equilibrium shape of a charged, perfectly conducting liquid drop may be investigated with the help of a model that goes back over 140 years to Lord Rayleigh [29]. In this model, an equilibrium drop is viewed as a minimizer (at least local) of the energy
where \(\Omega \subset {\mathbb {R}}^3\) is the set occupied by the drop that carries the charge Q, with the volume of the drop \(|\Omega | = m\). Here, \(\sigma \) is the surface tension of the liquid interface, \(P(\Omega )\) is the perimeter of the set \(\Omega \) defined by
which is a suitable measure-theoretic generalization of the surface measure for smooth sets, and C is the electrostatic capacity defined by
where \(\varepsilon _0\) is the permeability of vacuum, and the minimization is carried out over probability measures \(\mu \) supported on \(\Omega \). However, as was already mentioned, this model was recently shown to be variationally ill-posed [18, 33]. Thus, a regularization of the electrostatic problem is necessary to enable existence of even local energy minimizers in the natural classes of liquid configurations.
In this paper, we appeal to the discrete nature of electric charges as a possible physical regularizing mechanism [11, 25, 26, 28], while ignoring the entropic effects associated with thermal agitation of the charges (appropriate for nanoscale droplets or cryogenic fluids). This amounts to restricting the measures appearing in (2.3) to those associated with N point charges,
where \(x_i \in {\mathbb {R}}^3\) are the positions of the charges and \(\delta _{x_i}\) are the Dirac delta-measures centered at \(x_i\). Note that in doing so we must exclude the self-interaction of charges. Setting \(x \not = y\) in the integral in (2.3) then yields the following expression for the energy:
Here the set \(\Omega \subset \mathbb {R}^3\) again denotes the domain occupied by the liquid drop, the discrete set \(X = \cup _{i=1}^N \{ x_i \} \subset \mathbb {R}^3\) specifies the positions of N point charges, and e is the elementary charge (positive), so that \(|Q| = N e\). For simplicity, we assume a single species of monovalent ions dissolved in the liquid drop, with the ambient fluid a perfect dielectric.
Notice that every charge in the liquid drop strongly attracts a cluster of liquid (solvent) molecules forming a solvation shell around the charge (ion). We model this effect by requiring that the liquid drop contains a ball of radius \(r_0\), called the solvation radius, around each charge [25], i.e., we have \(B_{r_0}(x_i) \subset \Omega \) for each \(i = 1, \ldots , N\), with \(B_{r_0}(x_i)\) mutually disjoint. The solvation radius of simple monoatomic ions in polar solvents like water usually measures to fractions of a nanometer.
To assess the relative strengths of the two terms in the energy and to carry out an appropriate non-dimensionalization, we introduce the molecular length scale
where \(k_B T\) is the temperature in the energy units, above which the interface may be considered as sharp and well defined in the presence of thermal noise. For low molecular weight liquids at room temperature, \(r_\sigma \) is on the order of a fraction of a nanometer. This scale may be compared with the Bjerrum length
which measures the scale at which the Coulombic energy of a pair of elementary charges in a dielectric liquid is comparable to the thermal energy. In polar solvents at room temperature, this length is on the order of a few nanometers. Rescaling lengths with \(r_\sigma \) and measuring the energy in the units of \(k_B T\) then yields \(\mathcal E_N(r_\sigma \Omega , r_\sigma X) = k_B T E_{\rho ,\lambda ,N} (\Omega , X)\), where
now with \(B_\rho (x_i) \subset \Omega \) disjoint, where we introduced the dimensionless parameters
From the basic physical considerations already mentioned, for typical liquids at room temperature both \(\rho \) and \(\lambda \) are expected to be of order one [25]. For example, for small monovalent ions in ethanol (a common solvent for electrospray) we have \(\rho \approx 1\) and \(\lambda \approx 5\). In contrast, for liquid helium at \(T = 2\) K, for which \(r_\sigma \approx 0.3\) nm and \(r_B \approx 8 \, \mu \)m we get \(\rho \sim 1\) and \(\lambda \sim 10^6 \gg 1\). As a point of reference, let us note that for the parameters of liquid helium above our Theorem 3.6 yields existence of an equilibrium configuration only for droplets whose volume corresponds to a ball of radius greater than \(\sim 10 \, \mu \)m even with just two point charges.
The case of the main physical interest corresponds to that of the volume of the charged drop becoming macroscopically large (\(m \rightarrow \infty \)), while the number of charges N simultaneously tends to infinity with a suitable rate. To study this regime, we can carry out another rescaling in which the volume is instead normalized to a constant while the radius of the solvation sphere vanishes. Introducing the parameter \(\varepsilon > 0\) that will eventually be sent to zero, we have \(E_{\rho ,\lambda ,N} (\varepsilon ^{-1} \rho \Omega , \varepsilon ^{-1} \rho X) = \varepsilon ^{-2} \rho ^2 E_\varepsilon (\Omega , X)\), where
\(B_\varepsilon (x_i) \subset \Omega \) are disjoint for all \(1 \le i \le N_\varepsilon \), and \(\gamma := \lambda / \rho ^3\) is a single dimensionless parameter that characterizes the physical properties of the liquid and is kept fixed throughout the analysis. The considerations following (2.9) motivate us to focus on the physically most relevant regime of \(\gamma \gtrsim 1\). The assumptions on the dependence of \(N_\varepsilon \rightarrow \infty \) on \(\varepsilon \rightarrow 0\) that yield information about the equilibrium shape of the charged drops turn out to be non-trivial and will be specified in the ensuing sections.
3 Main Results
We now state the main results of our paper concerning the minimizers of the energy \(E_{\rho ,\lambda ,N}\) and its rescaled version \(E_\varepsilon \). We begin by defining the admissible class \({\mathcal {A}}_{m, N, \rho }\) of configurations consisting of a set of finite perimeter \(\Omega \subset \mathbb {R}^3\) of volume \(m > 0\) and \(N \in \mathbb N\) non-overlapping charges of radius \(\rho > 0\) contained in \(\Omega \), whose centers are collected into a discrete set \(X \subset \mathbb {R}^3\):
An example of an admissible configuration is shown in Fig. 1. Notice that the set \(\cup _{i=1}^N B_\rho (x_i)\) representing the charges is assumed to be contained inside the set \(\Omega \) in the measure theoretic sense.
We would like to investigate under which conditions the energy \(E_{\rho , \lambda , N}\) admits a minimizer in the class \({\mathcal {A}}_{m, N, \rho }\). Notice that the question of existence of such minimizers is far from obvious because of the possibility of splitting of the set \(\Omega \) into disjoint pieces that carry the charges apart to lower the Coulombic energy at the expense of increasing the interfacial energy. This issue is well known in the studies of geometric variational problems with competing interactions [6]. In the context of Gamow’s liquid drop model, it was shown that an appropriate extension of the notion of minimizers for this kind of problems is given by generalized minimizers [27]. In our problem, these are defined as follows:
Definition 3.1
Let \(\rho ,\,\lambda >0\), \(N\in \mathbb N\) and \(m\ge \frac{4\pi }{3} N \rho ^3\). Suppose there exists \(K\in \mathbb N\), \(m_k>0\) and \(N_k\in \mathbb N \cup \{0\}\) with \(m=\sum _{k=1}^K m_k\), \(N=\sum _{k=1}^K N_k\), and a family of minimizers \((\Omega _k,X_k)\in {\mathcal {A}}_{m_k,N_k,\rho }\) of \( E_{\rho ,\lambda ,N_k}\) which satisfies
Then the family of \((\Omega _k, X_k)\) is called a generalized minimizer of \(E_{\rho , \lambda , N}\) over \({\mathcal {A}}_{m,N,\rho }\).
Intuitively, a generalized minimizer can be thought of as a finite collection of droplets containing all the charges, with each droplet being a minimizer for the charge it contains and different droplets being “infinitely far apart” and thus not interacting. Each set \(\Omega _k\) in a generalized minimizer is referred to as a component. Notice that a generalized minimizer is simply a minimizer if and only if it has only one component. An illustration of a classical minimizer of \(E_{\rho , \lambda , N}\) with \(N = 7\) is presented in Fig. 2, while a possible generalized minimizer is shown in Fig. 3. Our first result establishes existence of generalized minimizers for all nontrivial values of the parameters.
Theorem 3.2
Let \(\rho ,\,\lambda >0\), \(N\in \mathbb N\) and \(m\ge \frac{4\pi }{3} N \rho ^3\). Then there exists a generalized minimizer of \(E_{\rho , \lambda , N}\) over \({\mathcal {A}}_{m,N,\rho }\). Moreover, each component of the generalized minimizer has boundary of class \(C^{1,1}\), is bounded and connected, and away from the set of charges is smooth and has constant mean curvature that is the same for all the components.
In view of the regularity of the components of generalized minimizers, in the following we always refer to the regular representatives when talking about the energy minimizing sets. In particular, we can choose these sets to be open.
We next establish a parameter regime in which the generalized minimizers are also classical, i.e., when there is a minimizer of \(E_{\rho , \lambda , N}\) over \({\mathcal {A}}_{m,N,\rho }\). Naturally, as the most interesting case to consider is that of many charges, we will instead work with the energy \(E_\varepsilon \) defined in (2.10) and minimize it over the class \({\mathcal {A}}_\varepsilon \) obtained as a suitable modification of the definition in (3.1) corresponding to sets of volume \(m = {4 \pi \over 3}\) of a unit ball (without loss of generality) containing \(N_\varepsilon \gg 1\) charges of radius \(\varepsilon \ll 1\):
Notice that existence vs. non-existence of classical minimizers in the class \({\mathcal {A}}_\varepsilon \) for \(\varepsilon \ll 1\) must clearly depend on the rate of \(N_\varepsilon \rightarrow \infty \) as \(\varepsilon \rightarrow 0\). To begin with, due to the constraint \(B_\varepsilon (x_i) \cap B_\varepsilon (x_j) = \varnothing \) for \(i \not = j\) we must have \(N_\varepsilon \lesssim \varepsilon ^{-3}\) in order for the admissible class \({\mathcal {A}}_\varepsilon \) to be non-empty, limiting the possible growth rate of \(N_\varepsilon \). On the other hand, for \(\Omega \) fixed and \(\varepsilon \) sufficiently small depending on \(N_\varepsilon \gg 1\), one would be able to approximate \(\inf _{X \subset \Omega } E_\varepsilon (\Omega , X)\) by
with \(q = \gamma ^{\frac{1}{2}} \varepsilon ^{\frac{3}{2}} N_\varepsilon \), which is nothing but the dimensionless continuum energy in (2.1). Nevertheless, this energy is known to give \(\inf _{|\Omega | = {4 \pi \over 3}} E_0(\Omega ) = 4 \pi \) for all \(q \ge 0\), thus failing to yield a minimizer for any \(q > 0\) [18]. Therefore, it would be natural to expect existence of minimizers of \(E_\varepsilon \) over \({\mathcal {A}}_\varepsilon \) only for \(N_\varepsilon \ll \gamma ^{-\frac{1}{2}} \varepsilon ^{-\frac{3}{2}}\). Still, the threshold \(N_\varepsilon \) for existence of minimizers in this regime is far from obvious.
We begin with the following existence result, which shows that for \(\gamma \gtrsim 1\) classical minimizers exist as soon as \(N_\varepsilon \lesssim \gamma ^{-1} \varepsilon ^{-1}\) and all \(\varepsilon > 0\) sufficiently small universal:
Theorem 3.3
There exist universal constants \(\varepsilon _0 > 0\), \(\gamma _0 > 0\) and \(C>0 \) such that for all \(\gamma > \gamma _0\) and \(1< N_\varepsilon < \frac{C}{\varepsilon \gamma }\) there exists a minimizer of \(E_\varepsilon \) over \({\mathcal {A}}_\varepsilon \) for all \(\varepsilon \in (0, \varepsilon _0)\). Furthermore, if \((\Omega , X) \in {\mathcal {A}}_\varepsilon \) is a minimizer of \(E_\varepsilon \) then \({\textrm{dist}}(x_i, \partial \Omega ) = \varepsilon \) and \({\textrm{dist}}(x_i, X \backslash x_i) \ge c \gamma \varepsilon \) for all \(x_i \in X\) with \(1 \le i \le N_\varepsilon \) and \(c > 0\) universal.
We note that one of the conclusions of the above theorem is that all the balls \(B_\varepsilon (x_i)\) containing the charges \(x_i \in X\) in a minimizer touch the drop boundary \(\partial \Omega \). This is consistent with the expectation at the level of the continuum that the measure \(\mu \) minimizing the Coulombic energy in (3.4) is supported on \(\partial \Omega \). Furthermore, we find that in this regime the charges are uniformly separated from one another at scale \(O(\gamma \varepsilon )\) which exceeds that imposed by the constraint \(B_\varepsilon (x_i) \cap B_\varepsilon (x_j) = \varnothing \) for \(i \not = j\).
Surprisingly, the existence threshold in Theorem 3.3 is considerably lower than \(N_\varepsilon \sim \gamma ^{-\frac{1}{2}} \varepsilon ^{-\frac{3}{2}}\) for which the Coulombic energy matches the perimeter in the continuum as \(\varepsilon \rightarrow 0\), see (3.4). Nevertheless, this is not simply a limitation of our analysis, as we demonstrate with our next non-existence result. To give some heuristics for the threshold appearing in Theorem 3.3, consider the basic mechanism in which a drop may lose its energy minimizing property by evaporating a single charge [11, 25, 26, 28]. If \((\Omega , X)\) is a minimizer of \(E_\varepsilon \), then \((\Omega ', X')\) with \(\Omega ' = (\Omega \backslash B_\varepsilon (x_i)) \cup B_\varepsilon (R e_1)\) and \(X' = (X \backslash \{x_i\}) \cup \{R e_1\}\), obtained by cutting a single ball \(B_\varepsilon (x_i)\) with a charge in its center and sending it far off, is an admissible configuration. Here \(e_1\) is the unit vector along the first coordinate direction, \(x_i \in X\) with \(1 \le i \le N_\varepsilon \) arbitrary, and \(R > 0\) is sufficiently large. Letting \(R \rightarrow \infty \), we then conclude that
which implies that
for some \(C > 0\) universal and all \(N_\varepsilon > 1\).
We would expect that at least whenever the perimeter is not overwhelmed by the Coulombic energy the diameter of a minimizer of \(E_\varepsilon \), if it exists, should not greatly exceed that of a unit ball corresponding to the mass constraint. From this and (3.6), we immediately get a contradiction if \(N_\varepsilon \gg \gamma ^{-1} \varepsilon ^{-1}\), suggesting that in this regime the existence should fail, provided that the perimeter term indeed dominates the Coulombic energy. For the latter, we can consider a competitor of the form \((\Omega , X)\), where \(\Omega = B_r(0) \cup _{i=1}^{N_\varepsilon } B_\varepsilon (i R e_1)\) and \(X = \cup _{i=1}^{N_\varepsilon } \{i R e_1\}\), for \(r^3 + \varepsilon ^3 N_\varepsilon = 1\) with \(\varepsilon \ll 1\) and \(R \gg 1\), corresponding to all charges evaporated from the drop. This yields \(\inf _{{\mathcal {A}}_\varepsilon } E_\varepsilon \le 4 \pi (r^2 + \varepsilon ^2 N_\varepsilon )\) by sending \(R \rightarrow \infty \). Thus, we have \(\inf _{{\mathcal {A}}_\varepsilon } E_\varepsilon \lesssim 1\) whenever \(N_\varepsilon \lesssim \varepsilon ^{-2}\) and \(\varepsilon \ll 1\) independently of \(\gamma \), and the isoperimetric deficit becomes small when \(N_\varepsilon \ll \varepsilon ^{-2}\).
Under the condition of smallness of \(\varepsilon ^2 N_\varepsilon \), we now get our non-existence result that yields a sharp scaling for the threshold value of \(N_\varepsilon \) with \(\gamma \gtrsim 1\) for \(\varepsilon \ll 1\).
Theorem 3.4
Let \(\gamma > \gamma _0\), where \(\gamma _0\) is as in Theorem 3.3. Then there exists a universal constant \(C>0\) and constants \(\varepsilon _0, \delta _0 >0\) depending only on \(\gamma \) such that if \(\varepsilon \in (0, \varepsilon _0)\) and \(\frac{C}{\gamma \varepsilon }<N_\varepsilon < \frac{\delta _0}{\varepsilon ^2}\) then \(E_\varepsilon \) does not attain its infimum in \({\mathcal {A}}_\varepsilon \).
We note that by (3.6) the minimizer is expected to be highly elongated for \(N_\varepsilon \gtrsim \varepsilon ^{-2}\), if it exists. Thus, although we do not believe minimizers could exist in this Coulombic dominated regime far beyond Rayleigh instability, i.e., for all \(N_\varepsilon \gg \gamma ^{-\frac{1}{2}} \varepsilon ^{-\frac{3}{2}}\), a different approach would be needed to rule out existence of minimizers in this regime.
We now turn to the asymptotic behavior of the minimizers in the range of existence given by Theorem 3.3. In the next theorem, we show that when the minimizers of \(E_\varepsilon \) exist for \(\varepsilon \ll 1\), they are always nearly spherical with a uniformly distributed charge over the boundary, as one would have expected on physical grounds. Notice that as was already mentioned, in the regime of Theorem 3.3 the isoperimetric deficit for minimizers vanishes as \(\varepsilon \rightarrow 0\), which by the quantitative isoperimetric inequality implies that the minimizers converge to balls in the \(L^1\) topology after suitable translations [14]. Nevertheless, a stronger control on the deviation of the minimizer \(\Omega \) from a ball is necessary to establish convergence of the Coulombic energy and, as a result, of the charge density, which is given by the following theorem:
Theorem 3.5
Let \(\varepsilon _n > 0\) and \(N_n \in \mathbb N\) be such that \(\varepsilon _n \rightarrow 0\) and \(N_n \rightarrow \infty \) as \(n \rightarrow \infty \), and \(N_n < {C \over \gamma \varepsilon _n}\) for \(\gamma > \gamma _0\), where C and \(\gamma _0\) are as in Theorem 3.3. Then if \((\Omega _n, X_n) \in {\mathcal {A}}_{\varepsilon _n}\) are minimizers of \(E_{\varepsilon _n}\) and \(X_n = \cup _{i=1}^{N_n} \{x_{i,n}\}\), we have, up to translations, \(\Omega _n \subset B_{1+\delta }(0)\) for all \(\delta > 0\) and all \(n \in \mathbb N\) large enough, and
in the sense of measures, as \(n \rightarrow \infty \).
Lastly, we present an asymptotically sharp existence result for the minimization problem in the special case of \(N_\varepsilon = 2\) charges and \(\varepsilon \ll 1\). Actually, in this case the minimization problem admits and explicit solution in terms of the unduloid surfaces that span the space between the two charges. We present the rather technical details of these solutions in Sect. 6. Here instead we summarize our existence results for minimizers of \(E_\varepsilon \) with \(N_\varepsilon = 2\) for \(\varepsilon \ll 1\).
Theorem 3.6
Let \(N_\varepsilon = 2\) and \(c > 0\). Then there exists \(\varepsilon _0 > 0\) such that for all \(\varepsilon \in (0, \varepsilon _0)\) we have:
-
(i)
if \(c < 8 \pi \) and \(\gamma < {c\over \varepsilon }\) then there exists a unique, up to translations and rotations, minimizer of \(E_\varepsilon \) in \({\mathcal {A}}_\varepsilon \).
-
(ii)
if \(c > 8 \pi \) and \(\gamma > {c\over \varepsilon }\) then there is no minimizer of \(E_\varepsilon \) in \({\mathcal {A}}_\varepsilon \).
Note that the threshold for existence in the above theorem is consistent with the one found in Theorems 3.3 and 3.4, but without an a priori assumption on \(\gamma \). A further quantitative characterization of these minimizers is presented in Theorem 6.15, with all the necessary notations defined in Sect. 6. The proof of the latter is rather technical and involves a careful asymptotic analysis of the exact global minimizers constructed in that case. Finally, we note that in the case \(N_\varepsilon = 1\) the minimizers are trivially balls, so in the following we can always assume \(N_\varepsilon \ge 2\) without loss of generality.
3.1 Structure of the Proof
Our starting point is establishing existence of generalized minimizers in Theorem 3.2, which is done with the help of the standard concentration compactness argument that exploits uniform regularity for volume-constrained minimizers of the perimeter in Lemma 4.3, a result which could be of independent interest in itself.
Our next result is existence of classical minimizers of \(E_\varepsilon \) when \(\gamma \) is sufficiently large universal, \(\varepsilon \) is sufficiently small and the number of charges \(N_\varepsilon \) is not too large. Here, arguing by contradiction, we assume that no classical minimizer exists and first show that in the considered parameter regime all generalized minimizers consist of only one large component and one or more balls of radius \(\varepsilon \) each containing one charge, see Lemma 5.10. Once this result is established, the proof of Theorem 3.3 follows from a sharp quantitative estimate of the Coulombic energy of a finite number of charges on a unit ball, together with an estimate of the energy gain resulting from suitably merging one small component of the generalized minimizer with the large component, which leads to a contradiction. Conversely, for the number of charges exceeding the existence threshold for \(N_\varepsilon \) in Theorem 3.3 we obtain a contradiction to the existence of a classical minimizer in Theorem 3.4 by combining the characterization of minimizers in Lemma 5.8 with a sharp lower bound on the Coulombic energy of finitely many charges confined to a ball. Furthermore, within the regime of validity of Theorem 3.3 we are able to pass to the limit \(\varepsilon \rightarrow 0\) and \(N_\varepsilon \rightarrow \infty \) with a suitable rate in Theorem 3.5 by combining the well-known \(\Gamma \)-convergence results for the Coulombic energy of many point charges with the asymptotic characterization of minimizers in Lemma 5.8.
The key technical result used in the proofs is contained in Lemma 5.8, whose proof with some minor modifications is also used to obtain the diameter bounds for the components of generalized minimizers in Lemma 5.9 and, as a consequence, a characterization of generalized minimizers in Lemma 5.10. Lemma 5.8 states that any classical minimizer of \(E_\varepsilon \) is close to a ball in a certain sense, at least for \(N_\varepsilon \) not too large. The proof utilizes an upper bound on the total mass of the minimizer contained outside a ball of radius slightly greater than 1 in Lemma 5.7 with the uniform density estimate from Lemma 5.5 and uses careful cutting arguments, together with a cutting estimate on the perimeter in Lemma 5.6 and the connectivity of minimizers to show that every classical minimizer of \(E_\varepsilon \) in the considered range of \(N_\varepsilon \) is contained in some ball of radius arbitrarily close to 1. The rest of the lemmas of Sect. 5 establish the basic estimates on generalized minimizers that are used throughout the rest of the proofs.
Finally, in Sect. 6 we prove the result in Theorem 3.6 by first establishing existence of minimizers from the results of Sect. 5 and then showing that any minimizer of \(E_\varepsilon \) with \(N = 2\) is an axisymmetric set, see Lemma 6.4, that for small \(\varepsilon \) is close in a certain sense to a unit ball, see Lemma 6.2. From that we conclude, in Lemma 6.5, that the free surface of the minimizer is a single section of an unduloid, which is quantified in several subsequent lemmas. The proof is concluded by enumerating the possibilities of joining the free surface with the obstacles and comparing their energies, based on careful expansions of the different contributions to the energy for \(\varepsilon \) small. The conclusion is then given in Theorem 6.15 that provides a sharp asymptotic characterization of the minimizer in the considered regime.
4 Existence of Generalized Minimizers
Following [7], we first derive a uniform density estimate for volume constrained minimizers of the perimeter in the presence of spherical obstacles. The starting point of our analysis is an Almgren type lemma that provides existence of a diffeomorphism whose constants depend only on the volume and the perimeter of the set, but not on the set itself, which is then used to compensate the changes of volume under small perturbations of the set.
Lemma 4.1
For every \(P>0\) there exists \(\gamma >0\) such that if \(\Omega \subset \mathring{B}_R^c(0)\) for some \(R > 0\) and
then there exists a vector field \(\eta \in C^1_c(\mathring{B}_R ^c (0))\) with \(\Vert \eta \Vert _{C^1(\mathring{B}_R ^c (0))}\le 1\) such that
Proof
We reason as in [7, Lemma 3.5] and assume by contradiction that there exist a sequence of radii \(R_k > 0\) and a sequence of sets \(\Omega _k\) satisfying (4.1) such that
where \({\mathcal {A}}_k:=\{ \eta \in C^1_c(\mathring{B}_{R_k}^c (0))\text { such that } \Vert \eta \Vert _{C^1(\mathring{B}_{R_k}^c (0))}\le 1\}\). By [30, Remark 29.11] for all \(k \in \mathbb N\) there exists \(x_k\in \mathbb {R}^3\) such that
with \({{\bar{\delta }}} = {{\bar{\delta }}}(P)>0\). Letting \(F_k = \Omega _k-x_k\), up to a subsequence we have that \(R_k\rightarrow R\in [0,+\infty ]\), \(F_k\rightarrow F\subset \mathbb {R}^3\) in \(L^1_{loc}(\mathbb {R}^3)\), with \(P(F)\le P\). We only deal with the case \(R<+\infty \) and \(x_k\rightarrow x \in \mathbb {R}^3\), since the other cases can be treated analogously and are easier.
Passing to the limit in (4.4), we get that \(|F\cap B_1(0)|\ge {{\bar{\delta }}}\). In particular, by Almgren lemma [7, Lemma 3.4] (see also [3, 30]) there exists \(\eta _F\in C^1_c(\mathring{B}_R ^c (-x))\) with \(\Vert \eta _F\Vert _{C^1(\mathring{B}_R ^c (-x))}\le 1\) such that
for some \(\gamma _F>0\). Letting now \(\eta _k:=\eta _F(\cdot +x_k)\), which belongs to \(C^1_c(\mathring{B}_{R_k}^c (0))\) for k large enough, we have that
thus contradicting (4.3). \(\square \)
Remark 4.2
It is not difficult to see that the conclusion of Lemma 4.1 in fact holds for general sets \(\Omega \subset \mathbb {R}^n\) of finite perimeter and supported on a complement of a bounded open set \(U \subset \mathbb {R}^n\), with the constant \(\gamma \) depending only on the perimeter of \(\Omega \) and n.
From Lemma 4.1, we derive the following uniform density estimate:
Lemma 4.3
For every \(\eta ,\delta > 0 \) there exist a \(c_0>0\) depending only on \(\eta \) such that if \(\Omega \subset \mathbb {R}^3\) is a minimizer of
with \(P(\Omega \cap B_R^c(0)) < \eta |\Omega \cap B_R^c(0)|^{2/3} \) and \(|\Omega \cap B_R^c(0)| > \delta \), then
for all \(x\in {\overline{\Omega }}{\setminus } B_R(0)\) and \(r\in (0,c_0 \delta ^\frac{1}{3})\) such that \(B_r(x)\subset B_R ^c (0)\), where the constant \(c>0\) is universal and \({\overline{\Omega }}\) is understood in the measure theoretic sense.
Proof
Up to a rescaling, we can assume that \(\delta = 1\). Notice that by a projection argument we have
Then reasoning as in [7, Proposition 4.4] and applying Lemma 4.1 to the set \(\Omega \cap B_R^c(0)\), we get that \(\Omega \) is a \((\Lambda ,r_0)\)-minimizer of the perimeter in \(B_R ^c (0)\), where \(\Lambda , r_0\) are positive constants depending only on P. The result then follows by [30, Theorem 21.11]. \(\square \)
Proof of Theorem 3.2
Let \((\Omega _n, X_n)\) be a minimizing sequence and let \(X_n = \cup _{i=1}^N \{x_{i,n}\}\). As the total number of charges is fixed, up to extraction of a subsequence (not relabeled) the charges segregate into \(1 \le K \le N\) clusters moving apart as \(n \rightarrow \infty \). More precisely, for each \(k \in \{1, 2, \ldots , K\}\) there exist \(N_k \in \mathbb N\) and an index set \(I_k = \{i^k_1, i^k_2, \ldots , i^k_{N_k}\}\) such that \(\cup _{k=1}^K I_k\) forms a disjoint partition of \(\{1, \ldots , N\}\) for each \(n \in \mathbb N\) and
Consider now \(\Omega _n^k:= \Omega _n - x_{i^k_1,n}\) and \(X_n^k:= \cup _{i \in I_k} \{ x_{i,n} - x_{i^k_1,n} \}\). By (4.10) and (4.11), there exists \(R_0 \ge 1\) such that \(B_\rho (x_{i,n}) \subset B_{R_0}(x_{i_1^k,n})\) for all \(i \in I_k\) and all \(1 \le k \le K\), and for every \({{\widetilde{R}}} > 0\) we have \(B_\rho (x_{i,n}) \subset B_{{{\widetilde{R}}}}^c(x_{i_1^k,n})\) for all \(i \not \in I^k_n\) and all n large enough. Then, for \(R_0< R < {{\widetilde{R}}}\) and \(L > 0\) we define a competitor set
where for \(r:= \left( {3 \over 4 \pi } |\Omega _n {\setminus } (\cup _{k=1}^K B_R(x_{i_1^k,n}))| \right) ^{1/3}\) we have \(\Omega _n^0:= \varnothing \) if \(r = 0\) or \(\Omega _n^0:= B_r(0)\) if \(r > 0\), together with
By construction, \(({{\widetilde{\Omega }}}_n^{R,L}, {{\widetilde{X}}}_n^{R,L}) \in {\mathcal {A}}_{m,N,\rho }\) for all n and L large enough independent of R. Notice that
for almost all \(R_0< R < {{\widetilde{R}}}\), and
where \({{\widetilde{X}}}_n^{R,L} = \cup _{i = 1}^N \{ {{\tilde{x}}}_{i,n}^{R,L} \}\). Thus, by the isoperimetric inequality we have
for some \(C > 0\) independent of n, L and R. Furthermore, since
for every \({{\widetilde{R}}} \ge 2 R_0\) it is possible to choose \(R \in ({{\widetilde{R}}}/2, {{\widetilde{R}}}) \subset (R_0, {{\widetilde{R}}})\) such that
Therefore, up to a subsequence (again, not relabeled) we can choose \({{\widetilde{R}}} = {{\widetilde{R}}}_n \rightarrow \infty \) and \(R = R_n \rightarrow \infty \) such that (4.18) holds, as well as \(L = L_n \rightarrow \infty \) sufficiently fast, so that by (4.16) we have that \((\widetilde{\Omega }_n, {{\widetilde{X}}}_n):= ({{\widetilde{\Omega }}}_n^{R_n, L_n}, {{\widetilde{X}}}_n^{R_n, L_n})\) is also a minimizing sequence.
We now modify the sets \({{\widetilde{\Omega }}}_n\) as follows to further reduce the energy: For each \(1 \le k \le K\), we replace the set \(({{\widetilde{\Omega }}}_n - {{\tilde{x}}}_{i_1^k,n}) \cap B_{R_n}(0)\), where \({{\widetilde{X}}}_n = \cup _{i=1}^N \{ {{\widetilde{x}}}_{i,n} \}\), with the minimizer \({{\widetilde{\Omega }}}_n^k\) of the perimeter among all sets supported in \(B_{R_n}(0)\), containing \(\cup _{{{\tilde{x}}}\in \widetilde{X}^k_n}B_\rho ({{\tilde{x}}})\), and satisfying \(|{{\widetilde{\Omega }}}_n^k| = |\Omega _n^k \cap B_{R_n}(0)|\). Existence of such a minimizer follows from the direct method of calculus of variations (see, e.g., [30, Section 12.5]). We may also assume that each set \({{\widetilde{\Omega }}}_n^k \cup B_{R_0}(0)\) is connected, since otherwise all the mass of the disconnected pieces of \(\widetilde{\Omega }_n^k \backslash B_{R_0}(0)\) may be absorbed into the ball \(\Omega _n^0\) at the origin, producing a new set \(\widetilde{\Omega }_n^0\) without increasing the perimeter while conserving the total mass. We denote by \({\overline{\Omega }}_n\) the set obtained by replacing \(\Omega _n^k\) with \({{\widetilde{\Omega }}}_n^k\) in the definition of \({{\widetilde{\Omega }}}_n\). By construction we have \(({\overline{\Omega }}_n, {{\widetilde{X}}}_n) \in {\mathcal {A}}_{m,N,\rho }\) and \(E_{\rho ,\lambda ,N}({\overline{\Omega }}_n, {{\widetilde{X}}}_n) \le E_{\rho ,\lambda ,N}({{\widetilde{\Omega }}}_n, {{\widetilde{X}}}_n)\), so \(({\overline{\Omega }}_n, {{\widetilde{X}}}_n)\) is again a minimizing sequence.
Notice that if we compare the perimeter of \({{\widetilde{\Omega }}}_n^k\) with the one of \(({{\widetilde{\Omega }}}_n^k\cap B_r(0))\cup B\), where \(B \subset B_{R_n}^c(0)\) is a ball of volume \(v(r):=|\widetilde{\Omega }_n^k{\setminus } B_r(0)|\), after some simple calculations we get that
for a.e. \(r\in (R_0,R_n)\), where \({{\bar{c}}}=(36\pi )^\frac{1}{3}\). It follows that if \(v(R_0 + 1) > 0\), then for all large enough n we have
In particular, there exists \(R_0'\in (R_0,R_0+1)\), depending on n and k, such that
Then, by Lemma 4.3 applied with \(\Omega =\widetilde{\Omega }_n^k\) and \(R=R_0'\), the minimizer \({{\widetilde{\Omega }}}_n^k\) satisfies a uniform density estimate of the form
for some universal \(c > 0\) and for all \(x \in {{\widetilde{\Omega }}}_n^k \backslash {{\overline{B}}}_{R_0'}(0)\) and \(0 < r \le r_0:= c(m) |{{\widetilde{\Omega }}}_n^k \backslash B_{R_0'}(0)|^{1/3}\). Moreover, we claim that \({{\widetilde{\Omega }}}_n^k \subset B_{R_\infty }(0)\) for some \(R_\infty > 0\) independent of n. Indeed, if \(|\widetilde{\Omega }_n^k \backslash B_{R_0 + 1}(0)| = 0\), there is nothing to prove. At the same time, in view of the connectedness of \(\widetilde{\Omega }_n^k \cup B_{R_0}(0)\), the claim follows easily by applying the density estimate in (4.22) with \(r = r_0\) to a sequence of \(x = x_l \in {{\widetilde{\Omega }}}_n^k \cap \left( \partial B_{R_{0}+1 + (3\,l - 1) r_0}(0) \backslash B_{R_{0}+1 + (3\,l - 2) r_0}(0) \right) \), for \(l \in \mathbb N\), and the fact that \(|\widetilde{\Omega }_n^k \backslash B_{R_0}(0)|\) is bounded by m.
We now send \(n \rightarrow \infty \). By compactness in \(BV(B_{R_\infty }(0))\), upon extraction of a subsequence we have \({{\widetilde{\Omega }}}_n^k \rightarrow \Omega _\infty ^k\) in the \(L^1\)-topology for all \(1 \le k \le K\). Also, since by construction \({{\widetilde{\Omega }}}_n^0\) are balls containing the excess mass or are empty, we likewise have \({{\widetilde{\Omega }}}_n^0 \rightarrow \Omega _\infty ^0\) in \(L^1(\mathbb {R}^3)\) and \(P({{\widetilde{\Omega }}}_n^0) \rightarrow P(\Omega _\infty ^0)\). Then, by the lower-semicontinuity of the perimeter we have \(\liminf _{n \rightarrow \infty } P({{\widetilde{\Omega }}}_n^k) \ge P(\Omega _\infty ^k)\) for all \(1 \le k \le K\). Upon a further extraction of a subsequence we may also assume that \(x_{i,n} - x_{i_1^k,n} \rightarrow x_{i,\infty }^k\) for all \(i \in I_k\), and by continuity of the Coulombic energy we have
Thus, letting \(X_\infty ^k:= \cup _{i \in I_k} \{ x_i^k \}\) we have
Moreover, \( (\Omega _\infty ^k, X_\infty ^k)\) minimize \(E_{\rho ,\lambda ,N_k}\) over \({\mathcal {A}}_{m_k, N_k, \rho }\), where \(m_k:= |\Omega _\infty ^k|\), and by construction \(\Omega _\infty ^0\) minimizes the perimeter among all sets with mass \(m_0 = m - \sum _{k=1}^K m_k\). Indeed, otherwise it would be possible to construct a test configuration of the form of (4.12) from those in \({\mathcal {A}}_{m_k, N_k, \rho }\) such that (4.24) is violated. Finally, using \((\Omega _\infty ^k, X_\infty ^k)\) to form a test function of the form of (4.12) and sending \(L \rightarrow \infty \) yields equality in (4.24).
Finally, the regularity of \(\partial \Omega _j\) follows by standard regularity theory for minimal surfaces with smooth obstacles (see for instance [30, Theorem 21.8]). Regularity, in turn, implies connectedness, as otherwise the energy of two pieces that both contain charges can be decreased by moving them far apart, while any two pieces such that at least one piece does not contain any charges (and hence is a ball) can be made to touch without changing energy, contradicting the regularity of minimizers. Finally, the same constant mean curvature for all the components away from the set of charges follows from the arguments of [30, Section 17.3]. \(\square \)
5 Case of Many Charges
5.1 Preliminaries
From here on we are concerned with minimizing the energy given in (2.10) among \((\Omega , X) \in {\mathcal {A}}_\varepsilon \). Note that since by Theorem 3.2 generalized minimizers always exist whenever \({\mathcal {A}}_\varepsilon \) is non-empty, it is convenient to formulate our energy estimates in terms of the energy of such minimizers. Furthermore, as competitors we may consider finite collections of pairs \((\Omega _i, X_i)\), where \(\Omega _i \subset \mathbb {R}^3\) are open sets with sufficiently smooth boundaries and \(X_i \subset \mathbb {R}^3\) are finite discrete sets satisfying
With some abuse of notation, we will denote k copies of the component \((\Omega _i, X_i)\) of a competitor as \((\Omega _i, X_i)^k\), with the obvious convention that \((\Omega _i, X_i)^0 = (\varnothing , \varnothing )\). We also define the Coulombic interaction energy \(V_\varepsilon (X)\) as
Lastly, we note that in the statements and proofs that follow we sometimes utilize explicit constants in the estimates, which, however, are not intended to be optimal.
As a starting point, we have the following basic upper bound on the minimal energy, which is obtained by considering a non-interacting configuration of one large ball and \(N_\varepsilon -1\) individual discrete charges. In particular, it gives a universal upper bound on the minimal energy for \(N_\varepsilon \le {1 \over \varepsilon ^2}\).
Lemma 5.1
If \(\{ (\Omega _1,X_1), \ldots , (\Omega _k,X_k)\}\) is a generalized minimizer then
Proof
Testing the energy with the configuration of one charge in the center of a large ball and \(N_\varepsilon -1\) single charges in balls of radius \(\varepsilon \), namely, taking as a candidate
\(\{ (B_{r_1}(0), \{0\}), (B_\varepsilon (0), \{0\})^{N_\varepsilon - 1} \}\), where \(r_1= \root 3 \of {1-(N_\varepsilon -1) \varepsilon ^3} \le 1\), we have
which yields the desired inequality. \(\square \)
Note that as a convention from here on we order the elements of a generalized minimizer \(\{ (\Omega _1,X_1),(\Omega _2,X_2), \ldots , (\Omega _k,X_k) \}\) in terms of the decreasing magnitude of \(|\Omega _i|\).
Lemma 5.2
There exists a universal constant \(C>0\) such that if \(\{ (\Omega _1,X_1), \ldots , (\Omega _k,X_k)\}\) is a generalized minimizer then \(|\Omega _1| \ge \frac{4 \pi }{3} - C \varepsilon ^3 N_\varepsilon ^{\frac{3}{2}} \).
Proof
Without loss of generality let \(k>1\). Let \(r_i:= \left( \frac{3}{4 \pi } |\Omega _i| \right) ^{\frac{1}{3}} \), then by the isoperimetric inequality and positivity of \(V_\varepsilon \) we have
Eliminating \(r_1\) via the volume constraint \(\sum _{i=1}^k r_i^3=1\) and using the fact that \(t^\frac{2}{3} > t\) for \(t \in (0,1)\), we obtain
On the other hand, note that since \(r_2 \le \frac{1}{\root 3 \of {2}}\), for all \(1<i \le k\) we have
Therefore, by Lemma 5.1 we obtain
for some universal \(C > 0\). Finally, by monotonicity of the \(l^p\)-norm in p, this implies
for some \(C' > 0\) universal, yielding the claim. \(\square \)
Our next lemma provides further information about the volume of the small components of generalized minimizers. Notice that the conditions on \(N_\varepsilon \) throughout the rest of this section tacitly imply that \(\varepsilon \) is small.
Lemma 5.3
There exist universal constants \(C, \delta >0\) such that for \(1< N_\varepsilon < \frac{\delta }{\varepsilon ^2}\), if \(\{ (\Omega _1,X_1),(\Omega _2,X_2), \ldots , (\Omega _k,X_k) \} \) is a generalized minimizer then \(| \Omega _i| \le C |X_i|^{\frac{3}{2}} \varepsilon ^3\) for all \(i>1\).
Proof
For \(i>1\) create a minimizing candidate
\(\{ (c \Omega _1,c X_1), \ldots , (c \Omega _{i-1}, c X_{i-1}),(c \Omega _{i+1}, c X_{i+1}), \ldots , (c \Omega _{k}, c X_{k}), ( B_{\varepsilon }(0), \{0\})^{|X_i|} \}\), which is obtained by deleting the i-th component, transferring its charges into \(|X_i|\) non-interacting balls of radius \(\varepsilon \) and rescaling the remaining components to adjust for the volume change. Here
where we used that \(|\Omega _i| \le \frac{2 \pi }{3}\) for all \(i > 1\). Furthermore, from Lemma 5.2, \(|\Omega _i| \le C \varepsilon ^3 N_\varepsilon ^{\frac{3}{2}} \le C \delta ^{\frac{3}{2}}\) for some universal constant \(C>0\). Thus, we can pick \(\delta >0\) so that \(|\Omega _i| \le 1\), which gives us
From Lemma 5.1, we can pick \(C' > 0\) so that \( \sum _{j=1}^k P(\Omega _j) \le 4 \pi +4 \pi \varepsilon ^2 N_\varepsilon \le 4 \pi (1+ \delta ) \le C^\prime \). This gives us that
Thus, with the help of the isoperimetric inequality for \(\Omega _i\) we have
Finally, since \(|\Omega _i| \le C \delta ^{\frac{3}{2}}\), possibly decreasing \(\delta \) we can ensure that \(|\Omega _i|^{\frac{1}{3}}<\frac{1}{C^\prime }\), yielding the desired inequality. \(\square \)
Next we rule out the case where our generalized minimizer \(\{ (\Omega _1,X_1), \ldots , (\Omega _k,X_k)\}\) contains \(X_i\)’s that are null, which means that each component of the generalized minimizer has to contain at least one charge, provided that \(N_\varepsilon \) is not too large and \(\varepsilon \) is sufficiently small. In this case, if a small component contains only one charge then it is a ball of radius \(\varepsilon \).
Lemma 5.4
There exist a universal constant \(\delta >0\) such that for \(1< N_\varepsilon < \frac{\delta }{\varepsilon ^2}\), if \(\{ (\Omega _1,X_1), \ldots , (\Omega _k,X_k)\}\) is a generalized minimizer then \(k \le N_\varepsilon \), and each \(X_i\) for \(1 \le i \le k\) is non-empty. Furthermore, if \(|X_i|= 1\) for some \(1<i\le k\), then \(|\Omega _i|= \frac{4 \pi }{3} \varepsilon ^3\).
Proof
First note that if \(X_i\) is empty, then Lemma 5.3 implies that \(|\Omega _i| = 0\), a contradiction. Thus, all that remains, is to show that if \(|X_i|= 1\) for some \(1<i\le k\), then \(|\Omega _i|= \frac{4 \pi }{3} \varepsilon ^3\). To do this, note that when \(|X_i|= 1\), rearranging (5.14) provides
which implies that \(|\Omega _i|=\frac{4 \pi }{3} \varepsilon ^3 \) whenever \(\delta \) is chosen to ensure that \(|\Omega _i|^{\frac{1}{3}}<\frac{1}{C^\prime }\). To see this, note that if \( \frac{4 \pi }{3} \varepsilon ^3<|\Omega _i|<\frac{1}{(C^\prime )^3}\), then
which implies
Thus, (5.17) contradicts (5.15), and we conclude that \(|\Omega _i|=\frac{4 \pi }{3} \varepsilon ^3 \). \(\square \)
Lastly, we state a lower density estimate for generalized minimizers which will be useful for both the \(N_\varepsilon =2\) and the \(N_\varepsilon \gg 1\) cases.
Lemma 5.5
There exists a universal constant \(C>0\) such that for any \(M>0\), if \(N_\varepsilon <\frac{M}{\varepsilon ^2}\), \(\{ (\Omega _1,X_1), \ldots , (\Omega _k,X_k)\}\) is a generalized minimizer, \(x_0 \in {\overline{\Omega }}_i {\setminus } \bigcup \limits _{x \in X_i} \overline{ B_{\varepsilon }(x)}\) for some \(1\le i \le k\), and \(r< \min \left( R, \min \limits _{x \in X_i} |x_0- x |-\varepsilon \right) \), where \(R > 0\) depends only on M, then
Proof
We may assume for convenience that \(R < \frac{1}{2}\) and that \(B_{R+\varepsilon }(x_0) \cap X_i = \varnothing \). Consider \(\{ (c \Omega _1,c X_1), \ldots , ( c (\Omega _i {\setminus } B_{r}(x_0)), c X_i), \ldots , (c \Omega _k, c X_k) \}\), where \(c > 1\) is defined as
as a possible minimizing candidate. Then
Furthermore, applying the isoperimetric inequality to the set \( \Omega _i \cap B_{r}(x_0)\) we have that
Thus combining (5.20) and (5.21) and using Lemma 5.1, we get
for some universal constants \(C_1\), \(C_2>0\) whenever \(r<R\) is small enough depending only on M.
By (5.22) we have
which implies
Finally, by letting \(U(r):= |\Omega _i \cap B_{r}(x_0)| > 0\) and applying Fubini’s theorem with the co-area formula to obtain \(\frac{dU(r)}{dr}={\mathcal {H}}^2(\Omega _i \cap \partial B_{r}(x_0)) \) for a.e. \(r \in (0, R)\), we arrive at
for some universal constant \(C>0\). Integrating this inequality yields the claim. \(\square \)
5.2 Localizing the Minimizers
In this subsection we perform a suitable localization of minimizers, which leads to outer convergence of minimizers to a unit ball as \(\varepsilon \rightarrow 0\). For \(x_0 \in \mathbb {R}^3\) and \(r > 0\), we define the spherical cut of a set-charge pair \((\Omega ,X) \in {\mathcal {A}}_{m,N, \varepsilon }\) by the ball \( B_{r}(x_0)\) to be the two set-charge pairs \(( \Omega _{x_0,r}^{\pm }, X_{x_0,r}^{\pm })\) defined as follows: If \({\mathcal {H}}^2 \big (\partial B_{r}(x_0) \cap \big ( \cup _{x \in X} B_{\varepsilon }(x) \big ) \big )=0 \), then
and
If, on the contrary, \({\mathcal {H}}^2 \big (\partial B_{r}(x_0) \cap \big ( \cup _{x \in X} B_{\varepsilon }(x) \big ) \big )>0 \), then we set
For these spherical cuts we have the following result.
Lemma 5.6
Let \(\varepsilon , m > 0\), \(N \in {\mathbb {N}}\), and let \((\Omega , X)\) be a classical minimizer of \(E_\varepsilon \) over \({\mathcal {A}}_{m,N,\varepsilon }\). Then if \(x_0 \in \mathbb {R}^3\) and \(r>0\), we have
Proof
By construction, we have
and
Observe that for each \(x \in X_{x_0,r}^+\) the set \(\partial B_\varepsilon (x) \cap B_r^c(x_0)\) is either empty or a spherical cap with the base radius \(a_x \in (0, \varepsilon ]\) and height \(h_x \in (0, \varepsilon ]\). Therefore, we have \({\mathcal {H}}^2( \partial B_\varepsilon (x) \cap B_r^c(x_0) ) = 2 \pi \varepsilon h_x\) and \({\mathcal {H}}^2(\partial B_r(x_0) \cap B_\varepsilon (x)) \ge \pi a_x^2\). Noting that \((\varepsilon - h_x)^2 + a_x^2 = \varepsilon ^2\), we then conclude that
By a similar argument, for every \(x \in X_{x_0,r}^-\) we also have
Thus, we obtain
which is the desired inequality. \(\square \)
Next we obtain an estimate for the \(L^1\) convergence of classical minimizers to a ball as \(\varepsilon \rightarrow 0\).
Lemma 5.7
There exist universal constants \(C, C^\prime , \delta _0\) such that if \(\delta < \delta _0\), \(1< N_\varepsilon < \frac{\delta }{\varepsilon ^2}\), and \((\Omega ,X)\) is a classical minimizer, then
for some \(1 \le r^{*} \le 1+C^\prime \delta ^{\frac{1}{6}}\) and some \(x_0 \in \mathbb {R}^3\).
Proof
First note that Lemma 5.1 provides an upper bound on the isoperimetric deficit of \(\Omega \), which is given by
In turn, by the quantitative isoperimetric inequality [14] this gives us an upper bound on the Fraenkel asymmetry of \(\Omega \), which tells us that there exists \(x_0 \in \mathbb {R}^3\) and a universal constant \(C_0 >0\) such that
Arguing by contradiction, assume that
for all \(1 \le r \le 1+C^\prime \delta ^{\frac{1}{6}}\) and \(C, C', \delta > 0\) arbitrary, provided that \(1< N_\varepsilon < {\delta \over \varepsilon ^2}\). Picking \(C^\prime = 15 C^\frac{1}{3}\), for \(1 \le r \le 1+15 (C \sqrt{\delta })^{\frac{1}{3}}\) we then have that
provided that C is sufficiently large universal. To construct a minimizing candidate we first cut \((\Omega ,X)\) into \((\Omega _{x_0,r}^{+},X_{x_0,r}^{+})\) and \((\Omega _{x_0,r}^{-},X_{x_0,r}^{-})\) and then split off the individual charges from \((\Omega _{x_0,r}^{-},X_{x_0,r}^{-})\) and move any remaining mass into \(\Omega _{x_0,r}^{+}\). More precisely, this minimizing candidate is \(\left\{ (c \Omega _{x_0,r}^{+}, c X_{x_0,r}^{+}), (B_{\varepsilon }(0), \{0\})^k \right\} \), where
and \(k = |X_{x_0,r}^{-}|\). Letting \(\delta< \delta _0< \frac{1}{C_0^2}\), from (5.42) we get that \(|\Omega _{x_0,r}^{+}| \ge \frac{4 \pi }{3}- 1 - \frac{4 \pi }{3} N_\varepsilon \varepsilon ^3 > 2\) for all \(\varepsilon \) sufficiently small universal, which gives
Now, by cutting and re-scaling in this way we have that
Furthermore, from Lemma 5.6 we have that
which together with the isoperimetric inequality applied to \(\Omega _{x_0,r}^{-}\) gives
Thus, combining (5.47) and (5.49) and using Lemma 5.1 we get that
provided that \(\delta _0\) and, hence, \(| \Omega _{x_0,r}^{-}| \) is sufficiently small universal (see (5.42)).
Finally, by (5.44) we can pick C large enough so that \( | \Omega _{x_0,r}^{-}|^{\frac{2}{3}} \ge 4 \pi N_\varepsilon \varepsilon ^2\). Hence from (5.50) and the minimality of \((\Omega , X)\) we obtain
which with the help of (5.43) gives us
whenever \(1 \le r \le 1+15 (C \sqrt{\delta })^{\frac{1}{3}}\) and C large enough. Now, letting \(U(r):= |\Omega \cap B_{r}^{c}(x_0)|\) and applying Fubini’s theorem and the co-area formula, from (5.52) we get that
for a.e. \(1 \le r \le 1+15 (C \sqrt{\delta })^{\frac{1}{3}}\). Integrating over this interval gives us
But this is a contradiction for C large enough, since from (5.42) we know that \(U(1) <C_0 \sqrt{\delta }\). \(\square \)
Using the \(L^1\) convergence from Lemma 5.7 and the density estimate from Lemma 5.5, we have that classical minimizers converge to a ball from the outside.
Lemma 5.8
For \(\delta >0\) there exists \(\delta _0\) depending only on \(\delta \) and \(\gamma \) such that if \(1< N_\varepsilon < \frac{\delta _0}{\varepsilon ^2}\), and \((\Omega , X)\) is a classical minimizer then \(\Omega \subset B_{1+\delta }({\hat{x}})\) for some \({\hat{x}} \in \mathbb {R}^3\).
Proof
Without loss of generality, we may assume that \(\delta \) is sufficiently small universal. From Lemma 5.7, the constant \(\delta _0>0\) can be picked so that \(|\Omega \cap B_{1+\frac{\delta }{2}}^c({\hat{x}})|<C N_\varepsilon ^{\frac{3}{2}} \varepsilon ^{3} < C \delta _0^{\frac{3}{2}}\), where \(C>0\) is a universal constant and \({\hat{x}} \in \mathbb {R}^3\). Now let \(L= \frac{1}{6} \left( \sup _{x \in \Omega } |x-{\hat{x}}|-1 - \frac{\delta }{2} \right) \), and, arguing by contradiction, assume that \(L>\frac{\delta }{12} \).
For \(r > 0\) and \(y \in \mathbb {R}^3\), define \(k_{y}(r)\) to be the number of charges inside of \(\Omega _{y,r}^+\). We claim that there exists \(x_0 \in \partial \Omega \) such that \(B_{L}(x_0) \cap B_{1+\frac{\delta }{2}}({\hat{x}})= \varnothing \) and \(k_{x_0}(L) \le \frac{N_\varepsilon }{3}\). Indeed, let \(x_4^\star \in \partial \Omega \) satisfy \(|x_4^\star - {\hat{x}}| = \sup _{x \in \Omega } |x-{\hat{x}} |=1 + 6\,L + \frac{\delta }{2}\) (from the definition of L). Now pick \(x_0^\star \in \partial B_{1 + \frac{\delta }{2}}({\hat{x}})\) to satisfy
and for \(x \in {\mathbb {R}}^3\) define a family of parallel planes P(x) passing through x orthogonally to \(x_4^\star -x_0^\star \). Finally, define the three points
for \(i=1,2,3\). Note that for \(i,j=1,2,3\) with \(i \ne j\) we have that
and
Since \(\Omega \) is bounded and connected, there exist \({\hat{x}}_i \in P(x_i^\star ) \cap \partial \Omega \) for \(i=1,2,3\). Thus, from (5.57) we have that \(B_{L}({\hat{x}}_i) \) are pairwise disjoint for \(i=1,2,3\), which implies that \(\Omega _{{\hat{x}}_i,L}^{+}\) are pairwise disjoint. It follows that \(k_{L}({\hat{x}}_{i^\star }) \le \frac{N_{\varepsilon }}{3}\) for some \(i^\star =1,2,3\). Lastly, with \(x_0={\hat{x}}_{i^\star }\), and taking into account that \( B_{L}(x_0) \cap B_{1 + \frac{\delta }{2}}({\hat{x}}) = \varnothing \) by (5.58), the claim is proved.
Now, define \(U(r):= |\Omega \cap B_{r}(x_0) |\). Then since U(r) is a continuous monotone increasing function and \(k_{x_0}(r)\) is a lower semi-continuous piecewise-constant function with a finite number of jumps, we have that \(S:= \Big \{ r \in [0, L]: U(r) \ge (4 \pi k_{x_0}(r) \varepsilon ^2)^{\frac{3}{2}} \Big \}=[a_1,b_1] \cup [a_2,b_2] \cup \ldots \cup [a_{q},b_{q}]\). By cutting and rescaling we will show that the set S is small whenever \(\delta \) is small. Let \(r \in S\). Create a minimizing candidate \( \left\{ \left( c \Omega _{x_0,r}^-, c X_{x_0,r}^- \right) , (B_{\varepsilon }^{1}(0), \{0\})^{k_{x_0} (r)} \right\} \), where
where from Lemma 5.7, \(\delta _0\) is chosen so that \(|\Omega _{x_0,r}^+ | <C \delta _0^\frac{3}{2}\) is small universal. Then by the minimality of \((\Omega , X)\) we have
Furthermore, from the argument in the proof of Lemma 5.6 we have that \(P(\Omega _{x_0,r}^-) < P(\Omega \cap B_{r}^c(x_0)) +2 {\mathcal {H}}^2( \Omega \cap \partial B_{r}(x_0))\), and from (5.60) and (5.59) we get that
Since \(|\Omega _{x_0,r}^+ | \le U(r)+ \frac{4 \pi }{3} k_{x_0}(r) \varepsilon ^3\), we get that
and using the assumption that \(r \in S\) gives
after possibly decreasing the value of \(\delta _0\).
We now apply the isoperimetric inequality to \(\Omega \cap B_{r}(x_0)\) in (5.63) to obtain
Since \(U(r) < C \delta _0^{\frac{3}{2}}\), we can pick \(\delta _0\) to give
Finally, since \(r \in S\) we have that \( \frac{\root 3 \of {36 \pi }}{4} U^{\frac{2}{3}}(r) \ge U^{\frac{2}{3}}(r) \ge 4 \pi k_{x_0}(r) \varepsilon ^2\). Thus
Noting that \(d U(r) / dr = {\mathcal {H}}^2( \Omega \cap \partial B_{r}(x_0))\) for a.e. r and integrating this expression for \(r \in [a_i,b_i]\) then gives us that
However, since by monotonicity of U(r) we have \(U(a_i) \ge U(b_{i-1})\), it holds that
At the same time, since we also have \(U^{\frac{1}{3}}(b_q) < C \sqrt{\delta _0}\) for some \(C > 0\) universal, we obtain that
whenever \(\delta _0 \le \left( \frac{\delta }{360 C} \right) ^2\), where \(C>0\) is a universal constant. In particular, the set S has a small measure controlled by \(\delta \), as claimed.
Now let \(r<L\) and \(r \in S^c\). Then from Lemma 5.6 and a comparison of the energy of \((\Omega , X)\) with that of \(\{ (\Omega _{x_0, r}^+, X_{x_0, r}^+), (\Omega _{x_0, r}^-, X_{x_0, r}^-)\}\) we get
since from the definition of L the diameter of \(\Omega \) is less or equal than \(2+ \delta + 12 L < 3+12L \). Thus, (5.70) implies that
However, we chose \(x_0\) and L so that \(k_{x_0}(L) \le \frac{N_\varepsilon }{3}\), which gives us that
for some new universal constant \(C^\prime >0\) that will change from line to line in the remainder of the proof. Furthermore, since \(r \in S^c\), \(U(r) < \left( 4 \pi k_{x_0}(r) \varepsilon ^2 \right) ^{\frac{3}{2}}\), which implies that \( \frac{U^{\frac{2}{3}}(r)}{4 \pi \varepsilon ^2} \le k_{x_0}(r)\). Thus
Integrating this expression from \([b_i,a_{i+1}]\), with \(a_{q+1}:=L\), gives us that
which again by monotonicity of U(r) implies that
From (5.69), we have that \(\sum _{i=1}^{q} (a_{i+1}-b_i) \ge \frac{L}{2}\), which gives that
However, from Lemma 5.7 we have that \(U(L) <C N_\varepsilon ^{\frac{3}{2}} \varepsilon ^{3}\), which implies that
Since \(L> \frac{\delta }{12}\), this gives that \(N_\varepsilon \le \frac{C'}{\delta ^2 \gamma ^2}\). Then by Lemma 5.7 we have
Finally, to arrive at a contradiction observe that the set \(\Omega \cap B_r^c({{\hat{x}}})\) must have a connected component whose diameter exceeds \(\frac{1}{2} \delta \). A slicing argument at scale \(\varepsilon \) then gives
for some universal constant \(C > 0\). Indeed, if a slice contains a charge then it trivially contains a volume of at least of order \(\varepsilon ^3\). If, however, the slice does not contain any charges, then it still contains at least that much volume by Lemma 5.5. Together, the above two inequalities give a contradiction for \( \varepsilon < C \delta ^4 \gamma ^3\), with \(C > 0\) universal. \(\square \)
5.3 Existence Results
We now proceed to proving our existence and non-existence results for \(\varepsilon \ll 1\). We begin by adapting the arguments in the proof of Lemma 5.8 to show that for not too large values of \(N_\varepsilon \) the diameter of all but the first component of a generalized minimizer must be small.
Lemma 5.9
There exist universal constants \(C,\delta >0 \) such that for \(1< N_\varepsilon < \frac{\delta }{\varepsilon ^2}\), if \(\{ (\Omega _1,X_1),\ldots (\Omega _k,X_k) \}\) is a generalized minimizer and \(i>1\), then \({\textrm{diam}} (\Omega _i) \le C \max \left( r_i, {\varepsilon \over \gamma ^3} \right) \), where \(r_i:= \left( {3 \over 4 \pi } |\Omega _i| \right) ^\frac{1}{3}\).
Proof
Let \(i>1\). First note that Lemma 5.3 provides an upper bound on \(| \Omega _i|\), which implies smallness of \(| \Omega _i|\) for \(\delta \) sufficiently small universal. If \(L_i:= {\textrm{diam}} (\Omega _i)\), then arguing by contradiction we may assume that \(L_i > C \max \left( r_i, {\varepsilon \over \gamma ^3} \right) \), where \(C>0\) is arbitrary. Arguing exactly as in the proof of Lemma 5.8 for the components \(\Omega _i\), we may then obtain the estimate
for some \(C' > 0\) universal: we can first find a point \(x_0 \in \partial \Omega _i\) such that \((\Omega _i)_{x_0,r}^+\) contains only a universally small fraction of the total number of charges \(|X_i|\), then by cutting and rescaling we get an analog of the estimate in (5.69) in which the right-hand side is instead bounded by a universal multiple of \(|\Omega _i|^\frac{1}{3}\), and finally by cutting and separating the pieces we get an analog of the estimate in (5.75) with \(C' \gamma \varepsilon |X_i| / L_i\) multiplying the sum in the right-hand side instead. This provides a contradiction by choosing \(C > C'\). \(\square \)
Our next lemma gives a precise characterization of the generalized minimizers when \(\gamma \) is sufficiently large universal.
Lemma 5.10
There exist universal constants \(\delta , \gamma _0>0 \) such that for \(1< N_\varepsilon < \frac{\delta }{\varepsilon ^2}\) and \(\gamma > \gamma _0\), if \(\{ (\Omega _1,X_1),\ldots (\Omega _k,X_k) \}\) is a generalized minimizer then up to translations it has the form \(\{ (\Omega _1,X_1), (B_{\varepsilon }(0), \{0\})^{k-1} \}\).
Proof
Without loss of generality, assume that \(k>1\) and consider \((\Omega _i,X_i)\) for \(i>1\). Arguing by contradiction, assume that \(|X_i|>1\) (the case of \(| X_i| \le 1 \) is taken care by Lemma 5.4). First note that from the definition of generalized minimizers and Lemma 5.3 we have that \(c \varepsilon ^3< | \Omega _i|< C |X_i|^{\frac{3}{2}} \varepsilon ^3 \) for some universal \(c, C>0\). Therefore, from Lemma 5.9 there exists \(\gamma _0>0\) such that if \(\gamma > \gamma _0\) then \( {\textrm{diam}} (\Omega _i) \le C |\Omega _i|^\frac{1}{3}\) for some universal \(C > 0\). Thus
Now construct a minimizing candidate by cutting one charge at \(x_0 \in X_i\) together with the ball \(B_\varepsilon (x_0)\) from \(\Omega _i\) and adding a new component \((B_\varepsilon (0), \{0\})\), i.e., consider a competitor \(\left\{ (\Omega _1,X_1), \ldots , (\Omega _i {\setminus } B_{\varepsilon }(x_0), X_i {\setminus } x_0), \ldots , (\Omega _k,X_k), (B_{\varepsilon }(0), \{0\}) \right\} \). Comparing the energies then yields
Since \(|X_i|\ge 2\), this gives \(\gamma \le 16 \pi C\), contradicting the assumption on \(\gamma \). Thus, for \(i>1\) we have that \(|X_i|=1\). \(\square \)
Proof of Theorem 3.3
First note that from Lemma 5.10, without loss of generality we may assume that our generalized minimizer takes the form \(\{ (\Omega _1,X_1), (B_{\varepsilon }(0), \{0\})^{k-1} \}\). Arguing by contradiction, assume that \(k > 1\). We will construct a competitor by bringing one of the isolated charges into \((\Omega _1,X_1)\) and reducing the total energy. Since \((\Omega _1,X_1)\) is a classical minimizer of \(E_\varepsilon \) in the admissible class \({\mathcal {A}}_{|\Omega _1|,|X_1|,\varepsilon }\), by considering a ball with \(|X_1|\) approximately hexagonally packed charges, from [40, Theorem C] we obtain
Note that in view of Lemma 5.2 the distance between the charges in this construction is at least of order \(\frac{1}{\sqrt{N_\varepsilon }}> \sqrt{\gamma \varepsilon } \gg \varepsilon \), for \(N_\varepsilon < \frac{1}{\gamma \varepsilon }\), \(\gamma > 1\) and \(\varepsilon \) small enough universal. Thus, letting \(X_1=\{x_1,x_2, \ldots , x_{|X_1|}\}\), by isoperimetric inequality we get that
in view of
for all \(\varepsilon \) sufficiently small universal. This implies that there exists \(x_{i^*} \in X_1\) such that
Consider \(d:=\frac{1}{2} \min \limits _{j \ne i^{*}} |x_{i^{*}}-x_j|\). First note that arguing as in (3.5) we have that
which implies that
whenever \(\gamma _0 \ge 64 \pi \). In addition, (3.5) implies \(|x_i -x_j| > c \gamma \varepsilon \) for \(i \ne j\) and some universal \(c>0\), which proves the statement about charge separation.
Let \(x_0 \in \Omega _1 \cap \partial B_{d}(x_{i^{*}})\), which exists since by Theorem 3.2 the set \(\Omega _1\) is connected. Now our hope is to place a charge inside of \(\Omega _1\) at \(x_0\) and lower the energy. Using (5.88), we have that \(x_0\) is sufficiently far away from all the charges:
Therefore, by Lemma 5.5 we have that
for some universal constant \(C > 0\). Thus, for \(\varepsilon \) small enough universal we can create a new minimizing candidate \(\{ c(\Omega _1 \cup B_{\varepsilon }(x_0), X_1 \cup \{x_0 \}), (B_{\varepsilon }(0), \{0\})^{k-2} \}\), where
in which the first inequality is due to (5.85). Thus, (5.90) with the isoperimetric inequality and (5.91) gives us the following upper bound on the perimeter of \(c(\Omega _1 \cup B_{\varepsilon }(x_0))\):
for \(\varepsilon \) small enough universal, where \(C' > 0\) is a universal constant and in the third inequality we used Lemma 5.1.
Lastly, we will obtain an upper bound on \(V_{\varepsilon }(c(X_1 \cup \{x_0 \}) ) \le V_{\varepsilon }(X_1 \cup \{x_0 \}).\) To do this, first note that from the definition of d we have
for all \(j \ne i^{*}\), while
for some \(j^*\not = i^*\). This gives us that
Now using (5.86), this gives that
Finally, combining the bound on the perimeter of \(c(\Omega _1 \cup B_{\varepsilon }(x_0))\) given in (5.92) with the bound on \(V_{\varepsilon }(c(X_1 \cup \{x_0 \})\) given in (5.96), we obtain
whenever \(|X_1|<N_\varepsilon <\frac{C' }{ 8 \gamma \varepsilon }\), a contradiction. Thus, generalized minimizers that are not classical minimizers cannot exist for these values of \(N_\varepsilon \), with \(\varepsilon \) sufficiently small and \(\gamma \) sufficiently large universal, and the existence statement of the theorem holds.
To conclude the proof of Theorem 3.3, let \(X = \cup _{i=1}^{N_\varepsilon } \{ x_i \}\) be the minimizing set of the positions of the charges.
To prove that each \(B_\varepsilon (x_i)\) touches \(\partial \Omega \), suppose that, to the contrary, there exists \(1 \le i^* \le N_\varepsilon \) such that \(B_\varepsilon (x_{i^*}) \Subset \Omega \). Therefore, \(x_{i^*}\) is a local minimizer of \(v_{i^*}(x):= \sum _{j \not = i^*} |x - x_j|^{-1}\), since otherwise it would be possible to lower the energy by slightly displacing the ball \(B_\varepsilon (x_{i^*}) \subset \Omega \) without touching the other balls \(B_\varepsilon (x_j)\) with \(j \not = i^*\). However, \(v_{i^*}\) is a harmonic function in some neighborhood of \(x_{i^*}\) and must, therefore, be constant there, which is impossible as \(v_{i^*}\) is a real analytic function in \(\mathbb {R}^3 \backslash \{X \backslash x_{i^*}\}\) that goes to infinity at \(X \backslash x_{i^*}\). \(\square \)
Proof of Theorem 3.4
Assume that \((\Omega ,X)\) is a classical minimizer. First note that for a fixed \(\gamma >0\), from Lemma 5.8 we have that \(\varepsilon _0,\delta >0\) can be chosen to make \(\Omega \subset B_2(x)\) for some \(x \in \mathbb {R}\), and by the same argument as above the Coulombic energy may be estimated from below by assuming that \(X \subset \partial B_{2}(x)\). Thus, Lemma 5.1, and [39, Theorem 2] imply that there exists a universal constant \(C_0>0\) such that
whenever \(N_\varepsilon > \frac{C}{\gamma \varepsilon }\) is large enough universal. Thus
a contradiction. \(\square \)
5.4 Convergence
Proof of Theorem 3.5
The fact that \(\Omega _n \subset B_{1+\delta }(0)\) for any \(\delta > 0\) and all \(n \in \mathbb N\) large enough, after suitable translations, follows from Lemma 5.8. Now, for N distinct points \(x_i \in \mathbb {R}^3\) define
Then by [36, Proposition 2.8] we have that \(\Gamma - \lim _{N \rightarrow \infty } F_N = F_\infty \) with respect to the weak convergence of probability measures in \(\mathbb {R}^3\), where
Therefore, for \(\mu _n:= {1 \over N_n} \sum _{x_i \in X_n} \delta _{x_i}\) we have that, upon suitable translations and extraction of subsequences, \(\mu _n \rightarrow \mu _\infty \) in the sense of measures as \(n \rightarrow \infty \), where \(\mu _\infty \) is a probability measure supported on \({\overline{B}}_1(0)\), and \(\liminf _{n \rightarrow \infty } F_{N_n}(\mu _n) \ge F_\infty (\mu _\infty )\). At the same time, testing the energy with \(\Omega = B_1(0)\) and uniformly distributed \(N_n\) points supported on \(\partial B_{1-\varepsilon _n}(0)\) (the existence of the latter follows from the construction of the recovery sequence for the above \(\Gamma \)-convergence, together with a scaling argument and the fact that \(N_n \ll \varepsilon _n^{-2}\), or an explicit construction in [40]), with the help of the isoperimetric inequality we obtain
Thus \(F_\infty ( \tfrac{1}{4 \pi } {\mathcal {H}}^2\lfloor _{\partial \Omega }) \ge F_\infty (\mu _\infty )\). However, \(\mu = \tfrac{1}{4 \pi } {\mathcal {H}}^2\lfloor _{\partial \Omega }\) is the unique minimizer of \(F_\infty \) among all probability measures supported on \({\overline{B}}_1(0)\). Hence \(\mu _\infty = \tfrac{1}{4 \pi } {\mathcal {H}}^2\lfloor _{\partial \Omega }\) and the limit is in fact a full limit. \(\square \)
6 Case of Two Charges
In this section, we give an explicit characterization of the minimizers in the simplest non-trivial case of \(N = 2\) point charges. Note that when \(N = 1\), the minimizer of \(E_\varepsilon \) is always a unit ball with the charge located anywhere inside.
6.1 Existence Results
For \(N=2\) and \(X=\{x_1,x_2\}\), the energy in (2.10) becomes simply
In this case, the energy of a generalized minimizer that is not classical is known explicitly and satisfies the estimate below.
Lemma 6.1
There exists a universal constant \(\varepsilon _0>0\) such that if \(\varepsilon <\varepsilon _0\) and a classical minimizer of the energy in (6.1) does not exist, then the generalized minimizer has the form \(\{(\Omega _1,\{x_1\}),(\Omega _2,\{x_2\}) \}\) with \(x_1, x_2 \in \mathbb {R}^3\), and
Proof
From Lemma 5.4, we have that all the components of a generalized minimizer have at least one charge. Hence in the absence of classical minimizers the generalized minimizer consists of precisely two components, each of which has exactly one charge. Thus each component of the generalized minimizer is a ball, and again by Lemma 5.4 we have \(|\Omega _2|= \frac{4\pi }{3} \varepsilon ^3\). Then
and the statement follows. \(\square \)
Using the density estimates from Lemma 5.5, we have that if \((\Omega ,X)\) is a minimizer to (6.1) then it is contained inside a ball of radius close to one.
Lemma 6.2
There exist universal constants \(\varepsilon _0, C >0\) such that if \(\varepsilon < \varepsilon _0\) and \((\Omega ,X)\) is a minimizer to (6.1) then \(\Omega \subset B_{1+ C \root 3 \of {\varepsilon }}(x_0)\) for some \(x_0 \in {\mathbb {R}}^3\).
Proof
Let \((\Omega ,X)\) be a minimizer. Then from Lemma 6.1 we have that
By quantitative isoperimetric inequality [14], this gives us a bound on the Fraenkel asymmetry of \(\Omega \), namely, that there exists \(x_0 \in {\mathbb {R}}^3\) and a universal constant \(C_0 > 0\) such that
Now assume that the claim of the lemma is false, i.e., that \(\Omega \) is not contained in \(B_{1+ C \root 3 \of {\varepsilon }}(x_0)\) for arbitrary \(C > 0\) and \(\varepsilon \) small enough. Then Lemma 5.5 tells us that there exist universal constants \(C_1 > 0\) and \(\varepsilon _0 > 0\) such that when \(\varepsilon < \varepsilon _0\) we have
which contradicts (6.5) for a suitable choice of C. \(\square \)
From the above lemmas, we have the following existence/non-existence result for classical minimizers.
Lemma 6.3
There exist universal constants \(\varepsilon _0, C>0\) such that if \(\varepsilon < \varepsilon _0\) and \(\gamma < \frac{8 \pi }{\varepsilon }-C\) then there exists a minimizer \((\Omega ,X)\) to (6.1) among all \((\Omega , X)\) admissible, and if \(\gamma > \frac{8 \pi }{\varepsilon }+ \frac{C}{\varepsilon ^{\frac{2}{3}}}\) then there is no minimizer.
Proof
If \(\gamma < \frac{8 \pi }{\varepsilon }-C\) and \(\varepsilon \ll 1\), then consider an admissible test configuration in the form of a ball with two charges at the opposite extremes, \((\Omega , X) = \big (B_{1}(0), \{ -(1 - \varepsilon ) e_1, (1- \varepsilon ) e_1 \} \big )\), for which we have
Picking \(C>16 \pi \), from (6.7) we then get that
Thus from Theorem 3.2 and Lemma 6.1, we have that the energy in (6.1) must have a classical minimizer.
To prove non-existence, note that when \(\gamma > \frac{8 \pi }{\varepsilon }+ \frac{C}{\varepsilon ^{\frac{2}{3}}}\), from Lemma 6.2 we have that for \((\Omega ,X)\) admissible and \(\varepsilon \ll 1\) there exists a universal constant \(C_0 > 0\) such that
whenever \(C> 4 \pi C_0\) and \(\varepsilon \) is sufficiently small. However, Lemma 6.1 implies that \((\Omega ,X)\) cannot be a minimizer and the Lemma is proved. \(\square \)
In the case \(N=2\), we can use rotational symmetry of the problem about the axis passing through the two charges to explicitly solve for global minimizers. Without loss of generality, let \(X = \{x_1, x_2\}\), with \(x_1\) and \(x_2\) located on the x-axis. Furthermore, let \( {\mathcal {T}} \Omega \) denote the Schwarz symmetrization of \(\Omega \) with respect to the x-axis, i.e. let
where \(A_x= \{(y,z) \in {\mathbb {R}}^2: (x,y,z) \in \Omega \}\) and \(A_x^*= B_{r}(0) \in {\mathbb {R}}^2\) such that \( {\mathcal {L}}^2 (A_x^*) = {\mathcal {L}}^2( A_x)\) denotes the two dimensional symmetric rearrangement of \(A_x\).
Lemma 6.4
Let \(N=2\), let \(x_1, x_2 \in \mathbb {R}\times (0,0)\) and let \((\Omega , \{x_1,x_2\}) \in {\mathcal {A}}_{m,N,\rho } \) be a minimizer of \(E_{\rho ,\lambda ,N}\). Then \(\Omega = {\mathcal {T}} \Omega \).
Proof
Note that from Fubini’s theorem we have that \(|{\mathcal {T}} \Omega | =| \Omega |=m \). Furthermore, \(|{\mathcal {T}} \Omega \cap B_{\rho }(x_1)| =|{\mathcal {T}} \Omega \cap B_{\rho }(x_2)| = | B_{\rho }(0) |\). To see this, note that \(| \Omega \cap B_{\rho }(x_1)|=| B_{\rho }(x_1) |\) implies that \( {\mathcal {L}}^2 (A_x) \ge {\mathcal {L}}^2( \{(y,z) \in {\mathbb {R}}^2: (x,y,z) \in B_{\rho }(x_1) \}) \) for almost every \(x \in {\mathbb {R}} \). Since \(\{(y,z) \in {\mathbb {R}}^2: (x,y,z) \in B_{\rho }(x_1) \}\) is also a ball in \({\mathbb {R}}^2\), we have that \(\{(y,z) \in {\mathbb {R}}^2: (x,y,z) \in B_{\rho }(x_1) \} \subset A_x^{*}\) for almost every \(x \in {\mathbb {R}} \). Thus, by Fubini’s theorem \(|{\mathcal {T}} \Omega \cap B_{\rho }(x_1)| =| B_{\rho }(x_1) |\), which gives that \(({\mathcal {T}} \Omega , \{x_1,x_2\})\) is also admissible.
By [4, Theorem 1.1], we have that \(P({\mathcal {T}} \Omega ) \le P(\Omega )\), so \({\mathcal {T}} \Omega \) is also a minimizer, and by minimality of the energy this inequality is in fact an equality. Therefore, by [4, Theorem 1.2] the sets \(\Omega \) and \({\mathcal {T}} \Omega \) are equal up to a translation in the yz-plane. The latter follows from the fact that as a minimizer the set \({\mathcal {T}} \Omega \) is open and connected, and away from \(B_\rho (x_1)\) and \(B_\rho (x_2)\) the set \(\Omega \) is a local volume-constrained minimizer of the perimeter, implying that \(\partial \Omega \) is analytic [30] and, hence, that the non-degeneracy assumptions of [4, Theorem 1.2] are satisfied.
Finally, assume by contradiction that \(\Omega = {\mathcal {T}} \Omega + v\) for some vector \(v\ne 0\) contained in the yz-plane. Since \({\mathcal {T}} \Omega \) contains the two balls \(B_\rho (x_{1,2})\), it follows that \(\Omega \) also contains the translated balls \(B_\rho (x_{1,2})+ \lambda v\), for all \(\lambda \in [-1,1]\). Therefore, each \(\partial B_\rho (x_{1,2})\) could touch \(\partial ({\mathcal {T}} \Omega )\) only at a point lying on the x-axis. But that is also impossible, since in that case \(\partial \Omega \) would be flat near those points, contradicting once again the analyticity of \(\partial \Omega \). Thus, \(B_\rho (x_{1,2})\) are both strictly contained in \({\mathcal {T}} \Omega \). However, the latter contradicts the minimizing property of \(({\mathcal {T}} \Omega , \{x_1, x_2\})\), since one could reduce the energy by moving \(B_\rho (x_{1,2})\) slightly further apart while still keeping them in \({\mathcal {T}} \Omega \). \(\square \)
Since, according to Lemma 6.4, every minimizer to (6.1) coincides with its Schwarz symmetrization around the axis connecting the two charges, it can be defined with the help of a profile function \(\varphi : \mathbb {R}\rightarrow [0, \infty )\), defining \(\Omega \), up to a rotation, as
By Theorem 3.2, the function \(\varphi \) is of class \(C^{1,1}\) on the set \(\{x \in \mathbb {R}: \varphi (x) > 0 \}\). Furthermore, the support of \(\varphi \) is a single bounded interval, and \(\varphi \) is smooth and solves the constant mean curvature equation outside the set of charges [8, 35, Section 3.6]:
Here \(H \in \mathbb {R}\) is the mean curvature of \(\partial \Omega {\setminus } (\partial B_{\varepsilon }(x_1) \cup \partial B_{\varepsilon }(x_2))\) defined as the average of the principal curvatures, positive if \(\Omega \) is convex.
Lemma 6.5
There exists a universal constant \(\varepsilon _0 > 0\) such that if \(\varepsilon <\varepsilon _0\), \(N=2\), \((\Omega , \{x_1,x_2\}) \in {\mathcal {A}}_{\frac{4 \pi }{3},N, \varepsilon } \), and \((\Omega , \{x_1,x_2\})\) is a minimizer to (6.1), then its free surface \(\partial \Omega {\setminus } (\partial B_{\varepsilon }(x_1) \cup \partial B_{\varepsilon }(x_2))\) is a single section of an unduloid.
Proof
By Lemma 6.4, every minimizer \((\Omega , \{x_1,x_2\})\) to (6.1) is rotationally symmetric, and away from the obstacles \(\partial B_\varepsilon (x_{1,2})\) the surface \(\partial \Omega \) satisfies (6.12) as a local minimizer of the perimeter [30]. Since by the volume constraint we have \(\varphi (x_0) > \varepsilon \) for all \(\varepsilon \) small enough universal, where \(x_0\) is the point of maximum of \(\varphi \), there holds \(H > 0\). Furthermore, we have \(H \le M\) for all \(\varepsilon \) small enough universal and some universal constant \(M > 0\). To see the latter, suppose to the contrary that \(H > M\) for any \(M > 0\) and some \(\varepsilon \) sufficiently small. Then for all \(\varphi (x) \ge 1 / M > \varepsilon \) in a neighborhood of \(x_0\) we have by (6.12):
In particular, \(\varphi \) takes the value \(\varphi (x_1) = 1/M > \varepsilon \) at some \(x_1 < x_0\) for \(\varepsilon \) sufficiently small and is concave on \([x_1, x_0]\). We now multiply (6.13) by \(\varphi '(x) \ge 0\) and integrate over \([x_1, x_0]\) to obtain
which yields \(\varphi (x_0) \le 2 / M\), again contradicting the volume constraint for large enough M.
In view of \(H > 0\), the profile function \(\varphi \) must satisfy [8, 35, Section 3.6]
for some \(C_0 \in \mathbb {R}\) away from the set of charges. Furthermore, when the free surface \(\partial \Omega \backslash (\partial B_\varepsilon (x_1) \cup \partial B_\varepsilon (x_2))\) touches the obstacle, say, \(\partial B_\varepsilon (x_1)\) at height h (distance from the x-axis), then from the \(C^{1,1}\) regularity of the minimizers the tangency condition at the point of contact gives
Rewriting this equation by solving for the positive height of contact h, gives that h is unique for fixed \(C_0\), H, and \(\varepsilon \), whenever \(\varepsilon \) small enough universal. This tells us that a segment of \(\varphi \) satisfying (6.15) must leave and connect to the obstacles at the same height.
If \(C_0 <0\), then (6.15) gives that the graph of \(\varphi \) is an arc of a nodary curve. However, this is impossible. To see why, first notice that a nodary curve can only touch the upper hemisphere of \(B_\varepsilon (x_1)\). Hence the value of \(\varphi \) at which the nodary has a vertical slope satisfies \(\varphi ^2 = -C_0 / H < h^2\). At the same time, since H is uniformly bounded, from (6.16) with \(C_0 < 0\) and all \(\varepsilon \) sufficiently small universal we obtain
a contradiction. Thus, \(C_0 \ge 0\).
If \(C_0=0\), we get that \(\Omega \) is a ball of radius one, which is the limit case of \(C_0 >0\) and for which the charges would touch the boundary of the ball from inside at the diametrically opposite points. However, it is not difficult to see that this is impossible, using a first variation type argument by displacing the charges further away by distance \(0 < \delta \ll 1\) and gaining \(O(\delta )\) in the Coulombic energy, while losing only \(O(\delta ^2)\) in the perimeter. Hence \(C_0 >0\), and we get that the graph of \(\varphi \) is an arc of an elliptic catenary creating a corresponding unduloid section as its surface of revolution. Up to translations we will characterize an unduloid by its minimum height a and its maximum height c. Thus, \(\Omega \) is the graph of \(\varphi \) that consists of arcs of elliptic catenary curves.
To show that \(\varphi \) contains only one section of an elliptic catenary arc, note that the maximum height \(c_1\) of at least one elliptic catenary arc contained in \(\varphi \) satisfies
where o(1) is with respect to \(\varepsilon \ll 1\). This follows directly from our volume constraint and Lemma 6.2. Furthermore, let \(a_1 \le \varepsilon \) denote the minimum height of this elliptic catenary. Thus, the mean curvature of the unduloid formed by this elliptic catenary arc is given by
Since the mean curvature of the free surface is constant, this implies that
Assume that the graph of \(\varphi \) contains more than one elliptic catenary arc, then at least one arc must contact the same charge at two distinct points. Furthermore, (6.16) implies that both contact points happen at the same height \(0<h< \varepsilon \). Now let \(a_2\) and \(c_2\) denote the minimum and maximum of this elliptic catenary, then for \(\varepsilon \) sufficiently small (6.20) gives us that \(c_2= 1+ o(1)\). However, for sufficiently small \(\varepsilon \) this is impossible, since the elliptic catenary contacts the same charge at two distinct points. \(\square \)
Here we state the following parametrization for an elliptic catenary, which is obtained from [24].
Lemma 6.6
Up to translations, one period of an elliptic catenary with minimum height a and maximum height c has the following parametrization:
and
where \(-\frac{\pi }{2} \le t \le \frac{3 \pi }{2}\), F(u, k) is the elliptic integral of the first kind, and E(u, k) is the elliptic integral of the second kind which are defined as,
and
From the parametrization given in Lemma 6.6 and Lemmas 6.5 and 6.2 we have the following result.
Lemma 6.7
There exists a universal constant \(\varepsilon _0>0\) such that if \(\varepsilon < \varepsilon _0\) and if \((\Omega ,\{x_1, x_2\})\) is a minimizer to (6.1), then the profile function of the free surface \(\partial \Omega {\setminus } (\partial B_{\varepsilon }(x_1) \cup \partial B_{\varepsilon }(x_2))\) is a graph of a single arc of an elliptic catenary that has exactly one maximum.
Proof
Let \(\varphi \) be the profile function defined in (6.11). Then by Lemma 6.5 the graph of \(\varphi \) must consist of a single arc of an elliptic catenary. Thus, we must show that \(\varphi \) has exactly one maximum. To do this, define M to be the number of maximum points of \(\varphi \). First, note that M is nonzero, since if \(M=0\) then Lemma 6.2 implies that we cannot satisfy our volume constraint.
Now assume that \(M>1\), and let h be the height of contact between \(\varphi \) and the charges. Using the parametrization given in Lemma 6.6, we can find a lower bound on the distance between the two contact points, which gives us that
where
However, as \(\varepsilon \xrightarrow [] 0\) we have that \(a \xrightarrow [] 0\) and \(c \xrightarrow [] 1\). Thus, (6.25) implies that
and we have that \(\varepsilon _0\) can be chosen small enough universal to provide a contradiction to Lemma 6.2. \(\square \)
Lastly, we state some expansions for elliptic integrals.
Lemma 6.8
Let F(u, k) and E(u, k) be the incomplete elliptic integrals of the first and second kind as defined in (6.23) and (6.24), then
and
Here and below we are using the notation \({\text {O}}\left( a, b\right) \), etc., to denote the quantities that are bounded by universal multiples of \(\max ( |a|, |b| )\) for \(|a|, |b| \ll 1\).
6.2 Classification of Cases
Let \((\Omega ^*,X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) be a minimizer to (6.1), then from Lemma 6.7, we have that \(\Omega ^*\) falls into one of three cases. In case 1, we have that the free surface of \(\Omega ^*\) has the profile function whose graph is an arc of an elliptic catenary that does not attain its minimum value a. In case 2, we have that this elliptic catenary arc attains its minimum value a at exactly one point. Lastly, in case 3, this elliptic catenary arc obtains its minimum value a at exactly two points. These three alternatives are illustrated in Fig. 4. Thus, from here on we only need to consider test configurations \((\Omega ,X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\), which fall into one of the three cases defined above. Furthermore, without loss of generality we define the maximum of the profile function to be located at (0, c), which is consistent with the parametrization given in Lemma 6.6 and fixes translations along the x-axis.
In case 1, the unduloid arc joining the two charges does not attain its minimum and the minimizer is symmetric about the z-axis. In this case, we have that our minimizer is of the form \(\left( \Omega ^*, \{ (-\frac{L}{2},0,0),(\frac{L}{2},0,0) \} \right) \), where L is the distance between the charges. For a case 1 test configuration we have the following lemma, which implicitly expresses the energy as a function of the contact height h (see Fig. 5 for a schematic of a case 1 test configuration).
Lemma 6.9
Let \((\Omega , X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) be a case 1 test configuration with contact height h. Then
where
and c is given implicitly by
Proof
Let the unduloid section that joins the two charges have minimum height a and maximum height c. Since the charges contact the unduloid section at height h, we can use the parameterization given in (6.22) to find that the contact between the unduloid and the right charge happens when \(t = t_0\), with \(t_0\) defined in (6.36). Then from (6.21) we obtain that
where L is the distance between the charges. Now, since our unduloid has mean curvature \(H= \frac{1}{a+c} \), from (6.15) we have that each monotone arc of our elliptic catenary is given by the equation,
Thus, our tangency condition between the charges and the elliptic catenary implies (6.35). In addition, calculating the volume of the unduloid section, which is given in [24], and accounting for the volume of the excess charges gives (6.37). Finally, (6.38) explains the interaction energy given in (6.34), and the perimeter term is derived directly from accounting for the surface area of the unduloid section (given in [24]) and the surface area over the charges. \(\square \)
We now proceed to cases 2 and 3.
Lemma 6.10
Let \((\Omega , X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) be a case 2 test configuration with contact height h. Then
where a is given by (6.35) and c is given implicitly by
Proof
Note that the equation for a comes from the tangency condition, as in Lemma 6.9. Furthermore, (6.40) and (6.41) follow directly from [24]. \(\square \)
Lemma 6.11
Let \((\Omega , X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) be a case 3 test configuration with contact height h. Then
where the equations for a and \(t_0\) are given by (6.35) and (6.36), respectively, and c is given implicitly by
Proof
Note that for case 3 candidates our tangency condition between the charges and the elliptic catenary remains unchanged. Furthermore, the distance between charges and the volume and surface area of the unduloid section follow directly from [24]. \(\square \)
In the remainder of the paper we carry out an asymptotic expansion of the energy for the three cases considered above and characterize the global energy minimizers for \(\varepsilon \) small.
Proposition 6.12
There exists a universal \(\varepsilon _0>0\) such that if \(\varepsilon < \varepsilon _0\) and \((\Omega , X)\in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) is a case 1 test configuration with contact height \(h \le \varepsilon \) then
whenever \(h> \frac{\varepsilon }{2}\). Furthermore, we have
whenever \(h \le \frac{\varepsilon }{2}\).
Proof
Let \((\Omega ,X)\) be a case 1 test configuration with contact height h. Now we will expand the expressions for the energy of \((\Omega , X)\) and volume of \(\Omega \) given in Lemma 6.9 in terms of \(\varepsilon \) and the contact height \(0< h \le \varepsilon \). To do this, first we will obtain a lower bound on the energy in the regime where \(h > \frac{\varepsilon }{2}\).
Let \(h > \frac{\varepsilon }{2}\).
Using the notation from Lemma 6.9, we have that the minimum a of the extended unduloid section of \(\Omega \) is given by,
This gives us that
Since \(h > \frac{\varepsilon }{2} \), from (6.46), (6.47), and (6.32) we get that
and from (6.46), (6.47), and (6.33) we get
Expanding our volume constraint given in (6.37) we obtain
Thus, (6.50) implies
Lastly, using (6.48), (6.49), and (6.51) to expand the contribution of the perimeter to our energy given in (6.34), we obtain
for \(\varepsilon < \varepsilon _0\) with \(\varepsilon _0\) small enough. This proves (6.44).
Now we move on to the case where
First note that from (6.30), (6.46), (6.47), and (6.53) we get that
and from (6.31), (6.46), (6.47), and (6.53) we also have that
Thus, from (6.54), (6.55), and (6.34) we get that
Furthermore, from expanding our volume constraint given in (6.37) we get that
Expanding (6.57) we get that
Now we introduce the new variable \(\alpha \), which is defined via
Thus, (6.58) allows us to express h in terms of \(\alpha \),
Finally, plugging (6.60) into (6.56) we obtain the following leading order equation for the energy:
Simplifying further gives
which gives us
Furthermore, we use (6.60) to convert (6.63) into
which completes the proof. \(\square \)
Proposition 6.13
There exists a universal \(\varepsilon _0>0\) such that if \(\varepsilon < \varepsilon _0\) and \((\Omega , X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) is a case 2 test configuration then \((\Omega , X) \) cannot be a minimizer to (6.1).
Proof
We will argue by contradiction. Thus, first assume that \((\Omega , X)\) is a case 2 minimizer with contact height h. Now we will expand the expressions for the energy of \((\Omega , X)\) and volume of \(\Omega \) given in Lemma 6.10 in terms of \(\varepsilon \) and the contact height \(0< h \le \varepsilon \). To do this, first note that from (6.28) and (6.35) we have
and from (6.29) and (6.35) we get
Expanding the the volume constraint given in (6.41) gives us
Using (6.65) and (6.66) we expand the energy given in (6.40), to obtain
Furthermore, (6.67) implies that
and from (6.68) and (6.69) we get
Lastly, since we assumed that \(\left( \Omega , X \right) \) is a minimizer, from considering the test configuration given by \(\big (B_{1}(0,0,0), \{ (\varepsilon -1,0,0),(1- \varepsilon ,0,0) \} \big )\) we obtain
Thus, for \(\varepsilon < \varepsilon _0\) small enough, (6.71) implies that
However, this implies that \(\gamma > -\frac{c_0}{\varepsilon ^2 \log (\varepsilon )}\), where \(c_0>0\) is a universal constant, which contradicts Lemma 6.3 for \(\varepsilon < \varepsilon _0\) small enough. Thus, \((\Omega , X ) \) cannot be a minimizer. \(\square \)
Proposition 6.14
There exists a universal \(\varepsilon _0>0\) such that if \(\varepsilon < \varepsilon _0\) and \((\Omega , X) \in {\mathcal {A}}_{\frac{4 \pi }{3},2,\varepsilon }\) is a case 3 test configuration then \((\Omega , X) \) cannot be a minimizer to (6.1).
Proof
Assume that \((\Omega , X)\) is a case 3 minimizer with contact height h. Now we will expand the expressions for the energy of \((\Omega , X)\) and volume of \(\Omega \) given in Lemma 6.11 in terms of \(\varepsilon \) and the contact height \(0< h \le \varepsilon \).
However, first we will eliminate the regime where \(h > \frac{\varepsilon }{2} \). To do this, assume that \(h > \frac{\varepsilon }{2} \), then from (6.28) and (6.35) we get
and from (6.29) and (6.35) we get
Since by assumption \(h > \frac{\varepsilon }{2} \), from (6.32), (6.35) and (6.36) we get that
and from (6.33), (6.35) and (6.36) we get
Thus, using (6.73), (6.74), (6.75), and (6.76) to expand the contribution of the perimeter to (6.42), we obtain
and from our volume constraint given in (6.43) we obtain
which implies that
Thus, from (6.77) and (6.79) we get that
which contradicts Lemma 6.1 whenever \(\varepsilon < \varepsilon _0\) with \(\varepsilon _0\) small, and we conclude that (6.53) holds.
Now from (6.30), (6.31), (6.35), (6.36) and (6.53) we obtain
and
Using (6.73), (6.74), (6.81), and (6.82) to expand the contribution of perimeter to (6.42) we obtain
and from our volume constraint given in (6.43) we obtain
Thus, from (6.84) we have
Lastly, from (6.85), (6.53), and (6.83) we obtain
for \(\varepsilon < \varepsilon _0\) with \(\varepsilon _0\) small. Thus, from Lemma 6.1 we conclude that \((\Omega , X )\) cannot be a minimizer. \(\square \)
Theorem 6.15
There exist universal constants \( C, \; C_1, \; \varepsilon _0 >0\) such that if \(\varepsilon < \varepsilon _0\) and \(\gamma < \frac{8 \pi }{\varepsilon }-C\) then there exists a unique, up to translations and rotations, minimizer \((\Omega ^*, \{ (-\frac{L^*}{2},0,0),(\frac{L^*}{2},0,0) \})\) to (6.1). Furthermore, it is a case 1 configuration, and if \(\frac{C_1}{\log {\varepsilon ^{-1}}}<\gamma < \frac{8 \pi }{\varepsilon }-C\), then
and \((\Omega ^*, \{ (-\frac{L^*}{2},0,0),(\frac{L^*}{2},0,0) \} )\) has contact height \(h^*\) satisfying
Proof
First note that the existence and rotational symmetry of a minimizer follows directly from Theorem 3.2, Lemma 6.3 and Lemma 6.4. Furthermore, Lemma 6.7 implies that this minimizer is either a case 1, case 2, or case 3 configuration. Thus, Propositions 6.13 and 6.14 rule out all but a case 1 minimizer \((\Omega ^*, \{ (-\frac{L^*}{2},0,0),(\frac{L^*}{2},0,0) \})\).
Let \(h^*\) be the contact height of the minimizer above. Then from (6.44) and Lemma 6.1 we conclude that
Thus, from (6.45) we conclude that
Now let \( \left( \Omega , \left\{ \left( -\frac{L}{2},0,0 \right) , \left( \frac{L}{2},0,0 \right) \right\} \right) \) be a case 1 candidate minimizer with a contact height h given by
From the minimality of \(\left( \Omega ^*, \left\{ \left( -\frac{L^*}{2},0,0 \right) , \left( \frac{L^*}{2},0,0 \right) \right\} \right) \) and from (6.45) and (6.92) we obtain
Thus
Now note that (6.95) implies that
since otherwise (6.95) implies
However, this implies
Now pick \(\varepsilon _0>0\) so that \(| \log {(\gamma \varepsilon ^4)}|> {\text {O}}\left( \frac{\gamma +1}{\gamma }\right) \), then (6.98) provides a contradiction. Thus, (6.96) holds.
Finally, let
then from (6.95) we obtain
If \(h_e>0\), then (6.99) implies \(h^*> \root \of {\frac{\gamma \varepsilon ^4}{8 \pi }}\), and (6.100) gives
Thus,
Now (6.102) and (6.99) imply that
whenever \(h^*\le \varepsilon < \varepsilon _0\) is sufficiently small.
If \(h_e <0\), then from (6.99) we have \(0<h^*< \root \of {\frac{\gamma \varepsilon ^4}{8 \pi }}\) and (6.100) implies
Furthermore, (6.96) implies that \(h_e \ge \frac{\sqrt{\gamma \varepsilon ^4}}{8} - \frac{\sqrt{\gamma \varepsilon ^4}}{\sqrt{8 \pi }} \). Thus, from (6.104) we obtain
Hence, (6.103) and (6.105) imply that
Thus, from (6.92) and (6.106) we obtain
Lastly, from (6.54), (6.55), and (6.34) we obtain
To conclude the proof, observe that \((\Omega ^*, \{ (-\frac{L^*}{2},0,0),(\frac{L^*}{2},0,0) \})\) is unique, since expanding the second derivative of (6.34) gives
which implies that \({{\hat{E}}}_\varepsilon (h)\) is strictly convex in the neighborhood of the minimum. \(\square \)
Proof of Theorem 3.6
The proof is obtained by combining the statements of Propositions 6.13 and 6.14 with that of Theorem 6.15. \(\square \)
Data availability
The manuscript contains no associated data.
References
Abbas, M.A., Latham, J.: The instability of evaporating charged drops. J. Fluid Mech. 30, 663–670, 1967
Abdurahimov, L.V., Levchenko, A.A., Mezhov-Deglin, L.P., Khalatnikov, I.M.: The surface instability of liquid hydrogen and helium. Low Temp. Phys. 38, 1013–1025, 2012
Almgren, F.J., Jr.: Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints. Mem. Am. Math. Soc. 4, viii+199, 1976
Barchiesi, M., Cagnetti, F., Fusco, N.: Stability of the steiner symmetrization of convex sets. J. Eur. Math. Soc. 15, 1245–1278, 2013
Barranco, M., Guardiola, R., Hernández, S., Mayol, R., Navarro, J., Pi, M.: Helium nanodroplets: an overview. J. Low Temp. Phys. 142, 1–81, 2006
Choksi, R., Muratov, C.B., Topaloglu, I.: An old problem resurfaces nonlocally: Gamow’s liquid drops inspire today’s research and applications. Notices Am. Math. Soc. 64, 1275–1283, 2017
De Philippis, G., Hirsch, J., Vescovo, G.: Regularity of minimizers for a model of charged droplets. Commun. Math. Phys. 401, 33–78, 2023
Delaunay, C.: Sur la surface de révolution dont la courbure moyenne est constante. J. Math. Pures Appl. 6, 309–315, 1841
Doyle, A., Moffett, D.R., 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.: Coulomb fission: Rayleigh jets from levitated microdroplets. Nature 421, 128–128, 2003
Fenn, J.B.: Ion formation from charged droplets: roles of geometry, energy, and time. J. Am. Soc. Mass Spectrom. 4, 524–535, 1993
Fernández de la Mora, J.: The fluid dynamics of Taylor cones. Ann. Rev. Fluid Mech. 39, 217–243, 2007
Frank, R.L., Nam, P.T.: Existence and nonexistence in the liquid drop model. Calc. Var. Partial Differ. Equ. 60, 223, 2021
Fusco, N., Maggi, F., Pratelli, A.: The sharp quantitative isoperimetric inequality. Ann. Math. 168, 941–980, 2008
Gamow, G.: Mass defect curve and nuclear constitution. Proc. Roy. Soc. London A 126, 632–644, 1930
Gaskell, S.J.: Electrospray: principles and practice. J. Mass Spectrom. 32, 677–688, 1997
Giglio, E., Gervais, B., Rangama, J., Manil, B., Huber, B.A., Duft, D., Müller, R., Leisner, T., Guet, C.: Shape deformations of surface-charged microdroplets. Phys. Rev. E 77, 036319, 2008
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.: Rigidity of the ball for an isoperimetric problem with strong capacitary repulsion. J. Eur. Math. Soc., 2024
Goldman, M., Ruffini, B.: Equilibrium shapes of charged droplets and related problems. Geom. Flows. (mostly) Rev. 2, 94–104, 2017
Gomez, A., Tang, K.: Charge and fission of droplets in electrostatic sprays. Phys. Fluids 6, 404–414, 1994
Gor’kov, L.P., Chernikova, D.M.: Concerning the structure of a charged surface of liquid helium. JETP Lett. 18, 68–70, 1973
Grimes, C.C., Adams, G.: Evidence for a liquid-to-crystal phase transition in a classical, two-dimensional sheet of electrons. Phys. Rev. Lett. 42, 795–798, 1979
Hadzhilazova, M., Mladenov, I.M., Oprea, J.: Unduloids and their geometry. Archivum Mathematicum (Brno) 43, 417–429, 2007
Iribarne, J.V., Thomson, B.A.: On the evaporation of small ions from charged droplets. J. Chem. Phys. 64, 2287–2294, 1976
Kebarle, P., Peschke, M.: On the mechanisms by which the charged droplets produced by electrospray lead to gas phase ions. Analytica Chimica Acta 406, 11–35, 2000
Knüpfer, H., Muratov, C.B., Novaga, M.: Low density phases in a uniformly charged liquid. Comm. Math. Phys. 345, 141–183, 2016
Labowsky, M.: Discrete charge distributions in dielectric droplets. J. Colloid Interface Sci. 206, 19–28, 1998
Rayleigh, Lord: On the equilibrium of liquid conducting masses charged with electricity. Phil. Mag. 14, 184–186, 1882
Maggi, F.: Sets of Finite Perimeter and Geometric Variational Problems, vol. 135. Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (2012)
Merlet, B., Pegon, M.: Large mass rigidity for a liquid drop model in \(2\)D with kernels of finite moments. J. l’École polytech. Math. 9, 63–100, 2022
Mukoseeva, E., Vescovo, G.: Minimality of the ball for a model of charged liquid droplets. Ann. Inst. H. Poincaré Anal. Non Linéaire 40, 457–509, 2023
Muratov, C.B., Novaga, M.: On well-posedness of variational models of charged drops. Proc. R. Soc. A 472, 20150808, 2016
Novaga, M., Onoue, F.: Existence of minimizers for a generalized liquid drop model with fractional perimeter. Nonlinear Anal. 224, 113078, 2022
Oprea, J.: Differential Geometry and Its Applications. Mathematical Association of America, Washington (2007)
Serfaty, S.: Coulomb Gases and Ginzburg-Landau Vortices, volume 21 of Zurich Lectures in Advanced Mathematics. Eur. Math. Soc., 2015.
Taylor, G.I.: Disintegration of water drops in an electric field. Proc. Roy. Soc. A 280, 383–397, 1964
Tsao, C.-C., Lobo, J.D., Okumura, M., Lo, S.-Y.: Generation of charged droplets by field ionization of liquid helium. J. Phys. D Appl. Phys. 31, 2195–2204, 1998
Wagner, G.: On means of distances on the surface of a sphere (lower bounds). Pac. J. Math. 144, 389–398, 1990
Wagner, G.: On means of distances on the surface of a sphere. II (upper bounds). Pac. J. Math. 154, 381–395, 1992
Zeleny, J.: The electrical discharge from liquid points, and a hydrostatic method of measuring the electric intensity at their surfaces. Phys. Rev. 3, 69–91, 1914
Zeleny, J.: Instability of electrified liquid surfaces. Phys. Rev. 10, 1–6, 1917
Acknowledgements
The work of C.B.M. was supported, in part, by NSF via grant DMS-1908709. M. N. was supported by the PRIN 2022 Project 2022E9CF89. C. B. M. and M. N. are members of INdAM/GNAMPA and acknowledge the MUR Excellence Department Project awarded to the Department of Mathematics, University of Pisa, CUP I57G22000700001. This study also received funding from the European Union - Next Generation EU - PRIN 2022 PNRR Project P2022WJW9H.
Funding
Open access funding provided by Università di Pisa within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The Authors declare no Conflict of interest.
Additional information
Communicated by A. Figalli.
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
Muratov, C.B., Novaga, M. & Zaleski, P. A Variational Model of Charged Drops in Dielectrically Matched Binary Fluids: The Effect of Charge Discreteness. Arch Rational Mech Anal 248, 76 (2024). https://doi.org/10.1007/s00205-024-02012-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-024-02012-9