REVIEW 1 major objections 3 minor 37 references
Uniformly Rotating Euler Configurations with Multiple Vorticity Holes
T0 review · 1 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper constructs uniformly rotating vortex-patch solutions of the 2D Euler equations in which m concentrated inner components sit inside one outer patch and collapse to the origin as a concentration parameter goes to zero.
desk verdict Genuinely new desingularization construction with a fixable sign error in the key continuity estimate (4.21); worth refereeing after correction. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the reduced nonlinear operator F^σ(ε,Λ,f)=(F^σ_1,F^σ_2) built from contour dynamics. Boundaries are written as radial graphs with radii w_j=√(1+2εf_j); m-fold symmetry collapses the m+1 interface conditions to two scalar equations for the outer perturbation f1 and one reference inner perturbation f2. A singular rescaling extracts powers of ε^α from the angular velocity, and the constant Ω0=(1−m)/(4π) is chosen to cancel the leading singular inner–inner term, matching the regular-polygon point-vortex rotation rate. At ε=0 the operator converges to (Ω0 f1′, (1/2π)(f2′+H[f2])−Λ sin·), where H is the periodic Hilbert transform. This limiting linear operator is diagonal in Fouri
What would settle it
Evaluate the second component of the operator at the circular configuration, f=0, for m=3 and α=1/3. The paper's expansion (3.8) gives F^σ_2(ε,Λ,0) = −Λ sinϑ + (1/(6π)) ε^{1/3} sin(2ϑ) + O(ε^{2/3}); a direct numerical evaluation of the contour integrals at ε=10^{-3} should reproduce this coefficient and confirm it vanishes as ε→0. If any nonzero residual harmonic survived after rescaling, the limiting operator (4.3) would be wrong and the theorem would fail.
Extended reading notes
Core claim
On its own terms, the paper establishes Theorem 1.1: for m≥2, ν∈(0,1), α∈(1/(m+2),1/2), and σ∈{0,1}, there is ε0 such that for ε∈(0,ε0) the two-level vorticity (1.6) is a uniformly rotating weak solution of 2D Euler. Its outer boundary and the boundary of one reference inner component are C^{1,ν} radial graphs; the other m−1 inner components are rotations by 2π/m. The angular velocity is Ωε=(1−m)/(4π ε^{2α}) + Λε/ε^α with Λε→0, and the vorticities converge in measure to 1_D − mδ0. The proof reduces the m+1 boundary equations, by m-fold and reflection symmetry, to two scalar nonlinear equations F^σ(ε,Λ,f)=0, shows that F^σ extends continuously to the singular value ε=0, and proves that its li
Load-bearing premise
The whole proof rests on one uniformity: as the inner disks shrink to points, the boundary equations keep the same Hölder regularity all the way to ε=0. If that uniform control failed on the C^{1,ν} ball of perturbations, the operator could not be extended continuously to ε=0, and no implicit-function branch could be opened.
Editorial extensions
If this is right
- For each m≥2 and either phase σ=0 or σ=1, there exist genuine uniformly rotating weak Euler solutions with m interior interfaces, not merely formal or numerical equilibria.
- As ε→0, the rotating branch degenerates: the vorticities converge in measure to the stationary Rankine-plus-point-vortex state while |Ωε|→∞, so the limiting measure alone carries no information about the rotation rate.
- At ε_h=1/√π the inner components would carry zero vorticity; if the local branch can be continued globally to that parameter value, it would yield a uniformly rotating vortex patch with m genuine holes—identified by the authors as an open problem.
- The admissible concentration range α∈(1/(m+2),1/2) is sharp except for m=5, where α<2/3 follows from an exact cancellation of the second harmonic in the inner–inner interaction.
Reading between the lines
- Editorial inference: the same symmetry-reduction and explicit-inverse strategy should transfer to other m-fold point-vortex equilibria—nested polygons, body-centered configurations—provided the linearized operator at ε=0 remains diagonal and invertible.
- Editorial inference: the divergence of Ωε suggests a general selection rule: a desingularization branch can converge in measure to a rotation-invariant state even though its angular velocity blows up, so measure-level descriptions of vortex configurations miss the nontrivial rotating structure present at every positive ε.
- Editorial inference: the exceptional pentagonal window α<2/3 should be directly observable numerically—the second harmonic vanishes for m=5, so the first surviving correction is the cubic harmonic with a slower decay rate, making the α-bound visible in the boundary shapes.
- Editorial inference: a natural next step, not addressed in the paper, is to test the local branch numerically for small ε and attempt continuation toward ε_h=1/√π; success would produce the first uniformly rotating patch with genuine zero-vorticity holes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs, for each integer m ≥ 2, phase σ ∈ {0,1}, and exponent α in (1/(m+2), 1/2), a local one-parameter family of uniformly rotating, piecewise constant weak solutions of the 2D incompressible Euler equations. Each solution consists of an outer vortex patch whose boundary is C^{1,ν}-close to the unit circle and m identical small inner components of vorticity −1/(πε²), centered at the vertices of a regular m-gon of radius ε^α. As ε → 0 the inner components collapse to the origin and the vorticities converge weakly to 1_D − mδ_0. The angular velocity has the singular form (1−m)/(4π ε^{2α}) + Λ(ε)/ε^α with Λ(ε) → 0. The proof reduces the contour-dynamics equations to a two-component nonlinear system F^σ(ε,Λ,f) = 0, proves that F^σ extends continuously to ε = 0, establishes Fréchet differentiability, computes an explicitly invertible Fourier-diagonal linearized operator at the singular limit, and applies a parameter-dependent implicit function theorem.
Significance. If the proof is correct, this is a significant contribution to the desingularization theory of point-vortex equilibria in a multiply connected geometry. It is, to the authors' knowledge, the first construction in which several concentrated inner components inside a common outer patch collapse simultaneously to the center. The paper is unusually explicit: the coefficient Ω0 is derived from an exact expansion rather than imposed, the admissible α-range is shown to be sharp at the formal level, the exceptional pentagonal cancellation is identified, and the linearized operator is diagonalized in Fourier modes. The Hölder estimates are detailed and the functional-analytic framework is appropriate. The main caveat is a concrete sign error in a central continuity estimate, discussed below.
major comments (1)
- [§4.1, Eq. (4.21)] The displayed estimate (4.21) is algebraically false as written and does not follow from (4.18)–(4.20). From (4.17), I_{2,2} = −Ω0 ε^{−α} Re(z2') + P_ε. The local rotational contribution in (2.17)/(4.19) is B := (Ω0 + ε^α Λ)[ε^{2−2α}f2' + ε^{−α}Re(z2')] = Ω0 ε^{−α}Re(z2') + (Ω0 ε^{2−2α} + Λ ε^{2−α})f2' + Λ Re(z2'). Therefore I_{2,2} − B + Λ sinϑ equals −2Ω0 ε^{−α}Re(z2') − (Ω0 ε^{2−2α} + Λ ε^{2−α})f2' − Λ(Re(z2') − sinϑ) + P_ε, whose first term is of order ε^{−α} and is not controlled by the claimed bound C(ε + ε^{1−2α}). The cancellation of the Ω0 ε^{−α} terms occurs for I_{2,2} + B + Λ sinϑ, not for the difference. Since (4.22) and hence the continuous extension of F^σ_2 to ε = 0 in Proposition 4.1 rely on (4.21), the proof as printed does not rigorously establish the central continuity estimate. Please correct the sign (the intended combination appears to be I_{2,2} + B + Λ sinϑ) and
minor comments (3)
- [Remark 1.2 / Corollary 3.1] The statement that for m = 5 the admissible upper bound on α can be improved from 1/2 to 2/3 is not supported by the nonlinear estimates in Section 4, where the proof requires 1 − 2α > 0 (e.g., (4.22)). The improved range appears to hold only for the formal limiting equation F^σ(0,Λ,0). Please clarify this in the text so that readers do not infer an existence theorem for α ∈ [1/2, 2/3).
- [§4.2, estimates (4.37)–(4.38)] The derivation of the derivative-continuity bounds at ε = 0 is compressed to 'follows the same line of Proposition 4.1'. Since these estimates are needed to apply the parameter-dependent implicit function theorem, please expand the argument or give precise pointers to the corresponding estimates in Proposition 4.1, especially after the sign correction in (4.21).
- [§5, first paragraph] Typo: 'opertor' should be 'operator'.
Circularity Check
No significant circularity: the leading angular velocity is an explicit ansatz chosen to cancel a singular term, and the existence of the correction is genuinely obtained from the implicit function theorem.
full rationale
The paper's central claim is an existence theorem obtained by a contour-dynamics reduction and a parameter-dependent implicit function theorem. The leading angular-velocity coefficient Ω0=(1−m)/(4π) is not a fitted prediction: it is chosen in Section 3 (Proposition 3.2) so that the ε^{-α} singular term in F2 cancels identically, after which the unknown correction Λε is solved for by the implicit function theorem at ε=0. The limit identity Fσ(0,0,0)=0 and the linearized operator L[λ,h]=(Ω0 h1', −λ sinϑ + (1/2π)(h2'+H[h2])) are computed directly from the integral formulas, and invertibility is proved by an explicit Fourier inverse (Proposition 5.1). No target conclusion is used as an input: the vorticity parameters, boundary perturbations, and angular-velocity correction are genuinely determined by the equation Fσ(ε,Λ,f)=0. The paper does cite the authors' prior work for the overall strategy and for technical kernel estimates (e.g., Lemma A.1 is justified by adapting arguments from [15,13]), but these citations are methodological or technical and do not smuggle in the conclusion. The self-citations are not load-bearing in the sense that the main theorem's content—existence of the family with a nontrivial Λε and C^{1,ν} boundaries—does not reduce to those citations. A possible algebraic sign error in estimate (4.21) is a correctness concern for the continuity argument, but it is not a circularity: it does not make the derivation equivalent to its inputs. Overall, the derivation chain is self-contained with respect to the existence claim, and the circularity score is minimal.
Assumptions & free parameters
free parameters (1)
- scaling exponent alpha =
alpha in (1/(m+2), 1/2), with the m=5 improvement alpha < 2/3
assumptions (5)
- standard math Yudovich well-posedness and the contour dynamics formulation for piecewise constant vorticity
- domain assumption m-fold rotational symmetry plus reflection symmetry reduce the m+1 boundary equations to two scalar equations
- domain assumption The admissible range 1/(m+2) < alpha < 1/2 makes all remainder exponents positive
- standard math Parameter-dependent implicit function theorem with metric parameter space [0, epsilon_0)
- standard math Weakly singular integral estimates of Lemma A.1 and chord-arc lower bounds
Cite this review
Pith. "Pith review of Uniformly Rotating Euler Configurations with Multiple Vorticity Holes." pith.science (2026). https://pith.science/paper/563TMARG
@misc{pith2026260803654,
author = {Pith},
title = {Pith review of: Uniformly Rotating Euler Configurations with Multiple Vorticity Holes},
year = {2026},
howpublished = {\url{https://pith.science/paper/563TMARG}},
note = {Machine review of arXiv:2608.03654}
}
abstract
We construct new families of uniformly rotating vortex-patch solutions of the two-dimensional incompressible Euler equations consisting of a simply connected outer patch and multiple interior interfaces, which can be interpreted geometrically as holes. More precisely, each solution consists of a single outer vortex patch enclosing $\mathbf m\geq2$ identical, highly concentrated inner components arranged at the vertices of a regular $\mathbf m$-gon; the entire configuration rotates rigidly in the clockwise direction. As the concentration parameter tends to zero, the inner components shrink and collapse simultaneously toward the origin, while the outer boundary converges to the unit circle. The corresponding vorticities converge, in the sense of measures, to a Rankine vortex supplemented by a point vortex of circulation $-\mathbf m$ at its center. The proof is based on a contour-dynamics formulation, a symmetry reduction to two nonlinear boundary equations, and a suitable singular rescaling. We then apply an implicit function theorem with a continuous parameter in symmetry-adapted H\"older spaces. To the best of our knowledge, this is the first analytical construction of a desingularization regime in which several concentrated inner components are contained in a common outer patch and collapse simultaneously toward its center.
Figures
Reference graph
Works this paper leans on
-
[1]
Time quasi-periodic vortex patches.Inventiones Mathematicae, 233(3):1–113, 2023
Massimiliano Berti, Zineb Hassainia, and Nader Masmoudi. Time quasi-periodic vortex patches.Inventiones Mathematicae, 233(3):1–113, 2023
work page 2023
-
[2]
Motions of vortex patches.Letters in Mathematical Physics, 6(1):1–16, 1982
Jacob Burbea. Motions of vortex patches.Letters in Mathematical Physics, 6(1):1–16, 1982
work page 1982
-
[3]
Angel Castro, Diego C´ ordoba, and Javier G´ omez-Serrano. Existence and regularity of rotating global solutions for the generalized surface quasi-geostrophic equations.Duke Mathematical Journal, 165(5):935–984, 2016
work page 2016
-
[4]
Angel Castro, Diego C´ ordoba, and Javier G´ omez-Serrano. Uniformly rotating smooth solutions for the in- compressible 2d Euler equations.Archive for Rational Mechanics and Analysis, 231(2):719–785, 2019
work page 2019
-
[5]
Juan D´ avila, Manuel del Pino, Monica Musso, and Juncheng Wei. Gluing methods for vortex dynamics in Euler flows.Archive for Rational Mechanics and Analysis, 235(3):1467–1530, 2020
work page 2020
-
[6]
An analytical and numerical study of steady patches in the disc.Analysis & PDE, 9(7):1609–1670, 2016
Francisco de la Hoz, Zineb Hassainia, Taoufik Hmidi, and Joan Mateu. An analytical and numerical study of steady patches in the disc.Analysis & PDE, 9(7):1609–1670, 2016
work page 2016
-
[7]
Francisco de la Hoz, Taoufik Hmidi, Joan Mateu, and Joan Verdera. Doubly connectedV-states for the planar Euler equations.SIAM Journal on Mathematical Analysis, 48(3):1892–1928, 2016
work page 1928
- [8]
Show all 37 references
-
[9]
Dontchev and R
Asen L. Dontchev and R. Tyrrell Rockafellar.Implicit Functions and Solution Mappings: A View from Variational Analysis. Springer, 2 edition, 2014
2014
-
[10]
Dritschel
David G. Dritschel. A general theory for two-dimensional vortex interactions.Journal of Fluid Mechanics, 293:269–303, 1995
1995
-
[11]
K´ arm´ an vortex street in incompressible fluid models.Nonlinearity, 33(4):1625–1676, 2020
Claudia Garc ´ ıa. K´ arm´ an vortex street in incompressible fluid models.Nonlinearity, 33(4):1625–1676, 2020
2020
-
[12]
Vortex patches choreography for active scalar equations.Journal of Nonlinear Science, 31(5):Paper No
Claudia Garc ´ ıa. Vortex patches choreography for active scalar equations.Journal of Nonlinear Science, 31(5):Paper No. 75, 31, 2021
2021
-
[13]
Survey on periodic vortex patches.arXiv preprint arXiv:2607.12577, 2026
Claudia Garc ´ ıa. Survey on periodic vortex patches.arXiv preprint arXiv:2607.12577, 2026
2026 arXiv
-
[14]
Claudia Garc ´ ıa and Susanna V. Haziot. Global bifurcation for corotating and counter-rotating vortex pairs. Communications in Mathematical Physics, 402(2):1167–1204, 2023
2023
-
[15]
Time Periodic Solutions for 3D Quasi-Geostrophic Model
Claudia Garc ´ ıa, Taoufik Hmidi, and Joan Mateu. Time Periodic Solutions for 3D Quasi-Geostrophic Model. Communications in Mathematical Physics, 390(2):617–756, 2022
2022
-
[16]
Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations.Archive for Rational Mechanics and Analysis, 238(2):929–1085, 2020
Claudia Garc ´ ıa, Taoufik Hmidi, and Juan Soler. Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations.Archive for Rational Mechanics and Analysis, 238(2):929–1085, 2020
2020
-
[17]
Javier G´ omez-Serrano, Jaemin Park, and Jia Shi. Existence of non-trivial non-concentrated compactly sup- ported stationary solutions of the 2d Euler equation with finite energy.Memoirs of the American Mathematical Society, 311(1577), 2025
2025
-
[18]
Symmetry in stationary and uniformly-rotating solutions of active scalar equations.Duke Mathematical Journal, 170(13):2957–3038, 2021
Javier G´ omez-Serrano, Jaemin Park, Jia Shi, and Yao Yao. Symmetry in stationary and uniformly-rotating solutions of active scalar equations.Duke Mathematical Journal, 170(13):2957–3038, 2021. 38 V. BARONCINI, J. C. CANTERO, C. GARC ´IA, Z. HASSAINIA, AND J. MATEU
2021
-
[19]
PhD thesis, Georg- August-Universit¨ at G¨ ottingen, Z¨ urich, 1877
Walter Gr¨ obli.Spezielle Probleme ¨ uber die Bewegung geradliniger paralleler Wirbelf¨ aden. PhD thesis, Georg- August-Universit¨ at G¨ ottingen, Z¨ urich, 1877
-
[20]
Steady asymmetric vortex pairs for Euler equations.Discrete and Con- tinuous Dynamical Systems, 41(4):1939–1969, 2021
Zineb Hassainia and Taoufik Hmidi. Steady asymmetric vortex pairs for Euler equations.Discrete and Con- tinuous Dynamical Systems, 41(4):1939–1969, 2021
1939
-
[21]
Zineb Hassainia, Nader Masmoudi, and Miles H. Wheeler. Global bifurcation of rotating vortex patches. Communications on Pure and Applied Mathematics, 73(9):1933–1980, 2020
1933
-
[22]
Zineb Hassainia and Miles H. Wheeler. Multipole vortex patch equilibria for active scalar equations.SIAM Journal on Mathematical Analysis, 54(6):6054–6095, 2022
2022
-
[23]
On the trivial solutions for the rotating patch model.Journal of Evolution Equations, 15(4):801–816, 2015
Taoufik Hmidi. On the trivial solutions for the rotating patch model.Journal of Evolution Equations, 15(4):801–816, 2015
2015
-
[24]
Bifurcation of rotating patches from Kirchhoff vortices.Discrete and Con- tinuous Dynamical Systems, 36(10):5401–5422, 2016
Taoufik Hmidi and Joan Mateu. Bifurcation of rotating patches from Kirchhoff vortices.Discrete and Con- tinuous Dynamical Systems, 36(10):5401–5422, 2016
2016
-
[25]
Degenerate bifurcation of the rotating patches.Advances in Mathematics, 302:799–850, 2016
Taoufik Hmidi and Joan Mateu. Degenerate bifurcation of the rotating patches.Advances in Mathematics, 302:799–850, 2016
2016
-
[26]
Existence of corotating and counter-rotating vortex pairs for active scalar equations.Communications in Mathematical Physics, 350(2):699–747, 2017
Taoufik Hmidi and Joan Mateu. Existence of corotating and counter-rotating vortex pairs for active scalar equations.Communications in Mathematical Physics, 350(2):699–747, 2017
2017
-
[27]
Boundary regularity of rotating vortex patches.Archive for Rational Mechanics and Analysis, 209(1):171–208, 2013
Taoufik Hmidi, Joan Mateu, and Joan Verdera. Boundary regularity of rotating vortex patches.Archive for Rational Mechanics and Analysis, 209(1):171–208, 2013
2013
-
[28]
G. Keady. Asymptotic estimates for symmetric vortex streets.Journal of the Australian Mathematical Society. Series B. Applied Mathematics, 26(4):487–502, 1985
1985
-
[29]
Kirchhoff.Vorlesungen ¨ uber mathematische Physik
Gustav R. Kirchhoff.Vorlesungen ¨ uber mathematische Physik. Mechanik.Teubner, Leipzig, 1876
-
[30]
Springer-Verlag, New York, 1994
Carlo Marchioro and Mario Pulvirenti.Mathematical Theory of Incompressible Nonviscous Fluids, volume 96 ofApplied Mathematical Sciences. Springer-Verlag, New York, 1994
1994
-
[31]
R. T. Pierrehumbert. A family of steady, translating vortex pairs with distributed vorticity.Journal of Fluid Mechanics, 99(1):129–144, 1980
1980
-
[32]
P. G. Saffman and R. Szeto. Equilibrium shapes of a pair of equal uniform vortices.The Physics of Fluids, 23(12):2339–2342, 1980
1980
-
[33]
Corotating steady vortex flows with n-fold symmetry.Nonlinear Analysis
Bruce Turkington. Corotating steady vortex flows with n-fold symmetry.Nonlinear Analysis. Theory, Methods & Applications, 9:351–369, 1985
1985
-
[34]
Stirring vortices with vorticity holes.Procedia IUTAM, 7:127–134, 2013
Oscar Velasco Fuentes. Stirring vortices with vorticity holes.Procedia IUTAM, 7:127–134, 2013
2013
-
[35]
Desingularizations of systems of point vortices.Physica D: Nonlinear Phenomena, 32(2):277– 295, 1988
Yieh-Hei Wan. Desingularizations of systems of point vortices.Physica D: Nonlinear Phenomena, 32(2):277– 295, 1988
1988
-
[36]
Degenerate bifurcation of two-fold doubly-connected vortex patches
Yuchen Wang, Xin Xu, and Maolin Zhou. Degenerate bifurcation of two-fold doubly-connected vortex patches. arXiv preprint arXiv:2212.01869, 2022
2022 arXiv
-
[37]
Modeling Nature
Victor I. Yudovich. Non-stationary flow of an ideal incompressible liquid.USSR Computational Mathematics and Mathematical Physics, 3(6):1407–1456, 1963. Departamento de An´alisis Matem´atico & IMUS, Universidad de Sevilla, 41012 Seville, Spain Email address:vbaroncini@us.es De...
1963
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.