Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Global Bifurcation and the Constructive Existence of Overhanging Periodic Steady Water Waves

T0 review · 2 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read The paper claims a constructive proof that a constant-vorticity periodic water wave branch from flat state transitions to overhanging profiles and terminates by self-intersection at the trough line.

desk verdict Main theorems are unproven because Lemma 4.2's cancellation is false—not for the reason the reader gave; the paper is a serious but currently invalid CAP contribution. read the letter →

arxiv 2607.13567 v1 pith:BPW4RLH3 submitted 2026-07-15 math.AP

Matthieu Cadiot , Susanna Haziot This is my paper · ORCID
classification math.AP MSC 35B3235Q3576B15
keywords overhangingwaterwavesglobalbifurcationconstantvorticitycomputer-assistedproofNewton-Kantorovichconformalmappingperiodicgravityself-intersection
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 aims to prove that overhanging periodic gravity water waves with constant vorticity exist as exact solutions reachable by continuing a branch from flat water at fixed macroscopic parameters (gravity 1, depth 2, vorticity -5). It develops a conformal mapping formulation that allows multi-valued surface heights, reducing the problem to a zero-finding equation on Fourier coefficients, and uses a computer-assisted Newton-Kantorovich argument to rigorously enclose the entire branch. The main payoff is the first rigorous proof that a finite-depth global branch from flat water turns over and that its topological termination is a self-intersection across the trough line. The central qualitative claim is that a strictly monotone wave cannot cross the crest axis, so only trough-line self-intersection needs to be monitored.

What carries the argument

The central object is a conformal map X+iY=ξ(x,y)+iη(x,y) from a rectangle onto the fluid domain, turning the free-boundary problem into a system of harmonic functions with nonlinear boundary conditions. Fourier reduction with the Dirichlet-to-Neumann multiplier ω_n=|n|coth(|n|h) reduces the problem to a one-dimensional zero-finding equation F(U)=0 on even Fourier sequences. The global existence proof uses a uniform Newton-Kantorovich theorem with an approximate inverse split into a finite-dimensional Galerkin block and an analytic high-frequency tail. A desingularized scaling handles the pitchfork bifurcation, and Chebyshev interpolation in m provides uniform bounds. Geometric classificatio

What would settle it

Check the sign in the crest-axis lemma: at a boundary minimum of ξ on y=0, the outward normal is -∂_y, so Hopf gives -ξ_y<0, i.e. ξ_y>0, and by Cauchy-Riemann η_x<0, which is consistent with strict monotonicity rather than contradicting it. Computationally, rerun the interval-arithmetic geometric verification for m∈[-0.9,-0.85] while monitoring min_x ξ(x,0) on (0,π): if it reaches zero before the branch enters the claimed self-intersection interval, crest-axis crossing is the actual termination mechanism.

Watch

Extended reading notes

Core claim

The central claim is the constructive existence of a C-infinity branch of exact 2π-periodic gravity water waves with constant vorticity γ=-5, depth h=2, and gravity g=1, parameterized by mass flux m∈[-1,m], with m≈-0.061. The branch bifurcates from flat water, consists of graphs near the bifurcation point, becomes strictly overhanging below a first critical flux in [-0.698,-0.6707], and loses physical injectivity below a second critical flux in [-0.8884,-0.8781], where the profile self-intersects across the trough line. This partially resolves the Constantin-Strauss-Varvaruca conjecture on branch termination and provides the first rigorous overhanging periodic waves reached from flat water a

Load-bearing premise

Everything downstream depends on the claim that a strictly monotone wave cannot cross the crest axis, i.e. ξ(x,0)>0 on (0,π); as written, the proof of that lemma applies the Hopf boundary lemma with the wrong normal direction at the free surface, so the lemma is not established in the text, and if it fails the branch could lose physical validity by a crest-axis crossing before the claimed trough-line self-intersection.

Editorial extensions

If this is right

  • Exact, smooth, stagnation-free overhanging periodic waves exist at fixed order-one physical parameters with constant vorticity, not only in perturbative small-gravity regimes.
  • In this parameter regime the global branch terminates by self-intersection on the trough line, so the limiting behavior is a touching-type degeneration rather than a Stokes corner.
  • The branch is infinitely differentiable in the mass-flux parameter m across the whole continuation, including the transition from graphs to overhangs.
  • The framework yields explicit rigorous enclosures of the solutions and of the critical fluxes marking the onset of overhanging and of self-intersection.
  • For flux values below the second critical value the mathematical branch continues to exist but no longer describes a physically valid single-valued wave.

Reading between the lines

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

  • Editorial inference: if the crest-axis injectivity lemma is repaired or replaced, the same continuation strategy could map, across vorticity and depth parameters, which regimes end in overhanging-touching waves versus waves of greatest height.
  • Editorial inference: the proof certifies physical validity only against trough-line self-intersection; a cheap testable extension would add a rigorous lower bound on ξ(x,0) throughout the continuation, which the existing interval-arithmetic machinery could do.
  • Editorial inference: the conformal Fourier formulation with rigorous continuation may transfer to solitary or internal overhanging waves, where domain-flattening methods fail at the overhang.
  • Editorial inference: because the validated branch is smooth in m, its rigorous Fourier coefficients could support computer-assisted stability or spectral computations for these overhanging profiles.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper develops a conformal Fourier formulation for steady two-dimensional periodic gravity water waves with constant vorticity, allowing multi-valued surface heights. It combines qualitative maximum-principle and Hopf-boundary-lemma arguments with a computer-assisted Newton–Kantorovich continuation framework. The main theorems claim: (i) existence of a unique overhanging 'Omega-shaped' exact wave at m=-0.85, and (ii) a smooth global branch from the flat state at m≈-0.061 down to m=-1 that transitions from graphs to overhanging waves and terminates by self-intersection at the trough line. The computer-assisted part uses explicit truncations K0=200, K1=402 and reports rigorous bounds Y, Z1, Z2 (Table 1), with the stated goal of partially resolving the Constantin–Strauss–Varvaruca conjecture.

Significance. If the result were correct, it would be a significant advance: the first rigorous construction of overhanging periodic gravity water waves along a finite-depth global bifurcation branch from flat water at fixed O(1) parameters, with a concrete termination mechanism. The paper's strengths include a clear functional-analytic setup, explicit and reproducible computational artifacts (code available at [10]), and the use of standard Newton–Kantorovich machinery with stated constants. Unfortunately, a central analytic estimate in the computer-assisted framework is false, so the main existence and continuation theorems are not established as written.

major comments (2)
  1. [Lemma 4.2 (Section 4.3)] Lemma 4.2 is false. In the proof, after the finite-depth discrepancy is collected into Sigma_res, the term Sigma_int is declared to vanish using the identity |k|-|n|=|k-n|. The threshold K1>=2K0 only gives sgn(k)=sgn(n), which yields |k|-|n|=sgn(n)(k-n), not |k-n|. For k=n-delta with 0<delta<=K0, |k|-|n|=-delta while |k-n|=delta. Concretely, take a with a_{-1}=1 and u with u_n=1 for n>K1. The (n-1)-coefficient of (C[a]pi_{>K1}-M_Da pi_{>K1})u is omega_{n-1}-omega_n-omega_{-1}-D_{-1}, which tends to -2, not O(e^{-2hK0}). Thus the high-frequency residual contains O(1) terms for every large n, contradicting the exponential bound claimed in the lemma.
  2. [Lemmas 4.6, 6.3; Table 1; Theorems 8.1, 8.3, 8.4] The false bound in Lemma 4.2 is load-bearing for the entire computer-assisted argument. Lemma 4.6 uses Lemma 4.2 to control the commutator contribution to Z_infty, and Lemmas 5.2 and 6.3 are the continuation versions of the same estimate. Consequently, the reported Z_1 values in Theorem 8.1 and Table 1 (e.g., Z_1=5.78e-3 on [-0.2,-0.1]) are not justified. The contraction inequalities (4.4) and (6.2) have therefore not been verified, and Theorems 8.1, 8.3, and 8.4 do not follow from the numerical data. This is not a matter of tightening constants: the missing terms are O(1), not O(e^{-2hK0}).
minor comments (3)
  1. [Lemma 2.2 (Section 2.2)] The stress-test concern about the Hopf sign in this lemma does not land. At the top boundary y=0 the outward normal for the domain -h<y<0 is +partial_y. Hopf gives xi_y<0, and the Cauchy-Riemann relation xi_y=-eta_x then gives eta_x>0, exactly the contradiction stated in the paper.
  2. [Abstract and Section 1.3] The abstract says the analysis 'resolves the conjecture' of [17], while Section 1 says 'partially resolving.' Since the theorem concerns one specific branch in one parameter regime, the weaker wording is more accurate and should be used consistently.
  3. [Lemma 2.3 and Corollary 2.4] The admissible set is defined as an open set in the C^2 topology, but the continuation framework works in the H^1-type space X (weighted l^1 controlling one derivative). The paper should justify that the constructed branch is continuous in a topology compatible with Lemma 2.3, or give a separate openness argument adapted to the spaces actually used.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: CAP existence proofs are self-contained, and self-citations are background/methodology only.

full rationale

The paper's central derivation is not circular. The physical problem (1.4) is reduced to a Fourier zero-finding problem F(Q,a)=0 in (3.10), and existence is then proved by a Newton--Kantorovich theorem (Theorem 4.1) with explicit bounds Y, Z1, Z2(r). These bounds are evaluated by rigorous interval arithmetic, not by assuming the desired solution. The numerical candidate U is an approximate solution whose residual is bounded, and the contraction mapping argument guarantees a nearby exact zero; this is a standard, non-circular computer-assisted proof. The global branch is constructed by Chebyshev continuation and validated segment-by-segment with uniform contraction bounds (Theorem 6.1), with continuity across subintervals verified by overlapping uniqueness neighborhoods. The geometric conclusions---graph, overhang, and self-intersection---are outputs of rigorous interval evaluations on the validated enclosure, not inputs that define the solution branch. Self-citations to [9] and [10] concern a continuation methodology and the accompanying software implementation, not an imported theorem that carries the main result; the cited bifurcation framework [17,18] is by other authors. Concerns about Lemma 4.2 or Lemma 2.2 are correctness objections: if those estimates were false, the CAP bounds would fail, but the argument would still not be circular in the sense of assuming the conclusion. No prediction is fitted and no uniqueness theorem is imported from the authors' own prior work. Hence the circularity score is 0.

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

The central claim rests on standard PDE/bifurcation theorems, a conformal-mapping formulation, and the reliability of interval-arithmetic software. No new physical forces, particles, dimensions, or conserved quantities are introduced. The only hand-chosen numerical quantities are proof parameters K0 and K1 and the fixed physical regime.

free parameters (2)
  • Physical regime (g, γ, h, m range) = g=1, γ=-5, h=2, m∈[-1, m≈-0.061]
    These are fixed macroscopic parameters chosen by hand to display the overhanging phenomenon; they are not fitted to data and are part of the theorem statement.
  • Proof truncation parameters = K0=200, K1=402 (K1=2K0+2)
    Computational parameters chosen to satisfy K1≥2K0 and to make the interval-arithmetic bounds close. They do not affect the physics but are part of the computer-assisted proof configuration.
assumptions (7)
  • standard math Hopf boundary lemma and Serrin edge-point lemma, as invoked in Section 2
    Used in Theorem 2.1 and Lemma 2.2 to establish strict monotonicity and crest-axis injectivity.
  • standard math Crandall-Rabinowitz local bifurcation theorem for the pitchfork bifurcation from the flat state
    Used in Section 5 to construct the local branch from the trivial flat-water branch.
  • standard math Banach fixed point theorem / Newton-Kantorovich theorem and uniform contraction theorem
    Theorems 4.1, 5.1, and 6.1 are the functional-analytic backbone of the computer-assisted existence and continuation proofs.
  • domain assumption Conformal mapping formulation of the steady Euler equations with constant vorticity
    Section 1.1 reduces the fluid problem to the elliptic boundary value problem (1.4); this assumes the conformal map exists and is injective on the fluid domain.
  • domain assumption Correctness of IntervalArithmetic.jl and RadiiPolynomial.jl, and of the numerical code in [10]
    The CAP certificates rely on interval arithmetic and the cited packages; no machine-checked proof certificate is provided.
  • ad hoc to paper Tail separation condition K1 ≥ 2K0
    Lemmas 4.2, 4.5, and B.3 require the spectral buffer K1≥2K0; the paper chooses K0=200 and K1=402 to satisfy it.
  • domain assumption Conditions (1.6) and (1.7) characterize physical injectivity and non-stagnation
    The paper treats these strict inequalities as the definition of the admissible physical wave set; global injectivity is reduced to tracking these bounds.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global Bifurcation and the Constructive Existence of Overhanging Periodic Steady Water Waves." pith.science (2026). https://pith.science/paper/BPW4RLH3

@misc{pith2026260713567,
  author       = {Pith},
  title        = {Pith review of: Global Bifurcation and the Constructive Existence of Overhanging Periodic Steady Water Waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BPW4RLH3}},
  note         = {Machine review of arXiv:2607.13567}
}
abstract

We provide a constructive existence proof for overhanging periodic gravity water waves with constant vorticity. By introducing a conformal mapping formulation, we parameterize the fluid domain to accommodate multi-valued surface heights, bypassing coordinate singularities that arise in traditional domain-flattening frameworks. We operate at fixed, macroscopic physical parameters and employ a global bifurcation framework, supplemented by a computer-assisted proof based on the Newton-Kantorovich theorem, to constructively prove the existence of the branch of exact solutions. Crucially, this allows us to provide the first rigorous existence proof of overhanging periodic gravity water waves obtained along a finite-depth global bifurcation branch from the flat state at fixed $O(1)$ physical parameters. Moreover, our analysis confirms the existence of a global solution branch that transitions to overhanging profiles and resolves the conjecture of Constantin, Strauss, and Varvaruca regarding the topological termination of this branch via physical self-intersection at the trough line.

Figures

Figures reproduced from arXiv: 2607.13567 by the authors.

Figure 1
Figure 1. Visualization (on two periods) of the Ω-shaped wave proven in The￾orem 1.1 While isolating a single extreme wave is of significant physical interest, our analytical frame￾work allows us to extend this result into a global continuation argument. Our second main result constructively proves the existence of a continuous global branch of exact steady waves in H1, parameterized by the mass flux m. Crucially, we rigorous… view at source ↗
Figure 2
Figure 2. A detailed presentation of the result is exposed in Section 8. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 2
Figure 2. Visualization (on three periods) of the global branch of periodic water waves proven in Theorem 1.2. 1.4. Past work [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗

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

  1. The energy of fractional Allen--Cahn layers in dimension one

    math.AP 2026-08 conditional novelty 7.0 of 10

    The energy of the one-dimensional fractional Allen-Cahn layer is continuous and strictly decreasing in the fractional exponent s, with an explicit pole at s=1/2 and an explicit linear expansion at s=1.

Reference graph

Works this paper leans on

61 extracted references · cited by 1 Pith paper

  1. [10]

    M. Cadiot. Overhangingwaterwaves.jl, 2026.https://github.com/matthieucadiot/ OverhangingWaterWaves.jl

    2026

  2. [1]

    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(2162):20130526, 2014

    2014

  3. [2]

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

    1982

  4. [3]

    Arioli, H

    G. Arioli, H. Koch, and S. Terracini. Two novel methods and multi-mode periodic solutions for the Fermi- Pasta-Ulam model.Commun. Math. Phys., 255(1):1–19, 2005

    2005

  5. [4]

    Benet and D

    L. Benet and D. Sanders. Intervalarithmetic.jl. 2022.https://github.com/JuliaIntervals/ IntervalArithmetic.jl

    2022

  6. [5]

    Bezanson, A

    J. Bezanson, A. Edelman, S. Karpinski, and V. B. Shah. Julia: A fresh approach to numerical computing. SIAM Review, 59(1):65–98, 2017

    2017

  7. [6]

    M. Breden. A posteriori validation of generalized polynomial chaos expansions.SIAM Journal on Applied Dynamical Systems, 22(2):765–801, 2023

    2023

  8. [7]

    Breden, J.-P

    M. Breden, J.-P. Lessard, and M. Vanicat. Global bifurcation diagrams of steady states of systems of pdes via rigorous numerics: a 3-component reaction-diffusion system.Acta Applicandae Mathematicae, 128, 12 2013

    2013

Show all 61 references
  1. [8]

    Buckmaster, G

    T. Buckmaster, G. Cao-Labora, and J. G´ omez-Serrano. Smooth imploding solutions for 3D compressible fluids.Forum Math. Pi, 13:Paper No. e6, 139, 2025

    2025

  2. [9]

    M. Cadiot. Constructive proofs of existence and stability of solitary waves in the Whitham and capil- lary–gravity Whitham equations.Nonlinearity, 38(3):035021, 2025

    2025

  3. [11]

    Calleja, C

    R. Calleja, C. Garcia-Azpeitia, O. Henot, J.-P. Lessar, and J. D. Mireles James. From the lagrange triangle to the figure eight choreography: Proof of marchal’s conjecture.arXiv:2406.17564, 2024

    2024

  4. [12]

    Castro, D

    A. Castro, D. C´ ordoba, C. Fefferman, F. Gancedo, and J. G´ omez-Serrano. Structural stability for the splash singularities of the water waves problem.Discrete Contin. Dyn. Syst., 34(12):4997–5043, 2014

    2014

  5. [13]

    Castro, D

    A. Castro, D. C´ ordoba, C. L. Fefferman, F. Gancedo, and J. G´ omez-Serrano. Splash singularity for water waves.Proc. Natl. Acad. Sci. USA, 109(3):733–738, 2012

    2012

  6. [14]

    Chen and T

    J. Chen and T. Y. Hou. Singularity formation in 3D Euler equations with smooth initial data and boundary. Proc. Natl. Acad. Sci. USA, 122(27):Paper No. e2500940122, 10, 2025. 64 MATTHIEU CADIOT AND SUSANNA V. HAZIOT

    2025

  7. [15]

    R. M. Chen, K. Varholm, S. Walsh, and M. H. Wheeler. Vortex-carrying solitary gravity waves of large amplitude.Communications in Mathematical Physics, 406(1):149, 2025

    2025

  8. [16]

    R. M. Chen, S. Walsh, and M. H. Wheeler. Extreme internal waves: gravity currents and overturning fronts, 2025

    2025

  9. [17]

    Constantin, W

    A. Constantin, W. Strauss, and E. Vuarvuarucua. Global bifurcation of steady gravity water waves with critical layers.Acta Math., 217(2):195–262, 2016

    2016

  10. [18]

    Constantin and E

    A. Constantin and E. Varvaruca. Steady periodic water waves with constant vorticity: regularity and local bifurcation.Arch. Ration. Mech. Anal., 199(1):33–67, 2011

    2011

  11. [19]

    C´ ordoba, A

    D. C´ ordoba, A. Enciso, and N. Grubi´ c. On the existence of stationary splash singularities for the Euler equations.Advances in Mathematics, 288:922–941, 2016

    2016

  12. [20]

    D´ avila, M

    J. D´ avila, M. del Pino, M. Musso, and M. H. Wheeler. Overhanging solitary water waves.Inventiones Mathematicae, 244(2):643, 2026

    2026

  13. [21]

    Day, J.-P

    S. Day, J.-P. Lessard, and K. Mischaikow. Validated continuation for equilibria of pdes.SIAM Journal on Numerical Analysis, 45(4):1398–1424, 2007

    2007

  14. [22]

    Day, J.-P

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

    2007

  15. [23]

    F. G. J. D. de Carvalho. Gravity water waves over constant vorticity flows: From laminar flows to touching waves. Master’s thesis, Lund University, 2023

    2023

  16. [24]

    Dias and J.-M

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

    2003

  17. [25]

    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

  18. [26]

    Ehlich and K

    H. Ehlich and K. Zeller. Auswertung der Normen von Interpolationsoperatoren.Math. Ann., 164:105–112, 1966

    1966

  19. [27]

    G´ omez-Serrano

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

    2019

  20. [28]

    G´ omez-Serrano and R

    J. G´ omez-Serrano and R. Granero-Belinch´ on. On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof.Nonlinearity, 27(6):1471–1498, 2014

    2014

  21. [29]

    Guan, J.-M

    X. Guan, J.-M. Vanden-Broeck, Z. Wang, and F. Dias. A local model for the limiting configuration of interfacial solitary waves.Journal of Fluid Mechanics, 921:A9, 2021

    2021

  22. [30]

    S. V. Haziot. Stratified large-amplitude steady periodic water waves with critical layers.Communications in Mathematical Physics, 381(2):765–797, 2021

    2021

  23. [31]

    S. V. Haziot and M. H. Wheeler. Large amplitude steady solitary waves with constant vorticity.Archive for Rational Mechanics and Analysis, 247(2):27, 2023

    2023

  24. [32]

    J. Y. Holyer. Large amplitude progressive interfacial waves.Journal of Fluid Mechanics, 93(3):433–448, 1979

    1979

  25. [33]

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

    2020

  26. [34]

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

    2022

  27. [35]

    O. H´ enot. Radiipolynomial.jl. 2022.https://github.com/OlivierHnt/RadiiPolynomial.jl

    2022

  28. [36]

    H. Koch, A. Schenkel, and P. Wittwer. Computer-assisted proofs in analysis and programming in logic: a case study.SIAM Rev., 38(4):565–604, 1996

    1996

  29. [37]

    O. E. Lanford, III. A computer-assisted proof of the Feigenbaum conjectures.Bull. Amer. Math. Soc. (N.S.), 6(3):427–434, 1982

    1982

  30. [38]

    D. V. Maklakov. A note on the existence of pure gravity waves at the interface of two fluids.Physica D: Nonlinear Phenomena, 401:132157, 2020

    2020

  31. [39]

    D. V. Maklakov and R. R. Sharipov. Almost limiting configurations of steady interfacial overhanging gravity waves.Journal of Fluid Mechanics, 856:673–708, 2018

    2018

  32. [40]

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

    1983

  33. [41]

    Mischaikow and M

    K. Mischaikow and M. Mrozek. Chaos in the Lorenz equations: a computer-assisted proof.Bull. Amer. Math. Soc. (N.S.), 32(1):66–72, 1995

    1995

  34. [42]

    R. E. Moore.Interval analysis.Prentice-Hall, Inc., Englewood Cliffs, N.J.,, 1966. GLOBAL BIFURCATION AND THE CONSTRUCTIVE EXISTENCE OF OVERHANGING PERIODIC STEADY W ATER W A VES 65

    1966

  35. [43]

    M. T. Nakao. Numerical verification methods for solutions of ordinary and partial differential equations. vol- ume 22, pages 321–356. 2001. International Workshops on Numerical Methods and Verification of Solutions, and on Numerical Function Analysis (Ehime/Shimane, 1999)

    2001

  36. [44]

    M. T. Nakao, M. Plum, and Y. Watanabe.Numerical verification methods and computer-assisted proofs for partial differential equations. Springer, 2019

    2019

  37. [45]

    M. T. Nakao, M. Plum, and Y. Watanabe.Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, volume 53 ofSpringer Series in Computational Mathematics. Springer Singapore, 2019

    2019

  38. [46]

    P. I. Plotnikov. Justification of the Stokes conjecture in the theory of surface waves.Dinamika Sploshnoi Sredy, 57:41–76, 1982

    1982

  39. [47]

    P. I. Plotnikov. Proof of the Stokes conjecture in the theory of surface waves.Doklady Akademii Nauk SSSR, 269(1):80–83, 1983

    1983

  40. [48]

    D. I. Pullin and R. H. J. Grimshaw. Finite-amplitude solitary waves at the interface between two homogeneous fluids.Physics of Fluids, 31(12):3550–3559, 1988

    1988

  41. [49]

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

    1985

  42. [50]

    E. R. Spielvogel. A variational principle for waves of infinite depth.Archive for Rational Mechanics and Analysis, 39(3):189–205, 1970

    1970

  43. [51]

    G. G. Stokes. On the theory of oscillatory waves.Transactions of the Cambridge Philosophical Society, 8:441– 473, 1847

  44. [52]

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

    1988

  45. [53]

    J. F. Toland. On the existence of a wave of greatest height and Stokes’s conjecture.Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 363(1715):469–485, 1978

    1978

  46. [54]

    W. Tucker. The Lorenz attractor exists.C. R. Acad. Sci. Paris S´ er. I Math., 328(12):1197–1202, 1999

    1999

  47. [55]

    W. Tucker. A rigorous ODE solver and Smale’s 14th problem.Found. Comput. Math., 2(1):53–117, 2002

    2002

  48. [56]

    R. E. L. Turner and J.-M. Vanden-Broeck. Broadening of interfacial solitary waves.Physics of Fluids, 31(9):2486–2490, 1988

    1988

  49. [57]

    J. B. van den Berg, M. Breden, J.-P. Lessard, and M. Murray. Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted proof.Journal of Differential Equations, 264(5):3086–3130, 2018

    2018

  50. [58]

    J. B. van den Berg and J. Jaquette. A proof of Wright’s conjecture.J. Differential Equations, 264(12):7412– 7462, 2018

    2018

  51. [59]

    J. B. van den Berg and J.-P. Lessard. Rigorous numerics in dynamics.Notices Amer. Math. Soc., 62(9):1057– 1061, 2015

    2015

  52. [60]

    Weber and E

    J. Weber and E. Wahl´ en. Large-amplitude steady gravity water waves with general vorticity and critical layers.Duke Mathematical Journal, 173(11):2197–2258, 2024

    2024

  53. [61]

    Wilczak and P

    D. Wilczak and P. Zgliczy´ nski. A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line.J. Differential Equations, 269(10):8509–8548, 2020. CMAP, CNRS, Ecole polytechnique, Institut Polytechnique de Paris, 91120 Palais...

    2020

Pith tools

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