An abstract Nash-Moser Theorem with parameters and applications to PDEs

We prove an abstract Nash Moser implicit function theorem with parameters which covers the applications to the existence of finite dimensional, differentiable, invariant tori of Hamiltonian PDEs with merely differentiable nonlinearities. The main new feature of the abstract iterative scheme is that the linearized operators, in a neighborhood of the expected solution, are invertible, and satisfy the tame estimates, only for proper subsets of the parameters. As an application we show the existence of periodic solutions of nonlinear wave equations on RiemannianZoll manifolds