arxiv: 2602.13929 · v2 · submitted 2026-02-14 · 🧮 math.AP · math.DG

Recognition: 2 theorem links

· Lean Theorem

Exact non-stationary solutions of the Euler equations in two and three dimensions

Patrick Heslin , Stephen C. Preston

Authors on Pith no claims yet

Pith reviewed 2026-05-15 21:53 UTC · model grok-4.3

classification 🧮 math.AP math.DG

keywords incompressible Euler equationsArnold geometric frameworkgeneralized Coriolis forceexact solutionsRiemannian manifoldsnon-stationary flowsclassificationtwo and three dimensions

0 comments

The pith

A generalized Coriolis force with suitable spectrum produces explicit smooth global solutions to the incompressible Euler equations on certain manifolds.

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

The paper introduces a construction, grounded in Arnold's geometric view of fluid motion, that yields explicit non-stationary solutions to the Euler equations which remain smooth for all time. By adding a generalized Coriolis force whose eigenvalues are chosen from the spectrum of an elliptic operator, the velocity fields satisfy the equations exactly on selected Riemannian manifolds. This recovers the classical Kelvin and Rossby-Haurwitz waves as special cases and supplies fresh families on curved surfaces and on the round three-sphere. The same method gives a complete list of two-dimensional manifolds that work and a partial list in three dimensions, together with a simple test for whether any given solution is non-stationary.

Core claim

In the Euler-Arnold setting, the addition of a time-independent generalized Coriolis force whose spectrum satisfies a simple algebraic condition produces vector fields that solve the incompressible Euler equations globally and smoothly; the resulting flows are typically non-stationary and include both recovered classical examples and new ones on the sphere and other curved manifolds, with full classification of admissible two-dimensional domains.

What carries the argument

Generalized Coriolis force whose spectrum is tuned so the associated time-dependent velocity fields remain divergence-free and satisfy the Euler equations for all time.

If this is right

Classical Kelvin and Rossby-Haurwitz waves appear as special cases of the same spectral construction.
New families of exact solutions exist on any curved two-dimensional surface whose Laplace spectrum permits the required choice.
The round three-sphere admits at least one explicit non-stationary family.
Riemannian manifolds supporting these solutions are completely classified in two dimensions and partially classified in three dimensions.
A direct algebraic test decides whether any solution obtained this way is non-stationary.

Where Pith is reading between the lines

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

The same spectral mechanism may generate exact solutions for other ideal fluid models once an analogous Coriolis term can be defined.
These closed-form flows supply exact benchmarks that could be used to validate numerical schemes for the Euler equations on manifolds.
The classification suggests that the existence of such solutions is tied to the presence of a sufficiently rich set of eigenfunctions rather than to curvature alone.
The criterion for non-stationarity may extend to other Hamiltonian PDEs written in Lie-Poisson form.

Load-bearing premise

The spectrum of the generalized Coriolis force can always be chosen so that the resulting vector fields stay smooth and global on the target manifold.

What would settle it

An explicit Riemannian manifold claimed to admit such solutions for which no choice of spectrum produces a smooth global solution, or a failure of the construction to recover the known Kelvin wave on the flat torus.

read the original abstract

We develop, via Arnold's geometric framework, a mechanism for constructing explicit, smooth, global-in-time, and typically non-stationary solutions of the incompressible Euler equations. The approach introduces a notion of generalized Coriolis force, whose spectrum underlies the construction of these solutions. We recover classical exact solutions such as Kelvin and Rossby-Haurwitz waves, while also producing new explicit examples on curved surfaces and three-dimensional manifolds including the round three-sphere. Furthermore, we obtain a complete classification in two dimensions and a partial classification in three dimensions of the Riemannian manifolds that admit such solutions. The method is in fact formulated in the general Euler-Arnold setting and yields a simple criterion for non-stationarity.

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

This paper gives a constructive method using a generalized Coriolis force to produce new explicit non-stationary Euler solutions on manifolds, with a full 2D classification.

read the letter

This paper supplies a new mechanism, via a generalized Coriolis force, for building explicit non-stationary solutions to the incompressible Euler equations on various Riemannian manifolds. They start from Arnold's geometric picture and add this force term whose spectrum is the free parameter. That lets them construct vector fields that satisfy the Euler equations by construction. They recover the classical Kelvin and Rossby-Haurwitz waves as special cases. Then they produce new examples on curved surfaces and on the round three-sphere. In two dimensions they give a full classification of which compact surfaces admit such solutions. In three dimensions it's only partial but still includes concrete cases like S^3. The approach is formulated in the general Euler-Arnold setting, which makes the non-stationarity criterion straightforward. That part looks clean and useful for generating test cases or understanding the geometry of the flows. The spectrum choice is presented as the parameter that enforces the required commutation relations, and the paper supplies both the classification and the examples without visible internal inconsistency. The non-stationarity criterion follows directly from the setup. This is useful work for people working on exact solutions in fluid dynamics on manifolds. It deserves a serious referee because the new examples and the classification are concrete advances.

Referee Report

0 major / 3 minor

Summary. The paper claims to develop, via Arnold's geometric framework, a mechanism for constructing explicit, smooth, global-in-time, typically non-stationary solutions of the incompressible Euler equations by introducing a generalized Coriolis force whose spectrum is chosen to satisfy the required Lie-algebraic commutation relations. It recovers classical solutions such as Kelvin and Rossby-Haurwitz waves, produces new explicit examples on curved surfaces and three-dimensional manifolds including the round three-sphere, obtains a complete classification in two dimensions and a partial classification in three dimensions of the Riemannian manifolds that admit such solutions, and supplies a simple criterion for non-stationarity in the general Euler-Arnold setting.

Significance. If the constructions hold, the work is significant because explicit non-stationary solutions to the Euler equations remain rare, and a classification of admissible manifolds (complete in 2D) provides concrete new information. The method is formulated generally for the Euler-Arnold equations, recovers known waves as special cases, and supplies concrete 3D examples on S^3; these features strengthen the contribution beyond a purely formal extension of Arnold's framework.

minor comments (3)

[Abstract] The abstract states that the spectrum choice 'underlies the construction' but does not indicate where the explicit commutation relations are verified; a forward reference to the relevant proposition or equation would improve readability.
[Abstract] The non-stationarity criterion is described as 'simple' yet is not stated explicitly in the abstract; including the precise statement (e.g., a condition on the spectrum) would make the main result immediately accessible.
[Abstract] Terminology for the 'generalized Coriolis force' is introduced without a forward pointer to its precise definition; adding a parenthetical reference to the defining equation would reduce ambiguity for readers familiar with the classical Coriolis term.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and for recommending acceptance. We appreciate the recognition that the constructions recover classical solutions, yield new explicit examples (including on S^3), and provide a complete 2D classification together with a partial 3D classification of admissible manifolds.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained in Arnold framework

full rationale

The paper extends the established Arnold geometric formulation of the Euler equations by defining a generalized Coriolis force whose spectrum is selected to enforce the required Lie-algebra commutation relations on the target manifold. Solutions are constructed explicitly to satisfy the Euler-Arnold equation by this choice, recovering Kelvin and Rossby-Haurwitz waves as special cases while generating new examples. The 2D classification and 3D examples follow directly from the spectrum condition and the non-stationarity criterion without any reduction to fitted parameters, self-referential definitions, or load-bearing self-citations. The central construction is independent of the target result and externally verifiable against the classical Arnold theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on Arnold's prior geometric formulation of the Euler equations together with the newly introduced generalized Coriolis force; no free parameters are mentioned and the only invented entity is the generalized Coriolis force itself.

axioms (1)

standard math Arnold's geometric framework viewing incompressible Euler flow as geodesic motion on the group of volume-preserving diffeomorphisms
Invoked directly in the abstract as the setting in which the mechanism is developed.

invented entities (1)

generalized Coriolis force no independent evidence
purpose: To provide a spectrum that enables construction of explicit global non-stationary solutions
New notion introduced by the authors whose spectrum is stated to underlie the constructions.

pith-pipeline@v0.9.0 · 5410 in / 1307 out tokens · 45090 ms · 2026-05-15T21:53:34.242254+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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

We develop, via Arnold’s geometric framework, a mechanism for constructing explicit, smooth, global-in-time, and typically non-stationary solutions of the incompressible Euler equations. The approach introduces a notion of generalized Coriolis force, whose spectrum underlies the construction...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

If there exists a Killing field X such that AX is also Killing... then there exists infinitely many v, w... U_R(t) = X + ρ cos(σ + ϖ t)v − ρ sin(σ + ϖ t)w

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

42 extracted references · 42 canonical work pages

[1]

Aref,Point vortex dynamics: a classical mathematics playground, J

H. Aref,Point vortex dynamics: a classical mathematics playground, J. Math. Phys.48(2007), no. 6, 065401, 23

work page 2007
[2]

Arnold,On the differential geometry of infinite-dimensional lie groups and its application to the hydrodynamics of perfect fluids, Vladimir I

V. Arnold,On the differential geometry of infinite-dimensional lie groups and its application to the hydrodynamics of perfect fluids, Vladimir I. Arnold-Collected Works: Hydrodynamics, Bifurcation Theory, and Algebraic Geometry 1965- 1972, Springer, 2013, pp. 33–69

work page 1965
[3]

Arnold and B

V. Arnold and B. Khesin,Topological methods in hydrodynamics, Second ed., Applied Mathematical Sciences, vol. 125, Springer, Cham, 2021

work page 2021
[4]

Azencot, M

O. Azencot, M. Ovsjanikov, F. Chazal, and M. Ben-Chen,Discrete derivatives of vector fields on surfaces–an operator approach, ACM Trans. Graph.34(2015), no. 3, 1–13

work page 2015
[5]

Benn,Conjugate points inD s µ(S2), Journal of Geometry and Physics170(2021), 104369

J. Benn,Conjugate points inD s µ(S2), Journal of Geometry and Physics170(2021), 104369

work page 2021
[6]

J. Benn, P. Heslin, L. Lichtenfelz, and G. Misio lek,Singular sets of Riemannian exponential maps in hydrodynamics, arXiv Preprint: 2509.03454 (2025), 1–22

work page arXiv 2025
[7]

D. E. Blair,Riemannian geometry of contact and symplectic manifolds, second ed., Progress in Mathematics, vol. 203, Birkh¨ auser Boston, Ltd., Boston, MA, 2010

work page 2010
[8]

Cardona, E

R. Cardona, E. Miranda, D. Peralta-Salas, and F. Presas,Constructing Turing complete Euler flows in dimension 3, Proc. Natl. Acad. Sci. USA118(2021), no. 19, e2026818118

work page 2021
[9]

C. H. Chan, M. Czubak, and M. M. Disconzi,The formulation of the Navier–Stokes equations on Riemannian manifolds, J. Geom. Phys.121(2017), 335–346

work page 2017
[10]

Chandrasekhar and P

S. Chandrasekhar and P. C. Kendall,On force-free magnetic fields., Astrophys. J.126(1957), 457

work page 1957
[11]

Chern and O

A. Chern and O. Gross,Force-free fields are conformally geodesic, SIAM J. Appl. Algebra Geom.8(2024), no. 4, 1001–1022

work page 2024
[12]

Constantin and P

A. Constantin and P. Germain,Stratospheric planetary flows from the perspective of the Euler equation on a rotating sphere, Arch. Ration. Mech. Anal.245(2022), no. 1, 587–644

work page 2022
[13]

A. D. D. Craik and W. O. Criminale,Evolution of wavelike disturbances in shear flows: a class of exact solutions of the Navier-Stokes equations, Proc. Roy. Soc. London Ser. A406(1986), no. 1830, 13–26

work page 1986
[14]

Dombre, U

T. Dombre, U. Frisch, J. M. Greene, M. H´ enon, A. Mehr, and A. M. Soward,Chaotic streamlines in the ABC flows, J. Fluid Mech.167(1986), 353–391

work page 1986
[15]

D. G. Dritschel,Generalized helical Beltrami flows in hydrodynamics and magnetohydrodynamics, J. Fluid Mech.222 (1991), 525–541

work page 1991
[16]

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

work page 2023
[17]

Ebin and J

D. Ebin and J. Marsden,Groups of diffeomorphisms and the motion of an incompressible fluid, Ann. of Math. (2)92 (1970), 102–163

work page 1970
[18]

D. Ebin, G. Misio lek, and S. C. Preston,Singularities of the exponential map on the volume-preserving diffeomorphism group, Geom. Funct. Anal.16(2006), no. 4, 850–868

work page 2006
[19]

L. C. Evans,Partial differential equations, second ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 2010

work page 2010
[20]

Grabowska and J

K. Grabowska and J. Grabowski,The regularity and products in contact geometry, Ann. Mat. Pura Appl. (4) (2025), 1–23

work page 2025
[21]

Khesin, R

B. Khesin, R. Langøen, and I. Markina,Curvatures of measure-preserving diffeomorphism groups of non-orientable surfaces, Nonlinearity38(2025), no. 5, 055017

work page 2025
[22]

Lamb,Hydrodynamics, sixth ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1993

H. Lamb,Hydrodynamics, sixth ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1993

work page 1993
[23]

Lichtenfelz, G

L. Lichtenfelz, G. Misio lek, and S. C. Preston,Axisymmetric diffeomorphisms and ideal fluids on Riemannian 3-manifolds, Int. Math. Res. Not. IMRN (2022), no. 1, 446–485

work page 2022
[24]

Majda and A

A. Majda and A. Bertozzi,Vorticity and incompressible flow, Cambridge Texts in Applied Mathematics, vol. 27, Cambridge University Press, Cambridge, 2002

work page 2002
[25]

J. E. Marsden, G. Misio lek, J.-P. Ortega, M. Perlmutter, and T. S. Ratiu,Hamiltonian reduction by stages, Lecture Notes in Mathematics, vol. 1913, Springer, Berlin, 2007

work page 1913
[26]

Misio lek,Stability of flows of ideal fluids and the geometry of the group of diffeomorphisms, Indiana Univ

G. Misio lek,Stability of flows of ideal fluids and the geometry of the group of diffeomorphisms, Indiana Univ. Math. J.42 (1993), no. 1, 215–235

work page 1993
[27]

Misio lek and S

G. Misio lek and S. C. Preston,Fredholm properties of Riemannian exponential maps on diffeomorphism groups, Invent. Math.179(2010), no. 1, 191–227

work page 2010
[28]

Nicolaescu,Adiabatic limits of the Seiberg-Witten equations on Seifert manifolds, Commun

L.I. Nicolaescu,Adiabatic limits of the Seiberg-Witten equations on Seifert manifolds, Commun. Anal. Geom.6(1998), no. 2, 331–392 (English)

work page 1998
[29]

Peralta-Salas, D

D. Peralta-Salas, D. Perrella, and D. Pfefferl´ e,Asymmetry of curl eigenfields solving Woltjer’s variational problem, arXiv preprint: 2506.21243 (2025), 1–32

work page arXiv 2025
[30]

Peralta-Salas and R

D. Peralta-Salas and R. Slobodeanu,Energy minimizing Beltrami fields on Sasakian 3-manifolds, Int. Math. Res. Not. IMRN2021(2021), no. 9, 6656–6690

work page 2021
[31]

Petersen,Riemannian geometry, second ed., Graduate Texts in Mathematics, vol

P. Petersen,Riemannian geometry, second ed., Graduate Texts in Mathematics, vol. 171, Springer, New York, 2006. MR 2243772

work page 2006
[32]

S. C. Preston,On the volumorphism group, the first conjugate point is always the hardest, Comm. Math. Phys.267(2006), no. 2, 493–513. EXACT NON-STATIONARY SOLUTIONS OF THE EULER EQUATIONS 29

work page 2006
[33]

Sarria and R

A. Sarria and R. Saxton,Blow-up of solutions to the generalized inviscid Proudman-Johnson equation, J. Math. Fluid Mech.15(2013), no. 3, 493–523

work page 2013
[34]

Shimizu,Hydrodynamic Killing vector fields on surfaces, J

Y. Shimizu,Hydrodynamic Killing vector fields on surfaces, J. Geom. Phys.196(2024), Paper No. 105080, 10

work page 2024
[35]

Y. N. Skiba,Mathematical problems of the dynamics of incompressible fluid on a rotating sphere, Springer, Cham, 2017

work page 2017
[36]

Tao,On the universality of the incompressible Euler equation on compact manifolds, Discrete Contin

T. Tao,On the universality of the incompressible Euler equation on compact manifolds, Discrete Contin. Dyn. Syst.38 (2018), no. 3, 1553–1565

work page 2018
[37]

Terras,Harmonic analysis on symmetric spaces and applications ii, Springer Science & Business Media, 2012

A. Terras,Harmonic analysis on symmetric spaces and applications ii, Springer Science & Business Media, 2012

work page 2012
[38]

Tolimieri,Analysis on the Heisenberg manifold, Trans

R. Tolimieri,Analysis on the Heisenberg manifold, Trans. Amer. Math. Soc.228(1977), 329–343

work page 1977
[39]

Fluid Mech.949(2022), A13

A Vi´ udez,Exact solutions of time-dependent oscillations in multipolar spherical vortices, J. Fluid Mech.949(2022), A13

work page 2022
[40]

Vizman,Geodesic equations on diffeomorphism groups, Editura Orizonturi Universitare, Timis ,oara, 2008

C. Vizman,Geodesic equations on diffeomorphism groups, Editura Orizonturi Universitare, Timis ,oara, 2008

work page 2008
[41]

H. Yin, M. S. Nabizadeh, B. Wu, S. Wang, and A. Chern,Fluid cohomology, ACM Trans. Graph.42(2023), no. 4, 1–25

work page 2023
[42]

Yoshida and Y

Z. Yoshida and Y. Giga,Remarks on spectra of operator rot, Math. Z.204(1990), no. 1, 235–245. P. Heslin: Max Planck Institute for Mathematics in the Sciences, 04103, Leipzig, Germany Email address:patrick.heslin@mis.mpg.de S.C. Preston: Brooklyn College and CUNY Graduate Center, USA Email address:stephen.preston@brooklyn.cuny.edu

work page 1990