A Sharp Version of the Benjamin and Lighthill Conjecture for Steady Waves with Vorticity

We give a complete proof of the classical Benjamin and Lighthill conjecture for arbitrary two-dimensional steady water waves with vorticity. We show that the flow force constant of an arbitrary smooth solution is bounded by the flow force constants for the corresponding conjugate laminar flows. We prove these inequalities without any assumptions on the geometry of the surface profile and put no restrictions on the wave amplitude. Furthermore, we give a complete description of all cases when the equalities can occur. In particular, that excludes the existence of one-sided bores and multi-hump solitary waves. Our conclusions are new already for Stokes waves with a constant vorticity, while the case of equalities is new even in the classical setting of irrotational waves.