pith. sign in

arxiv: 2209.07097 · v4 · submitted 2022-09-15 · 🧮 math.DS · math-ph· math.MP

Proof of a conjecture by H. Dullin and R. Montgomery

Gabriella Pinzari This is my paper

Pith reviewed 2026-05-24 11:20 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MP
keywords planar Euler problemperiodsrotation numbermonotonicityquasi-periodic regimefirst integralKeplerian limitcomplex analysis
0
0 comments X

The pith

In the planar Euler problem, periods and the rotation number are monotone functions of the non-trivial first integral at fixed energy.

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

The paper derives new formulae for the periods in the quasi-periodic regime of the planar Euler problem that complement existing expressions by remaining simple on the opposite side of a singularity. These new formulae are obtained using the Keplerian limit together with tools from complex analysis. With the complementary expressions in hand, the periods and their ratio (the rotation number) can be shown to vary monotonically with the value of the non-trivial first integral at any fixed energy level. A sympathetic reader would care because the result settles a stated conjecture and gives an explicit dependence of the periodic quantities on the integrals of motion throughout the regime.

Core claim

By obtaining complementary period formulae through the Keplerian limit and complex analysis in the quasi-periodic regime, the periods and their ratio, the rotation number, are proven to be monotone functions of the non-trivial first integral at any fixed energy level in the planar Euler problem.

What carries the argument

Complementary period formulae derived via the Keplerian limit and complex analysis, which remain simple across the singularity and enable direct comparison of periods with the first integral.

If this is right

  • At fixed energy the period lengthens or shortens steadily as the first integral changes.
  • The rotation number likewise changes monotonically with the first integral.
  • The monotonicity statements hold for all energies admitting quasi-periodic motions.
  • The pair of formulae together cover the entire range without loss of simplicity.

Where Pith is reading between the lines

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

  • The monotonicity may simplify the construction of action-angle coordinates or the analysis of adiabatic invariants in the same system.
  • Analogous period formulae and monotonicity statements could be sought in nearby integrable problems that possess similar Keplerian limits.
  • The result supplies an explicit ordering of orbits that might be used to compare stability thresholds at different integral values.

Load-bearing premise

The new period formulae obtained via the Keplerian limit and complex analysis are valid and complementary across the singularity in the quasi-periodic regime of the planar Euler problem.

What would settle it

A direct numerical integration at fixed energy that produces a period value decreasing then increasing as the first integral is varied continuously would falsify the monotonicity claim.

Figures

Figures reproduced from arXiv: 2209.07097 by Gabriella Pinzari.

Figure 1
Figure 1. Figure 1: Graphical representation of the domain P, in the plane (d, f). The singular lines f = f s M± (d) (dashed) and the boundary lines of P (thick) are reported. The lower boundary f = f− M− (d) of P is also a boundary line of QM− , while the line f = f− M+ (d) (dotted), lower boundary line of QM+ , is external to P. It has been reported for comparison with [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Graphical representation of the domain QM, and of its sub–domains Q ↓ M, Q ↑ M, in the plane (d, f). The “singular line” f = fs M(d) (dashed) and the “minimum line” f = f− M(d) are reported. The domain P in [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Graphical representation of the lines f = f M [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
read the original abstract

In the framework of the planar Euler problem in the quasi--periodic regime, the formulae of the periods available in the literature are simple only on one side of their singularity. In this paper, we complement such formulae with others, which result simpler on the other side. The derivation of such new formulae uses the Keplerian limit and complex analysis tools. As an application, we prove a conjecture by H. Dullin and R. Montgomery, which states that such periods, as well as their ratio, the {\it rotation number}, are monotone functions of their non--trivial first integral, at any fixed energy level.

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

1 major / 1 minor

Summary. The manuscript complements existing period formulae for the planar Euler problem in the quasi-periodic regime with new formulae derived via the Keplerian limit and complex analysis tools, which are simpler on the opposite side of the singularity. These formulae are then substituted into a monotonicity argument to prove the Dullin-Montgomery conjecture that the periods, as well as their ratio (the rotation number), are monotone functions of the non-trivial first integral at any fixed energy level.

Significance. If the new formulae are rigorously valid across the singularity and the resulting derivative signs are correctly established, the work resolves a conjecture in integrable systems and celestial mechanics. It supplies explicit, complementary expressions that enable direct verification of monotonicity, strengthening the analytic understanding of the Euler problem's global dynamics.

major comments (1)
  1. [Abstract, paragraph 2] Abstract, paragraph 2: the load-bearing step is the claim that the new period formulae obtained via the Keplerian limit and complex analysis remain valid and differentiable across the singularity; without explicit verification of contour identification and analytic continuation in the derivation, the sign of the derivative with respect to the first integral cannot be guaranteed on both sides, undermining the monotonicity proof.
minor comments (1)
  1. Notation for the non-trivial first integral and the energy level should be introduced with a brief reminder of their definitions from the Euler problem to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the central technical point in the proof. We address the concern regarding analytic continuation and differentiability across the singularity below.

read point-by-point responses

  1. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the load-bearing step is the claim that the new period formulae obtained via the Keplerian limit and complex analysis remain valid and differentiable across the singularity; without explicit verification of contour identification and analytic continuation in the derivation, the sign of the derivative with respect to the first integral cannot be guaranteed on both sides, undermining the monotonicity proof.

    Authors: The manuscript derives the complementary period formulae by taking the Keplerian limit and applying residue calculus on explicitly identified contours. Section 3 constructs the contours on each side of the singularity, deforms them continuously through the singular value while tracking the branch cuts, and verifies that the resulting expressions coincide at the singularity with matching first derivatives. Because the integrands remain holomorphic in a neighborhood of the continued contour (except for the controlled poles), the period functions are analytic across the singularity. The sign of the derivative with respect to the first integral is then read off from the same residue expressions, which are positive on both sides by the same positivity argument. This establishes the required monotonicity without additional assumptions. The steps are carried out in full detail rather than asserted; if the referee finds any intermediate contour identification insufficiently labeled, we can add an explicit diagram and one additional sentence in a revision, but the existing argument already supplies the verification. revision: no

Circularity Check

0 steps flagged

No circularity: new period formulae derived via independent Keplerian limit + complex analysis; monotonicity is a downstream application.

full rationale

The paper explicitly derives complementary period formulae using the Keplerian limit and complex analysis tools, then applies those formulae to prove the Dullin-Montgomery conjecture on monotonicity of periods and rotation number. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation. The derivation chain is self-contained against external analytic methods and does not rename or re-express its own inputs as outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, ad-hoc axioms, or invented entities are visible. The work relies on standard complex-analysis continuation and the known integrability of the Euler problem.

pith-pipeline@v0.9.0 · 5626 in / 1016 out tokens · 26782 ms · 2026-05-24T11:20:20.419957+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    A. A. Bekov and T. B. Omarov, Integrable cases of the Hamilton-Jacobi equation and some nonsteady problems of celestial mechanics , J Soviet Astronomy 22 (1978), 366–370

    work page 1978

  2. [2]

    Lectures on the theory of functions of a complex va riables and on elliptic functions

    L. Bianchi, “Lectures on the theory of functions of a complex va riables and on elliptic functions”, Enrico Spoerri, Pisa, 1899

    work page

  3. [3]

    Bonanno and S

    C. Bonanno and S. Mar` o, Chaotic motion in the breathing circle billiard , Ann. Henri Poincar´ e23 (2022), 255–291

    work page 2022

  4. [4]

    K. C. Chen, On action-minimizing solutions of the two-center problem , Acta Math. Sci. Ser. B (Engl. Ed.) 42 (2022), 2450–2458

    work page 2022

  5. [5]

    Chen and G

    Q. Chen and G. Pinzari, Exponential stability of fast driven systems, with an application to celestial mechanics , Nonlinear Anal. 208 (2021), 112306

    work page 2021

  6. [6]

    Di Ruzza, J

    S. Di Ruzza, J. Daquin, and G. Pinzari, Symbolic dynamics in a binary asteroid system , Commun. Nonlinear Sci. Numer. Simul. 91 (2020), 105414

    work page 2020

  7. [7]

    Di Ruzza, and G

    S. Di Ruzza, and G. Pinzari, Euler integral as a source of chaos in the three-body problem , Commun. Nonlinear Sci. Numer. Simul. 110 (2022), 106372

    work page 2022

  8. [8]

    H. R. Dullin and Richard Montgomery. Syzygies in the two center problem , Nonlinearity 29 (2016), 1212–1237

    work page 2016

  9. [9]

    Commentationes mechanicae ad theoriam motus pun ctorum pertinentes

    L. Eulerus, “Commentationes mechanicae ad theoriam motus pun ctorum pertinentes. ” Societas Scientiarum Naturalium Helveticae, Edidit Charles Blanc, Lau sanne, 1957

    work page 1957

  10. [10]

    Frauenfelder

    U. Frauenfelder. Delayed Rabinowitz Floer Homology , arXiv e-prints, arXiv:2302.03514 (2023)

    work page arXiv 2023

  11. [11]

    Guzzo, L

    M. Guzzo, L. Chierchia, and G. Benettin, The steep Nekhoroshev’s theorem Comm. Math. Phys. 342 (2016), 569–601

    work page 2016

  12. [12]

    A. M. Hiltebeitel, On the Problem of Two Fixed Centres and Certain of Its Generalizatio ns Amer. J. Math. 33 (1911), 337–362

    work page 1911

  13. [13]

    Jacobi’s lectures on dynamics

    C. G. J. Jacobi, “Jacobi’s lectures on dynamics”, Texts and Rea dings in Mathematics, Hindustan Book Agency, New Delhi, 2009

    work page 2009

  14. [14]

    J. N. Mather, More Denjoy minimal sets for area preserving diffeomorphisms , Comment. Math. Helv. 60 (1985), 508–557

    work page 1985

  15. [15]

    J. N. Mather, Variational construction of orbits of twist diffeomorphisms , J. Amer. Math. Soc. 4 (1991), 207–263

    work page 1991

  16. [16]

    Moeckel, The Foucault pendulum (with a twist) , SIAM J

    R. Moeckel, The Foucault pendulum (with a twist) , SIAM J. Appl. Dyn. Syst. 14 (2015), 1644–1662

    work page 2015

  17. [17]

    N. N. Nehoroˇ sev, An exponential estimate of the time of stability of nearly integrable Hamiltonian systems , Uspehi Mat. Nauk 32 (1977), 5–66

    work page 1977

  18. [18]

    N. N. Nehoroˇ sev, An exponential estimate of the time of stability of nearly integrable Hamiltonian systems. II , Trudy Sem. Petrovsk. 5 (1979), 5–50

    work page 1979

  19. [19]

    Niederman, Exponential stability for small perturbations of steep integrable H amiltonian systems, Ergodic Theory Dynam

    L. Niederman, Exponential stability for small perturbations of steep integrable H amiltonian systems, Ergodic Theory Dynam. Systems 24 (2004), 593–608. 26

    work page 2004

  20. [20]

    Pinzari, Euler integral and perihelion librations , Discrete Contin

    G. Pinzari, Euler integral and perihelion librations , Discrete Contin. Dyn. Syst. 40 (2020), 6919–6943

    work page 2020

  21. [21]

    Pinzari, Perihelion librations in the secular three-body problem , J

    G. Pinzari, Perihelion librations in the secular three-body problem , J. Nonlinear Sci. 30 (2020), 1771–1808

    work page 2020

  22. [22]

    P¨ oschel, Nekhoroshev estimates for quasi-convex Hamiltonian systems , Math

    J. P¨ oschel, Nekhoroshev estimates for quasi-convex Hamiltonian systems , Math. Z. 213 (1993), 187–216

    work page 1993

  23. [23]

    Siconolfi and A

    A. Siconolfi and A. Sorrentino, Aubry-Mather theory on graphs , Nonlinearity 36 (2023), 5819–5859

    work page 2023

  24. [24]

    Takeuchi and L

    A. Takeuchi and L. Zhao, Concave Toric Domains in Stark-type Mechanical Systems , arXiv e-prints, arXiv:2311.08912 (2023)

    work page arXiv 2023

  25. [25]

    Waalkens, H

    H. Waalkens, H. R. Dullin, and P. H. Richter, The problem of two fixed centers: bifurcations, actions, monodromy , Phys. D 196 (2004), 265–310. 27

    work page 2004