Marchal-type lemmas for the restricted $(N+1)$-body problem with their applications

Kuo-chang Chen; Guowei Yu

Home/Archive/arXiv

arXiv · 2610.22849

Marchal-type lemmas for the restricted $(N+1)$-body problem with their applications

Kuo-chang Chen·Guowei Yu

View original source ↗Read source document ↗Export metadata ↓

Abstract

The direct methods of calculus of variations have had a great success in the classical Newtonian $N$-body problem in this century. First in finding periodic solutions and more recently in the existence of parabolic, hyperbolic and hyperbolic-parabolic solutions. The foundation of many of these results is Marchal's lemma, which guarantee's fixed-end local minimizers are collision-free and hence classical solutions of the $N$-body problem. Meanwhile almost no result is available in the restricted problem through the direct methods of calculus of variations, mainly due to the lack of a Marchal-type lemma. In this paper such a lemma and its variation will be obtained for the restricted problem. We then apply them to the restricted problem to study unbounded (hyperbolic, parabolic, bi-hyperbolic and bi-parabolic) solutions, and bounded (periodic and quasi-periodic) solutions. We emphasize that the extension to the restricted case does not follow from the standard arguement for the unrestricted case.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kuo-chang Chen, Guowei Yu. 2026-10-16. Marchal-type lemmas for the restricted $(N+1)$-body problem with their applications. https://arxiv.org/abs/2610.22849

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finiteness of planar central configurations of five bodies for all positive masses: On Smale's sixth problem

We prove that for every choice of five positive masses the planar five-body problem has only finitely many central configurations up to rotation, translation and scaling. This answers Smale's sixth problem for five bodies. Albouy and Kaloshin proved the statement for all masses outside a closed algebraic subset of codimension two of the mass space. We keep their classification of singular sequences and replace the construction of the exceptional set by a direct exclusion: we use finite boundary charts for seven of the eight diagrams that can carry an unbounded four-product, and an exhaustive order census for Diagram 5. We derive the necessary mass conditions where needed and show that no germ with an unbounded four-product lies on a curve of normalized central configurations through a positive configuration. Five diagrams are excluded for all complex germs, two on curves through real configurations, and one on curves through positive configurations. Parts of the argument are computer-assisted: exact algebra, interval arithmetic and exact linear programming.

math.DS↗

arXiv2026

Continuity of biaccessibility dimension for polynomials

For a polynomial $f$ of degree $d\geq 2$, its biaccessible set $B(f)$ consists of angles whose external rays are smooth and land at a point receiving at least two smooth external rays. We prove that the function $f\mapsto {\rm dim}_H(B(f))$ is continuous on the entire space of degree-$d$ polynomials. Therefore $(\log d){\rm dim}_H (B(f))$ gives a continuous extension of classical core entropy from the postcritically finite case to all polynomials of degree $d$.

math.DS↗

arXiv2026

Rigorous verification of period-doubling bifurcations in maps

We present a computer-assisted approach for proving period-doubling bifurcations in one-parameter families of maps $x \mapsto f(x,λ)$ on $\mathbb{R}^n$. We solve a square augmented system, called the period-doubling map, whose unknowns are the fixed point, the parameter, the right eigenvector attached to the eigenvalue $-1$, the left eigenvector with its eigenvalue, and the vector which describes the center manifold to second order. A contraction argument gives a solution close to a numerical approximation, at which the Jacobian is invertible. The determinant of this Jacobian factors into a simple expression, so that it is nonzero exactly when $1$ is not an eigenvalue and $-1$ is a simple eigenvalue crossing the unit circle transversally. Apart from the sign of the cubic normal-form coefficient, computed afterwards, it remains to check with Gershgorin disks that no other eigenvalue lies on the unit circle. The method is applied to a $10$-mode Galerkin projection of the Kot--Schaffer growth-dispersal model, for which we prove a supercritical period-doubling bifurcation.

math.DS↗