Gradient Existence and Energy Finiteness of Local Minimizers in the Wasserstein $L^\infty$ Topology for Binary-Star Systems

This paper refines McCann's variational framework for binary-star systems by rigorously establishing the gradient existence, local $L^\infty$ neighborhood properties, and energy finiteness of local minimizers within the Wasserstein $L^\infty$ topology, while contrasting these results with the existence of infinite-energy weak minimizers in standard topological vector spaces.

The Gist

Imagine the universe as a giant, cosmic dance floor. On this floor, stars and planets are like massive, swirling balls of gas. Sometimes, two of these stars dance together in a binary system, orbiting a common center. They aren't solid balls; they are fluid, squishy clouds of gas that can stretch, compress, and change shape.

The big question mathematicians ask is: What shape do these dancing stars take to be the most stable?

In physics, "stable" usually means having the lowest possible energy. Think of a ball rolling down a hill; it stops at the bottom because that's the lowest energy spot. For these stars, finding that "bottom of the hill" is incredibly hard because the math gets messy when you try to describe how the gas moves and pushes against itself.

This paper, written by Hangsheng Chen, is like a detailed repair manual for a famous set of instructions (by a mathematician named McCann) that tried to solve this problem. Chen says, "McCann was mostly right, but we need to fix a few cracks in the foundation to make the whole building safe."

Here is a breakdown of what Chen did, using simple analogies:

1. The Problem: The "Topological" Trap

Imagine you are trying to find the lowest point in a foggy valley. To do this, you need a map. In math, this "map" is called a topology. It defines what "close" means.

• The Old Map (Vector Space Topology): This is like a standard grid. If you move a tiny bit of gas from one star to a spot a million miles away, the math says the stars are "close" to their original shape. But physically, that's crazy! Moving a chunk of gas that far changes everything. Using this map, you can't find a stable shape because the gas keeps "tunneling" away to infinity.
• The New Map (Wasserstein $L^\infty$ Topology): This is a smarter map. It's like measuring distance by how much you have to push the gas to get it there. If you move a chunk of gas far away, the "cost" (distance) is huge. This map respects the physical reality that stars are solid, connected blobs.

Chen's First Big Win: He proved that if you use this "smart map," you can actually find a stable shape (a local minimizer) where the stars settle down.

2. The "Gradient" Mystery (The Smoothness Check)

Once you find this stable shape, you want to know: Does it actually obey the laws of physics?
The laws of physics (the Euler-Poisson equations) require the pressure inside the star to change smoothly. If the pressure jumps abruptly, the math breaks.

• The Analogy: Imagine a hill. If the hill has a sharp, jagged cliff, a ball rolling down it might get stuck or behave unpredictably. You need the hill to be smooth enough that you can draw a tangent line (a gradient) at every point.
• Chen's Second Big Win: McCann assumed the hill was smooth, but didn't fully prove it. Chen went into the engine room and proved that, yes, the pressure does change smoothly. This allows the team to confidently say, "Okay, this stable shape is a real solution to the physics equations."

3. The "Infinite Energy" Ghost

Here is a spooky part. In the "Old Map" (the standard math way), you can find a "solution" that looks stable but has infinite energy.

• The Analogy: Imagine a car that claims to be parked perfectly still, but its engine is revving at infinite speed. It's a "ghost car." It satisfies the math equations in a weird, abstract way, but it doesn't exist in the real world.
• Chen's Third Big Win: He showed that in the "Old Map," these ghost cars (infinite energy solutions) are the only things you can find. But in the "New Map" (Wasserstein), the ghost cars disappear, and you are left with real, physical stars that have finite, manageable energy.

4. The "Cut and Paste" Trick

To prove all this, Chen had to show that you can always find "nice" gas clouds (mathematically, $L^\infty$ functions) that are very close to the messy ones.

• The Analogy: Imagine you have a very lumpy, irregular clay sculpture. You want to smooth it out without moving it too far. Chen proved that you can always take a tiny bit of clay from the high peaks and paste it into the low valleys to make it smoother, and the "distance" between the lumpy and smooth version is tiny. This proves that the "smooth" solutions are right next door to the "rough" ones.

Summary: Why Does This Matter?

This paper is like a quality control inspector for a theory about how binary stars (two stars dancing together) hold their shape.

1. It fixed the map: It confirmed that we must use a specific way of measuring distance (Wasserstein) to get physically meaningful results.
2. It proved the math works: It showed that the stable shapes found aren't just abstract numbers; they are smooth, real solutions to the equations of fluid dynamics.
3. It banished the ghosts: It proved that the weird, infinite-energy solutions that plague other mathematical approaches don't exist when you use the right physical perspective.

In short, Chen took a complex, high-level mathematical theory about dancing stars, tightened the screws, and showed us exactly why and how these cosmic dances stay stable.

Technical Summary

1. Problem Statement

The paper addresses the mathematical modeling of uniformly rotating binary-star systems (or star-planet systems) governed by the Euler-Poisson equations. The goal is to establish the existence and regularity of solutions that represent local energy minimizers.

Specifically, the paper focuses on the variational approach to finding these solutions. While previous work (notably by McCann [31]) established that solutions to the Euler-Poisson equations can be obtained as local minimizers of an energy functional under the topology induced by the Wasserstein $L^\infty$ distance ($W_\infty$), several critical gaps remained:

1. Gradient Existence: A rigorous proof that the pressure gradient $\nabla P(\rho)$ exists, allowing the transition from the Euler-Lagrange (EL) equation to the reduced Euler-Poisson (EP') equation.
2. Topological Properties: A detailed analysis of the $W_\infty$ topology, specifically whether neighborhoods in this topology contain $L^\infty$ functions (essential for variational derivatives).
3. Energy Finiteness: Proving that local minimizers in the $W_\infty$ topology possess finite energy, contrasting this with the non-existence of finite-energy local minimizers in topologies inherited from topological vector spaces.

2. Methodology

The author employs Calculus of Variations, Optimal Transport Theory, and Functional Analysis. The core methodology involves:

• Variational Formulation: The problem is framed as minimizing the total energy functional $E_J(\rho) = U(\rho) - \frac{1}{2}G(\rho, \rho) + T_J(\rho)$, where $U$ is internal energy, $G$ is gravitational interaction energy, and $T_J$ is kinetic energy due to uniform rotation.
• Topology Selection: The analysis is conducted in the space of density functions $\mathcal{R}(\mathbb{R}^3)$ equipped with the Wasserstein $L^\infty$ metric ($W_\infty$). This metric measures the maximum displacement required to transport one mass distribution to another.
• Bootstrap Regularity Arguments: The author uses iterative arguments (bootstrap methods) involving Sobolev embeddings and Hardy-Littlewood-Sobolev inequalities to upgrade the regularity of the density $\rho$ and the gravitational potential $V_\rho$.
• Perturbation Analysis: The paper defines specific sets of admissible perturbations ($P_\infty(\rho)$) to compute variational derivatives. It rigorously compares the behavior of minimizers under $W_\infty$ topology versus standard topological vector space topologies.

3. Key Contributions and Results

A. Gradient Existence and Equation Derivation (Contribution 1)

The paper provides a rigorous proof that for a local minimizer $\rho$ in the $W_\infty$ topology, the gradient of the pressure $\nabla P(\rho)$ exists everywhere in $\mathbb{R}^3$.

• Refinement of McCann's Theorem: The author refines Theorem 2.22 from McCann [31]. While McCann asserted that $\rho$ satisfies the reduced Euler-Poisson equation (EP'), the proof of the gradient's existence at the boundary of the support ($\partial\{\rho > 0\}$) was not fully detailed.
• Differentiability of $P \circ \phi$: The author proves that the composition of the pressure function $P$ and the inverse of the derivative of the internal energy function $A'$ (denoted $\phi = (A')^{-1}$) is differentiable.
• Boundary Behavior: By analyzing the behavior of $\rho$ near the boundary of its support, the author demonstrates that $\nabla P(\rho) = 0$ on the boundary, ensuring the Euler-Poisson equation holds globally, not just in the interior.

B. Existence of $L^\infty$ Functions in $W_\infty$ Neighborhoods (Contribution 2)

A critical technical lemma (Lemma 4.5 (vi)) is established:

• Result: For any density $\rho$ and any $\epsilon > 0$, there exists a density $\sigma \in L^\infty(\mathbb{R}^3)$ such that $W_\infty(\rho, \sigma) < \epsilon$.
• Significance: This proves that $L^\infty$ functions are dense in the $W_\infty$ topology. This is crucial because variational derivatives are typically defined using bounded perturbations. Without this property, the existence of the variational derivative for general minimizers would be questionable.

C. Energy Finiteness and Topological Comparison (Contribution 3)

The paper establishes a stark contrast between the $W_\infty$ topology and topologies inherited from topological vector spaces (e.g., $L^p$ or Sobolev topologies):

• Finiteness in $W_\infty$: Lemma 5.6 proves that any local minimizer $\rho$ in the $W_\infty$ topology has finite total energy ($E_J(\rho) < \infty$). This ensures the variational derivative is well-defined and allows for the derivation of the Euler-Lagrange equations.
• Non-existence in Vector Space Topologies: Proposition 5.14 demonstrates that if the topology is inherited from a topological vector space, no local minimizer with finite energy exists.
  • Mechanism: In vector space topologies, one can construct perturbations that move a small amount of mass to infinity. This reduces the kinetic energy (due to increased moment of inertia) without significantly changing internal or gravitational energies, driving the total energy to $-\infty$ or preventing the existence of a minimum.
• Infinite Energy Weak Minimizers: Proposition 5.21 shows that while finite-energy minimizers do not exist in vector space topologies, weak local minimizers with infinite energy can exist under specific conditions on the equation of state.

4. Significance and Impact

1. Rigorous Foundation for Binary Stars: The paper provides a mathematically rigorous foundation for the existence of binary-star solutions as local energy minimizers. It resolves ambiguities in previous literature regarding the differentiability of the pressure term at the vacuum interface.
2. Justification of the $W_\infty$ Topology: The work strongly justifies the use of the Wasserstein $L^\infty$ metric in astrophysical fluid dynamics. It demonstrates that this topology is the "correct" choice to ensure:
   • Physical stability (preventing mass tunneling).
   • Existence of finite-energy local minimizers.
   • Validity of the Euler-Poisson equations derived from variational principles.
3. Methodological Advancement: The detailed analysis of the transition from the Euler-Lagrange equation to the Euler-Poisson equation, particularly handling the boundary regularity and the differentiability of composite functions involving the pressure law, offers a template for analyzing other compressible fluid models.
4. Future Applications: The results serve as a prerequisite for the author's companion work on star-planet systems [12], providing a more precise alternative to direct citations of McCann's earlier, less detailed results.

Conclusion

Hangsheng Chen's paper significantly advances the mathematical theory of rotating self-gravitating fluids. By refining the variational framework and rigorously proving the existence of gradients and finite energy within the Wasserstein $L^\infty$ topology, the author validates the physical relevance of these mathematical solutions and clarifies the limitations of standard functional analytic topologies in this specific context.