pith. sign in

arxiv: 2604.13736 · v1 · submitted 2026-04-15 · 🧮 math.AP

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

Alberto Fiorini This is my paper

Pith reviewed 2026-05-10 12:49 UTC · model grok-4.3

classification 🧮 math.AP
keywords anisotropic Ohta-Kawasaki functionallamellar configurationslocal minimalitysecond variationWulff shapeglobal minimizersphase separation models
0
0 comments X

The pith

Horizontal lamellae are local minimizers of the anisotropic Ohta-Kawasaki energy under uniform ellipticity, and isolated local minimizers when the Wulff shape has aligned facets.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper adapts a second-variation calculation previously used for the isotropic Ohta-Kawasaki model to handle an anisotropic surface energy. It establishes that the flat horizontal lamellar interface is stable against small perturbations whenever the anisotropy satisfies a uniform ellipticity condition. When the associated Wulff shape possesses horizontal facets, the same configuration becomes an isolated local minimizer no matter how strong the nonlocal interaction term is. The authors also record some global minimality statements that hold in two space dimensions.

Core claim

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.

What carries the argument

The second variation of the volume-constrained anisotropic Ohta-Kawasaki energy around the horizontal lamellar profile, which is shown to be nonnegative under the stated ellipticity or facet assumptions.

If this is right

  • The horizontal lamellar pattern remains a local energy minimizer for the anisotropic model whenever the surface tension is uniformly elliptic.
  • When the Wulff shape admits horizontal facets, the lamellar configuration cannot be continuously deformed without increasing the total energy, for any strength of the nonlocal term.
  • Global minimizers of the anisotropic functional in the plane are at least as stable as their isotropic counterparts under the same volume constraint.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The rigidifying effect of aligned facets may extend to other periodic or striped patterns in anisotropic diblock-copolymer models.
  • Similar second-variation techniques could be applied to curved or three-dimensional lamellar interfaces once the ellipticity condition is relaxed.
  • The isolation result suggests that, for faceted anisotropies, the lamellar state is the unique local minimizer in a neighborhood of the configuration space.

Load-bearing premise

Adapting the isotropic second-variation method does not introduce new negative directions caused by the direction dependence of the surface energy.

What would settle it

An explicit perturbation of the lamellar interface whose first-order energy change is zero yet whose second-order change is negative when the anisotropy is uniformly elliptic but lacks horizontal facets.

Figures

Figures reproduced from arXiv: 2604.13736 by Alberto Fiorini.

Figure 1
Figure 1. Figure 1: A lamella L in the torus T 2 for some ℓ1, ℓ2 ∈ (0, 1), ℓ1 < ℓ2. In particular, we focus on the local and global minimality properties of (single) lamellar configurations in T n , that is, up to translations, sets of the form T n−1 ×(ℓ1, ℓ2) for some ℓ1, ℓ2 ∈ (0, 1), ℓ1 < ℓ2, see [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The Wulff shapes for a uniformly elliptic and a horizontally flat sur￾face tensions respectively. Note that the Wulff shape of a horizontally flat surface tension may or may not be regular, however it is never uniformly elliptic since its Wulff shape is not uniformly convex. or, equivalently, ∇2ϕ(x) [v, v] ≥ λ for any x, v ∈ S n−1 , x ⊥ v. Definition 2.4. A surface tension ϕ : R n → [0, +∞) is said to be h… view at source ↗
Figure 3
Figure 3. Figure 3: A strip of volume M ∈ (0, 1) in T 2 for some couple (g1, g2) ∈ SM. A lamella of volume M is then a strip for two constant functions ℓ1 and ℓ2 with (ℓ1, ℓ2) ∈ SM. elliptic surface tension (see Theorem 2.3), and that is the content of one of the main results of this work, proved in Section 5. Such result mirrors [2, Theorem 1.1], obtained by the authors in the isotropic case for a general strictly stable cri… view at source ↗
Figure 4
Figure 4. Figure 4: A strip of volume M ∈ (0, 1) in T 2 for some couple (g1, g2) ∈ SM and its (ψ1, ψ2)-deformation {(g1, g2)t}t for some ψ1, ψ2 ∈ V . By definition the volume of the deformed sets is again M and one has (g1, g2)0 = (g1, g2). This type of deformations allows us to compute the first and the second variation formulae for the anisotropic perimeter (see [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The Wulff shapes for Step one and Step two of the proof of The￾orem 2.12. If the projections of the two horizontal faces on the hyperplane {xn = 0} had nonempty intersection then one could skip Step two altogether and get the same conclusion by Step three and Step four. and moreover ∇2 x′ϕ ε (±en) [PITH_FULL_IMAGE:figures/full_fig_p023_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The Wulff shapes for Step three and Step four of the proof of Theorem 2.12. which in turn implies that A∗x and A∗v are linearly dependent. Since A is invertible the same is true for x and v, against the assumption of orthogonality, proving the validity of (6.4). Since ∇2ϕ ε C (x)x = 0 for any x ̸= 0, by the very same formula we note that ∇2 x′ϕ ε (±en) [PITH_FULL_IMAGE:figures/full_fig_p024_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The minimizers of problem (2.14) for increasing values of the the volume M: for small volumes, the minimizer is a rescaling of the Wulff shape, for volumes close to 1/2 the minimizer must be the horizontal lamella and finally, for M close to 1, the minimizer is equal to the complement of a rescaled copy of the Wulff shape reflected through the origin. where LM is the horizontal lamella of volume M. Moreove… view at source ↗
Figure 8
Figure 8. Figure 8: The quadrilaterals Q and Q′ described in Step two and Step three of the proof of Theorem 7.2. In particular, denoting η = ∂1ϕ(0, 1) = ∂1ϕ(0, −1), we have that x ± = (η, ±ϕ(±e2)). There also exist two points x r , xl ∈ ∂Wϕ such that (x r )1 = ϕ(e1) and (x l )1 = −ϕ(−e1), so that the area of the quadrilateral Q with vertices x +, x−, xr and x l (see [PITH_FULL_IMAGE:figures/full_fig_p027_8.png] view at source ↗
read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies volume-constrained minimization of an anisotropic Ohta-Kawasaki energy in which the standard perimeter is replaced by an anisotropic surface energy. Adapting the second-variation method of arXiv:1211.0164, the authors prove that the horizontal lamellar configuration is a local minimizer when the anisotropy is uniformly elliptic. When the Wulff shape possesses upper and lower horizontal facets, they establish that the lamella is an isolated local minimizer for every value of the parameters. Additional global-minimality statements are given, primarily in the planar setting.

Significance. If the adaptation of the second-variation argument is carried through with full control of the anisotropic curvature terms, the results extend the known stability theory for lamellar patterns to anisotropic surface energies that arise in models of directional phase separation. The rigidity statement for faceted anisotropies, holding uniformly in the parameters, is a distinctive feature that could inform numerical and physical studies of stable microstructures. The work is a direct, technically focused extension rather than a conceptual breakthrough, but it supplies concrete local-minimality theorems that were previously unavailable in the anisotropic setting.

major comments (2)
  1. [Section 3 (second-variation analysis)] The central local-minimality claim rests on a 'suitable adaptation' of the second-variation argument from arXiv:1211.0164. The first variation of the anisotropic perimeter introduces the Cahn-Hoffmann vector, and its second variation produces an additional term involving the second derivative of the anisotropy function evaluated along the interface normal. This term is absent in the isotropic case and can be sign-indefinite when the anisotropy is merely C^{1,1} or has flat facets. The manuscript must therefore supply an explicit coercivity estimate for the resulting quadratic form in the lamellar geometry; without it, positivity under uniform ellipticity remains unverified.
  2. [Section 4 (faceted Wulff shape)] In the faceted case, the proof that the lamella is an isolated local minimizer for all parameter values relies on the flat horizontal facets preventing certain perturbations. The argument must explicitly show how the anisotropic curvature vanishes or becomes non-negative on the facets and how this combines with the nonlocal term to yield a strictly positive second variation; the current outline does not contain this calculation.
minor comments (2)
  1. [Abstract and Introduction] The abstract and introduction should state the precise function space and regularity assumed on the anisotropy (e.g., C^2 or C^{1,1}) so that readers can immediately assess the scope of the ellipticity and facet hypotheses.
  2. [Section 2 (preliminaries)] Notation for the anisotropic perimeter and the associated curvature should be introduced once and used consistently; occasional switches between the Wulff shape and the dual anisotropy function obscure the estimates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions to make the second-variation calculations fully explicit are well taken, and we will revise the paper accordingly. Our point-by-point responses to the major comments follow.

read point-by-point responses

  1. Referee: [Section 3 (second-variation analysis)] The central local-minimality claim rests on a 'suitable adaptation' of the second-variation argument from arXiv:1211.0164. The first variation of the anisotropic perimeter introduces the Cahn-Hoffmann vector, and its second variation produces an additional term involving the second derivative of the anisotropy function evaluated along the interface normal. This term is absent in the isotropic case and can be sign-indefinite when the anisotropy is merely C^{1,1} or has flat facets. The manuscript must therefore supply an explicit coercivity estimate for the resulting quadratic form in the lamellar geometry; without it, positivity under uniform ellipticity remains unverified.

    Authors: We agree that an explicit coercivity estimate is required. While the manuscript invokes uniform ellipticity to control the anisotropic second-derivative term and sketches the adaptation of the argument from arXiv:1211.0164, the quadratic form for the specific lamellar geometry is not computed in full detail. In the revision we will add a dedicated lemma in Section 3 that evaluates the second variation of the anisotropic perimeter plus the nonlocal term on horizontal lamellar interfaces. Under the uniform ellipticity assumption the extra term is bounded above by a multiple of the standard curvature term, yielding a coercive quadratic form with a constant depending only on the ellipticity ratio. This will be inserted before the local-minimality statement. revision: yes

  2. Referee: [Section 4 (faceted Wulff shape)] In the faceted case, the proof that the lamella is an isolated local minimizer for all parameter values relies on the flat horizontal facets preventing certain perturbations. The argument must explicitly show how the anisotropic curvature vanishes or becomes non-negative on the facets and how this combines with the nonlocal term to yield a strictly positive second variation; the current outline does not contain this calculation.

    Authors: We accept this observation. For the faceted Wulff shape the anisotropic curvature operator vanishes identically on the flat horizontal facets. We will expand Section 4 with an explicit calculation: on the facets the second variation of the perimeter term is zero, so the quadratic form reduces to the strictly positive nonlocal contribution (which is independent of the anisotropy and holds for all parameter values by the same argument as in the isotropic case). Perturbations that leave the facets are controlled by the remaining ellipticity or by the geometry of the Wulff shape. This detailed verification will be added to establish isolation uniformly in the parameters. revision: yes

Circularity Check

0 steps flagged

Adaptation of prior second-variation method yields independent local-minimality proof

full rationale

The paper states it follows and suitably adapts the second-variation approach from arXiv:1211.0164 to prove local minimality of the horizontal lamella under uniform ellipticity of the anisotropy, plus rigidity and isolation when the Wulff shape has horizontal facets, followed by global minimality results. No equations, fitted parameters, or self-definitional reductions appear in the abstract or described claims; the minimality statements are obtained via direct proof rather than by renaming inputs or forcing predictions from subsets of data. The cited prior work supplies an external template whose adaptation is presented as a technical extension, not a load-bearing self-reference that collapses the result to its own assumptions. The derivation chain is therefore self-contained as a mathematical argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the uniform ellipticity assumption for the anisotropy and on the successful adaptation of the second-variation positivity argument from the cited isotropic paper; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption The anisotropy is uniformly elliptic
    Invoked to obtain local minimality of the lamella in analogy with the isotropic case.
  • domain assumption The Wulff shape has upper and lower horizontal facets
    Used to conclude rigid behavior and isolated local minimality for all parameter values.

pith-pipeline@v0.9.0 · 5404 in / 1358 out tokens · 37901 ms · 2026-05-10T12:49:11.032095+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Stability of lamellar configurations in a nonlocal sharp interface model

    E. Acerbi, C.-N. Chen, and Y.-S. Choi. “Stability of lamellar configurations in a nonlocal sharp interface model”. In:SIAM J. Math. Anal.54.1 (2022), pp. 558–594

    work page 2022

  2. [2]

    Minimality via second variation for a nonlocal isoperi- metric problem

    E. Acerbi, N. Fusco, and M. Morini. “Minimality via second variation for a nonlocal isoperi- metric problem”. In:Commun. Math. Phys.322.2 (2013), pp. 515–557

    work page 2013

  3. [3]

    Uniform energy distribution for an isoperimetric problem with long-range interactions

    G. Alberti, R. Choksi, and F. Otto. “Uniform energy distribution for an isoperimetric problem with long-range interactions”. In:J. Am. Math. Soc.22.2 (2009), pp. 569–605

    work page 2009

  4. [4]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara.Functions of bounded variation and free disconti- nuity problems. Oxford Mathematical Monographs. Oxford: Clarendon Press, 2000

    work page 2000

  5. [5]

    Some regularity results for minimal crystals

    L. Ambrosio, M. Novaga, and E. Paolini. “Some regularity results for minimal crystals”. In:ESAIM, Control Optim. Calc. Var.8 (2002), pp. 69–103

    work page 2002

  6. [6]

    Epitaxially strained elastic films: the case of anisotropic surface energies

    M. Bonacini. “Epitaxially strained elastic films: the case of anisotropic surface energies”. In:ESAIM, Control Optim. Calc. Var.19.1 (2013), pp. 167–189

    work page 2013

  7. [7]

    On the first and second variations of a nonlocal isoperimetric problem

    R. Choksi and P. Sternberg. “On the first and second variations of a nonlocal isoperimetric problem”. In:J. Reine Angew. Math.611 (2007), pp. 75–108

    work page 2007

  8. [8]

    On periodic critical points and local minimizers of the Ohta-Kawasaki functional

    R. Cristoferi. “On periodic critical points and local minimizers of the Ohta-Kawasaki functional”. In:Nonlinear Anal.168 (2018), pp. 81–109

    work page 2018

  9. [9]

    Exact Periodic Stripes for Minimizers of a Local/Nonlocal In- teraction Functional in General Dimension

    S. Daneri and E. Runa. “Exact Periodic Stripes for Minimizers of a Local/Nonlocal In- teraction Functional in General Dimension”. In:Arch. Ration. Mech. Anal.231.1 (2018), pp. 519–589

    work page 2018

  10. [10]

    On the shape of liquid drops and crystals in the small mass regime

    A. Figalli and F. Maggi. “On the shape of liquid drops and crystals in the small mass regime”. In:Arch. Ration. Mech. Anal.201.1 (2011), pp. 143–207

    work page 2011

  11. [11]

    A mass transportation approach to quantitative isoperimetric inequalities

    A. Figalli, F. Maggi, and A. Pratelli. “A mass transportation approach to quantitative isoperimetric inequalities”. In:Invent. Math.182 (2010), p. 103

    work page 2010

  12. [12]

    Strong stability for the Wulff inequality with a crystalline norm

    A. Figalli and Y. R.-Y. Zhang. “Strong stability for the Wulff inequality with a crystalline norm”. In:Commun. Pure Appl. Math.75.2 (2022), pp. 422–446

    work page 2022

  13. [13]

    A uniqueness proof for the Wulff theorem

    I. Fonseca and S. Müller. “A uniqueness proof for the Wulff theorem”. In:Proc. R. Soc. Edinb., Sect. A, Math.119.1-2 (1991), pp. 125–136

    work page 1991

  14. [14]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Vol. 224. Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 1977

    work page 1977

  15. [15]

    Periodic Striped Ground States in Ising Models with Com- peting Interactions

    A. Giuliani and R. Seiringer. “Periodic Striped Ground States in Ising Models with Com- peting Interactions”. In:Commun. Math. Phys.347.3 (2016), pp. 983–1007

    work page 2016

  16. [16]

    On the optimality of stripes in a variational model with non-local interactions

    M. Goldman and E. Runa. “On the optimality of stripes in a variational model with non-local interactions”. In:Calc. Var. Partial Differ. Equ.58 (2019)

    work page 2019

  17. [17]

    The Isoperimetric Problem on Surfaces

    H. Howards, M. Hutchings, and F. Morgan. “The Isoperimetric Problem on Surfaces”. In: Am. Math. Mon.106.5 (1999), pp. 430–439

    work page 1999

  18. [18]

    Maggi.Sets of finite perimeter and geometric variational problems

    F. Maggi.Sets of finite perimeter and geometric variational problems. An introduction to geometric measure theory. Vol. 135. Cambridge Studies in Advanced Mathematics. Cam- bridge University Press, 2012

    work page 2012

  19. [19]

    Cascade of minimizers for a nonlocal isoperimetric problem in thin domains

    M. Morini and P. Sternberg. “Cascade of minimizers for a nonlocal isoperimetric problem in thin domains”. In:SIAM J. Math. Anal.46.3 (2014), pp. 2033–2051

    work page 2014

  20. [20]

    Singular perturbations as a selection criterion for periodic minimizing se- quences

    A. Müller. “Singular perturbations as a selection criterion for periodic minimizing se- quences”. In:Calc. Var. Partial Differ. Equ.1.2 (1993), pp. 169–204. 30 REFERENCES

    work page 1993

  21. [21]

    Theory of domain patterns in systems with long-range interactions of Coulomb type

    C. B. Muratov. “Theory of domain patterns in systems with long-range interactions of Coulomb type”. In:Phys. Rev. E66.6 (2002), pp. 066108, 25

    work page 2002

  22. [22]

    A Strong Form of the Quantitative Wulff Inequality

    R. Neumayer. “A Strong Form of the Quantitative Wulff Inequality”. In:SIAM J. Math. Anal.48.3 (2016), pp. 1727–1772

    work page 2016

  23. [23]

    Equilibrium morphology of block copolymer melts

    T. Ohta and K. Kawasaki. “Equilibrium morphology of block copolymer melts”. In:Macro- molecules19.10 (1986), pp. 2621–2632

    work page 1986

  24. [24]

    On energy minimizers of the diblock copolymer problem

    X. Ren and J. Wei. “On energy minimizers of the diblock copolymer problem”. In:Inter- faces Free Bound.5.2 (2003), pp. 193–238

    work page 2003

  25. [25]

    Wriggledlamellarsolutionsandtheirstabilityinthediblockcopolymer problem

    X.RenandJ.Wei.“Wriggledlamellarsolutionsandtheirstabilityinthediblockcopolymer problem”. In:SIAM J. Math. Anal.37.2 (2005), pp. 455–489

    work page 2005

  26. [26]

    Schneider.Convex Bodies: The Brunn–Minkowski Theory

    R. Schneider.Convex Bodies: The Brunn–Minkowski Theory. Vol. 44. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993

    work page 1993

  27. [27]

    On the global minimizers of a nonlocal isoperimetric prob- lem in two dimensions

    P. Sternberg and I. Topaloglu. “On the global minimizers of a nonlocal isoperimetric prob- lem in two dimensions”. In:Interfaces Free Bound.13.1 (2011), pp. 155–169

    work page 2011