REVIEW 3 major objections 5 minor 2 cited by
Radial symmetry of stationary and uniformly-rotating solutions to the 2D Euler equation in a disc
T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that every uniformly rotating vortex patch in the unit disc with angular velocity Ω≤0 or Ω≥1/2 must be radially symmetric, and that every smooth rotating solution with Ω≤infω0/2 or Ω≥supω0/2 must be radial.
desk verdict Sharp disc rigidity for rotating patches and smooth vorticity, with the stationary case fully proved but the sharp-endpoint rotating cases sketched; the endpoints need a case split that is repairable. 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 machinery is continuous Steiner symmetrization (CStS), applied slice by slice, together with Brock's criterion: if the Dirichlet energy ∫|∇u|^2 changes by o(t) under CStS as t→0, then u is locally symmetric. Working with the relative stream function u=G[1_D−2Ω] for patches (or G[ω0]+Ω/2|x|^2 for smooth solutions), the condition Ω≤0 or Ω≥1/2 makes u or −u weakly superharmonic, so local symmetry upgrades to radial symmetry by a Hopf-lemma argument. The o(t) energy estimate is reduced, via test functions, to showing ∫(u_t−u) over each patch component and hole is o(t); Lemma 3.2 does this using a sequence of regular level values γ_j↓c, Sard's theorem, and the fact that u_t is a rearrangement of u.
What would settle it
Run a numerical search for a non-radial $m$-fold uniformly rotating vortex patch in the unit disc at, say, $\Omega = -0.2$ or $\Omega = 0.7$; finding one would contradict Theorem 1.1. Alternatively, exhibit a patch whose stream function has a boundary value $c$ with no regular values $\gamma_j \downarrow c$ in the interior, since Lemma 3.2 would then fail at exactly that step.
Extended reading notes
Core claim
The central claim is that, in the unit disc, rigidity wins outside the window (0,1/2): every stationary or uniformly rotating vortex patch with Ω∈(−∞,0]∪[1/2,∞) is radially symmetric, and every smooth uniformly rotating solution with Ω≤infω0/2 or Ω≥supω0/2 is radially symmetric. The proof treats the relative stream function u=G[ω]+Ω/2|x|^2 (or its negative ψ) and observes that the angular-velocity condition makes this function weakly superharmonic or subharmonic. The paper shows such a function, when it satisfies the rotating-patch or level-set boundary conditions, must be locally symmetric in every direction, and then combines local symmetry with the super/subharmonicity to conclude u is radially decreasing and hence the patch or vorticity is a centered disc or annulus, or a radial profile.
Load-bearing premise
For each constant value of the stream function on a patch boundary, the proof needs a sequence of nearby level values at which the stream function is smooth inside the patch; the paper invokes Sard's theorem to get these but does not explicitly prove the level sets avoid the $C^1$-only region across the patch boundary.
Editorial extensions
If this is right
- Corollary 1.2: a connected patch that is stationary or rotates with Ω outside (0,1/2) is a centered disc if simply connected and a centered annulus if it has holes.
- The thresholds 0 and 1/2 are sharp: non-radial m-fold patches exist for every Ω∈(0,1/2), so no rigidity theorem of this type can cover the open interval.
- Every stationary smooth solution with nonnegative vorticity in the disc is radially symmetric, since Ω=0≤infω0/2 in that case.
- For multi-scale patches, the same method gives radial symmetry whenever Ω≤min_i α_i or Ω≥max_i α_i for a vorticity ω=Σα_i 1_{D_i}, extending the patch theorem to sign-changing data.
Reading between the lines
- One likely extension is to other active scalar equations in bounded domains: the proof only needs a relative stream function that is weakly super/subharmonic and locally constant on level sets, so the same CStS localisation should work whenever such a comparison holds.
- The coexistence of rigidity outside (0,1/2) and non-radial branches throughout (0,1/2) suggests the bifurcation curves from [10] connect to the radial family at the two endpoints; numerical continuation near Ω=0 and Ω=1/2 could test this directly.
- If the authors' belief in Remark 5.1 that the multi-scale thresholds are sharp is correct, then there should exist non-radial multi-scale rotating patches for every Ω strictly between min_i α_i and max_i α_i; constructing them would complete the picture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies radial symmetry of stationary and uniformly rotating solutions to the 2D incompressible Euler equation in the unit disc. For vortex patches whose boundary is a finite union of mutually disjoint Jordan curves, Theorem 1.1 asserts that any patch satisfying (1.4) with angular velocity Ω in (−∞,0]∪[1/2,∞) must be radially symmetric. Theorem 1.5 asserts an analogous conclusion for C^2 vorticity profiles when Ω≤infω0/2 or Ω≥supω0/2. The method uses Brock's continuous Steiner symmetrization to prove local symmetry of the relative stream function, combined with maximum-principle arguments to upgrade local symmetry to full radial symmetry. The stationary patch case is proved in detail, including the disconnected case; the rotating cases are presented only as sketches with the statement that the proofs are 'nearly identical' and the details are omitted. The claimed thresholds are sharp, since non-radial m-fold patches exist for every Ω∈(0,1/2) by de la Hoz et al.
Significance. If the main theorems are correct, the paper resolves a natural open question for V-states in a disc and extends the whole-plane rigidity results of Gómez-Serrano–Park–Shi–Yao to the disc, with sharp thresholds 0 and 1/2 for patches and infω0/2, supω0/2 for smooth solutions. The paper gives a detailed and careful proof for stationary disconnected patches, including a useful local estimate (Lemma 3.2) for the continuous Steiner symmetrization of functions with locally constant boundary values. The explicit comparison with the existing non-radial examples in (0,1/2) makes the sharpness claim concrete. However, the proof of the rotating cases is only sketched, and there is a genuine gap in the application of Lemma 3.2 at the sharp endpoint Ω=1/2. The central claim is plausible and likely repairable, but the paper as written does not fully establish the theorems for the rotating ranges.
major comments (3)
- [Section 5] The proof of Theorem 1.1 for Ω≥1/2 consists of the sentence 'Following the argument for the case Ω≤0, with u replaced by ψ, we can readily establish the desired radial symmetry of D. Since the proof is nearly identical, the details are omitted.' This is a load-bearing omission: the equation for ψ has source 2Ω−1_D, so the regions where ψ is superharmonic differ from the stationary case, and the ordering of boundary constants on different components of ∂D is not justified by the same argument. In particular, the flat-region issue raised in the next comment requires a case split that is not present in the Ω≤0 proof. As written, the Ω≥1/2 assertion of Theorem 1.1 is not established. The same omission occurs in Section 6.2 for the case Ω≥supω0/2.
- [Lemma 3.2] Lemma 3.2 (Eq. (3.15)) requires, for the chosen boundary constant c, that u>c in V and that there exist regular values γ_j↓c. At the sharp endpoint Ω=1/2, this hypothesis can fail in the intended application: for a simply-connected patch, ψ=−u is harmonic in the patch and equals a constant on its only boundary component, hence ψ≡c in V=int(Γ0). Then the hypothesis u>c in V is false, and Lemma 3.2 cannot be applied. The Section 5 text does not provide the needed alternative, such as using Lemma 3.1 for the flat region or applying Lemma 3.2 with boundary value 0 on the full disc, where ψ>0 near the boundary and level sets near 0 lie in the exterior. A similar failure can occur in Section 6.2 when ω0 is constant on an open set at the level supω0 and Ω=supω0/2. The theorems may still be true, but this part of the proof is incomplete as written.
- [Section 6.1] In Section 6.1, the proof of Eq. (6.5) approximates ω0 by step functions w_k whose level sets are regular, and then applies Lemmas 3.1 and 3.2 to the domains D_i and V_j^{(i)}. The hypotheses of Lemma 3.2 are not verified: the text invokes Sard's theorem but does not show that, for each boundary constant c of u=G[ω0]+(Ω/2)|x|^2 on the relevant level sets of ω0, there is a sequence of regular values γ_j↓c with u>c on the corresponding V. When ω0 is constant on an open set, or when Ω=infω0/2 causes u to have a flat region, such a sequence need not exist. Since Eq. (6.5) is the core estimate behind the local-symmetry claim for the smooth case, this is a gap in the proof of Theorem 1.5 for Ω≤infω0/2 as well.
minor comments (5)
- [Abstract] The sentence 'The conclusion holds under the assumption that the rotating patch considered is disconnected' is misleading, since Theorem 1.1 does not require disconnectedness; the patch may be connected or disconnected. The wording should be clarified.
- [Section 6.1] The phrase 'For any integer k>1' is followed by 'inter k', which should read 'integer k'.
- [Eq. (6.6)] In Eq. (6.6), the index 'n' in the denominator and in the bound '2π/n' should be 'k', consistently with the approximation index used in (a)–(d).
- [Sections 6.1 and 6.2] The phrases 'weakly superharmonic harmonic' and 'weakly subharmonic harmonic' contain a redundant 'harmonic'; they should read 'weakly superharmonic' and 'weakly subharmonic'.
- [Section 4] The introduction of u=G[1_D−2Ω] in Section 4 is correct but slightly abrupt; it would help to note that this differs from G[1_D]+(Ω/2)|x|^2 by a constant, so that the boundary condition (1.4) is preserved.
Circularity Check
No significant circularity: thresholds and symmetry claims are derived from the sign of the elliptic operator via external Brock symmetrization, not from fitted inputs or load-bearing self-citation.
full rationale
The derivation chain is self-contained and does not reduce the conclusions to their inputs. Theorem 1.1 assumes only that a patch satisfies the rotating-frame condition (1.4) and then concludes radial symmetry; no radiality is built into the hypothesis. The angular-velocity thresholds (0, 1/2, inf ω0/2, sup ω0/2) emerge from the sign of the Laplacian of the relative stream function: for Ω≤0, -Δu = 1_D - 2Ω ≥ 1 > 0; for Ω≥1/2, -Δψ = 2Ω - 1_D ≥ 0; and in the smooth case, -Δu = ω0 - 2Ω, so the stated inequalities on Ω control the sign. These signs are used only to apply the weakly superharmonic/subharmonic maximum-principle step, not to force the conclusion by a fitted parameter. The core machinery is Brock's continuous Steiner symmetrization (Propositions 2.4, 2.8, and Lemma 2.7), an external tool, and Lemma 3.2 is a level-set/rearrangement estimate using Sard's theorem and the elliptic equation; it does not presuppose local or radial symmetry. Self-citations [8] and [43] appear only in the literature review and are not load-bearing; the sharpness example [10] is an external existence result. Separately, the regular-value hypothesis in Lemma 3.2 is not explicitly verified at the sharp endpoints (Sections 5 and 6.2 are sketched as 'nearly identical'), and flat regions of the relative stream function could require a case split using Lemma 3.1. That is a completeness/correctness concern, not a circularity, because it does not identify any equation or parameter that is equivalent by construction to the theorem's conclusion.
Assumptions & free parameters
assumptions (7)
- standard math Properties of continuous Steiner symmetrization (Propositions 2.4, 2.8) as established by Brock
- standard math Maximum principle and Hopf lemma for weakly superharmonic functions
- standard math Sard's theorem supplies regular values for the level sets of u
- standard math Jordan curve theorem and finite-topology structure of the patch
- domain assumption Uniformly rotating patch/solution defined by local constancy of the relative stream function on boundary components and regular level sets
- domain assumption Patch boundary is a finite collection of mutually disjoint Jordan curves; smooth solutions have ω0 ∈ C^2
- standard math Step-function approximation of ω0 by functions constant on level-set components
Cite this review
Pith. "Pith review of Radial symmetry of stationary and uniformly-rotating solutions to the 2D Euler equation in a disc." pith.science (2026). https://pith.science/paper/WWOKTYMM
@misc{pith2026241205973,
author = {Pith},
title = {Pith review of: Radial symmetry of stationary and uniformly-rotating solutions to the 2D Euler equation in a disc},
year = {2026},
howpublished = {\url{https://pith.science/paper/WWOKTYMM}},
note = {Machine review of arXiv:2412.05973}
}
abstract
We study the radial symmetry properties of stationary and uniformly rotating solutions of the 2D Euler equation in the unit disc, both in the smooth setting and the patch setting. In the patch setting, we prove that every uniformly rotating patch with angular velocity $\Omega\le 0$ or $\Omega \ge 1/2$ must be radial, where both bounds are sharp. The conclusion holds under the assumption that the rotating patch considered is disconnected, with its boundaries consisting of several Jordan curves. We also show that every uniformly rotating smooth solution $\omega_0$ must be radially symmetric if its angular velocity $\Omega\le \inf \omega_0/2$ or $\Omega\ge \sup \omega_0/2$. The proof is based on the symmetry properties of non-negative solutions to elliptic problems. A newly tailored approach is developed to address the symmetries of non-negative solutions to piecewise coupled semi-linear elliptic equations.
Forward citations
Cited by 2 Pith papers
-
On stationary Quasi-Geostrophic Shallow-Water flows
Non-trivial m-fold doubly-connected stationary vortex patches are proven to exist for the quasi-geostrophic shallow-water equations via bifurcation from annuli.
-
Remarks on radial symmetry of stationary and uniformly-rotating solutions for the 2D Euler equation
Uniformly rotating 2D Euler solutions with compactly supported vorticity are forced to be radially symmetric whenever the angular velocity lies outside half the range of the vorticity, including irregular vortex patches.
Reference graph
Works this paper leans on
-
[19]
Sym metry in stationary and uniformly rotating solutions of active scalar equations
Javier G´ omez-Serrano, Jaemin Park, Jia Shi, and Yao Yao. Sym metry in stationary and uniformly rotating solutions of active scalar equations. Duke Math. J. , 170(13):2957–3038, 2021
work page 2021
-
[41]
On radial symmetry of rotating vo rtex patches in the disk
Guodong Wang and Bijun Zuo. On radial symmetry of rotating vo rtex patches in the disk. J. Math. Anal. Appl. , 495(1):Paper No. 124695, 12, 2021
work page 2021
-
[1]
Brock and P
F. Brock and P. Tak´ aˇ c. Symmetry and stability of non-negative solutions to degenerate elliptic equa- tions in a ball. Proc. Amer. Math. Soc. , 150(4):1559–1575, 2022
2022
-
[2]
Continuous Steiner-symmetrization
Friedemann Brock. Continuous Steiner-symmetrization. Math. Nachr. , 172:25–48, 1995
work page 1995
-
[3]
Continuous rearrangement and symmetry o f solutions of elliptic problems
Friedemann Brock. Continuous rearrangement and symmetry o f solutions of elliptic problems. Proc. Indian Acad. Sci. Math. Sci. , 110(2):157–204, 2000
work page 2000
-
[4]
Rearrangements and applications to symmet ry problems in PDE
Friedemann Brock. Rearrangements and applications to symmet ry problems in PDE. In Handbook of differential equations: stationary partial differential eq uations. Vol. IV , Handb. Differ. Equ., pages 1–60. Elsevier/North-Holland, Amsterdam, 2007
work page 2007
-
[5]
Symmetry for a general class of overdeter mined elliptic problems
Friedemann Brock. Symmetry for a general class of overdeter mined elliptic problems. NoDEA Non- linear Differential Equations Appl. , 23(3):Art. 36, 16, 2016
work page 2016
-
[6]
Jacob Burbea. Motions of vortex patches. Lett. Math. Phys. , 6(1):1–16, 1982
work page 1982
Show all 44 references
-
[7]
Geoffrey R. Burton. Global nonlinear stability for steady ideal flu id flow in bounded planar domains. Arch. Ration. Mech. Anal. , 176(2):149–163, 2005
2005
-
[8]
Rotating vortex patches for the planar Euler equations in a disk
Daomin Cao, Jie Wan, Guodong Wang, and Weicheng Zhan. Rotating vortex patches for the planar Euler equations in a disk. J. Differential Equations , 275:509–532, 2021
2021
-
[9]
U niformly rotating smooth solutions for the incompressible 2D Euler equations
Angel Castro, Diego C´ ordoba, and Javier G´ omez-Serrano. U niformly rotating smooth solutions for the incompressible 2D Euler equations. Arch. Ration. Mech. Anal. , 231(2):719–785, 2019
2019
-
[10]
An analytical and numerical study of steady patches in the disc
Francisco de la Hoz, Zineb Hassainia, Taoufik Hmidi, and Joan Mate u. An analytical and numerical study of steady patches in the disc. Anal. PDE , 9(7):1609–1670, 2016
2016
-
[11]
Doubly connected V -states for the planar Euler equations
Francisco de la Hoz, Taoufik Hmidi, Joan Mateu, and Joan Verder a. Doubly connected V -states for the planar Euler equations. SIAM J. Math. Anal. , 48(3):1892–1928, 2016
1928
-
[12]
v-s tates
G. S. Deem and N. J. Zabusky. Vortex waves: stationary “v-s tates”, interactions, recurrence, and breaking. Phys. Rev. Lett. , 40(13), 1978
1978
-
[13]
Fern´ andez, and David Ruiz
Alberto Enciso, Antonio J. Fern´ andez, and David Ruiz. Smooth nonradial stationary euler flows on the plane with compact support. arXiv:2406.04414. 24 BOQUAN F AN, YUCHEN W ANG, WEICHENG ZHAN
-
[14]
Fern´ andez, David Ruiz, and Pieralbe rto Sicbaldi
Alberto Enciso, Antonio J. Fern´ andez, David Ruiz, and Pieralbe rto Sicbaldi. A schiffer-type problem for annuli with applications to stationary planar euler flows. arXiv:2309.07977v2
-
[15]
L. E. Fraenkel. An introduction to maximum principles and symmetry in ellip tic problems , volume 128 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2000
2000
-
[16]
Vortex patches choreography for active scalar equations
Claudia Garc ´ ıa. Vortex patches choreography for active scalar equations. J. Nonlinear Sci. , 31(5):Pa- per No. 75, 31, 2021
2021
-
[17]
Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations
Claudia Garc ´ ıa, Taoufik Hmidi, and Juan Soler. Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations. Arch. Ration. Mech. Anal. , 238(2):929–1085, 2020
2020
-
[18]
Existence of non-trivial non-concentrated compactly supported stationary solutions of the 2d euler equation with finite e nergy
Javier G´ omez-Serrano, Jaemin Park, and Jia Shi. Existence of non-trivial non-concentrated compactly supported stationary solutions of the 2d euler equation with finite e nergy. Mem. Amer. Math. Soc. , in press
-
[20]
On a classification of s teady solutions to two-dimensional euler equations
Changfeng Gui and Xu Huan Xie, Chunjing. On a classification of s teady solutions to two-dimensional euler equations. arXiv:2405.15327
-
[21]
Hamel and A
F. Hamel and A. Karakhanyan. Potential flows away from stag nation in infinite cylinders. hal- 04320798
-
[22]
A Liouville theorem for th e Euler equations in the plane
Fran¸ cois Hamel and Nikolai Nadirashvili. A Liouville theorem for th e Euler equations in the plane. Arch. Ration. Mech. Anal. , 233(2):599–642, 2019
2019
-
[23]
Circular flows for the Eu ler equations in two-dimensional annular domains, and related free boundary problems
Fran¸ cois Hamel and Nikolai Nadirashvili. Circular flows for the Eu ler equations in two-dimensional annular domains, and related free boundary problems. J. Eur. Math. Soc. (JEMS) , 25(1):323–368, 2023
2023
-
[24]
Zineb Hassainia, Nader Masmoudi, and Miles H. Wheeler. Global bifu rcation of rotating vortex patches. Comm. Pure Appl. Math. , 73(9):1933–1980, 2020
1933
-
[25]
Zineb Hassainia and Miles H. Wheeler. Multipole vortex patch equilibr ia for active scalar equations. SIAM J. Math. Anal. , 54(6):6054–6095, 2022
2022
-
[26]
On the trivial solutions for the rotating patch mod el
Taoufik Hmidi. On the trivial solutions for the rotating patch mod el. J. Evol. Equ. , 15(4):801–816, 2015
2015
-
[27]
Degenerate bifurcation of the r otating patches
Taoufik Hmidi and Joan Mateu. Degenerate bifurcation of the r otating patches. Adv. Math., 302:799– 850, 2016
2016
-
[28]
Existence of corotating and cou nter-rotating vortex pairs for active scalar equations
Taoufik Hmidi and Joan Mateu. Existence of corotating and cou nter-rotating vortex pairs for active scalar equations. Comm. Math. Phys. , 350(2):699–747, 2017
2017
-
[29]
Boundary regula rity of rotating vortex patches
Taoufik Hmidi, Joan Mateu, and Joan Verdera. Boundary regula rity of rotating vortex patches. Arch. Ration. Mech. Anal. , 209(1):171–208, 2013
2013
-
[30]
Rearrangements and convexity of level sets in PDE , volume 1150 of Lecture Notes in Mathematics
Bernhard Kawohl. Rearrangements and convexity of level sets in PDE , volume 1150 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1985
1985
-
[31]
G. R. Kirchhoff. Vorlesungen uber mathematische Physik . Physik, Leipzig, 1874
-
[32]
Lieb and Michael Loss
Elliott H. Lieb and Michael Loss. Analysis, volume 14 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, second edition, 2001
2001
-
[33]
An overdetermined problem in Riesz-p otential and fractional Laplacian
Guozhen Lu and Jiuyi Zhu. An overdetermined problem in Riesz-p otential and fractional Laplacian. Nonlinear Anal., 75(6):3036–3048, 2012
2012
-
[34]
2D homogeneous solutions to the Euler equation
Xue Luo and Roman Shvydkoy. 2D homogeneous solutions to the Euler equation. Comm. Partial Differential Equations , 40(9):1666–1687, 2015
2015
-
[35]
Addendum: 2D homogeneous solu tions to the Euler equation [ MR3359160]
Xue Luo and Roman Shvydkoy. Addendum: 2D homogeneous solu tions to the Euler equation [ MR3359160]. Comm. Partial Differential Equations , 42(3):491–493, 2017
2017
-
[36]
Majda and Andrea L
Andrew J. Majda and Andrea L. Bertozzi. Vorticity and incompressible flow , volume 27 of Cambridge Texts in Applied Mathematics . Cambridge University Press, Cambridge, 2002
2002
-
[37]
Space-filling curves
Hans Sagan. Space-filling curves . Universitext. Springer-Verlag, New York, 1994
1994
-
[38]
A symmetry problem in potential theory
James Serrin. A symmetry problem in potential theory. Arch. Rational Mech. Anal., 43:304–318, 1971. RADIAL SYMMETRY OF STATIONARY AND UNIFORMLY-ROTATING SOLU TIONS 25
1971
-
[39]
Alexander Yu. Solynin. Exercises on the theme of continuous sy mmetrization. Comput. Methods Funct. Theory, 20(3-4):465–509, 2020
2020
-
[40]
Corotating steady vortex flows with N -fold symmetry
Bruce Turkington. Corotating steady vortex flows with N -fold symmetry. Nonlinear Anal., 9(4):351– 369, 1985
1985
-
[42]
Degenerate bifurcations of two-fold doubly-connected uni- formly rotating vortex patches
Yuchen Wang, Xin Xu, and Maolin Zhou. Degenerate bifurcations of two-fold doubly-connected uni- formly rotating vortex patches. arXiv:2212.01869
-
[43]
On the rigidity of the 2d incompr essible euler equations
Yuchen Wang and Weicheng Zhan. On the rigidity of the 2d incompr essible euler equations. arXiv:2307.00197v2
-
[44]
V. I. Yudovic. Non-stationary flows of an ideal incompressible fl uid. ˇZ. Vyˇ cisl. Mat i Mat. Fiz. , 3:1032–1066, 1963. Institute of Applied Mathematics, Chinese Academy of Scien ces, Beijing 100190, and University of Chinese Academy of Sciences, Beijing 100049, P.R. China Ema...
1963
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.