🔢 mathematics

Liquid drop with capillarity and rotating traveling waves

This paper extends classical results on capillary water waves to the spherical geometry of a 3D incompressible liquid drop by establishing its Hamiltonian structure and analytic properties of the Dirichlet-Neumann operator, ultimately proving the existence of nontrivial rotating traveling wave solutions.

Original authors: Pietro Baldi, Vesa Julin, Domenico Angelo La Manna

Published 2026-03-31

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Pietro Baldi, Vesa Julin, Domenico Angelo La Manna

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a giant, floating drop of water in the middle of deep space. There is no gravity pulling it down, and no wind blowing it around. The only force acting on it is surface tension—the same "skin" that makes a raindrop bead up on a window or a water strider walk on a pond.

Normally, if you leave this drop alone, it will just sit there as a perfect sphere. It's the most efficient shape for holding water together. But what happens if you give it a little spin? Or if you poke it? Does it just wobble and settle back down, or can it find a new, stable shape that keeps spinning forever?

This paper by Baldi, Julin, and La Manna is like a mathematical detective story that answers that question. They prove that yes, these spinning drops can find new, stable shapes that look like rotating sculptures.

Here is a breakdown of their journey, using simple analogies:

1. The Setup: The Perfect Sphere

Think of the liquid drop as a perfectly round balloon. In physics, this is the "easy mode." The math is simple because everything is symmetrical. The authors start here, but they know that in the real world, things are rarely perfect. They want to know what happens when the balloon is slightly squished or stretched, but still mostly round.

2. The Challenge: The Shape-Shifting Math

The hardest part of studying a liquid drop is that the drop itself is the boundary. It's not a fixed box; the walls of the room are moving!

The Problem: How do you write equations for a fluid when the container (the surface of the drop) is constantly changing shape?
The Solution: The authors invented a way to "flatten" the problem. Imagine taking a map of the Earth (a sphere) and stretching it out. They treat the surface of the drop as a slightly bumpy version of a perfect sphere. Instead of tracking every single water molecule inside, they only track the height of the bumps on the surface.
The "Good Unknown": They used a clever mathematical trick (called the "good unknown" method) to simplify the messy equations. Think of it like trying to untangle a knot. Instead of pulling on the whole rope, they found the one specific loop to pull that instantly loosens the whole mess.

3. The Discovery: The Rotating Traveling Wave

This is the big "Aha!" moment of the paper.
Usually, if you spin a drop, you might expect it to wobble chaotically or break apart. But the authors proved that there are specific speeds at which the drop can settle into a perfect, repeating pattern.

The Analogy: Imagine a figure skater spinning. If they pull their arms in, they spin faster. But imagine if, instead of just spinning, the skater's body morphed into a specific, non-spherical shape (like a peanut or a dumbbell) and that shape itself rotated smoothly without changing.
The Result: They found that for certain rotation speeds, the drop can become a traveling wave. It's not just spinning; the "humps" and "dips" on the surface are rotating around the drop like a carousel. The shape is frozen in time relative to the rotation, but because the whole thing is spinning, it looks like a wave traveling around the drop.

4. The "Diophantine" Puzzle

How did they find these specific speeds? It turned into a number theory puzzle.

The Metaphor: Imagine the drop has different "musical notes" it can vibrate at (like a guitar string). To get a stable spinning shape, the rotation speed has to match these notes perfectly.
The Math: They had to solve a specific type of math problem called a Diophantine equation (which is just a fancy way of saying "find whole number solutions"). They had to find rotation speeds where the math lines up perfectly so that the different vibrations don't cancel each other out or cause chaos.
The Breakthrough: They proved that there are infinitely many of these "perfect" speeds. It's like finding that there are infinite ways to tune a guitar so that it plays a perfect chord while spinning.

5. Why This Matters

Before this paper, we knew that liquid drops could move, but we didn't have a proof that they could exist as stable, spinning, non-spherical shapes for all time (global-in-time).

The Significance: This is the first time anyone has mathematically proven that a 3D liquid drop with surface tension can spin forever in a complex, non-spherical shape without falling apart.
Real World: While we don't see giant spinning water drops in space often, this helps us understand how fluids behave in zero-gravity environments (like on the International Space Station) and how stars or planets might behave if they were made of fluid.

In a Nutshell

The authors took a messy, moving problem (a wobbly liquid drop), flattened it out onto a sphere, used some very clever math tricks to simplify the equations, and discovered that if you spin the drop at just the right speed, it can lock into a beautiful, stable, rotating shape that lasts forever. They solved a puzzle that had been hiding in the math of fluids for a long time.

1. Problem Statement

The authors investigate the free boundary problem for a 3-dimensional, incompressible, irrotational liquid drop governed by surface tension (capillarity) in the absence of gravity. The fluid occupies a time-dependent domain $\Omega_t \subset \mathbb{R}^3$ with a smooth boundary $\partial \Omega_t$ .

The governing equations are the Euler equations coupled with a dynamic boundary condition:

Bulk: $\partial_t u + u \cdot \nabla u + \nabla p = 0$ and $\text{div } u = 0$ in $\Omega_t$ .
Boundary: The pressure is determined by the mean curvature $H_{\Omega_t}$ via $p = \sigma_0 H_{\Omega_t}$ (where $\sigma_0$ is the capillarity coefficient), and the boundary moves with the fluid particles (kinematic condition).

Assumptions:

The drop is nearly spherical (a small perturbation of a unit ball).
The domain is star-shaped with respect to the origin.
The vorticity is zero ( $\text{curl } u = 0$ ), allowing the introduction of a velocity potential $\Phi$ .
Gravity is neglected (or removed via a free-falling reference frame).

The primary goal is to prove the existence of global-in-time non-trivial solutions in the form of traveling waves (specifically, rotating profiles with constant angular velocity), a result previously unknown for 3D capillary drops.

2. Methodology and Mathematical Framework

A. Geometric Reduction and Parametrization

The authors reduce the free boundary problem to a system of equations on the unit sphere $S^2$ .

The boundary $\partial \Omega_t$ is parametrized by an elevation function $h(t, x)$ such that $\partial \Omega_t = \{ (1+h(t,x))x : x \in S^2 \}$ .
The velocity potential $\Phi$ is pulled back to the boundary to define a function $\psi(t, x)$ .
The system is reduced to two coupled equations for $(h, \psi)$ involving the Dirichlet-Neumann operator $G(h)$ , which maps the boundary value of the potential to its normal derivative.

B. Hamiltonian Structure

The authors establish that the reduced system possesses a Hamiltonian structure.

The total energy (kinetic + surface tension) serves as the Hamiltonian.
They prove that the system can be written in terms of canonical variables, though the natural variables $(h, \psi)$ are not Darboux coordinates due to a multiplicative factor $(1+h)^2$ . A coordinate transformation is provided to restore standard Hamiltonian form.

C. Analytical Tools for the Dirichlet-Neumann Operator

A significant portion of the paper is dedicated to the rigorous analysis of the Dirichlet-Neumann operator $G(h)$ on the sphere:

Shape Derivative: They derive an explicit formula for the Fréchet derivative $G'(h)[\eta]\psi$ $G^{'} (h) [η] ψ$ (the variation of the operator with respect to the domain shape). This is achieved via two distinct methods:
- Alinhac's "Good Unknown" Method: Adapted from flat water wave theory to the spherical geometry. This required introducing a smooth cut-off function to handle the singularity at the origin caused by the homogeneous extension of the diffeomorphism.
- Geometric Approach: A direct calculation using differential geometry on surfaces, independent of the "good unknown" technique.
Analyticity and Tame Estimates: They prove that $G(h)$ depends analytically on the elevation function $h$ in Sobolev spaces $H^s(S^2)$ . Crucially, they establish tame estimates (bounds that control high-order norms by lower-order norms with a loss of derivatives), which are essential for applying Nash-Moser iteration or bifurcation theory in this context.

D. Bifurcation Analysis

To find traveling waves, the authors look for solutions of the form:
$h(t, x) = \eta(R(\omega t)x), \quad \psi(t, x) = \beta(R(\omega t)x)$
where $R(\omega t)$ is a rotation matrix and $\omega$ is the angular velocity. This transforms the time-dependent PDE into a stationary nonlinear operator equation $F(\omega, u) = 0$ .

Linearization: They analyze the linearized operator $L = \partial_u F(\omega, 0)$ at the trivial solution (the spherical drop).
Spectral Analysis: The operator is diagonalized using real spherical harmonics. The eigenvalues depend on the degree $\ell$ and order $m$ of the harmonics.
Bifurcation Condition: Bifurcation occurs when the determinant of the linearized system vanishes for specific pairs $(\ell, m)$ , leading to a condition on the angular velocity $\omega$ .
Symmetry Reduction: To apply the Crandall-Rabinowitz bifurcation theorem (which requires a simple eigenvalue), the authors exploit symmetries (parity with respect to $x_2$ and $x_3$ ). They restrict the problem to a subspace where the kernel of the linearized operator is one-dimensional.
Diophantine Analysis: A critical step involves solving a Diophantine equation related to the eigenvalues. The authors use prime number factorization to prove that there exist infinitely many pairs $(\ell_0, m_0)$ such that the bifurcation point corresponds to a simple eigenvalue (i.e., no other modes resonate at the same frequency).

3. Key Contributions and Results

Reduction and Hamiltonian Structure: A self-contained derivation of the water wave equations on the unit sphere for a capillary drop, including the proof of the Hamiltonian structure.
Shape Derivative Formulas: Two independent, rigorous proofs for the shape derivative of the Dirichlet-Neumann operator on a sphere, extending Alinhac's method to curved geometries.
Analyticity of Operators: Proof that the Dirichlet-Neumann operator is analytic with respect to the boundary deformation in Sobolev classes, accompanied by tame estimates.
Existence of Traveling Waves (Main Theorem):
- Theorem 6.13: Proves the existence of non-trivial, rotating traveling wave solutions for the capillary liquid drop. These solutions represent a fixed profile rotating with constant angular velocity $\omega$ .
- Global-in-Time: These solutions are global in time, contrasting with previous results that only guaranteed local existence for general initial data.
Infinitely Many Bifurcation Points: Proposition 6.15 demonstrates that there are infinitely many choices of angular velocities (determined by specific integer pairs $(\ell_0, m_0)$ ) that satisfy the non-resonance conditions required for bifurcation.

4. Significance

First Global Non-Trivial Solutions: This is the first example of global-in-time non-trivial solutions for the free boundary problem of a 3D capillary liquid drop. Prior to this work, only local existence and a priori estimates were known.
Extension to Spherical Geometry: The paper successfully extends classical water wave theory (typically formulated on flat domains $\mathbb{R}^2$ or tori $\mathbb{T}^2$ ) to the spherical geometry $S^2$ . This involves overcoming significant technical challenges, such as the non-commutativity of derivatives on the sphere and the singularity at the origin in the parametrization.
Methodological Innovation: The dual approach to the shape derivative (Alinhac's method + geometric argument) and the arithmetic analysis of the bifurcation spectrum provide a robust framework for studying free boundary problems in curved geometries.
Physical Relevance: The results offer a theoretical foundation for understanding the stability and dynamic shapes of rotating liquid drops, which are relevant in astrophysics (e.g., rotating stars or planets modeled as fluids) and microfluidics.

In summary, the paper provides a rigorous mathematical foundation for the existence of rotating liquid drops, bridging the gap between classical fluid mechanics and modern nonlinear PDE analysis on manifolds.