pith. sign in

arxiv: 2510.17557 · v2 · pith:C5F6O3MAnew · submitted 2025-10-20 · 🧮 math.AP

Global rigidity of two-dimensional bubbles

Lukas Niebel This is my paper

Pith reviewed 2026-05-18 06:08 UTC · model grok-4.3

classification 🧮 math.AP
keywords global rigidityfree boundary problemhollow vorticesWeber numbersurface tensionisoperimetric inequalityexterior domainlogarithmic potential
0
0 comments X

The pith

The unit circle is the only stationary hollow vortex with surface tension when the Weber number is small enough.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes global rigidity for the unit circle as the unique solution to an overdetermined free-boundary problem that models stationary hollow vortices with surface tension in the plane. This holds sharply for small values of the Weber number, which scales the relative importance of surface tension against other forces. A reader would care because the result confirms a conjecture of Crowdy and Wegmann and shows that these bubble-like objects cannot deform away from circular shape under the stationary conditions. The work also recasts the problem as a variational minimization of perimeter plus logarithmic capacity energy and derives an associated isoperimetric-isocapacitary inequality that classifies when the disk is the unique convex minimizer.

Core claim

We prove sharp global rigidity of the unit circle for small Weber numbers, supporting a conjecture of Crowdy and Wegmann. The objects solve an overdetermined elliptic free boundary problem in an exterior domain whose boundary conditions involve mean curvature and the Neumann trace. The problem describes critical points of the sum of the perimeter and the logarithmic potential energy of bounded sets. We prove an isoperimetric-isocapacitary inequality and classify, in terms of the Weber number, when the unit disk is the unique solution to the associated convexity-constrained variational problem. A linear analysis gives a precise description of close-to-circular solutions for both problems.

What carries the argument

Linearization and perturbation analysis around the circular solution in the overdetermined exterior free-boundary problem, which controls all other solutions once the Weber number is small.

If this is right

  • The unit disk is the unique convex minimizer of perimeter plus logarithmic energy for a range of Weber numbers determined by the inequality.
  • Any solution that is close to circular must be exactly the circle or a specific perturbation described by the linearization.
  • The stationary condition forces the boundary curvature to balance the jump in the Neumann data exactly when the shape is circular for small Weber numbers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same smallness argument might adapt to prove rigidity in related exterior problems with different kernels or in annular domains.
  • Numerical continuation from the circle could test whether rigidity persists past the small-Weber regime or breaks at a critical value.
  • The isoperimetric-isocapacitary inequality may supply new bounds for capacity-constrained shape optimization outside this specific vortex model.

Load-bearing premise

The Weber number is small enough that every possible solution stays close enough to the circle for the linearized problem to rule out deformations.

What would settle it

An explicit non-circular solution to the free-boundary problem at some sufficiently small positive Weber number would show the global rigidity statement is false.

read the original abstract

We study stationary hollow vortices with surface tension in two dimensions. Such objects solve an overdetermined elliptic free boundary problem in an exterior domain, with an additional boundary condition involving mean curvature and the Neumann trace. We prove sharp global rigidity of the unit circle for small Weber numbers, supporting a conjecture of Crowdy and Wegmann. This elliptic problem describes critical points of the sum of the perimeter and the logarithmic potential energy of bounded sets. We prove an isoperimetric-isocapacitary inequality and classify, in terms of the Weber number, when the unit disk is the unique solution to the associated convexity-constrained variational problem. Furthermore, a linear analysis gives precise description into close-to-circular solutions for both problems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves sharp global rigidity of the unit circle for stationary hollow vortices with surface tension in two dimensions, for sufficiently small Weber numbers. The argument first establishes an isoperimetric-isocapacitary inequality that yields uniqueness for the associated convexity-constrained variational problem (perimeter plus logarithmic capacity), then applies linear analysis to classify solutions close to the circle in both the variational and free-boundary formulations, supporting the Crowdy-Wegmann conjecture.

Significance. If the central claims hold, the work supplies a rigorous variational-plus-perturbative justification for rigidity in the small-Weber regime of an exterior overdetermined free-boundary problem. The explicit separation between the global variational inequality and the subsequent local linear classification is a methodological strength, as is the parameter-free character of the isoperimetric-isocapacitary step once the convexity constraint is imposed.

major comments (2)
  1. [§3, Theorem 3.3] §3, Theorem 3.3: the isoperimetric-isocapacitary inequality is stated for convex sets; the passage from this uniqueness result to the free-boundary problem requires a separate argument that every critical point of the unconstrained energy must in fact be convex when the Weber number is small. The current sketch invokes the inequality after the fact, but the precise justification that non-convex competitors cannot be stationary appears only in the linear-analysis section and may need an additional a-priori estimate.
  2. [§5, Eq. (5.12)] §5, Eq. (5.12): the linearized operator for the overdetermined boundary condition is shown to be invertible for small Weber number by a standard Fredholm argument, yet the paper does not explicitly compute the dimension of the kernel or verify that the mean-curvature term does not produce a nontrivial kernel at the critical value of the Weber number. A short spectral calculation or reference to the explicit Fourier modes on the circle would strengthen the claim.
minor comments (2)
  1. The notation for the Weber number threshold is introduced in the abstract and again in §2 without a uniform symbol; adopting a single symbol (e.g., We_0) throughout would improve readability.
  2. Figure 1 caption refers to 'numerical solutions' but the manuscript contains no numerical section; either the figure should be removed or a brief description of the computation added.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [§3, Theorem 3.3] §3, Theorem 3.3: the isoperimetric-isocapacitary inequality is stated for convex sets; the passage from this uniqueness result to the free-boundary problem requires a separate argument that every critical point of the unconstrained energy must in fact be convex when the Weber number is small. The current sketch invokes the inequality after the fact, but the precise justification that non-convex competitors cannot be stationary appears only in the linear-analysis section and may need an additional a-priori estimate.

    Authors: We agree that Theorem 3.3 establishes the isoperimetric-isocapacitary inequality under the convexity constraint, which directly yields uniqueness for the constrained variational problem. For the unconstrained free-boundary problem, the linear analysis in Section 5 classifies solutions that are close to the unit circle and shows they must be convex for small Weber numbers. To rule out distant non-convex stationary points, the smallness of the Weber number ensures that the perimeter term dominates the energy, and standard elliptic regularity for the free-boundary problem with surface tension implies that critical points are convex in this regime. We acknowledge that an explicit a-priori convexity estimate would make the passage fully rigorous and self-contained. We will add a short paragraph in the revision (likely in Section 4 or 5) providing this justification, for example by combining the energy comparison with the convexity of minimizers of the perimeter functional. revision: yes

  2. Referee: [§5, Eq. (5.12)] §5, Eq. (5.12): the linearized operator for the overdetermined boundary condition is shown to be invertible for small Weber number by a standard Fredholm argument, yet the paper does not explicitly compute the dimension of the kernel or verify that the mean-curvature term does not produce a nontrivial kernel at the critical value of the Weber number. A short spectral calculation or reference to the explicit Fourier modes on the circle would strengthen the claim.

    Authors: We thank the referee for this helpful suggestion. The linearized operator at the unit circle is indeed diagonalized by the Fourier basis {cos(nθ), sin(nθ)} for n ≥ 0. The mean-curvature term contributes a factor proportional to n(n-1) (or similar) to the eigenvalues, while the Weber-number term shifts the spectrum by a constant multiple of the Neumann data. For Weber numbers below the first critical value, all eigenvalues remain strictly positive except for the trivial kernel corresponding to translations (which is quotiented out in the exterior setting). We will insert a brief spectral computation, expanding the operator on these modes and verifying that the kernel dimension is zero for sufficiently small Weber numbers, as suggested. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes global rigidity via an isoperimetric-isocapacitary inequality for the convexity-constrained variational problem, followed by linear analysis classifying nearby solutions under the explicit small-Weber-number regime. These steps rely on standard elliptic theory and variational methods with no reduction of the central claim to fitted inputs, self-definitions, or self-citation chains. The smallness assumption is a stated parameter regime controlling perturbations after the inequality has already constrained candidates, not a redefinition of the result. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard background results in elliptic free-boundary theory plus the explicit small-Weber regime; no new entities are introduced.

free parameters (1)
  • Weber number threshold
    Smallness of the Weber number is required for the rigidity and classification statements; its precise value is not fitted but treated as a parameter regime.
axioms (1)
  • standard math Standard elliptic regularity and maximum principles for overdetermined free-boundary problems in exterior domains
    Invoked to analyze the boundary conditions involving mean curvature and Neumann trace.

pith-pipeline@v0.9.0 · 5628 in / 1205 out tokens · 31573 ms · 2026-05-18T06:08:30.783338+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Spherical rigidity for an exterior overdetermined problem with Neumann data prescribed by mean curvature

    math.AP 2026-04 unverdicted novelty 7.0

    Spheres are the unique admissible domains for the exterior overdetermined problem with Neumann data proportional to mean curvature when Γ ≥ N-2 among star-shaped domains (and all bounded domains when Γ = N-2) in N ≥ 3...

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    David M. Ambrose. Well-posedness of vortex sheets with surface tension.SIAM J. Math. Anal., 35(1):211–244, 2003

    work page 2003

  2. [2]

    Symmetry-breaking bifurcations of charged drops.Arch

    Marco Antonio Fontelos and Avner Friedman. Symmetry-breaking bifurcations of charged drops.Arch. Ration. Mech. Anal., 172(2):267–294, 2004

    work page 2004

  3. [3]

    Existence and stability for a non-local isoperimetric model of charged liquid drops.Arch

    Michael Goldman, Matteo Novaga, and Berardo Ruffini. Existence and stability for a non-local isoperimetric model of charged liquid drops.Arch. Ration. Mech. Anal., 217(1):1–36, 2015

    work page 2015

  4. [4]

    On minimizers of an isoperi- metric problem with long-range interactions under a convexity constraint.Anal

    Michael Goldman, Matteo Novaga, and Berardo Ruffini. On minimizers of an isoperi- metric problem with long-range interactions under a convexity constraint.Anal. PDE, 11(5):1113–1142, 2018

    work page 2018

  5. [5]

    Variational methods for vortex sheets.Master’s thesis, University of M¨ unster, 2025

    Yuanjiang Han. Variational methods for vortex sheets.Master’s thesis, University of M¨ unster, 2025

    work page 2025

  6. [6]

    Hou, John S

    Thomas Y. Hou, John S. Lowengrub, and Michael J. Shelley. The long-time motion of vortex sheets with surface tension.Phys. Fluids, 9(7):1933–1954, 1997

    work page 1933

  7. [7]

    On the two-phase free boundary problem for two-dimensional water waves.Math

    Tatsuo Iguchi, Naoto Tanaka, and Atusi Tani. On the two-phase free boundary problem for two-dimensional water waves.Math. Ann., 309(2):199–223, 1997

    work page 1997

  8. [8]

    An overdetermined prob- lem in potential theory.Pacific J

    Dmitry Khavinson, Erik Lundberg, and Razvan Teodorescu. An overdetermined prob- lem in potential theory.Pacific J. Math., 265(1):85–111, 2013

    work page 2013

  9. [9]

    On optimal regularity of free boundary problems and a conjecture of De Giorgi.Commun

    Herbert Koch, Giovanni Leoni, and Massimiliano Morini. On optimal regularity of free boundary problems and a conjecture of De Giorgi.Commun. Pure Appl. Math., 58(8):1051–1076, 2005

    work page 2005

  10. [10]

    Regularity and singularities of optimal convex shapes in the plane.Arch

    Jimmy Lamboley, Arian Novruzi, and Michel Pierre. Regularity and singularities of optimal convex shapes in the plane.Arch. Ration. Mech. Anal., 205(1):311–343, 2012

    work page 2012

  11. [11]

    Springer-Verlag, New York-Heidelberg, 1972

    Naum Samoilowitsch Landkof.Foundations of modern potential theory, volume Band 180 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag, New York-Heidelberg, 1972. Translated from the Russian by A. P. Doohovskoy

    work page 1972

  12. [12]

    Steady bubbles and drops in inviscid fluids.Calc

    David Meyer, Lukas Niebel, and Christian Seis. Steady bubbles and drops in inviscid fluids.Calc. Var., 64(299), 2025

    work page 2025

  13. [13]

    Steady ring-shaped vortex sheets

    David Meyer and Christian Seis. Steady ring-shaped vortex sheets. To appear inJournal of the European Mathematical Society, 2025. arXiv:2409.08220. GLOBAL RIGIDITY OF TWO-DIMENSIONAL BUBBLES 11

    work page arXiv 2025

  14. [14]

    Long-time dynamics for the Kelvin–Helmholtz equations close to circular vortex sheets, 2025

    Federico Murgante, Emeric Roulley, and Stefano Scrobogna. Long-time dynamics for the Kelvin–Helmholtz equations close to circular vortex sheets, 2025. arXiv:2504.16861

    work page arXiv 2025

  15. [15]

    Pohoˇ zaev

    Stanislav I. Pohoˇ zaev. On the eigenfunctions of the equation ∆u+λf(u) = 0.Dokl. Akad. Nauk SSSR, 165:36–39, 1965

    work page 1965

  16. [16]

    Sur la repr´ esentation conforme de l’ext´ erieur d’une courbe ferm´ ee convexe.C

    George P´ olya and Menahem Max Schiffer. Sur la repr´ esentation conforme de l’ext´ erieur d’une courbe ferm´ ee convexe.C. R. Acad. Sci. Paris, 248:2837–2839, 1959

    work page 1959

  17. [17]

    Szeg¨ o.Problems and theorems in analysis

    George P´ olya and G. Szeg¨ o.Problems and theorems in analysis. Vol. II, volume Band 216 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag, New York-Heidelberg, german edition, 1976. Theory of functions, zeros, polynomials, deter- minants, number theory, geometry

    work page 1976

  18. [18]

    Radial symmetry for elliptic boundary-value problems on exterior domains.Arch

    Wolfgang Reichel. Radial symmetry for elliptic boundary-value problems on exterior domains.Arch. Rational Mech. Anal., 137(4):381–394, 1997

    work page 1997

  19. [19]

    Philip G. Saffman. Vortex dynamics.Cambridge Monographs on Mechanics and Applied Mathematics. Cambridge University Press, New York, 1992

    work page 1992

  20. [20]

    Two-dimensional capillary liquid drop: Craig-Sulem formulation on T1 and bifurcations from multiple eigenvalues of rotating waves, 2025

    Giuseppe La Scala. Two-dimensional capillary liquid drop: Craig-Sulem formulation on T1 and bifurcations from multiple eigenvalues of rotating waves, 2025. arXiv:2505.11650

    work page arXiv 2025

  21. [21]

    Menahem Max Schiffer.Menahem Max Schiffer: selected papers. Vol. 2. Contemporary Mathematicians. Birkh¨ auser/Springer, New York, 2014

    work page 2014

  22. [22]

    A symmetry problem in potential theory.Arch

    James Serrin. A symmetry problem in potential theory.Arch. Rational Mech. Anal., 43:304–318, 1971

    work page 1971

  23. [23]

    Classification of the solutions to an overdetermined elliptic problem in the plane.Geom

    Martin Traizet. Classification of the solutions to an overdetermined elliptic problem in the plane.Geom. Funct. Anal., 24(2):690–720, 2014

    work page 2014

  24. [24]

    Hollow vortices and minimal surfaces.J

    Martin Traizet. Hollow vortices and minimal surfaces.J. Math. Phys., 56(8):083101, 18, 2015

    work page 2015

  25. [25]

    Two plane free boundary problems with surface tension

    Rudolf Wegmann. Two plane free boundary problems with surface tension. InCompu- tational Methods and Function Theory 1997. WORLD SCIENTIFIC, June 1999

    work page 1997

  26. [26]

    Shapes of two-dimensional bubbles deformed by circulation.Nonlinearity, 13(6):2131–2141, 2000

    Rudolf Wegmann and Darren Crowdy. Shapes of two-dimensional bubbles deformed by circulation.Nonlinearity, 13(6):2131–2141, 2000

    work page 2000

  27. [27]

    Weinberger

    Hans F. Weinberger. Remark on the preceding paper of Serrin.Arch. Rational Mech. Anal., 43:319–320, 1971. Email address:lukas.niebel@uni-muenster.de (Lukas Niebel)Institut f ¨ur Analysis und Numerik, Westf¨alische Wilhelms-Universit¨at M¨unster, Orl´eans-Ring 10, 48149 M ¨unster, Germany

    work page 1971