Symmetry of constrained minimizers of the Cahn-Hilliard energy on the torus

Alfred Wagner; Maria G. Westdickenberg; Michael Gelantalis

arxiv: 1907.08112 · v1 · pith:PAWQMS6Cnew · submitted 2019-07-18 · 🧮 math.AP

Symmetry of constrained minimizers of the Cahn-Hilliard energy on the torus

Michael Gelantalis , Alfred Wagner , Maria G. Westdickenberg This is my paper

Pith reviewed 2026-05-24 19:40 UTC · model grok-4.3

classification 🧮 math.AP

keywords Cahn-Hilliard energySteiner symmetrizationtorusvolume constraintminimizerstwo-point rearrangementsBonnesen inequalitysymmetry

0 comments

The pith

Volume-constrained minimizers of the Cahn-Hilliard energy on the torus equal their Steiner symmetrization under sufficient conditions.

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

The paper derives sufficient conditions under which any function on the torus must coincide with its Steiner symmetrization. These conditions are applied directly to the volume-constrained minimizers of the Cahn-Hilliard energy, yielding symmetry of those minimizers. Two-point rearrangements supply an independent method for establishing the same symmetry. In two dimensions the Bonnesen inequality then produces quantitative control on the sphericity of the superlevel sets of the minimizers.

Core claim

We establish sufficient conditions for a function on the torus to be equal to its Steiner symmetrization and apply the result to volume-constrained minimizers of the Cahn-Hilliard energy. We also show how two-point rearrangements can be used to establish symmetry for the Cahn-Hilliard model. In two dimensions, the Bonnesen inequality can then be applied to quantitatively estimate the sphericity of superlevel sets.

What carries the argument

Sufficient conditions forcing equality between a function on the torus and its Steiner symmetrization.

If this is right

The minimizers are symmetric with respect to Steiner symmetrization.
Two-point rearrangements alone suffice to prove the symmetry.
In two dimensions the superlevel sets obey a quantitative sphericity bound from the Bonnesen inequality.

Where Pith is reading between the lines

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

The same sufficient conditions may apply to other nonlocal energies whose Euler-Lagrange equations admit similar comparison principles.
The symmetry result could be used to reduce the effective dimension when computing numerical approximations of the minimizers.
Stability of the symmetric states with respect to small perturbations of the energy might follow from the same rearrangement arguments.

Load-bearing premise

The volume-constrained minimizers of the Cahn-Hilliard energy satisfy the sufficient conditions for equality to their Steiner symmetrization.

What would settle it

An explicit volume-constrained minimizer of the Cahn-Hilliard energy on the torus whose superlevel sets differ from those of its Steiner symmetrization would falsify the symmetry claim.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

They give sufficient conditions for a function on the torus to equal its Steiner symmetrization and verify them for volume-constrained Cahn-Hilliard minimizers.

read the letter

The main contribution is a set of sufficient conditions under which a function on the torus coincides with its Steiner symmetrization, together with a verification that volume-constrained minimizers of the Cahn-Hilliard energy meet those conditions. They also show that two-point rearrangements can be used to get symmetry for this model, and in two dimensions they invoke the Bonnesen inequality to obtain quantitative sphericity estimates on superlevel sets. Relative to the cited rearrangement literature, both the sufficient conditions and the torus application look new. The logic is internally consistent: the rearrangements do not raise the energy while preserving volume, so equality must hold at a minimizer once the conditions are checked. No circularity appears in the chain. A minor soft spot is that the abstract leaves unclear how restrictive the sufficient conditions are in practice or whether extra regularity assumptions are needed to justify the rearrangements on the torus; the full proofs would need to be checked for that. The citation pattern looks standard and appropriate. This paper is aimed at people working on symmetry questions in variational problems with periodic boundary conditions, especially those interested in phase-transition models. A reader already comfortable with rearrangement methods would get concrete value from the new conditions and the specific application. It deserves peer review because the claims are specific, the methods are standard but extended in a targeted way, and the argument can be verified by a referee familiar with the techniques.

Referee Report

0 major / 1 minor

Summary. The manuscript establishes sufficient conditions for a function on the torus to coincide with its Steiner symmetrization. These conditions are applied to volume-constrained minimizers of the Cahn-Hilliard energy, showing that such minimizers must equal their symmetrizations. The work further demonstrates the use of two-point rearrangements to establish symmetry results for the Cahn-Hilliard model and, in two dimensions, invokes the Bonnesen inequality to obtain quantitative sphericity estimates for superlevel sets.

Significance. If the sufficient conditions are correctly formulated and verified to hold for the Cahn-Hilliard minimizers, the paper supplies a rearrangement-based route to symmetry on the torus that avoids moving-plane arguments. The conditions themselves may be of independent interest in rearrangement theory, and the quantitative 2D estimate adds a concrete geometric consequence. The internal logic—rearrangement does not increase the energy while preserving volume, hence equality at minimizers once the conditions are checked—appears consistent.

minor comments (1)

The abstract states that the minimizers 'satisfy the sufficient conditions,' but a short explicit verification step (e.g., checking monotonicity or level-set properties after one rearrangement) would help readers confirm that the weakest assumption is indeed met without circularity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript. No major comments were raised.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation establishes sufficient conditions for equality to Steiner symmetrization via standard rearrangement methods (monotonicity and level-set properties) and verifies that volume-constrained Cahn-Hilliard minimizers satisfy them because any strict inequality would contradict energy minimality while preserving volume. This chain relies on external rearrangement inequalities and the Bonnesen inequality rather than self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The argument is self-contained and does not reduce any central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results from analysis and the calculus of variations; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)

standard math Known properties of Steiner symmetrization preserve or decrease the Cahn-Hilliard energy
Invoked as the basis for applying symmetrization to minimizers.
domain assumption The Cahn-Hilliard energy is well-defined and lower semicontinuous on the torus under volume constraint
Background assumption for the existence of minimizers.

pith-pipeline@v0.9.0 · 5594 in / 1188 out tokens · 21867 ms · 2026-05-24T19:40:52.581689+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2: If ∫|∇u|² = ∫|∇us|² and Hyp 1.1 (m(x')<M(x'), measure-zero {∂yu=0} inside range), then u=us(·,y−β).
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Iterated Steiner symmetrization u⋆; superlevel sets simply connected and starshaped (Rem 2.5).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Luigi Ambrosio, Nicola Fusco, and Diego Pallara, Functions of bounded variation and free discontinuity problems, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 2000

work page 2000
[2]

Math., XXXV, Cambridge Univ

Albert Baernstein II, A uniﬁed approach to symmetrization, Partial diﬀerential equations of elliptic type (Cortona, 1992), Sympos. Math., XXXV, Cambridge Univ. Press, Cambridge, 1994, pp. 47–91. MR1297773

work page 1992
[3]

Berestycki and P.-L

H. Berestycki and P.-L. Lions, Nonlinear scalar ﬁeld equations. I. Existence of a ground state, Arch. Rational Mech. Anal. 82 (1983), no. 4, 313–345

work page 1983
[4]

Friedemann Brock, Rearrangements and applications to symmetry problems in PDE IV (2007), 1–60

work page 2007
[5]

, Symmetry and monotonicity of solutions to some variational problems in cylinders and annuli, Electron. J. Diﬀerential Equations (2003), No. 108, 20

work page 2003
[6]

Friedemann Brock and Alexander Yu Solynin., An approach to symmetrization via polarization, Trans. Amer. Math. Soc. 352 (2000), no. 4, 1759–1796

work page 2000
[7]

Brother and W

J. Brother and W. Ziemer, Minimal rearrangements of Sobolev functions, J. Reine Angew. Math. 384 (1988), 153– 179

work page 1988
[8]

Andrea Cianchi and Nicola Fusco, Steiner symmetric extremals in P´ olya-Szeg¨ o type inequalities, Adv. Math. 203 (2006), no. 2, 673–728

work page 2006
[9]

, Functions of bounded variation and rearrangements, Arch. Ration. Mech. Anal. 165 (2002), no. 1, 1–40

work page 2002
[10]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy, Measure theory and ﬁne properties of functions, Revised edition, Text- books in Mathematics, CRC Press, Boca Raton, FL, 2015

work page 2015
[11]

Westdickenberg,Existence and properties of certain critical points of the Cahn-Hilliard energy, Indiana Univ

Michael Gelantalis, Alfred Wagner, and Maria G. Westdickenberg,Existence and properties of certain critical points of the Cahn-Hilliard energy, Indiana Univ. Math. J. 66 (2017), no. 5, 1827–1877

work page 2017
[12]

1, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1997

Qing Han and Fanghua Lin, Elliptic partial di ﬀerential equations, Courant Lecture Notes in Mathematics, vol. 1, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1997

work page 1997
[13]

1150, Springer-Verlag, Berlin, 1985

Bernhard Kawohl, Rearrangements and convexity of level sets in PDE , Lecture Notes in Mathematics, vol. 1150, Springer-Verlag, Berlin, 1985

work page 1985
[14]

Partial Diﬀerential Equations 18 (1993), no

Yi Li and Wei-Ming Ni, Radial symmetry of positive solutions of nonlinear elliptic equations in Rn, Comm. Partial Diﬀerential Equations 18 (1993), no. 5-6, 1043–1054

work page 1993
[15]

Scuola Norm

Giorgio Talenti, Elliptic equations and rearrangements., Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, 697–718

work page 1976
[16]

Wol ﬀ, Recent work on sharp estimates in second-order elliptic unique continuation problems, J

Thomas H. Wol ﬀ, Recent work on sharp estimates in second-order elliptic unique continuation problems, J. Geom. Anal. 3 (1993), no. 6, 621–650. 24 MICHAEL GELANTALIS, ALFRED W AGNER, AND MARIA G. WESTDICKENBERG Michael Gelantalis, University of Tennessee E-mail address: mgelanta@tennessee.edu Alfred Wagner, RWTH Aachen University E-mail address: wagner@in...

work page 1993

[1] [1]

Luigi Ambrosio, Nicola Fusco, and Diego Pallara, Functions of bounded variation and free discontinuity problems, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 2000

work page 2000

[2] [2]

Math., XXXV, Cambridge Univ

Albert Baernstein II, A uniﬁed approach to symmetrization, Partial diﬀerential equations of elliptic type (Cortona, 1992), Sympos. Math., XXXV, Cambridge Univ. Press, Cambridge, 1994, pp. 47–91. MR1297773

work page 1992

[3] [3]

Berestycki and P.-L

H. Berestycki and P.-L. Lions, Nonlinear scalar ﬁeld equations. I. Existence of a ground state, Arch. Rational Mech. Anal. 82 (1983), no. 4, 313–345

work page 1983

[4] [4]

Friedemann Brock, Rearrangements and applications to symmetry problems in PDE IV (2007), 1–60

work page 2007

[5] [5]

, Symmetry and monotonicity of solutions to some variational problems in cylinders and annuli, Electron. J. Diﬀerential Equations (2003), No. 108, 20

work page 2003

[6] [6]

Friedemann Brock and Alexander Yu Solynin., An approach to symmetrization via polarization, Trans. Amer. Math. Soc. 352 (2000), no. 4, 1759–1796

work page 2000

[7] [7]

Brother and W

J. Brother and W. Ziemer, Minimal rearrangements of Sobolev functions, J. Reine Angew. Math. 384 (1988), 153– 179

work page 1988

[8] [8]

Andrea Cianchi and Nicola Fusco, Steiner symmetric extremals in P´ olya-Szeg¨ o type inequalities, Adv. Math. 203 (2006), no. 2, 673–728

work page 2006

[9] [9]

, Functions of bounded variation and rearrangements, Arch. Ration. Mech. Anal. 165 (2002), no. 1, 1–40

work page 2002

[10] [10]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy, Measure theory and ﬁne properties of functions, Revised edition, Text- books in Mathematics, CRC Press, Boca Raton, FL, 2015

work page 2015

[11] [11]

Westdickenberg,Existence and properties of certain critical points of the Cahn-Hilliard energy, Indiana Univ

Michael Gelantalis, Alfred Wagner, and Maria G. Westdickenberg,Existence and properties of certain critical points of the Cahn-Hilliard energy, Indiana Univ. Math. J. 66 (2017), no. 5, 1827–1877

work page 2017

[12] [12]

1, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1997

Qing Han and Fanghua Lin, Elliptic partial di ﬀerential equations, Courant Lecture Notes in Mathematics, vol. 1, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1997

work page 1997

[13] [13]

1150, Springer-Verlag, Berlin, 1985

Bernhard Kawohl, Rearrangements and convexity of level sets in PDE , Lecture Notes in Mathematics, vol. 1150, Springer-Verlag, Berlin, 1985

work page 1985

[14] [14]

Partial Diﬀerential Equations 18 (1993), no

Yi Li and Wei-Ming Ni, Radial symmetry of positive solutions of nonlinear elliptic equations in Rn, Comm. Partial Diﬀerential Equations 18 (1993), no. 5-6, 1043–1054

work page 1993

[15] [15]

Scuola Norm

Giorgio Talenti, Elliptic equations and rearrangements., Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, 697–718

work page 1976

[16] [16]

Wol ﬀ, Recent work on sharp estimates in second-order elliptic unique continuation problems, J

Thomas H. Wol ﬀ, Recent work on sharp estimates in second-order elliptic unique continuation problems, J. Geom. Anal. 3 (1993), no. 6, 621–650. 24 MICHAEL GELANTALIS, ALFRED W AGNER, AND MARIA G. WESTDICKENBERG Michael Gelantalis, University of Tennessee E-mail address: mgelanta@tennessee.edu Alfred Wagner, RWTH Aachen University E-mail address: wagner@in...

work page 1993