Gravity water waves over constant vorticity flows: From laminar flows to touching waves

Francisco Gon\c{c}alves

REVIEW 2 major objections 4 minor 1 cited by

Gravity water waves over constant vorticity flows: From laminar flows to touching waves

T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for fixed small nonzero gravity, a continuous curve of periodic gravity water waves with constant vorticity connects a laminar flow to a touching wave.

desk verdict Solid local bifurcation work and a real finite-depth extension, but the advertised continuous curve to a touching wave is asserted, not proved. read the letter →

arxiv 2505.00417 v2 pith:NVSJELIY submitted 2025-05-01 math.AP

Francisco Gonçalves This is my paper · ORCID

classification math.AP MSC 35Q3176B1535B32

keywords gravitywaterwavesconstantvorticitytouchingbreakingoverhanginglocalbifurcationtheorycriticallayersfree-surfaceproblem

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

This paper proves that for fixed, sufficiently small, nonzero gravity, a continuous curve of periodic gravity water waves with constant vorticity connects a laminar flow to a touching wave, a profile whose surface meets itself tangentially and encloses a bubble of air. The construction covers both infinitely deep and finitely deep flows, and along the curve one finds a breaking wave: a profile that is vertical at one point but never overhanging. The paper also establishes overhanging and touching waves for finite depth and analyzes the local behavior of critical layers, points where the horizontal velocity vanishes, at vertical-tangent points on the surface; that critical-layer analysis holds for arbitrary constant vorticity. The upshot is that a previously local or numerical picture of overhanging and touching waves becomes a continuous-deformation statement at fixed gravity.

What carries the argument

The load-bearing object is the operator $G(w;G,a,l)$ of equation (7), defined on Banach spaces $X$ and $Y$ of $2\pi$-periodic symmetric functions: its zeros are exactly the conformally reformulated steady water waves with gravity $G$, amplitude-like parameter $a$, and depth encoded by $l$ (with $l=0$ the infinite-depth case). Around the explicit one-parameter family $w(a)$ of exact overhanging solutions at $G=0$, the paper uses a two-parameter version of the Crandall-Rabinowitz bifurcation theorem to build a local curve, then glues it to the compact-interval family via a uniqueness argument. A curve $\tilde G(a,l)$ of constant (laminar) solutions marks the edge of the domain $S$, so for each fixed $G$ the branch starts at the laminar flow and is followed in $a$.

What would settle it

Numerically continue $G(w;G,a,l)=0$ for a fixed small positive gravity $G$ from the laminar solution, increasing the amplitude parameter; if the profile never becomes self-touching, or if the curve terminates before a vertical tangent appears, then the endpoint claim of Theorem 7 fails, because the theorem requires the touching wave to lie on the same continuous curve.

Watch

Extended reading notes

Core claim

The central claim, Theorem 7 (with the finite-depth analogue Theorem 9), is that for each fixed small gravity $G\in(-\epsilon,\epsilon)$ there exists a continuous curve of solutions of the reformulated water-wave equations joining a laminar flow to a touching wave. Because the curve passes through the whole range of amplitudes, Corollary 8 follows: at least one profile on the curve has a vertical tangent at a point and is nowhere overhanging, i.e. a breaking wave. The construction rests on the exact family $w(a)$ of overhanging solutions at $G=0$ and a two-parameter bifurcation argument that starts near the origin and is glued, by uniqueness, to a compact-interval family obtained from the Implicit Function Theorem. The paper also proves finite-depth versions of overhanging and touching waves and a local description of critical layers at vertical-tangent points.

Load-bearing premise

The solution branch is constructed only on compact subintervals of the amplitude parameter, and the paper does not prove that the branch has a limit at the endpoint where the touching wave is supposed to lie.

Editorial extensions

If this is right

For fixed small nonzero gravity in infinite depth, water waves can be continuously deformed from a flat laminar flow to a touching wave.
A vertical-tangent breaking wave necessarily appears on that deformation, without the profile ever overhanging.
For all sufficiently large finite depth, the same laminar-to-touching curve exists, and separate finite-depth constructions give overhanging waves and touching waves.
The sign of gravity controls critical layers at a vertical-tangent point: with positive gravity and no local extremum of the horizontal coordinate, no critical layer from the fluid touches the surface, while with negative gravity or at a local extremum one does.
The critical-layer analysis is not tied to the constructed branch and applies to arbitrary constant vorticity.

Reading between the lines

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

A numerical continuation of the operator equation for fixed small $G$ could locate the amplitude at which the surface first touches itself and compare it with the separately constructed touching waves, effectively testing the missing endpoint limiting argument.
Proposition 14 gives a local sign test that could be applied to any numerically computed or experimentally measured wave with a vertical tangent: checking whether the horizontal coordinate has a local extremum at the tangent point should predict whether a zero-velocity line reaches the surface.
The same conformal-operator scheme could be adapted to nonzero surface tension or to other exact base families, with the bifurcation-and-compactness gluing as the continuation strategy.

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.

Desk Editor's Note

read the letter

Thanks for the report. I agree with the reader's conditional verdict, and the stress-test lands on the right spot.

The genuinely new content is the finite-depth formulation (the extra parameter l), the uniform implicit function theorem on compact a-intervals, and the local bifurcation analysis. Lemmas 12 and 13 are detailed and appear correct. Theorems 4 and 5, which extend Hur–Wheeler's overhanging and touching waves to finite depth, are a solid contribution on their own. Section 5 on critical layers is independent and seems interesting.

The main problem is the endpoint. Theorem 6 constructs W only on a ≤ 1/4 − γ. The proof stops short; there is no argument that as a approaches 1/4 the profiles converge to a touching wave. The sentence after Theorem 6 just asserts Theorems 7 and 9. No compactness, no Arzelà–Ascoli, no verification of verticality or self-contact. There is also an inconsistency: the statement of Theorem 6 uses S with a ≤ 1/4 − γ, while the proof defines S with a ≤ 1/√2 − γ. That typo signals the construction does not have a clear endpoint.

This is a load-bearing gap, not a cosmetic one. The local branch construction is probably correct, and the finite-depth results are valuable, but the advertised curve that reaches a touching wave is unproved. The missing step is likely fillable with a standard limiting argument, but it is not in the manuscript.

I would send this to a serious referee. The local theory is nontrivial, and a referee should demand the endpoint proof. The paper is honest and does not hide its assumptions; it simply omits the key compactness step. If I cite it, I would cite Theorems 4 and 5, not Theorem 7 or 9.

Referee Report

2 major / 4 minor

Summary. The paper studies periodic gravity water waves with constant vorticity in both infinite and finite depth, reformulating the problem through conformal maps as an operator equation with an additional depth parameter l. It extends the local bifurcation results of Hur and Wheeler to finite depth (Theorems 4 and 5) and then claims the existence of a continuous curve of solutions connecting a laminar flow to a touching wave for fixed small nonzero gravity, in infinite depth (Theorem 7) and finite depth (Theorem 9), together with breaking-wave corollaries. Section 5 analyzes critical layers near vertical-tangent points. The main technical content is a uniform implicit-function argument (Lemma 11), a local bifurcation analysis near the laminar state (Lemmas 12 and 13), and a patching argument (Theorem 6).

Significance. If the endpoint claim were established, the paper would make a substantial contribution: a single connected branch from a laminar flow to a touching wave for arbitrary constant vorticity with fixed small gravity, including the finite-depth case and breaking waves. The local bifurcation computations are detailed and the relation to the Hur-Wheeler exact solutions and operator framework is transparent; the paper uses external results as ingredients rather than circular reasoning, and no fitted parameters are introduced. However, the central advertised endpoint—the touching wave—is not actually proved from the constructions in Section 4, so the main theorem is currently an assertion rather than a consequence of the written argument.

major comments (2)

[§4.1 (Theorems 7 and 9) and §4.2 (proof of Theorem 6)] The touching-wave endpoint is asserted but not proved. Theorem 6 constructs W only on S with a ≤ 1/4 − γ for a fixed γ > 0, and the proof, Eq. (27), patches Wλ from Lemma 11 with v + d from Lemma 13. No compactness or limiting argument is supplied as the parameter approaches the upper end of the interval, and no identification of a limiting profile with a vertical or self-touching wave is given. The uniqueness statement in Theorem 6 is local in w for each (G,a,l) and therefore cannot by itself produce an endpoint. Consequently Theorems 7 and 9, and Corollaries 8 and 10 insofar as they depend on the endpoint, are unsupported as written. If the breaking wave is meant to occur strictly before the endpoint, that should be proved explicitly.
[§2.2 (definition of U) and §4.2 (passage to physical solutions)] For finite depth the operator G uses E(w,1/l²), but the set U is defined by the non-degeneracy condition 1 − iζ∂ζE(w,∞) ≠ 0 for the infinite-depth extension. The proof of Theorem 6 does not show that the constructed W(G,a,l) with l ≠ 0 satisfies the corresponding condition 1 − iζ∂ζE(w,1/l²) ≠ 0 or that the conformal map is injective, which is required for the operator solution to give a genuine solution of (3) and (4b). A short continuity argument from l = 0 would likely repair this, but it is absent; as written, the finite-depth conclusions in Theorems 5 and 9 are not fully derived.

minor comments (4)

[§5, proof of Proposition 14] The sentence classifying the first nonzero derivative k as even for a breaking wave and odd for an overhanging wave is backwards: the subsequent analysis uses k odd for the case 'no local extremum' and k even for the overhanging/local-extremum case. Please correct the classification so that the text agrees with the case analysis that follows.
[§4.2, proof of Theorem 6] The displayed definition of S after Eq. (27) writes '1/√2 − γ' and suppresses the l-dependence of ̃G⁻¹(G); this appears to be a typo for 1/4 − γ and should be made consistent with the statement of Theorem 6.
[§2.1, definition of the Hilbert transform] The sentence 'We useH∞, to denote the standard periodic Hilbert transform' contains a typo and a missing space; the notation should be introduced cleanly, especially since H_d is later used for the strip transform.
[§1 and §4.1] The abstract and introduction emphasize fixed nonzero gravity, while Theorems 7 and 9 state the result for all G ∈ (−ε,ε), including G = 0. Please clarify whether G = 0 is included by the exact Hur–Wheeler curve or should be explicitly excluded.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the branch construction is a genuine extension of external Hur-Wheeler results; the touching-wave endpoint is asserted without a limiting proof, which is a correctness gap rather than circularity.

full rationale

The paper's derivation chain is not circular. It imports the exact base solutions w(a), the operator F, the overhanging/touching parameter range, and the relevant implicit-function results from Hur and Wheeler [14,15], which are external references rather than self-citations. It then proves a genuinely new uniform version of the local bifurcation with an added depth parameter l, and verifies the kernel and transversality conditions by direct computation in Lemmas 11-13. No fitted parameter is later renamed a prediction, no load-bearing conclusion is justified only by a self-citation, and no object is defined in terms of the target result. The only reviewer concern is a proof gap, not circularity: the sentence immediately after Theorem 6, "The solutions from Theorem 6 give rise to solutions of (1) and (2), allowing us to state the following results," asserts Theorems 7 and 9, including the touching-wave endpoint, without supplying a compactness or limiting argument that would pass from the compact-parameter construction to an endpoint profile. That missing argument affects the correctness of Theorems 7 and 9, but it does not make the paper circular. Accordingly, the circularity score is 0.

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

No data are fitted; the parameters (a, G, l) are continuation and bifurcation variables in a pure existence proof. The only external inputs are standard complex analysis, local bifurcation theory, and the exact solutions of Hur-Wheeler [14,15]. The central gap is not an invented parameter but a missing limiting argument for the touching-wave endpoint.

assumptions (4)

domain assumption The physical system is modeled by the incompressible Euler equations with constant vorticity, no surface tension, and Bernoulli boundary condition (1).
Adopted in Section 2 (equations (1)-(3)); this is the standard water-wave model and is not questioned by the paper.
domain assumption The conformal map z:S_d to D exists and the boundary is at least C^1 with z_alpha nonzero on the surface (Lemma 1 and Proposition 2).
Section 2.1; Proposition 2 requires z_alpha nonzero on the boundary, i.e., no surface stagnation. This is enforced on the constructed branch by the set U, but must hold along the entire curve, including the touching wave limit.
standard math Crandall-Rabinowitz local bifurcation theory with two parameters (Proposition 15 and Corollary 16) is applicable; its transversality and nondegeneracy conditions are satisfied.
Appendix; the derivatives in Lemma 13 are computed to verify the conditions, but the general theorem itself is imported from [3].
standard math The exact G=0 solution family w(a) from [14] satisfies G(w(a),0,a,0)=0 and has the overhanging and touching thresholds a_crit and a_max from [15].
Used in Section 3 and Lemma 11; these are external prior results, not re-derived here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Gravity water waves over constant vorticity flows: From laminar flows to touching waves." pith.science (2026). https://pith.science/paper/NVSJELIY

@misc{pith2026250500417,
  author       = {Pith},
  title        = {Pith review of: Gravity water waves over constant vorticity flows: From laminar flows to touching waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NVSJELIY}},
  note         = {Machine review of arXiv:2505.00417}
}

read the original abstract

In a recent paper, Hur & Wheeler [J. Differential Equations, 338:572-590, 2022] proved the existence of periodic steady water waves over an infinitely deep, two-dimensional and constant vorticity flow under the influence of gravity. These solutions include overhanging wave profiles, some of which exhibit surfaces that touch at a point and thereby enclose a bubble of air. We extend these results by formulating a problem that encompasses both infinitely deep and finitely deep flows, and by proving the existence of a continuous curve of water waves that connects a laminar flow to a touching wave for fixed, nonzero gravity. This implies the existence of a wave profile featuring a vertical tangent at a point, which is not overhanging, and is referred to as a breaking wave. We also study the behaviour of critical layers, which are points where the horizontal velocity vanishes, near the surface. In particular, this result holds for arbitrary vorticity.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Large-amplitude periodic solutions to the steady Euler equations with piecewise constant vorticity
math.AP 2025-06 conditional novelty 8.0 of 10

A new local elliptic formulation for two-layer constant-vorticity Euler flows yields global bifurcation curves that terminate exactly when conformal equivalence or non-stagnation on the interface breaks down.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

[1]

Aasen and K

A. Aasen and K. Varholm. Traveling gravity water waves with critical layers. Journal of Mathematical Fluid Mechanics, 20:161–187, 2018

work page 2018
[2]

B. F. Akers, D. M. Ambrose, and J. D. Wright. Gravity perturbed crapper waves. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences , 470(2161):20130526, 2014

work page 2014
[3]

Buffoni and J

B. Buffoni and J. Toland. Analytic Theory of Global Bifurcation . Princeton University Press, 2003

work page 2003
[4]

Constantin and J

A. Constantin and J. Escher. Analyticity of periodic traveling free surface water waves with vorticity. Annals of Mathematics , 173:559–568, 2011

work page 2011
[5]

Constantin, W

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

work page 2016
[6]

Constantin and E

A. Constantin and E. Varvaruca. Steady periodic water waves with constant vorticity: Regularity and local bifurcation. Archive for Rational Mechanics and Analysis , 199, 10 2009

work page 2009
[7]

C´ ordoba, A

D. C´ ordoba, A. Enciso, and N. Grubic. On the existence of stationary splash singularities for the Euler equations. Adv. Math., 288:922–941, 2016

work page 2016
[8]

G. Crapper. An exact solution for progressive capillary waves of arbitrary amplitude. Journal of Fluid Mechanics, 2(6):532–540, 1957

work page 1957

Show all 19 references

[9]

D. G. Crowdy. Exact solutions for steadily travelling water waves with submerged point vortices.Journal of Fluid Mechanics , 954:A47, 2023

2023
[10]

de Boeck

P. de Boeck. Existence of capillary-gravity waves that are perturbations of crapper’s waves, 2014

2014
[11]

S. A. Dyachenko and V. M. Hur. Stokes waves with constant vorticity: folds, gaps and fluid bubbles. Journal of Fluid Mechanics , 878:502–521, 2019

2019
[12]

S. A. Dyachenko and V. M. Hur. Stokes waves with constant vorticity: I. numerical computation. Studies in Applied Mathematics , 142(2):162–189, 2019

2019
[13]

V. M. Hur and J-M. Vanden-Broeck. A new application of crapper’s exact solution to waves in constant vorticity flows. European Journal of Mechanics - B/Fluids , 83:190–194, 2020

2020
[14]

V. M. Hur and M. H. Wheeler. Exact free surfaces in constant vorticity flows. Journal of Fluid Me- chanics, 896:R1, 2020

2020
[15]

V. M. Hur and M. H. Wheeler. Overhanging and touching waves in constant vorticity flows. Journal of Differential Equations, 338:572–590, 2022

2022
[16]

Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations

H. Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations . Applied Mathematical Sciences. Springer New York, 2011

2011
[17]

Kinderlehrer and L

D. Kinderlehrer and L. Nirenberg. Regularity in free boundary problems. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , Ser. 4, 4(2):373–391, 1977

1977
[18]

S. Lang. Complex Analysis. Graduate Texts in Mathematics. Springer New York, 1985

1985
[19]

C. B. Morrey and L. Nirenberg. On the analyticity of the solutions of linear elliptic systems of partial differential equations. Communications on Pure and Applied Mathematics , 10:271–290, 1957

1957

Pith tools

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

[1] [1]

Aasen and K

A. Aasen and K. Varholm. Traveling gravity water waves with critical layers. Journal of Mathematical Fluid Mechanics, 20:161–187, 2018

work page 2018

[2] [2]

B. F. Akers, D. M. Ambrose, and J. D. Wright. Gravity perturbed crapper waves. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences , 470(2161):20130526, 2014

work page 2014

[3] [3]

Buffoni and J

B. Buffoni and J. Toland. Analytic Theory of Global Bifurcation . Princeton University Press, 2003

work page 2003

[4] [4]

Constantin and J

A. Constantin and J. Escher. Analyticity of periodic traveling free surface water waves with vorticity. Annals of Mathematics , 173:559–568, 2011

work page 2011

[5] [5]

Constantin, W

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

work page 2016

[6] [6]

Constantin and E

A. Constantin and E. Varvaruca. Steady periodic water waves with constant vorticity: Regularity and local bifurcation. Archive for Rational Mechanics and Analysis , 199, 10 2009

work page 2009

[7] [7]

C´ ordoba, A

D. C´ ordoba, A. Enciso, and N. Grubic. On the existence of stationary splash singularities for the Euler equations. Adv. Math., 288:922–941, 2016

work page 2016

[8] [8]

G. Crapper. An exact solution for progressive capillary waves of arbitrary amplitude. Journal of Fluid Mechanics, 2(6):532–540, 1957

work page 1957