Pith. sign in

REVIEW 2 major objections 6 minor 78 references

Large-amplitude periodic solutions to the steady Euler equations with piecewise constant vorticity

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Two-layer constant-vorticity waves exist along a global curve that ends in stagnation on the interface or breakdown of a layer's strip structure.

desk verdict A substantial new global existence theorem for two-layer constant-vorticity Euler waves via a genuinely novel local elliptic formulation; the main proof is sound in structure, but a key computer-algebra step is not reproducible from the paper. read the letter →

arxiv 2506.17002 v1 pith:JJVCJITD submitted 2025-06-20 math.AP physics.flu-dyn

Alex Doak , Karsten Matthies , Jonathan Sewell , Miles H. Wheeler This is my paper · ORCID
classification math.APphysics.flu-dyn MSC 35Q3135B3276B1535J47
keywords steadyEulerequationspiecewiseconstantvorticityinterfacialwavesglobalbifurcationellipticsystemsconformalmappingsstagnationpointsfreeboundary
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

The paper proves that in a two-dimensional channel filled with two fluid layers of constant vorticity (uniform local rotation), the lower rotating at rate $\omega_0$ and the upper at $\omega_1$ with $\omega_0-\omega_1=1$, separated by an unknown interface, there is always a continuous family of periodic travelling waves that starts from a flat shear flow and continues until it approaches a limiting behaviour. The only possible terminal behaviours are a stagnation point on the interface (where the fluid velocity vanishes, the likely site of a corner on the limiting wave) or a breakdown of the angle-preserving (conformal) parameterisation of one layer by a strip, which numerically appears as the layer pinching to zero width or the interface touching a wall. The proof works by reformulating the free-boundary problem as a local elliptic system on a fixed domain, the first such local formulation for a multi-layer problem that allows both overhanging profiles and internal stagnation points, and then applying global bifurcation theory. A sympathetic reader should care because the result establishes large-amplitude existence for all parameter values and pins down the possible limiting behaviours, while the reformulation itself is a tool likely to transfer to other interfacial free-boundary problems in fluid mechanics.

What carries the argument

The load-bearing object is the reformulated system (2.4): nine unknown functions on the fixed strip $D=\mathbb{T}\times(0,1)$ — four velocity components, four coordinate-map components, and the harmonic horizontal distortion $s(x,y)$ — together with two scalar constraints, two scalar parameters $h_0,h_1$, and the bifurcation parameter $q$. The harmonic distortion is the key: composing the upper layer's conformal map with $(x+s(x,y),h_0+h_1-h_1y)$ makes the two layer parameterisations agree along the interface, so the interface conditions become local pointwise equations rather than non-local compositions with an unknown one-dimensional diffeomorphism. In these coordinates the linearised operator is L-elliptic in the standard systems sense (Agmon–Douglis–Nirenberg), giving Schauder estimates, Fredholm properties, and a computable Fredholm index of 0; the abstract analytic global bifurcation theorem stated in the paper (Theorem 2.4) then extends the local branch to a global curve.

What would settle it

Numerically continue the first-mode branch for a parameter set such as $(k,H,\omega_0)=(\pi,0.45,0)$ until the branch can no longer be extended, and measure the three quantities in (1.3): the reciprocal of the maximum conformal gradient on the interface, the minimum conformal gradient, and the minimum interfacial speed $U^2+V^2$. The theorem claims at least one of these tends to 0; a terminal state with all three bounded strictly away from 0 — for instance a smooth overhanging interface with no stagnation and finite conformal gradient — would refute it.

Watch

Extended reading notes

Core claim

The central discovery is an exact reformulation of the two-layer free-boundary problem as a local elliptic system. Each layer is parameterised by a conformal map from the fixed strip $D=\mathbb{T}\times(0,1)$: the lower map $(X_0,Y_0)$ is sense-preserving and the upper map $(X_1,Y_1)$ is sense-reversing, with the interface corresponding to $y=1$ in both. Because two conformal maps generally disagree on the interface, the upper map is composed with an unknown harmonic distortion $S_1(x,y)=(x+s(x,y),h_0+h_1-h_1y)$, whose free function $s(x,y)$ becomes part of the solution; this makes the two interface parameterisations agree pointwise and turns the previously non-local interface conditions into local boundary conditions. The resulting system for the nine unknowns $u_0,v_0,\chi_0,\eta_0,u_1,v_1,\chi_1,\eta_1,s$ with parameters $h_0,h_1,q$ is shown to be L-elliptic in the Agmon–Douglis–Nirenberg sense at every solution in an open set $U$ of non-degenerate states, so its linearisations are Fredholm of index 0. Global bifurcation theory then produces a solution curve emerging from the shear flow, the nodal property $v_0<0$ (obtained from maximum principles) rules out loops, and the compactness estimates force the termination quantity (1.3) to tend to 0: either $\sup|\nabla\hat Y_i|$ blows up, $\inf|\nabla\hat Y_i|$ vanishes, or the interfacial speed $\inf(U^2+V^2)$ vanishes.

Load-bearing premise

The proof stands on the reformulated elliptic system (2.4) being exactly equivalent to the physical free-boundary problem throughout the open set $U$ of states whose interface is non-stagnant, non-self-intersecting, and strictly between the walls.

Editorial extensions

If this is right

  • For every $H\in(0,1)$, every wavenumber $k$, and every vorticity pair with $\omega_0-\omega_1=1$, a continuous branch of non-trivial periodic solutions exists and is not confined to small perturbations of shear flow.
  • The interface on this branch is strictly monotone in each half-period, so the constructed large-amplitude waves are not overhanging, even though the formulation admits overhanging profiles.
  • The only possible terminal states are stagnation somewhere on the interface or a $C^1$ breakdown of the conformal equivalence between a layer and a strip; numerical continuation shows both types occur, as a corner at crest or trough (Type I) or as the interface approaching a wall (Type II).
  • Near the shear flow the solutions develop cat's-eye stagnation structures, and in the long-wavelength limit they connect to periodic bores and to the companion solitary-wave solutions, with bore amplitudes matching the conjugate-flow formula.

Reading between the lines

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

  • The harmonic-distortion construction should transfer to other two-layer free-boundary problems — internal waves with a density jump, or vortex patches — as long as the interfacial condition can be written as a pointwise differential relation; the paper states this expectation but does not carry it out, so this transfer is an open testable extension rather than a proved result.
  • If a Type I limiting wave keeps its interface away from the walls, the local singularity theory for rotating vortex patches suggests the corner angle at the stagnation point would be $\pi/2$; the paper notes the analogy but neither proves the limiting wave exists nor computes its angle.
  • The numerical phase diagram suggests that the boundary in $(H,\omega_0)$ between corner-terminating and wall-touching branches might be predicted analytically from the conjugate-flow invariants the paper already uses to compute bore amplitudes; deriving such a criterion is a natural next step the authors leave implicit.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. The paper proves the first global existence result for large-amplitude steady two-layer constant-vorticity Euler flows in a periodic channel. The authors reformulate the free-boundary problem as a local system of nine first-order PDEs plus two scalar constraints, using conformal maps for each layer composed with a harmonic 'horizontal distortion' s that aligns the two interface parametrizations (Section 2). They verify Agmon-Douglis-Nirenberg L-ellipticity of the linearized operator at all solutions in the admissible set U (Section 3, Proposition 3.1), obtain a Crandall-Rabinowitz branch from shear flows (Section 4), rule out closed loops by a nodal argument (Section 5), and prove that uniform bounds excluding stagnation or conformal breakdown imply compactness (Section 6). Theorem 1.1 concludes that the global curve exists and the quantity (1.3) tends to zero along it, so the only possible terminal behaviors are interface stagnation or loss of the conformal strip equivalence in C^1. Section 7 provides numerical continuation evidence (corner formation or near-wall limits) but does not claim to compute the limiting waves.

Significance. This is a substantial and well-structured contribution. The horizontal-distortion reformulation is a genuine technical innovation: it turns a two-layer free-boundary problem with possible overhangs and stagnation points into a local elliptic system, opening the door to Schauder estimates, Fredholm index theory, and Buffoni-Toland global bifurcation. The proof architecture is complete - local bifurcation, nodal analysis, uniform regularity, and maximality - and the numerics are presented cautiously, with the authors explicitly stating that limiting configurations are not asserted to exist. The numerical section also contains a quantitative, checkable prediction: the conjugate-flow formula (7.8c) is verified to six decimal places in Figure 8, lending credibility to the exploration. If the Lopatinskii computations in Section 3 are correct, the main theorem stands as a strong existence result. The concern that (1.3) does not construct a limiting solution is not, on reading, a flaw: Theorem 1.1 is carefully worded as a statement about limits along the curve, and the paper is explicit that the limiting flow is not recovered.

major comments (2)
  1. [Section 3.1, Proposition 3.1 (and Section 3.2 homotopy)] The Lopatinskii condition is the load-bearing step of the Fredholm analysis, but the two displayed identities - det(mu^0_alpha*) = 1/(32 k^2 |1 + k chi_{1x}(x,0)| |xi|) and det(mu^1_alpha*) = sqrt((u0+q)^2+v0^2)/(16 (1+s_x)^2 k^3) - together with the homotopy lower bounds for e^0_dD(t) and e^1_dD(t) in Section 3.2, are asserted to follow from 'computer algebra' with no code, no scripts, no explicit matrices Lambda_0, Lambda_1, and no intermediate residue computations. Since L-ellipticity of D_zeta F^circ at all solutions is what makes D_zeta F Fredholm (hypothesis (ii) of Theorem 2.4), an algebraic slip in these determinants would invalidate the use of the global bifurcation theorem. Unlike the interior-symbol determinant (3.1a), which is displayed explicitly and is in principle checkable, this part of the proof is not checkable from the manuscript. Please supply either a complete hand-written derivation (entries of Lambda_0 and Lambda_1, the relevant 5x5 minors, and the residues at the three poles (3.2)) or the computer-algebra worksheets/scripts with enough documentation to reproduce every displayed bound.
  2. [Section 5, Lemma 5.2] The 'closed' half of the nodal argument contains an unproved rigidity assertion: after applying the strong maximum principle to the scalar elliptic equation (5.3), the paper states that if v0 is constant then 'some straightforward calculation' shows the solution is the trivial shear zeta_* of (2.9). This assertion is load-bearing because it is exactly what rules out alternative (b) of Theorem 2.4 in Corollary 5.4; if a non-shear solution with v0 identically constant existed, the loop alternative would remain open. The calculation needs to show not only that the physical flow in the lower layer is a horizontal shear, but also that the strip parameters h0, h1 and the functions chi_i, eta_i, s equal the specific values in (2.9), which requires use of the scalar constraints (2.4t) and (2.4u). Please include the details.
minor comments (6)
  1. [Theorem 1.1 / Section 1.1] Theorem 1.1 states that H, k, omega0, omega1 are real with H in (0,1), but the construction requires k > 0: the period 2*pi/k, the positivity of h0 = kH and h1 = k(1-H) in (2.9), and the dispersion relation (4.1) all presuppose it. Please add k > 0 (or at least k != 0) to the hypotheses.
  2. [Section 1.1] In the paragraph following (1.1), the text says 'the vorticities omega_1 != omega_2 are distinct', but only omega_0 and omega_1 have been defined; presumably omega_0 != omega_1 is meant.
  3. [Corollary 5.4] The heading reads 'the nodal peroperty (5.1)'; 'peroperty' should read 'property'.
  4. [Section 3.2] The matrix displays for the homotopy segment 1 < t <= 2 and for the terminal symbol tilde A(2) are typeset unclearly - for example, the fourth diagonal block appears as '2 xi^2 nu - 2 nu^2 xi' and one row reads '0 0 0 0 xi^2 + nu^2'. These should be re-typeset so the intended matrices can be read.
  5. [Section 7.1, equation (7.6)] In (7.6) the mesh points are written as 't_I = (I-1) pi / N, i = 1, ..., N-1', with inconsistent index letters; the index should be made consistent.
  6. [Section 1.3] In the sentence on 'angular velocities [33, 44, 36]', reference [33] (Fraenkel's book on maximum principles) looks mismatched to the claim; please verify the citation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is proved from the reformulated elliptic system, external global bifurcation theory, and independent elliptic estimates, not from fitted inputs or author-uniqueness citations.

full rationale

The central derivation is self-contained. Section 2 introduces a fixed-domain reformulation (2.4), and Lemma 2.2 proves that solutions in U give conformal maps and hence physical solutions to (1.1). The Fredholm hypothesis of the external Buffoni–Toland theorem [9] is verified in Proposition 3.1 by direct computation of the principal symbol and Lopatinskii constants; even though those computations are computer-assisted and not fully reproduced, that is a verifiability gap rather than a circular reduction. The local bifurcation hypothesis is verified in Proposition 4.1 by solving the linearized system; the dispersion relation is derived there, and the citation to [54] only notes agreement with prior solitary-wave work. Global continuation, exclusion of a loop, and the limiting behavior (1.3) are obtained from maximum principles, elliptic estimates, and the compactness of the sets E_M, all within the paper. The numerical section is explicitly separate and is not used to prove Theorem 1.1. The self-citations [41], [43], [54], and [15] are contextual, historical, or used for numerical comparison, and none is load-bearing for the theorem's proof. No step has been found in which an output is defined as an input, a fitted parameter is renamed a prediction, or a claimed result is imported from the authors' own prior work without independent derivation.

Assumptions & free parameters 4 free parameters · 4 assumptions · 1 invented entities

The main mathematical infrastructure is standard elliptic PDE theory and global bifurcation. The only new entity is the auxiliary distortion function s, which is a tool rather than a physical postulate. No free parameters are fitted to data in the rigorous part; the numerical section uses prescribed (k,H,ω0,A) values.

free parameters (4)
  • wavenumber k = prescribed input
    k is a given parameter in the theorem, not fitted.
  • average depth H = prescribed input
    H is a given parameter.
  • vorticity ω0 = prescribed input
    ω0 is a given parameter, with ω0−ω1=1.
  • bifurcation parameter q = q_n = d(nk), eq (4.1)
    q is fixed at the dispersion-relation value for the n-th mode; this is derived from the linearized problem, not fitted to numerical data.
assumptions (4)
  • standard math Agmon-Douglis-Nirenberg elliptic-system theory (Schauder estimates, Fredholm properties) holds for the linearized operator.
    Used throughout Section 3 to establish Fredholm properties; cited to [1,2,72,76].
  • standard math Buffoni-Toland analytic global bifurcation theorem (Theorem 2.4) is valid in the stated form.
    Stated and proved in Appendix A, closely following [9].
  • standard math Existence and regularity of conformal maps and Darboux-Picard theorem.
    Used in Lemma 2.2 to recover physical solutions.
  • standard math Maximum principle and Hopf lemma for scalar elliptic equations hold for the derived scalar equations for v0, v1, η0, η1.
    Used in Section 5 for nodal analysis.
invented entities (1)
  • horizontal distortion s(x,y)
    purpose: Makes the two conformal maps agree on the interface, turning non-local boundary conditions into local ones.
    This is a new mathematical auxiliary function introduced in the reformulation; it is not a physical entity but a coordinate-distortion function. Its existence is guaranteed by solving an extra Laplace equation with boundary conditions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Large-amplitude periodic solutions to the steady Euler equations with piecewise constant vorticity." pith.science (2026). https://pith.science/paper/JJVCJITD

@misc{pith2026250617002,
  author       = {Pith},
  title        = {Pith review of: Large-amplitude periodic solutions to the steady Euler equations with piecewise constant vorticity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JJVCJITD}},
  note         = {Machine review of arXiv:2506.17002}
}
abstract

We consider steady solutions to the incompressible Euler equations in a two-dimensional channel with rigid walls. The flow consists of two periodic layers of constant vorticity separated by an unknown interface. Using global bifurcation theory, we rigorously construct curves of solutions that terminate either with stagnation on the interface or when the conformal equivalence between one of the layers and a strip breaks down in a $C^1$ sense. We give numerical evidence that, depending on parameters, these occur either as a corner forming on the interface or as one of the layers developing regions of arbitrarily thin width. Our proof relies on a novel formulation of the problem as an elliptic system for the velocity components in each layer, conformal mappings for each layer, and a horizontal distortion which makes these mappings agree on the interface. This appears to be the first local formulation for a multi-layer problem which allows for both overhanging wave profiles and stagnation points.

Figures

Figures reproduced from arXiv: 2506.17002 by the authors.

Figure 1
Figure 1. Sketch of the problem (1.1). The interface Γ overturns, but is still monotone in the sense that the Y -coordinate strictly decreases as one moves form the crest at X = 0 to the trough at X = π/k. Theorem 1.1. Fix real constants H, k, ω0, and ω1 such that H ∈ (0, 1) and ω0−ω1 = 1. There exists a continuous curve of solutions to (1.1) with the following properties. (i) The geometry of each solution along the curve is … view at source ↗
Figure 2
Figure 2. The streamlines of some numerical solutions near the end of their respective solution branches. The interface is given by the black curve, the grey curves are interior streamlines, and the black points are stagnation points. We have a solution in which the interface is almost singular in panel (A), and a solution where the interface almost touches the upper wall in panel (B). The solution in (A) has parameters k = π… view at source ↗
Figure 3
Figure 3. A sketch of the issue our coordinate change rectifies. The interface is given by the black curve, and the grey dashed curves are lines on which the coordinates are constant. In (A) we see an example of conformal mappings disagreeing at the interface. We then see in (B) how composing a pair of conformal maps (upper left) with a pointwise-in-y coordinate transform in the upper layer (lower left) yields a coordinate ch… view at source ↗
Figures from the paper (10 more)
Figure 4
Figure 4. Figure 4: A shear solution in (2.8). odd in x, and 2, 3, 6, 7, 11, 13, 15, 18 are even in x. The codomain Y is then given by Y = Y ◦ × R 2 . The parity conditions are imposed due to two symmetries of the problem, translation and reflection. We have a translational symmetry in th…
Figure 5
Figure 5. Figure 5: Some perturbative solutions and their streamlines. The parameter tuple (k, H, ω0, A) is equal to (2, 0.5, 0.3, 0.2) in panel (A), (0.2, 0.25, 1, 0.1) in panel (B), and (0.2, 0.4, 0, 0.1) in panel (C). The so￾lution in (A) exhibits a cat’s-eye structure in the upper lay…
Figure 6
Figure 6. Figure 6: In panel (A) we have a perturbative periodic bore with pa￾rameters (k, H, ω0, A) = (π/25, 2/3, 0, 0.15). In panel (B) we see the numerical solution (solid line) agrees well with the leading order term of the solution predicted by [15] (dashed). 1.5 1.0 0.5 0.0 0.5 1.0 …
Figure 7
Figure 7. Figure 7: Stagnation appears in the lower layer when the amplitude is increased from 0.2 in panel (A) to 0.4 in panel (B). For both solutions, (k, H, ω0) = (2, 0.5, 0.3). above the trough at x = π/k. This is demonstrated in [PITH_FULL_IMAGE:figures/full_fig_p045_7.png]
Figure 8
Figure 8. Figure 8: A solution with ( k = 0 k, H, ω .2, H = 0 0 .3 , A, ) = (0 0 = 0.52.5 2, 0.3, 0.525, 0.73873). The flow is approximately shear for x ∈ [−2, 2] and for x ∈ [5π − 10, 5π + 10]. 0 50 100 150 200 250 300 350 n 10 16 10 13 10 10 10 7 10 4 10 1 |un| (a) 3.0 1.5 0.0 1.5 3.0 X…
Figure 9
Figure 9. Figure 9: In panel (A) we see the how the Fourier coefficients of the horizontal velocity decay along the branch with parameters (k, H, ω0) = (1, 0.46, −0.69). The solutions have size parameter N = 360. The dotted line corresponds to A = 0.1, the dashed line to A = 0.15, the dot…
Figure 10
Figure 10. Figure 10: On the upper row we have solutions along a branch with (k, H, ω0) = (1, 0.42463, −0.08269), with the amplitude increasing from 0.1 in panel (A) to 0.25 in panel (B) to 0.4065 in panel (C). The saddle point collides with the interface, thus the limiting solution is of …
Figure 11
Figure 11. Figure 11: Some solutions along a branch with (k, H, ω0) = (π, 0.125, 0.625). As the amplitude increases from 0.125 in panel (A) to 0.3 in panel (B), it initially seems we have a Type II solution, since the distance from the trough to the lower wall is much smaller than from the…
Figure 12
Figure 12. Figure 12: The nature of limiting solutions in different regions of pa￾rameter space. In panel (A) we have k = π/6, in panel (B) k = 1, in panel (C) k = π, in panel (D) k = 2π. Upwards pointing triangles correspond to Type I solutions with a corner at their crest, downwards poin…
Figure 13
Figure 13. Figure 13: Two solutions with k = 4π, ω0 = 0.63125. In panel (A) we have H = 0.7, and in panel (B) H = 0.8. In panel (C), we see that the interface from (A) (solid line) agrees well with the interface from (B) translated down by 0.1 (dashed). The velocity along the interface for…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

78 extracted references · 69 canonical work pages

  1. [54]

    Karsten Matthies, Jonathan Sewell, and Miles H. Wheeler. Solitary solutions to the steady euler equations with piecewise constant vorticity in a channel.J. Differential Equations, 400:376–422, 2024

    work page 2024

  2. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I.Comm. Pure Appl. Math., 12:623–727, 1959

    1959

  3. [2]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II.Comm. Pure Appl. Math., 17:35–92, 1964

    1964

  4. [3]

    Ambrose, and J

    Benjamin Akers, David M. Ambrose, and J. Douglas Wright. Traveling waves from the arclength parameterization: vortex sheets with surface tension.Interfaces Free Bound., 15(3):359–380, 2013

    work page 2013

  5. [4]

    Ambrose, Walter A

    David M. Ambrose, Walter A. Strauss, and J. Douglas Wright. Global bifurcation theory for pe- riodic traveling interfacial gravity–capillary waves.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 33(4):1081–1101, 2016

    work page 2016

  6. [5]

    C. J. Amick, L. E. Fraenkel, and J. F. Toland. On the Stokes conjecture for the wave of extreme form.Acta Math., 148:193–214, 1982

    1982

  7. [6]

    C. J. Amick and R. E. L. Turner. A global theory of internal solitary waves in two-fluid systems. Trans. Amer. Math. Soc., 298(2):431–484, 1986. WAVES WITH TWO LAYERS OF CONSTANT VORTICITY 54

    work page 1986

  8. [7]

    W.-J. Beyn. The numerical computation of connecting orbits in dynamical systems.IMA J. Numer. Anal., 10(3):379–405, 1990

    work page 1990

Show all 78 references
  1. [8]

    Joseph Biello and John K. Hunter. Nonlinear Hamiltonian waves with constant frequency and surface waves on vorticity discontinuities.Comm. Pure Appl. Math., 63(3):303–336, 2010

    2010

  2. [9]

    Princeton Series in Applied Mathematics

    Boris Buffoni and John Toland.Analytic theory of global bifurcation. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ, 2003. An introduction

    2003

  3. [10]

    Motions of vortex patches.Lett

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

    1982

  4. [11]

    Burckel.Classical analysis in the complex plane

    Robert B. Burckel.Classical analysis in the complex plane. Cornerstones. Birkh¨ auser/Springer, New York, 2021

    2021

  5. [12]

    Uniformly rotating analytic global patch solutions for active scalars.Ann

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

    2016

  6. [13]

    Existence of analytic non-convex v-states

    Gerard Castro-L´ opez and Javier G´ omez-Serrano. Existence of analytic non-convex v-states. 2024

    2024

  7. [14]

    Robin Ming Chen, Samuel Walsh, and Miles H. Wheeler. Existence and qualitative theory for stratified solitary water waves.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 35(2):517–576, 2018

    2018

  8. [15]

    Robin Ming Chen, Samuel Walsh, and Miles H. Wheeler. Center manifolds without a phase space for quasilinear problems in elasticity, biology, and hydrodynamics.Nonlinearity, 35(4):1927–1985, 2022

    1927

  9. [16]

    Exact steady periodic water waves with vorticity.Comm

    Adrian Constantin and Walter Strauss. Exact steady periodic water waves with vorticity.Comm. Pure Appl. Math., 57(4):481–527, 2004

    2004

  10. [17]

    Global bifurcation of steady gravity water waves with critical layers.Acta Math., 217(2):195–262, 2016

    Adrian Constantin, Walter Strauss, and Eugen V˘ arv˘ aruc˘ a. Global bifurcation of steady gravity water waves with critical layers.Acta Math., 217(2):195–262, 2016

    2016

  11. [18]

    Crandall and Paul H

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

    1971

  12. [19]

    E. N. Dancer. Bifurcation theory for analytic operators.Proc. London Math. Soc. (3), s3-26(2):359– 384, 1973

    1973

  13. [20]

    Doubly connectedV-states for the planar Euler equations.SIAM J

    Francisco de la Hoz, Taoufik Hmidi, Joan Mateu, and Joan Verdera. Doubly connectedV-states for the planar Euler equations.SIAM J. Math. Anal., 48(3):1892–1928, 2016

    1928

  14. [21]

    Vstates,

    Gary S. Deem and Norman J. Zabusky. Vortex waves: Stationary “Vstates,” interactions, recur- rence, and breaking.Phys. Rev. Lett., 40:859–862, Mar 1978

    1978

  15. [22]

    Dias and J.-M

    F. Dias and J.-M. Vanden-Broeck. On internal fronts.J. Fluid Mech., 479:145–154, 2003

    2003

  16. [23]

    Oxford University Press, United Kingdom, 1986

    John Dold and Howell Peregrine.An Efficient Boundary Integral Method for Steep Unsteady Water Waves, pages 671–679. Oxford University Press, United Kingdom, 1986

    1986

  17. [24]

    Dritschel

    David G. Dritschel. The stability and energetics of corotating uniform vortices.Journal of Fluid Mechanics, 157:95–134, 1985

    1985

  18. [25]

    Dubreil-Jacotin

    M.-L. Dubreil-Jacotin. Sur la d´ etermination rigoureuse des ondes permanentes p´ eriodiques d’ampleur finie.J. Math. Pures Appl. (9), 13:217–291, 1934

    1934

  19. [26]

    Juan D´ avila, Manuel del Pino, Monica Musso, and Miles H. Wheeler. Overhanging solitary water waves.arXiv, 2409.01182, 2024

    2024 arXiv

  20. [27]

    Steady water waves with multiple critical layers: interior dynamics.J

    Mats Ehrnstr¨ om, Joachim Escher, and Gabriele Villari. Steady water waves with multiple critical layers: interior dynamics.J. Math. Fluid Mech., 14(3):407–419, 2012

    2012

  21. [28]

    Steady water waves with multiple critical layers.SIAM J

    Mats Ehrnstr¨ om, Joachim Escher, and Erik Wahl´ en. Steady water waves with multiple critical layers.SIAM J. Math. Anal., 43(3):1436–1456, 2011

    2011

  22. [29]

    Elgindi, Yupei Huang, Ayman R

    Tarek M. Elgindi, Yupei Huang, Ayman R. Said, and Chunjing Xie. A classification theorem for steady euler flows.arXiv, 2408.14662, 2024

    2024

  23. [30]

    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, 2024

    2024 arXiv

  24. [31]

    Fern´ andez, David Ruiz, and Pieralberto Sicbaldi

    Alberto Enciso, Antonio J. Fern´ andez, David Ruiz, and Pieralberto Sicbaldi. A Schiffer-type problem for annuli with applications to stationary planar Euler flows.Duke Math. J., 174(6):1151–1208, 2025

    2025

  25. [32]

    Evans.Partial differential equations

    Lawrence C. Evans.Partial differential equations. Graduate studies in mathematics ; v. 19. American Mathematical Society, Providence, R.I., 2nd ed. edition, 2010

    2010

  26. [33]

    L. E. Fraenkel.An introduction to maximum principles and symmetry in elliptic problems, volume 128 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2000. WAVES WITH TWO LAYERS OF CONSTANT VORTICITY 55

    2000

  27. [34]

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

    2023

  28. [35]

    Trudinger.Elliptic partial differential equations of second order

    David Gilbarg and Neil S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    2001

  29. [36]

    Symmetry in stationary and uniformly rotating solutions of active scalar equations.Duke Math

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

    2021

  30. [37]

    Gravity water waves over constant vorticity flows: From laminar flows to touching waves.arXiv, 2505.00417, 2025

    Francisco Gon¸ calves. Gravity water waves over constant vorticity flows: From laminar flows to touching waves.arXiv, 2505.00417, 2025

    2025 arXiv

  31. [38]

    Particle trajectories under interactions between solitary waves and a linear shear current

    Xin Guan. Particle trajectories under interactions between solitary waves and a linear shear current. Theor. Appl. Mech. Lett., 10(2):125–131, 2020

    2020

  32. [39]

    A novel boundary-integral algorithm for nonlinear un- steady surface and interfacial waves, 2023

    Xin Guan and Jean Vanden-Broeck. A novel boundary-integral algorithm for nonlinear un- steady surface and interfacial waves, 2023. Copyright -©2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest T...

    2023

  33. [40]

    Shear flows of an ideal fluid and elliptic equations in unbounded domains.Comm

    Fran¸ cois Hamel and Nikolai Nadirashvili. Shear flows of an ideal fluid and elliptic equations in unbounded domains.Comm. Pure Appl. Math., 70(3):590–608, 2017

    2017

  34. [41]

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

    1933

  35. [42]

    Haziot, Vera Mikyoung Hur, Walter A

    Susanna V. Haziot, Vera Mikyoung Hur, Walter A. Strauss, J. F. Toland, Erik Wahl´ en, Samuel Walsh, and Miles H. Wheeler. Traveling water waves—the ebb and flow of two centuries.Quart. Appl. Math., 80(2):317–401, 2022

    2022

  36. [43]

    Haziot and Miles H

    Susanna V. Haziot and Miles H. Wheeler. Large-amplitude steady solitary water waves with constant vorticity.Arch. Ration. Mech. Anal., 247(2):Paper No. 27, 49, 2023

    2023

  37. [44]

    On the trivial solutions for the rotating patch model.J

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

    2015

  38. [45]

    Bifurcation of rotating patches from Kirchhoff vortices.Discrete Contin

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

    2016

  39. [46]

    Boundary regularity of rotating vortex patches

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

    2013

  40. [47]

    Hunter, Ryan C

    John K. Hunter, Ryan C. Moreno-Vasquez, Jingyang Shu, and Qingtian Zhang. On the approxima- tion of vorticity fronts by the Burgers-Hilbert equation.Asymptot. Anal., 129(2):141–177, 2022

    2022

  41. [48]

    Vera Mikyoung Hur and Miles H. Wheeler. Exact free surfaces in constant vorticity flows.J. Fluid Mech., 896:R1, 10, 2020

    2020

  42. [49]

    Vera Mikyoung Hur and Miles H. Wheeler. Overhanging and touching waves in constant vorticity flows.J. Differential Equations, 338:572–590, 2022

    2022

  43. [50]

    Keady and J

    G. Keady and J. Norbury. On the existence theory for irrotational water waves.Math. Proc. Cam- bridge Philos. Soc., 83(1):137–157, 1978

    1978

  44. [51]

    Kinderlehrer, L

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

    1978

  45. [52]

    Vorlesungen ¨ uber mathematische Physik.Monatsh

    Gustav Kirchhoff. Vorlesungen ¨ uber mathematische Physik.Monatsh. Math. Phys., 8(1):A29–A29, 1897

  46. [53]

    Steady internal water waves with a critical layer bounded by the wave surface

    Anca-Voichita Matioc. Steady internal water waves with a critical layer bounded by the wave surface. J. Nonlinear Math. Phys., 19(1):1250008, 21, 2012

    2012

  47. [55]

    D. I. Meiron and P. G. Saffman. Overhanging interfacial gravity waves of large amplitude.J. Fluid Mech., 129:213–218, 1983

    1983

  48. [56]

    Overman, II

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

    1986

  49. [57]

    R. T. Pierrehumbert. A family of steady, translating vortex pairs with distributed vorticity.Journal of Fluid Mechanics, 99(1):129–144, 1980. WAVES WITH TWO LAYERS OF CONSTANT VORTICITY 56

    1980

  50. [58]

    P. I. Plotnikov. Proof of the Stokes conjecture in the theory of surface waves.Stud. Appl. Math., 108(2):217–244, 2002. Translated from Dinamika Sploshn. Sredy No. 57 (1982), 41–76,MR0752600 (85f:76036)]

    1982

  51. [59]

    D. I. Pullin. Contour dynamics methods. InAnnual review of fluid mechanics, Vol. 24, pages 89–115. Annual Reviews, Palo Alto, CA, 1992

    1992

  52. [60]

    On the Stability, or Instability, of certain Fluid Motions.Proc

    Lord Rayleigh. On the Stability, or Instability, of certain Fluid Motions.Proc. Lond. Math. Soc., 11:57–70, 1879/80

  53. [61]

    Milewski, and Andr´ e Nachbin

    Roberto Ribeiro, Jr., Paul A. Milewski, and Andr´ e Nachbin. Flow structure beneath rotational water waves with stagnation points.J. Fluid Mech., 812:792–814, 2017

    2017

  54. [62]

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

    1980

  55. [63]

    A symmetry problem in potential theory.Arch

    James Serrin. A symmetry problem in potential theory.Arch. Rational Mech. Anal., 43:304–318, 1971

    1971

  56. [64]

    J. A. Simmen and P. G. Saffman. Steady deep-water waves on a linear shear current.Stud. Appl. Math., 73(1):35–57, 1985

    1985

  57. [65]

    Considerations relative to the greatest height of oscillatory irrotational waves which can be propagated without change of form.Mathematical and physical papers, 1:225–228, 1880

    George Gabriel Stokes. Considerations relative to the greatest height of oscillatory irrotational waves which can be propagated without change of form.Mathematical and physical papers, 1:225–228, 1880

  58. [66]

    A. F. Teles da Silva and D. H. Peregrine. Steep, steady surface waves on water of finite depth with constant vorticity.J. Fluid Mech., 195:281–302, 1988

    1988

  59. [67]

    R. E. L. Turner. Internal waves in fluids with rapidly varying density.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 8(4):513–573, 1981

    1981

  60. [68]

    Vanden-Broeck

    J.-M. Vanden-Broeck. Steep solitary waves in water of finite depth with constant vorticity.J. Fluid Mech., 274:339–348, 1994

    1994

  61. [69]

    Cambridge Monographs on Mechan- ics

    Jean-Marc Vanden-Broeck.Gravity-capillary free-surface flows. Cambridge Monographs on Mechan- ics. Cambridge University Press, Cambridge, 2010

    2010

  62. [70]

    Numerical calculation of gravity-capillary interfacial waves of finite am- plitude.The Physics of Fluids, 23(9):1723–1726, 09 1980

    Jean-Marc Vanden-Broeck. Numerical calculation of gravity-capillary interfacial waves of finite am- plitude.The Physics of Fluids, 23(9):1723–1726, 09 1980

    1980

  63. [71]

    Global bifurcation of waves with multiple critical layers.SIAM J

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

    2020

  64. [72]

    Volume 1: Fredholm theory of elliptic problems in unbounded domains, volume 101 ofMonographs in Mathematics

    Vitaly Volpert.Elliptic partial differential equations. Volume 1: Fredholm theory of elliptic problems in unbounded domains, volume 101 ofMonographs in Mathematics. Birkh¨ auser/Springer Basel AG, Basel, 2011

    2011

  65. [73]

    Steady water waves with a critical layer.J

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

    2009

  66. [74]

    Large-amplitude steady gravity water waves with general vorticity and critical layers.Duke Math

    Erik Wahl´ en and J¨ org Weber. Large-amplitude steady gravity water waves with general vorticity and critical layers.Duke Math. J., 173(11):2197–, 2024

    2024

  67. [75]

    Boundary regularity of uniformly rotating vortex patches and an unstable elliptic free boundary problem.arXiv, 2306.03498, 2024

    Yuchen Wang, Guanghui Zhang, and Maolin Zhou. Boundary regularity of uniformly rotating vortex patches and an unstable elliptic free boundary problem.arXiv, 2306.03498, 2024

    2024 arXiv

  68. [76]

    J. T. Wloka, B. Rowley, and B. Lawruk.Boundary value problems for elliptic systems. Cambridge University Press, Cambridge, 1995

    1995

  69. [77]

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

    1984

  70. [78]

    Zabusky, M

    Norman J. Zabusky, M. H. Hughes, and K. V. Roberts. Contour dynamics for the Euler equations in two dimensions.J. Comput. Phys., 30(1):96–106, 1979

    1979

Pith tools

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