pith. machine review for the scientific record. sign in

arxiv: 2604.12962 · v2 · submitted 2026-04-14 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

On the flexibility of 2D Euler steady states

Tarek M. Elgindi , Yupei Huang
Authors on Pith no claims yet

Pith reviewed 2026-05-12 01:58 UTC · model grok-4.3

classification 🧮 math.AP
keywords 2D Euler equationsteady statesvorticitystream functionflexibilityperturbationsanalytic vs smoothMorse condition
0
0 comments X

The pith

Smooth steady states of the 2D incompressible Euler equation can be perturbed so vorticity is no longer a single-valued function of the stream function.

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

The paper studies steady solutions of the 2D Euler equations on bounded domains and the torus. Earlier results established that non-radial analytic steady states must satisfy a global functional relation between the vorticity and the stream function. The authors show this rigidity fails for smooth solutions: a broad class of steady states possessing multiple critical points admits small smooth perturbations that continue to solve the Euler equation yet break the single-valued dependence. The same flexibility holds near the cellular flow on the flat torus, a degenerate case. As a direct consequence the constructions produce branches of smooth steady states that remain isolated from all analytic ones, and some of these branches consist entirely of linearly stable flows.

Core claim

We show that a broad class of steady states with multiple critical points can be perturbed to smooth steady states for which the vorticity is not a single-valued function of the stream function. We also establish an analogous flexibility result near the cellular flow on the flat torus. As a consequence of our constructions, there are branches of smooth steady states that are isolated from analytic ones. In some cases, the resulting isolated branches can even consist entirely of linearly stable steady states.

What carries the argument

Perturbation constructions that preserve the Euler steady-state condition while breaking the single-valued functional dependence between vorticity and stream function.

If this is right

  • Branches of smooth steady states exist that are isolated from the analytic ones.
  • Some of these isolated branches consist entirely of linearly stable steady states.
  • The same flexibility holds for the cellular flow on the flat torus.
  • The Morse condition and Arnold stability criterion do not restore the functional relation in the smooth category.

Where Pith is reading between the lines

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

  • The space of smooth Euler steady states is substantially larger and topologically more complicated than its analytic subset.
  • Numerical or physical flows may realize steady states whose vorticity-stream relation is multi-valued even when the underlying domain geometry looks simple.
  • Analyticity acts as a hidden rigidity mechanism; removing it opens new branches that remain linearly stable.

Load-bearing premise

Small perturbations exist that keep the flow smooth and satisfy the Euler equation exactly while destroying the single-valued relation between vorticity and stream function.

What would settle it

A concrete example of a steady state with multiple critical points on a simply connected domain for which every C^infty perturbation that solves the Euler equation still forces vorticity to be a single-valued function of the stream function.

Figures

Figures reproduced from arXiv: 2604.12962 by Tarek M. Elgindi, Yupei Huang.

Figure 1
Figure 1. Figure 1: A plot of a Neumann oval Remark 1.6. We note that the theorem likely implies the existence of smooth and Morse counterexamples to the equivalence of (1) and (3) on any simply connected domain. We verify this on the flat torus in Section 3. It can be similarly verified on the disk. We note, however, that on general convex domains there is no steady state satisfying (4) with multiple critical points([26]); t… view at source ↗
Figure 2
Figure 2. Figure 2: An illustrative figure for the construction [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Division of the domain following bounds (with constants depending on δ): on Ω1, ψ0(x, y) ∼ xy, ∂xψ0(x, y) ≳ y, (31) 22 [PITH_FULL_IMAGE:figures/full_fig_p022_3.png] view at source ↗
read the original abstract

We consider steady states of the incompressible Euler equation on two-dimensional domains. For non-radial analytic steady states on bounded simply connected domains, it was shown previously that there must be a global functional relationship between the stream function and the vorticity. We show that this does not extend to smooth functions, even under further structural assumptions such as the Morse condition or Arnold's stability criterion. More precisely, we show that a broad class of steady states with multiple critical points can be perturbed to smooth steady states for which the vorticity is not a single-valued function of the stream function. We also establish an analogous flexibility result near the cellular flow on the flat torus, which is a degenerate case. As a consequence of our constructions, there are "branches" of smooth steady states that are isolated from analytic ones. In some cases, the resulting isolated branches can even consist entirely of linearly stable steady states.

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 paper claims that, unlike non-radial analytic steady states of the 2D incompressible Euler equations on bounded simply connected domains (which must satisfy a global functional relation ω = f(ψ)), smooth steady states need not obey this relation even when the base state has multiple critical points and satisfies the Morse condition or Arnold's stability criterion. A broad class of such base states can be perturbed to smooth steady states where vorticity is multi-valued on level sets of the stream function; an analogous flexibility result holds near the cellular flow on the flat torus. The constructions yield branches of smooth steady states isolated from analytic ones, some of which consist entirely of linearly stable equilibria.

Significance. If the perturbation constructions and estimates hold, the result is significant for distinguishing the smooth and analytic categories in 2D Euler steady states. It supplies explicit examples of smooth steady states that violate the functional relation while remaining steady and smooth, produces isolated branches (including stable ones), and clarifies that analyticity forces the relation via continuation while smoothness permits different constant vorticity values on distinct components of a level set. The explicit constructions and isolation from analytic branches are concrete strengths.

major comments (2)
  1. [§3] §3 (perturbation construction): the central claim that small perturbations can be chosen to preserve the steady-state condition u · ∇ω = 0 while breaking single-valuedness of ω on {ψ = c} requires explicit verification that the resulting velocity remains divergence-free and the vorticity remains smooth; the manuscript should supply the precise function space estimates or fixed-point argument used to control the perturbation size.
  2. [§4] §4 (torus cellular flow): the degeneracy of the cellular flow requires a separate argument to handle the degenerate critical points; the manuscript should clarify whether the same perturbation technique applies directly or whether an additional desingularization step is needed, and whether the resulting states remain linearly stable.
minor comments (2)
  1. [§2] Notation: the distinction between the base steady state (ω₀, ψ₀) and the perturbed state should be made uniform throughout; currently the subscript 0 is used inconsistently in the statements of the main theorems.
  2. [Figure 1] Figure 1: the level sets of the perturbed stream function should be labeled to indicate the distinct connected components where ω takes different constant values.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (perturbation construction): the central claim that small perturbations can be chosen to preserve the steady-state condition u · ∇ω = 0 while breaking single-valuedness of ω on {ψ = c} requires explicit verification that the resulting velocity remains divergence-free and the vorticity remains smooth; the manuscript should supply the precise function space estimates or fixed-point argument used to control the perturbation size.

    Authors: We agree that the presentation in §3 would benefit from more explicit details on the function spaces and estimates. The construction begins with a base steady state (ψ₀, ω₀) satisfying the Morse condition. We select a smooth perturbation of ω that assigns distinct constant values to distinct connected components of the level sets {ψ₀ = c} for a finite collection of regular values c, while keeping ω unchanged near the critical points. The new stream function ψ is then recovered by solving the Poisson equation −Δψ = ω with the same boundary conditions as the base state. Because u = ∇^⊥ψ by definition, div u = 0 holds automatically. To ensure the perturbation remains small in C^∞ topology, we work in high-order Sobolev spaces H^k (k ≫ 1) on the domain and apply a contraction-mapping argument in a small ball around (ψ₀, ω₀); the Lipschitz constant of the map is controlled by the elliptic regularity of the Poisson operator and the fact that the level-set components remain separated for small perturbations. We will add a dedicated paragraph (or short subsection) in the revised §3 spelling out these estimates and the fixed-point setup. revision: yes

  2. Referee: [§4] §4 (torus cellular flow): the degeneracy of the cellular flow requires a separate argument to handle the degenerate critical points; the manuscript should clarify whether the same perturbation technique applies directly or whether an additional desingularization step is needed, and whether the resulting states remain linearly stable.

    Authors: The cellular flow on the flat torus is indeed degenerate. Our argument in §4 first applies a small, explicit perturbation that splits each degenerate critical point into a pair of non-degenerate (Morse) critical points while preserving the steady-state relation and the cellular topology; this desingularization is performed in a neighborhood of the original critical points and is controlled in the same function spaces used on the bounded domain. Once the critical points are non-degenerate, the flexibility construction of §3 applies verbatim. Linear stability of the resulting states follows from a direct verification of Arnold’s criterion (or its toroidal analogue) on the perturbed vorticity, which remains a small perturbation of the original cellular vorticity; the second variation of the energy-Casimir functional stays positive definite. We will insert a short clarifying paragraph at the beginning of §4 that explicitly sequences the desingularization step, confirms that the §3 technique then applies directly, and records the stability check. revision: yes

Circularity Check

0 steps flagged

No significant circularity; constructions are independent

full rationale

The paper's central results rely on explicit perturbation constructions that directly verify the steady-state condition u · ∇ω = 0 while breaking single-valued functional dependence ω = f(ψ) for smooth (non-analytic) solutions. These constructions start from base states satisfying Morse or Arnold conditions and produce new smooth solutions without reducing to fitted parameters, self-definitional relations, or load-bearing self-citations. The contrast with prior analytic results is used only as background contrast, not as an unverified premise that forces the smooth-case outcome. The derivation chain is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of the 2D incompressible Euler equations and existence of smooth functions on bounded domains or the torus. No new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract description.

axioms (2)
  • domain assumption Steady states of the 2D incompressible Euler equations satisfy the relation that the vorticity is transported by the velocity field derived from the stream function.
    This is the standard formulation used to define steady states in the paper.
  • standard math Analytic steady states on bounded simply connected domains admit a global functional relationship between stream function and vorticity.
    Cited as previously shown; the paper contrasts this with the smooth case.

pith-pipeline@v0.9.0 · 5444 in / 1447 out tokens · 49171 ms · 2026-05-12T01:58:45.389084+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Lean theorems connected to this paper

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

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

34 extracted references · 34 canonical work pages

  1. [1]

    Conditions for nonlinear stability of steady plane curvilinear flows ofan ideal fluid

    VI Arnold. Conditions for nonlinear stability of steady plane curvilinear flows ofan ideal fluid. In Dokl. Akad. Nauk SSSR, volume 162, pages 975–978, 1965

    work page 1965

  2. [2]

    Springer, 1998

    Vladimir I Arnold and Boris A Khesin.Topological methods in hydrodynamics. Springer, 1998

    work page 1998

  3. [3]

    An a priori estimate in the theory of hydrodynamic stability.Izv

    Vladimir Igorevich Arnold. An a priori estimate in the theory of hydrodynamic stability.Izv. Vyssh. Uchebn. Zaved. Mat.[Sov. Math. J.], 5:3, 1966. 26

    work page 1966

  4. [4]

    Quasiconvexity at the boundary, positivity of the second variation and elastic stability.Archive for Rational Mechanics and Analysis, 86(3):251–277, 1984

    JM Ball and JE Marsden. Quasiconvexity at the boundary, positivity of the second variation and elastic stability.Archive for Rational Mechanics and Analysis, 86(3):251–277, 1984

    work page 1984

  5. [5]

    G. R. Burton. Rearrangements of functions, maximization of convex functionals, and vortex rings. Math. Ann., 276(2):225–253, 1987

    work page 1987

  6. [6]

    Instability of two- dimensional taylor-green vortices.arXiv preprint arXiv:2601.23040, 2026

    Gonzalo Cao-Labora, Maria Colombo, Michele Dolce, and Paolo Ventura. Instability of two- dimensional taylor-green vortices.arXiv preprint arXiv:2601.23040, 2026

    work page arXiv 2026

  7. [7]

    Local structure of the set of steady-state solutions to the 2D incompressible Euler equations.Geom

    Antoine Choffrut and Vladimír Šverák. Local structure of the set of steady-state solutions to the 2D incompressible Euler equations.Geom. Funct. Anal., 22(1):136–201, 2012

    work page 2012

  8. [8]

    Flexibility and rigidity in steady fluid motion.Comm

    Peter Constantin, Theodore Drivas, and Daniel Ginsberg. Flexibility and rigidity in steady fluid motion.Comm. Math. Phys., 385(1):521–563, 2021

    work page 2021

  9. [9]

    Stationary structures near the kol- mogorov and poiseuille flows in the 2d euler equations.Archive for Rational Mechanics and Analysis, 247(1):12, 2023

    Michele Coti Zelati, Tarek M Elgindi, and Klaus Widmayer. Stationary structures near the kol- mogorov and poiseuille flows in the 2d euler equations.Archive for Rational Mechanics and Analysis, 247(1):12, 2023

    work page 2023

  10. [10]

    Singularity formation in the incompressible Euler equation in finite and infinite time.EMS Surv

    Theodore Drivas and Tarek Elgindi. Singularity formation in the incompressible Euler equation in finite and infinite time.EMS Surv. Math. Sci., 10(1):1–100, 2023

    work page 2023

  11. [11]

    A geometric characterization of steady laminar flow.arXiv preprint arXiv:2410.18946, 2024

    Theodore D Drivas and Marc Nualart. A geometric characterization of steady laminar flow.arXiv preprint arXiv:2410.18946, 2024

    work page arXiv 2024

  12. [12]

    Regular and singular steady states of the 2D incompressible Euler equations near the Bahouri-Chemin patch.Arch

    Tarek Elgindi and Yupei Huang. Regular and singular steady states of the 2D incompressible Euler equations near the Bahouri-Chemin patch.Arch. Ration. Mech. Anal., 249(1):Paper No. 2, 2025

    work page 2025

  13. [13]

    A classification theorem for steady euler flows.Duke Mathematical Journal, 2026

    Tarek Elgindi, Yupei Huang, Ayman Said, and Chunjing Xie. A classification theorem for steady euler flows.Duke Mathematical Journal, 2026. To appear

    work page 2026

  14. [14]

    Smooth nonradial stationary euler flows on the plane with compact support.arXiv preprint arXiv:2406.04414, 2024

    Alberto Enciso, Antonio J Fernández, and David Ruiz. Smooth nonradial stationary euler flows on the plane with compact support.arXiv preprint arXiv:2406.04414, 2024

    work page arXiv 2024

  15. [15]

    Existence of non-trivial non-concentrated com- pactly supported stationary solutions of the 2D Euler equation with finite energy.Mem

    Javier Gómez-Serrano, Jaemin Park, and Jia Shi. Existence of non-trivial non-concentrated com- pactly supported stationary solutions of the 2D Euler equation with finite energy.Mem. Amer. Math. Soc., 311(1577):v+82, 2025

    work page 2025

  16. [16]

    Symmetry in stationary and uniformly rotating solutions of active scalar equations.Duke Math

    Javier Gómez-Serrano, Jaemin Park, Jia Shi, and Yao Yao. Symmetry in stationary and uniformly rotating solutions of active scalar equations.Duke Math. J., 170(13):2957–3038, 2021

    work page 2021

  17. [17]

    On a classification of steady solutions to two- dimensional euler equations.arXiv preprint arXiv:2405.15327, 2024

    Changfeng Gui, Chunjing Xie, and Huan Xu. On a classification of steady solutions to two- dimensional euler equations.arXiv preprint arXiv:2405.15327, 2024

    work page arXiv 2024

  18. [18]

    Shear flows of an ideal fluid and elliptic equations in unbounded domains.Comm

    François Hamel and Nikolai Nadirashvili. Shear flows of an ideal fluid and elliptic equations in unbounded domains.Comm. Pure Appl. Math., 70(3):590–608, 2017

    work page 2017

  19. [19]

    A Liouville theorem for the Euler equations in the plane

    François Hamel and Nikolai Nadirashvili. A Liouville theorem for the Euler equations in the plane. Arch. Ration. Mech. Anal., 233(2):599–642, 2019

    work page 2019

  20. [20]

    Characterization of steady solutions to the 2d euler equation

    Anton Izosimov and Boris Khesin. Characterization of steady solutions to the 2d euler equation. International Mathematics Research Notices, 2017(24):7459–7503, 2017

    work page 2017

  21. [21]

    Instability of some ideal plane flows.SIAM journal on mathematical analysis, 35(2):318– 356, 2003

    Zhiwu Lin. Instability of some ideal plane flows.SIAM journal on mathematical analysis, 35(2):318– 356, 2003. 27

    work page 2003

  22. [22]

    Nonlinear instability of ideal plane flows.International Mathematics Research Notices, 2004(41):2147–2178, 2004

    Zhiwu Lin. Nonlinear instability of ideal plane flows.International Mathematics Research Notices, 2004(41):2147–2178, 2004

    work page 2004

  23. [23]

    Some stability and instability criteria for ideal plane flows.Communications in mathe- matical physics, 246(1):87–112, 2004

    Zhiwu Lin. Some stability and instability criteria for ideal plane flows.Communications in mathe- matical physics, 246(1):87–112, 2004

    work page 2004

  24. [24]

    Invisciddynamicalstructuresnearcouetteflow.Archive for rational mechanics and analysis, 200(3):1075–1097, 2011

    ZhiwuLinandChongchunZeng. Invisciddynamicalstructuresnearcouetteflow.Archive for rational mechanics and analysis, 200(3):1075–1097, 2011

    work page 2011

  25. [25]

    Springer Science & Business Media, 2012

    Carlo Marchioro and Mario Pulvirenti.Mathematical theory of incompressible nonviscous fluids, volume 96. Springer Science & Business Media, 2012

    work page 2012

  26. [26]

    On stationary solutions of two-dimensional euler equation.Archive for Rational Mechanics and Analysis, 209(3):729–745, 2013

    Nikolai Nadirashvili. On stationary solutions of two-dimensional euler equation.Archive for Rational Mechanics and Analysis, 209(3):729–745, 2013

    work page 2013

  27. [27]

    Wandering solutions of euler’s d-2 equation.Functional Analysis and Its Applications, 25(3):220–221, 1991

    Nikolai Semenovich Nadirashvili. Wandering solutions of euler’s d-2 equation.Functional Analysis and Its Applications, 25(3):220–221, 1991

    work page 1991

  28. [28]

    On the theory of univalent functions.Annals of Mathematics, pages 374–408, 1936

    Malcolm IS Robertson. On the theory of univalent functions.Annals of Mathematics, pages 374–408, 1936

    work page 1936

  29. [29]

    Symmetry results for compactly supported steady solutions of the 2D Euler equations

    David Ruiz. Symmetry results for compactly supported steady solutions of the 2D Euler equations. Arch. Ration. Mech. Anal., 247(3):Paper No. 40, 2023

    work page 2023

  30. [30]

    Maximum and minimum energy in vortex motion.Nature, 22(574):618–620, 1880

    William Thomson(Lord Kelvin). Maximum and minimum energy in vortex motion.Nature, 22(574):618–620, 1880

    work page

  31. [31]

    Nonlinear stability for saddle solutions of ideal flows and symmetry breaking.Communications in mathematical physics, 193(3):713–736, 1998

    G Wolansky and M Ghil. Nonlinear stability for saddle solutions of ideal flows and symmetry breaking.Communications in mathematical physics, 193(3):713–736, 1998

    work page 1998

  32. [32]

    Eleven great problems of mathematical hydrodynamics.Moscow math- ematical journal, 3(2):711–737, 2003

    Victor Iosifovich Yudovich. Eleven great problems of mathematical hydrodynamics.Moscow math- ematical journal, 3(2):711–737, 2003

    work page 2003

  33. [33]

    Ontheinviscidinstabilityofthe2-dtaylor–green vortex.Journal of Fluid Mechanics, 999:A64, 2024

    XinyuZhao, BartoszProtas, andRomanShvydkoy. Ontheinviscidinstabilityofthe2-dtaylor–green vortex.Journal of Fluid Mechanics, 999:A64, 2024

    work page 2024

  34. [34]

    Selected topics in fluid mechanics (course notes)

    Vladimír Šverák. Selected topics in fluid mechanics (course notes). Lecture notes, Univer- sity of Minnesota, 2011/2012. Available online athttps://www-users.cse.umn.edu/~sverak/ course-notes2011.pdf. 28

    work page 2011