pith. sign in

arxiv: 2501.07153 · v2 · submitted 2025-01-13 · 🧮 math.SG · math.DS

Bifurcations of MacLaurin spheroids. A Hamiltonian perspective

Miguel Rodr\'iguez-Olmos This is my paper

Pith reviewed 2026-05-23 05:56 UTC · model grok-4.3

classification 🧮 math.SG math.DS
keywords MacLaurin spheroidsHamiltonian bifurcation theoryellipsoidal fluid bodiesDirichlet problemLie group symmetryChandrasekhar conditionsrotating fluid equilibria
0
0 comments X

The pith

The Hamiltonian formulation with Lie-group symmetry shows that MacLaurin spheroids bifurcate exclusively into I, S and adjoint S ellipsoids.

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

The paper casts Dirichlet's problem for rotating ellipsoidal fluid bodies as a Hamiltonian system that stays invariant under a Lie-group action. It then uses standard methods of Hamiltonian bifurcation theory to track the branch of MacLaurin spheroids. The analysis concludes that every bifurcation from this branch lands in one of three families of ellipsoids. This recovers, by a symmetry-based route, the necessary conditions that Chandrasekhar had earlier obtained by linearizing the hydrodynamic equations. A reader would care because the result supplies an independent geometric classification of the same bifurcation diagram.

Core claim

Dirichlet's problem for the dynamics of fluid bodies with ellipsoidal shape can be formulated as a Hamiltonian system invariant under the action of a symmetry Lie group. Applying methods from Hamiltonian bifurcation theory to the branch of solutions known as MacLaurin spheroids shows that all its bifurcations are into three types named I, S and adjoint S ellipsoids, in agreement with previous necessary conditions obtained by Chandrasekhar by linearizing the hydrodynamic equations.

What carries the argument

The Lie-group symmetric Hamiltonian formulation of Dirichlet's problem for ellipsoidal fluid bodies, to which standard Hamiltonian bifurcation theory is applied.

If this is right

  • The symmetry group action classifies every possible bifurcating solution from the MacLaurin sequence.
  • The Hamiltonian model reproduces exactly the bifurcation points previously located by linear hydrodynamic analysis.
  • No additional bifurcation branches exist within the ellipsoidal solutions once the symmetry is accounted for.

Where Pith is reading between the lines

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

  • The same symmetry-based approach may classify bifurcations in other equilibrium sequences such as the Jacobi ellipsoids.
  • It offers a route to examine nonlinear stability questions that lie beyond the reach of linearization alone.
  • The framework could connect the classical fluid problem to other symmetric Hamiltonian systems that arise in rigid-body or celestial mechanics.

Load-bearing premise

The given Lie-group symmetric Hamiltonian system fully encodes the hydrodynamic stability and bifurcation behavior of the ellipsoidal solutions.

What would settle it

Observation or numerical computation of a bifurcation from a MacLaurin spheroid into an ellipsoidal solution outside the I, S or adjoint S families would falsify the claim.

Figures

Figures reproduced from arXiv: 2501.07153 by Miguel Rodr\'iguez-Olmos.

Figure 1
Figure 1. Figure 1: Graph of ˆµ(e) in (Gπρ0) 1 2 units along the MacLaurin family. It allows parametrizing the MacLaurin family by e ∈ (0, 1) or by ˆµ ∈ (0, ∞). Characterization of the MacLaurin branch. In the remainder of this article we will use the following setup: we can rewrite (8) in terms of the eccentricity and obtain the configuration of a MacLaurin spheroid of as (13) F = diag((1 − e 2 ) −1 6 ,(1 − e 2 ) −1 6 ,(1 − … view at source ↗
Figure 2
Figure 2. Figure 2: Graphs of η 2 1 (e) (top) and η 2 2 (e) (bottom) along the MacLaurin family expressed in Gπρ0 units. Notice how η2 be￾comes imaginary at ecrit ≃ 0.952887, which is the point where the MacLaurin spheroid becomes unstable, while η1(e) is always real. There is no value of the eccentricity for which η1(e) = η2(e). Zero eigenvalues. It is clear that σ 1 +, σ2 +, σ2 a and σ 2 b are always positive. Also, for any… view at source ↗
read the original abstract

Dirichlet's problem for the dynamics of fluid bodies with ellipsoidal shape can be formulated as a Hamiltonian system invariant under the action of a symmetry Lie group. I apply methods from Hamiltonian bifurcation theory to the study of the branch of solutions known as MacLaurin spheroids. I show that all its bifurcations are into three types named I, $S$ and adjoint $S$ ellipsoids in agreement with previous necessary conditions obtained by Chandrasekhar by linearizing the hydrodynamic equations.

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 / 0 minor

Summary. The manuscript formulates Dirichlet's problem for the dynamics of ellipsoidal fluid bodies as a Hamiltonian system with Lie-group symmetry. It applies equivariant Hamiltonian bifurcation theory to the MacLaurin spheroids sequence and concludes that all bifurcations occur into three types of ellipsoids (I, S, and adjoint S), in agreement with the necessary conditions previously obtained by Chandrasekhar via linearization of the hydrodynamic equations.

Significance. If the symmetry-reduced Hamiltonian system is equivalent to the hydrodynamic problem on ellipsoids, the work supplies a dynamical-systems perspective on a classical sequence of solutions in astrophysical fluid mechanics. It demonstrates that standard equivariant bifurcation techniques recover known necessary conditions without introducing free parameters or fitted quantities, which is a methodological strength. The result does not claim new physical predictions but reframes an existing classification in Hamiltonian terms.

major comments (2)
  1. [Abstract] Abstract: The central claim of agreement with Chandrasekhar's necessary conditions rests on the assertion that the given Lie-group symmetry reduction fully encodes the hydrodynamic stability and bifurcation behavior. No explicit comparison is provided between the linearization of the reduced Hamiltonian system and the modes obtained from the full hydrodynamic equations (e.g., via characteristic equations or eigenvalue spectra), making it impossible to confirm that all relevant modes are captured and that no additional bifurcations exist outside the reduced setting.
  2. The manuscript states that the bifurcations are into I, S, and adjoint-S ellipsoids but does not include a dedicated verification step (such as a table or subsection) mapping the bifurcation types found via the Hamiltonian methods to the specific instability modes identified in Chandrasekhar's linearization. This mapping is load-bearing for the agreement claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and for identifying points where the connection between the Hamiltonian reduction and Chandrasekhar's linearization can be made more explicit. We address each major comment below and will incorporate revisions to strengthen the manuscript.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim of agreement with Chandrasekhar's necessary conditions rests on the assertion that the given Lie-group symmetry reduction fully encodes the hydrodynamic stability and bifurcation behavior. No explicit comparison is provided between the linearization of the reduced Hamiltonian system and the modes obtained from the full hydrodynamic equations (e.g., via characteristic equations or eigenvalue spectra), making it impossible to confirm that all relevant modes are captured and that no additional bifurcations exist outside the reduced setting.

    Authors: The Lie-group symmetry reduction is constructed precisely so that the resulting Hamiltonian system on the reduced space is equivalent to Dirichlet's problem, which itself is the restriction of the Euler equations to ellipsoidal velocity fields and shapes. Consequently the linearization of the reduced system reproduces the relevant hydrodynamic modes within the ellipsoidal class. We agree, however, that an explicit side-by-side comparison of the spectra would make this equivalence transparent. We will add a short subsection (or appendix) that recalls the equivalence of the reduced equations to the linearized hydrodynamic system and indicates how the bifurcation parameters correspond to the roots of Chandrasekhar's characteristic equation. revision: yes

  2. Referee: The manuscript states that the bifurcations are into I, S, and adjoint-S ellipsoids but does not include a dedicated verification step (such as a table or subsection) mapping the bifurcation types found via the Hamiltonian methods to the specific instability modes identified in Chandrasekhar's linearization. This mapping is load-bearing for the agreement claim.

    Authors: We will insert a dedicated verification subsection (new Section 4.3) that tabulates each bifurcation detected in the equivariant Hamiltonian setting, identifies the corresponding ellipsoidal type (I, S, or adjoint S), and cites the precise instability mode and equation number from Chandrasekhar's linearization analysis. This will render the agreement claim directly verifiable without altering the main results. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard methods to recover external result

full rationale

The paper formulates the Dirichlet ellipsoidal problem as a Hamiltonian system with Lie-group symmetry and applies standard equivariant bifurcation theory to the MacLaurin sequence. The central claim is explicit agreement with Chandrasekhar's prior necessary conditions obtained by linearizing the hydrodynamic equations (abstract). No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or ansatz imported from the authors' prior work. The symmetry-reduced Hamiltonian setup is presented as equivalent to the restricted hydrodynamic problem, with the bifurcation classification following from the general theory rather than from re-deriving or renaming the input conditions. This is the normal case of an independent application of existing methods.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, ad-hoc axioms, or invented entities are stated. Standard symplectic geometry and Lie-group reduction are presumed.

pith-pipeline@v0.9.0 · 5597 in / 1043 out tokens · 37166 ms · 2026-05-23T05:56:12.221035+00:00 · methodology

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

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

  1. [1]

    [1987],Ellipsoidal figures of equilibrium

    Chandrasekhar, S. [1987],Ellipsoidal figures of equilibrium. Dover Pub. Inc., New York

    work page 1987

  2. [2]

    and Yanguas, P

    Fahimeh, M., Palaci´ an, J. and Yanguas, P. [2023],Bifurcations of Riemann Ellipsoids. arXiv:2306.04258

    work page arXiv 2023

  3. [3]

    and Lewis, D

    Fass` o, F. and Lewis, D. [2001], Stability properties of Riemann ellipsoids.Arch. Rational Mech. Anal.158259–292

    work page 2001

  4. [4]

    and Sternberg, S

    Guillemin, V. and Sternberg, S. [1982], Convexity properties of the moment mapping.Inven- tiones Mathematicae67491–513

    work page 1982

  5. [5]

    [1742],A Treatise of fluxions: In two books.1

    MacLaurin, C. [1742],A Treatise of fluxions: In two books.1. Vol. 1. Ruddimans

    work page

  6. [6]

    [1985], Mod` ele d’action hamiltonienne d’un groupe de Lie sur une vari´ et´ e sym- plectique.Rend

    Marle, C.-M. [1985], Mod` ele d’action hamiltonienne d’un groupe de Lie sur une vari´ et´ e sym- plectique.Rend. Sem. Mat. Univ. Politec. Torino432 227–251

    work page 1985

  7. [7]

    [1992],Lectures on mechanics

    Marsden, J.E. [1992],Lectures on mechanics. Lecture Note Series174, LMS, Cambridge University Press

    work page 1992

  8. [8]

    Hamiltonian Relative Equilibria with Continuous Isotropy

    Montaldi, J. and Rodr´ ıguez-Olmos, M. [2015], Hamiltonian relative equilibria with continuous isotropy. arXiv:1509.04961

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  9. [9]

    [1992], Relative equilibria in Hamiltonian systems: the dynamics interpretation of nonlinear stability on the reduced phase space.J

    Patrick, G.W. [1992], Relative equilibria in Hamiltonian systems: the dynamics interpretation of nonlinear stability on the reduced phase space.J. Geom. Phys.9111-119

    work page 1992

  10. [10]

    [1885], Sur L’Equilibre d’une Masse Fluide Anim´ ee d’un Mouvement de Rotation

    Poincar´ e, H. [1885], Sur L’Equilibre d’une Masse Fluide Anim´ ee d’un Mouvement de Rotation. Acta Mathematica7259–380

    work page

  11. [11]

    [1861], Ein beitrag zu den untersuchungen ¨ uber die bewegung cines fl¨ ussigen gleichartigen ellipsoides.Abh

    Riemann, B. [1861], Ein beitrag zu den untersuchungen ¨ uber die bewegung cines fl¨ ussigen gleichartigen ellipsoides.Abh. d. K¨ onigl. Gesell. der Wis. zu G¨ ottingen9168–197

    work page

  12. [12]

    and Sousa-Dias, M.E

    Roberts, M. and Sousa-Dias, M.E. [1997], Bifurcations from relative equilibria of Hamiltonian systems.Nonlinearity101719–1738

    work page 1997

  13. [13]

    and Sousa-Dias, M.E

    Roberts, M. and Sousa-Dias, M.E. [1999], Symmetries of Riemann ellipsoids.Resenhas- IME. USP42 183–221

    work page 1999

  14. [14]

    Roberts, M., Wulff, C. and J.S. Lamb [2002], Hamiltonian systems near relative equilibria. J. Differential Equations1792 562–604

    work page 2002

  15. [15]

    [2006], Stability of relative equilibria with singular momentum values in simple mechanical systems.Nonlinearity194 853–877

    Rodr´ ıguez-Olmos, M. [2006], Stability of relative equilibria with singular momentum values in simple mechanical systems.Nonlinearity194 853–877

    work page 2006

  16. [16]

    [2020], Continuous singularities in Hamiltonian relative equilibria with Abelian momentum isotropy.Journal of Geometric Mechanics10.3934/jgm.2020019

    Rodr´ ıguez-Olmos, M. [2020], Continuous singularities in Hamiltonian relative equilibria with Abelian momentum isotropy.Journal of Geometric Mechanics10.3934/jgm.2020019

    work page 2020

  17. [17]

    and Sousa-Dias, M.E

    Rodr´ ıguez-Olmos, M. and Sousa-Dias, M.E. [2002], Symmetries of relative equilibria for sim- ple mechanical systems.SPT 2002: Symmetry and perturbation theory (Cala Gonone), World Sci. Publ. 221–230

    work page 2002

  18. [18]

    and Sousa-Dias, M.E

    Rodr´ ıguez-Olmos, M. and Sousa-Dias, M.E. [2009], Nonlinear stability of Riemann ellipsoids with symmetric configurations.J. Nonlinear Sci.19179-219

    work page 2009

  19. [19]

    and and Teixid´ o, M

    Rodr´ ıguez-Olmos, M. and and Teixid´ o, M. [2017], The Hamiltonian tube of a cotangent-Lifted Action.J. of Symp. Geom.15(3) 803-852

    work page 2017