Pith. sign in

REVIEW 3 major objections 4 minor 112 references

Existence of analytic non-convex V-states

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read There exists an analytic, non-convex, six-fold symmetric uniformly rotating vortex patch, proved by a computer-assisted fixed-point argument.

desk verdict Solid fixed-point construction of a non-convex V-state, but the analyticity upgrade rests on a regularity bootstrap in Proposition 5.5 that is not a closed proof as written. read the letter →

arxiv 2411.12958 v1 pith:EYAFHOJG submitted 2024-11-20 math.AP

Gerard Castro-López , Javier Gómez-Serrano This is my paper · ORCID
classification math.AP MSC 35Q3135R3576B4735B32
keywords V-statesvortexpatches2DEulerequationsanalyticboundarynon-convexcomputer-assistedproof6-foldsymmetryrigorousnumerics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Uniformly rotating vortex patches of the 2D incompressible Euler equation, called V-states, have only two explicit families: circles and Kirchhoff ellipses. This paper proves that a third kind exists: a non-convex, six-fold symmetric vortex patch whose boundary is an analytic curve and which sits outside the perturbative regime where earlier bifurcation arguments apply. The proof starts from an explicit cosine-polynomial approximate solution, rewrites the boundary equation as a fixed-point problem for a small correction, and closes the argument with certified computer-assisted bounds. If the proof is correct, this is the first rigorous construction of a non-convex V-state with analytic boundary, and it validates numerically predicted shapes that had no existence proof.

What carries the argument

The load-bearing object is the linearized operator $L = I + K$ acting on $X_m = L^2([0,\pi/m])$, with $m=6$, defined by $Lu(x) = u(x) + \int_0^{\pi/m} K(x,y)u(y)\,dy$. Because $\|K\|_2 > 1.3$, a simple Neumann bound does not work; instead $K$ is approximated by a finite-rank operator $K_F$ built from the first 201 Fourier modes, and the paper certifies $\|(I+A)^{-1}\|_2 \le 8.8$ and $\|L - L_F\|_2 \le 0.085$ using rigorous interval arithmetic. A Neumann series then yields $\|L^{-1}\|_2 \le 35$, and the final fixed-point theorem is a Banach contraction on the ball of radius $\varepsilon$. Analyticity of the boundary is obtained by recasting the rotating patch as a free-boundary elliptic problem and applying the regularity theorem, using that the rotating-frame velocity is nonzero along the boundary.

What would settle it

Re-implement the certified computations in a different validated-arithmetic system and verify the key inequalities: the defect bound $\|E[0]\|_{L^2} \le 3 \times 10^{-8}$, the matrix bound $\|(I+A)^{-1}\|_2 \le 8.8$, the operator error $\|L-L_F\|_2 \le 0.085$, and the positivity of the constant $C_{K_1}$ in Lemma 5.3. The first violated certified bound would invalidate the proof; if all hold, Theorem 1.1 stands as argued.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: there exists an analytic solution $R(x)$ of the boundary equation $RR' = F[R]$ that parametrizes a vortex patch $D \subset \mathbb{R}^2$ which is non-convex and has 6-fold symmetry. The solution is built as $R = R_0 + v$ with $v = \int_0^x \tilde{u}$, where $R_0$ is an explicit 30-term cosine polynomial. The perturbation $u$ solves $Lu = N_L[u] + \delta$ on $L^2([0,\pi/6])$; the paper proves $L$ is invertible, with norm bound $\|L^{-1}\| \le 35$, and that the nonlinear map is a contraction on a ball of radius $\varepsilon = 2 \times 10^{-5}$. Regularity is then bootstrapped from $H^1$ to $C^8$, upgraded to analyticity through the free-boundary elliptic formulation, and non-convexity is certified by enclosing $R$ between explicit functions $R_0(x) \pm \varepsilon \sqrt{p_6(x)}$.

Load-bearing premise

The proof stands on the correctness of the computer-assisted bounds carried out with interval arithmetic—the defect estimate, the matrix and operator norm bounds, and the constant checks—so a bug in any of those certified computations would collapse the fixed-point argument.

Editorial extensions

If this is right

  • The constructed V-state is quantitatively controlled: its boundary lies between explicit envelopes and has exactly six-fold symmetry.
  • Corollary 1.2 gives an open interval of angular velocities around $\Omega = 1537/3750$ for which such non-convex analytic patches also exist.
  • This is the first existence result for V-states that supplies quantitative information outside the small neighborhoods of the circle and the ellipses used in local bifurcation theory.
  • The computer-assisted fixed-point scheme is designed to be applicable to other branches and other active scalar equations whenever an approximate solution with sufficiently small certified defect can be computed.
  • The proof also rules out loss of $C^2$ regularity at the constructed boundary, since analyticity follows once the free-boundary problem has $C^2$ data.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the same scheme should work for other $m \ge 4$ symmetry branches; the $m = 6$ choice specifically avoids $m = 2,3$, where branches appear to remain convex, so the bottleneck is computing an accurate approximate solution with small certified defect rather than any structural obstruction.
  • Editorial inference: because all the certified constants are explicit, the fixed-point argument could be rerun with $\Omega$ as an interval parameter to extract a concrete interval of angular velocities, not merely the open neighborhood asserted by Corollary 1.2.
  • Editorial inference: the quantitative non-convexity certificate suggests a testable numerical prediction—continuing from this solution should immediately produce nearby non-convex analytic V-states, which could serve as an independent check of the certified bounds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims the first rigorous construction of a non-convex, 6-fold symmetric V-state with analytic boundary for the 2D Euler equation, far from the known circle and ellipse families. The proof is computer-assisted: fixing an explicit 30-mode approximation R0 and angular velocity Ω = 1537/3750, the authors reformulate the boundary equation (1.4) as the fixed-point equation Lu = NL[u] + δ on an L² space, invert the linear operator L using a certified finite-rank approximation (Lemmas 3.4–3.7), prove contraction estimates (Section 4 and Lemma A.1), and thereby obtain a unique H¹ solution R in a ball of radius ε = 2×10⁻⁵ (Theorem 3.1, Proposition 3.9). Section 5 then attempts to bootstrap regularity from H¹ to C⁸ (Proposition 5.5), upgrade to analyticity via a free-boundary elliptic argument (Proposition 5.6), and prove non-convexity by enclosing R between R0 ± ε√(p_m) (Section 5.3). The paper includes its Arb-based C++ code and explicit numerical constants.

Significance. If the proof is completed, this is a substantial result: it would be the first existence proof of a non-convex V-state with analytic boundary outside a perturbative neighborhood of known solutions, and it illustrates a general computer-assisted strategy for rotating vortex patches. The fixed-point part is carefully designed: the linear inversion is reduced to a certified matrix bound (C2 = 8.8) and a certified operator approximation error (C3 = 0.085), the nonlinear estimates are stated with explicit constants, and the machine-checked bounds are backed by attached code. The non-convexity argument is short and robust. However, the analyticity claim depends on the regularity bootstrap in Proposition 5.5, and that bootstrap is not a closed proof as written; the theorem is therefore not fully established by the manuscript.

major comments (3)
  1. [§5.1, Proposition 5.5, Eq. (5.1)] The step from the H¹ solution to C¹/C² regularity is not justified. Equation (5.1) is asserted by differentiating (1.4), but at that point R'' has not been shown to exist. The first step of Proposition 5.5 only upgrades R' to L^∞; this does not imply that the right-hand side of (1.4) is differentiable, and the text provides no weak formulation, mollification, or difference-quotient argument. This is load-bearing because Proposition 5.6 invokes [73, Theorem 3.1'] only after establishing that the boundary is C².
  2. [§5.1, estimates (5.2)–(5.5)] The bootstrap estimates are circular as written. The displayed inequalities use non-explicit '≲' constants and, more seriously, bound d^j/dx^j g and d^j/dx^j(B_x A / A) using ||B^{k+2}R||_{L^∞} and ||B^{j+1}R||_{L^∞}^{2j+1} before those derivatives are known to exist. For k = 0, g(x,x−z) = R(x)R'(x−z) − R'(x)R(x−z) expands as z[(R'(x))² − R(x)R''(x)] + o(z), so the local contribution to the right-hand side of (5.1) contains R'' itself. The absorption step 'taking δ small enough' therefore cannot close unless it is applied to a uniformly regularized family with a priori control on the second derivative; no such family is supplied.
  3. [§5.2, Proposition 5.6] Because the C² bootstrap in Proposition 5.5 is not closed, the hypothesis needed to apply [73, Theorem 3.1'] is not verified, so the analyticity conclusion of Theorem 1.1 does not follow from the manuscript as written. This concern is independent of the computer-assisted constants and would remain even if every Arb bound in the paper is correct.
minor comments (4)
  1. [§5.2, Eq. (5.9)] In the first displayed computation of ∇^⊥φ·t, the second integral is written as '∫ C R'(y) + S R'(y) dy'; from the preceding identity (5.8) the second term should be S R(y), not S R'(y). Please correct this typo.
  2. [Appendix A, Lemmas A.7–A.9] The notation mR0, MR0, MR1_0, MR2_0 in Appendix A is inconsistent with the notation m_R, M_R, M_{R1_0}, M_{R2_0} used in the main text; unify the notation for readability.
  3. [Lemma A.2, proof] In the final displayed integral of the proof of (A.2), there is a stray 'dz' at the end of the line and the variable z is used both as the integration variable and as an endpoint in the preceding line; please clean up the display.
  4. [Corollary 1.2] The corollary asserts that the same R0 remains an approximate solution for Ω̃ close to Ω, but the defect bound CE0 is proved only at the fixed value Ω. A short justification that the defect and all relevant bounds vary continuously with Ω would make this corollary fully rigorous.

Circularity Check

0 steps flagged · score 0.0 of 10

The existence proof is a genuine contraction-mapping argument around an explicit approximate solution; no derived claim is an input by construction.

full rationale

The paper's central claim is proved by a standard computer-assisted fixed-point scheme, not by assuming the existence it constructs. The input R0 is an explicitly listed 30-term trigonometric polynomial with quantified defect (Lemma 2.7), and the proof establishes invertibility of the linearized operator away from R0 (Propositions 3.5 and 3.7), Lipschitz bounds for the nonlinear remainder (Proposition 3.8), and a contraction on a small ball (Theorem 3.1). Proposition 3.9 then unfolds the fixed point of (2.13) into a solution of the original equation (1.4); the direction 'solution of (2.13) implies solution of (1.4)' is proved by algebra and symmetry, not by fiat. The non-convexity check is an open condition verified on R0 via Lemma 2.3 and propagated to the true solution because the perturbation is small (Lemma 5.7, Proposition 5.8); it is not a fitted prediction. The regularity upgrade from H^1 to C^8 in Proposition 5.5 is a bootstrap argument: quantities involving higher derivatives appear on both sides and are absorbed by choosing δ small, which is a standard a priori regularity strategy rather than a reduction of the conclusion to the hypothesis. Analyticity is imported from the external free-boundary regularity theorem [73, Theorem 3.1'] after C^2 regularity is available, and is not a self-citation. The paper does cite the authors' own work for tools such as the eigenvalue enclosure lemma [49, Lemma 2.4] and for prior V-state results, but these citations are corroborating methodology and bibliography, not the sole justification of the main theorem; the certified bounds are supported by the attached Arb-based code and by lemmas whose hypotheses do not include the target existence statement. Any concern about whether the C^8 bootstrap is fully rigorous as written would be a correctness gap, not a circularity: the claimed solution is not defined in terms of itself, and no fitted parameter is renamed as a prediction. There is therefore no circular step of any of the enumerated kinds.

Assumptions & free parameters 4 free parameters · 2 assumptions · 0 invented entities

The central claim rests on explicit but hand-picked inputs (approximate solution, angular velocity, contraction radius, truncation dimension) and on the correctness of the certified numerics. No new physical entities, forces, or dimensions are introduced.

free parameters (4)
  • Coefficients c_k of approximate solution R0 (k=0..30) = Explicit values in Appendix C.1
    The fixed point argument is built around this explicit approximate solution; all subsequent bounds (defect, operator norms) depend on these numerical values.
  • Angular velocity Omega = 1537/3750
    The theorem proves existence at this specific rational angular velocity, chosen so that the approximate solution has small defect.
  • Radius epsilon of the fixed point ball = 2e-5
    Chosen to satisfy the contraction inequalities C1*epsilon0 + C1*C5*epsilon^2 <= epsilon and C1*C6*epsilon < 1.
  • Dimension N of finite rank approximation = 201
    Chosen so that the operator approximation error C3 = 0.085 is sufficiently small for the Neumann series argument.
assumptions (2)
  • ad hoc to paper The attached Arb-based C++ code correctly implements interval arithmetic and the stated bounds are reliable.
    The proof hinges on certified numerical bounds (Lemmas 2.2-2.8, 3.4, 3.6, 5.3, A.1). A bug or an incorrect enclosure would break the fixed point argument.
  • standard math Kinderlehrer-Nirenberg-Spruck free boundary regularity theorem (reference [73, Theorem 3.1'])
    The analyticity of the boundary follows by applying this external elliptic free boundary regularity theorem once the boundary is known to be C^2 and the normal velocity does not vanish.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence of analytic non-convex V-states." pith.science (2026). https://pith.science/paper/EYAFHOJG

@misc{pith2026241112958,
  author       = {Pith},
  title        = {Pith review of: Existence of analytic non-convex V-states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EYAFHOJG}},
  note         = {Machine review of arXiv:2411.12958}
}
read the original abstract

V-states are uniformly rotating vortex patches of the incompressible 2D Euler equation and the only known explicit examples are circles and ellipses. In this paper, we prove the existence of non-convex V-states with analytic boundary which are far from the known examples. To prove it, we use a combination of analysis of the linearized operator at an approximate solution and computer-assisted proof techniques.

Figures

Figures reproduced from arXiv: 2411.12958 by the authors.

Figure 1
Figure 1. The boundary BD is a curve contained in the plotted line. Proof of Theorem 1.1. Theorem 3.1 proves the existence of a fixed point for the functional G, and Proposi￾tion 3.9 proves that given a fixed point of G we can construct a solution R P H1 to our main equation (1.4). Finally, using Proposition 5.6, we prove that R is analytic and Proposition 5.8 proves the non-convexity. The proof of the theorem follows. Coroll… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

112 extracted references · 73 canonical work pages

  1. [1]

    Arioli, F

    G. Arioli, F. Gazzola, and H. Koch. Uniqueness and bifurcation branches for planar steady Navier– Stokes equations under Navier boundary conditions. Journal of Mathematical Fluid Mechanics, 23,

  2. [2]

    Arioli and H

    G. Arioli and H. Koch. Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation. Arch. Ration. Mech. Anal. , 197(3):1033– 1051, 2010

    2010

  3. [3]

    Bedrossian and S

    J. Bedrossian and S. Punshon-Smith. Chaos in stochastic 2d Galerkin-Navier-Stokes. Comm. Math. Phys., 405(4):Paper No. 107, 42, 2024

    2024

  4. [4]

    Berti, Z

    M. Berti, Z. Hassainia, and N. Masmoudi. Time quasi-periodic vortex patches of Euler equation in the plane. Invent. Math., 233(3):1279–1391, 2023

    2023

  5. [5]

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

    1993

  6. [6]

    Polygonal Faber-Krahn inequality: Local minimality via validated computing

    B. Bogosel and D. Bucur. Polygonal Faber-Krahn inequality: Local minimality via validated com- puting. arXiv preprint arXiv:2406.11575, 2024

    work page Pith review arXiv 2024

  7. [7]

    Breden and M

    M. Breden and M. Engel. Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems. Ann. Appl. Probab., 33(2):1052–1094, 2023

    2023

  8. [8]

    Buckmaster, G

    T. Buckmaster, G. Cao-Labora, and J. G´omez-Serrano. Smooth imploding solutions for 3d compress- ible fluids. Forum of Mathematics, Pi, 2024. To appear

    2024

Show all 112 references
  1. [9]

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

    1982

  2. [10]

    M. Cadiot. Constructive proofs of existence and stability of solitary waves in the capillary-gravity whitham equation. arXiv preprint arXiv:2403.18718, 2024

    2024 arXiv

  3. [11]

    D. Cao, J. Wan, and G. Wang. Nonlinear orbital stability for planar vortex patches.Proc. Amer. Math. Soc., 147(2):775–784, 2019

    2019

  4. [12]

    J. A. Carrillo, J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. The ellipse law: Kirchhoff meets dislocations. Comm. Math. Phys., 373(2):507–524, 2020

    2020

  5. [13]

    Castelli, M

    R. Castelli, M. Gameiro, and J.-P. Lessard. Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation. Arch. Ration. Mech. Anal., 228(1):129–157, 2018

    2018

  6. [14]

    Castro, D

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

    2016

  7. [15]

    Castro, D

    A. Castro, D. C ´ordoba, and J. G ´omez-Serrano. Global smooth solutions for the inviscid SQG equa- tion. Memoirs of the AMS, 266(1292):89 pages, 2020

    2020

  8. [16]

    Cerretelli and C

    C. Cerretelli and C. H. K. Williamson. A new family of uniform vortices related to vortex configura- tions before merging. Journal of Fluid Mechanics, 493:219–229, 10 2003

    2003

  9. [17]

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

    1993

  10. [18]

    J. Chen, T. Y . Hou, and D. Huang. On the Finite Time Blowup of the De Gregorio Model for the 3D Euler Equations. Communications on Pure and Applied Mathematics, 74(6):1282–1350, 2021

    2021

  11. [19]

    Choi and I.-J

    K. Choi and I.-J. Jeong. Stability and instability of Kelvin waves. Calc. Var. Partial Differential Equations, 61(6):Paper No. 221, 38, 2022

    2022

  12. [20]

    Choi, I.-J

    K. Choi, I.-J. Jeong, and Y .-J. Sim. On existence of sadovskii vortex patch: A touching pair of symmetric counter-rotating uniform vortex. arXiv preprint arXiv:2406.11379, 2024

    2024 arXiv

  13. [21]

    Constantin and E

    P. Constantin and E. S. Titi. On the evolution of nearly circular vortex patches. Comm. Math. Phys., 119(2):177–198, 1988

    1988

  14. [22]

    J. Dahne. Highest cusped waves for the fractional KdV equations.J. Differential Equations, 401:550– 670, 2024

    2024

  15. [23]

    Dahne and J

    J. Dahne and J. G ´omez-Serrano. Highest cusped waves for the Burgers-Hilbert equation. Arch. Ration. Mech. Anal., 247(5):Paper No. 74, 55, 2023

    2023

  16. [24]

    Dahne, J

    J. Dahne, J. G ´omez-Serrano, and K. Hou. A counterexample to Payne’s nodal line conjecture with few holes. Commun. Nonlinear Sci., 103:105957, Dec. 2021

    2021

  17. [25]

    Day, J.-P

    S. Day, J.-P. Lessard, and K. Mischaikow. Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal., 45(4):1398–1424, 2007

    2007

  18. [26]

    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

    2016

  19. [27]

    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

    1928

  20. [28]

    G. S. Deem and N. J. Zabusky. V ortex waves: Stationary ”V-states”, interactions, recurrence, and breaking. Physical Review Letters, 40(13):859–862, 1978

    1978

  21. [29]

    M. R. Dhanak. Stability of a regular polygon of finite vortices. J. Fluid Mech., 234:297–316, 1992

    1992

  22. [30]

    Dom ´ınguez-V´azquez, A

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

    2021

  23. [31]

    D. G. Dritschel. The stability and energetics of corotating uniform vortices. Journal of Fluid Me- chanics, 157:95–134, 8 1985

    1985

  24. [32]

    D. G. Dritschel. The repeated filamentation of two-dimensional vorticity interfaces. J. Fluid Mech., 194:511–547, 1988

    1988

  25. [33]

    D. G. Dritschel. A general theory for two-dimensional vortex interactions. J. Fluid Mech., 293:269– 303, 1995

    1995

  26. [34]

    Elcrat, B

    A. Elcrat, B. Fornberg, and K. Miller. Stability of vortices in equilibrium with a cylinder. Journal of Fluid Mechanics, 544:53–68, 2005

    2005

  27. [35]

    Elcrat and B

    A. Elcrat and B. Protas. A framework for linear stability analysis of finite-area vortices. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 469(2152):20120709, 15, 2013. 52

    2013

  28. [36]

    Enciso, A

    A. Enciso, A. J. Fern ´andez, and D. Ruiz. Smooth nonradial stationary euler flows on the plane with compact support. arXiv preprint arXiv:2406.04414, 2024

    2024 arXiv

  29. [37]

    Enciso, A

    A. Enciso, A. J. Fern ´andez, D. Ruiz, and P. Sicbaldi. A schiffer-type problem for annuli with appli- cations to stationary planar euler flows. arXiv preprint arXiv:2309.07977, 2023

    2023 arXiv

  30. [38]

    Enciso, J

    A. Enciso, J. G ´omez-Serrano, and B. Vergara. Convexity of cusped Whitham waves. Arxiv preprint arXiv:1810.10935, 2018

    2018 arXiv

  31. [39]

    Fazekas, F

    B. Fazekas, F. Pacella, and M. Plum. Approximate nonradial solutions for the Lane-Emden problem in the ball. Adv. Nonlinear Anal., 11(1):268–284, 2022

    2022

  32. [40]

    Figueras and R

    J.-L. Figueras and R. de la Llave. Numerical computations and computer assisted proofs of periodic orbits of the Kuramoto-Sivashinsky equation. SIAM J. Appl. Dyn. Syst., 16(2):834–852, 2017

    2017

  33. [41]

    Figueras, M

    J.-L. Figueras, M. Gameiro, J.-P. Lessard, and R. de la Llave. A framework for the numerical com- putation and a posteriori verification of invariant objects of evolution equations. SIAM J. Appl. Dyn. Syst., 16(2):1070–1088, 2017

    2017

  34. [42]

    L. E. Fraenkel. An introduction to maximum principles and symmetry in elliptic problems , volume 128 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2000

    2000

  35. [43]

    Gameiro and J.-P

    M. Gameiro and J.-P. Lessard. A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE. SIAM J. Appl. Dyn. Syst., 16(1):687–728, 2017

    2017

  36. [44]

    Gameiro, J.-P

    M. Gameiro, J.-P. Lessard, and K. Mischaikow. Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simulation, 79(4):1368–1382, 2008

    2008

  37. [45]

    Garc ´ıa

    C. Garc ´ıa. K ´arm´an vortex street in incompressible fluid models. Nonlinearity, 33(4):1625–1676, 2020

    2020

  38. [46]

    Garc ´ıa

    C. Garc ´ıa. V ortex patches choreography for active scalar equations. J. Nonlinear Sci., 31(5):Paper No. 75, 31, 2021

    2021

  39. [47]

    Garc ´ıa and S

    C. Garc ´ıa and S. V . Haziot. Global bifurcation for corotating and counter-rotating vortex pairs.Comm. Math. Phys., 402(2):1167–1204, 2023

    2023

  40. [48]

    G ´omez-Serrano

    J. G ´omez-Serrano. Computer-assisted proofs in PDE: a survey. SeMA J., 76(3):459–484, 2019

    2019

  41. [49]

    G ´omez-Serrano and G

    J. G ´omez-Serrano and G. Orriols. Any three eigenvalues do not determine a triangle. J. Differential Equations, 275:920–938, 2021

    2021

  42. [50]

    G ´omez-Serrano, J

    J. G ´omez-Serrano, J. Park, and J. Shi. Existence of non-trivial non-concentrated compactly supported stationary solutions of the 2d Euler equation with finite energy.Memoirs of the AMS, 2022. To appear

    2022

  43. [51]

    G ´omez-Serrano, J

    J. G ´omez-Serrano, J. Park, J. Shi, and Y . Yao. Remarks on stationary and uniformly-rotating vortex sheets: rigidity results. Comm. Math. Phys., 386(3):1845–1879, 2021

    2021

  44. [52]

    G ´omez-Serrano, J

    J. G ´omez-Serrano, J. Park, J. Shi, and Y . Yao. Symmetry in stationary and uniformly rotating solu- tions of active scalar equations. Duke Math. J., 170(13):2957–3038, 2021

    2021

  45. [53]

    G ´omez-Serrano, J

    J. G ´omez-Serrano, J. Park, J. Shi, and Y . Yao. Remarks on stationary and uniformly rotating vortex sheets: flexibility results. Philos. Trans. Roy. Soc. A, 380(2226):Paper No. 20210045, 15, 2022. 53

    2022

  46. [54]

    Y . Guo, M. Hadˇzi´c, J. Jang, and M. Schrecker. Gravitational collapse for polytropic gaseous stars: self-similar solutions. Arch. Ration. Mech. Anal., 246(2-3):957–1066, 2022

    2022

  47. [55]

    Y . Guo, C. Hallstrom, and D. Spirn. Dynamics near an unstable Kirchhoff ellipse. Communications in Mathematical Physics, 245(2):297–354, 2004

    2004

  48. [56]

    Hamel and N

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

    2023

  49. [57]

    Hassainia and T

    Z. Hassainia and T. Hmidi. Steady asymmetric vortex pairs for Euler equations. Discrete Contin. Dyn. Syst., 41(4):1939–1969, 2021

    1939

  50. [58]

    Hassainia, T

    Z. Hassainia, T. Hmidi, and E. Roulley. Invariant KAM Tori Around Annular Vortex Patches for 2D Euler Equations. Comm. Math. Phys., 405(11):Paper No. 270, 2024

    2024

  51. [59]

    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

    1933

  52. [60]

    Hassainia and E

    Z. Hassainia and E. Roulley. Boundary effects on the emergence of quasi-periodic solutions for euler equations. arXiv preprint arXiv:2202.10053, 2022

    2022 arXiv

  53. [61]

    Hassainia and M

    Z. Hassainia and M. H. Wheeler. Multipole Vortex Patch Equilibria for Active Scalar Equations. SIAM J. Math. Anal., 54(6):6054–6095, 2022

    2022

  54. [62]

    T. Hmidi. On the trivial solutions for the rotating patch model. J. Evol. Equ., 15(4):801–816, 2015

    2015

  55. [63]

    Hmidi and J

    T. Hmidi and J. Mateu. Bifurcation of rotating patches from Kirchhoff vortices. Discrete and Con- tinuous Dynamical Systems, 36(10):5401–5422, 2016

    2016

  56. [64]

    Hmidi and J

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

    2016

  57. [65]

    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

    2017

  58. [66]

    Hmidi, J

    T. Hmidi, J. Mateu, and J. Verdera. Boundary regularity of rotating vortex patches. Archive for Rational Mechanics and Analysis, 209(1):171–208, 2013

    2013

  59. [67]

    Hmidi and C

    T. Hmidi and C. Renault. Existence of small loops in a bifurcation diagram near degenerate eigen- values. Nonlinearity, 30(10):3821–3852, 2017

    2017

  60. [68]

    Huang and J

    D. Huang and J. Tong. Steady contiguous vortex-patch dipole solutions of the 2d incompressible euler equation. arXiv preprint arXiv:2406.09849, 2024

    2024 arXiv

  61. [69]

    Y . Huang. On the rigidity of uniformly rotating vortex patch near the rankine vortex. arXiv preprint arXiv:2312.12711, 2023

    2023 arXiv

  62. [70]

    Jaquette, J.-P

    J. Jaquette, J.-P. Lessard, and A. Takayasu. Global dynamics in nonconservative nonlinear Schr¨odinger equations. Adv. Math., 398:Paper No. 108234, 70, 2022

    2022

  63. [71]

    Johansson

    F. Johansson. Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Transac- tions on Computers, 66:1281–1292, 2017

    2017

  64. [72]

    J. R. Kamm. Shape and stability of two-dimensional uniform vorticity regions. PhD thesis, California Institute of Technology, 1987. 54

    1987

  65. [73]

    Kinderlehrer, L

    D. Kinderlehrer, L. Nirenberg, and J. Spruck. Regularity in elliptic free boundary problems. J. Analyse Math., 34:86–119 (1979), 1978

    1979

  66. [74]

    Kirchhoff

    G. Kirchhoff. Vorlesungen ¨uber mathematische Physik, volume 1. Teubner, 1874

  67. [75]

    Kiselev and X

    A. Kiselev and X. Luo. Illposedness of C2 vortex patches. Arch. Ration. Mech. Anal., 247(3):Paper No. 57, 49, 2023

    2023

  68. [76]

    Kobayashi

    K. Kobayashi. On the global uniqueness of Stokes’ wave of extreme form. IMA J. Appl. Math. , 75(5):647–675, 2010

    2010

  69. [77]

    A. E. H. Love. On the Stability of certain Vortex Motions. Proc. London Math. Soc., 25(1):18–42, 1893

  70. [78]

    Luzzatto-Fegiz

    P. Luzzatto-Fegiz. Bifurcation structure and stability in models of opposite-signed vortex pairs. Fluid Dyn. Res., 46(3):031408, 14, 2014

    2014

  71. [79]

    imperfect–velocity– impulse

    P. Luzzatto-Fegiz and C. H. Williamson. Stability of elliptical vortices from “imperfect–velocity– impulse” diagrams. Theoretical and Computational Fluid Dynamics, 24:181–188, 2010

    2010

  72. [80]

    Luzzatto-Fegiz and C

    P. Luzzatto-Fegiz and C. H. K. Williamson. Stability of conservative flows and new steady-fluid solutions from bifurcation diagrams exploiting a variational argument. Phys. Rev. Lett., 104:044504, Jan 2010

    2010

  73. [81]

    Luzzatto-Fegiz and C

    P. Luzzatto-Fegiz and C. H. K. Williamson. An efficient and general numerical method to compute steady uniform vortices. J. Comput. Phys., 230(17):6495–6511, 2011

    2011

  74. [82]

    Luzzatto-Fegiz and C

    P. Luzzatto-Fegiz and C. H. K. Williamson. Resonant instability in two-dimensional vortex arrays. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 467(2128):1164–1185, 2011

    2011

  75. [83]

    Luzzatto-Fegiz and C

    P. Luzzatto-Fegiz and C. H. K. Williamson. Determining the stability of steady two-dimensional flows through imperfect velocity-impulse diagrams. J. Fluid Mech., 706:323–350, 2012

    2012

  76. [84]

    Luzzatto-Fegiz and C

    P. Luzzatto-Fegiz and C. H. K. Williamson. Structure and stability of the finite-area von K ´arm´an street. Physics of Fluids, 24(6):066602, 06 2012

    2012

  77. [85]

    Mateu, M

    J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. Explicit minimisers for anisotropic Coulomb energies in 3D. Adv. Math., 434:Paper No. 109333, 28, 2023

    2023

  78. [86]

    T. B. Mitchell and L. F. Rossi. The evolution of Kirchhoff elliptic vortices. Physics of Fluids, 20(5), 2008

    2008

  79. [87]

    Moore and F

    R. Moore and F. Bierbaum. Methods and applications of interval analysis , volume 2. Society for Industrial & Applied Mathematics, 1979

    1979

  80. [88]

    M. T. Nakao. A numerical approach to the proof of existence of solutions for elliptic problems.Japan J. Appl. Math., 5(2):313–332, 1988

    1988

  81. [89]

    M. T. Nakao. Solving nonlinear parabolic problems with result verification. I. One-space-dimensional case. In Proceedings of the International Symposium on Computational Mathematics (Matsuyama, 1990), volume 38, pages 323–334, 1991

    1990

  82. [90]

    M. T. Nakao, M. Plum, and Y . Watanabe. Numerical verification methods and computer-assisted proofs for partial differential equations, volume 53 ofSpringer Series in Computational Mathematics. Springer, Singapore, 2019. 55

    2019

  83. [91]

    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

    1986

  84. [92]

    J. Park. Quantitative estimates for uniformly-rotating vortex patches. Adv. Math., 411(part A):Paper No. 108779, 55, 2022

    2022

  85. [93]

    R. T. Pierrehumbert. A family of steady, translating vortex pairs with distributed vorticity. Journal of Fluid Mechanics, 99(1):129–144, 1980

    1980

  86. [94]

    M. Plum. Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems. J. Math. Anal. Appl., 165(1):36–61, 1992

    1992

  87. [95]

    M. Plum. Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing, 49(1):25–44, 1992

    1992

  88. [96]

    D. Ruiz. Symmetry results for compactly supported steady solutions of the 2D Euler equations. Arch. Ration. Mech. Anal., 247(3):Paper No. 40, 25, 2023

    2023

  89. [97]

    Saffman and R

    P. Saffman and R. Szeto. Equilibrium shapes of a pair of equal uniform vortices. Physics of Fluids, 23(12):2339–2342, 1980

    1980

  90. [98]

    P. G. Saffman and S. Tanveer. The touching pair of equal and opposite uniform vortices.Phys. Fluids, 25(11):1929–1930, 1982

    1929

  91. [99]

    T. C. Sideris and L. Vega. Stability in L1 of circular vortex patches. Proc. Amer. Math. Soc. , 137(12):4199–4202, 2009

    2009

  92. [100]

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

    1987

  93. [101]

    W. Tucker. Validated numerics. Princeton University Press, Princeton, NJ, 2011. A short introduction to rigorous computations

    2011

  94. [102]

    Turkington

    B. Turkington. Corotating steady vortex flows with N-fold symmetry. Nonlinear Anal., 9(4):351– 369, 1985

    1985

  95. [103]

    J. B. van den Berg, M. Breden, J.-P. Lessard, and L. van Veen. Spontaneous periodic orbits in the Navier–Stokes flow. Journal of Nonlinear Science, 31, 2021. Article 41

    2021

  96. [104]

    J. B. van den Berg, O. H ´enot, and J.-P. Lessard. Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd. Nonlinearity, 36(12):6476–6512, 2023

    2023

  97. [105]

    J. B. van den Berg and J.-P. Lessard. Chaotic braided solutions via rigorous numerics: chaos in the Swift-Hohenberg equation. SIAM J. Appl. Dyn. Syst., 7(3):988–1031, 2008

    2008

  98. [106]

    Y . H. Wan. The stability of rotating vortex patches. Comm. Math. Phys., 107(1):1–20, 1986

    1986

  99. [107]

    Y . Wang, X. Xu, and M. Zhou. Degenerate bifurcations of two-fold doubly-connected vortex patches. arXiv preprint arXiv:2212.01869, 2022

    2022 arXiv

  100. [108]

    Y . Wang, G. Zhang, and M. Zhou. Boundary regularity of uniformly rotating vortex patches and an unstable elliptic free boundary problem. Arxiv preprint arXiv:2306.03498, 2023

    2023 arXiv

  101. [109]

    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. 56

    1984

  102. [110]

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

    1963

  103. [111]

    Zgliczy ´nski

    P. Zgliczy ´nski. Rigorous numerics for dissipative partial differential equations. II. Periodic orbit for the Kuramoto-Sivashinsky PDE—a computer-assisted proof. Found. Comput. Math., 4(2):157–185, 2004

    2004

  104. [112]

    Zgliczy ´nski and K

    P. Zgliczy ´nski and K. Mischaikow. Rigorous numerics for partial differential equations: the Kuramoto-Sivashinsky equation. Found. Comput. Math., 1(3):255–288, 2001. Gerard Castro-L´opez Department of Mathematics Brown University 010 Kassar House, 151 Thayer St. Providence, R...

    2001

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.