Computer-assisted uniqueness proof for Stokes' wave of extreme form

DOI10.1142/9789814449755_0005MaRDI QIDQ3191028zbMATH OpenOpenAlexFDO

Authors Kenta Kobayashi

Publication date 22 September 2014

Published in Emerging Topics on Differential Equations and Their Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814449755_0005

zbMATH Keywords

gravity waveNekrasov's equationnumerical verification methodStokes' conjectureStokes' wave of extreme form

Mathematics Subject Classification ID

Other nonlinear integral equations (45G10)

Recommendations

• On the global uniqueness of Stokes' wave of extreme form
• On the local uniqueness and the profile of the extreme Stokes wave
• A constructive existence proof for the extreme Stokes wave
• On the existence of extreme waves and the Stokes conjecture with vorticity
• Convexity of Stokes waves of extreme form

Cited in

(4)

• Convexity of Stokes waves of extreme form
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
• On the global uniqueness of Stokes' wave of extreme form
• On the local uniqueness and the profile of the extreme Stokes wave

This page was built for publication: Computer-assisted uniqueness proof for Stokes' wave of extreme form

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3191028)