Expansive solutions and the boundary at infinity for the homogeneous $N$-body problem

Davide Polimeni; Diego Berti; Susanna Terracini

arxiv: 2604.14948 · v1 · submitted 2026-04-16 · 🧮 math.DS

Expansive solutions and the boundary at infinity for the homogeneous N-body problem

Diego Berti , Davide Polimeni , Susanna Terracini This is my paper

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

classification 🧮 math.DS

keywords expansive solutionsN-body problemhomogeneous potentialsvariational methodsasymptotic expansionsweak KAM theoryboundary at infinityJacobi-Maupertuis metric

0 comments

The pith

Expansive N-body motions exist with any prescribed starting configuration and escape direction for a wide range of potential exponents.

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

The paper proves that half-entire expansive solutions exist for the N-body problem with homogeneous potentials of degree minus alpha. These solutions start from any given positions of the bodies and fly apart along any chosen direction at infinity. The proof rests on minimizing a renormalized version of the action integral, which works uniformly for hyperbolic, parabolic, and mixed escape types. Refined growth rates and higher-order corrections are obtained for the trajectories, and the motions are recast as geodesic rays in an associated metric that describes the boundary at infinity.

Core claim

For the N-body problem in R^d driven by a homogeneous potential of degree -alpha, half-entire expansive motions with any prescribed initial configuration and any prescribed asymptotic direction exist for a broad range of alpha. Existence follows from the direct method applied to a suitably renormalized Lagrangian action. Refined asymptotic expansions are derived for all classes of solutions, and the motions are identified with geodesic rays and calibrating curves in the Jacobi-Maupertuis metric within the framework of weak KAM theory, thereby giving a dynamical description of the boundary at infinity.

What carries the argument

The renormalized Lagrangian action functional whose minimizers produce expansive motions satisfying fixed initial data and fixed direction at infinity.

If this is right

Higher-order asymptotic expansions hold for expansive solutions in all regimes, sharpening classical estimates even when alpha equals one.
In the hyperbolic-parabolic regime the centers of mass of clusters escape linearly while their internal motions remain parabolic.
Expansive motions coincide with geodesic rays and with calibrating curves for the Hamilton-Jacobi equation associated to the renormalized action.
The boundary at infinity receives a dynamical characterization through the weak KAM theory of the Jacobi-Maupertuis metric.

Where Pith is reading between the lines

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

The same variational construction may produce expansive solutions for perturbed or non-homogeneous potentials.
Numerical minimization of the renormalized action could generate concrete examples of these motions for small numbers of bodies.
The boundary-at-infinity picture may help classify other global solutions such as scattering maps or total collisions.

Load-bearing premise

A modified action integral admits a minimizer for every choice of initial positions and every chosen escape direction.

What would settle it

An explicit initial configuration and direction for which the equations of motion admit no solution that escapes exactly in that direction while starting from those positions.

read the original abstract

We investigate expansive solutions of the $N$-body problem in $\mathbb{R}^d$ ($d\ge2$) driven by homogeneous Newtonian potentials of degree $-\alpha$. We establish the existence of half-entire expansive motions with prescribed initial configuration and asymptotic direction for a wide range of homogeneity exponents $\alpha$. Our approach is variational and relies on the minimization of a suitably renormalized Lagrangian action, allowing us to treat in a unified framework the hyperbolic, parabolic, and hyperbolic-parabolic regimes in the sense of Chazy's classification. Beyond existence, we derive refined asymptotic expansions for all classes of expansive solutions, identifying higher-order correction terms and improving previously known growth estimates, including the classical Newtonian case $\alpha=1$. In particular, for hyperbolic-parabolic solutions, we provide a detailed description of the interplay between linear escape of cluster centers and internal parabolic dynamics, extending the cluster scattering picture to general homogeneous potentials. Finally, we interpret these solutions within the geometric framework of the Jacobi-Maupertuis metric and the weak KAM theory. In this perspective, expansive motions correspond to geodesic rays and calibrating curves for the associated Hamilton-Jacobi equation, yielding a dynamical characterization of the boundary at infinity and a refined description of global viscosity solutions.

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 proves existence of half-entire expansive N-body motions for general homogeneous potentials via renormalized action minimization and supplies sharper asymptotic expansions with a weak KAM geometric reading.

read the letter

The main point is that this work establishes existence of half-entire expansive solutions with fixed initial configuration and asymptotic direction for the N-body problem under homogeneous potentials of degree -α, across a wide range of α. It treats hyperbolic, parabolic, and hyperbolic-parabolic regimes in one variational setting and extracts higher-order terms in the expansions that improve on earlier estimates, including the Newtonian case α=1. The geometric link to geodesic rays and calibrating curves in the Jacobi-Maupertuis metric via weak KAM theory is also new here and gives a clean dynamical picture of the boundary at infinity plus a description of cluster scattering for the mixed regime. The renormalized action is set up independently of the target solutions, so the existence argument avoids the usual circularity traps. The abstract indicates that the minimizers satisfy the equations of motion and that the refined asymptotics follow from the variational construction, which looks internally consistent. The cluster-center linear escape combined with internal parabolic motion is handled by extending the scattering picture to general α, and that extension appears to rest on standard variational arguments rather than ad-hoc fitting. Soft spots are limited. The precise interval of α needs checking at the boundaries to confirm where the coercivity or compactness arguments hold, and the error estimates in the expansions should be compared directly to prior Newtonian bounds to quantify the improvement. Nothing in the stated approach suggests a load-bearing gap, but the full proofs will show whether the minimizers remain expansive without extra constraints. This is for people working on asymptotic behavior in Hamiltonian systems and celestial mechanics. A reader who follows variational methods for unbounded orbits or weak KAM applications will get usable theorems and a new perspective. The existence results and the explicit expansions are concrete enough to merit referee time even if revisions are needed on the range of α or the error constants.

Referee Report

0 major / 3 minor

Summary. The paper establishes the existence of half-entire expansive motions with prescribed initial configuration and asymptotic direction for the homogeneous N-body problem in R^d (d≥2) with potentials homogeneous of degree -α. Using a variational approach based on minimization of a suitably renormalized Lagrangian action, it treats hyperbolic, parabolic, and hyperbolic-parabolic regimes uniformly for a wide range of α. The work also derives refined asymptotic expansions improving prior growth estimates (including for α=1), describes cluster dynamics in the mixed regime, and interprets the solutions geometrically as geodesic rays and calibrating curves in the Jacobi-Maupertuis metric via weak KAM theory.

Significance. If the central existence result holds, the paper offers a unified variational treatment of expansive solutions across Chazy regimes for general homogeneous potentials, extending classical Newtonian results with sharper asymptotics and a dynamical characterization of the boundary at infinity. The geometric link to weak KAM theory is a notable strength, providing a framework that could apply more broadly in celestial mechanics and Hamiltonian systems.

minor comments (3)

The abstract refers to a 'wide range of homogeneity exponents α' without stating the explicit interval (e.g., bounds relative to 2 or other critical values); this should be made precise in the statement of the main existence theorem to allow immediate assessment of applicability.
In the discussion of refined asymptotic expansions, the leading correction terms for each regime (hyperbolic, parabolic, mixed) should be displayed explicitly early in the introduction or in a dedicated subsection, rather than deferred entirely to later sections, to highlight the improvement over prior estimates.
The geometric interpretation via the Jacobi-Maupertuis metric and weak KAM theory is introduced at the end of the abstract; a brief forward reference or short paragraph in the introduction linking the variational minimizers to viscosity solutions would improve readability for readers less familiar with weak KAM.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report, so we have no points to address individually.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by minimizing a renormalized Lagrangian action functional whose definition is independent of the target expansive motions. Existence of half-entire solutions with prescribed initial data and asymptotic direction follows from this minimization for a range of homogeneity exponents α, with refined asymptotics and geometric interpretations via Jacobi-Maupertuis metric and weak KAM theory obtained as consequences. No self-definitional relations, fitted parameters renamed as predictions, or load-bearing self-citations appear; the variational setup is self-contained and externally grounded in standard techniques from Chazy classification and weak KAM theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard properties of homogeneous functions, existence of minimizers for coercive functionals on suitable function spaces, and the variational characterization of solutions to the Euler-Lagrange equations; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption The renormalized action functional is coercive and weakly lower semicontinuous on the space of admissible paths with fixed initial configuration and prescribed asymptotic direction.
Invoked to guarantee existence of a minimizer that solves the problem.
standard math Homogeneous potentials of degree -α satisfy the necessary regularity and growth conditions for the variational problem to be well-posed when d ≥ 2.
Background assumption on the potential that enables the unified treatment of regimes.

pith-pipeline@v0.9.0 · 5523 in / 1437 out tokens · 43289 ms · 2026-05-10T10:10:51.034394+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

,Viscosity solutions and hyperbolic motions: a new pde method for then-body problem, Annals of Mathematics, 192 (2020), pp. 499–550. [11]C. Marchal,How the method of minimization of action avoids singularities, Celestial Mechanics and Dynamical Astron- omy, 83 (2002), pp. 325–353. [12]C. Marchal and D. G. Saari,On the final evolution of then-body problem,...

work page arXiv 2020
[2]

Giuseppe Peano

,Sur les solutions périodiques et le principe de moindre action, Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris, 123 (1896), pp. 915–918. [17]D. Polimeni and S. Terracini,On the existence of minimal expansive solutions to the n-body problem, Inventiones Mathematicae, 238 (2024), p. 585–635. [18]H. Pollard,The behavior of grav...

work page 2024

[1] [1]

,Viscosity solutions and hyperbolic motions: a new pde method for then-body problem, Annals of Mathematics, 192 (2020), pp. 499–550. [11]C. Marchal,How the method of minimization of action avoids singularities, Celestial Mechanics and Dynamical Astron- omy, 83 (2002), pp. 325–353. [12]C. Marchal and D. G. Saari,On the final evolution of then-body problem,...

work page arXiv 2020

[2] [2]

Giuseppe Peano

,Sur les solutions périodiques et le principe de moindre action, Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris, 123 (1896), pp. 915–918. [17]D. Polimeni and S. Terracini,On the existence of minimal expansive solutions to the n-body problem, Inventiones Mathematicae, 238 (2024), p. 585–635. [18]H. Pollard,The behavior of grav...

work page 2024