Rotating solutions to the incompressible Euler-Poisson equation with external particle

This paper constructs rotating solutions to the two-dimensional incompressible Euler-Poisson equation for a fluid body perturbed by a small external particle, demonstrating the existence of stationary configurations in a rotating frame that accommodate a wide range of internal fluid motions under specific non-resonance conditions.

The Gist

Imagine a giant, invisible, perfectly round blob of water floating in space. It's not just sitting there; it's spinning. Because it's spinning and has its own gravity, it holds its shape like a spinning pizza dough. This is a classic problem in physics: how does a spinning, self-gravitating fluid look?

Now, imagine you drop a tiny pebble (a particle with a small mass) near this spinning water blob. The pebble has its own gravity, however weak. The water blob feels the pebble's pull, and the pebble feels the blob's pull. They start to dance around each other, spinning together around a common center point.

The Big Question:
Does the water blob stay a perfect circle? Or does the pebble's gravity squish and stretch it into a weird, wobbly shape? And can the water inside the blob start swirling in new ways because of this dance?

This paper, written by Diego Alonso-Orán, Bernhard Kepka, and Juan J. L. Velázquez, answers "Yes" to both. They prove mathematically that you can create a stable, spinning system where the water blob is slightly deformed by the pebble, and the water inside is actually moving in complex patterns, not just spinning as a solid block.

The "Recipe" for the Solution

The authors didn't just guess; they used a sophisticated mathematical "recipe" to construct these solutions. Here is how they did it, translated into everyday terms:

1. The "Unperturbed" State (The Perfect Circle)
First, they looked at the situation with no pebble. They knew there was a solution where the water was a perfect circle spinning smoothly. Think of this as the "base model" or the "zero point."

2. The "Perturbation" (Adding the Pebble)
Next, they asked: "What happens if we add a tiny pebble?" In math, this is called a perturbation. They assumed the pebble is so small that it only causes a tiny ripple in the water's shape. They didn't try to solve the whole messy problem from scratch; instead, they started with the perfect circle and asked, "How much does the circle need to wiggle to accommodate this pebble?"

3. The "Rotating Frame" (The Dance Floor)
To make the math easier, they imagined they were standing on a merry-go-round spinning at the exact same speed as the water and the pebble. From this perspective, everything looks stationary (frozen in time). The water isn't moving, and the pebble isn't moving. It's just a static, slightly squished shape. This is a huge trick because it turns a complicated time-moving problem into a simpler "still picture" problem.

4. The "Non-Resonance" Rule (Avoiding the Bumpy Ride)
Here is the most critical part of their discovery. They found that for this stable shape to exist, the spinning speed (angular velocity) has to be "just right."

• The Analogy: Imagine pushing a child on a swing. If you push at the exact right moment (resonance), the swing goes higher and higher until it flies off. If you push at the wrong time, the swing just wobbles and stops.
• In the Paper: If the spinning speed of the system matches certain natural "vibrations" of the water blob, the system becomes unstable and breaks apart (the math "blows up"). The authors had to prove that as long as the spinning speed doesn't hit these specific "danger zones" (a non-resonance condition), a stable, wobbly shape exists.

5. The "Internal Dance" (Fluid Motion)
Most previous studies assumed the water inside the blob was just spinning like a solid rock. This paper is special because they allowed the water to have its own internal currents.

• The Metaphor: Imagine the water blob isn't just a solid spinning disk, but a swirling galaxy of water. The pebble's gravity creates "tides" inside the water, causing it to flow in specific patterns while the whole thing spins. The authors proved that these internal flows can exist stably alongside the external pebble.

The Mathematical Tools (The Magic Wands)

To solve this, the authors used two very powerful mathematical "wands":

• Conformal Mappings: Imagine the water blob is made of a stretchy rubber sheet. They used a mathematical trick to stretch and warp the perfect circle into the wobbly shape without tearing it. This allowed them to turn a problem with a weird, changing boundary into a problem on a perfect, fixed circle, which is much easier to solve.
• The Implicit Function Theorem: This is a fancy way of saying, "If I can solve the problem for a tiny pebble, and the system behaves nicely, I can prove a solution exists for a slightly bigger pebble too." It's like saying, "If I can balance a pencil on my finger, I can prove I can balance a slightly heavier pencil, provided I don't push it too hard."

Why Does This Matter?

You might ask, "Who cares about a spinning water blob with a pebble?"

1. Galaxies: While this is a 2D model, it helps us understand how stars and gas clouds in galaxies interact. A galaxy is a giant spinning fluid of stars, and if a smaller galaxy (the "pebble") passes by, it creates tides and distorts the shape.
2. Stability: It tells us under what conditions these cosmic structures stay together and when they might break apart.
3. New Physics: They showed that you can have stable spinning shapes where the fluid is not just spinning as a solid block. This opens the door to understanding more complex, realistic fluid behaviors in space.

The Bottom Line

The authors proved that if you have a spinning, self-gravitating drop of water and you bring a tiny particle close to it, you can find a stable configuration where:

1. The water deforms slightly (like a tidal bulge).
2. The water inside swirls in complex patterns.
3. The whole system spins together without flying apart, as long as the spinning speed avoids specific "resonant" frequencies that would cause chaos.

They didn't just find one solution; they found a whole family of solutions, showing that the universe of spinning fluids is much richer and more flexible than we previously thought.

Technical Summary

1. Problem Statement and Context

The paper investigates the existence of stationary, rotating solutions for a two-dimensional, incompressible fluid body subject to self-gravitating forces and perturbed by a small external particle.

• Physical System: A fluid body $E(t) \subset \mathbb{R}^2$ with constant density $\rho=1$ and a point particle of small mass $m$ at position $X(t)$.
• Dynamics: The system rotates uniformly around its common center of mass with angular velocity $\Omega_0$. The fluid velocity field $v$ satisfies the incompressible Euler equations coupled with the Poisson equation for the gravitational potential.
• External Forces: The fluid interacts with itself via a potential $U_E$ and with the external particle via a potential $U_X$. The authors consider two classes of potentials:
  1. Power-law potentials: $U \sim -|x|^{-\nu}$ for $\nu \in (0, 1]$. The case $\nu=1$ corresponds to Newtonian gravity.
  2. Logarithmic potentials: $U \sim \ln|x|$, corresponding to the fundamental solution of the 2D Laplacian.
• Goal: To construct solutions where the fluid shape, velocity field, and particle position are time-independent in a rotating frame, even when the fluid possesses non-trivial internal motion (i.e., $v \neq 0$ in the rotating frame). This generalizes previous results on rotating vortex patches and rigid rotating bodies.

2. Mathematical Formulation

The problem is formulated as a free-boundary problem. In the rotating frame, the governing equations (1.8) include:

• Momentum: $(v \cdot \nabla)v + 2\Omega_0 J v - \Omega_0^2 x = -\nabla P$, where $J$ is the symplectic matrix.
• Incompressibility: $\nabla \cdot v = 0$.
• Boundary Conditions: The normal velocity vanishes on the boundary $\partial E$, and the pressure $P$ satisfies a dynamic condition involving the potentials and centrifugal force.
• Particle Equilibrium: The external particle is in equilibrium under the fluid's gravitational pull and the centrifugal force: $\Omega_0^2 X = \nabla U_E(X)$.

The authors seek solutions as perturbations of a known unperturbed state ($m=0$) where the fluid is a unit disk $D$ with a radially symmetric velocity field.

3. Methodology

The authors employ a sophisticated combination of analytical tools to reduce the infinite-dimensional free-boundary problem to a solvable system in Banach spaces.

A. Reformulation via Conformal Mappings and Grad-Shafranov

1. Conformal Mapping: The fluid domain $E$ is parameterized by a conformal map $f_h(z) = z + h(z)$ from the unit disk $D$ to $E$, where $h$ is a small analytic perturbation. This transforms the free boundary into a fixed boundary ($\partial D$).
2. Grad-Shafranov Method: To handle the velocity field with internal motion, the authors use the stream function $\psi$ such that $v = \nabla^\perp \psi$. They assume the vorticity $\omega$ is a function of the stream function, $\omega = G(\psi)$. This reduces the momentum equation to a semilinear elliptic equation:
   $$\Delta \psi = G(\psi) \quad \text{in } E, \quad \psi = 0 \quad \text{on } \partial E.$$
   In the conformal coordinates, this becomes an equation on the unit disk $D$.
3. Bernoulli Equation: The pressure condition on the boundary is rewritten using the Bernoulli head, leading to a scalar equation on $\partial D$ involving the stream function, the potentials, and the rotation speed.

B. Functional Analysis and Implicit Function Theorem

The problem is reduced to solving a nonlinear operator equation $F(h, a, \lambda, m) = 0$, where:

• $h$: The conformal perturbation of the domain.
• $a$: The radial position of the external particle.
• $\lambda$: A Lagrange multiplier related to the pressure constant.
• $m$: The mass of the external particle (the bifurcation parameter).

The authors apply the Implicit Function Theorem in Hölder spaces ($C^{k,\alpha}$) to prove the existence of solutions for small $m$. This requires:

1. Fréchet Differentiability: Proving that the operator $F$ is continuously differentiable with respect to the unknowns. This involves delicate estimates for the derivatives of the stream function and the singular interaction potentials (especially for $\nu=1$).
2. Invertibility of the Linearized Operator: Showing that the linearization of $F$ at the unperturbed state ($m=0, h=0$) is an isomorphism.

4. Key Technical Contributions

A. Linearization and Spectral Analysis

The core of the proof lies in analyzing the linearized operator. By decomposing the perturbation $h$ into Fourier modes, the linearized operator becomes diagonal. The eigenvalues (Fourier multipliers) $\omega_n$ are given by:
$$\omega_n = -\frac{1}{2}\Omega_0^2 - \frac{1}{2}(\phi_0'(1))^2(|n|+1) + \phi_0'(1)A_n'(1)(|n|+1) + c_{|n|}$$
where:

• $\phi_0$ is the unperturbed stream function.
• $A_n$ are solutions to an auxiliary ODE derived from the linearized stream function equation.
• $c_n$ are coefficients arising from the linearization of the interaction potential.

B. Non-Resonance Condition

A critical contribution is the identification of a non-resonance condition:
$$\omega_n \neq 0 \quad \forall n \in \mathbb{N}.$$
If this condition holds, the linearized operator is invertible. The authors show that for sufficiently large $n$, $\omega_n$ is dominated by the term $-\frac{1}{2}(\phi_0'(1))^2(|n|+1)$, ensuring invertibility for high frequencies. The condition essentially prevents the rotation speed and internal flow from creating resonances that would destabilize the shape.

C. Handling Singular Potentials

The paper provides rigorous estimates for the Fréchet derivatives of the interaction potentials, particularly for the Newtonian case ($\nu=1$) where the gradient of the potential is singular at the boundary. The authors use specific integral representations and asymptotic analysis (Lemma 5.5) to handle these singularities within the Hölder space framework.

5. Main Results

Theorem 2.1 (Existence of Solutions):
Under the assumptions that:

1. The unperturbed stream function satisfies $\phi_0'(1) \neq 0$ (no stagnation points on the boundary).
2. The non-resonance condition $\omega_n \neq 0$ is satisfied.
3. The interaction potential is of the specified type (Power law or Logarithmic).

Then, for sufficiently small mass $m \geq 0$, there exists a unique solution $(h, a, \lambda)$ close to the unperturbed state. This solution corresponds to a rotating fluid body with a deformed boundary and a non-zero internal velocity field, perturbed by an external particle.

Corollary 2.2:
The constructed solutions possess symmetry with respect to the axis connecting the center of mass and the external particle. The full set of variables $(E, v, X, P)$ constitutes a classical solution to the original Euler-Poisson system.

6. Significance and Implications

• Generalization of Rigid Rotation: Unlike classical results (e.g., Maclaurin spheroids) where the fluid rotates as a rigid body, this work constructs solutions with internal fluid motion (tidal waves) induced by the external particle.
• Tidal Models: The model serves as a rigorous mathematical framework for understanding tidal deformations in astrophysical contexts (e.g., binary star systems or galaxy interactions) where a small mass perturbs a larger fluid body.
• Mathematical Rigor: The paper advances the theory of free-boundary problems by successfully applying the Implicit Function Theorem to a system involving singular non-local potentials and conformal mappings in 2D.
• Stability Insight: The non-resonance condition provides a criterion for the stability of rotating fluid configurations against perturbations by external masses. If the condition is violated, bifurcations to other shapes may occur.

In summary, the paper successfully bridges the gap between idealized rigid rotating fluids and more complex, realistic fluid configurations with internal dynamics, providing a robust analytical framework for studying rotating fluid bodies in the presence of external perturbations.