Surface water waves as saddle points of the energy

By applying the mountain-pass lemma to an energy functional, we establish the existence of two-dimensional water waves on the surface of an infinitely deep ocean in a constant gravity field. The formulation used, which is due to K. I. Babenko [3, 4] (and later to others, independently), has as its independent variable an amplitude function which gives the surface elevation. Its nonlinear term is purely quadratic but it is nonlocal because it involves the Hilbert transform. Moreover the energy functional from which it is derived is rather degenerate and offers an important challenge in the calculus of variations. In the present treatment the first step is to truncate the integrand, and then to penalize and regularize it. The mountain-pass lemma gives the existence of critical points of the resulting problem. To check that, in the limit of vanishing regularization, the critical points converge to a non-trivial water wave, we need < a priori< estimates and information on their Morse index in the spirit of the work by Amann and Zehnder [1] (see also [14]). The amplitudes of the waves so obtained are compared with those obtained from the bifurcation argument of Babenko, and are found to extend the parameter range where existence is known by analytical methods. We also compare our approach with the minimization-under-constraint method used by R. E. L. Turner [25]. [PUBLICATION ABSTRACT]