B. Buffoni
Département de mathématiques
Ecole Polytechnique Fédérale, 1015 Lausanne,
Suisse
Boris.Buffoni@epfl.ch
É. Séré
CEREMADE, Université Paris-Dauphine
Place du Maréchal de Lattre de Tassigny
75775 Paris Cedex 16
Eric.Sere@ceremade.dauphine.fr
J. F. Toland
Department of Mathematical Sciences, University
of Bath
Claverton Down, Bath, BA2 7AY, UK
jft@maths.bath.ac.uk
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 [2,3] (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]. 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. We also compare our approach with the minimization-under-constraint method used by R. E. L. Turner [4].