pith. sign in

arxiv: 2602.07407 · v3 · submitted 2026-02-07 · 🧮 math.AP

On two-dimensional steady compactly supported Euler flows with constant vorticity

Pith reviewed 2026-05-16 06:37 UTC · model grok-4.3

classification 🧮 math.AP
keywords steady Euler flowsconstant vorticityfree boundary problemsoverdetermined elliptic problemsbifurcation theoryrigiditystabilityshape derivatives
0
0 comments X

The pith

Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems.

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

This paper examines two-dimensional steady compactly supported incompressible Euler flows with constant vorticity, treated as perturbations of annular equilibria. It addresses three distinct classes of free-boundary problems: partially overdetermined, two-phase overdetermined, and fully overdetermined elliptic problems. For each class the authors first establish existence of nontrivial admissible domains by combining shape derivatives with local bifurcation theory, then prove corresponding rigidity results, and finally apply the implicit function theorem to show stability of the annular flows under small Neumann boundary perturbations. These findings supply new viewpoints on overdetermined elliptic problems in the setting of incompressible fluid motion.

Core claim

For each of the three classes of overdetermined free-boundary problems associated with constant-vorticity steady Euler flows, nontrivial admissible domains exist by local bifurcation from annular equilibria via shape derivatives, corresponding rigidity theorems hold, and the standard annular flows remain stable under small perturbations of the Neumann boundary condition by the implicit function theorem.

What carries the argument

Shape derivatives of the free-boundary problems around annular equilibria, to which local bifurcation theory and the implicit function theorem are applied to obtain existence, rigidity, and stability.

Load-bearing premise

The flows remain small perturbations of annular equilibria with constant vorticity so that the linearized operators from shape derivatives meet the conditions required for local bifurcation and the implicit function theorem.

What would settle it

An explicit construction or numerical example of a compactly supported constant-vorticity Euler flow whose domain is neither annular nor a small bifurcation branch from an annular equilibrium would falsify the flexibility and rigidity statements.

read the original abstract

In this paper, we study the two-dimensional steady compactly supported incompressible Euler equations with free boundaries. We consider flows with constant vorticity that are perturbations of annular equilibria, in contrast to the laminar flows that predominate in the existing literature on steady water waves. More precisely, we analyze three distinct classes of steady Euler flows with compact support, which correspond, respectively, to partially overdetermined, two-phase overdetermined, and (fully) overdetermined elliptic free-boundary problems. Our main contributions are threefold. For each class, we first prove a flexibility result-the existence of nontrivial admissible domains-by combining shape derivatives with local bifurcation theory. Second, we establish the corresponding rigidity results. Third, we apply the implicit function theorem to show that the standard annular flows are stable under small perturbations of the Neumann boundary condition. These results provide new perspectives on the theory of overdetermined elliptic 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

0 major / 2 minor

Summary. The paper studies two-dimensional steady compactly supported incompressible Euler flows with constant vorticity, focusing on perturbations of annular equilibria rather than laminar flows. It analyzes three classes of overdetermined elliptic free-boundary problems (partially overdetermined, two-phase overdetermined, and fully overdetermined), proving for each: (i) flexibility via existence of nontrivial admissible domains using shape derivatives combined with local bifurcation theory, (ii) corresponding rigidity results, and (iii) stability of standard annular flows under small Neumann boundary perturbations via the implicit function theorem.

Significance. If the results hold, the work provides new perspectives on overdetermined elliptic problems in fluid dynamics by extending analysis to compactly supported constant-vorticity flows. The explicit use of shape derivatives to obtain linearized operators at annular equilibria, followed by verification of nondegeneracy conditions for local bifurcation and the implicit function theorem, constitutes a technically sound contribution that could inform further studies of free-boundary Euler problems.

minor comments (2)
  1. The abstract refers to 'three distinct classes' without naming them explicitly; adding a brief parenthetical list would improve immediate readability.
  2. Notation for the three problem classes (e.g., how the Neumann data and vorticity are prescribed in each) should be introduced with a short table or diagram in §2 to aid cross-referencing in later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation to accept. The referee's description correctly identifies the three classes of overdetermined free-boundary problems we analyze, the use of shape derivatives at annular equilibria, and the combination of local bifurcation theory with the implicit function theorem.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes flexibility via shape derivatives plus local bifurcation, rigidity results, and stability via the implicit function theorem applied to perturbations of annular equilibria for the three classes of overdetermined elliptic free-boundary problems. These steps rely on direct analysis of the linearized operators at the constant-vorticity annular flows and standard nondegeneracy conditions verified within the PDE setting. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the central claims remain independent of the inputs and are derived from the elliptic formulation without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard mathematical assumptions from elliptic PDE theory and fluid mechanics without introducing new free parameters or invented entities.

axioms (2)
  • domain assumption Annular equilibria exist for the steady Euler system with constant vorticity
    Basis for considering perturbations and applying bifurcation theory.
  • standard math Shape derivatives and local bifurcation theory apply to the linearized free-boundary operators
    Invoked to establish existence of nontrivial domains.

pith-pipeline@v0.9.0 · 5446 in / 1313 out tokens · 69021 ms · 2026-05-16T06:37:43.635566+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Agostiniani, S

    V . Agostiniani, S. Borghini, L. Mazzieri, On the Serrin problem for ring-shaped domains. J. Eur. Math. Soc. (JEMS) 27 (2025), 2705–2749. Aleksandrov

  2. [2]

    A. D. Aleksandrov, Uniqueness theorems for surfaces in the large. V . Vestnik Leningrad. Univ. 13 (1958), 5-8; translated in Amer. Math. Soc. Tansl.(2) 21 (1962), 412–416. ambook

  3. [3]

    Amick, L

    C. Amick, L. Fraenkel, J. Toland, On the Stokes conjecture for the wave of extreme form, Acta Math. 148 (1982), 193–214. AS

  4. [4]

    Athanasiadis, I.G

    C. Athanasiadis, I.G. Stratis. On some elliptic transmission problems. Annales Polonici Mathe- matici 63.2 (1996), 137–154. AT

  5. [5]

    Atkinson, W

    K. Atkinson, W. Han, Spherical Harmonics and Approximations on the Unit Sphere: An Introduc- tion, Lecture Notes in Mathematics vol 2044, Springer (2012). Cavallina

  6. [6]

    Cavallina, Local analysis of a two-phase free boundary problem concerning mean curvature, Indiana Univ

    L. Cavallina, Local analysis of a two-phase free boundary problem concerning mean curvature, Indiana Univ. Math. J. 71 (2022), 1411–1435. CavallinaY

  7. [7]

    Cavallina, Stability analysis of the two-phase torsional rigidity near a radial configuration, Appl

    L. Cavallina, Stability analysis of the two-phase torsional rigidity near a radial configuration, Appl. Anal. 98 (2019), 1889–1900. CFM

  8. [8]

    Cerezo, I

    A. Cerezo, I. Fern ´andez, P . Mira, On the classification of Serrin planar domains, arXiv:2601.09649. ConstantinS

  9. [9]

    Constantin, W

    A. Constantin, W. Strauss, Exact steady periodic water waves with vorticity, Comm. Pure Appl. Math. 57 (2004) 481–527. ConstantinSV

  10. [10]

    Constantin, W

    A. Constantin, W. Strauss, E. V ˘arv˘aruc˘a, Global bifurcation of steady gravity water waves with critical layers, Acta Math. 217 (2016) 195–262 ConstantinV

  11. [11]

    Constantin, E

    A. Constantin, E. V ˘arv˘aruc˘a, Steady periodic water waves with constant vorticity: regularity and local bifurcation, Arch. Ration. Mech. Anal. 199 (2011), 33–67. CrandallR

  12. [12]

    Crandall, P .H

    M.G. Crandall, P .H. Rabinowitz, Bifurcation from simple eigenvalues, J. Funct. Anal. 8 (1971), 321–340. DaiFZ

  13. [13]

    G. Dai, T. Feng, Y. Zhang, The existence and geometric structure of periodic solutions to rotational electrohydrodynamic waves problem, J. Geom. Anal. 35 (2025), 23pp. DaiSZ

  14. [14]

    G. Dai, P . Sicbaldi, Y. Zhang, Overdetermined elliptic problems in exterior domains of the hyper- bolic space, arXiv:2405.04348v1. DaiXZ

  15. [15]

    G. Dai, F. Xu, Y. Zhang, The dynamics of periodic traveling interfacial electrohydrodynamic waves: bifurcation and secondary bifurcation, J. Nonlinear Sci. 34 (2024), 31pp. DaiZC

  16. [16]

    G. Dai, Y. Zhang, Sign-changing solution for an overdetermined elliptic problem on unbounded domain, J. Reine Angew. Math. 803 (2023), 267–293. DaiZ

  17. [17]

    G. Dai, Y. Zhang, Global bifurcation structure and some properties of steady periodic water waves with vorticity, J. Differential Equations, 349 (2023), 125–137. dpmw

  18. [18]

    D ´avila, M

    J. D ´avila, M. del Pino, M. Musso, M. H. Wheeler, Overhanging solitary vater waves, (2026) to appear in Invent. Math. DelPW

  19. [19]

    Del Pino, F

    M. Del Pino, F. Pacard, J. Wei, J. Serrin’s overdetermined problem and constant mean curvature surfaces, Duke Math. J. 164 (2015), 2643–2722. DEP

  20. [20]

    Dom ´ınguez-V´azquez, A

    M. Dom ´ınguez-V´azquez, A. Enciso, D. Peralta-Salas, Piecewise smooth stationary Euler flows with compact support via overdetermined boundary problems, Arch. Ration. Mech. Anal. 239 (2021), 1327–1347. Eh

  21. [21]

    Ehrnstr ¨om, J

    M. Ehrnstr ¨om, J. Escher, E. Wahl ´en, Steady water waves with multiple critical layers, SIAM J. Math. Anal. 43 (2011), 1436–1456. EncisoARS

  22. [22]

    Enciso, A.J

    A. Enciso, A.J. Fernandez, D. Ruiz, P . Sicbaldi, A Schiffer-type problem for annuli with applica- tions to stationary planar Euler flows, Duke Math. J. 174 (2025), 1151–1208. FallMW

  23. [23]

    Fall, I.A

    M.M. Fall, I.A. Minlend, T. Weth, Unbounded periodic solutions to Serrin’s overdetermined boundary value problem, Arch. Ration. Mech. Anal. 223 (2017), 737–759. FallMW1

  24. [24]

    Fall, I.A

    M.M. Fall, I.A. Minlend, T. Weth, The Schiffer problem on the cylinder and on the 2-sphere, to appear in J. Eur. Math. Soc. (JEMS) (2025). FarinaV

  25. [25]

    Farina, E

    A. Farina, E. Valdinoci, On partially and globally overdetermined problems of elliptic type, Amer. J. Math., 135 (2013), 1699–1726. FragalG

  26. [26]

    Fragal `a, F

    I. Fragal `a, F. Gazzola, Partially overdetermined elliptic boundary value problems. J. Differential Equations 245, 1299–1322 (2008) Gilbarg

  27. [27]

    Gilsbach, M

    A. Gilsbach, M. Onodera, Linear stability estimates for Serrin’s problem via a modified implicit function theorem, Calc. Var. Partial Differential Equations, 60 (2021), 19pp. Gomez

  28. [28]

    G ´omez-Serrano, J

    J. G ´omez-Serrano, J. Park, Jaemin, J. Shi, Existence of non-trivial non-concentrated compactly sup- ported stationary solutions of the 2D Euler equation with finite energy, Mem. Amer. Math. Soc. 311 (2025), no. 1577, v+82 pp. GuiWYZ

  29. [29]

    C. Gui, J. Wang, W. Yang, Y. Zhang, Bifurcation analysis of Stokes waves with piecewise smooth vorticity in deep water, arXiv:2511.03973. HamelN

  30. [30]

    Hamel, N

    F. Hamel, N. Nadirashvili, Circular flows for the Euler equations in two-dimensional annular domains, and related free boundary problems. J. Eur. Math. Soc. (JEMS) 25, 323–368 (2023) Haziot

  31. [31]

    Haziot, Stratified large-amplitude steady periodic water waves with critical layers, Comm

    S.V . Haziot, Stratified large-amplitude steady periodic water waves with critical layers, Comm. Math. Phys., 381 (2021), 765–797. HenrotO

  32. [32]

    Henrot, M

    A. Henrot, M. Onodera, Hyperbolic solutions to Bernoulli’s free boundary problem, Arch. Ration. Mech. Anal. 240 (2021), 761–784. HenrotP

  33. [33]

    Henrot, M

    A. Henrot, M. Pierre, Shape variation and optimization (a geometrical analysis), EMS Tracts in Mathematics, Vol.28, European Mathematical Society (EMS), Z¨urich, (2018). HenryM

  34. [34]

    Henry, B.V

    D. Henry, B.V . Matioc, On the existence of steady periodic capillary-gravity stratified water waves, Ann. Sc. Norm. Super. Pisa CI. Sci., 12 (2013), 955–974. KamburovS

  35. [35]

    Kamburov, L

    N. Kamburov, L. Sciaraffia, Nontrivial solutions to Serrin’s problem in annular domains. Ann. Inst. H. Poincar´e C Anal. Non Lin´eaire 38, 1–22 (2021) KeadyN

  36. [36]

    Keady, J

    G. Keady, J. Norbury, On the existence theory for irrotational water waves, Math. Proc. Cambridge Philos. Soc. 83 (1978), no. 1, 137–157 Lady

  37. [37]

    Levi-Civita, Determinazione rigorosa delle onde irrotazionali periodiche in acqua profonda, Rend

    T. Levi-Civita, Determinazione rigorosa delle onde irrotazionali periodiche in acqua profonda, Rend. Accad. Lincei 33 (1924), 141–150. Nekrasov

  38. [38]

    A. I. Nekrasov, On steady waves, Izv. Ivanovo-Voznesensk. Politekhn. In-ta 3 (1921). Onodera

  39. [39]

    Onodera, Linear stability analysis of overdetermined problems with non-constant data, Math

    M. Onodera, Linear stability analysis of overdetermined problems with non-constant data, Math. Eng. 5 (2023), 18 pp. Reichel

  40. [40]

    W. Reichel, Radial symmetry by moving planes for semilinear elliptic BVPs on annuli and other non-convex domains, Elliptic and parabolic problems (Pont- `a-Mousson, 1994), 164–182, Pitman Res. Notes Math. Ser., 325, Longman Sci. Tech., Harlow,

  41. [41]

    A. Ros, D. Ruiz, P . Sicbaldi, Solutions to overdetermined elliptic problems in nontriavial exterior domains, J. Eur. Math. Soc. 22 (2020), 1223–1252. Ruiz

  42. [42]

    Ruiz, Symmetry results for compactly supported steady solutions of the 2D Euler equations, Arch

    D. Ruiz, Symmetry results for compactly supported steady solutions of the 2D Euler equations, Arch. Ration. Mech. Anal. 247 (2023), 25 pp. Ruiz1

  43. [43]

    D. Ruiz, P . Sicbaldi, J. Wu, Overdetermined elliptic problems in nontrivial contractible domains of the sphere, J. Math. Pures Appl. (9) 180 (2023), 151–187. SchlenkS

  44. [44]

    Schlenk, P

    F. Schlenk, P . Sicbaldi, Bifurcating extremal domains for the first eigenvalue of the Laplacian, Adv. Math. 229 (2012), 602–632. Serrin

  45. [45]

    Serrin, A symmetry problem in potential theory, Arch

    J. Serrin, A symmetry problem in potential theory, Arch. Rational Mech. Anal., 43 (1971), 304–318. Sicbaldi

  46. [46]

    Sicbaldi, New extremal domains for the first eigenvalue of the Laplacian in flat tori, Calc

    P . Sicbaldi, New extremal domains for the first eigenvalue of the Laplacian in flat tori, Calc. Var. Partial Differential Equations 37 (2010), 329–344. Stokes

  47. [47]

    Varholm, Global bifurcation of waves with multiple critical layers, SIAM J

    K. Varholm, Global bifurcation of waves with multiple critical layers, SIAM J. Math. Anal., 52 (2020), 5066–5089. Wahlen

  48. [48]

    Wahl ´en, Steady water waves with a critical layer, J

    E. Wahl ´en, Steady water waves with a critical layer, J. Differential Equations, 246 (2009), 2468–

  49. [49]

    Wahl ´en, J

    E. Wahl ´en, J. Weber, Global bifurcation of capillary-gravity water waves with overhanging profiles and arbitrary vorticity, Int. Math. Res. Not., (2023), 17377–17410. WahlenW2

  50. [50]

    Wahl ´en, J

    E. Wahl ´en, J. Weber, Large-amplitude steady gravity water waves with general vorticity and crit- ical layers, Duke Math. J., 173 (2024), 2197–2258. WangXZ

  51. [51]

    J. Wang, F. Xu, Y. Zhang, The existence of stratified linearly steady two-mode water waves with stagnation points, J. Math. Fluid Mech., 27 (2025), 21 pp. Wheeler

  52. [52]

    M.H. Wheeler, Non-symmetric solutions to an overdetermined problem for the Helmholtz equa- tion in the plane, arXiv:2509.00455v1 STEADY COMPACTLY SUPPORTED EULER FLOWS WITH CONSTANT VORTICITY 33 CHANGFENGGUI, DEPARTMENT OFMATHEMATICS, FACULTY OFSCIENCE ANDTECHNOLOGY, UNIVERSITY OFMACAU, MACAU, P.R. CHINA Email address:changfenggui@um.edu.mo JUNWANG, SCHOO...