We prove the existence and the linear stability of Cantor families of small amplitude time quasi-periodic standing water wave solutions -namely periodic and even in the space variable x -of a bidimensional ocean with finite depth under the action of pure gravity. Such a result holds for all the values of the depth parameter in a Borel set of asymptotically full measure. This is a small divisor problem. The main difficulties are the fully nonlinear nature of the gravity water waves equations -the highest order x-derivative appears in the nonlinear term but not in the linearization at the origin -and the fact that the linear frequencies grow just in a sublinear way at infinity. We overcome these problems by first reducing the linearized operators, obtained at each approximate quasi-periodic solution along a Nash-Moser iterative scheme, to constant coefficients up to smoothing operators, using pseudo-differential changes of variables that are quasi-periodic in time. Then we apply a KAM reducibility scheme which requires very weak Melnikov non-resonance conditions which lose derivatives both in time and space. Despite the fact that the depth parameter moves the linear frequencies by just exponentially small quantities, we are able to verify such non-resonance conditions for most values of the depth, extending degenerate KAM theory.

Abstract:We prove the existence of quasi-periodic, small amplitude, solutions for quasi-linear and fully nonlinear forced perturbations of KdV equations. For Hamiltonian or reversible nonlinearities we also obtain the linear stability of the solutions. The proofs are based on a combination of different ideas and techniques: (i) a Nash-Moser iterative scheme in Sobolev scales. (ii) A regularization procedure, which conjugates the linearized operator to a differential operator with constant coefficients plus a bounded remainder. These transformations are obtained by changes of variables induced by diffeomorphisms of the torus and pseudo-differential operators. (iii) A reducibility KAM scheme, which completes the reduction to constant coefficients of the linearized operator, providing a sharp asymptotic expansion of the perturbed eigenvalues.

No abstract

We prove the existence and the stability of Cantor families of quasi-periodic, small amplitude solutions of quasi-linear (i.e. strongly nonlinear) autonomous Hamiltonian differentiable perturbations of KdV. This is the first result that extends KAM theory to quasi-linear autonomous and parameter independent PDEs. The core of the proof is to find an approximate inverse of the linearized operators at each approximate solution and to prove that it satisfies tame estimates in Sobolev spaces. A symplectic decoupling procedure reduces the problem to the one of inverting the linearized operator restricted to the normal directions. For this aim we use pseudo-differential operator techniques to transform such linear PDE into an equation with constant coefficients up to smoothing remainders. Then a linear KAM reducibility technique completely diagonalizes such operator. We introduce the “initial conditions” as parameters by performing a “weak” Birkhoff normal form analysis, which is well adapted for quasi-linear perturbations

In this paper we prove reducibility of classes of linear first order operators on tori by applying a generalization of Moser's theorem on straightening of vector fields on a torus. We consider vector fields which are a C ∞ perturbations of a constant vector field, and prove that they are conjugated -by a C ∞ torus diffeomorphism-to a constant diophantine flow, provided that the perturbation is small in some given H s1 norm and that the initial frequency is in some Cantorlike set. Actually in the classical results of this type the regularity of the change of coordinates which straightens the perturbed vector field coincides with the class of regularity in which the perturbation is required to be small. This improvement is achieved thanks to ideas and techniques coming from the Nash-Moser theory.