Abstract
We consider a system of N hard spheres sitting on the nodes of either the \(\textrm{FCC}\) or \(\textrm{HCP}\) lattice and interacting via a sticky-disk potential. As N tends to infinity (continuum limit), assuming the interaction energy does not exceed that of the ground-state by more than \(N^{2/3}\) (surface scaling), we obtain the variational coarse grained model by \(\Gamma \)-convergence. More precisely, we prove that the continuum limit energies are of perimeter type and we compute explicitly their Wulff shapes. Our analysis shows that crystallization on \(\textrm{FCC}\) is preferred to that on \(\textrm{HCP}\) for N large enough. The method is based on integral representation and concentration-compactness results that we prove for general periodic lattices in any dimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A fundamental problem in crystallography is to understand why ensembles of large number of atoms arrange themselves into crystals at low temperatures. From the mathematical point of view, proving that equilibrium configurations of certain phenomenological interaction energies exhibit these structures is referred to as the crystallization problem [8].
At zero temperature the internal energy of a configuration of atoms is expected to be solely governed by its geometric arrangement. Within the framework of molecular mechanics [1, 26, 34], one identifies each ensemble of atoms with its atomic positions \(X=\{x_1,\ldots ,x_N\} \subset {\mathbb {R}}^3\) and associates to it a configurational energy of the form
where \(V :{\mathbb {R}} \rightarrow {\mathbb {R}}\cup \{+\infty \}\) is an empirical pair interaction potential (the factor \(\frac{1}{2}\) accounts for double counting). Such potentials are typically repulsive at short distances and attractive at large distances. While clustering is favored by long range attraction, the density of a cluster cannot get too large due to short-range repulsion.
Notably, even under simplifying assumptions on the interaction potentials, the mathematical literature on rigorous crystallization results is scarce. In fact, for finite N, only results in one and two space dimensions are available. For example, if V is of Lennard–Jones type, crystallization has been proved only in one space dimension [28]. In higher space dimensions only partial results are available. Most notably, in [22, 35, 44] it has been proven that crystalline structures have optimal bulk energy scaling. In two dimensions, only results for (some variants of) the sticky disc potential (see Fig. 1)
are available [18, 31, 33, 40].
More recently, crystallization results have been proved for ionic compounds [23, 24] and carbon structures in [39]. The potential given in (1) models the atoms as hard spheres that interact exactly when two of them are tangent. In \({\mathbb {R}}^n\) the kissing number k(n) is the highest number of n-dimensional spheres of radius \(\frac{1}{2}\) which are tangent to a given sphere of the same size. It is well known that \(k(2)=6\) and \(k(3)=12\), see [42]. For a given configuration of non-overlapping equal balls centered at \(X=\{x_1,\ldots ,x_N\} \subset {\mathbb {R}}^n\), \(N \in {\mathbb {N}}\cup \{+\infty \}\) the coordination number of \(x \in X\) is the number of spheres centered at \(y\in X{\setminus } \{x\}\) and tangent to the one centered at x. In two dimensions there is a unique (up to a rigid motion) configuration made of infinitely many particles such that all atoms have as coordination number the kissing number. Such a set X is the triangular lattice with lattice spacing one. In three dimensions the problem is much more intricate. In fact, there exist infinitely many configurations (even distinct up to rigid motion) with constant coordination number equal to k(3). An infinite class of configurations can be obtained by stacking in an appropriate way layers of triangular lattices. A remarkable result by Hales [30] shows that all such structures solve Kepler’s conjecture, which is to say that they have the maximal packing density in \({\mathbb {R}}^3\). Two notable cases of the aforementioned structures are the face-centered cubic lattice \({\mathcal {L}}_{\textrm{FCC}}\) and the hexagonal closed-packed lattice \({\mathcal {L}}_{\textrm{HCP}}\) (see (6)–(8) for their precise definition) which are the most prevalent among the crystalline arrangements in the periodic table of elements.
In this paper we want to investigate already crystallized configurations, i.e. configurations \(X \subset {\mathcal {L}}\) where \({\mathcal {L}}={\mathcal {L}}_{\textrm{FCC}}\) or \( {\mathcal {L}}={\mathcal {L}}_{\textrm{HCP}}\), see (5)–(8) for their definitions. For such \(X = \{x_1,\ldots ,x_N\} \subset {\mathcal {L}}\), fixing the lattice spacing to be 1, we have
As described above the minimal energy per atom is \(-k(3)=-12\). Further information on \({\mathcal {E}}\) as N grows can be obtained by referring it to the minimal energy per atom and calculating the excess energy \(E_N(X)\) defined below. More precisely, in Theorem 2.3, we carry out a rigorous variational asymptotic expansion (see [12]) of \({\mathcal {E}}(X)\), by considering
and calculating its \(\Gamma \)-limit [9, 15] as N tends to infinity. This analysis has been done in two dimensions for configurations confined to the triangular lattice [7] as well as without any confinement assumption [25]. Note that the scaling factor \(N^{-2/3}\) is used in order to keep the energy bounded as the number of atoms grows. In fact, given a low energy configuration of N atoms, the number of those contributing to the energy scales like \(N^{2/3}\) for N large. By associating to each configuration its rescaled emprical measure
we show in Theorem 2.3 (i) that the sequence of rescaled energies (2) is equi-coercive with respect to the weak*-convergence of the associated empirical measures. In Theorem 2.3 (ii), (iii) we exploit integral representation theorems [2, 3, 5] to show that the limit energy is finite on the set of measures \(\mu = \sqrt{2}{\mathcal {L}}^3\lfloor _V\), where \(V \subset {\mathbb {R}}^3\) is a set of finite perimeter, on which the energy takes the form
Here, \(\partial ^* V\) denotes the reduced boundary of the set V, \(\nu (x)\) denotes its unit outer normal at the point \(x\in \partial ^*V\) and \(\varphi _{{\mathcal {L}}}\) is an anisotropic surface energy density depending on the underlying lattice \({\mathcal {L}}\). In the case of multi-lattices, like the HCP-lattice, this integral representation result has not yet been proven in the literature. We defer to Sect. 5 for a proof of this result whose main ingredient is the integral representation theorem in [3]. Furthermore, in the same section we prove general compactness and concentration lemmata that ensure the convergence of the rescaled empirical measures of minimizers of the discrete problem (2) to the Wulff shape (up to a constant density factor) of the associated limiting anisotropic perimeter energy (21). Such kind of result was previously known only in two dimensions [7]. Its extension to higher dimensions, see Lemma 5.16, requires more refined tools from geometric measure theory that, to the best of our knowledge, are exploited in this setting here for the first time. We would like to point to [10, 11, 20, 29] for some recent work on the study on crystalline Wulff shapes stemming from discrete systems on Bravais lattices as well as on quasicrystals. The main body of this work lies in the calculation of the surface energy density \(\varphi _{{\mathcal {L}}} :{\mathbb {R}}^3 \rightarrow [0,+\infty )\) both for the \(\textrm{FCC}\) and the \(\textrm{HCP}\) lattices. Here, we take advantage of a recently proved finite cell formula [13]. Finally, for both lattices, we solve the associated isoperimetric problem [21]
by calculating the (up to translation unique) set realizing the minimum in (4), also known as the Wulff shape [45]. We show that \(m_{\textrm{FCC}} < m_{\textrm{HCP}}\) which also implies (since \(\Gamma \)-convergence and coercivity implies the convergence of minimum values) that, for large number of atoms, crystallization on the face-centered cubic lattice is preferred to that on the hexagonal-closed packed lattice. This result supports the very recent experimental findings on crystallization in colloidal matters [41]. We finally mention [6] for some preliminary computations on the Wulff shape of the FCC and HCP.
In contrast to the uniqueness of the Wulff crystal in the continuum setting, minimizers to the discrete isoperimetric problem [32] are non-unique [19]. Over the last years there has been a remarkable interest in establishing fluctuation estimates between different minimizers, i.e., estimating (several notions of) distances between different minimizers. Maximal fluctuation estimates between two minimizers have been first conjectured in [7] in the case of the crystallization on the triangular lattice and have been later proved in [17, 43]. The same estimates have been proved in [16, 23, 24, 37] for the square and the honeycomb lattices, respectively. A general approach linking the quantitative anistropic isoperimetric inequality to such fluctuation estimates has been set up in [14] by two of the authors. In dimensions larger than two these fluctuation estimates have been only established for the cubic lattice in [36] and for \({\mathbb {Z}}^d\) in [38]. In order to establish the aforementioned fluctuation estimates, however, an understanding of the limiting macroscopic Wulff shape is essential. Since the present work yields these shapes for the FCC and HCP lattices, it is our opinion that it may be considered an indispensable first step to prove fluctuation estimates also for such lattices.
The article is structured as follows. In Sect. 2 we introduce the necessary mathematical preliminaries, the model, and the main results. In Sect. 3 we prove Proposition 2.4 and 2.5, by calculating the surface energy density as well as the Wulff crystal associated to both the \(\textrm{FCC}\) and the \(\textrm{HCP}\) lattices. In Sect. 4 we prove the main \(\Gamma \)-convergence Theorem 2.3. The latter is a consequence of a more general theory for discrete perimeter energies on general periodic lattices developed in Sect. 5.
2 Setting and Notation
Given a set of vectors \(V\subset {\mathbb {R}}^n\) we denote by \(\textrm{span}_{\mathbb {Z}}V\) the set of finite linear combinations of elements of V with coefficients in \({\mathbb {Z}}\). We denote by \(\mathfrak {M}\) the collection of all Lebesgue measurable subsets of \({\mathbb {R}}^n\). Given \(V\in \mathfrak {M}\) we denote by |V| its n-dimensional Lebesgue measure, i.e., \(|V|={\mathcal {L}}^n(V)\), and \({\mathcal {H}}^k\) its k-dimensional Hausdorff measure. Given a countable set X, we denote by \(\#X\) the cardinality of X. Given \(a,b \in {\mathbb {R}}^n\) we denote by \(\langle a,b\rangle \) their scalar product. We denote by \({\mathbb {S}}^{n-1}\) the set of unitary vectors in \({\mathbb {R}}^n\). For any \(\nu \in {\mathbb {S}}^{n-1}\) let \(\{\nu _1,\ldots ,\nu _n=\nu \}\) be an orthonormal basis of \({\mathbb {R}}^n\), and let \(Q^\nu := \{x \in {\mathbb {R}}^n :|\langle x, \nu _i\rangle | < 1/2,\, i = 1,\ldots ,n\}\) be a unit cube centered at the origin with faces parallel and orthogonal to \(\nu \). For \(T>0\) and \(x\in {\mathbb {R}}^n\) we set \(Q_T^\nu (x)= x+TQ^\nu \) and we write \(Q_T^\nu =Q_T^\nu (0)\). For \(r>0\) and \(x\in {\mathbb {R}}^n\) we denote by \(B_r(x)\) the n-dimensional Euclidean ball of radius r centered at x (for \(x=0\) we write \(B_r\) in place of \(B_r(0)\)) and we set \(\omega _n=|B_1(x)|\). For \(r>0\) and \(A \subset {\mathbb {R}}^n\) we set \((A)_r= A+ B_r\). For \(0<r_1<r_2\) we define \(A_{r_1,r_2}:=B_{r_2} {\setminus } {\overline{B}}_{r_1}\) and for \(x \in {\mathbb {R}}^n\) we set \(A_{r_1,r_2}(x) = A_{r_1,r_2}+x\). Given \(A \subset {\mathbb {R}}^n\) open, we define the set of non-negative Radon measures by \({\mathcal {M}}_+(A)\). We say that \(\{\mu _k\}_k\subset {\mathcal {M}}_+(A)\) converges to \(\mu \in {\mathcal {M}}_+(A)\) with respect to the weak star topology and we write \(\mu _k \overset{*}{\rightharpoonup }\ \mu \) if
We denote by BV(A) the space of functions of bounded variation in A and we denote by \(BV_{\textrm{loc}}(A)=\{u\in L^1_{\textrm{loc}}(A) :u \in BV(K) \text { for all } K \subset \subset A, K \text { open}\}\). Given a function \(u \in BV(A)\) we use the notation of [4] for the jump set \(J_u\) and the measure theoretic normal \(\nu _u :J_u \rightarrow {\mathbb {S}}^{n-1}\). For \(V\subset A\), \(V\in \mathfrak {M}\) we denote the relative perimeter of V in A by
2.1 Definition of \(\textrm{HCP}\) and \(\textrm{FCC}\) lattices
In the following we define the face-centered cubic lattice (short \(\textrm{FCC}\)-lattice) and the hexagonal closed-packed lattice (short \(\textrm{HCP}\)-lattice). To this end, we introduce the vectors
and
We define the \(\textrm{FCC}\)-lattice as
and the \(\textrm{HCP}\)-lattice by
The two lattices are illustrated in Fig. 2. We shall write \({\mathcal {L}}\) to generically denote one of the two lattices defined above. We define the neighborhood of a point \(x \in {\mathcal {L}}_{\textrm{FCC}}\) as the set
Similarly, for a point \(x \in {\mathcal {L}}_{\textrm{HCP}}\) we define its neighborhood as follows: if \(x\in \textrm{span}_{\mathbb {Z}}\{e_1,e_2,e_3\}\) then
while if \(x \in \textrm{span}_{\mathbb {Z}}\{e_1,e_2,e_3\}+v_1\) then
Note that \({\mathcal {N}}_{\textrm{FCC}}(x)={\mathcal {N}}_{\textrm{FCC}}(0)+x\) for all \(x\in {\mathcal {L}}_{\textrm{FCC}}\), while this is no more the case for \(x\in {\mathcal {L}}_{\textrm{HCP}}\). Also for \({\mathcal {N}}\) we omit the subscript if we do not need to distinguish between \(\textrm{FCC}\) and \(\textrm{HCP}\). It is straightforward to check that for all \(x,y\in {\mathcal {L}}\),
Given \({\mathcal {L}}\) we define the Voronoi cell of \(x \in {\mathcal {L}}\) (with respect to \({\mathcal {L}}\)) by
Accordingly, given \(\varepsilon >0\) we write \({\mathcal {V}}_{\varepsilon {\mathcal {L}}}(x)\) for the Voronoi cell centered at \(x \in \varepsilon {\mathcal {L}}\) with respect to the scaled lattice \(\varepsilon {\mathcal {L}}\). Given \(X\subset \varepsilon {\mathcal {L}}\) we say that \(y \in {\mathcal {N}}_\varepsilon (x)\) if and only if \(\varepsilon ^{-1}y \in {\mathcal {N}}(\varepsilon ^{-1}x)\).
2.2 Definition of the energy
Given \(X\subset {\mathcal {L}}\) and \(A\subset {\mathbb {R}}^3\) we define the configurational energy of X localized to the set A as
Note that, if \(A={\mathbb {R}}^3\) we have that
and so (13), up to the scaling factor \(N^{-2/3}\), agrees with (2) if \(A={\mathbb {R}}^3\). In the formula above we can interpret the set X as the occupancy of the crystal \({\mathcal {L}}\), i.e., the set of those nodes of \({\mathcal {L}}\) occupied by atoms. The quantity \(\#(\mathcal {N_{\mathcal {L}}}(x){\setminus } X)\) is also known as the valence of the point x with respect to X, i.e., the number of neighbours missing in X in order to have a neighbourhood of maximal cardinality. Note that we can also rewrite the localized energy as
where
2.3 Periodicity of the interaction coefficients
By definition
As a consequence of that, for any \(x,y\in {\mathcal {L}}_\textrm{FCC}\) it holds that
According to the last two equalities, we say that the lattice \({\mathcal {L}}_{\textrm{FCC}}\) as well as the interaction coefficients of its configurational energy are periodic with periodicity cell
or simply that they are \(T_{{\textrm{FCC}}}\)-periodic. Similarly, we observe that \({{\mathcal {L}}}_{\textrm{HCP}}\) and its interaction coefficients are \(T_{{\textrm{HCP}}}\)-periodic, where the periodicity cell is defined as
2.4 Surface scaling of the configurational energy
For \(\varepsilon >0\) and \(X \subset \varepsilon {\mathcal {L}}\) we consider the energy
Assuming that \(X\subset \varepsilon {{\mathcal {L}}}\) and \(\#X\approx \varepsilon ^{-3}\) the volume occupied by the union of the spheres centered at \(x \in X\) with diameter \(\varepsilon \) is of order one. Thus, the scaling factor \(\varepsilon ^2\) in the energy functional is denoted by surface scaling. We also define the rescaled empirical measures associated to the configuration X as
Upon identifying \(X\subset \varepsilon {\mathcal {L}}\) with its empirical measure \(\mu _\varepsilon \), we can regard these energies to be defined on \({\mathcal {M}}_+({\mathbb {R}}^3)\) by setting
2.5 The coarse grained continuum energy
For \({\mathcal {L}}\) we define the homogenized surface energy density \(\varphi _{{\mathcal {L}}} :{\mathbb {R}}^3\rightarrow [0,+\infty ]\) as the convex positively homogeneous function of degree one such that for all \(\nu \in {\mathbb {S}}^{2}\) we have
where \(u_\nu \) is given by
In order to be able to apply [13, Proposition 2.6] and eventually obtain an alternative representation of \(\varphi _{{\mathcal {L}}}\) (up to a coordinate transformation and reparametrization of the interaction coefficients), we define for \(u :{\mathcal {L}} \rightarrow {\mathbb {R}}\), \(A \subset {\mathbb {R}}^3\) the energy
We are now in position to state [13, Proposition 2.6].
Proposition 2.1
Let c(x, y) be as in (14). Then
With the definition of surface energy density at hand we can define the coarse-grained continuum energy \(E_{{\mathcal {L}}}:{\mathcal {M}}_+({\mathbb {R}}^3) \rightarrow [0,+\infty ]\) as
with \(\varphi _{\mathcal {L}}\) given by (19). Here, \(\partial ^*V\) denotes the reduced boundary of the set V, \(\nu \) its outer normal and \({\mathcal {H}}^{2}\), as noted at the beginning of this section, stands for the 2-dimensional Hausdorff measure in \({\mathbb {R}}^3\) (cf. [4], Chapters 2.8 and 3.5).
2.6 The Wulff crystal
In this section we calculate the Wulff crystals of the coarse grained \(\textrm{FCC}\) and \(\textrm{HCP}\) lattices. To the best of our knowledge, this is the first time that such a calculation has been carried out in a rigorous analytical way. In what follows we introduce the notion of Wulff shape in the general case of \({\mathbb {R}}^n\). While in the rest of this section we limit ourselves to the case \(n=3\), in Sect. 5 we consider general n.
Given \(\varphi :{\mathbb {R}}^n \rightarrow [0,+\infty )\) convex, non-degenerate, (i.e. there exist \(0<c<C\) such that \(c \le \varphi (\nu ) \le C\) for all \(\nu \in {\mathbb {S}}^{n-1}\)) positively homogeneous of degree one, we define the Wulff set of \(\varphi \) by
where \(\varphi ^\circ :{\mathbb {R}}^n \rightarrow [0,+\infty )\) is defined as
Thanks to the anistropic isoperimetric inequality (cf. [21]), we have that \( W_\varphi \) is the unique (up to rigid motions) minimizer of
Given \(\lambda >0\) we set \(W_\lambda = \left( \frac{\lambda }{|W_\varphi |}\right) ^{1/n} W_\varphi \) so that \(|W_\lambda |=\lambda \) and, by scaling, it solves the minimum problem above among all sets \(A \subset {\mathbb {R}}^n\) with \(|A|=\lambda \).
Definition 2.2
Let \((X,\tau )\) be a topological space and let \(F_k :X \rightarrow [0,+\infty ]\). For \(x \in X\) we set
and
If there exists \(F :X \rightarrow [0,+\infty ]\) such that
we say that \(F_k\) \(\Gamma \)-converges with respect to \(\tau \) to F and we write
If we have \((F_\varepsilon )_{\varepsilon >0} :X \rightarrow [0,+\infty ]\) we say that \(F_\varepsilon \) \(\Gamma \)-converges with respect to \(\tau \) to F if \(F_{\varepsilon _k}\) \(\Gamma \)-converges with respect to \(\tau \) to F for all \(\varepsilon _k \rightarrow 0\).
The following variational coarse-graining result is proved in Sect. 4.
Theorem 2.3
Let \(\varepsilon \rightarrow 0\), and let \(E_{{\mathcal {L}},\varepsilon }\) and \(E_{{\mathcal {L}}}\) be the energy functionals defined in (18) and (21), respectively.
-
(i)
(Compactness) Let \(\{\mu _\varepsilon \}_\varepsilon \subset {\mathcal {M}}_+({\mathbb {R}}^3)\) be such that
$$\begin{aligned} \sup _{\varepsilon >0} E_{{\mathcal {L}},\varepsilon }(\mu _\varepsilon ) <+\infty \,. \end{aligned}$$Then there exists \(V\subset {\mathbb {R}}^3\) such that \(\chi _V \in BV_{\textrm{loc}}({\mathbb {R}}^3)\), \(\mu =\sqrt{2}{\mathcal {L}}^3\lfloor _V\), and a subsequence (not relabeled) such that \(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \). Furthermore, if \(\mu _\varepsilon \) is such that
$$\begin{aligned} E_{{\mathcal {L}},\varepsilon }(\mu _\varepsilon ) =\inf \left\{ E_{{\mathcal {L}},\varepsilon }(\mu ):\nu \in {\mathcal {M}}_+({\mathbb {R}}^3), |\nu |({\mathbb {R}}^3)=\varepsilon ^3 n_\varepsilon \right\} \,, \end{aligned}$$with \(\varepsilon ^3 n_\varepsilon \rightarrow \sqrt{2}v\), then, up to translation, \(\mu = \sqrt{2}{\mathcal {L}}^3\lfloor _{W_{\varphi _{\mathcal {L}}}^v}\), where \( W_{\varphi _{\mathcal {L}}}^{v}=\lambda W_{\varphi _{\mathcal {L}}}\) [defined in (22)] for \(\lambda >0\) such that \(|W_{\varphi _{\mathcal {L}}}^{v}|= v\).
-
(ii)
(Liminf inequality) Let \( \mu _{\varepsilon }, \mu \in {\mathcal {M}}_+({\mathbb {R}}^3)\) be such that \(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \) as \(\varepsilon \rightarrow 0\). Then
$$\begin{aligned} E_{\mathcal {L}}(\mu ) \le \liminf _{\varepsilon \rightarrow 0}E_{{\mathcal {L}},\varepsilon }(\mu _\varepsilon )\,. \end{aligned}$$ -
(iii)
(Limsup inequality) Let \(\mu \in {\mathcal {M}}_+({\mathbb {R}}^3)\). Then there exists \(\{\mu _\varepsilon \}_\varepsilon \subset {\mathcal {M}}_+({\mathbb {R}}^3)\) such that \(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \) and
$$\begin{aligned} E_{\mathcal {L}}(\mu ) \ge \limsup _{\varepsilon \rightarrow 0} E_{{\mathcal {L}},\varepsilon }(\mu _\varepsilon )\,. \end{aligned}$$
2.7 Explicit formula of the surface energy densities
Taking advantage of the representation formula (20) stated in Proposition (2.1), we provide the explicit formulas of the surface energy density \(\varphi _{{\mathcal L}_{\textrm{FCC}}}\) and \(\varphi _{{{\mathcal {L}}}_{\textrm{HCP}}}\). Their sublevel sets are depicted in Fig. 4. With the two explicit formulas at hand we can calculate the polar functions of both densities, the associated Wulff shapes and the surface energy per unit volume of both the \(\textrm{FCC}\) and \(\textrm{HCP}\) crystals. In order not to overburden the reader with notation, we write \(\varphi _{\textrm{FCC}}\) and \(\varphi _{\textrm{HCP}}\) for \(\varphi _{{{\mathcal {L}}}_{\textrm{FCC}}}\) and \(\varphi _{{\mathcal L}_{\textrm{HCP}}}\) as well as \(W_{\textrm{FCC}}\) and \(W_{\textrm{HCP}}\) instead of \(W_{\varphi _{{\mathcal {L}}_\textrm{FCC}}}\) and \(W_{\varphi _{{\mathcal {L}}_\textrm{HCP}}}\). \(W_{\textrm{FCC}}\) and \(W_{\textrm{HCP}}\) are depicted in Fig. 3.
Proposition 2.4
The following formulas hold true.
and
In particular, \(W_{\textrm{FCC}}\) is a truncated octahedron and its surface energy per unit volume is
Proposition 2.5
The following formulas hold true.
and
In particular, \(W_{\textrm{HCP}}\) is a truncated elongated hexagonal bipyramid and its surface energy per unit volume is
Remark 2.6
Our main results imply that there exists \(N\in {\mathbb {N}}\) such that, for the Hard-Sphere model and for configurations whose cardinality exceeds N, crystallization on the \(\textrm{FCC}\)-lattice is energetically favorable to crystallization on the \(\textrm{HCP}\)-lattice. Indeed, given \(\varepsilon \rightarrow 0\) and \(\{n_\varepsilon \}_\varepsilon \subset {\mathbb {N}}\) such that \(\varepsilon ^3n_\varepsilon \rightarrow \sqrt{2}v\), Theorem 2.3, (21), together with the anisotropic isoperimetric inequality implies
Now, in particular for \(n \rightarrow +\infty \) and \(\varepsilon _n = n^{-1/3}\), we have \(\varepsilon _n^3 n =1\) and thus \(v=2^{-1/2}\). Therefore, given \(X \subset {\mathcal {L}}\) such that \(\# X=n\), its empirical measure \(\mu _n(X)\) (defined in (17)) minimizes \(E_{{\mathcal {L}},n^{-1/3}}\) subject to the constraint \(|\mu |({\mathbb {R}}^3)=1\), and we obtain
Thus, using (2), (25), and (28), for minimizing configurations \(X_{\textrm{FCC}}^n \subset {\mathcal {L}}_{\textrm{FCC}}\) and \(X_{\textrm{HCP}}^n \subset {\mathcal {L}}_{\textrm{HCP}}\) such that \(\# X_{\textrm{FCC}}^n= \# X_{\textrm{HCP}}^n =n\) we obtain
and
Thus for n big enough
This shows that crystallization on the \(\textrm{FCC}\)-lattice is preferable to crystallization on the \(\textrm{HCP}\)-lattice.
3 Proof of Propositions 2.4 and 2.5
In this section we prove Propositions 2.4 and 2.5. To this end, we use Proposition 2.1 to note that \(\varphi _{\mathcal {L}}\) is given by (20).
Proof of Proposition 2.4
We divide the proof into several steps. First, we calculate \(\varphi _{{\textrm{FCC}}}\). Then, we calculate \(\varphi ^\circ _{\textrm{FCC}}\). Lastly, we calculate (25). Recall (5).
Step 1 (Calculation of \(\varphi _{\textrm{FCC}}\)) We make use of Proposition 2.1 in order to calculate \(\varphi _{\textrm{FCC}}\). First of all, owing to (15), we note that
Given \(u :{\mathcal {L}}_{\textrm{FCC}} \rightarrow {\mathbb {R}}\) such that \(u(\cdot )-\langle \nu ,\cdot \rangle \) is \(T_{{\textrm{FCC}}}\)-periodic we have that \(u(x+ b_i) = u(x)+\langle b_i,\nu \rangle \) for all \(i=1,2,3\). Therefore, u is an affine function of the form \(u(x) = \langle x,\nu \rangle +c\,, x \in {\mathcal {L}}_{\textrm{FCC}}\) for some \(c\in {\mathbb {R}}\). Lastly, note that \({\mathcal {L}}_{\textrm{FCC}} \cap T_{{\textrm{FCC}}}= \{0\}\). Using (20) and (30), we obtain
Employing now (9), we obtain (23).
Step 2 (Calculation of \(\varphi ^\circ _{\textrm{FCC}}\)) Let G be the isometry group on \({\mathbb {R}}^3\) whose elements \(g \in G\) are the linear isometries \(g :{\mathbb {R}}^3 \rightarrow {\mathbb {R}}^3\) defined by \(g(\nu _1,\nu _2,\nu _3) = (\beta _1 \nu _{\pi _1},\beta _2 \nu _{\pi _2},\beta _3 \nu _{\pi _3})\) where \(\pi \) is a permutation on \(\{1,2,3\}\) and \(\beta _i \in \{-1,1\}\). Since \(\varphi _{\textrm{FCC}}(g(\nu )) = \varphi _{\textrm{FCC}}(\nu )\) for all \(g \in G\), \(\nu \in {\mathbb {R}}^3\), we infer that
also relying on the property \(g^T=g^{-1}\). Therefore, we can assume that \( 0\le \zeta _1\le \zeta _2\le \zeta _3\). Thus, if we want to maximize \(\langle \zeta ,\nu \rangle \) under the condition \(\varphi _{\textrm{FCC}}(\nu )\le 1\), we can as well assume that \(0\le \nu _1\le \nu _2\le \nu _3\), so that condition \(\varphi _{\textrm{FCC}}(\nu )\le 1\) becomes equivalent to
Therefore, noting that any linear function attains its maximum at the extreme points of a convex set and referring to Fig. 5, we obtain
This is the desired formula (24) and concludes Step 2.
Step 3 [Calculation of (25)] Note that the set \(W_{\varphi _{\textrm{FCC}}}\) is the intersection of a cube \(\Vert \zeta \Vert _\infty \le 4\) with an octahedron \(\Vert \zeta \Vert _1 \le 6\), see Fig. 3. Its boundary has 6 square faces, where \(\nu = \pm (1,0,0)\) (resp. \(\pm (0,1,0)\) or \(\pm (0,0,1)\)) and 8 hexagonal faces, where \(\nu = \frac{1}{\sqrt{3}} (\pm 1, \pm 1, \pm 1)\). First, we consider the set where \(\nu =(1,0,0)\), the other cases where \(\varphi _{\textrm{FCC}}^\circ (\zeta )=\frac{1}{4}\Vert \zeta \Vert _\infty =1\) contributing with the same value. The square is given by
Therefore, \({\mathcal {H}}^2(S_1^+)= 8\) and \(\varphi _{\textrm{FCC}}((1,0,0)) = 4\). Similarly, we obtain the same measure and value of \(\varphi _{\textrm{FCC}}\) for the other squares \(S_1^-\), \(S_2^\pm \),\(S_3^\pm \), where \(\nu \) is (up to sign) one of the coordinate unit vectors. Hence,
Next, we consider the contribution of a hexagon. We consider the hexagon contained in the set \(\zeta _i \ge 0\) for all i. Here, we have \(\nu =\frac{1}{\sqrt{3}}(1,1,1)\) and \(\varphi _{\textrm{FCC}}(\nu )=2\sqrt{3}\). The 6 sides of the hexagon have all side-length \(2\sqrt{2}\). To see this, there are sides of the form \((4,2-t,t), t \in [0,2]\) or \((4-t,0,2+t), t\in [0,2]\) and their permutations (up to identifying t with \(2-t\) in the first case and \(4-t\) and \(2+t\) in the second case). An equilateral hexagon H of side-length \(2\sqrt{2}\) satisfies \({\mathcal {H}}^2(H) = 12\sqrt{3}\). Labeling the hexagons by \(H_i\), \(i=0,\ldots ,7\), we obtain
Using (31) and (32), we obtain
Let \(C:= \{\zeta \in {\mathbb {R}}^3 :\zeta _i \ge 0 \text { for all } i=1,2,3 \text { and } \frac{1}{4}\Vert \zeta \Vert _\infty \ge \frac{1}{6}\Vert \zeta \Vert _1\} \) and \(C^c:=\{\zeta \in {\mathbb {R}}^3 :\zeta _i \ge 0 \text { for all } i=1,2,3 \text { and } \frac{1}{4}\Vert \zeta \Vert _\infty < \frac{1}{6}\Vert \zeta \Vert _1\} \). We split the calculation of the volume \(W \cap \{\zeta \in {\mathbb {R}}^3 :\zeta _i \ge 0 \text { for all i}\}\) into the set \(C\cap W_{{\textrm{FCC}}}\) and \(C^c \cap W_{\textrm{FCC}}\). Noting that on this set \(|\nabla \varphi ^\circ _{\textrm{FCC}}(\zeta )|=\frac{1}{4}\) \({\mathcal {L}}^3\)-a.e. on C, due to the coarea-formula, we have
Here we used that, \(C\cap \{\varphi ^\circ _{\textrm{FCC}}(\zeta )=s\}= s(S_1^+\cup S_2^+\cup S_3^+)\cap \{\zeta _i \ge 0\}\) and the scaling properties of the 2-dimensional Hausdorff-measure. On the other hand, using that \(|\nabla \varphi ^\circ _{\textrm{FCC}}(\zeta )|=\frac{\sqrt{3}}{6}\) \({\mathcal {L}}^3\)-a.e. on \(C^c\), we have
Taking into account also the sets \(\{\pm \zeta _i\ge 0\}\), we obtain
Now, this together with (33) yields (25). \(\square \)
Proof of Proposition 2.5
We divide the proof into several steps. First, we calculate \(\varphi _{\textrm{HCP}}\). Then, we calculate \(\varphi ^\circ _{\textrm{HCP}}\). Lastly, we calculate (28).
Step 1 (Calculation of \(\varphi _{\textrm{HCP}}\)) We make use of Proposition 2.1 in order to calculate \(\varphi _{\textrm{HCP}}\). First of all, due to (16), note that
Given \(u :{\mathcal {L}}_{\textrm{HCP}} \rightarrow {\mathbb {R}}\) such that \(u(\cdot )-\langle \nu ,\cdot \rangle \) is \(T_{\textrm{HCP}}\)-periodic we have that \(u(x+e_i) = u(x)+\langle e_i,\nu \rangle \) for all \(i=1,2,3\) and \({\mathcal {L}}_{\textrm{HCP}} \cap T_{{\textrm{HCP}}}= \{0,v_1\}\). Hence, there exist \(c_1,c_2 \in {\mathbb {R}}\) such that
Setting \(c_2-c_1=t\), recalling (10) and (11), we therefore obtain
Employing Proposition 2.1 and (34), we have
where
Next, we show that
Note that if (36) is shown, (26) is proven and Step 1 is concluded. In order to prove (36), we first note that \(g_\nu (t)\) is a piecewise affine function such that \(g_\nu (t) \rightarrow +\infty \) as \(|t|\rightarrow +\infty \). Hence, it attains its minimum at a point of non-differentiability. The function \(g_\nu \) is not differentiable for \(t\in \{0,\langle e_1,\nu \rangle ,\langle e_2,\nu \rangle , \langle e_3,\nu \rangle ,\langle e_3+ e_1,\nu \rangle ,\langle e_3 +e_2,\nu \rangle \}\) and therefore
where
It is easy to see that
where \(R_k\) is the rotation of angle \(k\pi /3\) around the \(x_3\)-axis. This identity can be easily verified by noting that \(e_3\) is an eigenvector of \(R_k\) for all \(k \in \{0,\ldots ,5\}\), by using complex coordinates in the complex plane, and setting \(\omega = e^{i\pi /3}\). Then \(R_k x= \omega ^k x\) for all \(x\in {\mathbb {C}}\) and it suffices to observe that for each \(f_i\) there is a unique \(k_i \in \{0,\ldots ,5\}\) such that
where we identified each vector \(\omega ^k\) with the corresponding vector unit vector in \({\mathbb {R}}^3\) given by
Noting also that \(\min _{t\in {\mathbb {R}}} g_\nu (t)= \min _{t\in {\mathbb {R}}} g_{-\nu }(t)\), it is not restrictive to assume that \(\langle e_1,\nu \rangle \ge 0, \langle e_2,\nu \rangle \ge 0, \langle e_3,\nu \rangle \ge 0\). We only consider the case, where \( \langle e_1,\nu \rangle \ge \langle e_2,\nu \rangle \ge \langle e_3,\nu \rangle \ge 0\), the other being dealt with in a similar fashion. In this case we have \(f_0(\nu )\ge f_3(\nu )\), \(f_4(\nu )\ge f_5(\nu )\), and
Hence, we see that (36) holds true. This together with (35) establishes (26) and concludes Step 1.
Step 2 (Calculation of \(\varphi ^\circ _{\textrm{HCP}}\)) In order to calculate \(\varphi ^\circ _{\textrm{HCP}}\), we exploit the symmetries of \(\varphi ^\circ _{\textrm{HCP}}\). Let \(T_i :{\mathbb {R}}^3 \rightarrow {\mathbb {R}}^3\) be the isometry reflecting the i-th coordinate defined by
It is easy to verify that
Given \(\zeta \in {\mathbb {R}}^3\) we can find \(R= T_1^{\alpha _1}\circ T_2^{\alpha _2}\circ T_3^{\alpha _3}\), \(\alpha _i \in \{0,1\}\) such that \((R\zeta )_i \ge 0 \) for all i. Thus,
It therefore suffices to calculate \(\varphi _{\textrm{HCP}}^\circ \) for \(\zeta \in {\mathbb {R}}^3\) such that \(\zeta _i\ge 0\). This together with (37) implies that if \(\nu =(\nu _1,\nu _2,\nu _3)\) is such that \(\varphi _{{\textrm{HCP}}}(\nu )\le 1\) and
then \(\nu _i \ge 0\) for all i. As the objective function \(\langle \nu ,\zeta \rangle \) is linear and the set \(\{\varphi _{\textrm{HCP}}(\nu ) \le 1\}\) is convex it attains its maximum at one of the extreme points. These are contained in the set of points where \(\varphi _{\textrm{HCP}}\) is not differentiable. Therefore, referring to (26) and recalling that \(\nu _i \ge 0\) for all \(i=1,2,3\), there are the following (exhaustive) cases to consider:
-
(a)
\(\langle e_1-e_2,\nu \rangle =0\);
-
(b)
\(\langle e_1-e_3,\nu \rangle =0, \langle e_1 - e_2,\nu \rangle \ge 0\);
-
(c)
\(\langle e_2-e_3,\nu \rangle =0, \langle e_3 - e_1,\nu \rangle \ge 0\);
-
(d)
\(\langle e_3,\nu \rangle =0\);
-
(e)
\(\langle e_1,\nu \rangle =0\).
In the subsequent cases we will rewrite the scalar product between \(\nu \) and \(\zeta \) as an affine function over some parameter contained in some compact interval each time chosen to take care of the constraints (a)–(e). Note that with such a choice of parameters such an affine function attains its maximum at one of the extreme points of the interval. Recall that in all case distinctions we have that \(\nu _i \ge 0\) for all \(i=1,2,3\).
Maximum of case (a). Since \(\langle e_1-e_2,\nu \rangle =0\), we have \(\nu _1= \sqrt{3}\nu _2\). Hence, \(\nu = (t, \frac{1}{\sqrt{3}}t,s)\) for some \(t,s \ge 0\). Now, using (26), we have
Case (a.1) \(t \ge \frac{2}{3}\sqrt{6}s\): Since the maximum is attained for \(\varphi _{\textrm{HCP}}(\nu )=1\), we have \(t = \frac{1}{3\sqrt{2}} -\frac{1}{9}\sqrt{6}s\). Now, \(t\ge 0\) together with \(t \ge \frac{2}{3}\sqrt{6}s\) implies \( 0\le s \le \frac{3}{14\sqrt{3}}\). Thus
As this is an affine function of s, we have
Case (a.2) \(t \le \frac{2}{3}\sqrt{6}s\): Using \(\varphi _{\textrm{HCP}}(\nu )=1\), we obtain \(t=\frac{1}{2\sqrt{2}} -\frac{\sqrt{6}}{2}s\). Now, \(t\ge 0\) together with \(t\le \frac{2}{3}\sqrt{6}s\) implies \(\frac{3}{14\sqrt{3}}\le s\le \frac{1}{2\sqrt{3}}\). Noting that
we obtain
Maximum of case (b). Since \(\langle e_1-e_3,\nu \rangle =0\), we have \(\nu _1 = \frac{2}{3}\sqrt{6}\nu _3\). Hence, \(\nu =(t,s, \frac{3}{2\sqrt{6}}t)\) for some \(t,s \ge 0\). Now using (26) and \(\langle e_1-e_2,\nu \rangle \ge 0\), we have
Hence, since the maximum is attained for \(\varphi _{\textrm{HCP}}(\nu )=1\), we have \(\nu _1 = \frac{2}{7\sqrt{2}}\). Additionally, since \(\langle e_1-e_2,\nu \rangle \ge 0\), we have \(\nu _2 \le \frac{2}{7\sqrt{6}}\), and due to the form of \(\nu \), we have \(\nu _3 = \frac{3}{14\sqrt{3}}\). This implies
Maximum of case (c). Since \(\langle e_2-e_3,\nu \rangle =0\), we have \(\frac{1}{2}\nu _1+\frac{1}{2}\sqrt{3}\nu _2 = \frac{2}{3}\sqrt{6}\nu _3\). Now using (26) and \(\langle e_3-e_1,\nu \rangle \ge 0\), we have
Hence, since the maximum is attained for \(\varphi _{\textrm{HCP}}(\nu )=1\), we have \(\nu _3 = \frac{3}{14\sqrt{3}}\). Additionally, since \(\langle e_3-e_1,\nu \rangle \ge 0\), we have \(\nu _1 \le \frac{2}{7\sqrt{2}}\). Due to the form of \(\langle e_2-e_3,\nu \rangle =0\), we have \(\nu _2 = \frac{4}{7\sqrt{6}}-\frac{1}{\sqrt{3}}\nu _1\). Note that \(\nu _2 \ge 0\) for all \(0\le \nu _1\le \frac{2}{7\sqrt{2}}\). Therefore
This implies
Maximum of case (d). We have \(\nu _3=0\) and therefore
We distinguish two cases
-
(d.1)
\(\langle e_1-e_2,\nu \rangle \ge 0\);
-
(d.2)
\(\langle e_1-e_2,\nu \rangle \le 0\).
Maximum of case (d.1). In the case \(\langle e_1-e_2,\nu \rangle \ge 0\) we have \(\varphi _{\textrm{HCP}}(\nu ) = 3\sqrt{2}\nu _1\) and therefore, since \(\varphi _{\textrm{HCP}}(\nu )=1\), \(\nu _1 =\frac{1}{3\sqrt{2}}\). The inequality \(\langle e_1-e_2,\nu \rangle \ge 0\) implies that \(0\le \nu _2 \le \frac{1}{\sqrt{3}}\nu _1= \frac{1}{3\sqrt{6}}\). Hence,
Maximum of case (d.2). In the case \(\langle e_1-e_2,\nu \rangle \le 0\) we have
This, together with \(\varphi _{\textrm{HCP}}(\nu )=1\), implies, \(\nu _1 = \frac{2}{3\sqrt{2}}-\sqrt{3}\nu _2\) and therefore \(\nu _2 \le \frac{2}{3\sqrt{6}}\). Additionally, since \(\langle e_1-e_2, \nu \rangle \le 0\), we have \(\frac{1}{3\sqrt{6}}\le \nu _2\). Therefore,
This implies
Maximum of case (e). In the case \(\nu _1=0\) we have
We distinguish between two cases:
-
(e.1)
\(\langle e_2,\nu \rangle \ge \langle e_3,\nu \rangle \);
-
(e.2)
\(\langle e_2,\nu \rangle \le \langle e_3,\nu \rangle \).
Maximum of case (e.1). In this case, we have
Therefore, since \(\varphi _{\textrm{HCP}}(\nu )=1\), we have \(\nu _2 = \frac{2}{3\sqrt{6}} -\frac{2}{9}\sqrt{2}\nu _3\). Hence, \(\nu _3 \le \frac{3}{2\sqrt{3}}\). Additionally, since \(\langle e_2-e_3,\nu \rangle \ge 0\), we have \(\nu _3\le \frac{3}{14\sqrt{3}}\). Therefore,
Hence,
Maximum of case (e.2). In this case, we have
Therefore, since \(\varphi _{\textrm{HCP}}(\nu )=1\), we have \(\nu _2 = \frac{1}{\sqrt{6}} -\sqrt{2}\nu _3\). Hence, \(\nu _3 \le \frac{1}{2\sqrt{3}}\). Additionally, since \(\langle e_2-e_3,\nu \rangle \le 0\), we have \(\nu _3\ge \frac{3}{14\sqrt{3}}\). Therefore,
Hence,
Exploiting (39)–(46), and (38), we obtain (27). This concludes Step 2.
Step 3 (Calculation of (28)) In order to calculate (28), we split the calculation of \( \partial ^* W_{\textrm{HCP}}= \{\varphi ^\circ _{\textrm{HCP}}(\zeta )=1\}\) into different sets, where the maximum of \(\varphi _{\textrm{HCP}}^\circ \) is attained. We consider the following cases
-
(a)
\(A_a:=\{ \zeta \in {\mathbb {R}}^3 :\varphi _{\textrm{HCP}}^\circ (\zeta )=\frac{1}{2\sqrt{3}}|\zeta _3|=1\}\);
-
(b)
\(A_b:=\{\zeta \in {\mathbb {R}}^3 :\varphi _{\textrm{HCP}}^\circ (\zeta )=\frac{2}{3\sqrt{6}}|\zeta _2|=1\}\);
-
(c)
\(A_c:=\{\zeta \in {\mathbb {R}}^3 :\varphi _{\textrm{HCP}}^\circ (\zeta )=\frac{4}{7\sqrt{6}}|\zeta _2| +\frac{3}{14\sqrt{3}}|\zeta _3| =1\}\);
-
(d)
\(A_d:=\{\zeta \in {\mathbb {R}}^3 :\varphi _{\textrm{HCP}}^\circ (\zeta )=\frac{1}{3\sqrt{2}}(|\zeta _1| +\frac{1}{\sqrt{3}}|\zeta _2|) =1\}\);
-
(e)
\(A_e:=\{\zeta \in {\mathbb {R}}^3 :\varphi _{\textrm{HCP}}^\circ (\zeta )=\frac{2}{7\sqrt{2}}(|\zeta _1| +\frac{1}{\sqrt{3}}|\zeta _2|+\frac{3}{2\sqrt{6}}|\zeta _3|) =1\}\).
In each of the cases, one can determine the area, shape and normal of the set, by invoking the condition that the maximum for \(\varphi ^\circ _{\textrm{HCP}}\) is attained for the respective function and therefore all the other functions f in the definition of \(\varphi ^\circ _{\textrm{HCP}}\) satisfy \(f\le 1\). In the following, we only collect the results, since the calculations are elementary (but very long).
Calculations for case (a). In this case, we see that \(\nu =(0,0,\pm 1)\) \({\mathcal {H}}^2\)-a.e., since this set is contained in the level set of the function \(|\zeta _3|=c\) for some \(c >0\). Additionally, we see that the set is a union of two hexagons of side length \(2\sqrt{2}\). Therefore, for each of the two hexagons \(H_{i}\) we have \({\mathcal {H}}^2(H_i) =12\sqrt{3}\). Furthermore, \(\varphi _{\textrm{HCP}}(\nu )=2\sqrt{3}\). Hence
Calculations for case (b). In this case, we see that \(\nu =(0,\pm 1,0)\) \({\mathcal {H}}^2\)-a.e., since this set is contained in the level set of the function \(|\zeta _2|=c\) for some \(c >0\). Additionally, we see that the set is a union of two rectangles with side lengths \(3\sqrt{2}\) and \(\frac{4}{3}\sqrt{3}\). Therefore, for each of the two rectangles \(S_{i}\) we have \({\mathcal {H}}^2(S_i) =4\sqrt{6}\). Furthermore, \(\varphi _{\textrm{HCP}}(\nu )=\frac{3}{2}\sqrt{6}\). Hence
Calculations for case (c). In this case, we see that \(\nu =(3/41)^{1/2} (0,\pm 8/\sqrt{6},\pm \sqrt{3})\) \({\mathcal {H}}^2\)-a.e., since this set is contained in the level set of the function \(\frac{4}{7\sqrt{6}}|\zeta _2| +\frac{3}{14\sqrt{3}}|\zeta _3|=c\) for some \(c >0\). Additionally, we see that the set is a union of four trapezoids with height \((41/6)^{1/2}\) and two parallel sides o lengths \(3\sqrt{2}\) and \(2\sqrt{2}\). Therefore, for each of the four trapezoids \(T_{i}\) we have \({\mathcal {H}}^2(T_i) =\frac{5}{2}(\frac{41}{3})^{1/2}\). Furthermore, \(\varphi _{\textrm{HCP}}(\nu )=14(\frac{3}{41})^{1/2}\). Hence
Calculations for case (d). In this case, we see that \(\nu =\frac{1}{2} (\pm \sqrt{3},\pm 1,0)\) \({\mathcal {H}}^2\)-a.e., since this set is contained in the level set of the function \(|\zeta _1| +\frac{1}{\sqrt{3}}|\zeta _2|=c\) for some \(c >0\). Additionally, we see that the set is a union of four rectangles with side length \(3\sqrt{2}\) and \(\frac{4}{3}\sqrt{3}\). Therefore, for each of the four rectangles \(R_{i}\) we have \({\mathcal {H}}^2(R_i) =4\sqrt{6}\). Furthermore, \(\varphi _{\textrm{HCP}}(\nu )=\frac{3}{2}\sqrt{6}\). Hence
Calculations for case (e). In this case, we see that \(\nu =2(6/41)^{1/2} (\pm 1,\pm \frac{1}{\sqrt{3}},\frac{3}{2\sqrt{6}})\) \({\mathcal {H}}^2\)-a.e., since this set is contained in the level set of the function \(|\zeta _1| +\frac{1}{\sqrt{3}}|\zeta _2|+ \frac{3}{2\sqrt{6}}|\zeta _3|=c\) for some \(c >0\). Additionally, we see that the set is a union of eight trapezoids with height \((41/6)^{1/2}\) and two parallel sides of lengths \(3\sqrt{2}\) and \(2\sqrt{2}\). Therefore, for each of the eight trapezoids \(Z_{i}\) we have \({\mathcal {H}}^2(Z_i) =\frac{5}{2}(\frac{41}{3})^{1/2}\). Furthermore, \(\varphi _{\textrm{HCP}}(\nu )=14(\frac{3}{41})^{1/2}\). Hence
Taking into account (47)–(51), we obtain
Next, we need to calculate \(|W_{\textrm{HCP}}|\), since \(W_{\textrm{HCP}} = \{\varphi _{\textrm{HCP}}^\circ \le 1\} \cap (C_a\cup C_b \cup C_c \cup C_d \cup C_e)\), where
Note that \( {\mathcal {H}}^2(C_\alpha \cap \{\varphi _{\textrm{HCP}}^\circ (\zeta )=s\}) = s^2 {\mathcal {H}}^2(A_\alpha )\) for all \(\alpha \in \{a,b,c,d,e\}\). In the set \(C_a\) we have that \(|\nabla \varphi _{\textrm{HCP}}^\circ (\zeta )|= \frac{1}{2\sqrt{3}}\) \({\mathcal {L}}^3\)-a.e.. Due to the coarea formula, we have
In the set \(C_b\), we have that \(|\nabla \varphi _{\textrm{HCP}}^\circ (\zeta )|= \frac{2}{3\sqrt{6}}\) \({\mathcal {L}}^3\)-a.e.. Due to the coarea formula, we have
In the set \(C_c\), we have that \(|\nabla \varphi _{\textrm{HCP}}^\circ (\zeta )|= \frac{1}{14}(41/3)^{1/2}\) \({\mathcal {L}}^3\)-a.e.. Due to the coarea formula, we have
In the set \(C_d\), we have that \(|\nabla \varphi _{\textrm{HCP}}^\circ (\zeta )|=\frac{2}{3\sqrt{6}}\) \({\mathcal {L}}^3\)-a.e.. Due to the coarea formula, we have
In the set \(C_e\), we have that \(|\nabla \varphi _{\textrm{HCP}}^\circ (\zeta )|=\frac{1}{14}(41/3)^{1/2}\) \({\mathcal {L}}^3\)-a.e.. Due to the coarea formula, we have
Using (53)–(57), we obtain \(|W_{\textrm{HCP}}| =260\). This together with (52) yields (28). \(\square \)
4 \(\Gamma \)-Convergence Analysis on the \(\textrm{FCC}\) and \(\textrm{HCP}\) Lattices
In this section we prove Theorem 2.3. Its proof relies on the theory that will be developed in Sect. 5 as well as some elementary geometric facts, that will be derived in this section. In order to prove the compactness statement, we provide some preliminary lemmata about the shape of the Voronoi cells of the \(\textrm{FCC}\)-lattice as well as the \(\textrm{HCP}\)-lattice (see Fig. 6). In what follows we use the notation \({\mathcal {N}}_{\textrm{FCC}}={\mathcal {N}}_{{{\mathcal {L}}_\textrm{FCC}}}(0)\) and \(\mathcal N_{\textrm{HCP}}={\mathcal {N}}_{{{\mathcal {L}}_\textrm{HCP}}}(0)\).
Lemma 4.1
(Voronoi cell in the \(\textrm{FCC}\)-lattice) Let us take \(x\in {\mathcal {L}}_{\textrm{FCC}}\). Then
Given \(b_0 \in {\mathcal {N}}_{\textrm{FCC}}\) the face
is a rhombus with \({\mathcal {H}}^2(S_{b_0})=\frac{1}{4}\sqrt{2}\). Moreover, for each \(b_0 \in {\mathcal {N}}_{\textrm{FCC}}\) the face \(S_{b_0}\) of \({{\mathcal {V}}}_{\textrm{FCC}}(0)\) is shared with the Voronoi cell \({{\mathcal {V}}}_{\textrm{FCC}}(b_0)\). Lastly, we have \(|{{\mathcal {V}}}_{\textrm{FCC}}(x)|= \frac{1}{2}\sqrt{2}\) for all \(x\in {\mathcal {L}}_{\textrm{FCC}}\).
Lemma 4.2
(Voronoi cell in the \(\textrm{HCP}\)-lattice) Let us take \(x\in {\mathcal {L}}_{\textrm{HCP}}\). Then
where
For \(b_0 \in {\mathcal {N}}_{\textrm{HCP}}\) we set
If \(b_0 \in \{\pm e_1,\pm e_2,\pm (e_1-e_2)\}\) the face \(S_{b_0}\) is a trapezoid of area \(\frac{1}{4}\sqrt{2}\). If \(b_0 \in \{v_1,v_1-e_1,v_1-e_2,v_1-e_3,v_1-e_1-e_3,v_1-e_2-e_3\} \) the face \(S_{b_0}\) is a rhombus of area \(\frac{1}{8}\sqrt{6}\). Moreover, for each \(b_0 \in {\mathcal {N}}_{\textrm{HCP}}\) the face \(S_{b_0}\) is shared with the Voronoi cell \({\mathcal {V}}_{\mathcal L_{\textrm{HCP}}}(b_0)\). Lastly, we have \(|{\mathcal {V}}_{\mathcal L_\textrm{HCP}}(x)|= \frac{1}{2}\sqrt{2}\) for all \(x\in {\mathcal {L}}_{\textrm{HCP}}\).
Proof of Lemma 4.1
We split the proof of the lemma into four steps. First, we prove (58). In the second step, we show that each face is a rhombus and calculate its area. Lastly, we show that each neighboring Voronoi cell \(V_{\textrm{FCC}}(b)\), \(b \in {\mathcal {N}}_{\textrm{FCC}}\) shares one face with the Voronoi cell \(V_{\textrm{FCC}}(0)\).
Step 1 [Proof of (58)] To check (58), since \({\mathcal {L}}_{\textrm{FCC}}\) is a Bravais-lattice [see (7)], it suffices to consider the case \(x=0\). Let \({\mathcal {V}}_{{{\mathcal {L}}_\textrm{FCC}}}(0)\) denote the Voronoi cell of \({\mathcal {L}}_{\textrm{FCC}}\) at \(x=0\) defined according to (12).
Step 1.1 (\({\mathcal {V}}_{{{\mathcal {L}}_\textrm{FCC}}}(0)\subset V_{\textrm{FCC}}\)) Let \(y \in \mathcal V_{{{\mathcal {L}}_\textrm{FCC}}}(0)\). By the very definition of Voronoi cell we have that for all \(b\in {{\mathcal {N}}_{\textrm{FCC}}}\) it holds \( |y| \le |y-b|. \) Noting that \(|b|=1\) for all \(b \in {\mathcal {N}}_{\textrm{FCC}} \subset {\mathcal {L}}_{\textrm{FCC}}\), we have
that is the inclusion \({\mathcal {V}}_{{\mathcal {L}}_{\textrm{FCC}}}(0) \subset V_{\textrm{FCC}}\).
Step 1.2 (\(V_{\textrm{FCC}} \subset \mathcal V_{{\mathcal {L}}_{\textrm{FCC}}}(0)\)) We show that for \(y \in V_{\textrm{FCC}}\) we have \(|y|\le |y-z|\) for all \(z \in {\mathcal {L}}_{\textrm{FCC}}\). This is equivalent to
We first observe that if \(z\in {\mathcal {N}}_{\textrm{FCC}}\), (62) is trivial since \(|z|=1\). Next, we prove (62) for all \(z \in {\mathcal {L}}_{\textrm{FCC}}{{\setminus }} {\mathcal {N}}_{\textrm{FCC}}\). We distinguish two cases:
-
(a)
\(z=\lambda _1 b_j +\lambda _2 b_k\), for \(\lambda _1,\lambda _2 \in {\mathbb {Z}}\), \(j,k \in \{1,2,3\}, j \ne k\,\);
-
(b)
\(z=\lambda _1 b_1 +\lambda _2 b_2+\lambda _3 b_3\), for \(\lambda _1,\lambda _2,\lambda _3 \in {\mathbb {Z}}\,\).
Proof in case (a). We only show the statement for \(z =\lambda _1b_1+\lambda _2b_2\) for \(\lambda _1,\lambda _2 \in {\mathbb {Z}}\), the cases with any other combination of two vectors being analogous. If \(\lambda _1 \lambda _2 \ge 0\), since \(\langle b_1,b_2\rangle \ge 0\), we have
On the other hand, if \(\lambda _1\lambda _2 \le 0\) and without loss of generality \(|\lambda _1|\le |\lambda _2|\), noting that \(b_1-b_2 \in {\mathcal {N}}_{\textrm{FCC}}\), we have
Here, the last inequality follows, since \(|b_1|=|b_2|\) and therefore \(\lambda _1(\lambda _2+\lambda _1)\langle (b_1-b_2),b_2\rangle \ge 0\). This concludes case (a).
Proof in case (b). We now show that (58) holds true in the case of \(b= \lambda _1b_1+\lambda _2b_2+\lambda _3b_3\) with \(\lambda _i \in {\mathbb {Z}}\). We restrict to the case \(\lambda _1 \ge 0, \lambda _2 \ge 0\) and \(\lambda _3 \le 0\), since if all \(\lambda _i\) are of the same sign, (58) can be deduced from the fact that it holds true for \(b\in {\mathcal {N}}_{\textrm{FCC}}\) and the fact that \(\langle b_j,b_k\rangle \ge 0\). Without loss of generality, we assume \(|\lambda _2|\le |\lambda _3|\). Hence, observing that \(b_2-b_3\in {\mathcal {N}}_{\textrm{FCC}}\), noting that (62) holds true for \(z \in \mathcal N_{\textrm{FCC}}\), and using case (a), we have
Here, the last inequality follows from \(|b_2|=|b_3|\) and \(\lambda _3+\lambda _2\le 0\) whereas the equality in the last line is due to \(\langle b_1,b_2\rangle = \langle b_1,b_3\rangle =\langle b_2,b_3\rangle \). This concludes case (b) and with that Step 1.2.
Step 2 (The faces of the Voronoi cell) To show that each face of the Voronoi cell \(V_\textrm{FCC}\) is a rhombus with area \(\frac{1}{4}\sqrt{2}\) we first exploit its symmetries. Let \(i \in \{1,2,3\}\) and let \(T_i:{\mathbb {R}}^3 \rightarrow {\mathbb {R}}^3\) be the linear mapping that flips the i-th entry, i.e.
We observe that
Moreover, given a permutation \(\pi \in S_3\) we have that
It therefore suffices to restrict only to the case in which the vector \(b_0\) agrees with the vector \(b_1 \in {\mathcal {N}}_{\textrm{FCC}}\). We claim that this face has corners given by
Note that, if this were true then it is easy to see that \(S_{b_0}\) is a rhombus and \({\mathcal {H}}^2(S_{b_0})=\frac{1}{4}\sqrt{2}\). It remains to prove (63). Let us denote by y a corner of \(S_{b_0}\). We can assume that \(y_1,y_2 \ge 0\). Were this not the case, then there could be \(b' \in {\mathcal {N}}_{\textrm{FCC}}\) such that \(\langle b',y\rangle > \langle b,y\rangle \), thus contradicting the definition of \(S_{b_0}\) in (59). If \(y_1=0\) (or \(y_2=0\)), then \(y_2=\frac{1}{2}\sqrt{2}\) (resp. \(y_1=\frac{1}{2}\sqrt{2}\)) and since \( \langle b',y\rangle \le \frac{1}{2}\) for all \(b'\in {\mathcal {N}}_{\textrm{FCC}}\) we have \(y_3=0\). Hence, we find the two corners with coordinates \((\frac{1}{2}\sqrt{2},0,0)\) and \((0,\frac{1}{2}\sqrt{2},0)\). Now, if \(y_1 >0\) and \(y_2 >0\), then assuming that \(y_3 \ge 0\) we have that the corner is equal to \(\langle b_1,y\rangle =\langle b_2,y\rangle =\langle b_3,y\rangle =\frac{1}{2}\). Thus, necessarily \(y_1=y_2=y_3 =\frac{1}{4}\sqrt{2}\). If instead \(y_3 <0\), then the corner is equal to \(\langle b_1,y\rangle =\langle b_2,y\rangle =\langle b_1- b_3,y\rangle =\frac{1}{2}\) which implies \(y_1=y_2=-y_3 =\frac{1}{4}\sqrt{2}\). Hence (63) holds true and this concludes Step 2.
Step 3 (Neighbors share faces) We want to show that for each \(b_0 \in {\mathcal {N}}_{\textrm{FCC}}\) we have that the face \(S_{b_0}\) of \(V_{\textrm{FCC}}(0)\) is shared with the Voronoi cell \(V_{\textrm{FCC}}(b_0)\). By the symmetries shown in Step 2 it suffices to prove this statement only for \(b_0=b_1\). Using (63) we see that the corners of the face \(S_{b_0}\) of the Voronoi cell \(V_{\textrm{FCC}}(0)\) coincide with the corners of the face \(S_{-b_0}+b_0\) of the Voronoi cell \(V_{\textrm{FCC}}(b_0)\).
Step 4 (Volume of the Voronoi cell) In order to calculate the volume of the Voronoi cell we note that \({\mathcal {L}}_{\textrm{FCC}}\) is a Bravais-lattice with spanning vectors \(b_1,b_2,b_3\). Since the Voronoi cells of all the points are the same, it suffices to calculate the fraction of points per unit volume. This, then gives also the volume per point. Since the Voronoi cells are space filling, the volume per point is equal to the volume of each Voronoi cell. Due to (15) we have that
Furthermore, we have that
Hence, each points of the lattice occupies a volume \(|T_{\textrm{FCC}}|=\frac{1}{2}\sqrt{2}\) and the volume of the Voronoi cell must be the same. This concludes Step 3 and thus the proof of the lemma. \(\square \)
Proof of Lemma 4.2
We split the proof of the lemma into four steps. First, we prove (60). In the second step, we show that 6 of the faces are rhombi, the 6 other faces are trapezoids, and we calculate the area of each face. Lastly, given \(x \in {\mathcal {L}}_{\textrm{HCP}}\), we show that each neighboring Voronoi cell \({\mathcal {V}}_{{\mathcal {L}}_{\textrm{HCP}}}(y), y \in {\mathcal {N}}_{\textrm{HCP}}(x)\) shares a face with the Voronoi cell \(V_{\textrm{HCP}}(x)\).
Step 1 (Shape of the Voronoi cell) The purpose of this step is to prove (60). Here, we only show this equality in the case that \(x=0\), the case \(x\ne 0\) being treated in a similar fashion.
Step 1.1 (\({\mathcal {V}}_{{\mathcal {L}}_{\textrm{HCP}}}(0) \subset V_{\textrm{HCP}}\)) Given \(y \in {\mathcal {V}}_{{\mathcal {L}}_{\textrm{HCP}}}(0)\) we have that \( |y| \le |y-b|. \) Now, noting that \(|b|=1\) for all \(b \in {\mathcal {N}}_{\textrm{HCP}} \subset {\mathcal {L}}_{\textrm{HCP}}\), we have
This concludes Step 1.1.
Step 1.2 (\(V_{\textrm{HCP}} \subset {\mathcal {V}}_{{\mathcal {L}}_{\textrm{HCP}}}(0)\)) We show that for \(y \in V_{\textrm{HCP}}\) we have \(|y|\le |y-z|\), for all \(z \in {\mathcal {L}}_{\textrm{HCP}}\). This is equivalent to
Since, \(|b|=1\) for all \(b \in {\mathcal {N}}_{\textrm{HCP}}\) (64) is true for all \(b \in {\mathcal {N}}_{\textrm{HCP}}\). Next, we prove (64) for all \(z \in {\mathcal {L}}_{\textrm{HCP}}{{\setminus }} {\mathcal {N}}_{\textrm{HCP}}\). We distinguish several cases:
-
(a)
\(z=\lambda _1 e_1 +\lambda _2 e_2, \lambda _1,\lambda _2 \in {\mathbb {Z}};\)
-
(b)
\(z=\lambda _1 e_1 +\lambda _2 e_2+\lambda _3 e_3, \lambda _1,\lambda _2,\lambda _3 \in {\mathbb {Z}};\)
-
(c)
\(z=v_1+\lambda _1 e_1 +\lambda _2 e_2, \lambda _1,\lambda _2 \in {\mathbb {Z}};\)
-
(d)
\(z=v_1+\lambda _1 e_1 +\lambda _2 e_2+\lambda _3 e_3, \lambda _1,\lambda _2,\lambda _3 \in {\mathbb {Z}}.\)
Proof in case (a). If \(\lambda _1,\lambda _2 \ge 0\), using that \(\langle e_1,e_2\rangle \ge 0\), we have
On the other hand, if \(\lambda _1\lambda _2\le 0\) and without loss of generality \(\lambda _1 \ge |\lambda _2|\ge 0\), noting that \(e_2-e_1 \in {\mathcal {N}}_{\textrm{HCP}}\), we have
Here, the last inequality follows, since \(\lambda _2\le 0\le \lambda _1+\lambda _2\) and \(\langle e_2-e_1,e_1\rangle \le 0\). This concludes case (a).
Proof in case (b). We first show that \(\langle y, e_3\rangle \le \frac{1}{2}|e_3|^2\). Using that \(v_1,v_1-e_1,v_1-e_2 \in {\mathcal {N}}_{\textrm{HCP}}\), that \(3v_1-e_1-e_2=\frac{3}{2} e_3\), (6), (64), and the fact that \( \langle e_3,e_1\rangle = \langle e_3,e_2\rangle =0\), we have
Here, the last inequality follows by calculating the norms of \(e_1+e_2, e_1-2e_2,e_2-2e_1\) and \(e_3\) by using (6). Note that now, the case of \(z=\lambda _1e_1+\lambda _2e_2+\lambda _3e_3\) follows from case (a) using that \(\langle e_3, e_1\rangle = \langle e_3, e_2\rangle = 0\).
Proof of case (c). Let \(z=v_1+\lambda _1e_1+\lambda _2 e_2\). If \(\lambda _1,\lambda _2 \ge 0\) we have
The second inequality uses that \(\langle e_1,e_2\rangle \ge 0\) and the last inequality uses that \(\langle v_1,e_1\rangle ,\langle v_1,e_2\rangle \ge 0\). Now assume that \(\lambda _1 \ge 0, \lambda _2< 0\). Then, since \(\langle (v_1-e_2), e_1\rangle =0\) and \(\langle v_1-e_2,e_2\rangle \le 0\), again exploiting that \(v_1-e_2\in {\mathcal {N}}_{\textrm{HCP}}\), by (64) and case (a), it holds that
The case where \(\lambda _1 <0,\lambda _2\ge 0\) (resp. \(\lambda _1, \lambda _2 <0\)) is being treated in a similar fashion by replacing \(v_1-e_2\) with \(v_1-e_1\) (resp. \(v_1-e_1-e_2\)).
Proof of case (d). Here, we only treat the case of \(z= v_1 +\lambda _1 e_1 +\lambda _2 e_2+\lambda _3 e_3\), \(\lambda _3 \ge 0\). Since \(\langle v_1 +\lambda _1 e_1 +\lambda _2 e_2, e_3\rangle \ge 0\), case (b), and case (c), we have
The case of \(\lambda _3 <0\) follows by replacing \(v_1\) with \(v_1-e_3\) in the last two cases (c) and (d). This concludes Step 1.2 and, together with Step 1.1, shows (60).
Step 2 (The faces of the Voronoi cell) In order to calculate the faces of \(V_{\textrm{HCP}}\) we use (60) and exploit its symmetries. We note that if \(R \in SO(3)\) is any rotation of integer multiples of \(2\pi /3\) around the \(x_3\)-axis we have that
Moreover, if \(T_3 :{\mathbb {R}}^3\rightarrow {\mathbb {R}}^3\) is the reflection with respect to the \((x_1,x_2)\)-plane, i.e.
we have that
Exploiting (65) and (67), it suffices to find the corners of \(S_{b_0}\) in (61) for
Corners in case (a). We claim that in the case of \(b_0=e_1\) that the corners of \(S_{b_0}\) are given by the points
In particular, the face \(S_{b_0}\) is a trapezoid with two bases of length \(\frac{1}{6}\sqrt{6}\), \(\frac{1}{3}\sqrt{6}\) and height \(\frac{1}{3}\sqrt{3}\). Hence, \({\mathcal {H}}^2(S_{b_0})=\frac{1}{4}\sqrt{2}\). It remains to prove (68). Let \(y \in S_{b_0}\) be a corner. Due to (67), we can assume that \(y_3\ge 0\), since the other corners are just found by applying the mapping \(T_3\) (see (66)) to the corners with positive coordinates. By the definition of \(S_{b_0}\) we have that \(\langle y,e_1\rangle \ge \langle y,e_1-e_2\rangle \) which is equivalent to \(\langle y,e_2\rangle \ge 0\). Now, if \(\langle y, e_2\rangle > 0\), then y is given by \(\langle y, e_1\rangle = \langle y, e_2\rangle = \langle y, v_1\rangle =\frac{1}{2}\). This linear system has a unique solution given by \(c_1=\left( \frac{1}{2},\frac{1}{6}\sqrt{3},\frac{1}{12}\sqrt{6}\right) \). On the other hand, if \(\langle y, e_2 \rangle = 0\), then y is given by \(\langle y, e_2\rangle =0, \langle y, e_1\rangle = \langle y, v_1\rangle =\frac{1}{2}\). The unique solution of this linear system is given by \(c_3 = \left( \frac{1}{2},-\frac{1}{6}\sqrt{3},\frac{1}{6}\sqrt{6}\right) \). This shows (68) and concludes case (a).
Corners in case (b). We claim that in the case of \(b_0=-e_1\) that the corners of \(S_{b_0}\) are given by the points
In particular, the face \(S_{b_0}\) is a trapezoid with two bases of length \(\frac{1}{6}\sqrt{6}\), \(\frac{1}{3}\sqrt{6}\) and height \(\frac{1}{3}\sqrt{3}\). Hence, \({\mathcal {H}}^2(S_{b_0})=\frac{1}{4}\sqrt{2}\). It remains to prove (69). Let \(y \in S_{b_0}\) be a corner. Due to (67), as in case \(\mathrm {(a)}\), we can assume that \(y_3\ge 0\). By the definition of \(S_{b_0}\) we have that \(\langle y,-e_1\rangle \ge \langle y,e_2-e_1\rangle \) which is equivalent to \(\langle y,e_2\rangle \le 0\). Now, if \(\langle y, e_2\rangle =0\), then y is given by \(\langle y,e_2\rangle =0, \langle y,v_1-e_1\rangle =\langle y,-e_1\rangle =\frac{1}{2}\). We see that the unique solution of this linear system is given by \(c_1= \left( -\frac{1}{2},\frac{1}{6}\sqrt{3},\frac{1}{12}\sqrt{6}\right) \). On the other hand, if \(\langle y, e_2 \rangle <0\), then y is given by \(\langle y,v_1\rangle =0, \langle y,-e_1\rangle =\langle y,-e_2\rangle =\frac{1}{2}\). The unique solution is now given by \(c_3= \left( -\frac{1}{2},-\frac{1}{6}\sqrt{3},\frac{1}{6}\sqrt{6}\right) \). This shows (69) and concludes case (b).
Corners in case (c). We claim that in the case of \(b_0=v_1\) that the corners of \(S_{b_0}\) are given by the points
In particular, the face \(S_{b_0}\) is a rhombus. Hence, \({\mathcal {H}}^2(S_{b_0})= \frac{1}{8}\sqrt{6}\). It remains to prove (68). Let \(y \in S_{b_0}\) be a corner. By the definition of \(S_{b_0}\) we have that \(\langle y,v_1\rangle \ge \langle y,v_1-e_1\rangle ,\langle y,v_1-e_2\rangle \) which is equivalent to \(\langle y,e_1\rangle ,\langle y,e_2\rangle \ge 0\). Now if, \(\langle y,e_2\rangle >0\) then the corner solves the linear system \(\langle y,e_1\rangle = \langle y,e_2\rangle = \langle y,v_1\rangle =\frac{1}{2}\). Its unique solution is \(c_1=(\frac{1}{2},\frac{1}{6}\sqrt{3},\frac{1}{12}\sqrt{6})\). On the other hand if \(\langle y,e_2\rangle =0\), then the corners are given by those y such that \(\langle y,e_2\rangle =0, \langle y,e_1\rangle = \langle y,v_1\rangle =\frac{1}{2}\) or \(\langle y,e_1\rangle =\langle y,e_2\rangle =0, \langle y,v_1\rangle =\frac{1}{2}\). These points have coordinates \(c_2=(\frac{1}{2},-\frac{1}{6}\sqrt{3},\frac{1}{6}\sqrt{6})\) and \(c_3=(0,0,\frac{1}{4}\sqrt{6})\). Finally, if \(\langle y,e_1\rangle =0\) and \(\langle y,e_2\rangle >0\), then y is obtained by solving \(\langle y,e_1\rangle =0, \langle y,e_2\rangle = \langle y,v_1\rangle =\frac{1}{2}\). Hence it has coordinates \(c_4=(0,\frac{\sqrt{3}}{3},\frac{\sqrt{6}}{6})\). This proves (70) and concludes Step 2.
Step 3 (Neighbors share faces) We want to show that for each \(b_0 \in {\mathcal {N}}_{\textrm{HCP}}\) we have that the face \(S_{b_0}\) of \({\mathcal {V}}_{{\mathcal {L}}_{\textrm{HCP}}}(0)\) is shared with the Voronoi cell \({\mathcal {V}}_{\mathcal L_{\textrm{HCP}}}(b_0)\). By Step 1 we have that \(\mathcal V_{{\mathcal {L}}_{\textrm{HCP}}}(0)= V_{\textrm{HCP}}\) and \(\mathcal V_{{\mathcal {L}}_{\textrm{HCP}}}(b_0) = b_0 - V_{\textrm{HCP}}\). Hence, they share the side \(\langle y,b_0\rangle = \frac{1}{2} = \langle b_0-y,b_0\rangle \).
Step 4 (Volume of the Voronoi cell) In order to calculate the volume of the Voronoi cell we note that \({\mathcal {L}}_{\textrm{HCP}}\) is periodic with respect to the vectors \(e_1,e_2,e_3\). Since the Voronoi cells of all the points occupy the same volume, it suffices to calculate the fraction of points per unit volume. The inverse of this number is the volume per point. Since the Voronoi cells are space filling the volume per point is equal to the volume of each Voronoi cell. Due to (16) we have that
Furthermore, we have that
Hence, the volume per point is \(\frac{1}{2}| T_{{\textrm{HCP}}}|=\frac{1}{2}\sqrt{2}\) and it agrees with the volume of the Voronoi cell. This concludes Step 4 and thus the proof of the lemma. \(\square \)
We are now in the position to prove Theorem 2.3.
Proof of Theorem 2.3
All the statements are consequences of Proposition 5.10, Lemma 5.11, Theorem 5.14 and Lemma 5.16 once we show that \({\mathcal {L}}_{\textrm{FCC}}\) and \({\mathcal {L}}_{\textrm{HCP}}\) are periodic admissible sets (according to Definitions 5.1 and 5.8) and we observe that, due to Lemmas 4.1 and 4.2, \({\mathcal {N}}_{\textrm{FCC}}(x)= \mathcal{N}\mathcal{N}(x)\) (in the sense of Definition 5.2) as well as \({\mathcal {N}}_{\textrm{HCP}}(x)= \mathcal{N}\mathcal{N}(x)\) in the respective cases. We first show that both lattices are admissible sets. Let us first observe that
Therefore, (L1) is satisfied for both \({\mathcal {L}}_{\textrm{FCC}}\) and \({\mathcal {L}}_{\textrm{HCP}}\) with
where we recalled Definitions 15 and 16. On the other hand, (L2) is satisfied with \(r=1\), see the discussion at the definition of the FCC and HCP lattice in Sect. 2. Concerning periodicity: We observe that for all \(z=(z_1,z_2,z_3) \in {\mathbb {Z}}^3\) we have
and thus both \({\mathcal {L}}_{\textrm{FCC}}\) and \({\mathcal {L}}_{\textrm{HCP}}\) are periodic according to Definition 5.8. The statement follows by Theorem 5.14 with \(c_{nn}(x)=1\). \(\square \)
5 General Periodic Lattices
This section deals with integral representation and concentrated-compactness properties of energies defined on general periodic lattices.
Definition 5.1
Let \(\Sigma \subset {\mathbb {R}}^n\) be a countable set of points in \({\mathbb {R}}^n\). We call \(\Sigma \) an admissible set of points if the following two conditions hold:
-
(L1)
There exists \(R>0\) such that \(\inf _{ x\in {\mathbb {R}}^n} \#(\Sigma \cap B_R(x) ) \ge 1\);
-
(L2)
There exists \(r>0\) such that \( \textrm{dist}(x,\Sigma {\setminus } \{x\}) \ge r\) for all \(x\in \Sigma \).
Definition 5.2
We define the Voronoi cell of \(x \in \Sigma \) as
The set of nearest neighbors of \(\Sigma \) is defined by
We set \(\mathcal{N}\mathcal{N}(x)= \{y\in \Sigma :(x,y) \in \mathcal{N}\mathcal{N}(\Sigma )\}\). Given \(\varepsilon >0\) we denote by \(\varepsilon \Sigma := \{\varepsilon x :x \in \Sigma \}\) and for \(x \in \varepsilon \Sigma \) we set \({\mathcal {V}}_\varepsilon (x)= \varepsilon {\mathcal {V}}(\varepsilon ^{-1} x)\) the Voronoi cell of \(x \in \varepsilon \Sigma \), and \(\mathcal{N}\mathcal{N}_\varepsilon (x) = \{y \in \varepsilon \Sigma :\varepsilon ^{-1}(x,y) \in \mathcal{N}\mathcal{N}(\Sigma )\}\) the set of nearest neighbors of x in \( \varepsilon \Sigma \).
We now define for \(u :\Sigma \rightarrow \{0,1\}\) the two energy functionals given by
and
where \(c_{nn} :{\mathbb {R}}^n \rightarrow [0,+\infty ]\) satisfies
When \(A={\mathbb {R}}^n\) we omit the dependence on it and write \(F_\varepsilon (u)=F_\varepsilon (u,{\mathbb {R}}^n)\) and \({\hat{F}}_\varepsilon (u)= {\hat{F}}_\varepsilon (u,{\mathbb {R}}^n)\).
Remark 5.3
(Difference between \(F_\varepsilon \) and \({\hat{F}}_\varepsilon \)) We want to point out the difference between \(F_\varepsilon \) and \({\hat{F}}_\varepsilon \): In the formula defining \(F_\varepsilon \) the sum is taken over all \((x,y) \in \mathcal{N}\mathcal{N}(\Sigma )\) such that \(\varepsilon x \in A\). Instead in the case of \(\hat{F}_\varepsilon \) the sum takes only those \((x,y) \in \mathcal{N}\mathcal{N}(\Sigma )\) such that both \(\varepsilon x \in A\) and \(\varepsilon y \in A\). The functional \(F_\varepsilon (u,\cdot )\) is an additive set function on disjoint sets, i.e., given \(A,B \subset {\mathbb {R}}^n\) such that \(A\cap B =\emptyset \), we have
whereas \({\hat{F}}_\varepsilon (u,\cdot )\) is only super-additive on disjoint sets. Our \(\Gamma \)-convergence result will be stated for the functional \(F_\varepsilon \). The reason for us to introduce \(\hat{F}_\varepsilon \) is that our proof will use the integral representation result proven in [3], see Theorem 5.7. However, we will show later on that the \(\Gamma \)-convergence of \(F_\varepsilon \) is equivalent to that of \({\hat{F}}_\varepsilon \).
Given \(X \subset \varepsilon \Sigma \) we write with a slight abuse of notation
Hypothesis (74) corresponds to [3, Hypothesis 1] in the case that, according to the notation in [3, Equation (5.23)], \(c_{nn}^\varepsilon (x,y)=c_{nn}(x-y)\) and \(c_{lr}^\varepsilon (x,y)=0\). It is worth observing that in [3] a more general class of functionals was investigated, namely those for which also certain long-range interactions between points in \(\Sigma \) contribute to the energy, i.e., \(c_{lr}(x,y)\ne 0\). For the sake of exposition and simplicity, here we consider the case \(c_{lr}=0\), that is the energy accounts only for the nearest neighbor interactions. However, with some more involved multi-scale constructions, all the statements below extend to the more general case where also long-range interactions are considered.
Definition 5.4
Given \(X\subset \varepsilon {\mathcal {L}}\) we define the rescaled empirical measures associated to X as
Furthermore, recalling (71), we define
Henceforth, we drop the dependence on X and simply write \(V_\varepsilon \). Given \(A\subset {\mathbb {R}}^n\) open with Lipschitz boundary, with slight abuse of notation we define \(F_\varepsilon :{\mathcal {M}}_+(A)\rightarrow [0,+\infty ]\) (similarly \({\hat{F}}_\varepsilon :{\mathcal {M}}_+(A) \rightarrow [0,+\infty ]\)) by
Additionally, we define \(F_\varepsilon :L^1_{\textrm{loc}}(A)\rightarrow [0,+\infty ]\) (similarly \({\hat{F}}_\varepsilon :L^1_{\textrm{loc}}(A)\rightarrow [0,+\infty ]\)) by
It is necessary for us to introduce two different domains of definition for the extended functional \(F_\varepsilon \), since we want to make use of [3, Theorem 5.5]. As it will turn out the two types of extension are equivalent, cf. Lemma 5.11 and Corollary 5.12.
Let \((\Omega ,{\mathbb {P}},{\mathcal {F}})\) be a probability space. Hereafter we recall some definitions from [3] (Definition 5.1 and Definition 5.4):
Definition 5.5
We say that a family \((\tau _z)_{z \in {\mathbb {Z}}^n}\), \(\tau _z :\Omega \rightarrow \Omega \), is an additive group action on \(\Omega \) if
Such an additive group action is called measure preserving if
If in addition, for all \(B \in {\mathcal {F}}\) we have
then \((\tau _z)_{z \in {\mathbb {Z}}^n}\) is called ergodic.
Definition 5.6
A random variable \({\mathcal {L}} :\Omega \rightarrow ({\mathbb {R}}^n)^{{\mathbb {Z}}^n}\), \(\omega \mapsto {\mathcal {L}}(\omega ) = \{{\mathcal {L}}(\omega )(i)\}_{i \in {\mathbb {Z}}^n}\)is called a stochastic lattice. We say that \({\mathcal {L}}\) is admissible if \({\mathcal {L}}(\omega )\) is admissible in the sense of Definition 5.1 and the constants r, R can be chosen independent of \(\omega \) \({\mathbb {P}}\)-almost surely. The stochastic lattice \({\mathcal {L}}\) is said to be stationary if there exists a measure preserving group action \((\tau _z)_{z\in {\mathbb {Z}}^n}\) on \(\Omega \) such that, for \({\mathbb {P}}\)-almost every \(\omega \in \Omega \), \({\mathcal {L}}(\tau _z\omega ) ={\mathcal {L}}(\omega )+z\). If in addition \((\tau _z)_{z \in {\mathbb {Z}}^n}\) is ergodic, then \({\mathcal {L}}\) is called ergodic, too.
We now state a simplified version of [3, Theorem 5.5] which is enough for our purposes.
Theorem 5.7
(Stochastic homogenization of spin systems). Let \({\mathcal {L}}\) be a stationary and ergodic stochastic lattice and let \({\hat{F}}_\varepsilon \) be defined by (73). Let \(A\subset {\mathbb {R}}^n\) be open and bounded with Lipschitz boundary. For \({\mathbb {P}}\)-almost every \(\omega \) the functionals \(F_\varepsilon (\omega )\) \(\Gamma \)-converge with respect to the strong \(L^1(A)\)-topology to the functional \(F_\textrm{hom}:L^1(A) \rightarrow [0,+\infty ]\) defined by
The function \(\varphi _{\textrm{hom}} :{\mathbb {R}}^n \rightarrow [0,+\infty ]\) is given by
where \(l_T \rightarrow +\infty \) and \(l_T/T \rightarrow 0\) as \(T\rightarrow +\infty \).
Definition 5.8
Let \({\mathcal {L}} \subset {\mathbb {R}}^n\) be an admissible set of points. We say that \({\mathcal {L}}\) is periodic if there exists a basis \(\{e_1,\ldots ,e_n\} \subset {\mathbb {R}}^n\) such that
We set \((G,+)\) to be
with the usual addition in \({\mathbb {R}}^n\). We denote its fundamental domain by \(Q:= {\mathbb {R}}^n/G\) and we assume that
and call it the periodicity cell of \({\mathcal {L}}\). For \(k \in {\mathbb {R}}^n\) and \(s>0\) we denote by \(Q_s(k) = sQ+k\) the scaled periodicity cell centered at k. We set
In the following we assume, up to a change of coordinates that \(\{e_1,\ldots , e_n\}\) is the standard orthonormal basis of \({\mathbb {R}}^n\).
In order not to overburden with notation, given \(X \subset \varepsilon {\mathcal {L}}\), we write \(X\cap A\) and \(A{\setminus } X\) for \(X\cap A \cap \varepsilon {\mathcal {L}}\) and \(\left( A\cap \varepsilon {\mathcal {L}}\right) {\setminus } X\), respectively.
We collect the following general properties of periodic admissible set of points.
Lemma 5.9
(Properties of periodic admissible sets). Let \({\mathcal {L}}\) be a periodic admissible set of points. The following holds true:
-
(i)
\(B_{r/2}(x) \subset {\mathcal {V}}(x) \subset B_R(x)\) for all \(x \in {\mathcal {L}}\);
-
(ii)
\(\mathcal{N}\mathcal{N}(x) \subset B_{2R}(x)\) for all \(x\in {\mathcal {L}}\);
-
(iii)
There exists \(C=C(n,r,R) \in (0,+\infty )\) such that \(\displaystyle \sup _{x \in {\mathcal {L}}} \#\mathcal{N}\mathcal{N}(x) \le C\). In particular, \(\partial {\mathcal {V}}(x)\) is made out of finitely many \((n-1)\)-dimensional polyhedral faces;
-
(iv)
There exists \(C>0\) such that for all \(A\subset {\mathbb {R}}^n\) and all \(X \subset \varepsilon {\mathcal {L}}\) there holds
$$\begin{aligned} C^{-1}\sum _{x \in X \cap A} \varepsilon ^{n-1} \#(\mathcal{N}\mathcal{N}_\varepsilon (x){\setminus } X)\le F_{\varepsilon }(X,A) \le C\sum _{x \in X \cap (A)_{2R\varepsilon }} \varepsilon ^{n-1} \#(\mathcal{N}\mathcal{N}_\varepsilon (x){\setminus } X)\,. \end{aligned}$$ -
(v)
There exists \(C=C_{\mathcal {L}}>0\) such that for all \(X \subset \varepsilon {\mathcal {L}}\) and \(A\subset {\mathbb {R}}^n\) there holds
$$\begin{aligned} F_{\varepsilon }(X,A) \le C\,\textrm{Per}(V_\varepsilon ,(A)_{3R\varepsilon }) \text { and } \,\textrm{Per}(V_\varepsilon ,A) \le C F_{\varepsilon }(X,(A)_{R\varepsilon }) \,. \end{aligned}$$
Proof
Apart from (iv) and (v) all of these facts are classical. We collect their proof here for completeness.
Proof of (i), (ii): Let \(x \in {\mathcal {L}}\). The inclusion \(B_{r/2}(x)\subset {\mathcal {V}}(x)\) follows from (L2) since for all \(y \in B_{r/2}(x)\) and \(z \in {\mathcal {L}}{\setminus } \{x\}\)
As for the inclusion \({\mathcal {V}}(x) \subset B_R(x)\) assume that there exists \(y \in {\mathcal {V}}(x) {\setminus } B_R(x) \). We have for all \(z\in {\mathcal {L}}{\setminus } \{x\}\)
This implies that \(B_R(y) \cap {\mathcal {L}}=\emptyset \) contradicting (L1). Finally \(\mathcal{N}\mathcal{N}(x) \subset B_{2R}(x)\) since for \(y \in \mathcal{N}\mathcal{N}(x)\) we have that \({\mathcal {V}}(x) \cap {\mathcal {V}}(y) \ne \emptyset \) which implies \(B_{R}(x) \cap B_R(y)\ne \emptyset \).
Proof of (iii): Due to (i) and (ii) we have that \(B_{r/2}(y) \cap B_{r/2}(z) =\emptyset \), \(y,z \in \mathcal{N}\mathcal{N}(x)\), \(y\ne z\) and \(B_{r/2}(y) \subset B_{2R+r}(x)\) for all \(y \in \mathcal{N}\mathcal{N}(x)\). Therefore
and thus the claim follows with \(C= (2+ 4R/r)^n\).
Proof of (iv): First of all, observe that, by (74), we have
and
As both terms on the left hand side of (78) are positive, the first inequality of (iv) follows. In order to prove the second inequality of (iv), we claim that
To see this, note that if \(x\in A{\setminus } X\) such that \(\#\left( \mathcal{N}\mathcal{N}_\varepsilon (x)\cap X\right) >0\), there exists \(y\in \mathcal{N}\mathcal{N}_\varepsilon (x) \cap X \subset B_{2R\varepsilon }(x)\cap X\) and \(x \in \mathcal{N}\mathcal{N}_\varepsilon (y) {{\setminus }} X\). Now summing over all \(x \in A{{\setminus }} X\) and noting that, by (iii), \( \#\{x \in A{{\setminus }} X :y \in \mathcal{N}\mathcal{N}_\varepsilon (x)\} \le \#\mathcal{N}\mathcal{N}_\varepsilon (x)\le C \) we obtain (80). Finally, (79) and (80) yield the second inequality of (iv).
Proof of (v): The desired inequalities follow from the following observation: Given \(x \in X\), we have that
Additionally, we note that, for \(x\in X\) such that \(\mathcal{N}\mathcal{N}_\varepsilon (x){\setminus } X \ne \emptyset \), there exists \(C>0\) such that
Now, summing over all \(x \in X \cap A\) and noting that each Voronoi cell intersects only a finite number of other Voronoi cells, using (81), (82), (i), (iii), and (iv), we obtain
This yields the first inequality in (v). On the other hand, owing to (i) we have \(\partial V_\varepsilon \cap A \subset \bigcup _{x \in X \cap (A)_{R\varepsilon }} ({\mathcal {V}}_\varepsilon (x) \cap \partial V_\varepsilon )\), and thus, by (81) and (82),
This shows the second inequality in (v) and concludes the proof. \(\square \)
Proposition 5.10
(Compactness of the piecewise-constant interpolants). Let \({\mathcal {L}}\) be an admissible periodic set of points and \(F_\varepsilon \) defined in (72) with \({\mathcal {L}}\) in place of \(\Sigma \). Let \(A \subset {\mathbb {R}}^n\) be open and let \(\{X_\varepsilon \}_\varepsilon \subset \varepsilon {\mathcal {L}}\) be such that
Then there exists a set of finite perimeter \(V\subset A\) and a subsequence (not relabeled) such that \(\chi _{V_\varepsilon } \rightarrow \chi _V\) with respect to the strong \(L^1_{\textrm{loc}}(A)\)-topology.
Proof
Let \(X_\varepsilon \) be as above and let \(A'\subset \subset A\) with Lipschitz boundary be such that \((A')_{R\varepsilon } \subset A\). We observe, due to the second inequality of Lemma 5.9(v),
Therefore
We use [4, Theorem 3.39] to deduce that there exists a subsequence (depending on \(A'\)) and a set of finite perimeter V such that \(\chi _{V_\varepsilon } \rightarrow \chi _{V}\) in \(L^1(A')\). By a diagonal argument on a sequence \(A'_k \uparrow A\) as \(k \rightarrow +\infty \), we obtain the claim. \(\square \)
Lemma 5.11
(Equivalence of convergences). Let \({\mathcal {L}}\) be an admissible periodic set of points and \(F_\varepsilon \) defined in (72) with \({\mathcal {L}}\) in place of \(\Sigma \). Let \(A \subset {\mathbb {R}}^n\) be open and let \(V \subset A\) be a set of finite perimeter and let \(\{X_\varepsilon \}_\varepsilon \subset \varepsilon {\mathcal {L}}\) for each \(\varepsilon >0\) be such that
Then, setting \(\mu _\varepsilon \) and \(V_\varepsilon \) as in (75) and (76), the following are equivalent:
-
(i)
\(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \) with respect to the weak star topology of measures and \(\mu = \rho {\mathcal {L}}^n\lfloor _V\).
-
(ii)
\(\chi _{V_\varepsilon } \rightarrow \chi _V\) with respect to the strong \(L^1_{\textrm{loc}}(A)\)-topology.
Proof
We proceed in two steps. First, we construct a sequence of auxiliary measures \(\nu _\varepsilon \) and show that its weak*-convergence is equivalent to the weak*-convergence of the sequence of measures \(\mu _\varepsilon \). Then, for this sequence of measures we show that its weak*-convergence is equivalent to (ii).
Step 1 (Construction of the auxiliary measure) Let \(\{X_\varepsilon \}_\varepsilon \) be as in the assumptions of the lemma and let \(v \in C_c(A)\) such that \(\textrm{supp}\, v \subset \subset A\). We assume that \(\varepsilon >0\) is small enough such that for all \(k \in \varepsilon {\mathbb {Z}}^n\) there holds
recall Definition 5.8. Fix \(R_0>0\) such that \(\textrm{supp}\, v \subset B_{R_0}\). Since v is uniformly continuous, it admits a modulus of continuity \(\omega =\omega _v :[0,+\infty ) \rightarrow [0,+\infty )\), i.e., an increasing function such that \(\omega (0)=0\) and
We set
and \({\mathcal {I}}_\varepsilon ^\textrm{bad}:=\{ k \in \varepsilon {\mathbb {Z}}^n :Q_{(3+R)\varepsilon }(k) \cap \textrm{supp}\, v \ne \emptyset \} {{\setminus }} ({\mathcal {I}}_\varepsilon ^\textrm{full} \cup {\mathcal {I}}_\varepsilon ^\textrm{empty})\). We now set
Our goal is to show that
First of all we claim that
In fact, due to its definition and (84), we have that for all \(k \in {\mathcal {I}}_\varepsilon ^\textrm{bad}\) there exists \(x \in X \cap Q_{(3+R)\varepsilon }(k) \subset A\) such that \(\#(\mathcal{N}\mathcal{N}(x) {\setminus } X) \ne \emptyset \). Therefore, since for \(k \in \varepsilon {\mathbb {Z}}^n\) fixed \(Q_{(3+R)\varepsilon }(k)\cap Q_{(3+R)\varepsilon }(j)\ne \emptyset \) for only finitely many j independent of \(\varepsilon \), we have
Using (83) yields (87). Let now \(k \in {\mathcal {I}}_\varepsilon ^\textrm{full}\). Then
Thus,
and, recalling that \(\textrm{supp}\, v \subset B_{R_0}\) and (85), we have for \(\varepsilon >0\) small enough
Noting that both \(|\mu _\varepsilon |(Q_\varepsilon (k))\) and \(|\nu _\varepsilon |(Q_\varepsilon (k))\) are bounded above by \(\varepsilon ^n\#({\mathcal {L}}\cap Q)\le C\varepsilon ^n\) for all \(k \in \varepsilon {\mathbb {Z}}^n\), using (87), we observe
Therefore, noting that \(\mu _\varepsilon \lfloor _{Q_\varepsilon (k)}=\nu _\varepsilon \lfloor _{Q_\varepsilon (k)}=0\) for \(k \in {\mathcal {I}}_\varepsilon ^{\textrm{empty}}\), using (88) and (89), we obtain
This shows (86).
Step 2 (Equivalence of convergence) We now prove that
First of all, recalling \(\rho \) defined in (77), we note
Now, due to (85), we have for \(\varepsilon >0\) small enough
Note that, by Lemma 5.9(i), we have
and also \(V_\varepsilon \cap Q_\varepsilon (k) =\emptyset \) for \(k \in {\mathcal {I}}_\varepsilon ^\textrm{empty}\). Note that by (87) we have
Due to (90)–(93), we obtain that
Now clearly (ii) implies (i), since the \(L^1_{\textrm{loc}}(A)\) convergence of the characteristic functions implies their weak* convergence as measures. As for the implication (i) to (ii) we proceed as follows. Let \(V\subset A\) be a set of finite perimeter and assume that \(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \) and \(\mu = \rho {\mathcal {L}}^n\lfloor _V\). By Step 1 this is equivalent to \(\nu _\varepsilon \overset{*}{\rightharpoonup }\ \mu \), hence to \(\rho \chi _{V_\varepsilon } \overset{*}{\rightharpoonup }\rho \chi _V\) in the sense of measures (which is to say that \(\chi _{V_\varepsilon } \overset{*}{\rightharpoonup }\chi _V\)). Take now an arbitrary subsequence (not relabeled) of \(\{X_\varepsilon \}_\varepsilon \). We show that there exists a further subsequence (again not relabeled) such that \(\chi _{V_\varepsilon } \rightarrow \chi _V\) with respect to the strong \(L^1_{\textrm{loc}}(A)\)-topology. Since the \(L^1_{\textrm{loc}}(A)\)-topology satisfies the Urysohn property this implies the claim. By the compactness statement in Proposition 5.10 we have that there exists a set of finite perimeter \(V' \subset {\mathbb {R}}^n\) and a further subsequence \(\{X_{\varepsilon _k}\}_k \subset \{X_\varepsilon \}_\varepsilon \) such that \(\chi _{V_\varepsilon } \rightarrow \chi _{V'}\) with respect to the strong \(L^1_{\textrm{loc}}(A)\)-topology. Since this implies their weak* convergence as measures and we already know that the whole sequence converges to \(\chi _V\) we deduce \(V=V'\) which implies the claim and concludes the proof of the lemma. \(\square \)
Corollary 5.12
(Equivalence of \(\Gamma \)-convergence) Let \({\mathcal {L}}\) be an admissible periodic set of points and let \(F_\varepsilon \) be defined in (72) with \({\mathcal {L}}\) in place of \(\Sigma \). Let \(A \subset {\mathbb {R}}^n\) be a bounded open set with Lipschitz boundary. Then the following statements are equivalent:
-
(i)
\(F_\varepsilon :{\mathcal {M}}_+(A) \rightarrow [0,+\infty ]\) \(\Gamma \)-converges with respect to the weak* convergence of measures to the functional \(F_{\textrm{hom}} :{\mathcal {M}}_+(A) \rightarrow [0,+\infty ]\) defined as
$$\begin{aligned} F_\textrm{hom}(\mu ,A):={\left\{ \begin{array}{ll} \int _{\partial ^* V\cap A} \varphi _{\textrm{hom}}(\nu )\,\textrm{d}{\mathcal {H}}^{n-1} &{}\text {if } \mu = \rho {\mathcal {L}}^n\lfloor _V\,;\\ +\infty &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$ -
(ii)
\(F_\varepsilon :L^1_{\textrm{loc}}(A) \rightarrow [0,+\infty ]\) \(\Gamma \)-converges with respect to strong \(L^1_{\textrm{loc}}(A)\)-topology to the functional \(F_{\textrm{hom}} :L^1_{\textrm{loc}}(A) \rightarrow [0,+\infty ]\) defined as
$$\begin{aligned} F_\textrm{hom}(u,A):={\left\{ \begin{array}{ll} \int _{\partial ^* V\cap A} \varphi _{\textrm{hom}}(\nu )\,\textrm{d}{\mathcal {H}}^{n-1} &{}\text {if } u=\chi _V \text { and } \chi _V \in BV(A)\,;\\ +\infty &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$
Proof
The statement follows directly from Lemma 5.11. \(\square \)
Remark 5.13
The analogous statements are true for \({\hat{F}}_\varepsilon \) as well.
Theorem 5.14
(\(\Gamma \)-convergence for periodic admissible lattices). Let \({\mathcal {L}}\) be an admissible periodic set of points and let \(F_\varepsilon \) be defined by (72) with \({\mathcal {L}}\) in place of \(\Sigma \). Let \(A \subset {\mathbb {R}}^n\) be a bounded open set with Lipschitz boundary or \(A={\mathbb {R}}^n\). The functionals \(F_\varepsilon \) \(\Gamma \)-converge with respect to weak* convergence of measures to the functional \(F_{\textrm{hom}} :{\mathcal {M}}_+(A) \rightarrow [0,+\infty ]\) defined by
The function \(\varphi _{\textrm{hom}} :{\mathbb {R}}^n \rightarrow [0,+\infty ]\) is given by
where \(l_T \rightarrow +\infty \) and \(l_T/T \rightarrow 0\) as \(T\rightarrow +\infty \).
Proof
Step 1 (Probabilistic setup) We exploit the integral representation result (Theorem 5.7) to obtain the specific form of the \(\Gamma \)-limit. We fix \((\Omega , {\mathcal {F}},{\mathbb {P}}) = (\{0\},\{\{0\},\emptyset \},\delta _0)\) to be a probability space and a trivial additive and ergodic group action (see Definition 5.1 in [3]) \(\tau _z :\{0\}\rightarrow \{0\}, z \in {\mathbb {Z}}^3\) given by \(\tau _z(0)=0\). With respect to this group action \({\mathcal {L}}(0) = {\mathcal {L}}\) is an admissible stationary and ergodic stochastic lattice according to Definition 5.6. In fact, since \({\mathcal {L}}\) is periodic according to Definition 5.8, for all \(z=(z_1,z_2,z_3) \in {\mathbb {Z}}^3\) we have
Therefore, all conditions of Theorem 5.7 are satisfied. This shows that for \({\hat{F}}_\varepsilon :L^1_{\textrm{loc}}(A) \rightarrow [0,+\infty ]\) we have
for all \(A \subset {\mathbb {R}}^n\) with Lipschitz boundary we have that \(\chi _V \in BV(A,\{0,1\})\). Note that, by Corollary 5.12, this is equivalent to saying that for \({\hat{F}}_\varepsilon :{\mathcal {M}}_+(A) \rightarrow [0,+\infty ]\) we have
This concludes Step 1.
Step 2 (\(\Gamma \)-convergence of \(F_\varepsilon \)) We use the \(\Gamma \)-convergence of \(\hat{F}_\varepsilon \) obtained in Step 1 in order to prove the \(\Gamma \)-convergence of \(F_\varepsilon \). Let us first prove the result for \(A \subset {\mathbb {R}}^n\) open and bounded with Lipschitz boundary. We note that
and therefore for all \(\mu _\varepsilon \overset{*}{\rightharpoonup } \mu \), we have
Therefore \( \Gamma \text {-}\liminf _{\varepsilon \rightarrow 0} F_\varepsilon (\mu ,A) \ge F_{\textrm{hom}}(\mu ,A)\,. \) Next, we show the Limsup-inequality. Let \(V\subset A\) be such that
since otherwise there is nothing to prove. Using Lemma 5.9(v), we obtain that \(\textrm{Per}(V,A) <+\infty \), i.e., V is a set of finite perimeter. In particular, by [27, Theorem 1.3] (noting that the boundary of A is Lipschitz implies that A is an extension domain), there exists an extension \(V_\textrm{e}\subset {\mathbb {R}}^n\) such that
-
(i)
\(V_{\textrm{e}}\cap A=V\cap A\) up to a set of zero \({\mathcal {L}}^n\)-measure;
-
(ii)
\( \textrm{Per}(V_{\textrm{e}},{\mathbb {R}}^n) \le C\textrm{Per}(V,A)\,; \)
-
(iii)
\( {\mathcal {H}}^{d-1}(\partial ^*V_{\textrm{e}}\cap \partial A) =0. \)
Now (ii) together with (94) implies, again by Lemma 5.9(v), that
Fix \(\delta >0\) and let \(\mu _\varepsilon ^\delta \overset{*}{\rightharpoonup }\ \rho \chi _{V_{\textrm{e}}}\) in \({\mathcal {M}}_+((A)_\delta )\) be such that
Note that, due to Lemma 5.9(ii), for every \(\varepsilon < \delta /(2R)\) we have that
Therefore, recalling Definition 2.2, we obtain,
Sending \(\delta \rightarrow 0\) we obtain
where the last equality follows by properties (i) and (iii) of \(V_{\textrm{e}}\). This shows the desired integral representation for all \(A \subset {\mathbb {R}}^n\) with Lipschitz boundary.
Step 3 (Integral representation on unbounded sets) It remains to prove the integral representation of the \(\Gamma \)-limit for \({\mathbb {R}}^n\). The Liminf inequality follows by monotonicity since for all \(R>0\) and \(X\subset \varepsilon {\mathcal {L}}\) we have
and therefore, given \(\mu _\varepsilon \overset{*}{\rightharpoonup }\ \rho \chi _V\), we have
The claim follows by taking the supremum over \(R >0\). We now turn our attention to the Limsup inequality. We can assume without loss of generality that \(V \subset {\mathbb {R}}^n\) is a set of finite perimeter and
since otherwise there is nothing to prove. By the isoperimetric inequality there exists \(C>0\) such that
Without loss of generality we assume that \(|V| <+\infty \). By the Fleming-Rishel formula we can find \(\{R_k\}_k\subset (0,+\infty )\) such that \(R_k \rightarrow +\infty \) and
We define \(V_k = V\cap B_{R_k}\). Then, thanks to (96)(ii), \(\chi _{V_k} \rightarrow \chi _V \) in \(L^1({\mathbb {R}}^n)\) and thus also \( \rho \chi _{V_k} \overset{*}{\rightharpoonup }\ \rho \chi _V \). Furthermore, (96)(i) implies that
It therefore suffices to construct the recovery sequence for \(\rho \chi _{V_k}\). Let \(S_k = R_k+2R\) and let \(\{\mu _\varepsilon \}_\varepsilon \) be the recovery sequence constructed in Step 2 such that \(\mu _\varepsilon \rightarrow \rho \chi _{V_k}\) in \(L^1(B_{S_k})\) and
We modify \(\mu _\varepsilon \) such that
and this, by (97), proves the statement. By Lemma 5.11, there exists \(\eta _\varepsilon \rightarrow 0\) such that \(|V_\varepsilon \cap A_{R_k,S_k}| \le \eta _\varepsilon \) with \(V_\varepsilon \) defined in (76). Now, let us take \(k \in \{ \lceil \frac{R_k}{\varepsilon } +3R\rceil ,\ldots , \lfloor \frac{S_k}{\varepsilon }-5R\rfloor \}=:{\mathcal {K}}_\varepsilon \). Noting that \(\#{\mathcal {K}}_\varepsilon \approx \varepsilon ^{-1}\), Lemma 5.9(i) implies that there exists \(k_\varepsilon \in {\mathcal {K}}_\varepsilon \) such that
Here, we have used that for \(k \in {\mathcal {K}}_\varepsilon \) fixed
for finitely many indices j independent of \(\varepsilon \) (clearly for \(j > k + 7R\) or \(j < k-7R\) the intersection is empty). We can therefore define \({\hat{X}}_\varepsilon = X_\varepsilon \cap B_{k_\varepsilon }\) and employ Lemma 5.9(ii),(iv) to obtain
which proves (98) and with it the claim. \(\square \)
In the following we show that for minimizing sequences we can improve Proposition 5.10 to obtain strong \(L^1({\mathbb {R}}^n)\) compactness. This implies that the rescaled empirical measures of such sequences converge to a suitably normalized Wulff shape for the limiting perimeter energy.
Lemma 5.15
(Nucleation Lemma). For every \((p_0,v_0) \in (0,+\infty )^2\) there exists \(m=m(p_0,v_0)>0\) such that if \(V \subset {\mathbb {R}}^n\), \(\textrm{Per}(V, {\mathbb {R}}^n ) \le p_0\), \(|V|\ge v_0\), then there exists \(x\in {\mathbb {R}}^n\) such that
Proof
Set
If \(\mu \ge \omega _n/2\) there is nothing to prove. Assume thus that \(m < \omega _n/2\), i.e. \(|V\cap B_1(x)| \le \mu < \omega _n/2\) for all \(x \in {\mathbb {R}}^n\). Then, noting that \(\chi _{B_1(x)}(y)=\chi _{B_1(y)}(x)\) for all \(x,y \in {\mathbb {R}}^n\), we obtain
Due to the assumption we have \(|V\cap B_1(x)| \le \mu \) and therefore due to the relative isoperimetric inequality and Fubini’s Theorem, we obtain
where \(C_B >0\) denotes the relative isoperimetric constant of \(B_1\). Now, again due to Fubini’s Theorem, we obtain
This together with (99) and (100) leads to
Then, we conclude that \(\mu \ge \left( C_B|V|/\textrm{Per}(V, {\mathbb {R}}^n) \right) ^n \ge \left( C_B v_0/p_0\right) ^n\) and thus it suffices to choose \(m(v_0,p_0) < \min \{\omega _n/2, \left( C_B v_0/p_0\right) ^n\}\). \(\square \)
Lemma 5.16
(Concentration Lemma). Let \(\{X_\varepsilon \}_\varepsilon \) and \(\{n_\varepsilon \}_\varepsilon \subset {\mathbb {N}}\) be such that for all \(\varepsilon >0\) \(X_\varepsilon \subset \varepsilon {\mathcal {L}}\), \(\# X_\varepsilon =n_\varepsilon \), \(n_\varepsilon \varepsilon ^n \rightarrow \rho v\) as \(\varepsilon \rightarrow 0\), and
Then, there exists \(\{\tau _\varepsilon \}_\varepsilon \subset {\mathbb {R}}^n\) such that \(\tau _\varepsilon \in \varepsilon \, \textrm{span}_{{\mathbb {Z}}}\{e_1,\ldots , e_n\}\), and \(\mu _\varepsilon (\cdot -\tau _\varepsilon ) \overset{*}{\rightharpoonup }\ \rho \chi _{W}\), where W is the Wulff shape of \(\varphi _{\textrm{hom}}\) defined in Theorem 5.14 and such that \(|W|= v\).
Proof
Let \(\{X_\varepsilon \}_\varepsilon \) be as in the assumptions of the Lemma.
Step 1 (Energy bound) We first show that
To this aim, for each \(\varepsilon >0\) we construct a competitor \(Y_\varepsilon \) such that \(F_{\varepsilon }(Y_\varepsilon ) \le C\) for some constant \(C>0\) independent of \(\varepsilon \). To this end let \(r_\varepsilon >0\) be the maximal \(s>0\) such that
Due to Lemma 5.9(i), we have that \(r_\varepsilon \le r_0 <+\infty \) and
By the maximality in the choice of \(r_\varepsilon \) we have \(\#(B_{r_\varepsilon + \varepsilon r} \cap \varepsilon {\mathcal {L}}) > n_\varepsilon \) and thus
We set \(Y_\varepsilon = (B_{r_\varepsilon } \cap \varepsilon {\mathcal {L}}) \cup Y^0_\varepsilon \), where \(Y_\varepsilon ^0 \subset \varepsilon {\mathcal {L}}{{\setminus }} B_{r_\varepsilon } \) such that \(\# Y_\varepsilon = n_\varepsilon \). Due to Lemma 5.9 (ii), (iii), the minimality of \(X_\varepsilon \), and (102), we have
This shows (101) and concludes Step 1.
Step 2 (Nucleation) We show that if (101) holds, then there exist \(v_1>0\) and \(\{\tau _\varepsilon ^1\}_\varepsilon \subset {\mathbb {R}}^n\) such that \(\tau _\varepsilon ^1 \in \varepsilon \,\textrm{span}_{\mathbb {Z}}\{e_1,\ldots ,e_n\}\) and, up to subsequences,
where \( |V_1|:= v_1 \in (m,v]\), with \(m = m(p_0, v_1) >0\) given by Lemma 5.15. In fact, due to (101) and Lemma 5.9(v) there exists \(p_0 >0\) such that \( \textrm{Per}(V_\varepsilon , {\mathbb {R}}^n)\le p_0\) for all \(\varepsilon >0 \). Additionally, due to Lemma 5.9(i) and the fact that \(n_\varepsilon \varepsilon ^n \rightarrow \rho v>0\), we have that \(|V_\varepsilon | \ge v_1 >0\) for all \(\varepsilon >0\) small enough. Thus, by Lemma 5.15 there exists \(m=m(p_0,v_1)\) and \(\{\tau _\varepsilon ^1\}_\varepsilon \subset {\mathbb {R}}^d\) such that
Actually, by lowering m a bit we can assume without loss of generality that \(\tau _\varepsilon ^1 \in \varepsilon \, \textrm{span}_{\mathbb {Z}}\{e_1,\ldots ,e_n\}\). By (104), (101), Proposition 5.10, and Lemma 5.11, we get (103) up to passing to a subsequence.
Step 3 (Splitting of the energy) We show that for any \(0<\delta <|V_1|\) there exists \(S_\delta =S_\delta (V_1) >0\) big enough and \(S_\varepsilon \in (S_\delta , S_\delta +1)\) such that, for \(\varepsilon >0\) small enough, there holds
First of all, we find \(S_\delta \) such that for \(\varepsilon >0\) small enough
Note that, due to Step 1 and Step 2, \(\chi _{V_\varepsilon (\cdot -\tau _\varepsilon ^1)} \rightarrow \chi _{V_1}\) in \(L^1(B_{S_\delta +1})\). Due to Lemma 5.9(i), we have for \(\varepsilon >0\) small enough
Next, we find \(S_\varepsilon \) by averaging: We choose \(k_\varepsilon \in \left\{ \lceil \tfrac{ S_\delta }{\varepsilon }+3R\rceil ,\ldots , \lfloor \tfrac{ S_\delta +1}{\varepsilon }-6R\rfloor \right\} =:{\mathcal {K}}_\varepsilon \) (note that \({\mathcal {K}}_\varepsilon \ne \emptyset \) and actually \(\#{\mathcal {K}}_\varepsilon \approx \tfrac{S}{\varepsilon } \) for \(\varepsilon >0\) small enough) such that for some \(C>1\)
In the latter estimate, we have used (107) and that, for \(k \in {\mathcal {K}}_\varepsilon \) fixed, we have
for at most a finite number of indices j independent of \(\varepsilon \) (clearly for \(j > k + 7R\) or \(j < k-7R\) the intersection is empty). Up to replacing \(\delta \) by \(C^{-1}\delta \) and choosing \(\delta >0\) sufficiently small, (106) and (108) give (105) and this concludes Step 3.
In the next steps we use the following notation. For any \(\lambda >0\) recall \(W_\lambda \) defined right after (22) and let \(X_\varepsilon ^\lambda \subset (W_\lambda )_{1}\) be such that, setting \(V_\varepsilon ^\lambda = V_\varepsilon (X_\varepsilon ^{\lambda })\), we have \(\chi _{V_\varepsilon ^\lambda } \rightarrow \chi _{W_\lambda }\) in \(L^1({\mathbb {R}}^n)\), and
Step 4 (Identification of \(V_1\)) We claim that \(V_1= W_{v_1}\) up to null sets, where \(W_{v_1}\) is the Wulff Shape of \(F_{\textrm{hom}}\) such that \(|W_{v_1}|=v_1\). Assume by contradiction that this were not the case. By the anisotropic isoperimetric inequality we have that
Up to translating, we may assume that \(\tau _\varepsilon ^1=0\). Then, there exists \(S_0>0\) big enough such that for all \(S \ge S_0\) we have \(W_{v_1} \subset \subset B_S\) and
By Theorem 5.14, we have that
We now construct a competitor \(\hat{X}_\varepsilon \) for \(\varepsilon >0\) small enough such that \(\#X_\varepsilon =n_\varepsilon \) and
This contradicts the assumptions of the Lemma on the minimality of \(X_\varepsilon \) and therefore \(V_1= W_{v_1}\) up to null sets. Let us take \(\delta :=\delta _\eta = (2C \max _{x \in {\mathcal {L}}} \#\mathcal{N}\mathcal{N}(x))^{-1}\eta \) with C as in (74) and let \(S_\delta \), \(S_\varepsilon \in (S_\delta ,S_\delta +1)\) be as in Step 3 with \(S_\delta \ge \textrm{diam}\, W_{v_1} + 2\). We define
where \(\#\hat{X}_\varepsilon = \# X_\varepsilon \). In what follows we assume for simplicity that \(Z_\varepsilon =\emptyset \). Otherwise, one chooses \(Z_\varepsilon \) such that its contributions to both energy and volume are negligible as \(\varepsilon \rightarrow 0\). First of all note
Then, by noting first that \(X_\varepsilon = {\hat{X}}_\varepsilon \) on \((B_{S_\varepsilon +3\varepsilon R}^c)_{\varepsilon R}\), we have
Furthermore,
Lastly, due to Lemma 5.9(iii),(iv) and the choice of \(\delta \), and (105), we have
Comparing this to the energy of \(X_\varepsilon \), also noting that \(S_\delta \ge \textrm{diam}\, W_{v_1} + 2\) and, using (113)–(116), we obtain
Therefore, using (109) and (110), we obtain
This yields (111) for \(\varepsilon >0\) small enough.
Step 5 (\(v_1 = v\)) Assume by contradiction that \(v_1 < v\). We repeat Step 2 and Step 3 for \(X_\varepsilon {{\setminus }} (W_{v_1}(\tau _\varepsilon ^1))_1\) to find \(\tau _\varepsilon ^2\) such that
where \(|V_2|=v_2 >0\). Note that we can assume \(|\tau _\varepsilon ^1 - \tau _\varepsilon ^2| \rightarrow +\infty \) since this would otherwise contradict \(\mu _\varepsilon (\cdot -\tau _\varepsilon ^1) \overset{*}{\rightharpoonup }\ \rho \chi _V\). By Step 4, we observe that \(V_2=W_{v_2}\). Note that \(v \mapsto F_{\textrm{hom}}(W_v)\) is strictly concave in v. In fact there holds
Therefore, given \(v_1,v_2 >0\), for \(v=\lambda v_1 + (1-\lambda )v_2\) for \(\lambda \in (0,1)\), using (118) and the strict concavity of the function \(v\mapsto v^{\frac{n-1}{n}}\), we have
Since \(F_{\textrm{hom}}(W_0)=0\), this in particular implies that \(v\mapsto F_{\textrm{hom}}(W_v)\) is strictly subadditive, i.e.,
for all \(v_1,v_2 >0\). Set
Due to Step 3 applied with \(\delta = \delta _\eta :=(3C \max _{x \in {\mathcal {L}}} \#\mathcal{N}\mathcal{N}(x) )^{-1}\eta \) and Step 4 we have that
and
where \({\tilde{S}}_\varepsilon \) is associated with \(\tau _\varepsilon ^2\) by following the same procedure to \(X_\varepsilon {\setminus } B_{S_\varepsilon }(\tau _\varepsilon ^1)\) as in Step 3. We can therefore define
(here we assume that \(S_\varepsilon \) is such that \(X^{v_1+v_2}_\varepsilon \subset B_{S_\varepsilon }\)) and without loss of generality (see Step 4) we can directly assume \(\#{\tilde{X}}_\varepsilon = \# X_\varepsilon \). Now the argument follows very much in the spirit of Step 4. We first observe that
Then, by noting first that \(X_\varepsilon = {{\tilde{X}}}_\varepsilon \) on \(((B_{S_\varepsilon +3\varepsilon R}(\tau _\varepsilon ^1) \cup B_{{\tilde{S}}_\varepsilon +3\varepsilon R}(\tau _\varepsilon ^2))^c)_{\varepsilon R}\), we have
Furthermore,
Lastly, due to Lemma 5.9(iii)(iv) and the choice of \(\delta \), we have
and
Comparing this to the energy of \(X_\varepsilon \) we obtain, using (119)–(122), as in Step 5,
This is a contradiction and therefore \(v_1=v\). Setting \(\tau _\varepsilon :=\tau _\varepsilon ^1\) this concludes the proof. \(\square \)
Remark 5.17
We want to observe that Lemma 5.16 can be extended to the setting of [3] in which the functional \(F_\varepsilon \) also accounts for long-range interactions. In order to adapt the proof to the general case, the annulus \(A_{r_\varepsilon ,r_\varepsilon +3R \varepsilon }\) must be replaced by \(A_{r_\varepsilon ,r_\varepsilon +s_\varepsilon }\) where \(s_\varepsilon =k_\varepsilon \varepsilon \) (here \(k_\varepsilon \) is such that \(k_\varepsilon \rightarrow +\infty \) and \(k_\varepsilon \varepsilon \rightarrow 0\)). This choice ensures that \({\hat{X}}_\varepsilon \cap B_{r_\varepsilon }\) and \({\hat{X}}_\varepsilon {\setminus } B_{r_\varepsilon +s_\varepsilon }\) (resp. \( X_\varepsilon \cap B_{r_\varepsilon }\) and \( X_\varepsilon {\setminus } B_{r_\varepsilon +s_\varepsilon }\)) are sufficiently distant such that the energy contribution that accounts for the interactions crossing the annulus are negligible as \(\varepsilon \rightarrow 0\).
References
Allinger, N.L.: Molecular Structure: Understanding Steric and Electronic Effects from Molecular Mechanics. Wiley, Hoboken (2010)
Alicandro, R., Braides, A., Cicalese, M., Solci, M.: Cambridge University Press (ISBN 9781009298780) (to appear)
Alicandro, R., Cicalese, M., Ruf, M.: Domain formation in magnetic polymer composites: an approach via stochastic homogenization. Arch. Ration. Mech. Anal. 218, 945–984 (2015)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford mathematical monographs, The Clarendon Press, Oxford University Press, New York (2000)
Alicandro, R., Gelli, M.S.: Local and non local continuum limits of Ising-type energies for spin systems. SIAM J. Math. Anal. 48, 895–931 (2016)
Au Yeung, Y.: Crystalline Order, Surface Energy Densities and Wulff Shapes: Emergence from Atomistic Models. Ph.D. thesis, Technische Universität München (2013)
Au Yeung, Y., Friesecke, G., Schmidt, B.: Minimizing atomic configurations of short range pair potentials in two dimensions: crystallization in the Wulff shape. Calc. Var. Partial Differ. Equ. 44, 81–100 (2012)
Blanc, X., Lewin, M.: The crystallization conjecture: a review. EMS Surv. Math. Sci. 2, 255–306 (2015)
Braides, A.: \(\Gamma \)-Convergence for Beginners. Oxford University Press, Oxford (2002)
Braides, A., Causin, A., Solci, M.: Interfacial energies on quasicrystals. IMA J. Appl. Math. 77, 816–836 (2012)
Braides, A., Gelli, M.S.: From discrete systems to continuous variational problems: an introduction. In: Topics on Concentration Phenomena and Problems with Multiple Scales, Lect. Notes Unione Mat. Ital. 2, pp. 3–77. Springer, Berlin (2006)
Braides, A., Truskinovsky, L.: Asymptotic expansions by \(\Gamma \)-convergence. Contin. Mech. Thermodyn. 20, 21–62 (2008)
Chambolle, A., Kreutz, L.: Cristallinity of the Homogenized Surface Energy Density of Periodic Lattice Systems. Preprint (2021). arXiv:2106.08111
Cicalese, M., Leonardi, G.P.: Maximal fluctuations on periodic lattices: an approach via quantitative Wulff inequalities. Commun. Math. Phys. 375, 1–14 (2019)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence, vol. 8. Springer, Berlin (2012)
Davoli, E., Piovano, P., Stefanelli, U.: Wulff shape emergence in graphene. Math. Models Methods Appl. Sci. 26, 2277–2310 (2016)
Davoli, E., Piovano, P., Stefanelli, U.: Sharp \(N^{3/4}\) law for the minimizers of the edge-isoperimetric problem on the triangular lattice. J. Nonlinear Sci. 27, 627–660 (2017)
De Luca, L., Friesecke, G.: Crystallization in two dimensions and a discrete Gauss–Bonnet theorem. J. Nonlinear Sci. 28, 69–90 (2017)
De Luca, L., Friesecke, G.: Classification of particle numbers with unique Heitmann–Radin minimizer. J. Stat. Phys. 167, 1586–1592 (2017)
Del Nin, G., Petrache, M.: Continuum limits of discrete isoperimetric problems and Wulff shapes in lattices and quasicrystal tilings. Calc. Var. Partial Differ. Equ. 61(6), 226 (2022)
Fonseca, I., Müller, S.: A uniqueness proof for the Wulff theorem. Proc. R. Soc. Edinb. Sect. 119, 125–136 (1991)
Flatley, L.C., Theil, F.: Face-centered cubic crystallization of atomistic configurations. Arch. Ration. Mech. Anal. 218, 363–416 (2015)
Friedrich, M., Kreutz, L.: Finite crystallization and Wulff shape emergence for ionic compounds in the square lattice. Nonlinearity 33, 1240–1296 (2020)
Friedrich, M., Kreutz, L.: Crystallization in the hexagonal lattice for ionic dimers. Math. Models Methods Appl. Sci. 29, 1853–1900 (2019)
Friedrich, M., Kreutz, L., Schmidt, B.: Emergence of rigid polycrystals from atomistic systems with Heitmann–Radin sticky disk energy. Arch. Ration. Mech. Anal. 240, 627–698 (2021)
Friesecke, G., Theil, F.: Molecular geometry optimization, models. In: Engquist, B. (ed.) The Encyclopedia of Applied and Computational Mathematics. Springer, Berlin (2015)
García-Bravo, M., Rajala, T.: Strong \( BV \)-Extension and \( W^{1, 1} \)-Extension Domains. arXiv:2105.05467 (2021)
Gardner, C.S., Radin, C.: The infinite-volume ground state of the Lennard–Jones potential. J. Stat. Phys. 20, 719–724 (1979)
Gelli, M.S.: Variational Limits of Discrete Systems. Ph.D. thesis, Scuola Internazionale Superiore die Studi Avanzati Trieste (1999)
Hales, T.C.: A proof of the Kepler conjecture. Ann. Math. 162, 1065–1185 (2005)
Harborth, H.: Lösung zu Problem 664 a. Elem. Math. 29, 14–15 (1974)
Harper, L.H.: Global Methods for Combinatorial Isoperimetric Problems, vol. 90. Cambridge University Press, Cambridge (2004)
Heitmann, R., Radin, C.: The ground state for sticky disks. J. Stat. Phys. 22, 281–287 (1980)
Lewars, E.G.: Computational chemistry, 2nd edn. Springer, Berlin (2011)
Li, D.: On the crystallization of 2D hexagonal lattices. Commun. Math. Phys. 286, 1099–1140 (2009)
Mainini, E., Piovano, P., Schmidt, B., Stefanelli, U.: \(N^{3/4}\) law in the cubic lattice. J. Stat. Phys. 176, 1480–1499 (2019)
Mainini, E., Piovano, P., Stefanelli, U.: Finite crystallization in the square lattice. Nonlinearity 27, 717–737 (2014)
Mainini, E., Schmidt, B.: Maximal fluctuations around the Wulff shape for edge-isoperimetric sets in \({\mathbb{Z} }^{d}\): a sharp scaling law. Commun. Math. Phys. 380, 947–971 (2020)
Mainini, E., Stefanelli, U.: Crystallization in carbon nanostructures. Commun. Math. Phys. 328, 545–571 (2014)
Radin, C.: The ground state for soft disks. J. Stat. Phys. 26, 365–373 (1981)
Sanchez-Burgos, I., Sanz, E., Vega, C., Espinosa, J.R.: Fcc vs. hcp competition in colloidal hard-sphere nucleation: on their relative stability, interfacial free energy and nucleation rate. Phys. Chem. Chem. Phys. 23, 19611–19626 (2021)
Schütte, K., van der Waerden, B.L.: Das problem der dreizehn Kugeln. Math. Ann. 125, 324–334 (1952)
Schmidt, B.: Ground states of the 2D sticky disc model: fine properties and \(N^{3/4}\) law for the deviation from the asymptotic Wulff shape. J. Stat. Phys. 153(4), 727–738 (2013)
Theil, F.: A proof of crystallization in two dimensions. Commun. Math. Phys. 262, 209–236 (2006)
Wulff, G.: Zur Frage der Geschwindigkeit des Wachstums und der Auflösung der Kristallflächen. Z. Krist. 34, 449–530 (1901)
Acknowledgements
This work was supported by the DFG Project FR 4083/1-1 and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044 -390685587, Mathematics Münster: Dynamics–Geometry–Structure. The work of M. Cicalese was supported by the DFG Collaborative Research Center TRR 109, ”Discretization in Geometry and Dynamics”. The first and second author gratefully acknowledge the GNAMPA visiting professor program 2022 and the CIRM research in pairs program, Trento 2020, during which parts of the project have been carried out. This research was supported by the DFG through the Emmy Noether Programme (project number 509436910).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cicalese, M., Kreutz, L. & Leonardi, G.P. Emergence of Wulff-Crystals from Atomistic Systems on the FCC and HCP Lattices. Commun. Math. Phys. 402, 2931–2978 (2023). https://doi.org/10.1007/s00220-023-04788-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04788-5