pith. sign in

arxiv: 2511.18592 · v2 · pith:LBLQCW6Inew · submitted 2025-11-23 · 🧮 math.AP

Desingularization of nondegenerate rotating vortex patches

R\u{a}zvan-Octavian Radu , Noah Stevenson This is my paper

Pith reviewed 2026-05-21 18:43 UTC · model grok-4.3

classification 🧮 math.AP
keywords rotating vortex patchesdesingularizationEuler equationsnondegeneracyKirchhoff ellipsesRankine vortexNewton methodstream function
0
0 comments X

The pith

Nondegenerate rotating vortex patches arise as limits of smooth, compactly supported rotating Euler solutions.

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

The paper proves that vortex patch solutions to the two-dimensional rotating Euler equations, when they satisfy a natural nondegeneracy condition, can be recovered as the limit of smooth rotating solutions whose vorticity has compact support and is smooth to infinite order. These approximating solutions also preserve dihedral symmetry. The argument proceeds by reformulating the problem locally as a stream-function equation in a thin tubular neighborhood around the patch boundary, then applying nonlinear estimates and a tailored Newton's iteration to produce the regular solutions. The nondegeneracy hypothesis is verified for Kirchhoff ellipses and for local bifurcation branches coming from the Rankine vortex, and the same framework yields additional families of nearby singular but non-patch solutions.

Core claim

Under a nondegeneracy condition on a given rotating vortex patch, there exist sequences of dihedrally symmetric, infinitely smooth rotating Euler solutions with compactly supported vorticity that converge to the patch solution.

What carries the argument

Local stream-function formulation in a tubular neighborhood of the patch boundary, solved via nonlinear a priori estimates on thin domains and a custom Newton's method.

If this is right

  • Kirchhoff elliptical patches admit smooth desingularizations.
  • Local bifurcation curves from the Rankine vortex likewise admit smooth compactly supported approximations.
  • The same construction produces exotic singular rotating solutions that are not classical patches but lie nearby any nondegenerate patch.

Where Pith is reading between the lines

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

  • The nondegeneracy condition may serve as a practical test for whether a given patch can be stably approximated in numerical vortex simulations.
  • The tubular-neighborhood and Newton-method framework could be adapted to study desingularization for patches in other steady fluid models, such as those with weak viscosity.
  • Preservation of dihedral symmetry in the approximations suggests that the limiting patch inherits a discrete rotational invariance that might constrain its possible perturbations.

Load-bearing premise

The given vortex patch solution satisfies a nondegeneracy condition that makes the linearized operator invertible in the function spaces used for the iteration.

What would settle it

An explicit computation or numerical construction showing that no sequence of smooth, compactly supported, dihedrally symmetric rotating solutions converges to a Kirchhoff ellipse while satisfying the steady Euler equation.

Figures

Figures reproduced from arXiv: 2511.18592 by Noah Stevenson, R\u{a}zvan-Octavian Radu.

Figure 1
Figure 1. Figure 1: Shown here are the sets U, U in, and U out produced by Lemma 3.1 and their relation to Σ (the curve in solid black). The region in blue is the topological tubular neighborhood U. The set U in is the bounded connected component of the white region. The set U out is the complement of U ∪ Uin. The support of the vorticity Ue is not emphasized in the diagram, but it is the bounded simply connected region enclo… view at source ↗
read the original abstract

This paper analyzes the space of steady rotating solutions to the two-dimensional incompressible Euler equations nearby vortex patch solutions satisfying a natural nondegeneracy condition. We address the question of desingularization and prove that such vortex patch states are the limit of rotating Euler solutions that are smooth to infinite order, have compact vorticity support, and respect dihedral symmetry. Our nondegeneracy condition is proved to be satisfied by Kirchhoff ellipses and along the local bifurcation curves emanating from the Rankine vortex. The construction, which is based on a local stream function formulation in a tubular neighborhood of the patch boundary, is a synthesis of delicate analysis on thin domains, nonlinear a priori estimates, and a custom version of Newton's method. Our techniques are robust enough to additionally allow us to construct exotic families of singular rotating vortex patch-like solutions nearby a given nondegenerate state. To the best of the authors' knowledge, this work constitutes the first desingularization procedure applicable to general families of steady rotating vortex patches.

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

1 major / 3 minor

Summary. The paper proves a desingularization result for nondegenerate rotating vortex patches of the 2D incompressible Euler equations. It shows that such patches arise as limits of rotating Euler solutions that are smooth to infinite order, have compact vorticity support, and preserve dihedral symmetry. The proof proceeds via a local stream-function formulation in a tubular neighborhood of the patch boundary, combined with nonlinear a priori estimates and a custom Newton iteration. Nondegeneracy is verified explicitly for Kirchhoff ellipses and for local bifurcation curves emanating from the Rankine vortex; the same framework is used to construct nearby exotic families of singular rotating vortex-patch-like solutions.

Significance. If the central claims hold, the work supplies the first general desingularization procedure applicable to families of steady rotating vortex patches. The synthesis of thin-domain analysis, nonlinear estimates, and symmetry-preserving iteration is technically robust and yields both the desingularization theorem and additional singular solutions as corollaries. These results strengthen the understanding of the structure of steady states in the Euler equations and provide a template that may extend to related free-boundary problems.

major comments (1)
  1. §2.2, Definition 2.3 (nondegeneracy condition): the hypothesis is load-bearing for the general theorem, yet the paper only verifies it for Kirchhoff ellipses (§4) and local bifurcations from the Rankine vortex; a brief discussion of how one might check the condition for other explicit patches (e.g., via numerical linearization) would strengthen the claim that the result applies to “general families.”
minor comments (3)
  1. §3.1, equation (3.4): the notation for the tubular neighborhood radius ε should be introduced with an explicit dependence on the curvature of the patch boundary to make the thin-domain scaling transparent.
  2. §5, Newton iteration: the symmetry-preserving property is asserted but the projection step onto the dihedral-invariant subspace is not written out; adding one line of notation would clarify that the iteration stays within the symmetry class.
  3. Figure 2: the caption should indicate the precise value of the rotation speed Ω used in the numerical illustration of the exotic singular solutions.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper establishes its central desingularization result through a direct existence proof that synthesizes a local stream-function formulation in a tubular neighborhood, nonlinear a priori estimates on thin domains, and a custom Newton iteration. The nondegeneracy condition is explicitly introduced as a hypothesis for the general theorem and is verified separately for Kirchhoff ellipses and local bifurcation curves from the Rankine vortex; this verification does not feed back into the main construction. No load-bearing step reduces by definition to its own inputs, renames a fitted quantity as a prediction, or relies on a self-citation chain whose content is unverified outside the present work. The derivation remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the 2D incompressible Euler equations and a nondegeneracy condition verified only for specific families; no free parameters are fitted, and no new physical entities are introduced.

axioms (2)
  • domain assumption The 2D incompressible Euler equations govern the fluid motion under consideration.
    Invoked throughout as the governing system for steady rotating solutions.
  • ad hoc to paper The nondegeneracy condition holds for the vortex patches under study.
    Central hypothesis for the desingularization theorem; verified explicitly only for Kirchhoff ellipses and Rankine-vortex bifurcations.

pith-pipeline@v0.9.0 · 5699 in / 1289 out tokens · 41760 ms · 2026-05-21T18:43:40.789002+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Linear instability of a Burgers--Hilbert traveling wave

    math.AP 2026-05 unverdicted novelty 6.0

    For frequency ω=3 and wave speed c≈1.1, the linearized operator around Burgers-Hilbert traveling waves has an eigenvalue with negative real part, shown via computer-assisted interval arithmetic.

Reference graph

Works this paper leans on

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

  1. [1]

    Abraham, J

    R. Abraham, J. E. Marsden, and T. Ratiu.Manifolds, Tensor Analysis, and Applications, volume 75 ofApplied Mathematical Sciences. Springer-Verlag, New York, second edition, 1988

    work page 1988

  2. [2]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara.Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000

    work page 2000

  3. [3]

    C. Bardos. Existence et unicit´ e de la solution de l’´ equation d’Euler en dimension deux.J. Math. Anal. Appl., 40:769–790, 1972

    work page 1972

  4. [4]

    Bedrossian and V

    J. Bedrossian and V. Vicol.The Mathematical Analysis of the Incompressible Euler and Navier-Stokes Equations—An Introduction, volume 225 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2022

    work page 2022

  5. [5]

    A. L. Bertozzi and P. Constantin. Global regularity for vortex patches.Comm. Math. Phys., 152(1):19–28, 1993

    work page 1993

  6. [6]

    A. L. Bertozzi and A. J. Majda.Vorticity and Incompressible Flow, volume 27 ofCambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge, 2002

    work page 2002

  7. [7]

    Buffoni and J

    B. Buffoni and J. Toland.Analytic Theory of Global Bifurcation. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ, 2003. An introduction

    work page 2003

  8. [8]

    J. Burbea. Motions of vortex patches.Lett. Math. Phys., 6(1):1–16, 1982

    work page 1982

  9. [9]

    Castro, D

    A. Castro, D. C´ ordoba, and J. G´ omez-Serrano. Existence and regularity of rotating global solutions for the generalized surface quasi-geostrophic equations.Duke Math. J., 165(5):935–984, 2016

    work page 2016

  10. [10]

    Castro, D

    A. Castro, D. C´ ordoba, and J. G´ omez-Serrano. Uniformly rotating analytic global patch solutions for active scalars. Ann. PDE, 2(1):Art. 1, 34, 2016

    work page 2016

  11. [11]

    Castro, D

    A. Castro, D. C´ ordoba, and J. G´ omez-Serrano. Uniformly rotating smooth solutions for the incompressible 2D Euler equations.Arch. Ration. Mech. Anal., 231(2):719–785, 2019

    work page 2019

  12. [12]

    J.-Y. Chemin. Persistance des structures g´ eom´ etriques li´ ees aux poches de tourbillon. InS´ eminaire sur les´Equations aux D´ eriv´ ees Partielles, 1990–1991, pages Exp. No. XIII, 11.´Ecole Polytech., Palaiseau, 1991

    work page 1990

  13. [13]

    J.-Y. Chemin. Persistance de structures g´ eom´ etriques dans les fluides incompressibles bidimensionnels.Ann. Sci.´Ecole Norm. Sup. (4), 26(4):517–542, 1993

    work page 1993

  14. [14]

    Choffrut and L

    A. Choffrut and L. Sz´ ekelyhidi, Jr. Weak solutions to the stationary incompressible Euler equations.SIAM J. Math. Anal., 46(6):4060–4074, 2014

    work page 2014

  15. [15]

    Choffrut and V

    A. Choffrut and V. ˇSver´ ak. Local structure of the set of steady-state solutions to the 2D incompressible Euler equations. Geom. Funct. Anal., 22(1):136–201, 2012

    work page 2012

  16. [16]

    Constantin, T

    P. Constantin, T. D. Drivas, and D. Ginsberg. Flexibility and rigidity in steady fluid motion.Comm. Math. Phys., 385(1):521–563, 2021

    work page 2021

  17. [17]

    Coti Zelati, T

    M. Coti Zelati, T. M. Elgindi, and K. Widmayer. Stationary structures near the Kolmogorov and Poiseuille flows in the 2dEuler equations.Arch. Ration. Mech. Anal., 247(1):Paper No. 12, 37, 2023

    work page 2023

  18. [18]

    M. G. Crandall and P. H. Rabinowitz. Bifurcation from simple eigenvalues.J. Functional Analysis, 8:321–340, 1971

    work page 1971

  19. [19]

    R. Danchin. ´Evolution temporelle d’une poche de tourbillon singuli` ere.Comm. Partial Differential Equations, 22(5- 6):685–721, 1997

    work page 1997

  20. [20]

    R. Danchin. ´Evolution d’une singularit´ e de type cusp dans une poche de tourbillon.Rev. Mat. Iberoamericana, 16(2):281–329, 2000

    work page 2000

  21. [21]

    de la Hoz, Z

    F. de la Hoz, Z. Hassainia, T. Hmidi, and J. Mateu. An analytical and numerical study of steady patches in the disc. Anal. PDE, 9(7):1609–1670, 2016

    work page 2016

  22. [22]

    de la Hoz, T

    F. de la Hoz, T. Hmidi, J. Mateu, and J. Verdera. Doubly connected V -states for the planar Euler equations.SIAM J. Math. Anal., 48(3):1892–1928, 2016

    work page 1928

  23. [23]

    v-states

    G. S. Deem and N. J. Zabusky. Vortex waves: Stationary “v-states”, interactions, recurrence, and breaking.Phys. Rev. Lett., 40(13):859–862, 1978

    work page 1978

  24. [24]

    T. M. Elgindi and Y. Huang. Regular and singular steady states of the 2D incompressible Euler equations near the Bahouri-Chemin patch.Arch. Ration. Mech. Anal., 249(1):Paper No. 2, 31, 2025

    work page 2025

  25. [25]

    T. M. Elgindi and I.-J. Jeong. On singular vortex patches, II: long-time dynamics.Trans. Amer. Math. Soc., 373(9):6757– 6775, 2020

    work page 2020

  26. [26]

    T. M. Elgindi and I.-J. Jeong. On singular vortex patches, I: Well-posedness issues.Mem. Amer. Math. Soc., 283(1400):v+89, 2023. 44 R ˘AZVAN-OCTAVIAN RADU AND NOAH STEVENSON

    work page 2023

  27. [27]

    T. M. Elgindi and M. J. Jo. Cusp formation in vortex patches. 2025. Preprint, arXiv:2504.02705

    work page arXiv 2025

  28. [28]

    T. M. Elgindi, R. W. Murray, and A. R. Said. Wellposedness and singularity formation beyond the yudovich class.J. Eur. Math. Soc., 2025

    work page 2025

  29. [29]

    L. C. Evans and R. F. Gariepy.Measure Theory and Fine Properties of Functions. Textbooks in Mathematics. CRC Press, Boca Raton, FL, revised edition, 2015

    work page 2015

  30. [30]

    Federer.Geometric Measure Theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften

    H. Federer.Geometric Measure Theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York, Inc., New York, 1969

    work page 1969

  31. [31]

    G. B. Folland.Introduction to Partial Differential Equations. Princeton University Press, Princeton, NJ, second edition, 1995

    work page 1995

  32. [32]

    G. B. Folland.Real Analysis. Pure and Applied Mathematics (New York). John Wiley & Sons, Inc., New York, second edition, 1999. Modern techniques and their applications, A Wiley-Interscience Publication

    work page 1999

  33. [33]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger.Elliptic Partial Differential Equations of Second Order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    work page 2001

  34. [34]

    Y. Guo, C. Hallstrom, and D. Spirn. Dynamics near an unstable Kirchhoff ellipse.Comm. Math. Phys., 245(2):297–354, 2004

    work page 2004

  35. [35]

    R. S. Hamilton. The inverse function theorem of Nash and Moser.Bull. Amer. Math. Soc. (N.S.), 7(1):65–222, 1982

    work page 1982

  36. [36]

    Hassainia, N

    Z. Hassainia, N. Masmoudi, and M. H. Wheeler. Global bifurcation of rotating vortex patches.Comm. Pure Appl. Math., 73(9):1933–1980, 2020

    work page 1933

  37. [37]

    Hmidi and J

    T. Hmidi and J. Mateu. Bifurcation of rotating patches from Kirchhoff vortices.Discrete Contin. Dyn. Syst., 36(10):5401– 5422, 2016

    work page 2016

  38. [38]

    Hmidi and J

    T. Hmidi and J. Mateu. Degenerate bifurcation of the rotating patches.Adv. Math., 302:799–850, 2016

    work page 2016

  39. [39]

    Hmidi and J

    T. Hmidi and J. Mateu. Existence of corotating and counter-rotating vortex pairs for active scalar equations.Comm. Math. Phys., 350(2):699–747, 2017

    work page 2017

  40. [40]

    Hmidi, J

    T. Hmidi, J. Mateu, and J. Verdera. Boundary regularity of rotating vortex patches.Arch. Ration. Mech. Anal., 209(1):171–208, 2013

    work page 2013

  41. [41]

    H¨ older.¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit.Math

    E. H¨ older.¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit.Math. Z., 37(1):727–738, 1933

    work page 1933

  42. [42]

    M. C. Irwin.Smooth Dynamical Systems, volume 17 ofAdvanced Series in Nonlinear Dynamics. World Scientific Publishing Co., Inc., River Edge, NJ, 2001

    work page 2001

  43. [43]

    Kato and G

    T. Kato and G. Ponce. Well-posedness of the Euler and Navier-Stokes equations in the Lebesgue spaces Lp s(R2).Rev. Mat. Iberoamericana, 2(1-2):73–88, 1986

    work page 1986

  44. [44]

    Kirchhoff.Vorlesungen ¨Uber Mathematische Physik

    G. Kirchhoff.Vorlesungen ¨Uber Mathematische Physik. Bd. I: Mechanik. B. G. Teubner, Leipzig, 1874

    work page

  45. [45]

    Lamb.Hydrodynamics

    H. Lamb.Hydrodynamics. Cambridge Mathematical Library. Cambridge University Press, Cambridge, sixth edition,

    work page

  46. [46]

    With a foreword by R. A. Caflisch [Russel E. Caflisch]

    work page

  47. [47]

    Lanza de Cristoforis and L

    M. Lanza de Cristoforis and L. Preciso. On the analyticity of the Cauchy integral in Schauder spaces.J. Integral Equations Appl., 11(3):363–391, 1999

    work page 1999

  48. [48]

    Lichtenstein

    L. Lichtenstein. ¨Uber einige Existenzprobleme der Hydrodynamik homogener, unzusammendr¨ uckbarer, reibungsloser Fl¨ ussigkeiten und die Helmholtzschen Wirbels¨ atze.Math. Z., 23(1):89–154, 1925

    work page 1925

  49. [49]

    A. E. H. Love. On the Stability of certain Vortex Motions.Proc. Lond. Math. Soc., 25:18–42, 1893/94

    work page

  50. [50]

    A. Majda. Vorticity and the mathematical theory of incompressible fluid flow. volume 39, pages S187–S220. 1986. Frontiers of the mathematical sciences: 1985 (New York, 1985)

    work page 1986

  51. [51]

    Marchioro and M

    C. Marchioro and M. Pulvirenti.Mathematical Theory of Incompressible Nonviscous Fluids, volume 96 ofApplied Mathematical Sciences. Springer-Verlag, New York, 1994

    work page 1994

  52. [52]

    N. I. Muskhelishvili.Singular Integral Equations. Boundary Problems of Function Theory and Their Application to Mathematical Physics. P. Noordhoff N. V., Groningen, 1953. Translation by J. R. M. Radok

    work page 1953

  53. [53]

    E. A. Overman, II. Steady-state solutions of the Euler equations in two dimensions. II. Local analysis of limiting V-states.SIAM J. Appl. Math., 46(5):765–800, 1986

    work page 1986

  54. [54]

    Pommerenke.Boundary Behaviour of Conformal Maps, volume 299 ofGrundlehren der mathematischen Wis- senschaften

    C. Pommerenke.Boundary Behaviour of Conformal Maps, volume 299 ofGrundlehren der mathematischen Wis- senschaften. Springer-Verlag, Berlin, 1992

    work page 1992

  55. [55]

    R.-O. Radu. Existence and regularity for vortex patch solutions of the 2D Euler equations.Indiana Univ. Math. J., 71(5):2195–2230, 2022

    work page 2022

  56. [56]

    W. J. M. Rankine.A Manual of Applied Mechanics. R. Griffin, London, 1858

    work page

  57. [57]

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

    work page 1992

  58. [58]

    P. Serfati. Pertes de r´ egularit´ e pour le laplacien et l’´ equation d’euler surRn. 1994. Preprint

    work page 1994

  59. [59]

    P. Serfati. Une preuve directe d’existence globale des vortex patches 2d.C. R. Acad. Sci. Paris S´ er. I Math., 318(6):515– 518, 1994

    work page 1994

  60. [60]

    E. M. Stein.Singular Integrals and Differentiability Properties of Functions, volume No. 30 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1970

    work page 1970

  61. [61]

    Y. Tang. Nonlinear stability of vortex patches.Trans. Amer. Math. Soc., 304(2):617–638, 1987

    work page 1987

  62. [62]

    Y. H. Wan. The stability of rotating vortex patches.Comm. Math. Phys., 107(1):1–20, 1986. DESINGULARIZATION OF STEADY ROTATING VORTEX PATCHES 45

    work page 1986

  63. [63]

    Y. H. Wan and M. Pulvirenti. Nonlinear stability of circular vortex patches.Comm. Math. Phys., 99(3):435–450, 1985

    work page 1985

  64. [64]

    Wolibner

    W. Wolibner. Un theor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incompressible, pendant un temps infiniment long.Math. Z., 37(1):698–726, 1933

    work page 1933

  65. [65]

    H. M. Wu, E. A. Overman, II, and N. J. Zabusky. Steady-state solutions of the Euler equations in two dimensions: rotating and translating V -states with limiting cases. I. Numerical algorithms and results.J. Comput. Phys., 53(1):42–71, 1984

    work page 1984

  66. [66]

    B. B. Xue, E. R. Johnson, and N. R. McDonald. New families of vortex patch equilibria for the two-dimensional Euler equations.Phys. Fluids, 29(12):123602, 2017

    work page 2017

  67. [67]

    V. I. Yudovich. Non-stationary flows of an ideal incompressible fluid. ˇZ. Vyˇ cisl. Mat i Mat. Fiz., 3:1032–1066, 1963

    work page 1963

  68. [68]

    V. I. Yudovich. Uniqueness theorem for the basic nonstationary problem in the dynamics of an ideal incompressible fluid.Math. Res. Lett., 2(1):27–38, 1995. Department of Mathematics, Princeton University, Princeton, NJ 08544, USA Email address, R.-O. Radu:rradu@math.princeton.edu Department of Mathematics, Princeton University, Princeton, NJ 08544, USA Em...

    work page 1995