REVIEW 2 major objections 3 minor 2 cited by
This paper proves that Stokes waves with piecewise smooth vorticity exist in infinitely deep water, and along the branch the waves either accelerate without bound or approach horizontal stagnation.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-03 23:47 UTC pith:WNGV4IHO
load-bearing objection A serious, well-written attack on deep water with discontinuous vorticity, but the proof of the key spectral lemma contains a load-bearing false bound, so Theorem 2.1 is not established as stated for sign-changing vorticity. the 2 major comments →
Bifurcation analysis of Stokes waves with piecewise smooth vorticity in deep water
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is Theorem 2.1: under the hypotheses γ ∈ C^{1,α} piecewise, γ(s) = O(s^{-2-r}) as s→∞, and -Γ_inf < g^{2/3}/4, there is a connected set K of solutions (c,h) to the height-function system (2.15)–(2.16) that contains a laminar solution and has a sequence with c_k→∞ or sup_D ∂_p h_k→∞. The theorem is proved by recasting the free-boundary problem with a jump in vorticity as a transmission problem, introducing an ε-regularized approximating family of Fredholm operators, applying analytic global bifurcation theory to each approximate problem, and using a topological connectedness lemma to pass to the limit. The two alternatives in the conclusion mirror the known behavior for
What carries the argument
The height-function formulation sends the fluid domain to a semi-infinite strip and turns the jump in vorticity into a transmission condition across the internal interface p = p_0. Because the linearized operator on the unbounded domain is not Fredholm, the paper studies ε-approximations whose linearizations are Fredholm of index zero; the bifurcation points are determined by a singular Sturm-Liouville problem whose Rayleigh quotient µ_ε(λ) crosses -1, giving a simple eigenvalue. Global bifurcation on each approximate branch, preservation of a nodal pattern, and a topological connectedness lemma then produce a continuum for the original problem.
Load-bearing premise
The load-bearing premise is that Γ(p) ≤ -Γ_inf for all p, used in Lemma 4.3 to show µ_ε(-2Γ_inf) < -1; the stated hypotheses do not guarantee this when γ has positive values, and without it the existence of the bifurcation point λ_ε^* is not established.
What would settle it
Take a piecewise smooth γ with a negative dip (so Γ_inf < 0) and a later positive bump so that Γ(p_0) > -Γ_inf for some p_0, satisfying the decay and the bound -Γ_inf < g^{2/3}/4; then compute µ_ε(-2Γ_inf) via the Rayleigh quotient with a test function like e^p. If µ_ε(-2Γ_inf) ≥ -1, the eigenvalue -1 is not attained and the constructed bifurcation point does not exist.
If this is right
- If Theorem 2.1 is correct, the global bifurcation structure of deep-water waves persists under discontinuous vorticity, so jumps in the shear current do not prevent the existence of large-amplitude waves.
- The alternatives—unbounded wave speed or approach to horizontal stagnation—become the only possible fates along the branch, giving a dichotomy analogous to the smooth-vorticity case.
- The ε-approximation method yields a template for treating non-Fredholm free-boundary problems with internal interfaces in unbounded domains.
- Remark 2.2 indicates the result extends to finitely many vorticity discontinuities.
Where Pith is reading between the lines
- The proof of Lemma 4.3 relies on the bound Γ(p) ≤ -Γ_inf, which is not a consequence of the stated hypotheses unless γ never takes positive values; a corrected condition might involve an upper bound on sup Γ rather than -Γ_inf alone.
- If the hidden bound fails, the bifurcation points λ_ε^* may not exist for all ε, and the whole continuum construction could collapse; the theorem might still hold under a stronger assumption such as γ ≤ 0 on [0,∞).
- A direct computation of the Rayleigh quotient for a vorticity profile with a negative dip and a positive bump would test the key inequality (4.22).
- The method may generalize to three-dimensional perturbations or to waves with vorticity that has multiple jumps, but the eigenvalue crossing would need re-verification.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a global existence theorem for two-dimensional periodic Stokes waves in infinitely deep water with vorticity that is piecewise smooth (one jump at a prescribed level). The authors use the Dubreuil-Jacotin height-function transformation to rewrite the free-boundary problem as a transmission problem on a fixed half-strip, introduce a family of ε-regularized approximating problems whose linearizations are Fredholm, apply the Buffoni-Toland analytic global bifurcation theorem at a simple eigenvalue, propagate nodal patterns along each branch, and finally pass to the ε→0 limit via Whyburn's lemma. The main claimed result, Theorem 2.1, states that under the assumptions γ∈C^{1,α} piecewise, γ(s)=O(s^{-2-r}) as s→∞, and −Γ_inf<g^{2/3}/4, there is a connected set K of solutions containing a laminar flow and admitting a sequence with either unbounded wave speed c_k→∞ or sup_D ∂_p h_k→∞ (approach to horizontal stagnation).
Significance. If the proof were complete, this would be the first global existence result for Stokes waves with discontinuous vorticity in infinite depth, combining several nontrivial ingredients: a transmission formulation, a non-Fredholm linearization repaired by ε-regularization, eigenvalue analysis, nodal preservation, and an ε→0 limit. The paper is largely a well-structured adaptation of known machinery from Constantin-Strauss, Hur, and Martin-Matioc, and it states explicit hypotheses with no fitted parameters or circular reliance on the main theorem. The central obstruction is a specific missing estimate in Lemma 4.3, so the claimed generality is not currently established; however, the overall framework is credible and the gap is localized rather than a collapse of the entire strategy.
major comments (2)
- [§4.1, Lemma 4.3, display (4.22)] The proof that μ_ε(−2Γ_inf)<−1 replaces (2Γ(p)−2Γ_inf)^{3/2} and (2Γ(p)−2Γ_inf)^{1/2} by (−4Γ_inf)^{3/2} and (−4Γ_inf)^{1/2}. This is only valid if Γ(p)≤−Γ_inf for every p∈(−∞,0]. The stated assumptions (piecewise C^{1,α}, γ(s)=O(s^{-2−r}), −Γ_inf<g^{2/3}/4) do not imply this pointwise bound. Example: take g=8, p0=−1, γ(s)=−1 for 0≤s<1 and γ(s)=9(s+1)^{-3} for s≥1. Then Γ(p)=−p on [−1,0] and Γ(p)=−1/8+(9/2)(1−p)^{-2} on (−∞,−1], so Γ_inf=−1/8, −Γ_inf=1/8<8^{2/3}/4=1, but Γ(−1/2)=1/2>1/8. Thus (4.22) is not established for sign-changing vorticity satisfying the hypotheses. Lemma 4.3 is the only source of the bifurcation point λ_ε* for each approximating problem; Lemma 4.4, Theorem 4.6, Lemma 4.9, Theorem 4.10, and the ε→0 limit in Section 5 all depend on it. Theorem 2.1 is therefore not proved as written. The argument may be repairable with a different test function or an additional hypot
- [§4.1, display (4.22), final inequality] Even if the hidden pointwise bound Γ(p)≤−Γ_inf were assumed, the chain in (4.22) ends with −g+g/2+ε/2+g^{1/3}/2<0. For g=1 this equals ε/2≥0, and for g<1 it is positive, so the strict inequality is false without an additional assumption g>1 or an unstated normalization. Since the period is fixed at 2π, g is not automatically scaled to 1; the hypotheses of Lemma 4.3 and Theorem 2.1 do not include g>1. Thus the proof of the key eigenvalue inequality needs either a more careful estimate or an explicit normalization/assumption.
minor comments (3)
- [Various] There are several typos and small presentation issues: 'equaiton' before (4.19); 'Whyburns' in the abstract and Section 5 should be 'Whyburn's'; in Theorem 2.1 the connected set is called K but condition (1) refers to 'C'; Lemma 4.3 contains 'It is easy to that μ_ε is a C^1-function' (missing 'see'); in Lemma 5.2 the region R^-_2 is used without definition (presumably the left half of R_2). These do not affect the mathematics.
- [§4.2, Lemma 4.7–4.9] The nodal-pattern lemmas are stated tersely; Lemma 4.8 is deferred to [23, Lemma C.3] and Lemma 4.9's orthogonality contradiction is only sketched. Since these arguments are standard in the literature, this is acceptable but would benefit from a short explanation of the weight with respect to which the eigenfunctions are orthogonal.
- [§5, Lemma 5.2] The application of the Phragmén-Lindelöf theorem in the unbounded strip is plausible, but the auxiliary functions f and g use a constant N depending on M and δ; the choice of β,τ is said to satisfy (5.4)–(5.5) without showing existence. This is a minor omission, as the inequalities clearly hold for large N and suitably small β,τ.
Circularity Check
No circular derivation: the bifurcation argument is built from external machinery and the new result does not reduce to its assumptions.
full rationale
The central derivation is not circular. Theorem 2.1 is established by reformulating the free-boundary problem via the height-function/transmission formulation, regularizing with an epsilon-perturbation to restore the Fredholm property, applying an external analytic global bifurcation theorem, and then using Whyburn's lemma and nodal analysis to pass to the limit. No parameter is fitted to a target quantity and no 'prediction' is defined in terms of the conclusion. The only apparent self-citation is [15] (Dai-Zhang), used for the global bifurcation theorem; however the paper states the theorem in full and simultaneously credits the external Buffoni-Toland book [3], so the self-citation is not load-bearing. The proof of Lemma 4.3 contains a substantive validity gap noted in the text around (4.22): the estimate replacing (2Γ(p)-2Γ_inf) by (-4Γ_inf) requires the pointwise bound Γ(p) ≤ -Γ_inf for all p, which is not implied by the stated hypotheses for sign-changing vorticity. That is a correctness concern, not a circularity: the desired eigenvalue condition does not coincide with an input assumption by construction. Likewise, Lemma 4.8 delegates part of the nodal-pattern proof to Hur [23]; this is an external proof, and borrowing a standard maximum-principle argument is not circular. Overall the derivation chain is a new application of established bifurcation techniques to a new transmission problem; no step reduces to its own conclusion.
Axiom & Free-Parameter Ledger
axioms (9)
- domain assumption Unidirectional flow assumption u<c throughout the fluid
- domain assumption Free surface is a graph y=η(x)
- domain assumption Deep-water decay (u,v)→(0,0) as y→-∞
- domain assumption Vorticity decay γ(s)=O(s^{-2-r}) as s→∞
- domain assumption Size condition -Γ_inf < g^{2/3}/4
- ad hoc to paper Hidden assumption Γ(p)≤-Γ_inf for all p∈(-∞,0]
- standard math Analytic global bifurcation theorem of Buffoni-Toland / Dai-Zhang
- standard math Whyburn's topological lemma
- standard math Ladyzhenskaya/Schauder estimates and Phragmén-Lindelöf maximum principle
read the original abstract
In this paper, we establish the existence of Stokes waves with piecewise smooth vorticity in a two-dimensional, infinitely deep fluid domain. These waves represent traveling water waves propagating over sheared currents in a semi-infinite cylinder, where the vorticity may exhibit discontinuities. The analysis is carried out by applying a hodograph transformation, which reformulates the original free boundary problem into an abstract elliptic boundary value problem. Compared to previously studied steady water waves, the present setting introduces several novel features: the presence of an internal interface, an unbounded spatial domain, and a non-Fredholm linearized operator. To address these difficulties, we introduce a height function formulation, casting the problem as a transmission problem with suitable transmission conditions. A singular bifurcation approach is then employed, combining global bifurcation theory with Whyburns topological lemma. Along the global bifurcation branch, we show that the resulting wave profiles either attain arbitrarily large wave speed or approach horizontal stagnation.
Forward citations
Cited by 2 Pith papers
-
On two-dimensional steady compactly supported Euler flows with constant vorticity
Existence, rigidity, and stability theorems are established for compactly supported steady Euler flows with constant vorticity in partially, two-phase, and fully overdetermined free-boundary problems.
-
On two-dimensional steady compactly supported Euler flows with constant vorticity
Annular equilibria of constant-vorticity Euler flows bifurcate into non-annular admissible domains at specific vorticity values, with rigidity and Neumann-stability results for three classes of free-boundary problems.
Reference graph
Works this paper leans on
-
[1]
Amick and J
C. Amick and J. Toland, On solitary water-waves of finite amplitude,Arch. Rational Mech. Anal.76 (1981), 9-95
1981
-
[2]
Agmon, A
S. Agmon, A. Douglis, L. Nirenberg, Estimates near the boundary for solutions of elliptic partial differential equa- tionssatisfying general boundary conditions I,Comm.Pure Appl. Math.12 (1959), 623-727
1959
-
[3]
Buffoni and J
B. Buffoni and J. Toland, Analytic Theory of Global Bifurcation: An Introduction, Princeton University Press, 2003
2003
-
[4]
Constantin, On the deep water wave motion,J
A. Constantin, On the deep water wave motion,J. Phys. A, 34 (2001), 1405-1417
2001
-
[5]
Constantin, Nonlinear water waves with applications to wave-current interactions and tsunamis, CBMS-NSF Conference Series in Applied Mathematics 81, SIAM, Philadelphia, 2011
A. Constantin, Nonlinear water waves with applications to wave-current interactions and tsunamis, CBMS-NSF Conference Series in Applied Mathematics 81, SIAM, Philadelphia, 2011
2011
-
[6]
Constantin, W
A. Constantin, W. Strauss, Exact steady periodic water waves with vorticity,Comm. Pure Appl. Math., 57 (2004), 481-527
2004
-
[7]
Constantin, W
A. Constantin, W. Strauss, Periodic traveling gravity water waves with discontinuous vorticity,Arch. Ration. Mech. Anal., 202 (2011), 133-175
2011
-
[8]
Constantin, W
A. Constantin, W. Strauss, E. V ˘arv˘aruc˘a, Global bifurcation of steady gravity water waves with critical layers,Acta Math., 217 (2016), 195-262
2016
-
[9]
Constantin, E
A. Constantin, E. V ˘arv˘aruc˘a, Steady periodic water waves with constant vorticity: regularity and local bifurcation, Arch. Ration. Mech. Anal., 199 (2011), 33-67
2011
-
[10]
C ´ordoba, D.A
A. C ´ordoba, D.A. C ´ordoba, F. Gancedo, Interface evolution: the HeleCShaw and Muskat problems,Ann. Math., 173(1) (2011), 477-542
2011
-
[11]
Cheng, R
C.H. Cheng, R. Granero-Belinch ´on, S. Shkoller, Well-posedness of the Muskat problem withH 2 initial data,Adv. Math., 286 (2016), 32-104
2016
-
[12]
G. Dai, T. Feng, Y. Zhang, The existence and geometric structure of periodic solutions to rotational electrohydro- dynamic waves problem,J. Geom. Anal., 35 (2025), 23pp
2025
-
[13]
Dai, F Li, Y Zhang, Bifurcation structure and stability of steady gravity water waves with constant vorticity,J
G. Dai, F Li, Y Zhang, Bifurcation structure and stability of steady gravity water waves with constant vorticity,J. Differential Equations, 332 (2022), 306-332
2022
-
[14]
G. Dai, F. Xu, Y. Zhang, The dynamics of periodic traveling interfacial electrohydrodynamic waves: bifurcation and secondary bifurcation,J. Nonlinear Sci., 34 (2024), 31pp
2024
-
[15]
G. Dai, Y. Zhang, Global bifurcation structure and some properties of steady periodic water waves with vorticity, J. Differential Equations, 349 (2023), 125-137
2023
-
[16]
E. N. Dancer, Bifurcation theory for analytic operators,Proc. London Math. Soc., 26 (1973), 359-384
1973
-
[17]
M. L. Dubreil-Jacotin, Sur la d ´etermination rigoureuse des ondes permanentes p´erodiques d’ampleur finie,J. Math. Pures Appl., 13 (1934), 217-291
1934
-
[18]
Escher, P
J. Escher, P . Laurenot, B.v. Matioc, Existence and stability of weak solutions for a degenerate parabolic system modelling two-phase flows in porous media,Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 28 (2011), 583-598
2011
-
[19]
Gilbarg, The Phragm ´en-Lindel¨of theorem for elliptic partial differential equations,J
D. Gilbarg, The Phragm ´en-Lindel¨of theorem for elliptic partial differential equations,J. Rational Mech. Anal., 1 (1952), 411-417
1952
-
[20]
Gilbarg and N
D. Gilbarg and N. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer, Berlin, 2001
2001
-
[21]
Haziot, Stratified large-amplitude steady periodic water waves with critical layers,Comm
S.V . Haziot, Stratified large-amplitude steady periodic water waves with critical layers,Comm. Math. Phys., 381 (2021), 765-797
2021
-
[22]
Henry, B.V
D. Henry, B.V . Matioc, On the existence of steady periodic capillary-gravity stratified water waves,Ann. Sc. Norm. Super. Pisa CI. Sci., 12 (2013), 955-974
2013
-
[23]
V . M. Hur, Global bifurcation of deep-water waves with vorticity,SIAM J. Math. Anal., 37 (2006), 1482-1521
2006
-
[24]
V . M. Hur, Stokes waves with vorticity,J. Anal. Math., 113 (2011), 331-386
2011
-
[25]
Kato, Perturbation Theory for Linear Operators, Springer-Verlag, New York, 1967
T. Kato, Perturbation Theory for Linear Operators, Springer-Verlag, New York, 1967
1967
-
[26]
Kielh ¨ofer, Bifurcation theory
H. Kielh ¨ofer, Bifurcation theory. An introduction with applications to partial differential equations. Second edition. Applied Mathematical Sciences, Springer, New York, 2012
2012
-
[27]
N. V . Krylov, Lectures on Elliptic and Parablolic Equationsin H ¨older Spaces, Amer. Math. Soc., Providence, RI, 1996. 28
1996
-
[28]
Ladyzhenskaya, N.N
O.A. Ladyzhenskaya, N.N. Ural’tseva, Linear and quasilinear elliptic equations. Translated from the Russian by Scripta Technica, Inc. Translation editor: Leon Ehrenpreis. Academic Press, New York-London, 1968. xviii+495 pp
1968
-
[29]
A. V . Matioc, Steady internal water waves with a critical layer bounded by the wave surface,J. Nonlinear Math. Phys., 19 (2012), 21 pp
2012
-
[30]
A. V . Matioc, B. V . Matioc, A new reformulation of the Muskat problem with surface tension,J. Differential Equations, 350 (2023), 308-335
2023
-
[31]
C. I. Martin, B. V . Matioc, Existence of capillary-gravity water waves with piecewise constant vorticity,J. Differential Equations, 256 (2014), 3086-3114
2014
-
[32]
P . H. Rabinowitz, Some global results for nonlinear eigenvalue problems,J. Funct. Anal., 7 (1971), 487-513
1971
-
[33]
Sinambela, Large-amplitude solitary waves in two-layer density stratified water,SIAM J
D. Sinambela, Large-amplitude solitary waves in two-layer density stratified water,SIAM J. Math. Anal., 53 (2021), 4812-4864
2021
-
[34]
Varholm, Global bifurcation of waves with multiple critical layers,SIAM J
K. Varholm, Global bifurcation of waves with multiple critical layers,SIAM J. Math. Anal., 52 (2020), 5066-5089
2020
-
[35]
V ˘arv˘aruc˘a, On some properties of travelling water waves with vorticity,SIAM J
E. V ˘arv˘aruc˘a, On some properties of travelling water waves with vorticity,SIAM J. Math. Anal., 39 (5) (2008) 1686- 1692
2008
-
[36]
Wahl ´en, Steady periodic capillary waves with vorticity,Ark
E. Wahl ´en, Steady periodic capillary waves with vorticity,Ark. Mat., 44 (2006), 367-387
2006
-
[37]
Wahl ´en, Steady periodic capillary-gravity waves with vorticity,SIAM J
E. Wahl ´en, Steady periodic capillary-gravity waves with vorticity,SIAM J. Math. Anal., 38 (2006), 921-943
2006
-
[38]
Wahl ´en, Steady water waves with a critical layer,J
E. Wahl ´en, Steady water waves with a critical layer,J. Differential Equations, 246 (2009), 2468-2483
2009
-
[39]
Wahl ´en, J
E. Wahl ´en, J. Weber, Global bifurcation of capillary-gravity water waves with overhanging profiles and arbitrary vorticity,Int. Math. Res. Not., (2023), 17377-17410
2023
-
[40]
Wahl ´en, J
E. Wahl ´en, J. Weber, Large-amplitude steady gravity water waves with general vorticity and critical layers,Duke Math. J., 173 (2024), 2197-2258
2024
-
[41]
Walsh, Stratified steady periodic water waves,SIAM J
S. Walsh, Stratified steady periodic water waves,SIAM J. Math. Anal., 41 (2009), 1054-1105
2009
-
[42]
Walsh, Steady stratified periodic gravity waves with surface tension I: local bifurcation,Discrete Contin
S. Walsh, Steady stratified periodic gravity waves with surface tension I: local bifurcation,Discrete Contin. Dyn. Syst. Ser. A., 34 (2014), 3241-3285
2014
-
[43]
Walsh, Steady stratified periodicgravity waveswith surfacetension II: global bifurcation,Discrete Contin
S. Walsh, Steady stratified periodicgravity waveswith surfacetension II: global bifurcation,Discrete Contin. Dyn. Syst. Ser. A., 34 (2014), 3287-3315
2014
-
[44]
J. Wang, F. Xu, Y. Zhang, The existence of stratified linearly steady two-mode water waves with stagnation points, J. Math. Fluid Mech., 27 (2025), 21 pp. CHANGFENGGUI, DEPARTMENT OFMATHEMATICS, FACULTY OFSCIENCE ANDTECHNOLOGY, UNIVERSITY OF MACAU, TAIPA, MACAU, CHINA. Email address:changfenggui@um.edu.mo JUNWANG, SCHOOL OFMATHEMATICALSCIENCES, JIANGSUUNI...
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.