Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Every first Laplacian eigenstate on a flat 2-torus is orbitally stable up to translation for the incompressible Euler equation.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

First Laplacian eigenstates on flat 2-tori of any shape are orbitally stable for 2D Euler dynamics up to translations, including new stable sinusoidal flows on hexagonal tori.

T0 review reviewed 2026-08-05 challenge →

load-bearing objection The hexagonal torus case is the real news; the argument is clean but one imported Burton criterion is under-specified. the 2 major comments →

arxiv 2509.00750 v2 pith:LF3HHIUV submitted 2025-08-31 math.AP

Orbital Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus

Guodong Wang This is my paper
classification math.AP MSC 35B3535Q3135P1576B47
keywords 2D Euler equationorbital stabilityLaplacian eigenstatesflat torushexagonal torusrearrangement classenergy-enstrophy inequalitytranslational orbits
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

On any flat 2-torus, the lowest-frequency sinusoidal vorticity fields—the first Laplacian eigenstates—are stable up to translation under the 2D Euler dynamics. The paper proves that if a vorticity distribution starts close to such a steady state in any L^p norm, it stays close, for all time, to some translation of that state. This extends earlier results on rectangular and square tori to every lattice shape, including the hexagonal torus, where the first eigenspace is six-dimensional and the streamlines have a richer vortex structure. The proof works by identifying the equimeasurable part of the first eigenspace with the kinetic-energy maximizers over the rearrangement class, then showing this class consists of finitely many translation orbits. A stability criterion then turns that finiteness into orbital stability of a single orbit.

Core claim

The paper's central claim is Theorem 1.6: for any first Laplacian eigenstate ω̄ on an arbitrary flat 2-torus and any 1<p<∞, for every ε>0 there is δ>0 such that every L^p-admissible map—any time evolution preserving kinetic energy and the vorticity distribution—starting within δ of ω̄ in L^p remains within ε of some translation of ω̄ at every later time. The proof proceeds in three steps. First, the energy–enstrophy inequality identifies the class C_ω̄ = R_ω̄ ∩ E_1, the first-eigenstate fields with the same vorticity distribution as ω̄, with the set of maximizers of kinetic energy over that distribution class. Second, a case analysis shows C_ω̄ is a finite union of translation orbits: one or

What carries the argument

The load-bearing mechanism is the equality M_ω̄ = C_ω̄: the maximizers of the kinetic energy functional E(f) = (1/2)∫ f G f dx over the rearrangement class R_ω̄ are exactly the first-eigenstate fields equimeasurable with ω̄. This is derived from the energy–enstrophy inequality, whose equality case is exactly E_1, and it converts the two conserved Euler invariants into a complete characterization of C_ω̄. The second mechanism is the finiteness of translation orbits inside C_ω̄, proved case by case: in dimension two the class is a single orbit; in dimension four equality of L^∞ and L^2 norms leaves at most two amplitude pairs; in dimension six the moment equations (3.8)–(3.9) reduce, via Lemma

Load-bearing premise

The load-bearing premise is that the stability criterion stated as Proposition 2.7 holds for arbitrary L^p-admissible maps under exactly the hypotheses listed; the paper does not prove it and refers to a similar argument in [18, Section 5], so if the criterion needs extra assumptions the final step from stability of the maximizer set to stability of a translation orbit fails; a secondary asserted input is the computer-algebra evaluation of the moment integrals behind (3.9), w

What would settle it

On the hexagonal torus with the eigenstate (1.13), a spectral Euler simulation starting from that state plus a small, localized perturbation should keep the L^2 distance to every translation of the eigenstate bounded by a small constant for all computed times; if a simulation that conserves energy and preserves the level-set distribution shows the flow drifting to another first-eigenstate orbit, Theorem 1.6 is false. Algebraically, one can evaluate the moment system (3.8)–(3.9) symbolically for a concrete choice of amplitudes and check whether the asserted bound of at most twelve translation o

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Every first Laplacian eigenstate on a flat 2-torus—rectangular, square, hexagonal, or any other lattice shape—is stable modulo translations for 2D Euler in every L^p norm with p>1.
  • The hexagonal torus now has a family of orbitally stable sinusoidal steady states, the first such known examples in that setting.
  • The stability conclusion holds for every L^p-admissible map, not only for genuine Euler solutions, so the argument is insensitive to the finer details of how the flow map is constructed.
  • The hexagonal examples include stable states with saddle points, making them suitable base flows for constructing solutions with superlinear vorticity-gradient growth; Corollary 1.9 supplies such states.
  • The auxiliary rigidity result shows that on any flat 2-torus, a steady solution of the semilinear problem with φ′≤λ_1 must itself be a first eigenstate.

Where Pith is reading between the lines

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

  • The six-dimensional count of at most twelve translation orbits is probably crude; an explicit symbolic evaluation of the moment integrals could sharpen the bound or expose hidden identifications among the six polynomial roots.
  • The same three-step scheme—variational characterization, finite-orbit analysis, then a stability criterion—is stated to work for other symmetric domains, so the result is a template rather than a one-off argument; a general theorem awaits a unified formulation.
  • The dynamics inside C_ω̄ is left unspecified, so a natural next test is whether actual Euler flow on a hexagonal torus can visit distinct translation orbits; the present theorem only says each orbit is isolated and stable, not which orbit the flow chooses.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves that every first nonzero Laplacian eigenstate on an arbitrary flat 2-torus is orbitally stable under the 2D Euler dynamics modulo translations. The proof follows the Burton stability framework: it first characterizes the set C_ωbar = R_ωbar ∩ E1 as the set of maximizers of kinetic energy within the rearrangement class (Prop. 3.1), then proves that C_ωbar contains only finitely many translational orbits (Props. 3.2–3.4), so the orbit O_ωbar is isolated in C_ωbar. A Burton-type stability criterion (Prop. 2.7) is invoked to pass from the stability of the maximizer set to the stability of the isolated orbit. The main novelty is the hexagonal case, where the finiteness argument reduces to a polynomial system in the squared amplitudes.

Significance. If the main theorem is correct, it is a meaningful advance: it extends the known orbital-stability results for rectangular and square tori to arbitrary flat tori, and it provides the first family of orbitally stable sinusoidal Euler flows on a hexagonal torus. The proof is largely self-contained, uses no fitted parameters, and the finite-orbit counting for the six-dimensional eigenspace is an interesting piece of algebraic analysis. The main risks are the unproved external stability criterion (Prop. 2.7) and the unchecked Maple computation in Eq. (3.9); neither is currently presented in verifiable form, but both appear fixable within the manuscript's scope.

major comments (2)
  1. [Section 2.3, Proposition 2.7] This Burton-type stability criterion is the unique external input that converts the variational characterization and finite-orbit isolation into orbital stability. Its proof is omitted ("follows from a similar argument as in [18, Section 5]") and the hypotheses are only implicit. Since Theorem 1.6 inherits all of its stability conclusion from this proposition, the author should either prove it in the paper or state the exact theorem from [18] with its full hypotheses and verify that they hold for a boundaryless flat torus and for all 1<p<∞.
  2. [Section 3.2.3, Eq. (3.9)] The four moment equations are asserted to have been computed with Maple, but neither the computation nor the code/output is shown. These equations are load-bearing: they bound the number of triples (A1,A2,A3) to at most six via system (3.10) and hence bound the number of translational orbits in the 6D case. Without a verifiable derivation, Proposition 3.4 is not checkable. Please include an explicit integration or an appendix with the computer-algebra transcript.
minor comments (5)
  1. [Section 2.1, proof of Lemma 2.1] In the sentence after the eigenvalue formula, "4π|k|^2" should be "4π^2|k|^2".
  2. [Equations (2.1)–(2.2)] There are unmatched parentheses after "(0,0)" in both displays; they should read "\{(0,0)\}".
  3. [Section 2.1, after Lemma 2.1] Typo: "and and" appears in the sentence introducing the orthonormal basis.
  4. [Remark 1.8, Eq. (1.16)] The displayed equivalence is not a valid reformulation of Theorem 1.6. The reverse implication is generally false: a trajectory starting far from O_ωbar could later be within ε of it. This should be a single implication (or the wording should be corrected to avoid claiming equivalence).
  5. [Definition 1.5 and Section 1.1] The zero-mean condition on the vorticity is inherited from the mean-zero velocity assumption via Lemma A.3; it would help to state this explicitly when defining Lp-admissible maps so that the rearrangements are understood to be in the mean-zero subspace.

Circularity Check

0 steps flagged

No significant circularity: central derivation is self-contained; only reliance is a general Burton-type criterion cited to the author's prior work, which is load-bearing but not circular.

full rationale

The proof of Theorem 1.6 is not circular. Proposition 3.1 derives the variational characterization of C_bar_omega from the energy–enstrophy inequality (Lemma 2.5), which is proven in-text from the Poincaré inequality; no part of the target theorem is used as an input. The finiteness of translational orbits (Propositions 3.2–3.4) is established by elementary Fourier analysis and a polynomial-system lemma (Lemma C.1) proved in the appendix. The only load-bearing external premise is Proposition 2.7, a Burton-type stability criterion, whose proof is omitted with the note "It follows from a similar argument as in [18, Section 5]" ([18] is a paper by the same author). This is a genuine self-citation and a self-containedness gap, but it is not circular: [18] concerns stability in a disk, not the hexagonal-torus eigenstate structure, and the criterion is a general tool that does not presuppose the theorem being proved. The asserted Maple computation behind the moment integrals (3.9) is also a reproducibility gap, but it is not a reduction of the conclusion to an input. Overall no fitted parameters, no prediction that is an input by construction, and no uniqueness/ansatz imported from self-citation; the central claim has independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

No free parameters are fitted; the proof is purely analytic. The main external loads are the spectral completeness of exponentials, the global well-posedness and conservation facts for 2D Euler, and the imported Burton-type stability criterion. No new physical entities are introduced.

axioms (4)
  • standard math The exponentials e^{2πik·x} for k in Λ* form a complete basis of mean-zero L2(T).
    Used in Lemma 2.1 to identify all Laplacian eigenfunctions on an arbitrary flat torus; standard Fourier completeness.
  • domain assumption 2D Euler is globally well posed for smooth mean-zero vorticity and the kinetic energy and rearrangement class are conserved.
    Invoked to motivate Lp-admissible maps and to guarantee that actual smooth Euler flows qualify; standard results [3,8,9,22].
  • domain assumption Proposition 2.7: the set of kinetic-energy maximizers over a rearrangement class is nonempty, compact, and stable under Lp-admissible maps.
    Imported from the author's prior paper [18] without proof; it is the bridge from the variational characterization to Lyapunov stability.
  • standard math Poincare and energy-enstrophy inequalities hold with equality exactly on the first eigenspace E1.
    Proved in Section 2.2 via eigenfunction expansion; the equality case is the core of the variational characterization.

reviewed 2026-08-05 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Orbital Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus." pith.science (2026). https://pith.science/paper/LF3HHIUV

@misc{pith2026250900750,
  author       = {Pith},
  title        = {Pith review of: Orbital Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LF3HHIUV}},
  note         = {Machine review of arXiv:2509.00750}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

On a two-dimensional flat torus, Laplacian eigenfunctions admit explicit trigonometric representations. It is known that every first eigenstate on a rectangular or square torus is stable under the incompressible Euler dynamics modulo translations. We extend this result to flat tori of arbitrary shape and thereby obtain, to the best of our knowledge, the first family of orbitally stable sinusoidal Euler flows on a hexagonal torus. The proof uses a Burton-type stability criterion and has two main ingredients: (i) a variational characterization of each equimeasurable class in the first eigenspace and (ii) the finiteness of the number of translational orbits contained in each such class. The second ingredient is particularly delicate in the hexagonal case, where it reduces to the analysis of a polynomial system reflecting both the symmetry of the torus and the structure of its first eigenspace.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantitative Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus

    math.AP 2026-06 unverdicted novelty 6.0

    Quantitative orbital stability estimates for first Laplacian eigenstates of 2D incompressible Euler on hexagonal torus via reduction of amplitude estimates to cubic polynomial root-stability under perturbations.

Reference graph

Works this paper leans on

22 extracted references · 20 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Arnold V.I.: Conditions for nonlinear stability plane curvilinear flow of an idea fluid. Sov. Math. Dokl. 6, 773–777, 1965

    work page 1965

  2. [2]

    Arnold V.I.: On an a priori estimate in the theory of hydrodynamical stability. Amer. Math. Soc. Transl. 79, 267–269, 1969

    work page 1969

  3. [3]

    Beale J., Kato T., Majda A.: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Comm. Math. Phys. 94, 61–66, 1984

    work page 1984

  4. [4]

    American Mathematical Society, Provi- dence, RI, 2022

    Bedrossian J., Vicol V.: The Mathematical Analysis of the Incompressible Euler and Navier-Stokes Equations—An Introduction. American Mathematical Society, Provi- dence, RI, 2022

    work page 2022

  5. [5]

    Burton G.R.: Global nonlinear stability for steady ideal fluid flow in bounded planar domains. Arch. Ration. Mech. Anal. 176, 149–163, 2005

    work page 2005

  6. [6]

    arXiv:2305.03279

    Cao D., Wang G., Zuo B.: Stability of degree-2 Rossby-Haurwitz waves. arXiv:2305.03279

    Pith/arXiv arXiv

  7. [7]

    Constantin P., Drivas T., Ginsberg D.: Flexibility and rigidity in steady fluid motion. Comm. Math. Phys. 385, 521–563, 2021

    work page 2021

  8. [8]

    M.: Existence de nappes de tourbillon en dimension deux, J

    Delort J. M.: Existence de nappes de tourbillon en dimension deux, J. Amer. Math. Soc.. 4, 553–586, 1991

    work page 1991

  9. [9]

    DiPerna R., Majda A.: Concentrations in regularizations for 2D incompressible flow. Comm. Pure Appl. Math. 40, 301–345, 1987

    work page 1987

  10. [10]

    Elgindi T.: Remark on the stability of energy maximizers for the 2d Euler equation on T2. Commun. Pure Appl. Anal. 23, 1562–1568, 2024

    work page 2024

  11. [11]

    Elgindi T., Huang Y,: Regular and singular steady states of the 2D incompressible Eu- ler equations near the Bahouri-Chemin patch. Arch. Ration. Mech. Anal. 249, Paper No. 2, 2025

    work page 2025

  12. [12]

    arXiv:2507.15739

    Jeong I.J., Yao Y., Zhou T.: Superlinear gradient growth for 2D Euler equation with- out boundary. arXiv:2507.15739

    Pith/arXiv arXiv

  13. [13]

    Lin C., Wang C.: Elliptic functions, Green functions and the mean field equations on tori. Ann. of Math. 172, 911–954, 2010

    work page 2010

  14. [14]

    Cambridge University Press, Cambridge, 2002

    Majda A., Bertozzi A.: Vorticity and Incompressible Flow . Cambridge University Press, Cambridge, 2002

    work page 2002

  15. [15]

    Springer, New York, 1994 ORBITAL STABILITY OF FIRST LAPLACIAN EIGENSTATES FOR THE EULER EQUATION 21

    Marchioro C., Pulvirenti M.: Mathematical Theory of Incompressible Nonviscous Flu- ids. Springer, New York, 1994 ORBITAL STABILITY OF FIRST LAPLACIAN EIGENSTATES FOR THE EULER EQUATION 21

    work page 1994

  16. [16]

    Titchmarsh E.: Eigenfunction expansions associated with second-order differential equations, Vol. 2. Oxford University Press, 1958

    work page 1958

  17. [17]

    Wang G.: Stability of two-dimensional steady Euler flows with concentrated vorticity. Math. Ann. 389, 121–168, 2024

    work page 2024

  18. [18]

    Wang G.: Stability of a class of exact solutions of the incompressible Euler equation in a disk. J. Funct. Anal. 289, Paper No. 110998, 2025

    work page 2025

  19. [19]

    Wang G., Zuo B.: Stability of sinusoidal Euler flows on a flat two-torus. Calc. Var. Partial Differential Equations 62, Paper No. 207, 2023

    work page 2023

  20. [20]

    Nonlinear stability of plane ideal flows in a periodic channel

    Wang G.: Nonlinear stability of plane ideal flows in a periodic channel. arXiv:2503.23857

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    Wirosoetisno D., Shepherd T.G.: Nonlinear stability of Euler flows in two-dimensional periodic domains. Geophys. Astrophys. Fluid Dynam. 90, 229–246, 1999

    work page 1999

  22. [22]

    I.: Non-stationary flow of an ideal incompressible fluid, USSR Comp

    Yudovich V. I.: Non-stationary flow of an ideal incompressible fluid, USSR Comp. Math. & Math. Phys 3, 1407–1456, 1963 School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, PR China Email address: gdw@dlut.edu.cn

    work page 1963

This paper was first reviewed by deepseek-v4-flash on August 5, 2026.