Abstract
The seminal results of Bourgain et al. (Optimal Control and Partial Differential Equations, IOS, Amsterdam, 2001) and Dávila (Calc Var Partial Differ Equ 15(4):519–527, 2002) show that the classical perimeter can be approximated by a family of nonlocal perimeter functionals. We consider a corresponding second order expansion for the nonlocal perimeter functional. In a special case, the considered family of energies is also relevant for a variational model for thin ferromagnetic films. We derive the \(\Gamma \)–limit of these functionals as \(\epsilon \rightarrow 0\). We also show existence for minimizers with prescribed volume fraction. For small volume fraction, the unique, up to translation, minimizer of the limit energy is given by the ball. The analysis is based on a systematic exploitation of the associated symmetrized autocorrelation function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of Main Results
The seminal results of Bourgain et al. [8] and Dávila [19] show that the classical perimeter can be approximated by a family of nonlocal perimeter functionals. In a slightly reformulated setting this implies that for any function \(u\in BV({{{\mathbb {T}}}_\ell },\{0,1\})\) we have
for a family of kernels \(K_\epsilon :\mathbb {R}^d\rightarrow [0,\infty )\), \(K_\epsilon \in L^1(B_1)\), \(K_\epsilon (z)=K_\epsilon (|z|)\) and which asymptotically have a singularity at the origin as \(\epsilon \rightarrow 0\) (see (3)–(4) below). Here, \({{{\mathbb {T}}}_\ell }\) is the flat torus with sidelength \(\ell >0\), Furthermore, \(M_\epsilon \) is defined by
for \(\epsilon >0\) and where \(\omega _{d}\) is the volume of the unit ball in \(\mathbb {R}^d\). In this paper we consider the corresponding second order expansion for the nonlocal perimeter functional, i.e. we consider the family of energies
We assume that the kernels satisfy \(K_\epsilon {\rightarrow } K_0\) for \(\epsilon \rightarrow 0\) almost everywhere in \(\mathbb {R}^d\), where the convergence is monotonically increasing in \(B_1\) with
We note that \(K_0\) is nonnegative, because the kernels \(K_\epsilon \) are assumed to be nonnegative. In particular, this includes the following kernels
We denote the corresponding energies by \({\mathcal {E}}_\epsilon ^{(i)}\) for \(i = 1,2,3\). When \(d = 2\), \({\mathcal {E}}_\epsilon ^{(1)}\) is a sharp interface version of a problem from micromagnetism for thin plates with perpendicular anisotropy [31, 34, 39, 42]. In this setting, \(\{u=1\}\) and \(\{u=0\}\) are the magnetic domains where the magnetization points either upward or downward. The interfacial energy penalizes interfaces between the magnetic domains, while the nonlocal term describes the dipolar magnetostatic interaction energy between the domains. For \({\mathcal {E}}_\epsilon ^{(2)}\), the nonlocal term in the energy (2) is the so-called fractional perimeter \(P_s(\Omega )\) with \(s=1-\epsilon \) of the set \(\Omega {:}{=}{{\,\textrm{spt}\,}}u\) (see e.g. [9,10,11, 35]), and the functional is the second order asymptotic expansion of the fractional perimeter as \(s\nearrow 1\). The third energy \({\mathcal {E}}_\epsilon ^{(3)}\) shows that our model also includes some cases where the nonlocal term in the energy is more singular in terms of its scaling than the perimeter.
In the first two cases (5)–(6), the nonlocal term and the perimeter term in (2) both formally have the same scaling for \(\epsilon = 0\). However, due to the non-integrability of the kernel \(r^{-d}\) we have \(M_\epsilon \rightarrow \infty \), and both terms in (2) are infinite for \(\epsilon = 0\). In our analysis we show that the singularity of these two terms cancels in the leading order, and we calculate the remainder which describes the limiting behaviour of (2) for \(\epsilon \rightarrow 0\). Our main result establishes compactness and \(\Gamma \)-convergence for the family of energies (2):
Theorem 1.1
Let \(K_\epsilon \nearrow K_0\) where \(K_0\) satisfies (3)–(4).
-
(i)
(Compactness) For any family \(u_\epsilon \in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) with \(\sup _\epsilon {\mathcal {E}}_\epsilon (u_\epsilon )<\infty \), there exists \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) and a subsequence (not relabelled) such that
$$\begin{aligned} u_\epsilon \rightarrow u \text { in } L^1({{{\mathbb {T}}}_\ell }) \quad \text { and } \quad \int _{{{\mathbb {T}}}_\ell }|\nabla u_\epsilon | \ \rightarrow \ \int _{{{\mathbb {T}}}_\ell }|\nabla u| \qquad \hbox { for}\ \epsilon \rightarrow 0. \end{aligned}$$ -
(ii)
(\(\Gamma \)-convergence) \({\mathcal {E}}_\epsilon {\mathop {\rightarrow }\limits ^{\Gamma }}{\mathcal {E}}_0\) in the \(L^1\)–topology, where
(8)for \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) and \({\mathcal {E}}_0(u)=+\infty \) otherwise.
In fact, statement (i) of Theorem 1.1 is a consequence of the fact that we have a uniform BV estimate for our family of energies (2) as stated in Proposition 3.1. The \(\Gamma \)-convergence result demonstrates that the functional \({\mathcal {E}}_0\), given in (8), is the second order of the asymptotic expansion for the nonlocal perimeter functional and quantifies asymptotically the error in the approximation (1). For the notion of \(\Gamma \)–convergence we refer to e.g. [18, 20].
A key observation for our analysis is that both interfacial energy and nonlocal energy can be expressed solely in terms of the autocorrelation function
In particular, the energies \({\mathcal {E}}_\epsilon \) for \(\epsilon \ge 0\) can be written in terms of the autocorrelation function in the form
for \(\epsilon \ge 0\), cf. Proposition 2.6 for the radially symmetrized expression. We note that the new formulated energy has a simpler structure: it is linear in the space of autocorrelation functions. This leads to easier proofs for the \(\Gamma \)-convergence for more general kernels compared with the existing literature, e.g. [12, 39]. We note that the method of autocorrelation function can also be used for a simpler proof of Dávila’s result [19], see “Appendix A”. We have chosen a periodic setting, but our methods can also be used to derive corresponding results for the corresponding full space problem.
We next comment on our assumptions on the kernels \(K_\epsilon \): Since in this paper we are interested in the second order asymptotic expansion for the perimeter, we assume that (3) holds, i.e. \(K_\epsilon \rightarrow K_0\) as \(\epsilon \rightarrow 0\) for some measurable function \(K_0:\mathbb {R}^d\rightarrow \mathbb {R}_+\) with \(\Vert K_0\Vert _{L^1(\mathbb {R}^d)}=\infty \) where the convergence is monotone in \(B_1\). Furthermore, the assumption (4) ensures that the energy is well-defined. We also note that the monotone convergence of \(K_\epsilon \) is used for the proof of the \(\Gamma \)-convergence of \({\mathcal {E}}_\epsilon \) (cf. Theorem 3.2) to avoid the concentration effect. It might be possible to weaken this assumption, but this was not our aim in this paper.
We note that the use of the autocorrelation function is taylored to sharp interface problems, since the perimeter functional can be encoded as the derivative of its symmetrized version (cf. Prop. 2.4(v)). In particular, the extension of the above result to the corresponding diffuse interface model with a \(W^{1,p}\) norm instead of the perimeter term is not straightforward, though it would certainly be interesting to explore this question. Another interesting aim would be to extend the result to non–radial kernels. This might be feasible using the method of the autocorrelation function.
While autocorrelation functions are natural and often used tools in physics and stochastic geometry, they seem not have been used in the context of nonlocal isoperimetric problems before. We note that the idea of linearization of the problem by a change of configuration space also appears in the formulation of quantum field theory as well as in the theory of optimal transport, for introductions see e.g. [44, 46]. In both cases the problem gets linear but the configuration space becomes very complex.
We next consider the minimization problem for energies \({\mathcal {E}}_\epsilon \) with prescribed volume fraction, i.e. for some fixed \(\lambda \in [0,1]\) we assume
We first note that for any \(\epsilon \ge 0\), the minimization problem has a solution:
Proposition 1.2
(Existence of minimizers). For each \(\lambda \in [0,1]\) and each \(\epsilon \ge 0\) there exists a minimizer u of \({\mathcal {E}}_\epsilon \) in the class of functions \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) which satisfy (9).
The proof for Proposition 1.2 is based on the uniform BV–bound in Proposition 3.1. Next we note that the energy \({\mathcal {E}}_\epsilon (\chi _\Omega )\) only depends on the boundary \(\partial \Omega \) for any set \(\Omega \subset \mathbb {R}^d\). In fact, this can be seen from
which follows from the symmetry property for the autocorrelation function (Proposition 2.3(v)). In particular, the minimal energy for prescribed volume fraction is symmetric with respect to \(\lambda = \frac{1}{2}\) \(\forall \epsilon \ge 0\).
In the following, we discuss properties of minimizers of the limit energy for the special choice (5) or (6) of the kernel, i.e. \(K_0(r) = r^{-d}\), and the corresponding energy is denoted by \({\mathcal {E}}_0^{(1)}\). We first prove that when the volume is sufficiently small, the unique minimizer (up to translation) is given by a single ball:
Theorem 1.3
(Ball as minimizer for small mass). Let \(K_0(r)=r^{-d}\). Then there exists \(m_0=m_0(d)>0\), such that if
the unique, up to translation, minimizer u of \({\mathcal {E}}_0^{(1)}\) in \(BV({{{\mathbb {T}}}_\ell };\{0,1\})\) with constraint (9) is a single ball.
Theorem 1.3 actually holds for a slightly larger class of kernels, cf. Proposition 3.3. The proof relies on the sharp quantitative isoperimetric inequality in [22] and a careful study of the limit energy using the autocorrelation function. The optimality of the ball as minimizers has been shown for related models with interfacial term and competing nonlocal energy such as the Ohta-Kawasaki energy [7, 21, 29, 32, 33, 40]. The difference in our model in comparison to these previous results is that the nonlocal energy has the same critical scaling as the perimeter, which requires a particularly careful analysis. We note that Theorem 1.3 is concerned with the case of small volume instead of small volume fraction, as the smallness assumption for \(\lambda \) is not uniform in \(\ell \).
To study the minimizers for small volume fraction, we calculate the energy \({\mathcal {E}}_0^{(1)}\) for periodic stripes and lattice balls. For this, we allow that the centers of the balls are arranged in an arbitrary Bravais lattice which requires a slightly more general formulation of our energy (cf. Definition 4.1). In particular, we show that in 2d when the volume fraction is almost equal, equally distributed stripes have strictly smaller energy than all lattice ball configurations:
Proposition 1.4
(Ball vs. stripe patterns). Let \(d = 2\) and \(K_0(r)=r^{-2}\). Then there is \(c_0 > 0\) such that if \(|\lambda - \frac{1}{2}|<c_0\), then the energy of equally distributed stripes is strictly smaller than the energy of periodic ball configurations.
The precise statement and the proofs are given in Sect. 4.
Remark 1.5
(Relation to domain formation in thin ferromagnetic films). As mentioned before our energy for \(d = 2\) is a sharp interface version of a model which describes the domain formation in thin–films where the preferred magnetization direction is perpendicular to the film. These films exhibit the formation of magnetic domains, where the magnetization is almost constant and either points upward (\(u = 1\)) or downward \((u = 0)\). These domains either have approximately the shape of stripe domains or bubble domains, depending on the volume fraction of the two phases. The volume fraction in turn can be finetuned by the application of an external magnetic field. With the solution of the limit model we can explain the bubble domain shapes in the small volume fraction case. It would be interesting to show if periodic stripe domain patterns are indeed the minimizer for near equal volume fraction as seems to be suggested by the experimental pictures. As a standard reference for the theory of magnetic domains, we refer to [28].
Previous literature and related models. We note that isoperimetric problems have been extensively researched in the mathematical community. A prototype model which has been investigated is the sharp–interface Ohta-Kawasaki energy, where the system is described by a sharp interface term together with a nonlocal Coulomb interaction term (or more general Riesz interaction term), see e.g. [1, 2, 13,14,15, 17, 25, 26, 30, 38]. However, our model is different from these models, as the nonlocal term asymptotically has the same (or higher) scaling as the interfacial energy.
When \(u\in BV(\mathbb {R}^2; \{0,1\})\) and \(K_\epsilon \) is defined in (5), the energy has been studied by Muratov and Simon in [39], where the authors show among other results the \(\Gamma \)-convergence of the energy. The \(\Gamma \)-convergence for the energies (6) is studied by Cesaroni and Novaga [12]. Our model includes the models considered in both [39] and [12] (in the periodic setting). We generalize some results of these papers, however, with a different strategy of proofs and in a more general setting. Moreover, we characterize the minimizers of the limit energy when the volume is small, and show that in 2d stripes have strictly smaller energy than lattice of balls if the volume fraction is close to 1/2. These have not been considered in [12, 39].
The model (2) has also been investigated in a series of papers by Pegon [43], Merlet and Pegon [37], Goldman, Merlet and Pegon [27]. The authors consider in particular, the subcritical case when there is a smaller than one constant in front of the nonlinear term. In particular, in [37, 43] they show optimality of the ball for large mass (which corresponds to small \(\epsilon \) in our case), and in [27] they consider regularity of minimizers.
Structure of paper. In Sect. 2 we introduce the autocorrelation function, collect and prove some of their basic properties. We write the energy in terms of the autocorrelation function and use it to explore some properties of the energy. We also derive different formulations of the energy. In Sect. 3, we give the proof of Theorem 1.1 and Theorem 1.3. The stripes and balls configurations are studied in Sect. 4.
Notation. Throughout the paper unless specified we denote by C a positive constant depending only on d. By \({{{\mathbb {T}}}_\ell }{:}{=}\mathbb {R}^d/(\ell \mathbb {Z})^d\) we denote the flat torus in \(\mathbb {R}^d\) with side length \(\ell > 0\). We repeatedly identify functions on \({{{\mathbb {T}}}_\ell }\) with \({{{\mathbb {T}}}_\ell }\)–periodic functions on \(\mathbb {R}^d\) using the canonical projection \(\Pi : \mathbb {R}^d \rightarrow {{{\mathbb {T}}}_\ell }\). Similarly, any set \(\Omega \subset {{{\mathbb {T}}}_\ell }\) can be identified with its periodic extension onto \(\mathbb {R}^d\).
Let \({\mathcal {M}}\) be the space of signed Radon measures of bounded variation on \({{{\mathbb {T}}}_\ell }\). For \(\mu \in {\mathcal M}\) we write \(\Vert \mu \Vert {:}{=}|\mu |({{{\mathbb {T}}}_\ell })\) for its total variation. For any function of bounded variation \(u\in BV({{{\mathbb {T}}}_\ell })\), we analogously write \(\Vert \nabla u\Vert =|\nabla u|({{{\mathbb {T}}}_\ell })\) , see e.g. [3, 24]. By the structure theorem for BV functions we have \(\nabla u=\sigma |\nabla u|\) for some \(\sigma :{{{\mathbb {T}}}_\ell }\rightarrow {{\mathbb {S}}}^{d-1}\). By a slight abuse of notation we sometimes write
Given a measurable set \(\Omega \subset {{{\mathbb {T}}}_\ell }\) (or \(\Omega \subset \mathbb {R}^d\)), the Lebesgue measure of \(\Omega \) is denoted by \(|\Omega |\). If \(\Omega \) has finite perimeter, the perimeter of \(\Omega \) is denoted by \(P(\Omega ) {:}{=} \Vert \nabla \chi _{\Omega }\Vert \). Furthermore, \(\omega _{d}\) is the volume of the unit ball in \(\mathbb {R}^d\) and \(\sigma _{d-1} = d\omega _d\) is the area of the \((d-1)\)–dimensional unit sphere \({{\mathbb {S}}}^{d-1} \subset \mathbb {R}^d\).
2 Autocorrelation Functions and Energy
In this section we give various different formulations for our energy, in particular in terms of the autocorrelation function.
2.1 Autocorrelation functions
In this section we introduce the autocorrelation function in our setting and show some properties of the autocorrelation function. At the end of the section, we compute explicitly the autocorrelation function for a single ball and stripes. The autocorrelation function of a characteristic function is defined as follows:
Definition 2.1
(Autocorrelation functions). Let \(\ell > 0\). For \(u\in L^1{({{{\mathbb {T}}}_\ell })}\), we define the autocorrelation function \({{\mathcal C}_u}: \mathbb {R}^d\rightarrow \mathbb {R}\) by
Its radially symmetrized version \({\mathcal {\varvec{c}}_u}:[0,\infty )\rightarrow \mathbb {R}\) is given by
We can also write the autocorrelation function (10) as \({{\mathcal C}_u} =\frac{1}{|{{{\mathbb {T}}}_\ell }|} u* {\mathcal {I}}u\), where \({\mathcal {I}}u(x){:}{=}u(-x)\). We note that both \({{\mathcal C}_u}\) and \({\mathcal {\varvec{c}}_u}\) are dimensionless. Moreover, they are invariant under translation and reflection with respect to the origin. We note that in this article, we only use the autocorrelation function for characteristic functions, in which case we have \({{\mathcal C}_u}: \mathbb {R}^d\rightarrow [0,1]\) and \({\mathcal {\varvec{c}}_u}: [0,\infty ) \rightarrow [0,1]\), and both functions are everywhere defined and continuous.
Autocorrelation functions are widely used in other fields such as physics and stochastic geometry: One common use of these functions is to study spectral properties of observed patterns in theoretical physics (e.g. astrophysics). In the field of stochastic geometry, the autocorrelation function is also called covariogram or set covariance (cf. e.g. [36] and [4]). A common question in this field is to reconstruct a set from its autocorrelation function. One conjecture is e.g. whether the autocorrelation function for a convex set can characterize the set uniquely up to translation and reflection [36].
We note that the definition of autocorrelation function can be extended to more general configurations:
Remark 2.2
(General periodic configurations). Let \(\Lambda \subset \mathbb {R}^d\) be a periodicity cell and assume that \(u: \mathbb {R}^d\rightarrow \mathbb {R}\) is \(\Lambda \)–periodic, i.e. \(u(x + \Lambda ) = u(x)\). Then the autocorrelation function \({{\mathcal C}_u}\) can be defined by
Alternatively, one can define it by replacing \({{{\mathbb {T}}}_\ell }\) by the periodicity cell in (10), and it is easy to see that the two definitions coincide. In fact, the definition (11) is also well–defined for more general functions such as almost periodic functions, cf. eg. [16]. The symmetrized autocorrelation function is defined accordingly. Equation (11) shows in particular that \({{\mathcal C}_u}\) (and \({\mathcal {\varvec{c}}_u}\)) do not depend on the choice of periodicity cell.
Some properties of the autocorrelation function are derived in e.g. [23, Prop. 11]. However, otherwise we have not found many results about analytical properties of the autocorrelation function in the mathematical literature. We hence collect some basic properties about \({{\mathcal C}_u}\) in the following proposition:
Proposition 2.3
(Properties of \({{\mathcal C}_u}\)). Let \(u, {\tilde{u}} \in L^1({{{\mathbb {T}}}_\ell };\{0,1\})\). Then \({{\mathcal C}_u} \in C^0(\mathbb {R}^d)\), \({{\mathcal C}_u}\) is \({{{\mathbb {T}}}_\ell }\)-periodic and \({{\mathcal C}_u}(-z) = {{\mathcal C}_u}(z)\). Furthermore,
-
(i)
\(\displaystyle {{\mathcal C}_u}(0) \ = \ {\Vert {{\mathcal C}_u}\Vert _{L^{\infty }(\mathbb {R}^d)}} \ = \ \frac{1}{|{{{\mathbb {T}}}_\ell }|} {\Vert u\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}}\)
-
(ii)
\(\displaystyle {\Vert {{\mathcal C}_u} - {{\mathcal C}}_{{\tilde{u}}}\Vert _{L^{\infty }(\mathbb {R}^d)}} \ \le \ \frac{2}{|{{{\mathbb {T}}}_\ell }|} {\Vert {\tilde{u}} -u\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}}\).
-
(iii)
\(\displaystyle {\Vert {{\mathcal C}_u}\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}} \ = \ \frac{1}{|{{{\mathbb {T}}}_\ell }|} \Vert u\Vert ^2_{L^1({{{\mathbb {T}}}_\ell })}\).
-
(iv)
\(\displaystyle |{{\mathcal C}_u}(z_2)-{{\mathcal C}_u}(z_1)| \ \le \ {{\mathcal C}_u}(0)-{{\mathcal C}_u}(z_2-z_1)\) \(\forall z_1,z_2\in \mathbb {R}^d.\)
-
(v)
\({{\mathcal C}}_{1-u} = {{\mathcal C}_u} + 1 - \frac{2}{|{{{\mathbb {T}}}_\ell }|} {\Vert u\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}}\).
If \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) then \({{\mathcal C}_u} \in C^{0,1}(\mathbb {R}^d)\). Furthermore,
-
(vi)
\(\displaystyle {\Vert \partial _i{{\mathcal C}_u}\Vert _{L^{\infty }(\mathbb {R}^d)}} \le \ \frac{1}{2|{{{\mathbb {T}}}_\ell }|} \Vert \partial _i u\Vert \), \(\forall i\in \{1,\ldots , d\}\).
-
(vii)
\(\partial _{ij} {{\mathcal C}_u} = - \frac{1}{|{{{\mathbb {T}}}_\ell }|} \partial _i u* {\mathcal {I}}\partial _j u \in {\mathcal {M}}\) where \({\mathcal {I}}u(x){:}{=}u(-x)\) and
$$\begin{aligned} \Vert \partial _{ij} {{\mathcal C}_u}\Vert \ \le \ \frac{1}{|{{{\mathbb {T}}}_\ell }|} \Vert \partial _i u\Vert \Vert \partial _ju\Vert \quad \qquad \forall i,j\in \{1,\ldots , d\}. \end{aligned}$$
Proof
The periodicity and symmetry of \({{\mathcal C}_u}\) follows directly from the periodicity of u and the change of variable \(y=x-z\).
(i)-(iv): For (i) we note that \(|{{{\mathbb {T}}}_\ell }|{{\mathcal C}_u}(z)=|\Omega ^{per}\cap (\Omega -z)|\) for \(\Omega {:}{=}{{\,\textrm{spt}\,}}u\subset \mathbb {R}^d\) and \(\Omega ^{per}=\cup _{e\in (\ell \mathbb {Z})^d}(\Omega +e)\). Hence, clearly \({{\mathcal C}_u} \in C^0(\mathbb {R}^d,[0,\infty ))\) and takes the maximum at \(z=0\). Together with the periodicity this also implies \({\mathcal C}_u \in L^\infty (\mathbb {R}^d)\). By the triangle inequality and since \(\Vert {\tilde{u}}\Vert _{L^{\infty }}, \Vert u\Vert _{L^{\infty }} \le 1\), for any \(z\in \mathbb {R}^d\) we have
The identity (iii) follows directly from Fubini and since u is periodic. Estimate (iv) is given in [23, Prop.5].
(vi): By periodicity and since \(|u(x+z)-u(x)|=|u(x+z)-u(x)|^2\) we get
Together with (iv), this yields (vi).
(vii): We choose a sequence \(u_\epsilon \in C_c^{\infty }({{{\mathbb {T}}}_\ell })\) with in \({\mathcal M}\). For \(u_\epsilon \in C^\infty _c({{{\mathbb {T}}}_\ell })\) and with the notation \(({\mathcal {I}} f)(x) {:}{=} f(-x)\) we have
We note that (13) with \(g {:}{=} \partial _i u_\epsilon \) and \(f {:}{=} \partial _j u_\epsilon \) defines a bilinear operator \({\mathcal M}\times {\mathcal M}\rightarrow {\mathcal M}\) with \((g,f) \mapsto g * {\mathcal I}f\). Since \(\Vert \mu _1 * \mu _2\Vert _{{\mathcal M}} \le \Vert \mu _1\Vert _{{\mathcal M}} \Vert \mu _2\Vert _{{\mathcal M}}\), we get for all \(\phi _\epsilon , \psi _\epsilon \in {\mathcal M}\) with , in \({\mathcal M}\). Passing to the limit in the weak formulation of (13) one gets \(\partial _{ij}{{\mathcal C}_u}\in {\mathcal {M}}\) and moreover \(|{{{\mathbb {T}}}_\ell }|\partial _{ij}{{\mathcal C}_u}=-\partial _j u *{\mathcal {I}}\partial _i u\).
(v): Follows directly from the definition. \(\square \)
We note that some of the assertions in Proposition 2.3 can be easily generalized to the case of \(u \in BV({{{\mathbb {T}}}_\ell })\) in which case an additional norm \(\Vert u\Vert _{L^\infty }\) has to be added on the right hand side.
In the following we derive properties of the symmetrized autocorrelation. Similarly, these properties extend to general functions \(u \in BV({{{\mathbb {T}}}_\ell })\). However, in the general case we have to replace \(\Vert \nabla u\Vert \) by \(\Vert D_s u\Vert \) in (v) where \(D_s u\) is the singular part of the distributional derivative of u, cf. [3].
Proposition 2.4
(Properties of \({\mathcal {\varvec{c}}_u}\)). Let \(u, {\tilde{u}} \in L^1({{{\mathbb {T}}}_\ell };\{0,1\})\). Then \({\mathcal {\varvec{c}}_u} \in C^0([0,\infty ))\) and \({\mathcal {\varvec{c}}_u}\) is uniformly continuous. Furthermore,
-
(i)
\( \displaystyle {\mathcal {\varvec{c}}_u}(0) \ = \ \Vert {\mathcal {\varvec{c}}_u}\Vert _{L^\infty ([0,\infty ))} \ = \ \frac{1}{|{{{\mathbb {T}}}_\ell }|} {\Vert u\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}}\).
-
(ii)
\(\displaystyle \Vert {\mathcal {\varvec{c}}_u}-{\mathcal {\varvec{c}}}_{{\tilde{u}}}\Vert _{L^\infty ([0,\infty ))} \ \le \ \frac{2}{|{{{\mathbb {T}}}_\ell }|}\Vert u-{\tilde{u}}\Vert _{L^1({{{\mathbb {T}}}_\ell })}\).
-
(iii)
\(|{\mathcal {\varvec{c}}_u}(r_2)-{\mathcal {\varvec{c}}_u}(r_1)| \ \le \ {\mathcal {\varvec{c}}_u}(0)-{\mathcal {\varvec{c}}_u}(r_2-r_1) \qquad \qquad \forall 0\le r_1\le r_2<\infty \).
-
(iv)
\(\forall r > 0\).
If \(u \in BV({{{\mathbb {T}}}_\ell };\{ 0, 1 \})\) then \({\mathcal {\varvec{c}}}'_u\in BV_{loc}((0,\infty ))\) and \({\mathcal {\varvec{c}}}'_u(0)\) exists. Furthermore,
-
(v)
The one–sided derivative \(\mathcal {\varvec{c}}_u'(0)\) exists and we have
$$\begin{aligned} \displaystyle {\mathcal {\varvec{c}}}'_u(0) \ = \ - \Vert {\mathcal {\varvec{c}}_u}'\Vert _{L^\infty ([0,\infty ))} \ \ = \ - \frac{\omega _{d-1}}{\sigma _{d-1}}\frac{\Vert \nabla u\Vert }{|{{{\mathbb {T}}}_\ell }|}. \end{aligned}$$In particular,
$$\begin{aligned}&{\mathcal {\varvec{c}}'_u}(r) - \mathcal {\varvec{c}}'_u(0) \ \ge \ 0{} & {} \text {for a.e. }r> 0, \\&{\mathcal {\varvec{c}}_u}(r) - {\mathcal {\varvec{c}}_u}(0) - r \mathcal {\varvec{c}}'_u(0) \ \ge \ 0{} & {} \text {for all }r > 0. \end{aligned}$$ -
(vi)
(Asymptotics as \(r\rightarrow \infty \)) When \(d\ge 2\) and \(r\ell \ge 1\) we have
$$\begin{aligned} \frac{1}{\ell }|{\mathcal {\varvec{c}}_u}(r) - {\mathcal {\varvec{c}}_u}(0)^2| + |{\mathcal {\varvec{c}}}'_u(r)|\le \frac{C}{ r^{\frac{d-1}{2}}\ell ^{\frac{3d-1}{2}}}\Vert \nabla u\Vert _{}^2. \end{aligned}$$ -
(vii)
Let \(\Omega ={{\,\textrm{spt}\,}}u\) with outer unit normal \(\nu \). Then for each \(\phi \in C_c^\infty ((0,\infty ))\) and with \(z {:}{=} y-x\) we have
$$\begin{aligned} \int _{0}^\infty {\mathcal {\varvec{c}}}'_u(r)\phi '(r)\ dr&= \ \frac{1}{\sigma _{d-1}|{{{\mathbb {T}}}_\ell }|} \int _{\partial \Omega }\int _{\partial \Omega ^{per}} \frac{\big (\nu (y)\cdot \frac{z}{|z|}\big )\big (\nu (x)\cdot \frac{z}{|z|}\big )}{|z|^{d-1}} \phi (|z|) \ dy dx, \end{aligned}$$where \(\Omega ^{per}\subset \mathbb {R}^d\) are the periodic copies of \(\Omega \).
Proof
(i)–(iii): Follows from Proposition 2.3(i) by taking the spherical mean.
(iv): Taking the spherical average of (12) and by (i), we get (iv).
(v): By (iv) and [23, Prop. 11] (noting that the identity also holds for periodic functions) the derivative \({\mathcal {\varvec{c}}}_u'(0)\) exists and we have
For the last identity, we have used that
To conclude we note that by (iii) \(\Vert {\mathcal {\varvec{c}}_u}'\Vert _{L^\infty ([0,\infty ))} \ \le \ -{\mathcal {\varvec{c}}}'_u(0)\) and hence
(vi): For \(k \in (\frac{2\pi }{\ell }\mathbb {Z})^d\), let \(\alpha _k\) be the Fourier coefficient of \({{\mathcal C}_u}\). Since \({{\mathcal C}_u}(x)={{\mathcal C}_u}(-x) \in \mathbb {R}\) \(\forall x \in {{{\mathbb {T}}}_\ell }\), we have \(\alpha _{-k} = \alpha _k \in \mathbb {R}\) and
Then
Integrating by parts and since \(\Vert D^2 {{\mathcal C}_u}\Vert \le \frac{1}{|{{{\mathbb {T}}}_\ell }|}\Vert \nabla u\Vert ^2\) (Prop. 2.3(vii)), we get
Thus the series (15) is absolutely convergent. Then
since \(\int _0^\pi \sin (|k|r\cos \theta )(\sin \theta )^{d-2} d\theta =0\). Note that \(\alpha _0 = c(0)^2\) and thus
where \(J_\alpha \) are the Bessel functions of the first kind. The decay estimate for \(|{\mathcal {\varvec{c}}_u}(r)-{\mathcal {\varvec{c}}_u}(0)^2|\) then follows from the estimate \(|J_{\alpha }(t) |\le \sqrt{\frac{2}{\pi t}} + {\mathcal O}(\frac{1}{t})\) for \(\alpha \ge 0\) and \(t \ge 1\) (cf. [41, 10.17]). Indeed, with \(q = k \ell \) we have
and the geometric sum on the right hand side is bounded. Using the recurrence relation \(\frac{d}{dt}(t^{-\alpha }J_{\alpha }(t)) = -t^{-\alpha } J_{\alpha +1}(t)\) we obtain (the series in (17) is absolutely and uniformly convergent for all \(r > 0\) by (16))
The decay estimate for (18) then follows analogously as for (17). This completes the proof for (vi).
(vii): For any test function \(\phi \in C_c^\infty ((0,\infty ))\) we calculate
where we have integrated by parts in the last line. By Proposition 2.3
Since \(\nabla u =-\nu {\mathcal H}^{d-1}\lfloor \partial \Omega \) and with \(z{:}{=}y-x\) we then get
For \({{\,\textrm{spt}\,}}\phi \in [\delta , \infty )\) the expression above is estimated by \(C(\delta ) \Vert \phi \Vert _{L^\infty }\). This shows that \({\mathcal {\varvec{c}}}'_u\in BV_{loc}((0,\infty ))\). \(\square \)
Lemma 2.5
(Autocorrelation functions for balls and stripes).
-
(i)
Let \(u=\chi _{B_\rho }\) for some \(\rho \in (0, \frac{\ell }{4})\). Then for \(r\in [0,2\rho ]\) we have
$$\begin{aligned} {\mathcal {\varvec{c}}}_{u}(r)&= \ \frac{2\omega _{d-1}}{|{{{\mathbb {T}}}_\ell }|} \Big (\int _{\frac{r}{2\rho }}^{1} (1 - t^2)^{\frac{d-1}{2}} \ dt \Big ) \rho ^d. \qquad \end{aligned}$$ -
(ii)
Let \(u=\chi _{S}\), where \(S=\cup _{i=1}^k [a_i,b_i]\times [0,\ell ]^{d-1}\) is a finite union of stripes. Let \(d_0=\min _i|b_i-a_i|>0\). Then \({\mathcal {\varvec{c}}_u}\) is affine linear near 0, i.e.
$$\begin{aligned} {\mathcal {\varvec{c}}_u}(r) \ = \ \frac{ {\Vert u\Vert _{L^{1}({{{\mathbb {T}}}_\ell })}}}{|{{{\mathbb {T}}}_\ell }|} - \Big (\frac{\omega _{d-1}}{\sigma _{d-1}}\frac{\Vert \nabla u\Vert }{|{{{\mathbb {T}}}_\ell }|} \Big ) r \qquad \text { for } r\in (0,d_0). \end{aligned}$$
Proof
(i): By invariance and using cylindrical coordinates we have
for \(r \in [0, 2\rho ]\) (see Fig. 1) and
(ii): For given S and \(r\in (0,d_0)\) we have
Then the claim follows from Proposition 2.4(i) and (v). \(\square \)
2.2 Properties of the energies
In this section, we express our energies in terms of the autocorrelation function and use this expression to explore their properties. We first note that by Proposition 2.4 our energies can be expressed in terms of the symmetrized autocorrelation function \({\mathcal {\varvec{c}}_u}\):
Proposition 2.6
(Energy in terms of \({\mathcal {\varvec{c}}_u}\)). Let \(d \ge 1\). Let \(\epsilon \ge 0\) and suppose that \(K_\epsilon , K_0\) satisfy (3)–(4). Then for any \(u \in BV({{{\mathbb {T}}}_\ell };\{ 0, 1 \})\) we have
Furthermore, there is \(C=C(K_0,d)>0\) such that \({\mathcal {E}}_\epsilon (u)\ge -C\) for \(\epsilon \ge 0\).
Proof
We first note that the integral in (20) is well-defined in \(\mathbb {R}\cup \{ \pm \infty \}\): Indeed, in view of Proposition 2.4(i)(v) we have \({\mathcal {\varvec{c}}_u}(r)-{\mathcal {\varvec{c}}_u}(0)-r{\mathcal {\varvec{c}}}'_u(0) \ge 0\) and \({\mathcal {\varvec{c}}_u}(0)-{\mathcal {\varvec{c}}_u}(r) \ge 0\) \(\forall r > 0\). Thus the integrand is nonnegative in (0, 1) and negative in \((1,\infty )\). This combined with our assumptions (3)–(4) on the kernels \(K_\epsilon \) and that \({\mathcal {\varvec{c}}_u}\in C^{0,1}((0,\infty ))\) gives that the integral (20) is well-defined in \(\mathbb {R}\) for \(\epsilon > 0\), and is well-defined in \(\mathbb {R}\cup \{ + \infty \}\) for \(\epsilon = 0\). To show the uniform lower bound we observe that
where the second inequality follows from \(\mathcal {\varvec{c}}_u(r)\ge 0\) and the expression of \(\mathcal {\varvec{c}}_u(0)\) in Proposition 2.4(i), and in the last inequality we have used the assumption (4). In view of Proposition 2.4(i)(ii) and using polar coordinates we have
Then (20) directly follows from Proposition 2.4(iv). \(\square \)
The truncation at \(r = 1\) is arbitrary. More generally, we have:
Remark 2.7
(Different truncation). Let \(\epsilon \ge 0\) and let \(u \in BV({{\mathbb {T}}}_\ell ,\{ 0, 1 \})\). Then for any \(r_0 > 0\) we have
Although the energies are linear in terms of the autocorrelation functions, they are not linear in u. Indeed, they are superlinear in the following sense:
Lemma 2.8
(Interaction energy). Let \(\epsilon \ge 0\). Suppose that \(u_1,u_2\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) have essentially disjoint support, i.e. \(u_1 + u_2 \in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) and \(\Vert D(u_1+u_2)\Vert =\Vert Du_1\Vert +\Vert Du_2\Vert \). Then the interaction energy satisfies
and for \(\Omega _i{:}{=}{{\,\textrm{spt}\,}}u_i\), \(i=1,2\) we have
Proof
Let \(u {:}{=} u_1 + u_2\). By assumption, we have \({\mathcal {\varvec{c}}_u}(0)={\mathcal {\varvec{c}}}_{u_1}(0)+{\mathcal {\varvec{c}}}_{u_2}(0)\) and \({\mathcal {\varvec{c}}}'_u(0)={\mathcal {\varvec{c}}}'_{u_1}(0)+{\mathcal {\varvec{c}}}'_{u_2}(0)\). Together with \(u=u_1+u_2\) the assertion follows from the energy expression (20) and
Using the symmetry of the sum and substituting the supports of \(u_i\), we obtain the desired expression for \({\mathcal I}_\epsilon \). \(\square \)
The space of functions with finite limit energy is quite complicated: the condition \(u \in BV({{{\mathbb {T}}}_\ell }; \{ 0, 1 \})\) is in general only a necessary but not sufficient condition for a configuration to have finite energy. Below we construct a BV function with infinite energy \({\mathcal {E}}_0^{(1)}\) using the nonnegativity of the interaction energy in Lemma 2.8:
Remark 2.9
(BV-function with infinite energy \({\mathcal {E}}^{(1)}_0\)). Let \((B_{r_k}(x_k))_{k=2}^\infty \) be a sequence of disjoint balls in \({{{\mathbb {T}}}_\ell }\subset \mathbb {R}^2\) with radius \(r_k=\frac{1}{k(\ln k)^2}\). Let \(u{:}{=}\sum _{k=2}^\infty \chi _{B_{r_k}(x_k)}\). On one hand, it is immediate from \(\sum _{k=2}^{\infty }r_k<\infty \) that \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\). On the other hand, from Lemma 2.8 and the estimate of the energy for a single disk (cf. Lemma 4.4(i) below) we have
We end this section by a remark on the finite energy configurations for \({\mathcal {E}}_0^{(3)}\):
Remark 2.10
(Finite \({\mathcal {E}}^{(3)}_0\) energy configurations). The family of sets which have finite energy \({\mathcal {E}}_0^{(3)}\) becomes increasingly smaller as q increases. Indeed, as q gets larger the (symmetrized) autocorrelation function \({\mathcal {\varvec{c}}_u}\) needs to converge faster to its affine approximation at 0 in order to get a finite energy (cf. (20) in Proposition 2.6). Indeed, if \(u = \chi _{B_\rho }\) with \(\rho >0\), then by (19) in Lemma 2.5 one has \(\mathcal {\varvec{c}}_u''(0)=0\) and \(c_0<\mathcal {\varvec{c}}_u^{(3)}(r)<C_0\) for \(r\in (0,\rho )\), where \(c_0\) and \(C_0\) are positive constants depending on d and \(\rho \). In this case using Remark 2.7 and the Taylor expansion of \(\mathcal {\varvec{c}}_u\) at 0 one can express the energy \({\mathcal {E}}_0^{(3)}(u)\) as
Since the second and third integrals above are finite, then from the upper and lower bound for \(\mathcal {\varvec{c}}_u^{(3)}\) one has that \({\mathcal {E}}_0^{(3)}(u)\) is finite for \(q<d+2\) and infinite for \(q\ge d+2\). If \(u=\chi _{\Omega }\) where \(\Omega \) consists of multiple stripes, then it follows from Lemma 2.5(ii) that \(\mathcal {\varvec{c}}_u^{(k)}(r)=0\) in \((0,d_0)\) for some \(d_0>0\) and \(k=2,3,\cdots \). Thus in this case the energy \({\mathcal {E}}_0^{(3)}(u)\) is finite for all \(q >d\).
2.3 Equivalent formulations of the energy
In this section, we give some further geometric representations of the limit energy \({\mathcal {E}}_0\). These representations are in particular helpful for the calculation of the energy for specific configurations. We note that the assumption \({\Vert K_0\Vert _{L^{1}(\mathbb {R}^d)}} = \infty \) is used in the proof of Lemma 2.11 below. Hence, the results do not hold for the approximating energies \({\mathcal {E}}_\epsilon \). Throughout the section \(F: (0,\infty )\rightarrow [0,\infty )\) and \(G: (0,\infty )\rightarrow \mathbb {R}\) are defined by
It follows from (4) that F is continuous and thus G is \(C^1\). We note that \(F \ge 0\) and \(F' \le 0\) by the assumptions on the kernel. For \(K_0(r)=r^{-d}\) we have \(F(r)=\sigma _{d-1}r^{-1}\) and \(G(r)=\sigma _{d-1}\ln r\).
We start with an auxiliary lemma:
Lemma 2.11
(Asymptotics for \(r \rightarrow 0\)). Let \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\). Suppose that (3)– (4) hold. If \({\mathcal {E}}_0(u)<\infty \) then there are sequences \(\delta _j, {\tilde{\delta }}_j > 0\) with \(\delta _j, {\tilde{\delta }}_j\rightarrow 0\) such that
-
(i)
\(\lim _{j\rightarrow \infty } F(\delta _j)\left( {\mathcal {\varvec{c}}_u}(\delta _j)-{\mathcal {\varvec{c}}_u}(0) -{\mathcal {\varvec{c}}}'_u(0)\delta _j\right) =0\),
-
(ii)
The points \({\tilde{\delta }}_j>0\) are Lebesgue points of \(\mathcal {\varvec{c}}'_u\) and \(\mathcal {\varvec{c}}''_u(\{{\tilde{\delta }}_j\})=0\) for all j. Furthermore, we have \(\lim _{j \rightarrow \infty } G({\tilde{\delta }}_j) ({\mathcal {\varvec{c}}}'_u({\tilde{\delta }}_j) - {\mathcal {\varvec{c}}}'_u(0)) \ = \ 0\).
Proof
With the representation (20) of the energy and recalling that \(F'(r)=-K_0(r)r^{d-2}\), we have
for some constant \(C_0 = C_0(K_0)\).
(i): Assuming that (i) does not hold, we hence may assume that there are constants \(\delta _0>0\) and \(c>0\) such that
noting that the second factor and hence the left hand side above is nonnegative by Proposition 2.4(v). By the definition (21) of F and in view of (4) we have \(F(r) \rightarrow \infty \) and hence \(\ln F(r) \rightarrow \infty \) as \(r \rightarrow 0\). On the other hand,
using that \(F' \le 0\). We recall that \(\ln F(\delta _0) < \infty \) by (3), which together with (22) yields that the right hand side above is finite, which contradicts the observation that \(\lim _{r \rightarrow 0} \ln F(r) \rightarrow \infty \) and concludes the proof.
(ii): Let \({\mathcal {N}} \in (0,\infty )\) be the set of points such that \(\mathcal {\varvec{c}}''_u(\{s\})\ne 0\) or such that s is not a Lebesgue point of \(\mathcal {\varvec{c}}'_u\). Since the (signed) Radon measure \(\mathcal {\varvec{c}}''_u\) has locally finite total variation on \((0,\infty )\) for \(u\in BV({{\mathbb {T}}}_d;\{0,1\})\) (cf. Proposition 2.4(vii)) and by the Lebesgue differentiation theorem, the set \({\mathcal {N}} \subset (0,\infty )\) is a Lebesgue null set. We note that \((\mathcal {\varvec{c}}'_u(r)-\mathcal {\varvec{c}}'_u(0))G(r) \ge 0\) for all \(r \in (0,\infty ) \backslash {\mathcal {N}}\) by Proposition 2.4(v) and that \(G(r) \le 0\) for \(r\in (0,1)\). Assuming by contradiction as before we hence may assume that there is \(\delta _0\in (0,1)\) and \(c>0\) such that
We first note that integration by parts yields
where we have used that \(K_0 \ge 0\).
Now, let \(\delta _j\) be the sequence from (i). Applying an integration by parts to (22) from \(\delta _j\) to 1 and using (i) we have
Analogously as for (i) one then gets from the fact that \(G' = F\) and the contradiction assumption (24) that
where we also used that \(G \le 0\) in (0, 1). Taking \(j\rightarrow \infty \) in the above inequality, using (26) as well as \(\ln |G(\delta _0)|<\infty \), one gets \(\lim _{j\rightarrow \infty } \ln |G(\delta _j)|<\infty \), which is a contradiction to (25). \(\square \)
With Lemma 2.11 at hand we can express the energy using geometric quantities of \(\Omega {:}{=} {{\,\textrm{spt}\,}}u\):
Proposition 2.12
(Equivalent formulations for \({\mathcal {E}}_0\)). Let \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) with \({\mathcal {E}}_0(u)<\infty \). Suppose that (3)–(4) hold. Let \(\Omega {:}{=} {{\,\textrm{spt}\,}}u\) and let \(H^-(x){:}{=}\{y\in \mathbb {R}^d: (y-x)\cdot \nu (x)\le 0\}\) for \(x\in \partial \Omega \), where \(\nu \) is the measure theoretic unit outer normal of \(\Omega \) at x. We use the notation \(z{:}{=}y-x\). Then we have
-
(i)
$$\begin{aligned} \displaystyle \begin{array}{ll} |{{{\mathbb {T}}}_\ell }| {\mathcal {E}}_0(u) &{}= \ - \omega _{d-1} P(\Omega )F(1) \\ &{}\displaystyle \qquad + \int _{\partial \Omega } \int _{(\Omega \Delta H^-(x))\cap B_1(x)}\frac{F(|z|)}{|z|^{d-1}} \Big |\frac{z}{|z|}\cdot \nu (x) \Big | \ dy dx\\ &{}\displaystyle \qquad + \int _{\partial \Omega }\int _{\Omega \cap B_1(x)^c } \frac{F(|z|)}{|z|^{d-1}} \left( \frac{z}{|z|} \cdot \nu (x)\right) \ dy dx. \end{array}\end{aligned}$$
-
(ii)
Let \({\tilde{\delta }}_j\rightarrow 0\) be any sequence as in Lemma 2.11(ii). Assume that there is a sequence \(R_j\rightarrow \infty \) such that \(G(R_j)R_j^{-\frac{d-1}{2}}\rightarrow 0\) as \(j\rightarrow \infty \), \(R_j\) is a Lebesgue point for \(\mathcal {\varvec{c}}'_u\) and \(\mathcal {\varvec{c}}''_u(\{ R_j \})=0\) for all \(j \in \mathbb {N}\). Then with \(z{:}{=}x-y\) we have
$$\begin{aligned} |{{{\mathbb {T}}}_\ell }| {\mathcal {E}}_0(u) \&= \ - \omega _{d-1} P(\Omega )F(1) \nonumber \\&\quad + \ \lim _{j \rightarrow \infty } \iint _{P_j} \frac{G(|z|)}{|z|^{d-1}}\left( \nu (y)\cdot \frac{z}{|z|}\right) \left( \nu (x)\cdot \frac{z}{|z|} \right) \ dydx, \end{aligned}$$(27)where \(P_j {:}{=} \ \{ (x,y) \in \partial \Omega \times \partial \Omega ^{per}: {\tilde{\delta }}_j \le |x-y| \le R_j \}\) with \(\Omega ^{per} \subset \mathbb {R}^d\) being the periodic copies of \(\Omega \).
Proof
(i): We start with the representation (20) of \({\mathcal {E}}_0\) in Proposition 2.6. We note that \(F(R)\rightarrow 0\) as \(R\rightarrow \infty \) which follows from (4). Integrating by parts both integrals in (20) (for the first integral of (20) we integrate by parts from \(\delta _j\) to 1, where the sequence \(\delta _j\) is from Lemma 2.11(i), and then let \(\delta _j\rightarrow 0\)) yields
Here we have used that the integrand for \(I_2\) is nonnegative and thus the limit exists. We note that \(I_1= - \frac{\omega _{d-1} P(\Omega )}{|{{{\mathbb {T}}}_\ell }|}F(1)\), which follows from Proposition 2.4(v). To calculate \(I_2\) and \(I_3\) we first express \({\mathcal {\varvec{c}}}'_u(r)\) using the geometric quantities. Using \(\nabla u (x)=-\nu (x) {\mathcal H}^{d-1}\lfloor \partial ^*\Omega \) and with \(\Omega _r(x){:}{=}\frac{\Omega -x}{r}\), for a.e. \(r>0\) we have
In the limit as \(r\rightarrow 0\) we get
Inserting (29) and (30) into the integrand of \(I_2\) and by Fubini we get
Observing that for each \(\nu \in {{\mathbb {S}}}^{d-1}\) fixed, \(f(K){:}{=}-\int _{{{\mathbb {S}}}^{d-1}\cap K}\omega \cdot \nu \ d\omega \) achieves its maximum when \(K=H^-(x)\), we have
Similarly, inserting (29) into the integrand of \(I_3\) we have
The desired identity then follows from (28), (31) and (31) with \(\omega =\frac{y-x}{|y-x|}\in {{\mathbb {S}}}^{d-1}\) with \(y\in B_1(x)\) and \(r=|y-x|\) and by a change from polar coordinates to Cartesian coordinates.
(ii): We choose a sequence \({\tilde{\delta }}_j \rightarrow 0\) such that Lemma 2.11(ii) holds. Let \(R_j\rightarrow \infty \) be the sequence which satisfies the assumptions in (ii). Let \(\eta _t(r)\in \text {Lip}(\mathbb {R})\), \(t\in (0,1)\), be the cut-off function such that \(\eta _t=1\) in \(({\tilde{\delta }}_j+t, R_j-t)\), \(\eta _t=0\) outside \(({\tilde{\delta }}_j-t, R_j+t)\) and it is affine in \(({\tilde{\delta }}_j-t, {\tilde{\delta }}_j+t)\) and \((R_j-t, R_j+t)\). Starting point is the representation (28) of the energy. Integrating by parts (recalling that \(\mathcal {\varvec{c}}'_u\in \text {BV}_{\text {loc}}(0,\infty )\) from Proposition 2.4(vii)) and using that \(G(1) = 0\) we have
Letting \(t\rightarrow 0\), since \(\mathcal {\varvec{c}}'_u\in L^\infty \), F and G are locally bounded in \((0,\infty )\), we have from the dominated convergence theorem that the LHS converges to \(\int _{{\tilde{\delta }}_j}^1 \big ({\mathcal {\varvec{c}}}'_u(r)-{\mathcal {\varvec{c}}}'_u(0)\big )F(r)\ dr + \int _1^\infty {\mathcal {\varvec{c}}}'_u(r) F(r)\ dr\). Since \({\tilde{\delta }}_j\) and \(R_j\) are not atomic points for the measure \(\mathcal {\varvec{c}}''_u\), the first term on the RHS converge to \(-\int _{{\tilde{\delta }}_j}^{R_j} G(r) \ d\mathcal {\varvec{c}}_u''\) as \(t\rightarrow 0\). The rest terms on the RHS converge to \(-(\mathcal {\varvec{c}}'_u({\tilde{\delta }}_j)-\mathcal {\varvec{c}}'_u(0))G({\tilde{\delta }}_j)- \mathcal {\varvec{c}}'_u(R_j)G(R_j)\) as \(t\rightarrow 0\), as \(G\in C^1((0,\infty ))\) and \({\tilde{\delta }}_j\) and \(R_j\) are Lebesgue points of \(\mathcal {\varvec{c}}'_u\). Thus we have
By our choice of the sequences \({\tilde{\delta }}_j\), the second term on the right hand side vanishes as \(j \rightarrow \infty \). By our assumption as well as Proposition 2.4(vi)(v) the term related to the evaluation at \(R_j\) vanishes as \(j \rightarrow \infty \). Adding the expressions for short-range and long-range interaction together and recalling Proposition 2.4(vii), we obtain the claimed equivalent form of the energy. \(\square \)
Remark 2.13
(Principal value interpretation of energy formula).
-
(i)
When \(K_0(r)=r^{-d}\), Proposition 2.12(i) holds without the assumption \({\mathcal {E}}_0(u)<\infty \). This is because \(\lim _{r\rightarrow 0+}\frac{{\mathcal {\varvec{c}}_u}(r)-{\mathcal {\varvec{c}}_u}(0)}{r}={\mathcal {\varvec{c}}}'_u(0)\) for any \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) by Proposition 2.4(v) and \(F(r)=\sigma _{d-1}r^{-1}\), then Lemma 2.11(i) holds for any \(\delta \rightarrow 0\) without the assumption \({\mathcal {E}}_0(u)<\infty \). Thus in this special case the energy formula (i) holds for all \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\).
-
(ii)
The integrand in the energy formula (27) is not absolutely integrable in general if either \({\tilde{\delta }} = 0\) or \(R = \infty \). An example for this is a configuration which consists of stripe domains, cf. Lemma 4.3.
3 Proof of the Theorems
3.1 Proof of Theorem 1.1
We establish the compactness and \(\Gamma \)-convergence of the nonlocal energy \({\mathcal {E}}_\epsilon (u)\) as \(\epsilon \rightarrow 0\). We first establish the compactness result:
Proposition 3.1
(BV-bound and compactness). Let \(K_\epsilon , K_0\) satisfy (3)–(4).
-
(i)
For \(u \in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) there are constants \(C = C(K_0,d)>0\) such that
$$\begin{aligned} \Vert \nabla u\Vert \ \le \ C \left( |{{{\mathbb {T}}}_\ell }|{\mathcal {E}}_\epsilon (u)+ C\Vert u\Vert _{L^{1}}\right) . \end{aligned}$$ -
(ii)
For any family \(u_\epsilon \in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) with \(\sup _\epsilon {\mathcal {E}}_\epsilon (u_\epsilon )<\infty \), there exists \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) and a subsequence (not relabelled) such that
$$\begin{aligned} u_\epsilon \rightarrow u \text { in } L^1 \quad \text { and } \quad \Vert \nabla u_\epsilon \Vert \rightarrow \Vert \nabla u\Vert \qquad \hbox { for}\ \epsilon \rightarrow 0. \end{aligned}$$
Proof
(i): We use the expression of the energy \({\mathcal {E}}_\epsilon (u)\) in terms of the autocorrelation function in Proposition 2.6. By the assumptions (3)–(4) as well as \(K_\epsilon \nearrow K_0\), there are \(C_0, C_1 > 0\) and a measurable set \(A\subset (0,1)\), which depends on \(K_0\), such that for sufficiently small \(\epsilon >0\) we have
Using (32) as well as \({\mathcal {\varvec{c}}_u}(r)-{\mathcal {\varvec{c}}_u}(0)-{\mathcal {\varvec{c}}}'_u(0)r \ge 0\) we then get
where we have used \(\mathcal {\varvec{c}}_u(r)\ge 0\) and (32) for the last estimate. Recalling the expression for \(\mathcal {\varvec{c}}_u(0)\) and \({\mathcal {\varvec{c}}}'_u(0)\) in Proposition 2.4(i) and (v) , we thus obtain the desired estimate from the above inequality.
(ii): By (i) we have \(\Vert \nabla u_\epsilon \Vert \le C\). By the compactness of the BV functions, there is a subsequence of \(u_\epsilon \) (which we still denote by \(u_\epsilon \)) and \(u\in BV({{{\mathbb {T}}}_\ell },\{0,1\})\), such that \(u_\epsilon \rightarrow u\) in \(L^1({{{\mathbb {T}}}_\ell })\) and \(\Vert \nabla u\Vert \le \liminf _{\epsilon \rightarrow 0} \Vert \nabla u_\epsilon \Vert \). To show the convergence of \(\Vert \nabla u_\epsilon \Vert \), by Proposition 2.4 it suffices to show \({\mathcal {\varvec{c}}}'_{u_\epsilon }(0)\rightarrow {\mathcal {\varvec{c}}}'_u(0)\). Assume \({\mathcal {\varvec{c}}}'_{u_{\epsilon _j}}(0)\rightarrow \alpha \) for some \(\alpha \in \mathbb {R}\) along a subsequence. By the lower semi-continuity of the BV-norm we have \(\alpha \le {\mathcal {\varvec{c}}}'_u(0)\). It remains to show that \(\alpha \ge {\mathcal {\varvec{c}}}'_u(0)\): By Fatou’s lemma and (32) for any \(\delta \in (0,1)\),
On the other hand, by Proposition 2.4
Taking the difference of the above two inequalities yields
Since \(\int _0^\infty K_0(r) r^{d-1} \ dr=\infty \) and \(K_0\ge 0\), then \(\int _\delta ^\infty K_0(r) r^{d-1}\ dr \rightarrow \infty \) as \(\delta \rightarrow 0\). This implies that \({\mathcal {\varvec{c}}}'_u(0)\le \alpha \), particularly one has \(-{\mathcal {\varvec{c}}}'_u(0)\ge \limsup _{\epsilon \rightarrow 0} -{\mathcal {\varvec{c}}}'_{u_\epsilon }(0)\). \(\square \)
As a consequence of Proposition 3.1, we get the existence of minimizers for \({\mathcal {E}}_\epsilon \) with prescribed volume fraction:
Proof for Proposition 1.2
Let \(\epsilon \ge 0\) be fixed. It follows from Lemma 2.5 (ii) that \({\mathcal {E}}_\epsilon (u)<+\infty \) if u is a stripe configuration, and furthermore \({\mathcal {E}}_\epsilon (u)\ge -C\) for all \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) (cf. Proposition 2.6). Hence the infimum of \({\mathcal {E}}_\epsilon (u)\) exists and is finite. Let \(\{u_k\}\) be a minimizing sequence for \({\mathcal {E}}_\epsilon \). Then by Proposition 3.1(ii) up to a subsequence \(u_k\rightarrow u\) in \(L^1({{{\mathbb {T}}}_\ell })\) and \(\Vert \nabla u_k\Vert \rightarrow \Vert \nabla u\Vert \) for some \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\). In particular u satisfies (9). Hence \({\mathcal {\varvec{c}}}_{u_k}\rightarrow {\mathcal {\varvec{c}}_u}\) pointwisely by Proposition 2.4(ii) and \({\mathcal {\varvec{c}}}'_{u_k}(0)\rightarrow {{\mathcal {\varvec{c}}'_{u}} }(0)\) by Proposition 2.4(v). Applying Fatou’s lemma (in (0, 1)) and dominated convergence theorem (in \((1,\infty )\)) to the autocorrelation function formulation of \({\mathcal {E}}_\epsilon \) in Proposition 2.6, we obtain that \({\mathcal {E}}_\epsilon (u)\le \liminf _{k\rightarrow \infty } {\mathcal {E}}_\epsilon (u_k)\). This implies that u is a minimizer. \(\square \)
At the end of the section we establish the \(\Gamma \)-convergence of \({\mathcal {E}}_\epsilon \):
Theorem 3.2
(\(\Gamma \)-limit). Suppose that (3)–(4) hold. Then \({\mathcal {E}}_\epsilon {\mathop {\rightarrow }\limits ^{\Gamma }}{\mathcal {E}}_0\) in the \(L^1\)–topology, where \({\mathcal {E}}_0\) is given in (8).
Proof
We use the representation of \({\mathcal {E}}_\epsilon \) from Proposition 2.6, i.e.
(i): Liminf inequality. We need to show that for any sequence \(u_\epsilon \rightarrow u\) in \(L^1\) and \(\sup _\epsilon {\mathcal {E}}_\epsilon (u_\epsilon )\le C<\infty \) we have
By Proposition 3.1(i) the sequence \(u_\epsilon \) is uniformly bounded in \(BV({{{\mathbb {T}}}_\ell }; \{0,1\})\). This together with the \(L^1\) convergence of \(u_\epsilon \) and Proposition 3.1(ii) yields that \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) and \(\Vert \nabla u_\epsilon \Vert \rightarrow \Vert \nabla u\Vert _{}\). Then by Proposition 2.4 we have \({\mathcal {\varvec{c}}}_{u_\epsilon }\rightarrow {\mathcal {\varvec{c}}_u}\) uniformly and \({\mathcal {\varvec{c}}}'_{u_\epsilon }(0) \rightarrow {\mathcal {\varvec{c}}'_{u}} (0)\). Moreover, the integrands of the energy are nonnegative for \(r\in (0,1)\). Thus by Fatou’s lemma (applied to the integral over (0, 1)) and the dominated convergence theorem (applied to the integral over \((1,\infty )\)) one has
which yields (33).
(ii): Limsup inequality. Let \(u\in BV({{{\mathbb {T}}}_\ell },\{0,1\})\) with \({\mathcal {E}}_0(u) < \infty \). Since \(K_\epsilon \nearrow K\) by our assumption, by the monotone convergence theorem for the constant sequence \(u_\epsilon {:}{=} u\) we then obtain \(\limsup _{\epsilon \rightarrow 0} {\mathcal {E}}_\epsilon (u) \ \le {\mathcal {E}}_0(u)\). \(\square \)
3.2 Proof of Theorem 1.3
In this section, we give the proof of Theorem 1.3, i.e., we show that if the volume \(\Vert u\Vert _{L^1({{{\mathbb {T}}}_\ell })}=\lambda |{{{\mathbb {T}}}_\ell }|\) is sufficiently small depending on the dimension, then the minimal energy is attained by a single ball. We give the proof for a class of energies which in particular includes the energy \({\mathcal {E}}_0^{(1)}\) in Theorem 1.3. More precisely, we assume that there is some \(M=M(d)> 0\) such that for all \(\eta \in (0,\frac{1}{2})\) we have
We note that the assumption (34) holds for \(K_0^{(3)}(r)=r^{-q}\) for \(d \le q \le d + \alpha _0\) for some \(\alpha _0=\alpha _0(d)>0\). Then Theorem 1.3 is a consequence of the next proposition:
Proposition 3.3
(Balls as minimizers for small volume). Suppose that (34) holds. Then the energy of of a single ball is finite. Furthermore, there exists \(m_0=m_0(d,K_0)>0\) such that if
then the unique, up to translation, minimizer u of \({\mathcal {E}}_0\) in \(BV({{{\mathbb {T}}}_\ell };\{0,1\})\) with constraint (9) is a single ball.
Proof
The proof is based on a contradiction argument. Similar proofs have been made using the sharp isoperimetric deficit (cf. [22]) e.g. in [7, 21, 29, 32, 33, 40]. We adapt these arguments to the autocorrelation function formulation of our model. The novelty in our proof is that the nonlocal term has the same scaling as the perimeter term.
The isoperimetric deficit of the bounded Borel set \(\Omega \subset \mathbb {R}^d\) is defined by
where \(B \subset \mathbb {R}^d\) is the ball with \(|B|=|\Omega |\). The sharp estimate on the isoperimetric deficit in [22] entails that
where \(\delta {:}{=} \min \{1, D(\Omega ) \}\), noting that the left hand side of (35) is called the Fraenkel asymmetry of \(\Omega \).
Let \(u=\chi _{\Omega } \in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) be a minimizer in the class of functions \(u\in BV({{{\mathbb {T}}}_\ell };\{0,1\})\) which satisfy (9). Let \(u_0=\chi _{B}\), where \(B \subset \mathbb {R}^n\) is the ball with \(|B| = |\Omega |\) with radius \(\rho {:}{=} (\omega _d^{-1}\lambda |{{{\mathbb {T}}}_\ell }|)^{\frac{1}{d}}\in (0,\frac{\ell }{4})\), which realizes the minimality in (35). By the definition of \(\delta \) we have \(\Vert \nabla u\Vert \ge (1+\delta )\Vert \nabla u_0\Vert \). If \(\delta = 0\) there is nothing to prove, so that we assume \(\delta > 0\) in the following noting that \(\delta = \delta (\rho )\) in general.
Let \(\eta > 0\). By assumption (4) we have
Since \({\mathcal {\varvec{c}}_u}(r)-{\mathcal {\varvec{c}}_u}(0)-r{\mathcal {\varvec{c}}}'_u(0)\ge 0\) and \(K_0 \ge 0\), for \(\eta \in (0, \rho )\) we have
Using that \({\mathcal {E}}_0(u)\le {\mathcal {E}}_0(u_0)\) this implies
By Lemma 2.5 and since \(\ell \ge 4\rho \), we have \(|{{{\mathbb {T}}}_\ell }| |c''_{u_0}(r)| \le C r \rho ^{d-3}\) for \(r \le \frac{\rho }{2}\) and \(|{{{\mathbb {T}}}_\ell }| (\Vert {\mathcal {\varvec{c}}}_{u_0}\Vert _{L^\infty } + \rho \Vert {\mathcal {\varvec{c}}}_{u_0}'\Vert _{L^\infty }) \le C \rho ^d\) for \(r \ge \frac{\rho }{2}\). This implies
We note that (37) together with the assumption (34) implies that the energy of a single ball is finite. Using (37) we then get
By an application of Proposition 2.4(ii) we get
where we have used the estimate of the isoperimetric deficit (35) and the definition of \(\delta \) in the last inequality. Combining (36), (38) and (39) and recalling \(-{\mathcal {\varvec{c}}}'_{u_0}(0)=\frac{\omega _{d-1}}{|{{{\mathbb {T}}}_\ell }|}\rho ^{d-1}\) we get
Inserting the assumption (34) to the above inequality and by (4), we obtain
With the choice \(\eta {:}{=} \delta \rho \), the above inequality gives \(X_{\eta } \le \frac{C(1+\delta )}{M}X_\eta + C_{d,K}\delta \rho \). Taking \(M=4C\) and recalling that \(\delta \le 1\) we thus get \(X_\eta \le C_{d,K}\rho \). Since \(X_\eta \rightarrow \infty \) as \(\eta \rightarrow 0\), then necessarily we have \(\rho \ge \eta \ge C\) for some \(C=C(d,K)>0\), and hence \(\lambda |{{{\mathbb {T}}}_\ell }|=\omega _{d}\rho ^d \ge c > 0\) for some constant \(c =c(d,K)> 0\). We thus get a contradiction if \(\lambda |{{{\mathbb {T}}}_\ell }| \le m_0\) for some \(m_0=m_0(d,K)\) sufficiently small. \(\square \)
Remark 3.4
Proposition 3.3 is for small volume configurations instead of the volume fraction, as the smallness condition on \(\lambda \) is not independent of \(\ell \). Actually it follows from Lemma 4.4 below that when the volume fraction \(\lambda \) is sufficiently small, periodic balls have smaller energy than a single ball in \({{{\mathbb {T}}}_\ell }\) for sufficiently large \(\ell \).
4 Stripes and Balls Configurations
In this section we explicitly compute the limit energy for stripes and lattice balls for given volume fraction. Throughout this section we assume the kernel is the prototypical \(K_0^{(1)}(r)=r^{-d}\). In the previous sections we have used the technical assumption that the configurations are \({{{\mathbb {T}}}_\ell }\)–periodic for some arbitrary periodicity \(\ell \). To compare the energy for configurations with fixed volume fraction, it is natural to consider more general configurations. We hence write
Definition 4.1
(Energy for generalized configurations). Let \(u:\mathbb {R}^d\rightarrow \{0,1\}\) be a measurable function such that
exists. Then we set
As noted in Remark 2.2, this energy is independent of the lattice \(\Lambda \) where it arises from. In particular, the definition (40) is consistent with and generalizes the definition of the energy \({\mathcal {E}}_0\) in Theorem 1.1(ii). We also note that we analogously get a more general definition of the energies \({\mathcal {E}}_\epsilon \). However, these will not be used in this article.
Remark 4.2
(Minimization in generalized configurations). It is natural to study the minimization problem among generalized configurations with fixed volume fraction . One could minimize \({\mathcal {E}}_0\) in Definition 4.1 in the space of autocorrelation functions
Here u is any function in \(BV_{loc}(\mathbb {R}^d;\{0,1\})\) such that \({{\mathcal C}_u}\) is well-defined. One can show that \({\mathcal {A}}_\lambda \) is convex. Even though the limit energy is a linear functional in terms of autocorrelation functions, the problem still seems to be very hard since it is difficult to characterize the space \({\mathcal {A}}_\lambda \).
In the rest of the section we calculate and compare the energy for stripe and ball configurations with the prototypical kernel \(K_0^{(1)}(r)=r^{-d}\) (and the corresponding energy is denoted by \({\mathcal {E}}^{(1)}_0\)). We recall the generalized harmonic number \(H_q\) with index \(q \ge 0\) is given by
Lemma 4.3
(Energy of stripes). Let \(d \ge 1\). Let \(\Omega \) be a periodic set of stripes of width \(d_0 >0\), distance \(d_1 > 0\) and volume fraction \(\lambda {:}{=} \frac{d_0}{d_0+d_1}\). More precisely, for \(a {:}{=} d_0+d_1\) let
Then the following holds:
-
(i)
The function \(u {:}{=} \chi _\Omega \) is \({{\mathbb {T}}}_a\)–periodic and
$$\begin{aligned} {\mathcal {E}}_0^{(1)}(u) \ = \ -\frac{2\lambda \omega _{d-1}}{d_0}\Big (1 + \frac{1}{2}H_{\frac{d-1}{2}}+ \ln \Big (\frac{d_0\sin (\pi \lambda )}{\pi \lambda }\Big )\Big ), \end{aligned}$$where \(H_{q}\) is the harmonic number (cf. (41)).
-
(ii)
Among configurations with prescribed \(\lambda \in (0,1)\) the minimal energy is
$$\begin{aligned} e_S(\lambda ) \ {:}{=} \ \min _{\lambda \text { fixed, stripes}} {\mathcal {E}}_0^{(1)}(u) \ = \ - 2 \omega _{d-1} e^{\frac{1}{2}H_{\frac{d-1}{2}}} \frac{\sin (\pi \lambda )}{\pi }. \end{aligned}$$(42)with optimal width \(d_{opt}= \frac{\pi \lambda }{\sin (\pi \lambda )} e^{-\frac{1}{2}H_{\frac{d-1}{2}}}\).
Proof
For the calculation we reduce the problem to the calculation of the interaction energy between two parallel slices. Note that the configuration is \({{\mathbb {T}}}_a\)–periodic.
(i): By Proposition 2.12(ii) the interaction energy between two parallel slices \(\{0\}\times [0,a]^{d-1}\) and \( \{ \rho \} \times \mathbb {R}^{d-1}\), \(\rho > 0\), with opposite outer normal reads
where we used that the inner integral in the first line above is independent of x and \(y_1-x_1=\rho \). An explicit calculation yields
By Proposition 2.12(ii) with \(I(0) {:}{=} 0\) and \(I(-\rho ){:}{=}I(\rho )\) for \(\rho <0\) we get
The infinite sum in the first line above is taken in the p.v. sense . Inserting the formula for \(I(\rho )\) and since \(P(\Omega ) = 2a^{d-1}\), we arrive at
Using \(d_0=\lambda a\) and the Euler’s formula \(\Pi _{n=1}^\infty \frac{k^2-\lambda ^2}{k^2}= \frac{\sin (\pi \lambda )}{\pi \lambda }\) we arrive at
(ii):
The result follows by a standard calculation. \(\square \)
As a competitor we next consider a lattice of balls, arranged on a Bravais lattice. We need to fix some notations: For a set of linearly independent vectors \(v_i \in \mathbb {R}^d\), \(1 \le i \le d\) we consider the Bravais lattice
By \(|\Lambda |\) we denote the volume of the periodicity cell, i.e.
The energy for lattice balls can then be formulated in terms of the Appell series \(F_4\), which in turn can be expressed using the Pochhammer symbols \((a)_n\), given by \((a)_n{:}{=}1\) for \(n=0\) and \((a)_n{:}{=}a(a+1)\cdots (a+n-1)\) for \(n\ge 1\). We set
With these notations, we have
Lemma 4.4
(Energy of ball configurations). Let \(d\ge 1\). Let \(\Lambda \subset \mathbb {R}^d\) be a Bravais lattice and let \(\rho > 0\). Let \(\Omega =\bigcup _{q \in \Lambda } B_\rho (q)\) be a periodic set of balls with centers on \(\Lambda \) with radius
Then
-
(i)
The function \(u {:}{=} \chi _\Omega \) is \(\Lambda \)–periodic and we have
$$\begin{aligned} {\mathcal {E}}_0^{(1)}(u) \ = \ - \omega _{d-1} \Big (\ln (2\rho ) + 1 -\frac{1}{2}H_{\frac{d-1}{2}}\Big )\frac{|\partial B_\rho |}{|\Lambda |} + I_{\Lambda }|B_\rho |^2 , \end{aligned}$$where \(H_q\) is defined in (41) and where
$$\begin{aligned} I_{\Lambda } \ {:}{=} \ \frac{1}{|\Lambda |} \sum _{q\in \Lambda \backslash \{0\}} \frac{{\mathcal H}_d(\frac{\rho ^2}{|q|^2})}{|q|^{d+1}}, \end{aligned}$$where the Appell series \({\mathcal H}_d\) is defined in (43).
-
(iI)
Let \(\Lambda _0\) be a fixed lattice with \(|\Lambda _0| = 1\) and let \(e_{B,\Lambda _0}(\lambda )\) be the minimal energy among lattices of the form \(\Lambda = a \Lambda _0\) for \( a> 0\) and for prescribed volume fraction \(\lambda = \frac{|B_\rho |}{|\Lambda |}\). Then
$$\begin{aligned} e_{B,\Lambda _0}(\lambda )\ = \ -(2 \omega _{d-1} de^{-\frac{1}{2}H_{\frac{d-1}{2}}}) \lambda + \sum _{e\in \Lambda _0\setminus \{0\}}\frac{1}{|e|^{d+1}} {\mathcal O}(\lambda ^{2+\frac{1}{d}}) \end{aligned}$$(45)for all \(\lambda \le \lambda _0\), where \(\lambda _0 = \lambda _0(\Lambda _0)\) is the largest volume fraction which can be realized by balls in the lattice. The radius of the optimal ball configuration is given by \(\rho _{opt}= \frac{1}{2}e^{\frac{1}{2}H_{\frac{d-1}{2}}} + {\mathcal O}(1)\) as \(\lambda \rightarrow 0\).
Proof
(i): We introduce the full-space (radially-symmetrized) autocorrelation function for the single ball \({\tilde{u}}{:}{=}\chi _{B_\rho }\) by
Using Lemma 2.8, we decompose the energy as
Here, \(E_{\textrm{self}}\) is the self–interaction energy of a single ball, i.e.
Furthermore, the interaction energy of a single ball \(B_\rho \) with other copies is
Computation of \(E_{\textrm{self}}(\rho )\): By definition we have \({{\tilde{\mathcal {\varvec{c}}}}_u}(r)=0\) for \(r\ge 2\rho \). Using Remark 2.7 and integration by parts we have
Since \({{\tilde{\mathcal {\varvec{c}}}}_u}(r) = |\Lambda | {\mathcal {\varvec{c}}_u}(r)\) for \(0 \le r\le 2\rho \), in view of (19) and with the change of variables \(r = \rho \sqrt{1-t}\) we get
Using the formula \({{\tilde{\mathcal {\varvec{c}}}}}'_u(0) = -\frac{\omega _{d-1}}{\sigma _{d-1}}|\partial B_\rho |\) we arrive at
Estimate of \(I_{\textrm{int}}(\Lambda ,\rho )\):
For the estimate of \(I_{\textrm{int}}(\Lambda ,\rho )\) we note that by (53) in “Appendix B” we have
Together with (47) and (46), this yields (i).
(ii): We note that \(I_\Lambda = \frac{1}{a^{2d+1}} I_{\Lambda _0}\), where
Using this and \(\lambda =\frac{|B_\rho |}{a^d}\), the averaged interaction energy can be rewritten in terms of \(\rho \) and \(\lambda \) as
From Lemma B.1 and that \(\frac{{\tilde{\rho }}}{|e|}\le \frac{1}{2}\), which follows from (44), we have that \(\sum _{e\in \Lambda _0{\setminus } \{0\}}\frac{1}{|e|^{d+1}}\le I_{\Lambda _0}\le C\sum _{e\in \Lambda _0{\setminus } \{0\}}\frac{1}{|e|^{d+1}}\).
Using \(\lambda = \frac{|B_\rho |}{|\Lambda |}\), we can further express \(E_{\textrm{self}}\) in terms of \(\lambda \) and \(\rho \) as
Thus the self–interaction energy in (49) is of leading order in \(\lambda \) for \(\lambda \ll 1\) for fixed lattice \(\Lambda _0\). By minimization (49) in \(\rho \) we obtain
Since expression (48) is of lower order in \(\lambda \), and since \(\frac{d^2E_{\textrm{self}} (\rho ^*_{\textrm{opt}})}{d\rho ^2}>c_d>0\), (ii) follows by a standard application of the inverse function theorem. \(\square \)
We compare the minimal energy for stripes and balls in (ii) of Lemma 4.3 and Lemma 4.4 with fixed volume fraction \(\lambda \).
Proposition 4.5
(Stripes vs balls). Let \(K_0^{(1)}(r)= r^{-d}\) and let \(\Lambda _0\) be a Bravais lattice with \(|\Lambda _0|=1\). Let \(e_S\), \(e_{B,\Lambda _0}\) be defined in (45) and (42). Then there are \(\lambda _0=\lambda _0(d,\Lambda _0)>0\) and \(\delta _0>0\) independent of \(\Lambda _0\) such that
-
(i)
if \(0< \lambda < \lambda _0\), then \(e_{B,\Lambda _0}(\lambda ) \ < e_S(\lambda )\).
-
(ii)
if \(d=2\) and \(|\lambda - \frac{1}{2}| < \delta _0\), then \(e_S(\lambda ) \ < e_{B,\Lambda _0}(\lambda )\).
Proof
(i): Comparing the leading order (in \(\lambda \)) terms of \(e_S(\lambda )\) and \(e_{B,\Lambda _0}(\lambda )\) (which is independent of \(\Lambda _0\)) and using that
for all \(d\ge 2\) we can conclude the assertion.
(ii): For large volume fraction the interaction energy is no more of lower order. Moreover, noting that balls have smaller self-interaction energy than stripes, we have to estimate the lower bound of interaction energy for balls. When \(d=2\), by Lemma 4.3(ii) and since \(H_{\frac{1}{2}}=2-2\ln 2\) we have
Now we estimate the lower bound for the interaction energy among Bravais lattices in \(\mathbb {R}^2\). Given any Bravais lattice \(\Lambda \subset \mathbb {R}^2\) with \(a^2=|\Lambda |\) and \(\Lambda _0{:}{=}\frac{1}{a}\Lambda \), from (53) in Lemma B.1 and using that \(\lambda a^2=\pi \rho ^2\) we have
Thus combining with the self-interaction energy in Lemma 4.4 we have that for \(u=\bigcup _{q\in \Lambda } B_\rho (q)\) with \(0<\rho \le \frac{1}{2} \min _{p, q\in \Lambda }|p-q|\) and \(\lambda =\frac{|B_\rho |}{|\Lambda |}=\frac{1}{2}\),
By Rankin [45], \(\zeta (\Lambda _0)\) attains the minimum at the triangle lattice \(H_{nor}{:}{=}\sqrt{\frac{2}{\sqrt{3}}}(\mathbb {Z}(1,0)\bigoplus \mathbb {Z}(\frac{1}{2}, \frac{\sqrt{3}}{2}))\) among all 2d Bravais lattices with volume 1, and furthermore from its explicit expression we have that \(\zeta (H_{nor})>8\). Thus (50) together with the standard minimization gives
Since the energy functionals are continuous in \(\lambda \), then there is \(\delta _0>0\) independent of \(\Lambda _0\) such that if \(\lambda \in (\frac{1}{2}-\delta _0, \frac{1}{2}+\delta _0)\) stripes have strict smaller energy than any 2d lattice balls with the volume fraction \(\lambda \). \(\square \)
Remark 4.6
(Triangular lattice in 2d). We conjecture that in 2d for sufficiently small volume fraction \(\lambda \), the triangle lattice \(H_{nor}\) has the smallest energy among all lattice of balls. Indeed, we recall from Lemma 4.4(i) that the energy consists of the self-interaction energy and the interaction energy. In view of (49), the self-interaction energy is independent of the lattice \(\Lambda _0\). For the interaction energy, cf. (48), we expect that \(I_{\Lambda _0}\) achieves its minimum for the triangle lattice \(H_{nor}\) if \(\lambda \) is sufficiently small. To prove such a result one would (at least) need to extend the methods in [6] to the case of non–integrable potentials and we leave it for the future work.
References
Acerbi, E., Fusco, N., Morini, M.: Minimality via second variation for a nonlocal isoperimetric problem. Commun. Math. Phys. 322(2), 515–557 (2013)
Alberti, G., Choksi, R., Otto, F.: Uniform energy distribution for an isoperimetric problem with long-range interactions. J. Am. Math. Soc. 22(2), 569–605 (2009)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Math. Monographs. Oxford University Press, Oxford (2000)
Averkov, G., Bianchi, G.: Confirmation of Matheron’s conjecture on the covariogram of a planar convex body. J. Eur. Math. Soc. 11(6), 1187–1202 (2009)
Bailey, W.: Some Infinite Integrals Involving Bessel Functions. Proc. Lond. Math. Soc. (2) 40(1), 37–48 (1935)
Bétermin, L., Knüpfer, H.: Optimal lattice configurations for interacting spatially extended particles. Lett. Math. Phys. 108(10), 2213–2228 (2018)
Bonacini, M., Cristoferi, R.: Local and global minimality results for a nonlocal isoperimetric problem on \(\mathbb{R} ^N\). SIAM J. Math. Anal. 46(4), 2310–2349 (2014)
Bourgain, J., Brezis, H., Mironescu, P.: Another look at Sobolev spaces. In: Optimal Control and Partial Differential Equations, pp. 439–455. IOS, Amsterdam (2001)
Cabré, X., Cinti, E., Serra, J.: Stable \(s\)-minimal cones in \(\mathbb{R} ^3\) are flat for \(s\sim 1\). J. Reine Angew. Math. 764, 157–180 (2020)
Caffarelli, L., Roquejoffre, J.-M., Savin, O.: Nonlocal minimal surfaces. Commun. Pure Appl. Math. 63(9), 1111–1144 (2010)
Caffarelli, L., Valdinoci, E.: Uniform estimates and limiting arguments for nonlocal minimal surfaces. Calc. Var. Partial Differ. Equ. 41(1–2), 203–240 (2011)
Cesaroni, A., Novaga, M.: Second-order asymptotics of the fractional perimeter as \(s\rightarrow 1\). Math. Eng. 2(3), 512–526 (2020)
Choksi, R., Peletier, M.: Small volume fraction limit of the diblock copolymer problem: I. Sharp-interface functional. SIAM J. Math. Anal. 42(3), 1334–1370 (2010)
Choksi, R., Peletier, M.: Small volume-fraction limit of the diblock copolymer problem: II. Diffuse-interface functional. SIAM J. Math. Anal. 43(2), 739–763 (2011)
Cicalese, M., Spadaro, E.: Droplet minimizers of an isoperimetric problem with long-range interactions. Commun. Pure Appl. Math. 66(8), 1298–1333 (2013)
Corduneanu, C.: Almost Periodic Oscillations and Waves. Springer, New York (2009)
Cristoferi, R.: On periodic critical points and local minimizers of the Ohta-Kawasaki functional. Nonlinear Anal. 168, 81–109 (2018)
Dal Maso, G.: An introduction to \(\Gamma \)-convergence, volume 8 of Progress in Nonlinear Differential Equations and their Applications. Birkhäuser, Boston (1993)
Dávila, J.: On an open question about functions of bounded variation. Calc. Var. Partial Differ. Equ. 15(4), 519–527 (2002)
De Giorgi, E., Letta, G.: Une notion générale de convergence faible pour des fonctions croissantes d’ensemble. Ann. Sc. Norm. Sup. Pisa Cl. Sci. (4) 4(1), 61–99 (1977)
Figalli, A., Fusco, N., Maggi, F., Millot, V., Morini, M.: Isoperimetry and stability properties of balls with respect to nonlocal energies. Commun. Math. Phys. 336(1), 441–507 (2015)
Fusco, N., Maggi, F., Pratelli, A.: The sharp quantitative isoperimetric inequality. Ann. Math. (2) 168(3), 941–980 (2008)
Galerne, B.: Computation of the perimeter of measurable sets via their covariogram. Applications to random sets. Im. Anal. Ster. 30(1), 39–51 (2011)
Giusti, E.: Minimal surfaces and functions of bounded variation. Monographs in Mathematics, vol. 80. Birkhäuser Verlag (1984)
Goldman, D., Muratov, C., Serfaty, S.: The \({\Gamma }\)-limit of the two-dimensional Ohta-Kawasaki energy. I. Droplet density. Arch. Ration. Mech. Anal. 210(2), 581–613 (2013)
Goldman, D., Muratov, C.B., Serfaty, S.: The \(\Gamma \)-limit of the two-dimensional Ohta-Kawasaki energy. II. Droplet arrangement via the renormalized energy. Arch. Ration. Mech. Anal. 212(2), 445–501 (2014)
Goldman, M., Merlet, B., Pegon, M.: Uniform \({C}^{1,\alpha }\)-regularity for almost-minimizers of some nonlocal perturbations of the perimeter. arXiv preprint arXiv:2209.11006 (2022)
Hubert, A., Schäfer, R.: Magnetic Domains. Springer, Berlin (1998)
Julin, V.: Isoperimetric problem with a Coulomb repulsive term. Indiana Univ. Math. J. 63(1), 77–89 (2014)
Julin, V., Pisante, G.: Minimality via second variation for microphase separation of diblock copolymer melts. J. Reine Angew. Math. 729, 81–117 (2017)
Kent-Dobias, J., Bernoff, A.: Energy-driven pattern formation in planar dipole-dipole systems in the presence of weak noise. Phys. Rev. E 91, 032919 (2015)
Knüpfer, H., Muratov, C.: On an isoperimetric problem with a competing non-local term. I. The planar case. Commun. Pure Appl. Math. 66(7), 1129–1162 (2013)
Knüpfer, H., Muratov, C.: On an isoperimetric problem with a competing non-local term. II. The general case. Commun. Pure Appl. Math. 67(12), 1974–1994 (2014)
Knüpfer, H., Muratov, C., Nolte, F.: Magnetic domains in thin ferromagnetic films with strong perpendicular anisotropy. Arch. Ration. Mech. Anal. 232(2), 727–761 (2019)
Leoni, G., Spector, D.: Characterization of Sobolev and \(BV\) spaces. J. Funct. Anal. 261(10), 2926–2958 (2011)
Matheron, G.: Random sets and integral geometry. Wiley, New York (1975). Wiley Series in Probability and Mathematical Statistics
Merlet, B., Pegon, M.: Large mass rigidity for a liquid drop model in \(2\)D with kernels of finite moments. Journal de l’École polytechnique Mathématiques 9, 63–100 (2022)
Morini, M., Sternberg, P.: Cascade of minimizers for a nonlocal isoperimetric problem in thin domains. SIAM J. Math. Anal. 46(3), 2033–2051 (2014)
Muratov, C., Simon, T.: A nonlocal isoperimetric problem with dipolar repulsion. Commun. Math. Phys. 372(3), 1059–1115 (2019)
Muratov, C., Zaleski, A.: On an isoperimetric problem with competing nonlocal term:quantitative results. Ann. Glob. Anal. Geom. 47(1), 63–80 (2015)
NIST Digital library of mathematical functions. http://dlmf.nist.gov/, Release 1.1.6 of 2022-06-30
Nolte, F.: Optimal scaling laws for domain patterns in thin ferromagnetic LMS with strong perpendicular anisotropy. Ph.D. thesis, University of Heidelberg (2017)
Pegon, M.: Large mass minimizers for isoperimetric problems with integrable nonlocal potentials. Nonlinear Anal. 211, 112395 (2021)
Peskin, M., Schroeder, D.: An Introduction To Quantum Field Theory. Frontiers in Physics. Avalon Publishing, New York (1995)
Rankin, R.: A minimum problem for the Epstein zeta-function. Proc. Glasgow Math. Assoc. 1, 149–158 (1953)
Villani, C.: Optimal transport, volume 338 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin (2009). Old and new
Acknowledgements
HK and WS are very grateful to Felix Otto who suggested the usage of the autocorrelation function. This project started in discussions with him. HK acknowledges support by the German Research Foundation (DFG) by the project #392124319 and by the Germany’s Excellence Strategy EXC-2181/1 – 390900948. WS is partially supported by the German Research Foundation (DFG) by the project SH 1403/1-1. We would also like to thank both referees for the careful reading and helpful comments.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Conflict of interest
Both authors declare that they have no conflicts of interest.
Additional information
Communicated by R. Seiringer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Connection to the Results by Dávila
We start by recalling the classical result by Dávila [19]. Let \(K_\epsilon :\mathbb {R}^d\rightarrow \mathbb {R}_+\) be a family of nonnegative radially symmetric kernels, which satisfy
Let \(\Omega \subset \mathbb {R}^d\) be a bounded set with finite perimeter. Then Dávila showed that for \(u{:}{=}\chi _{\Omega }\) one has
Using the autocorrelation function, one can give a simpler proof for (52) as we explain below: Let
be the (full space) radially symmetrized autocorrelation function. One can easily get the analogous statements as in Proposition 2.4 for the full space symmetrized autocorrelation function. Then it follows from assumptions (51) on \(K_\epsilon \) as well as the existence of \({{\tilde{\mathcal {\varvec{c}}}}}'_u(0)\), cf. Proposition 2.4, that
With this at hand, (52) directly follows from writing the above equation in terms of u (cf. Proposition 2.4(iv) and (v) in the non-periodic setting). We note that the decay of \(K_\epsilon \) at infinity is not needed when \(\Omega \) is bounded. Furthermore, instead of \(\Vert K_\epsilon \Vert _{L^1(\mathbb {R}^d)}\) it suffices to normalize the LHS of (52) by \(\Vert K_\epsilon \Vert _{L^1(B_{r_0})}\) for arbitrary \(r_0>0\).
Appendix B. Interaction Energy of Two Balls
In this section we provide the explicit expression for the full-space interaction energy between two balls.
Lemma B.1
(Interaction energy between two balls in full space). Let \(q \in \mathbb {R}^d\). Then for \(0<\rho \le \frac{|q|}{2}\) we have
where \({\mathcal H}_d(t)\) is given in (43). In particular, for \(C=C_d>0\) we have
Proof
By scaling and rotation invariance, we may assume that \(\rho =1\), \(\lambda {:}{=}|q| \ge 2\) and \(q=|q| e_1\). We note that the Fourier transform for \(\chi _{B_1(0)}\) is
where \(J_\nu \) is the Bessel function of first kind. Using that \(B_1(0) =: B_1\) and \(B_1(q) = B_1 + q\) are disjoint, we have
By Plancherel and with the change of variable \(h\mapsto \frac{h}{|\xi |}\) we have
where
Plugging (54) into (55) and with \(s {:}{=} |\xi |\lambda \), \(\xi _1 = |\xi | \cos \theta \) and \(t {:}{=}\cos \theta \) we get
where the last equality is due to [5, eq. (7.1)]. Taking the average of X by dividing \(\omega _d^2\) and since \(\omega _d=\frac{\pi ^{\frac{d}{2}}}{\Gamma (1+\frac{d}{2})}\), we obtain (43). From the definition we see that \({\mathcal H}_d(t)\) is monotonically increasing in t with \({\mathcal H}_d(t) \ge 1+\frac{3(d+1)}{d+2}t\). This yields the lower bound in (53). The upper bound follows since \({\mathcal H}_d(t)=1+{\mathcal O}(t)\) as \(t\rightarrow 0\). \(\square \)
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
Knüpfer, H., Shi, W. Second Order Expansion for the Nonlocal Perimeter Functional. Commun. Math. Phys. 398, 1371–1402 (2023). https://doi.org/10.1007/s00220-022-04549-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04549-w