Abstract:In 1880, Stokes examined an incompressible irrotational periodic traveling water wave under the influence of gravity and conjectured the existence of an extreme wave with a corner of $120^{\circ}$ at the crest. The first rigorous proof of the conjecture was given by Amick, Fraenkel and Toland, as well as by Plotnikov independently via the Nekrasov integral equation. In the early 2010s, Weiss and Varvarucva revisited the conjecture by applying a new geometric method, which provided an affirmative answer to the conjecture without requiring structural assumptions such as the isolation of the stagnation points, the symmetry and the monotonicity of the free surface that were necessary in the previous works. The main purpose of this paper is to establish the validity of the Stokes conjecture in the context of compressible gravity water waves. More precisely, we prove that a sharp crest forms near each stagnation point of a compressible gravity water wave with an included angle of $120^{\circ}$, which gives a first proof to the compressible counterpart of the classical conjecture by Stokes in 1880. The central aspect of our approach is the discovery of a new monotonicity formula for quasilinear free boundary problems of the Bernoulli-type. Another observation is the introduction of a new nonlinear frequency formula, along with a compensated compactness argument for the compressible Euler system. The developed monotonicity formula enables us to do blow-up analysis at each stagnation point and helps us obtain the singular profile of the free surface near each stagnation points. The degenerate stagnation points can be further analyzed with the help of the compensated compactness argument using the frequency formula.

On smooth and peaked traveling waves in a local model for shallow water waves

Peaked Stokes waves as solutions of Babenko's equation

A new highly nonlinear equation modelling shallow-water waves with constant vorticity

A Nonlinear Schrödinger Equation for Gravity Waves Slowly Modulated by Linear Shear Flow*

Asymptotics of Long Nonlinear Coastal Waves in Basins with Gentle Shores

Spatially quasi-periodic water waves of finite depth

Stokes Waves at the Critical Depth are Modulationally Unstable

Spatially quasi-periodic water waves of infinite depth

On the steady-state nearly resonant waves

Local well-posedness and global stability of one-dimensional shallow water equations with surface tension and constant contact angle

The traveling wave problem for the shallow water equations: well-posedness and the limits of vanishing viscosity and surface tension

Localized structures on librational and rotational travelling waves in the sine-Gordon equation

On the limiting Stokes wave of extreme height in arbitrary water depth

Nonlinear Modulational Instabililty of the Stokes Waves in 2D Full Water Waves

Rigorous Asymptotic Models of Water Waves

Stability of Solitary Waves for the Modified Camassa-Holm Equation

Local well-posedness and decay for some generalized shallow water equations

On the Modeling of Shallow-Water Waves Moving over a Shear Flow

Deep-water waves: On the nonlinear Schr{ö}dinger equation and its solutions

Proof of the Stokes conjecture for compressible gravity water waves

Unstable Stokes waves