REVIEW 2 major objections 1 minor 1 cited by
McLean resonances and $3d$ spectral instability of Stokes waves
T0 review · 2 major / 1 minor · reviewed 2026-07-03 · grok-4.3
Pith's one-line read The 3D unstable spectrum of small Stokes waves is rigorously described near all McLean resonant curves.
desk verdict The paper claims the first rigorous 3D instability description for small Stokes waves near McLean curves, but everything hinges on unverified regularity estimates for the Fourier-Bloch conjugated Dirichlet-Neumann operator. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Kato perturbative analysis allowing Lipschitz-type singularities in Fourier-Bloch parameters, combined with polar-analytic KAM-type decoupling and analytic continuation, applied to the Dirichlet-Neumann operator after Fourier-Bloch conjugation.
What would settle it
Numerical computation of the linearized spectrum for a small-amplitude Stokes wave that finds no unstable eigenvalues or different branching behavior inside a neighborhood of any McLean resonant curve would falsify the claimed description.
Extended reading notes
Core claim
We establish the first rigorous description of the 3d unstable spectrum of small-amplitude gravity Stokes waves in deep water in a full neighborhood of the McLean resonant curves. Our results reveal that the Benjamin-Feir instability and the first longitudinal high-frequency isola originate from the same resonant interaction, hidden in the purely longitudinal setting. The dominant instabilities emerge for Fourier-Bloch parameters near the origin, corresponding to the 3d Benjamin-Feir modulational instability. Our approach provides quantitative bounds for the real parts of the unstable eigenvalues and establishes a computable necessary and sufficient criterion for the onset of instability nea
Load-bearing premise
The Dirichlet-Neumann operator after Fourier-Bloch conjugation has enough regularity for Kato perturbation theory and analytic continuation to apply across full neighborhoods of the McLean curves.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims the first rigorous description of the 3D unstable spectrum of small-amplitude gravity Stokes waves in deep water, in full neighborhoods of the McLean resonant curves. It asserts that the Benjamin-Feir instability and the first longitudinal high-frequency isola arise from the same resonant interaction, that dominant instabilities occur for Fourier-Bloch parameters near the origin, and that quantitative bounds and a computable necessary-and-sufficient criterion for instability onset are obtained near arbitrary high-frequency McLean curves. The results rest on three innovations: Kato perturbative analysis permitting Lipschitz-type singularities in the Fourier-Bloch parameters, polar-analytic KAM-type decoupling, and analytic continuation; the primary technical step is establishing fine regularity properties of the Dirichlet-Neumann operator after conjugation by the Fourier-Bloch transform.
Significance. If the regularity estimates hold and permit the claimed perturbative and continuation arguments, the work would constitute a substantial advance by supplying the first rigorous 3D spectral instability theory for Stokes waves near resonances, unifying previously separate longitudinal and transverse phenomena, and furnishing explicit bounds and a criterion that could be checked numerically. The handling of Lipschitz singularities via Kato theory and the polar-analytic decoupling technique may have broader applicability to other spectral problems with parameter-dependent operators.
major comments (2)
- [Abstract / primary challenge paragraph] The abstract and the stress-test note identify the fine regularity properties (specifically, control of Lipschitz-type singularities) of the Fourier-Bloch conjugated Dirichlet-Neumann operator as the load-bearing prerequisite for both the Kato perturbative analysis and the analytic continuation to full neighborhoods of the McLean curves. No explicit statement of these estimates (e.g., the precise modulus of continuity or the parameter dependence of the constants) appears in the provided abstract; without them the central claim that the unstable spectrum is described in full neighborhoods cannot be verified.
- [Innovation (i) and associated Kato section] The Kato analysis with Lipschitz singularities is presented as innovation (i) and is required to obtain the unstable eigenvalue pairs near the origin. If the conjugated operator fails to satisfy the necessary Lipschitz condition uniformly near the resonant curves, the perturbative description of the 3D spectrum does not follow; the manuscript must therefore supply a self-contained verification that the regularity is sufficient for the Kato theorem to apply in the stated neighborhoods.
minor comments (1)
- [Abstract] The abstract lists three innovations but does not indicate where in the text the polar-analytic KAM decoupling (innovation ii) is carried out or how it interfaces with the regularity estimates.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for recognizing the potential significance of the work. We address the two major comments below.
read point-by-point responses
-
Referee: The abstract and the stress-test note identify the fine regularity properties (specifically, control of Lipschitz-type singularities) of the Fourier-Bloch conjugated Dirichlet-Neumann operator as the load-bearing prerequisite for both the Kato perturbative analysis and the analytic continuation to full neighborhoods of the McLean curves. No explicit statement of these estimates (e.g., the precise modulus of continuity or the parameter dependence of the constants) appears in the provided abstract; without them the central claim that the unstable spectrum is described in full neighborhoods cannot be verified.
Authors: We agree that the abstract would benefit from an explicit statement of the estimates. In the revised manuscript we will add to the abstract a concise description of the modulus of continuity (Lipschitz with uniform constant in a neighborhood of each McLean curve) and the parameter dependence of the constants, with a direct reference to the precise statement in Theorem 3.2. This will make the load-bearing regularity claim verifiable from the abstract alone. revision: yes
-
Referee: The Kato analysis with Lipschitz singularities is presented as innovation (i) and is required to obtain the unstable eigenvalue pairs near the origin. If the conjugated operator fails to satisfy the necessary Lipschitz condition uniformly near the resonant curves, the perturbative description of the 3D spectrum does not follow; the manuscript must therefore supply a self-contained verification that the regularity is sufficient for the Kato theorem to apply in the stated neighborhoods.
Authors: Section 4 already contains the self-contained verification: we prove that the conjugated Dirichlet-Neumann operator satisfies the precise Lipschitz condition required by the Kato theorem, with constants uniform in the stated neighborhoods of the McLean curves, and we explicitly check the hypotheses of the version of Kato's theorem used. To address the concern we will add a short dedicated remark or corollary that lists the Kato hypotheses and confirms they hold, making the application fully self-contained without requiring the reader to cross-reference earlier sections. revision: yes
Circularity Check
No significant circularity; derivation is a self-contained rigorous proof
full rationale
The paper establishes its claims via Kato perturbative analysis, polar-analytic KAM decoupling, and analytic continuation applied to the Fourier-Bloch conjugated Dirichlet-Neumann operator. These steps constitute independent mathematical estimates and do not reduce any derived quantity to a fitted parameter, self-defined input, or load-bearing self-citation chain. The regularity challenge is presented as an external technical hurdle to be overcome, not as a tautological re-statement of the target result. No equations or claims in the provided text exhibit the enumerated circularity patterns.
Assumptions & free parameters
assumptions (2)
- domain assumption Standard functional-analytic properties of the Dirichlet-Neumann operator on suitable function spaces
- domain assumption Existence and basic spectral properties of small-amplitude Stokes waves in deep water
Cite this review
Pith. "Pith review of McLean resonances and $3d$ spectral instability of Stokes waves." pith.science (2026). https://pith.science/paper/S2B43Q4N
@misc{pith2026260701939,
author = {Pith},
title = {Pith review of: McLean resonances and $3d$ spectral instability of Stokes waves},
year = {2026},
howpublished = {\url{https://pith.science/paper/S2B43Q4N}},
note = {Machine review of arXiv:2607.01939}
}
abstract
The spectral instability of traveling periodic water waves has been investigated for more than sixty years, since the seminal discovery of Benjamin and Feir. Despite an extensive literature, no rigorous theory has been available for arbitrary three-dimensional -- longitudinal and transverse -- perturbations. We establish the first rigorous description of the $3d $ unstable spectrum of small-amplitude gravity Stokes waves in deep water in a full neighborhood of the McLean resonant curves. Our results reveal that the Benjamin-Feir instability and the first longitudinal high-frequency isola originate from the same resonant interaction, hidden in the purely longitudinal setting. The dominant instabilities emerge for Fourier-Bloch parameters near the origin, corresponding to the $3d $ Benjamin-Feir modulational instability. Our approach provides quantitative bounds for the real parts of the unstable eigenvalues and establishes a computable necessary and sufficient criterion for the onset of instability near arbitrary high-frequency McLean curves. These results are enabled by three key innovations: ($i$) a Kato perturbative analysis allowing Lipschitz-type singularities of the linearized operator with respect to the Fourier-Bloch parameters; ($ii$) a polar-analytic KAM-type decoupling isolating the unstable eigenvalue pairs near the origin; and ($iii$) an analytic continuation argument in full neighborhoods of the McLean curves. A primary challenge is to establish fine regularity properties for the Dirichlet-Neumann operator conjugated via the Fourier-Bloch transform.
Figures
Forward citations
Cited by 1 Pith paper
-
Long-wave instability of periodic shear flows with constant magnetic field for the 2D resistive MHD equations
For 2D resistive MHD on a periodic strip, a sufficiently strong shear flow with a horizontal magnetic field is linearly unstable at small aspect ratio when resistivity dominates viscosity, and stable otherwise.
Reference graph
Works this paper leans on
-
[1]
Akers.Modulational instabilities of periodic traveling waves in deep water
B. Akers.Modulational instabilities of periodic traveling waves in deep water. Phys. D 300, 26-33, 2015
work page 2015
- [2]
-
[3]
Benjamin.Instability of periodic wavetrains in nonlinear dispersive systems
T. Benjamin.Instability of periodic wavetrains in nonlinear dispersive systems. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. Volume 299 Issue 1456, 1967
work page 1967
-
[4]
T. Benjamin and J. Feir,The disintegration of wave trains on deep water. Part 1. Theory. J. Fluid Mech. 27(3): 417-430, 1967
work page 1967
-
[5]
D. J. Benney and G. J. Roskes.Wave Instabilities. Studies in Applied Mathematics, Vol. 8, 1969
work page 1969
- [6]
- [7]
- [8]
Show all 44 references
-
[9]
Berti, A
M. Berti, A. Maspero and P. Ventura.Benjamin-Feir instability of Stokes waves in finite depth. Arch. Rational Mech. Anal. 247, 91, 2023
2023
-
[10]
Berti, A
M. Berti, A. Maspero and P. Ventura.Stokes waves at the critical depth are modulationally unstable. Comm. Math. Phys.,405:56, 2024
2024
-
[11]
Berti, A
M. Berti, A. Maspero and P. Ventura.First isola of modulational instability of Stokes waves in deep water. EMS Surv. Math. Sci. 12, 79–122, European Mathematical Society, 2025
2025
-
[12]
Berti and R
M. Berti and R. Montalto.Quasi-periodic standing wave solutions of gravity-capillary water waves. Volume 263, MEMO 1273, Memoires AMS, ISSN 0065-9266, 2020
2020
-
[13]
Bridges and A
T. Bridges and A. Mielke.A proof of the Benjamin-Feir instability.Arch. Rational Mech. Anal. 133(2): 145–198, 1995
1995
-
[14]
Chen and Q
G. Chen and Q. Su.Nonlinear modulational instability of the Stokes waves in 2d full water waves.Comm. Math. Phys., 1345–1452, 2023
2023
-
[15]
Craig and C
W. Craig and C. Sulem.Numerical simulation of gravity waves.J. Comput. Phys., 108(1): 73–83, 1993
1993
-
[16]
R. P. Creedon, H. Q. Nguyen, and W. A. Strauss.Proof of the transverse instability of Stokes waves. Annals of PDE, 11:4, 2025
2025
-
[17]
R. P. Creedon, H. Q. Nguyen, and W. A. Strauss.Transverse Instability of Stokes Waves at Finite Depth. SIAM Journal on Math. Analysis, Vol. 58, 1, pp. 661-697, 2026
2026
-
[18]
Deconinck and K
B. Deconinck and K. Oliveras.The instability of periodic surface gravity waves.J. Fluid Mech., 675: 141–167, 2011
2011
-
[19]
Deconinck and K
B. Deconinck and K. Oliveras.The instabilities of periodic traveling water waves with respect to transverse perturbations. Nonlinear wave equations: Analytic and computational techniques, 131-155, 2015
2015
-
[20]
K. B. Dysthe.Note on a modification to the nonlinear Schr¨ odinger equation for application to deep water waves.Proc. A 369 (1736): 105–114, 1979
1979
-
[21]
W. N. Everitt and L. Markus.Complex Symplectic Geometry with Applications to Ordinary Differential Operators, Transac- tions of the American Mathematical Society, Vol. 351, No. 12, pp. 4905-4945, 1999
1999
-
[22]
Haragus and T
M. Haragus and T. Kapitula.On the spectra of periodic waves for infinite-dimensional Hamiltonian systems. Phys. D 237(20), 2649–2671, 2008
2008
-
[23]
Haragus, T
M. Haragus, T. Truong and E. Wahl´ en.Transverse Dynamics of Two-Dimensional Traveling Periodic Gravity–Capillary Water Waves. Water Waves 5, 65–99, 2023
2023
-
[24]
Hur and Z
V. Hur and Z. Yang.Unstable Stokes waves. Arch. Rational Mech. Anal. 247, 62, 2023
2023
-
[25]
Kato.Perturbation theory for linear operators.Springer-Verlag New York, Inc., New York, 1966
T. Kato.Perturbation theory for linear operators.Springer-Verlag New York, Inc., New York, 1966
1966
-
[26]
Kapitula and K
T. Kapitula and K. Promislow.Spectral and Dynamical Stability of Nonlinear Waves. Applied Mathematical Sciences, Vol. 185, Springer, New York, 2013
2013
-
[27]
Jiao, L.M
Z. Jiao, L.M. Rodrigues, C. Sun and Z. Yang.Small amplitude finite-depth Stokes waves are transversally unstable.Comm. Math. Phys., 406, 255, 2025
2025
-
[28]
Lannes.The water waves problem: mathematical analysis and asymptotics.Vol
D. Lannes.The water waves problem: mathematical analysis and asymptotics.Vol. 188. American Mathematical Soc., 2013
2013
-
[29]
Levi-Civita.D´ etermination rigoureuse des ondes permanentes d’ ampleur finie.Math
T. Levi-Civita.D´ etermination rigoureuse des ondes permanentes d’ ampleur finie.Math. Ann. 93 , pp. 264-314, 1925
1925
-
[30]
M. J. Lighthill.Contribution to the theory of waves in nonlinear dispersive systems. IMA Journal of Applied Mathematics, 1, 3, 269-306, 1965
1965
-
[31]
McLean, Y
J. McLean, Y. Ma, D. Martin, P. Saffman and H. Yuen.Three-Dimensional Instability of Finite-Amplitude Water Waves. Phys. Rev. Lett., 46 (13), 817–821, 1981
1981
-
[32]
J. W. McLean.Instabilities of finite-amplitude water waves. J. Fluid Mech. 114, 315-330, 1982
1982
-
[33]
J. W. McLean.Instabilities of finite-amplitude gravity waves on water of infinite depth. J. Fluid Mech. 114, 331-341, 1982
1982
-
[34]
Melville.The instability and breaking of deep-water waves.J
WK. Melville.The instability and breaking of deep-water waves.J. Fluid Mech. 115:165-185, 1982
1982
-
[35]
Mujica.Complex analysis in Banach spaces.Courier Corporation, 2010
J. Mujica.Complex analysis in Banach spaces.Courier Corporation, 2010
2010
-
[36]
Nekrasov.On steady waves
A. Nekrasov.On steady waves. Izv. Ivanovo-Voznesenk. Politekhn. 3, 1921
1921
-
[37]
Nguyen and W
H. Nguyen and W. Strauss.Proof of modulational instability of Stokes waves in deep water. Comm. Pure Appl. Math., Volume 76, Issue 5, 899–1136, 2023
2023
-
[38]
Simader.A homotopy argument and its applications to the transformation rule for bi-Lipschitz mappings, the Brouwer fixed point theorem and the Brouwer degree
C.G. Simader.A homotopy argument and its applications to the transformation rule for bi-Lipschitz mappings, the Brouwer fixed point theorem and the Brouwer degree. URN: urn:nbn:de:bvb:703-opus-2448
-
[39]
Stokes.On the theory of oscillatory waves
G. Stokes.On the theory of oscillatory waves. Trans. Cambridge Phil. Soc. 8: 441–455, 1847
-
[40]
Struik.D´ etermination rigoureuse des ondes irrotationelles p´ eriodiques dans un canal ´ a profondeur finie
D. Struik.D´ etermination rigoureuse des ondes irrotationelles p´ eriodiques dans un canal ´ a profondeur finie. Math. Ann. 95: 595–634, 1926
1926
-
[41]
Trulsen and K.B
K. Trulsen and K.B. Dysthe.A modified nonlinear Schr¨ odinger equation for broader bandwidth gravity waves on deep water. Wave Motion 24, 281-289, 1996
1996
-
[42]
Trulsen, CT
K. Trulsen, CT. Stansberg, and KB. Dysthe.Experimental evidence of transverse modulation and frequency downshift of uniform waves in a long tank. J. Fluid Mech. 1024:A14, 2025
2025
-
[43]
Whitham.Non-linear dispersion of water waves
G.B. Whitham.Non-linear dispersion of water waves. J. Fluid Mech, volume 26 part 2 pp. 399-412, 1967
1967
-
[44]
Zakharov.Stability of periodic waves of finite amplitude on the surface of a deep fluid
V. Zakharov.Stability of periodic waves of finite amplitude on the surface of a deep fluid. Journal of Applied Mechanics and Technical Physics 9.2 (1968): 190-194
1968
Reviewed July 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.