pith. sign in

arxiv: 2604.18082 · v1 · submitted 2026-04-20 · 🧮 math.AP

Stability of geodesic-ray data, horofunctions, and rectifiability of fixed-shape slices in the Newtonian \(N\)-body problem

Putian Yang , Shiqing Zhang This is my paper

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

classification 🧮 math.AP
keywords Newtonian N-body problemgeodesic rayshorofunctionsrectifiabilityHausdorff dimensionJacobi-Maupertuis principleHamilton-Jacobi equationreduced configuration space
0
0 comments X

The pith

In the Newtonian N-body problem at nonnegative energy, fixed collision-free hyperbolic shapes select geodesic-ray slices that are countably rectifiable with Hausdorff dimension exactly d(N-1) in reduced phase space.

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

The paper proves a compactness and stability result for classical initial data that generate geodesic rays under the Jacobi-Maupertuis variational principle: limits in phase space stay collision-free, continue to generate geodesic rays, and produce locally relatively compact normalized Busemann functions whose limits are horofunctions solving the stationary Hamilton-Jacobi equation in the viscosity sense. For any fixed collision-free hyperbolic limit shape, the corresponding slice of such data is closed. After reduction to the configuration space X, this slice is countably d(N-1)-rectifiable inside phase space and attains Hausdorff dimension exactly d(N-1).

Core claim

After passage to the reduced configuration space X, the fixed-shape slice of geodesic-ray data for a collision-free hyperbolic limit shape a is a countably d(N-1)-rectifiable subset of phase space whose Hausdorff dimension equals d(N-1).

What carries the argument

The fixed-shape slice of geodesic-ray data in the reduced phase space, obtained as the level set of limiting horofunctions under the Jacobi-Maupertuis principle.

If this is right

  • Limits of collision-free geodesic-ray data remain collision-free and generate geodesic rays.
  • Normalized Busemann functions converge to horofunctions that are viscosity solutions of the limiting stationary Hamilton-Jacobi equation.
  • The fixed-shape slice is closed inside the ambient phase space.
  • The slice has Hausdorff dimension exactly d(N-1) once reduced to configuration space X.

Where Pith is reading between the lines

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

  • The countable rectifiability allows the set of such calibrated motions to be covered by countably many Lipschitz images of R to the power d(N-1), which could support integration or density estimates over the slice.
  • Analogous stability and rectifiability statements may hold for other variational problems in Hamiltonian mechanics that admit a similar nonnegative-energy reduction.
  • The exact dimension result suggests that the family of fixed-shape minimizing motions can be locally parameterized by d(N-1) coordinates in the reduced phase space.

Load-bearing premise

The limiting shape must be collision-free and hyperbolic while the total energy is nonnegative so that the Jacobi-Maupertuis principle applies.

What would settle it

A sequence of geodesic rays with the same fixed hyperbolic shape whose phase-space limit set fails to be countably d(N-1)-rectifiable or has Hausdorff dimension other than d(N-1) would falsify the rectifiability claim.

read the original abstract

For the Newtonian \(N\)-body problem at nonnegative energy, we study solution sets selected by the Jacobi--Maupertuis variational principle and by the associated stationary Hamilton--Jacobi equation. We prove a compactness/stability theorem for classical initial data generating geodesic rays: limits in the ambient phase space remain collision-free, generate geodesic rays, and carry locally relatively compact normalized Busemann functions. The limiting horofunction of normalized Busemann functions yields a viscosity solution of the limiting stationary equation. For a fixed collision-free hyperbolic limit shape \(a\), we also prove closedness of the corresponding slice of geodesic-ray data. Finally, after passing to the reduced configuration space \(X\), we show that this fixed-shape slice is countably \(d(N-1)\)-rectifiable in phase space and has Hausdorff dimension exactly \(d(N-1)\). Thus the paper combines phase-space compactness of calibrated minimizing motions with a geometric-measure description of a fixed-shape Hamilton--Jacobi calibrated slice.

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

0 major / 3 minor

Summary. The paper proves a compactness/stability theorem for classical initial data generating geodesic rays in the Newtonian N-body problem at nonnegative energy, selected by the Jacobi-Maupertuis variational principle. Limits in ambient phase space remain collision-free, generate geodesic rays, and carry locally relatively compact normalized Busemann functions; the limiting horofunction is a viscosity solution of the stationary Hamilton-Jacobi equation. For a fixed collision-free hyperbolic limit shape a, the corresponding slice of geodesic-ray data is closed. After reduction to the configuration space X, this fixed-shape slice is shown to be countably d(N-1)-rectifiable in phase space with Hausdorff dimension exactly d(N-1).

Significance. If the central claims hold, the work supplies a geometric-measure-theoretic description of invariant sets of calibrated minimizing motions in the N-body problem, linking variational principles, horofunctions, and rectifiability. This strengthens the analysis of nonnegative-energy dynamics and could inform studies of long-term behavior and collision avoidance. The combination of phase-space compactness with an exact Hausdorff-dimension result for the fixed-shape slice is a clear strength.

minor comments (3)
  1. §1 (Introduction): the reduced space X is referenced before its explicit definition; insert a short paragraph defining X and the projection immediately after the statement of the Jacobi-Maupertuis metric.
  2. Theorem 1.3 (closedness): the proof sketch invokes hyperbolicity of a to obtain uniform escape rates; add a one-sentence reminder of the precise escape-rate estimate used, citing the relevant lemma.
  3. §4 (rectifiability): the passage from the graph of the a.e.-defined differential of the horofunction to countable d(N-1)-rectifiability is standard but would benefit from an explicit reference to the Federer or Ambrosio-Fusco-Pallara theorem invoked.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of the compactness/stability theorem for geodesic-ray data, the closedness of fixed-shape slices, and the countable rectifiability result with exact Hausdorff dimension d(N-1). We appreciate the recommendation for minor revision and will incorporate any necessary clarifications in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives its central claims on compactness/stability of geodesic-ray data, closedness of fixed-shape slices for collision-free hyperbolic limits, and countable d(N-1)-rectifiability of the slice in the reduced space X directly from the Jacobi-Maupertuis variational principle, standard properties of Busemann functions and horofunctions, and the fact that the limiting horofunction is a viscosity solution of the stationary Hamilton-Jacobi equation. The rectifiability conclusion follows from the graph of the a.e.-defined differential of this Lipschitz horofunction having Hausdorff dimension exactly d(N-1) once projected to X. No load-bearing step reduces by definition, fitted-parameter renaming, or self-citation chain to the target result; all steps invoke external mathematical facts about viscosity solutions and rectifiable sets that are independent of the paper's fitted values or prior outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard variational formulation of the N-body problem at nonnegative energy and on properties of horofunctions in metric spaces; no free parameters or new invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The Jacobi-Maupertuis principle selects geodesic rays for the Newtonian N-body problem at nonnegative energy.
    Invoked in the first sentence of the abstract as the selection mechanism for the solution sets under study.
  • domain assumption Normalized Busemann functions associated to geodesic rays converge to viscosity solutions of the stationary Hamilton-Jacobi equation.
    Stated as part of the compactness theorem in the abstract.

pith-pipeline@v0.9.0 · 5482 in / 1304 out tokens · 61563 ms · 2026-05-10T04:23:01.935243+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

14 extracted references · 14 canonical work pages

  1. [1]

    On the regularity of solutions to the hamilton-jacobi equations for the n-body problem, 2025

    Diego Berti, Davide Polimeni, and Susanna Terracini. On the regularity of solutions to the hamilton-jacobi equations for the n-body problem, 2025

    work page 2025

  2. [2]

    Burgos and E

    J. Burgos and E. Maderna. Geodesic rays of the N-body problem. Archive for Rational Mechanics and Analysis , 243(2):807–827, Feb 2022. 19

    work page 2022

  3. [3]

    Chenciner

    A. Chenciner. Action minimizing solutions of the Newtonian n-body problem: From homology to symmetry. In Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20–28, 2002. Vol. III: Invited lectures , pages 279–294, Beijing, 2002. Beijing: Higher Education Press

    work page 2002

  4. [4]

    F. Clarke. Functional Analysis, Calculus of Variations and Optimal Control . Graduate Texts in Mathematics. Springer London, London, 1 edition, 2013

    work page 2013

  5. [5]

    A. D. Luz and E. Maderna. On the free time minimizers of the Newtonian N-body problem. Mathematical Proceedings of the Cambridge Philosophical Society , 156(2):209–227, 2014

    work page 2014

  6. [6]

    E. Maderna. On weak KAM theory for N-body problems. Ergodic Theory and Dynamical Systems, 32(3):1019–1041, 2012

    work page 2012

  7. [7]

    Maderna and A

    E. Maderna and A. Venturelli. Viscosity solutions and hyperbolic motions: a new PDE method for the N -body problem. Annals of Mathematics , 192(2):499 – 550, 2020

    work page 2020

  8. [8]

    Maderna and A

    E. Maderna and A. Venturelli. Uniqueness of hyperbolic Busemann functions in the Newto- nian N -body problem. Calculus of Variations and Partial Differential Equations , 65(2):51, 2026

    work page 2026

  9. [9]

    C. Marchal. How the method of minimization of action avoids singularities. Celestial Me- chanics and Dynamical Astronomy , 83(1):325–353, May 2002

    work page 2002

  10. [10]

    R. McGehee. Von Zeipel’s theorem on singularities in celestial mechanics. Expo. Math. , 4:335–345, 1986

    work page 1986

  11. [11]

    Poincaré

    H. Poincaré. Sur les solutions périodiques et le principe de la moindre action. C. R. Acad. Sci., Paris , 123:915–918, 1896

    work page

  12. [12]

    On the existence of minimal expansive solutions to the n-body problem

    Davide Polimeni and Susanna Terracini. On the existence of minimal expansive solutions to the n-body problem. Inventiones mathematicae, 238:585–635, 2024

    work page 2024

  13. [13]

    von Zeipel

    H. von Zeipel. Sur les singularités du probleme des n corps. Ark. Math. Astr. Fys. , (4):1–4, 1908

    work page 1908

  14. [14]

    Yu and S

    X. Yu and S. Zhang. Action-minimizing solutions of the one-dimensional N-body problem. Celestial Mechanics and Dynamical Astronomy , 130(37), 2018. 20

    work page 2018