First we study unidirectional waves with vorticity and verify the Benjamin-Lighthill conjecture for flows whose Bernoulli constant is close to the critical one. For this purpose it is shown that every wave, whose slope is bounded by a fixed constant, is either a Stokes or a solitary wave. It is proved that the whole set of these waves is uniquely parametrised (up to translation) by the flow force which varies between its values for the supercritical and subcritical shear flows of constant depth. We also study large-amplitude unidirectional waves for which we prove bounds for the free-surface profile and for Bernoulli’s constant.
Second, we consider small-amplitude waves over flows with counter currents. Such flows admit layers, where the fluid flows in different directions. In this case we prove that the initial nonlinear free-boundary problem can be reduced to a finite-dimensional Hamiltonian system with a stable equilibrium point corresponding to a uniform stream. As an application of this result, we prove the existence of non-symmetric wave profiles. Furthermore, using a different method, we prove the existence of periodic waves with an arbitrary number of crests per period.