An abstract Nash-Moser theorem and quasi-periodic solutions for NLW and NLS on compact Lie groups and homogeneous manifold

Abstract

We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at each step of the iterative scheme are deduced via a multiscale inductive argument. The Cantor like set of parameters where the solution exists is defined in a non inductive way. This formulation completely decouples the iterative scheme from the measure theoretical analysis of the parameters where the small divisors non-resonance conditions are verified. As an application, we deduce the existence of quasi-periodic solutions for forced NLW and NLS equations on any compact Lie group or manifold which is homogeneous with respect to a compact Lie group, extending previous results valid only for tori. A basic tool of harmonic analysis is the highest weight theory for the irreducible representations of compact Lie groups.

45 pages

References in corpus (3)

• Sobolev quasi periodic solutions of multidimensional wave equations with a multiplicative potential
• Quasi-Töplitz functions in KAM theorem
• The energy graph of the non linear Schrödinger equation

Cited by in corpus (10)

• Time quasi-periodic gravity water waves in finite depth
• Quasi-periodic solutions for fully nonlinear forced reversible Schroedinger equations
• Growth of Sobolev norms for the quintic NLS on ${\mathbb{T}}^2$
• 1d Quantum Harmonic Oscillator Perturbed by a Potential with Logarithmic Decay
• Reducibility of Schrödinger equation on a Zoll manifold with unbounded potential
• Quasi-periodic solutions for the forced Kirchhoff equation on ${\mathbb{T}}^d$
• Exact controllability for quasi-linear perturbations of KdV
• A KAM result on compact Lie groups
• On time periodic solutions to the conformal cubic wave equation on the Einstein cylinder
• About linearization of infinite-dimensional Hamiltonian systems