KAM for autonomous quasi-linear perturbations of KdV

We prove the existence of Cantor families of small amplitude, linearly stable, quasi-periodic solutions of quasi-linear (also called strongly nonlinear) autonomous Hamiltonian differentiable perturbations of the mKdV equation. The proof is based on a weak version of the Birkhoff normal form algorithm and a nonlinear Nash-Moser iteration. The analysis of the linearized operators at each step of the iteration is achieved by pseudo-differential operator techniques and a linear KAM reducibility scheme.