Orbits of the three-body problem with large potential

For the planar three-body problem with positive masses, non-zero angular momentum, and fixed negative energy, the paper proves the existence of global solutions that maintain an arbitrarily large potential energy by featuring a single close approach to triple collision while evolving into a tight binary configuration with the third body diverging to infinity.

The Gist

Imagine the universe as a giant dance floor where three stars (or planets) are spinning around each other, pulling on one another with invisible elastic bands of gravity. This is the Three-Body Problem. Usually, this dance is chaotic: the stars might crash into each other, or one might get flung out into the cold dark of space while the other two spin away.

Richard Moeckel's paper is about finding a very specific, rare, and dramatic kind of dance move. He proves that there are solutions where the three stars get incredibly close to crashing into a single point (triple collision), but instead of crashing, they perform a perfect "U-turn" and fly apart forever.

Here is the breakdown of the paper using simple analogies:

1. The Setup: The "Hot" Dance Floor

In physics, we measure how "active" a system is by its potential energy ($U$).

• Low Energy: The stars are far apart, drifting lazily. This is "cold."
• High Energy: The stars are squished together, pulling on each other with maximum force. This is "hot."

The paper asks: Can we find a dance where the stars stay "hot" (high energy) for the entire time, from the beginning of the universe to the end?

Usually, if stars get too close, they crash. If they fly apart, they cool down. Moeckel shows there is a "Goldilocks" path where they get dangerously close, heat up to a fever pitch, and then zoom away, staying hot the whole time.

2. The "Hell" and "Heaven" Analogy

The paper mentions a concept by another mathematician, Richard Montgomery:

• Heaven: The stars are far apart, moving slowly.
• Hell: The stars are crushed into a single point (a triple collision).
• The Virial Surface: A middle ground where things are balanced.

Moeckel's theorem says: We can find a path that stays on the "hot" side of the balance line, getting dangerously close to Hell but never actually falling in. It's like walking right up to the edge of a volcano without falling in, then running away.

3. The Magic Trick: The "Binary Huddle"

How do they do it?
Imagine two of the stars (let's call them the "Twins") decide to hold hands and spin tightly around each other. The third star (the "Outsider") comes in, sees the Twins, and gets pulled in.

• The Near-Miss: The Outsider gets so close to the Twins that all three are almost touching. The gravitational pull becomes infinite (the "Hot" part).
• The Spin: Because they have some "spin" (angular momentum), they can't actually crash. It's like a figure skater spinning so fast they can't fall over.
• The Escape: The energy of this near-crash flings the Outsider away. The Twins stay together as a tight pair, and the Outsider flies off into the distance.

4. The Proof: The "Bounce"

Moeckel uses a mathematical tool called McGehee coordinates. Think of this as a special pair of glasses that zooms in on the moment of the near-crash.

• Normally, math breaks down when things get too close to a crash.
• These "glasses" stretch out the moment of the crash, allowing us to see the trajectory clearly.
• He proves that if you start the dance with the stars very close together (but not touching) and with just the right amount of spin, the math guarantees they will bounce off each other and fly apart.

5. The "Open Door" Discovery

One of the most exciting parts of the paper is the conclusion about stability.

• In math, some solutions are "fragile." If you nudge them slightly, they crash.
• Moeckel proves that these "Hot" orbits are robust. They form an "open set."
• The Analogy: Imagine a valley. If you roll a ball down the exact center, it might hit a rock. But if you roll it down a wide path, almost any ball you throw will follow the path.
• Moeckel shows there is a whole wide path of starting positions that lead to this high-energy escape. It's not a fluke; it's a common feature of the system (as long as you avoid the tiny, rare spots where they actually crash).

Summary

Richard Moeckel proved that in the chaotic dance of three stars, there is a specific, stable routine where:

1. The stars get dangerously close to a triple crash (getting very "hot").
2. They form a tight pair (binary) while the third one flies away.
3. They never actually crash, and they stay in this high-energy state forever.

It's like finding a secret tunnel through a mountain of chaos that leads to a safe, high-speed exit, proving that even in a system known for crashing, there is a way to survive the heat.

Technical Summary

Here is a detailed technical summary of Richard Moeckel's paper, "Orbits of the Three-Body Problem with Large Potential."

1. Problem Statement

The paper addresses a specific question within the planar three-body problem involving three positive masses ($m_1, m_2, m_3$) with non-zero angular momentum ($\omega \neq 0$).

• Context: The system is governed by the gravitational potential $U(q) = \sum \frac{m_i m_j}{r_{ij}}$. The total energy is negative ($h < 0$).
• The Question: Do there exist solutions where the potential energy $U(q(t))$ remains arbitrarily large (greater than any constant $K$) for all time $t \in \mathbb{R}$?
• Motivation: This inquiry stems from a question posed by Richard Montgomery regarding the topology of the configuration space. Montgomery defined "Heaven" as the zero-velocity surface (minimum potential for a given energy) and "Hell" as the singularity (triple collision). The "Virial surface" separates these regions. The paper seeks to prove the existence of orbits that remain on the "hot" side of the virial surface (high potential) indefinitely, avoiding both the zero-velocity boundary and the triple collision singularity.

2. Methodology

Moeckel employs a combination of classical dynamical systems techniques and modern coordinate transformations to construct these orbits.

A. Coordinate Systems and Regularization

• Jacobi Coordinates: The center of mass is eliminated using Jacobi coordinates ($x_1, x_2$) to reduce the system to $\mathbb{R}^4$.
• Mass Metric: A mass-weighted norm and inner product are defined to simplify the kinetic energy and angular momentum expressions.
• McGehee Coordinates: To analyze the behavior near triple collision (where $r \to 0$), the author uses McGehee blow-up coordinates:
  • $r = \sqrt{I}$ (square root of the moment of inertia).
  • $s = x/r$ (normalized shape variable).
  • $z = \sqrt{r}\dot{x}$ (rescaled velocity).
  • A new time variable $\tau$ is introduced via $dt = r^{3/2} d\tau$.
  • This transformation "blows up" the singularity at $r=0$ into an invariant manifold, allowing the analysis of orbits approaching triple collision.

B. Dynamical Analysis

• Energy and Angular Momentum Constraints: The system preserves energy ($h < 0$) and angular momentum ($\omega \neq 0$). The non-zero angular momentum prevents actual triple collisions, though orbits can approach arbitrarily close.
• The Function $F$: A key auxiliary function is introduced:
  $$F = v^2 - 2rh + \frac{\omega^2}{r}$$
  where $v = \langle\langle s, z \rangle\rangle$ represents the radial velocity component in the blown-up system.
  • Moeckel proves that $F' \geq 0$ when $v \geq 0$. This monotonicity is crucial for establishing lower bounds on the potential.
• Inequalities: The author derives inequalities relating the potential $V(s)$, the size $r$, and the angular momentum $\omega$ to show that as the system approaches the triple collision singularity (small $r$), the potential $U = V/r$ can be made arbitrarily large.

C. Two-Stage Construction

The proof constructs the solution in two distinct phases:

1. Near-Collision Phase (McGehee Time): The orbit starts near triple collision ($r_0$ small) with zero radial velocity ($v=0$). Using Lemma 1, it is shown that the orbit moves away from the singularity, and during this phase, the potential $U$ remains above a large threshold $K$.
2. Escape to Infinity (Physical Time): The orbit is continued into physical time $t$. The goal is to ensure the binary formed by $m_1$ and $m_2$ remains tight while the third body $m_3$ escapes to infinity. Lemma 2 utilizes a comparison with a 1D Kepler problem to prove that if the distance $\rho$ (between the binary center of mass and $m_3$) and its velocity $\dot{\rho}$ are sufficiently large, $\rho(t) \to \infty$ monotonically, keeping the potential high.

3. Key Contributions and Results

Theorem 1 (Main Result)

For any constant $K > 0$, there exist solutions to the negative-energy, planar three-body problem with non-zero angular momentum such that:
$$U(q(t)) \geq K \quad \text{for all } t \in \mathbb{R}.$$

Characteristics of these solutions:

• Single Close Approach: The orbit has exactly one very close approach to the triple collision configuration.
• Tight Binary Configuration: The bodies $m_1$ and $m_2$ form a tight binary (small mutual distance), while the distance from this binary to $m_3$ diverges as $t \to \pm \infty$.
• Persistence: The high potential is maintained for all time, not just during the close approach.

Technical Lemmas

• Lemma 1: Establishes that for a sufficiently small initial radius $r_0$, the potential $U$ and the rescaled velocity $v$ become arbitrarily large as the orbit moves away from the singularity in McGehee time.
• Lemma 2: Proves that if the distance $\rho$ and velocity $\dot{\rho}$ of the third body relative to the binary are large enough at the transition time, the third body will escape to infinity monotonically, maintaining the high potential energy condition.

Measure-Theoretic Argument

The paper addresses the issue of binary collisions.

• The construction initially assumes regularized solutions (where binary collisions are mathematically "smoothed" out).
• Moeckel argues that the set of initial conditions leading to binary collisions has measure zero and is of Baire first category (nowhere dense).
• Therefore, within the open set of initial conditions constructed in the proof, there exists a non-empty subset of collision-free solutions that satisfy the theorem.

4. Significance

• Refinement of Classical Results: The paper refines arguments by Birkhoff and Sundman. While Sundman and Birkhoff proved that solutions with non-zero angular momentum stay away from triple collision (having a positive lower bound on the triangle size), Moeckel quantifies the behavior near this bound. He shows that solutions can approach the singularity arbitrarily closely (making the triangle arbitrarily small) and then scatter, while maintaining a "hot" (high potential) state.
• Topological Insight: The result provides a concrete example of orbits that stay on the "hot" side of the virial surface, bridging the gap between the "heaven" (low potential) and "hell" (singularity) concepts in configuration space.
• Robustness: By proving the existence of such orbits in an open set of initial conditions (excluding a measure-zero set of collisions), the result demonstrates that these high-potential orbits are not just mathematical curiosities but are structurally stable features of the three-body problem.

Conclusion

Richard Moeckel successfully constructs a class of orbits for the planar three-body problem that remain in a state of high potential energy for all time. These orbits feature a tight binary pair and a distant third body, undergoing a single close approach to triple collision before scattering to infinity. The proof combines McGehee blow-up techniques with energy estimates and comparison theorems, ultimately showing that such high-energy states are generic within the regularized flow.