arxiv: 2605.06453 · v1 · submitted 2026-05-07 · 🧮 math.AP

Recognition: unknown

Formal Stability of Tetrahedral Non-Zonal Flows on the Sphere

Yuri Cacchi\`o

Pith reviewed 2026-05-08 06:52 UTC · model grok-4.3

classification 🧮 math.AP

keywords formal stabilitynon-zonal flowsspherical Euler equationsbifurcation analysisEnergy-Casimir methodtetrahedral symmetrygeophysical fluid dynamicssine-Gordon profile

0 comments

The pith

Subcritical polynomial and supercritical sine-Gordon flows on the sphere are formally stable while sinh-Gordon and Liouville flows are not.

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

The paper examines finite-amplitude non-zonal flows that bifurcate from the trivial state in the unforced two-dimensional Euler equations on the sphere. To handle the degeneracy of the spherical Laplacian and exclude low-frequency instabilities, the analysis is restricted to the functional space invariant under the tetrahedral symmetry group. Arnold's Energy-Casimir method is used to prove that the linearized elliptic operator from Liapunov-Schmidt reduction serves as the Hessian of a conserved functional. Tracking the critical eigenvalue along bifurcation branches via the Crandall-Rabinowitz theorem links bifurcation topology directly to the sign of the second variation. For four geophysical profile functions, this yields formal stability precisely when the second variation is negative definite, which occurs for subcritical polynomial and supercritical sine-Gordon cases, while the remaining two profiles produce saddle points and instability.

Core claim

By tracking the critical eigenvalue along the bifurcating branches via the Crandall-Rabinowitz theorem, we establish a relation between the bifurcation topology and formal stability. Applying this framework to four distinct geophysical profile functions, we demonstrate that subcritical polynomial and supercritical sine-Gordon flows achieve a negative-definite second variation, that is, their formal stability. In contrast, subcritical sinh-Gordon and supercritical Liouville exponential flows generate saddle points, making them unstable.

What carries the argument

The Hessian of the Energy-Casimir conserved functional, obtained as the linearized elliptic operator after Liapunov-Schmidt reduction, whose definiteness is determined by the sign of the critical eigenvalue tracked along each bifurcation branch.

If this is right

Subcritical polynomial profile flows remain formally stable and can persist as coherent large-scale structures.
Supercritical sine-Gordon profile flows remain formally stable.
Subcritical sinh-Gordon profile flows are formally unstable and do not persist.
Supercritical Liouville exponential profile flows are formally unstable.
The classification identifies exactly which nonlinear profile interactions support stable non-zonal waves on the sphere.

Where Pith is reading between the lines

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

Numerical simulations of the Euler equations could test whether the formally stable profiles maintain coherence under small perturbations over long integration times.
The same symmetry-reduction and eigenvalue-tracking approach might be applied to other finite symmetry groups on the sphere to locate additional families of stable flows.
The results suggest that real planetary atmospheres may select for sine-Gordon-like or polynomial nonlinearities if large-scale tetrahedral patterns are observed to persist.

Load-bearing premise

Restricting the functional space to the invariant subspace of the tetrahedral symmetry group is required to bypass the degeneracy of the spherical Laplacian and to filter out low-frequency Fjørtoft instabilities.

What would settle it

Explicit numerical computation of the second variation of the Energy-Casimir functional for the subcritical polynomial profile at a point along its bifurcation branch, checking whether all eigenvalues are strictly negative.

read the original abstract

We investigate the formal stability of finite-amplitude non-zonal flows bifurcating from the trivial state in the unforced 2D Euler equations on the sphere. To bypass the degeneracy of the spherical Laplacian and filter out the low-frequency Fj{\o}rtoft instabilities, we restrict the functional space to the invariant subspace of the tetrahedral symmetry group. Using Arnold's Energy-Casimir method, we prove that the linearized elliptic operator derived via Liapunov-Schmidt reduction acts as the Hessian of the conserved functional. By tracking the critical eigenvalue along the bifurcating branches via the Crandall-Rabinowitz theorem, we establish a relation between the bifurcation topology and formal stability. Applying this framework to four distinct geophysical profile functions, we demonstrate that subcritical polynomial and supercritical sine-Gordon flows achieve a negative-definite second variation, that is, their formal stability. In contrast, subcritical sinh-Gordon and supercritical Liouville exponential flows generate saddle points, making them unstable. This classification identifies the specific nonlinear interactions required for the persistence of large-scale coherent waves in planetary atmospheres.

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

The paper classifies formal stability for four specific profile functions under tetrahedral symmetry using Arnold's method plus bifurcation tracking, but the symmetry restriction narrows its reach.

read the letter

The main point is that this work shows subcritical polynomial and supercritical sine-Gordon flows are formally stable in the tetrahedral subspace while subcritical sinh-Gordon and supercritical Liouville flows are not. It reaches this by restricting to the invariant subspace, applying Arnold's Energy-Casimir method after Lyapunov-Schmidt reduction, and using Crandall-Rabinowitz to follow the critical eigenvalue along the branches for each explicit profile function. The sign of the second variation then decides stability or saddle behavior. This classification is new for these four geophysical profiles and the paper lays out the steps clearly without hidden fitting or circular arguments. The subspace choice is justified as a way to remove the Laplacian kernel and Fjørtoft modes, and the calculations appear to follow directly from the theorems. One limitation is that the results apply only inside the tetrahedral symmetry; outside it the degeneracy returns and the classification does not hold. This is stated up front but still restricts how far the findings extend to general non-zonal flows. The eigenvalue tracking for each profile needs careful checking in the full proofs, though the approach itself uses standard tools and the stress-test finds no load-bearing gaps. The paper is written for people working on mathematical stability in ideal fluids and geophysical waves on the sphere. Readers who want concrete examples of symmetry-reduced stability analysis will get direct value from the four cases. It deserves a serious referee because the method is reproducible and the claims are specific enough to check. I would send it to peer review with requests to confirm the explicit eigenvalue signs and to discuss how the symmetry assumption affects broader applicability.

Referee Report

0 major / 3 minor

Summary. The manuscript investigates the formal stability of finite-amplitude non-zonal flows bifurcating from the trivial state in the unforced 2D Euler equations on the sphere. To bypass the degeneracy of the spherical Laplacian and filter low-frequency Fjørtoft instabilities, the analysis is restricted to the invariant subspace of the tetrahedral symmetry group. Arnold's Energy-Casimir method is applied after Liapunov-Schmidt reduction to establish that the linearized elliptic operator is the Hessian of the conserved functional; the Crandall-Rabinowitz theorem is then used to track the critical eigenvalue along bifurcating branches. For four geophysical profile functions, subcritical polynomial and supercritical sine-Gordon flows are shown to possess negative-definite second variations (formally stable), while subcritical sinh-Gordon and supercritical Liouville exponential flows yield saddle points (unstable).

Significance. If the central claims hold, the work supplies a concrete classification of formal stability for non-zonal flows that links bifurcation topology to the sign of the second variation, with direct relevance to the persistence of large-scale coherent structures in planetary atmospheres. The symmetry restriction to remove the Laplacian kernel is a technically sound device, and the explicit treatment of four distinct profile functions yields falsifiable predictions that strengthen the framework. The combination of variational methods with bifurcation theory is a clear strength.

minor comments (3)

The introduction should define 'formal stability' with a brief reference to Arnold's original criterion before invoking the Energy-Casimir method.
Explicit mathematical expressions for the four geophysical profile functions (polynomial, sine-Gordon, sinh-Gordon, Liouville) should appear in a single dedicated subsection or appendix to facilitate reproducibility.
Figure captions or legends for any eigenvalue plots should explicitly indicate the sign of the tracked critical eigenvalue for each profile.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript, the accurate summary of its methods and results, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central derivation applies Arnold's Energy-Casimir method after restricting to the tetrahedral symmetry invariant subspace (justified explicitly to remove Laplacian degeneracy and Fjørtoft modes), invokes the Lyapunov-Schmidt reduction to identify the linearized operator as the Hessian, and tracks the critical eigenvalue via the external Crandall-Rabinowitz theorem along bifurcating branches for four explicit geophysical profiles. These steps rely on standard external theorems and direct computation of the second variation sign; no quantity is fitted to data and then renamed a prediction, no self-citation chain bears the load, and the stability classification does not reduce by construction to the inputs. The derivation is therefore self-contained against mathematical benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the domain assumption of restricting to the tetrahedral symmetry subspace and on the selection of four specific geophysical profile functions whose forms are not derived from first principles.

free parameters (1)

geophysical profile functions
Four chosen functions (subcritical polynomial, supercritical sine-Gordon, subcritical sinh-Gordon, supercritical Liouville exponential) whose specific coefficients or forms are inputs to the classification.

axioms (2)

domain assumption Restriction of functional space to tetrahedral symmetry invariant subspace
Invoked explicitly to bypass spherical Laplacian degeneracy and filter Fjørtoft instabilities.
domain assumption Linearized elliptic operator equals Hessian of conserved functional
Established via Arnold's Energy-Casimir method and Liapunov-Schmidt reduction.

pith-pipeline@v0.9.0 · 5482 in / 1434 out tokens · 33738 ms · 2026-05-08T06:52:06.058463+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 1 canonical work pages · 1 internal anchor

[1]

V. I. Arnold. On an a priori estimate in the theory of hydrodynamical stability. American Mathematical Society Translations: Series 2, 79:267–269, 1969. 16

1969
[2]

V. I. Arnold.Mathematical Methods of Classical Mechanics. Springer-Verlag, New York, 2nd edition, 1989

1989
[3]

V. I. Arnold and B. A. Khesin.Topological Methods in Hydrodynamics, volume 125 ofApplied Mathematical Sciences. Springer-Verlag New York, 1998

1998
[4]

P. G. Baines. The stability of planetary waves on a sphere.Journal of Fluid Mechanics, 73(2):193–213, 1976

1976
[5]

Bifurcation of Tetrahedral Non-Zonal Flows in the 2D Euler Equations on a Rotating Sphere

Y. Cacchi` o. Bifurcation of tetrahedral non-zonal flows in the 2d euler equations on a rotating sphere.arXiv preprint arXiv:2604.10092, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[6]

Constantin and P

A. Constantin and P. Germain. Stratospheric planetary flows from the perspective of the euler equation on a rotating sphere.Archive for Rational Mechanics and Analysis, 245(2):587–644, 2022

2022
[7]

Constantin and R

A. Constantin and R. S. Johnson. Large gyres as a shallow-water asymptotic solu- tion of euler’s equation in spherical coordinates.Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 473:20170063, 2017

2017
[8]

Constantin and R

A. Constantin and R. S. Johnson. On the modelling of large-scale atmospheric flow. Journal of Differential Equations, 285:751–798, 2021

2021
[9]

M. G. Crandall and P. H. Rabinowitz. Bifurcation from simple eigenvalues.Journal of Functional Analysis, 8(2):321–340, 1971

1971
[10]

M. G. Crandall and P. H. Rabinowitz. Bifurcation, perturbation of simple eigen- values, and linearized stability.Archive for Rational Mechanics and Analysis, 52(2):161–180, 1973

1973
[11]

Fjørtoft

R. Fjørtoft. On the changes in the spectral distribution of kinetic energy for twodi- mensional, nondivergent flow.Tellus, 5(3):225–230, 1953

1953
[12]

G. R. Flierl. Isolated eddy models in geophysics.Annual Review of Fluid Mechanics, 19(1):493–530, 1987

1987
[13]

Golubitsky, I

M. Golubitsky, I. Stewart, and D. G. Schaeffer.Singularities and Groups in Bifur- cation Theory, Vol. II, volume 69. Springer-Verlag, New York, 1988

1988
[14]

Haurwitz

B. Haurwitz. The motion of atmospheric disturbances on the spherical earth.Jour- nal of Marine Research, 3(3):254–267, 1940

1940
[15]

D. D. Holm, J. E. Marsden, T. Ratiu, and A. Weinstein. Nonlinear stability of fluid and plasma equilibria.Physics Reports, 123(1-2):1–116, 1985

1985
[16]

J. R. Holton and G. J. Hakim.An Introduction to Dynamic Meteorology. Academic Press, 2013. 17

2013
[17]

B. J. Hoskins. Stability of the rossby-haurwitz wave.Quarterly Journal of the Royal Meteorological Society, 99(422):723–745, 1973

1973
[18]

Joyce and D

G. Joyce and D. Montgomery. Negative temperature states for the two-dimensional guiding-centre plasma.Journal of Plasma Physics, 10(1):107–121, 1973

1973
[19]

Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations

H. Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations. Springer Science & Business Media, New York, 2012

2012
[20]

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

2002
[21]

Pedlosky.Geophysical Fluid Dynamics

J. Pedlosky.Geophysical Fluid Dynamics. Springer-Verlag, New York, 1987

1987
[22]

C.G. Rossby. Relations between variations in the intensity of the zonal circulation of the atmosphere and the displacements of the semipermanent centers of action. Journal of Marine Research, 2(1):38–55, 1939

1939
[23]

J. T. Stuart. On finite amplitude oscillations in laminar mixing layers.Journal of Fluid Mechanics, 29(3):417–440, 1967

1967
[24]

M. E. Taylor. Euler equation on a rotating sphere.Journal of Functional Analysis, 270(10):3884–3945, 2016

2016
[25]

G. K. Vallis.Atmospheric and Oceanic Fluid Dynamics. Cambridge University Press, 2017. 18

2017