Nash-Moser theory for standing water waves. (Q5951855)

The authors consider a perfect fluid in periodic motion between parallel vertical walls, above a horizontal bottom and beneath a free boundary at constant atmospheric pressure. They demonstrate how the Nash-Moser iteration method can be adapted to give a rigorous proof of existence of small-amplitude standing waves for which the normal component of pressure gradient on the free surface satisfies additional constraints. These constraints are imposed in advance to faciliate the `a priori' bounds needed for the Nash-Moser method, and only solutions satisfying them have been found. The imposed constraints are used to define a manifold upon which iteration is carried out, and a detailed account from the first principles of the `a priori' bounds required to implement the method is given. The authors employ the Lagrangian form of Euler equations throughout.