Local and global minimality of the lamella for the anisotropic Ohta-Kawasaki energy

Abstract: In this paper we consider the volume-constrained minimization of a variant of the Ohta-Kawasaki functional with an anisotropic surface energy replacing the standard perimeter. Following and suitably adapting the second variation approach devised in arXiv:1211.0164, we prove local minimality results for the horizontal lamellar configuration, in analogy with the isotropic case, under the assumption that the anisotropy is uniformly elliptic. If instead the Wulff shape of the anisotropy has upper and lower horizontal facets, we prove that the lamella exhibits a rigid behavior and is an isolated local minimizer for all parameter values. We conclude by showing some global minimality results, mostly focusing on the planar case.

• The paper establishes that lamellar configurations are isolated local minimizers for the anisotropic Ohta-Kawasaki energy under uniformly elliptic conditions via explicit second variation estimates.
• It demonstrates rigid stability for lamella with horizontally flat anisotropies, providing parameter thresholds that ensure a quadratic energy gap in the L1 metric.
• In two dimensions, the study uniquely characterizes global minimizers for near-half volume, offering sharp geometric criteria for optimal microstructure design.

Summary of "Local and global minimality of the lamella for the anisotropic Ohta-Kawasaki energy" (2604.13736)

Problem Statement and Context

The paper rigorously analyzes minimality properties of lamellar configurations for the Ohta-Kawasaki energy, extended to include anisotropic surface energies. The classical Ohta-Kawasaki functional is central to modeling microphase separation in diblock copolymers, and typically consists of an isotropic interfacial term (the perimeter) and a nonlocal interaction term. Here, the interfacial term is replaced by an anisotropic perimeter, corresponding to general surface tensions $\phi$.

The key variational problem is the volume-constrained minimization of

$J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$

with $P^\phi$ the anisotropic perimeter, and $\mathcal{N}(E)$ the nonlocal term defined via the Green's function of the torus. The primary focus is on lamellar configurations (sets of the form $[0,1]^{n-1} \times [a,b]$), and the investigation covers both local minimality (stability under small perturbations) and global minimality (absolute energy minimization).

Main Contributions

Local Minimality for Uniformly Elliptic Anisotropies

The paper establishes that lamellae are isolated local minimizers for the anisotropic Ohta-Kawasaki energy when the surface tension $\phi$ is uniformly elliptic, and $\gamma$ is sufficiently small. Uniform ellipticity ensures strong regularity and convexity of the Wulff shape associated with $\phi$. The proof builds upon and adapts the second variation technique from prior isotropic studies, deriving explicit formulae for the second variation in terms of the perturbations and demonstrating strict stability. The key technical achievement is extending these results from $C^1$-perturbations to proximity measured in the $L^1$ metric via regularity results for almost minimizers.

Quantitative result: For such parameter regimes, the energy difference is lower bounded quadratically in the $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$0 distance, i.e.,

$J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$1

for $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$2 near the lamella $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$3, with $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$4 dependent on the second variation.

Rigidity for Horizontally Flat Anisotropies

For surface tensions whose Wulff shape has horizontal facets (i.e., $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$5 is horizontally flat), the lamella exhibits rigid local minimality: it is an isolated $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$6-local minimizer for all values of $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$7, independent of the nonlocal term's strength. The proof leverages approximation arguments, using strictly convex approximating surface tensions, and exploits geometric rigidity results for crystalline and flat-facet anisotropies.

Global Minimality in Dimension Two

The paper rigorously characterizes global minimizers for the periodic anisotropic isoperimetric problem in the planar torus. Under an explicit minimality condition for $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$8 related to facet directions (minimum width along vertical), lamellae are shown to be unique global minimizers for volumes near $J^\phi(E) = P^\phi(E) + \gamma \mathcal{N}(E)$9 and sufficiently small $P^\phi$0. The classification provides sharp volume thresholds, beyond which minimizers are either translated rescalings of the Wulff shape or their complements.

Technical Methods

• Formulation and explicit calculation of first and second variations for anisotropic Ohta-Kawasaki energies with rigorous $P^\phi$1 and $P^\phi$2 stability estimates.
• Utilization of regularity theory for anisotropic perimeter almost-minimizers to promote $P^\phi$3 minimality results to $P^\phi$4 settings.
• Geometric analysis of translation-invariant energies and precise control of translations within the torus.
• Approximation techniques for crystalline and flat-facet anisotropies, exploiting inner approximations by smooth, uniformly elliptic surface tensions.

Numerical and Rigorous Results

• Isolated local minimality: For lamellae under uniformly elliptic $P^\phi$5, strict stability is proved quantitatively, with explicit dependence of the minimality constant $P^\phi$6 on the second variation and anisotropy parameters.
• Parameter thresholds: Minimality holds for $P^\phi$7, with $P^\phi$8 derived analytically as a function of mass, anisotropy, and dimension, e.g.,

$P^\phi$9

• Global minimality ranges: In dimension $\mathcal{N}(E)$0, lamella is globally minimal for $\mathcal{N}(E)$1 in $\mathcal{N}(E)$2 where $\mathcal{N}(E)$3 and $\mathcal{N}(E)$4 are explicit geometric quantities determined by $\mathcal{N}(E)$5.

Implications and Future Directions

Practical Implications

• Material science and microstructure modeling: The results generalize classical pattern selection in block copolymer systems and any physical system describable by Ohta-Kawasaki-type functionals, encompassing anisotropic interfacial energies relevant for crystalline, faceted, or directional materials.
• Design of anisotropic microstructure: The explicit characterization enables computational design and analytical prediction of microstructures, especially under anisotropic conditions.

Theoretical Developments

• Extension to higher dimensions and crystalline cases: While the results are sharp in 2D and for smooth anisotropies, the global minimality for crystalline anisotropies or in dimensions $\mathcal{N}(E)$6 remains largely open—a promising direction for further research.
• Periodic isoperimetric problems in anisotropic settings: The partial solution and classification results are of independent geometric interest, paving the way for broader studies of periodic variational problems.

Speculations for AI and Variational Modeling

• The technical framework and explicit second variation analysis are directly useful for numerical algorithms and AI-based variational solvers, providing rigorous stability criteria and geometric benchmarks for model training and validation.
• Analytic minimality results could inform the design and interpretation of neural operators or machine learning models aimed at predicting complex microstructures or phase separation phenomena.

Conclusion

This paper provides a rigorous, quantitative, and explicit analysis of local and global minimality for lamellar configurations in anisotropic Ohta-Kawasaki type energies. The results extend and refine classical isotropic theory, incorporating general anisotropies—including both smooth, uniformly elliptic and faceted (crystalline or flat) cases—and delivering sharp stability, rigidity, and minimization criteria relevant for both theoretical analysis and practical application in variational modeling and microstructure prediction.