🔢 mathematics

A rigidity result for the 3D capillary liquid drop with constant vorticity

This paper establishes that for a 3D capillary liquid drop with constant vorticity and a nearly spherical shape, the fluid domain must possess cylindrical symmetry and take the form of an oblate spheroid, representing the first such rigidity result derived without assuming symmetry a priori.

Original authors: Pietro Baldi, Domenico Angelo La Manna, Giuseppe La Scala

Published 2026-07-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Pietro Baldi, Domenico Angelo La Manna, Giuseppe La Scala

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 floating drop of liquid in space, like a giant water balloon, but instead of just sitting there, it's spinning. This paper investigates what happens to the shape of this drop when it spins with a specific, unchanging "swirl" inside it (called constant vorticity).

Here is the story of what the authors discovered, broken down into simple concepts and analogies.

1. The Setup: A Spinning, Stretchy Drop

Think of the liquid drop as a very stretchy, magical blob.

The Rules: It follows the laws of fluid physics (Euler equations). It has surface tension (like a skin trying to shrink the drop into a ball) and it is spinning.
The Special Twist: The authors assume the "swirl" inside the drop is perfectly uniform. Imagine the entire drop is rotating like a solid wheel, not just the outside while the inside stays still.
The Question: If you start with this spinning drop, what shape will it take? Will it stay a perfect sphere? Will it flatten out? Or will it turn into something weird?

2. The First Discovery: The "Rigid" Rules of Spinning

The authors first looked at what happens if you try to start this spinning drop from a random shape.

The Analogy: Imagine trying to spin a bowl of soup. If you just start spinning it, the soup sloshes around. But if you demand that the entire soup spins at the exact same speed everywhere (constant vorticity) from the very first second, the rules of physics get very strict.

The Finding:

Symmetry is Mandatory: If the drop is spinning with this constant swirl, it cannot be a random, lumpy shape. It must be perfectly symmetrical, like a mirror image across a horizontal plane.
The "Ill-Posed" Problem: The authors found a surprising catch. If you start with a perfect sphere (like a water balloon) and give it a constant spin, the laws of physics say it cannot keep spinning with that constant swirl as time goes on. The swirl will break apart.
- Metaphor: It's like trying to ride a bicycle where you demand the wheels stay perfectly round and the chain never slips, but the moment you pedal, the chain snaps. The authors proved that for a 3D spinning drop, the condition of "constant swirl" is so fragile that it usually breaks immediately unless the shape is already very specific.

3. The Second Discovery: The "Rigidity" of the Final Shape

Since the drop can't just evolve randomly, the authors asked: "What if the drop is already in a stable, unchanging state? What does that shape look like?"

They proved a Rigidity Result. "Rigidity" here means "there is only one answer."

The Finding:

No Guessing Needed: You don't need to assume the drop is a cylinder or a sphere to start with. The math forces it to be a specific shape.
The Shape: If the spin isn't too crazy compared to the surface tension, the drop must be an oblate spheroid.
- Visual: Imagine a basketball that has been squashed from the top and bottom. It is flat at the poles (top and bottom) and bulges out at the equator (the middle).
The Motion: Every single particle of liquid inside this drop moves in a perfect horizontal circle, like a record player needle, spinning at a constant speed.
The "Secret" Math: The authors used a clever mathematical tool called a "torsion function" (think of it as a map of how much the shape wants to twist or bend). They showed that this map forces the drop's cross-section to be a perfect circle. Once the cross-section is a circle, the whole 3D shape is forced to be that squashed sphere.

4. Why This Matters (According to the Paper)

Before this paper, scientists knew that spinning drops could look like squashed spheres, but they usually had to assume the drop was already symmetrical to prove it.

The Breakthrough:
This paper is the first to prove that symmetry is a result, not a requirement.

Metaphor: Imagine you have a lump of clay. In the past, scientists said, "If you start with a perfectly round ball of clay, it will stay round." This paper says, "It doesn't matter what shape you start with; if it settles into a stable spin, the laws of physics will force it to become a perfectly round, squashed ball. It has no other choice."

Summary

The paper tells the story of a spinning liquid drop. It reveals that:

You can't just start spinning a random shape and expect the swirl to stay constant; the physics breaks down.
If the drop finds a stable, unchanging shape, it is mathematically forced to be a squashed sphere (oblate spheroid) with perfect circular symmetry.
This happens naturally, without needing to assume the drop was symmetrical to begin with. The physics of the spin and the surface tension "rigidly" lock the shape into this specific form.

Technical Summary: Rigidity for the 3D Capillary Liquid Drop with Constant Vorticity

Problem Statement
This paper investigates the free boundary problem for the Euler equations governing the motion of a three-dimensional liquid drop with surface tension (capillarity) $\sigma_0$ and a constant vorticity vector field $\text{curl } u = \alpha_0 e_3$ , where $e_3 = (0,0,1)$ . The system is described by the incompressible Euler equations with a dynamic boundary condition where the pressure equals the surface tension times the mean curvature ( $p = \sigma_0 H_{\partial \Omega_t}$ ). The primary focus is twofold: first, to analyze the compatibility of the constant vorticity condition with the time evolution of the system; and second, to establish a rigidity result for time-independent (steady) solutions, specifically determining the geometric shape of the fluid domain $\Omega$ without assuming a priori symmetry.

Methodology
The authors employ a combination of geometric analysis, fluid dynamics, and the theory of overdetermined elliptic problems.

Time Evolution Analysis: The authors utilize the vorticity equation and the Alexandrov reflection principle. By deriving that constant non-zero vorticity implies the velocity field is independent of the vertical coordinate $x_3$ , they deduce strong geometric constraints on the domain. They further employ a specific counter-example involving a unit ball and a rigid rotation to demonstrate ill-posedness in the general time-dependent case.
Steady State Reduction: For time-independent solutions, the problem reduces to a system involving the velocity field $u$ and the domain $\Omega$ . The authors decompose the velocity field into an irrotational part and a rotational part. By exploiting the symmetry of the domain (proven via the Alexandrov principle) and the properties of the torsion function $v_D$ (the solution to $\Delta v_D = -1$ in the equatorial cross-section $D$ with zero Dirichlet boundary conditions), they reduce the 3D problem to an overdetermined problem on the 2D planar set $D$ .
Overdetermined Problem and Rigidity: The core of the proof involves deriving a specific boundary condition on $\partial D$ for the torsion function $v_D$ . This condition relates the gradient of the torsion function, the curvature of the boundary $\partial D$ , and constants determined by the physical parameters. The authors then apply Serrin's classical rigidity theorem, which states that if the normal derivative of the torsion function is a function of the mean curvature, the domain must be a ball. To apply this, they establish that the domain $D$ must be a disk by bounding the relevant constants using properties of the torsion function on convex sets (specifically utilizing $1/2$ -concavity and Reilly's formula).

Key Contributions and Results

Compatibility and Ill-posedness (Theorem 1.1 & 1.5): The paper proves that for $\alpha_0 \neq 0$ , any smooth solution with a convex domain must possess a horizontal plane of symmetry, and the velocity field must be independent of $x_3$ . Crucially, the authors show that the set of initial data satisfying the constant vorticity condition is not an invariant set for the time evolution. They provide an explicit example (Theorem 1.5) where a solution starting with a spherical domain and constant vorticity immediately develops non-constant vorticity, demonstrating that the Cauchy problem for this system is generally ill-posed in 3D. This contrasts with the 2D case and the irrotational ( $\alpha_0=0$ ) case, where constant vorticity is preserved.
Rigidity of Steady Solutions (Theorem 1.7): The main result establishes that for time-independent solutions, if the ratio $\alpha_0^2/\sigma_0$ $α_{0}^{2} / σ_{0}$ is sufficiently small (specifically satisfying inequality 1.6), the fluid domain $\Omega$ $Ω$ must possess cylindrical symmetry.
- The domain $\Omega$ is shown to be an oblate spheroid (flattened at the poles, bulged at the equator), which is close to but not equal to a ball.
- The velocity field is uniquely determined as a rigid rotation: $u = \frac{\alpha_0}{2}(-x_2, x_1, 0)$ .
- This result is achieved without assuming cylindrical symmetry at the outset; the symmetry is a consequence of the equations and the smallness condition on the vorticity-to-surface-tension ratio.
Geometric Characterization: The paper connects the fluid dynamics problem to the calculus of variations. It shows that under the derived conditions, the fluid domain coincides with the critical points of a shape functional involving perimeter and a rotational energy term, previously studied by Wente and Lopez.

Significance and Claims
The authors claim this is the first result regarding the capillary liquid drop with constant vorticity obtained without assuming cylindrical symmetry. The work highlights a fundamental difference between irrotational and rotational flows: while irrotational flows allow for a wide range of domain shapes, constant vorticity imposes severe geometric constraints that restrict the domain to specific symmetric configurations (oblate spheroids) for steady states.

The paper emphasizes that the constant vorticity condition acts as a "strong geometrical constraint" that is generally incompatible with arbitrary time evolution, leading to ill-posedness. However, for steady states, this constraint forces the domain to be a surface of revolution. The proof relies on reducing the 3D free boundary problem to an overdetermined problem for the torsion function of a 2D planar set, bridging fluid dynamics with classical geometric analysis results (Serrin's theorem).

The authors note that the strict convexity assumption is a technical simplification for the proofs but is not strictly necessary for the rigidity result to hold, as the domain is shown to be strictly convex as a consequence of the solution's regularity.

1. The Setup: A Spinning, Stretchy Drop

2. The First Discovery: The "Rigid" Rules of Spinning

3. The Second Discovery: The "Rigidity" of the Final Shape

4. Why This Matters (According to the Paper)

Summary

More like this