We study singularities of the n-body problem in spaces of constant curvature and generalize certain results due to Painleve, Weierstrass, and Sundman. For positive curvature, some of our proofs use the correspondence between total collision solutions of the original system and their orthogonal projection--a property that offers a new method of approaching the problem in this particular case.
We provide a class of orbits in the curved N-body problem for which no point that could play the role of the centre of mass is fixed or moves uniformly along a geodesic. This proves that the equations of motion lack centre-of-mass and linear-momentum integrals.
We consider the 3-body problem of celestial mechanics in Euclidean, elliptic, and hyperbolic spaces, and study how the Lagrangian (equilateral) relative equilibria bifurcate when the Gaussian curvature varies. We thus prove the existence of new classes of orbits. In particular, we find some families of isosceles triangles, which occur in elliptic space.
Consider the dynamics of two point masses on a surface of constant curvature subject to an attractive force analogue of Newton's inverse square law. When the distance between the bodies is sufficiently small, the reduced equations of motion may be seen as a perturbation of an integrable system. We define suitable action-angle coordinates to average these perturbing terms and observe dynamical effects of the curvature on the motion of the two-bodies.
We consider the 3-body problem in 3-dimensional spaces of nonzero constant Gaussian curvature and study the relationship between the masses of the Lagrangian relative equilibria, which are orbits that form a rigidly rotating equilateral triangle at all times. There are three classes of Lagrangian relative equilibria in 3-dimensional spaces of constant nonzero curvature: positive elliptic and positive elliptic-elliptic, on 3-spheres, and negative elliptic, on hyperbolic 3-spheres. We prove that all these Lagrangian relative equilibria exist only for equal values of the masses.
We consider the motion of n point particles of positive masses that interact gravitationally on the 2-dimensional hyperbolic sphere, which has negative constant Gaussian curvature. Using the stereographic projection, we derive the equations of motion of this curved n-body problem in the Poincaré disk, where we study the elliptic relative equilibria. Then we obtain the equations of motion in the Poincaré upper half plane in order to analyze the hyperbolic and parabolic relative equilibria. Using techniques of Riemannian geometry, we characterize each of the above classes of periodic orbits. For…
In this paper, we show that there is a Cantor set of initial conditions in the planar four-body problem such that all four bodies escape to infinity in a finite time, avoiding collisions. This proves the Painlevé conjecture for the four-body case, and thus settles the last open case of the conjecture.
We consider the $N$-body problem of celestial mechanics in spaces of nonzero constant curvature. Using the concept of locked inertia tensor, we compute the moment of inertia for systems moving on spheres and hyperbolic spheres and show that we can recover the classical definition in the Euclidean case. After proving some criteria for the existence of relative equilibria, we find a natural way to define the concept of central configuration in curved spaces using the moment of inertia, and show that our definition is formally similar to the one that governs the classical problem. The existence c…
In the $2$-dimensional $n$-body problem, $n\ge 3$, in spaces of constant curvature, $κ\ne 0$, we study polygonal homographic solutions. We first provide necessary and sufficient conditions for the existence of these orbits and then consider the case of regular polygons. We further use this criterion to show that, for any $n\ge 3$, the regular $n$-gon is a polygonal homographic orbit if and only if all masses are equal. Then we prove the existence of relative equilibria of non-equal masses on the sphere of curvature $κ>0$ for $n=3$ in the case of scalene triangles. Such triangular relative equi…
We consider the motion of point masses given by a natural extension of Newtonian gravitation to spaces of constant positive curvature. Our goal is to explore the spectral stability of tetrahedral orbits of the corresponding 4-body problem in the 2-dimensional case, a situation that can be reduced to studying the motion of the bodies on the unit sphere. We first perform some extensive and highly precise numerical experiments to find the likely regions of stability and instability, relative to the values of the masses and to the latitude of the position of three equal masses. Then we support the…
We prove that if for relative equilibrium solutions of a generalisation of quasi-homogeneous $n$-body problems the masses and rotation are given, then the minimum distance between the point masses of such a relative equilibrium has a universal lower bound that is not equal to zero. We furthermore prove that the set of such relative equilibria is compact and prove related results for $n$-body problems in spaces of constant Gaussian curvature.
In the 2-dimensional curved 3-body problem, we prove the existence of Lagrangian and Eulerian homographic orbits, and provide their complete classification in the case of equal masses. We also show that the only non-homothetic hyperbolic Eulerian solutions are the hyperbolic Eulerian relative equilibria, a result that proves their instability.
For the $n$-body problem in spaces of negative constant Gaussian curvature, we prove for a class of negative hyperbolic rotopulsators that if that class exists, the configurations of the point masses of these rotopulsators have to be regular polygons if the rotopulsators are not relative equilibria. Additionally, we prove that if the rotopulsators are relative equilibria, there exists at most one such solution.
We consider the $n$ body problem defined on surfaces of constant positive curvature. For the 5 and 7 body problem in a collinear symmetric configuration we obtain initial positions which lead to relative equilibria. We give explicitly the values of masses in terms of the initial positions. For positions for which relative equilibria exist, there are infinitely many values of the masses that generate such solutions. For the 5 and 7 body problem, the set of parameters (masses and positions) leading to relative equilibria has positive Lebesgue measure.
For the curved n-body problem, we show that the set of ordinary central configurations is away from most singular configurations in H^3, and away from a subset of singular configurations in S^3. We also show that each of the n!/2 geodesic ordinary central configurations for n masses has Morse index n-2. Then we get a direct corollary that there are at least (3n-4)(n-1)!/2 ordinary central configurations for given n masses if all ordinary central configurations of these masses are non-degenerate.
We consider the $n$--body problem defined on surfaces of constant negative curvature. For the case of $n$--equal masses we prove that the hyperbolic relative equilibria with a regular polygonal shape do not exist. In particular the Lagrangian (three equal distances) hyperbolic relative equilibria do not exist. We also show the existence of a new class of hyperbolic collinear relative equilibria for the five body problem on surfaces of constant negative curvature.
We consider the 4-body problem in spaces of constant curvature and study the existence of spherical and hyperbolic rectangular solutions, i.e. equiangular quadrilateral motions on spheres and hyperbolic spheres. We focus on relative equilibria (orbits that maintain constant mutual distances) and rotopulsators (configurations that rotate and change size, but preserve equiangularity). We prove that when such orbits exist, they are necessarily spherical or hyperbolic squares, i.e. equiangular equilateral quadrilaterals.
We consider $(n+1)$ bodies moving under their mutual gravitational attraction in spaces with constant Gaussian curvature $κ$. In this system, $n$ primary bodies with equal masses form a relative equilibrium solution with a regular polygon configuration, and the remaining body of negligible mass does not affect the motion of the others. We show that the singularity due to binary collision between the negligible mass and the primaries can be regularized local and globally through suitable changes of coordinates (Levi-Civita and Birkhoff type transformations).
We denote by $\mathbb{M}^2_R$ a two dimensional space of constant positive Gaussian curvature. With methods of Möbius geometry and using the classification of the Möbius group of automorphisms ${\rm \bf Mob}_2 \, (\hat{\mathbb{C}})$ of the Riemman sphere $\hat{\mathbb{C}}=\mathbb{M}_R^2 \cup \{\infty\}$, we give algebraic conditions for the existence of Möbius solutions on $\hat{\mathbb{C}}$, getting a complete classification of them. We show several families of this kind of solutions.
Analytical methods are used to prove the existence of a periodic, symmetric solution with singularities in the planar 4-body problem. A numerical calculation and simulation are used to generate the orbit. The analytical method easily extends to any even number of bodies. Multiple simultaneous binary collisions are a key feature of the orbits generated.
We revisit polygonal positive elliptic rotopulsator solutions and polygonal negative elliptic rotopulsator solutions of the $n$-body problem in $\mathbb{H}^{3}$ and $\mathbb{S}^{3}$ and prove existence of these solutions, prove that the masses of these rotopulsators have to be equal if the rotopulsators are of nonconstant size and show that the number of negative elliptic relative equilibria of this type is finite, as is the number of positive elliptic relative equilibria if an upper bound on the size of the relative equilibrium is imposed. Additionally, we prove that a class of negative hyper…
We provide the differential equations that generalize the Newtonian N-body problem of celestial mechanics to spaces of constant Gaussian curvature, k, for all k real. In previous studies, the equations of motion made sense only for k nonzero. The system derived here does more than just include the Euclidean case in the limit when k tends to 0: it recovers the classical equations for k=0. This new expression of the laws of motion allows the study of the N-body problem in the context of constant curvature spaces and thus offers a natural generalization of the Newtonian equations that includes th…
In this paper, we prove the existence of super-hyperbolic orbits in four-body problem, which solves a conjecture of Marchal-Saari. We also prove the existence of noncollision singularities in the same model, which solves a conjecture of Anosov. Moreover, the two type of solutions coexist for certain mass ratios. We also make a conjecture on the classification of final motions of N-body problem, in which the superhyperbolic type of orbits is one of the building blocks.
We consider the N-body problem in spaces of constant curvature and study its rotopulsators, i.e.\ solutions for which the configuration of the bodies rotates and changes size during the motion. Rotopulsators fall naturally into five groups: positive elliptic, positive elliptic-elliptic, negative elliptic, negative hyperbolic, and negative elliptic-hyperbolic, depending on the nature and number of their rotations and on whether they occur in spaces of positive or negative curvature. After obtaining existence criteria for each type of rotopulsator, we derive their conservation laws. We further d…
We consider the 3-dimensional gravitational $n$-body problem, $n\ge 2$, in spaces of constant Gaussian curvature $κ\ne 0$, i.e.\ on spheres ${\mathbb S}_κ^3$, for $κ>0$, and on hyperbolic manifolds ${\mathbb H}_κ^3$, for $κ<0$. Our goal is to define and study relative equilibria, which are orbits whose mutual distances remain constant in time. We also briefly discuss the issue of singularities in order to avoid impossible configurations. We derive the equations of motion and define six classes of relative equilibria, which follow naturally from the geometric properties of ${\mathbb S}_κ^3$ and…
This paper shows the existence of a periodic orbit with singularity in the symmetric collinear four body problem. In each period of the orbit, there is a binary collision (BC) between the inner two bodies and a simultaneous binary collision (SBC) of the two clusters on both sides of the origin. The system is regularized and the existence is proven by using the implicit function theorem and a continuity argument on differential equations of the regularized Hamiltonian.
We prove that the fixed points of the curved 3-body problem and their associated relative equilibria are Lyapunov stable if the solutions are restricted to $\mathbb S^1$, but unstable if the bodies are considered in $\mathbb S^2$.
Up to symmetries, the orbits of three equal masses under an inverse cube force with zero angular momentum and constant moment of inertia can be reparametrized as the geodesics of a complete, negatively curved metric on a pair of pants. The ends of the pants represent binary collisions. Here we will examine the visibility properties of such negatively curved surfaces, allowing a description of orbits beginning or ending in binary collisions of this 3-body problem.
The validity of Sundman-type asymptotic estimates for collision solutions is established for a wide class of dynamical systems with singular forces, including the classical $N$--body problems with Newtonian, quasi--homogeneous and logarithmic potentials. The solutions are meant in the generalized sense of Morse (locally --in space and time-- minimal trajectories with respect to compactly supported variations) and their uniform limits. The analysis includes the extension of the Von Zeipel's Theorem and the proof of isolatedness of collisions. Furthermore, such asymptotic analysis is applied to …
We consider a curved Sitnikov problem, in which an infinitesimal particle moves on a circle under the gravitational influence of two equal masses in Keplerian motion within a plane perpendicular to that circle. There are two equilibrium points, whose stability we are studying. We show that one of the equilibrium points undergoes stability interchanges as the semi-major axis of the Keplerian ellipses approaches the diameter of that circle. To derive this result, we first formulate and prove a general theorem on stability interchanges, and then we apply it to our model. The motivation for our mo…
In this paper, we study a model of simplified four-body problem called planar two-center-two-body problem. In the plane, we have two fixed centers $Q_1=(-χ,0)$, $Q_2=(0,0)$ of masses 1, and two moving bodies $Q_3$ and $Q_4$ of masses $μ\ll 1$. They interact via Newtonian potential. $Q_3$ is captured by $Q_2$, and $Q_4$ travels back and forth between two centers. Based on a model of Gerver, we prove that there is a Cantor set of initial conditions which lead to solutions of the Hamiltonian system whose velocities are accelerated to infinity within finite time avoiding all early collisions. We c…
We generalize the curved $N$-body problem to spheres and hyperbolic spheres whose curvature $κ$ varies in time. Unlike in the particular case when the curvature is constant, the equations of motion are non-autonomous. We first briefly consider the analogue of the Kepler problem and then investigate the homographic orbits for any number of bodies, proving the existence of several such classes of solutions on spheres. Allowing the curvature to vary in time offers some insight into the effect of an expanding universe, in the context the curved $N$-body problem, when $κ$ satisfies Hubble's law. Th…
We study the long term evolution of the distance between two Keplerian confocal trajectories in the framework of the averaged restricted 3-body problem. The bodies may represent the Sun, a solar system planet and an asteroid. The secular evolution of the orbital elements of the asteroid is computed by averaging the equations of motion over the mean anomalies of the asteroid and the planet. When an orbit crossing with the planet occurs the averaged equations become singular. However, it is possible to define piecewise differentiable solutions by extending the averaged vector field beyond the si…
We prove that if for the curved $n$-body problem the masses are given, the minimum distance between the point masses of a specific type of relative equilibrium solution to that problem has a universal lower bound that is not equal to zero. We furthermore prove that the set of all such relative equilibria is compact. This class of relative equilibria includes all relative equilibria of the curved $n$-body problem in $\mathbb{S}^{2}$, $\mathbb{H}^{2}$ and a significant subset of the relative equilibria for $\mathbb{S}^{3}$ and $\mathbb{H}^{3}$.
We prove that all non-degenerate relative equilibria of the planar Newtonian $n$--body problem can be continued to spaces of constant curvature $κ$, positive or negative, for small enough values of this parameter. We also compute the extension of some classical relative equilibria to curved spaces using numerical continuation. In particular, we extend Lagrange's triangle configuration with different masses to both positive and negative curvature spaces.
The Restricted 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies, called the primaries. If the primaries perform circular motions and the massless body is coplanar with them, one has the Restricted Planar Circular 3-Body Problem (RPC3BP). In synodic coordinates, it is a two degrees of freedom Hamiltonian system with five critical points, L1,..,L5, called the Lagrange points. The Lagrange point L3 is a saddle-center critical point which is collinear with the primaries and is located beyond the largest of the two. In this paper …
It is a big problem to distinguish between integrable and non-integrable Hamiltonian systems. We provide a new approach to prove the non-integrability of homogeneous Hamiltonian systems with two degrees of freedom. The homogeneous degree can be chosen from real values (not necessarily integer). The proof is based on the blowing-up theory which McGehee established in the collinear three-body problem. We also compare our result with Molares-Ramis theory which is the strongest theory in this field.
In this paper, we use canonical transformations to collectively analytically continue the singularities of the simultaneous binary collision solutions for the collinear four- body problem in both the decoupled case and the coupled case. All the solutions are found and more importantly, we describe the relationship between the decoupled solutions and the coupled solutions.
We establish exponential mixing for the geodesic flow $φ_t\colon T^1S\to T^1S$ of an incomplete, negatively curved surface $S$ with cusp-like singularities of a prescribed order. As a consequence, we obtain that the Weil-Petersson flows for the moduli spaces ${\mathcal M}_{1,1}$ and ${\mathcal M}_{0,4}$ are exponentially mixing, in sharp contrast to the flows for ${\mathcal M}_{g,n}$ with $3g-3+n>1$, which fail to be rapidly mixing. In the proof, we present a new method of analyzing invariant foliations for hyperbolic flows with singularities, based on changing the Riemannian metric on the pha…
We treat the circular and elliptic restricted three-body problems in inertial frames as periodically forced Kepler problems with additional singularities and explain that in this setting the main result of [4] is applicable. This guarantees the existence of an arbitrary large number of generalized periodic orbits (periodic orbits with possible double collisions regularized) provided the mass ratio of the primaries is small enough.