Attracting and repelling 2-body problems on a family of surfaces of constant curvature

This paper classifies the pure rotational motion of two repelling particles on a sphere by establishing a geometric equivalence to attracting particles, and investigates how the existence and stability of relative equilibria in two-body problems on constant curvature surfaces evolve as the curvature parameter varies through zero, comparing scenarios of constant attraction versus curvature-dependent interaction.

The Gist

Imagine you are watching a cosmic dance. Usually, we imagine this dance happening on a flat floor (like a billiard table). But what if the floor is curved? What if it's the surface of a giant ball (like a sphere) or a saddle-shaped surface (like a Pringles chip)?

This paper by Luis García-Naranjo and James Montaldi is about figuring out how two dancers (particles) move when they are stuck on these curved surfaces, and how their dance changes as the floor itself changes shape.

Here is the story of their research, broken down into simple concepts.

1. The Two Dancers and the Curved Floor

Imagine two dancers, let's call them Alpha and Beta. They are connected by an invisible spring or rope.

• The Attracting Case: They like each other. The rope pulls them together.
• The Repelling Case: They hate each other. The rope pushes them apart.

Now, imagine the floor they are dancing on can change its shape:

• Positive Curvature ($\kappa > 0$): The floor is a Sphere (like Earth). If you walk straight, you eventually come back to where you started.
• Zero Curvature ($\kappa = 0$): The floor is Flat (like a sheet of paper). This is the "normal" world we live in.
• Negative Curvature ($\kappa < 0$): The floor is a Saddle (like a Pringles chip). If you walk straight, the floor curves away from you in all directions, making it hard to stay close to a friend.

The authors wanted to know: How does the dance change as we slowly morph the floor from a sphere, through a flat sheet, to a saddle?

2. The "Magic Trick" of the Repelling Dancers

The first part of the paper deals with the dancers who hate each other (repelling) on a sphere.

Usually, it's hard to study dancers who push each other away. But the authors found a clever "magic trick" (a mathematical equivalence).

• The Trick: If you have two dancers pushing each other apart on a sphere, it is mathematically identical to having two dancers pulling each other together, if you flip one of them to the exact opposite side of the sphere (like looking at your reflection in a mirror that is the size of the Earth).
• Why it matters: Scientists already knew how to study the "pulling" dancers. By using this trick, the authors instantly knew how the "pushing" dancers behave without doing all the hard math from scratch.

The Result:

• If the dancers have different weights, they can dance in two ways: either close together (acute) or far apart (obtuse).
• If they weigh the same, they can dance in a "right-angle" formation or a "symmetrical" formation.
• Crucial Discovery: If the floor is flat or saddle-shaped, two dancers who hate each other cannot maintain a steady dance. They will either crash into each other or fly apart. They only find a stable rhythm on a sphere.

3. The Great Transition (The "Curvature Family")

The main goal of the paper is to watch what happens when we slowly change the floor from a Sphere $\to$ Flat $\to$ Saddle.

Scenario A: The Lovers (Attracting Family)

Imagine two dancers who love each other.

• On the Sphere: They dance in a circle, holding hands, spinning around a common center.
• On the Flat Floor: This is the classic "Kepler" orbit (like the Earth orbiting the Sun). They spin in a perfect circle.
• On the Saddle: They still spin, but the shape of the orbit changes slightly to accommodate the curving floor.

The Big Finding: The transition is smooth. If you slowly flatten the sphere, their circular dance just gently morphs into the flat-circle dance, and then into the saddle-dance. Nothing breaks. They are stable in all three worlds, as long as they don't get too far apart.

Scenario B: The Rivals (Attracting-Repelling Family)

This is the most interesting part. Imagine a relationship that changes based on the floor:

• On the Saddle ($\kappa < 0$): They are Lovers (Attracting).
• On the Flat Floor ($\kappa = 0$): They are Strangers (No interaction). They just walk in straight lines.
• On the Sphere ($\kappa > 0$): They are Rivals (Repelling).

The "Perpendicular" Dance:
When they are strangers on the flat floor, the only way they can stay at a constant distance is if they walk in parallel lines, side-by-side, like two cars driving down a highway.

The Big Finding:
The authors discovered that this "parallel walking" on the flat floor is the bridge between the lovers on the saddle and the rivals on the sphere.

• As the floor curves up into a sphere, the "repulsion" pushes them apart, but the curvature of the sphere tries to pull them back together (geodesics on a sphere naturally converge). These two forces balance perfectly, allowing them to dance in a circle while pushing each other away.
• As the floor curves down into a saddle, the "attraction" pulls them in, but the curvature of the saddle tries to push them apart. Again, they balance.

The Catch: This balance is extremely delicate.

• If the floor is flat or saddle-shaped, this "rival" dance is unstable. A tiny nudge, and they crash or fly apart.
• It only works perfectly on the sphere.
• The math shows that the "flat floor" dance is a "nilpotent" state—a mathematical way of saying the system is on the very edge of chaos, ready to tip over the moment the floor changes shape.

4. Why Does This Matter?

You might ask, "Who cares about two particles on a Pringles chip?"

1. Understanding the Universe: Our universe might have a slight curvature. Understanding how gravity (which pulls things together) behaves on curved surfaces helps us understand the cosmos.
2. Mathematical Continuity: It shows us that nature doesn't like "jumps." Even when the rules change (from attraction to repulsion), the underlying geometry connects them smoothly.
3. Stability: It teaches us that some stable things (like planetary orbits) are robust, while others (like two people trying to stay apart on a curved surface) are incredibly fragile and depend entirely on the shape of the world they live in.

Summary Analogy

Think of the Curvature as the weather.

• Attracting Dancers: Like two people holding hands in the rain. Whether it's a sunny day (flat), a hill (sphere), or a valley (saddle), they can walk together smoothly.
• Repelling Dancers: Like two people trying to stay apart.
  • On a Hill (Sphere), the ground curves back, so they can stand apart and still stay in a circle.
  • On Flat Ground, they just walk away from each other forever.
  • In a Valley (Saddle), the ground curves away, so they fall apart even faster.

The paper proves that the "Hill" dance is the only stable version of the "Repelling" dance, and it explains exactly how that dance morphs into the "Parallel Walking" dance when the hill flattens out.

Technical Summary

1. Problem Statement

The paper investigates the dynamics of two point masses interacting via a potential on surfaces of constant Gaussian curvature ($\kappa$). The central objective is to analyze how Relative Equilibria (RE)—motions where the distance between particles remains constant and the configuration rotates rigidly—behave as the curvature parameter $\kappa$ varies continuously from negative (hyperbolic plane, $\kappa < 0$) through zero (Euclidean plane, $\kappa = 0$) to positive (sphere, $\kappa > 0$).

The study addresses two specific interaction scenarios:

1. Purely Attracting Family: The potential is attractive for all $\kappa$.
2. Attracting-Repelling Family: The potential is attractive for $\kappa < 0$, vanishes for $\kappa = 0$, and becomes repelling for $\kappa > 0$.

A key challenge addressed is the lack of a global center-of-mass frame for $\kappa \neq 0$ (Galilean relativity does not apply), necessitating a unified reduction approach that works smoothly across all curvature values.

2. Methodology

The authors employ a geometric reduction approach based on symmetry groups that vary smoothly with curvature.

• Symmetry Groups:

  • For $\kappa > 0$ (Sphere): The symmetry group is $SO(3)$.
  • For $\kappa < 0$ (Hyperbolic): The symmetry group is $SO(2, 1)$.
  • For $\kappa = 0$ (Plane): The symmetry group is the Euclidean group $SE(2)$.
  • The authors define a unified Lie group $G_\kappa = SO(K_\kappa)$ and its Lie algebra $\mathfrak{g}_\kappa$ to handle these cases continuously.

• Reduction to a Poisson Manifold:

  • The configuration space is $Q_\kappa = S_\kappa \times S_\kappa$.
  • By factoring out the symmetry group $G_\kappa$, the system is reduced to a 5-dimensional Poisson phase space $\mathcal{P} = T^*I_\kappa \times \mathfrak{g}_\kappa^*$, where $I_\kappa$ is the interval of allowed distances.
  • The reduced equations of motion are derived using a Hamiltonian formulation on this space. The distance $q$ between particles is treated as a phase variable, and the angular momentum components $m = (m_1, m_2, m_3)$ evolve according to a Lie-Poisson structure dependent on $\kappa$.

• Interpolating Potentials:

  • The authors utilize generalized trigonometric functions ($\sin_\kappa, \cos_\kappa, \cot_\kappa$) that analytically interpolate between circular and hyperbolic functions.
  • Attracting Case: $V_\kappa(q) = -G \cot_\kappa(q)$.
  • Attracting-Repelling Case: $V_\kappa(q) = \kappa \cot_\kappa(q)$ (which is repelling for $\kappa > 0$, zero for $\kappa = 0$, and attractive for $\kappa < 0$).

• Geometric Equivalence (Lemma 2.4):

  • A crucial theoretical tool is the observation that a repelling 2-body problem on a sphere is equivalent to an attracting problem where one particle is replaced by its antipodal point. This allows the authors to deduce results for repelling particles from existing literature on attracting particles.

3. Key Contributions and Results

A. Classification of Relative Equilibria (RE)

The paper provides a complete classification of RE for both interaction types as $\kappa$ varies.

1. The Attracting Family ($V' > 0$):

• $\kappa < 0$ (Hyperbolic): Two families of RE exist for any distance $q$: "Hyperbolic" (unstable) and "Elliptic" (stable).
• $\kappa = 0$ (Euclidean): The system recovers the classical Keplerian RE (uniform circular motion).
• $\kappa > 0$ (Spherical): The Keplerian RE continue smoothly into "Acute" RE (where particles are in the same hemisphere relative to the rotation axis).
• Stability: For small curvature perturbations ($q\sqrt{|\kappa|} \ll 1$), the Keplerian RE remain linearly stable. However, nonlinear stability differs: for $\kappa < 0$, they are Lyapunov stable; for $\kappa > 0$, they are of mixed Krein signature (though KAM theory suggests stability for small $q\sqrt{\kappa}$).

2. The Attracting-Repelling Family ($V'$ changes sign):

• $\kappa < 0$: Corresponds to "Hyperbolic" RE (attractive).
• $\kappa = 0$: With no interaction, RE correspond to particles moving with identical velocities perpendicular to the line joining them ("Perpendicular RE").
• $\kappa > 0$: Corresponds to "Acute" RE for repelling particles.
• Mechanism: The existence of these RE relies on a delicate balance: for $\kappa > 0$, the repulsive force balances the tendency of geodesics to focus; for $\kappa < 0$, the attractive force balances the tendency of geodesics to defocus.
• Stability: These RE are unstable for $\kappa \leq 0$ and for small $q\sqrt{\kappa}$ when $\kappa > 0$. The linearization at $\kappa = 0$ yields a nilpotent matrix of rank 2. As $\kappa$ moves away from zero, the eigenvalues split into a pair of real and a pair of imaginary values, indicating a bifurcation.

B. Stability Analysis

• Linearization: The authors perform linear stability analysis on the reduced 5D system.
• Eigenvalue Behavior:
  • In the Attracting Family, the double imaginary eigenvalues at $\kappa=0$ "detune" but remain on the imaginary axis for small $\kappa$, preserving linear stability.
  • In the Attracting-Repelling Family, the zero eigenvalues at $\kappa=0$ split immediately into real and imaginary pairs as $\kappa$ deviates from zero, confirming instability.
• Bifurcations: The paper identifies specific bifurcation points (e.g., $q = q^*$ or $q = q^\dagger$) where stability changes occur, dependent on the mass ratio and curvature.

C. Geometric Insights

• The paper clarifies that the "center of mass" reduction used in the flat case ($\kappa=0$) is not available for $\kappa \neq 0$. Instead, the reduction via the symmetry group $G_\kappa$ provides a consistent framework.
• It demonstrates that the geometry of RE is largely independent of the specific potential form (determined only by the sign of the force), while stability is highly sensitive to the potential's functional form.

4. Significance

• Unified Framework: The paper successfully constructs a smooth mathematical framework that treats the 2-body problem on spheres, planes, and hyperbolic surfaces as a single family of systems parameterized by curvature. This resolves the discontinuity often found when switching between Euclidean and non-Euclidean formulations.
• Resolution of Repelling Dynamics: By establishing the antipodal equivalence, the authors provide a rigorous classification of repelling particle dynamics on spheres, which was previously less understood than the attracting case.
• Stability Transitions: The work clarifies how stability properties evolve as curvature changes sign. It highlights that while linear stability may persist across $\kappa=0$ for attracting potentials, the underlying symplectic structure (Krein signature) changes, affecting nonlinear stability.
• Physical Interpretation: The analysis of the attracting-repelling family offers a physical explanation for the existence of relative equilibria in repelling systems on spheres, attributing them to the balance between repulsive forces and the focusing nature of positive curvature geodesics.

In summary, this paper provides a comprehensive geometric and dynamical systems analysis of the 2-body problem across the entire spectrum of constant curvature, offering new insights into the continuity of solutions and the stability mechanisms governing celestial mechanics in curved spaces.