In this paper we prove reducibility of a class of first order, quasi-linear, quasi-periodic time dependent PDEs on the torus∂tu+ζ.∂xu+a(ωt,x).∂xu=0,x∈Td,ζ∈Rd,ω∈Rν. As a consequence we deduce a stability result on the associated Cauchy problem in Sobolev spaces. By the identification between first order operators and vector fields this problem can be formulated as the problem of finding a change of coordinates which conjugates a weakly perturbed constant vector field on Tν+d to a constant diophantine flow. For this purpose we generalize Moser{\textquoteright}s straightening theorem: considering smooth perturbations we prove that the corresponding straightening torus diffeomorphism is smooth, under the assumption that the perturbation is small only in some given Sobolev norm and that the initial frequency belongs to some Cantor-like set. In view of applications in KAM theory for PDEs we provide also tame estimates on the change of variables.

}, keywords = {Hyperbolic PDEs, KAM theory, Nash{\textendash}Moser, Reducibility}, issn = {0022-1236}, doi = {https://doi.org/10.1016/j.jfa.2018.10.009}, url = {http://www.sciencedirect.com/science/article/pii/S0022123618303793}, author = {Roberto Feola and Filippo Giuliani and Riccardo Montalto and Michela Procesi} } @article {1806.06604, title = {Reducibility for a class of weakly dispersive linear operators arising from the Degasperis Procesi equation}, year = {2018}, author = {Roberto Feola and Filippo Giuliani and Michela Procesi} } @article {2014, title = {An Abstract Nash{\textendash}Moser Theorem and Quasi-Periodic Solutions for NLW and NLS on Compact Lie Groups and Homogeneous Manifolds}, number = {Communications in mathematical physics;volume 334; issue 3; pages 1413-1454;}, year = {2014}, publisher = {Springer}, abstract = {We prove an abstract implicit function theorem with parameters for smooth operators defined on scales of sequence spaces, 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.}, doi = {10.1007/s00220-014-2128-4}, url = {http://urania.sissa.it/xmlui/handle/1963/34651}, author = {Massimiliano Berti and Livia Corsi and Michela Procesi} } @article {2014, title = {KAM for Reversible Derivative Wave Equations}, journal = {Arch. Ration. Mech. Anal.}, volume = {212}, number = {Archive for rational mechanics and analysis;volume 212; issue 3; pages 905-955;}, year = {2014}, pages = {905-955}, publisher = {Springer}, abstract = {We prove the existence of Cantor families of small amplitude, analytic, linearly stable quasi-periodic solutions of reversible derivative wave equations.

}, doi = {10.1007/s00205-014-0726-0}, url = {http://urania.sissa.it/xmlui/handle/1963/34646}, author = {Massimiliano Berti and Luca Biasco and Michela Procesi} } @article {Berti2013199, title = {Existence and stability of quasi-periodic solutions for derivative wave equations}, journal = {Atti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, Rendiconti Lincei Matematica e Applicazioni}, volume = {24}, number = {2}, year = {2013}, note = {cited By (since 1996)0}, pages = {199-214}, abstract = {In this note we present the new KAM result in [3] which proves the existence of Cantor families of small amplitude, analytic, quasi-periodic solutions of derivative wave equations, with zero Lyapunov exponents and whose linearized equation is reducible to constant coefficients. In turn, this result is derived by an abstract KAM theorem for infinite dimensional reversible dynamical systems*.}, keywords = {Constant coefficients, Dynamical systems, Existence and stability, Infinite dimensional, KAM for PDEs, Linearized equations, Lyapunov exponent, Lyapunov methods, Quasi-periodic solution, Small divisors, Wave equations}, issn = {11206330}, doi = {10.4171/RLM/652}, author = {Massimiliano Berti and Luca Biasco and Michela Procesi} } @article {Berti2013301, title = {KAM theory for the Hamiltonian derivative wave equation}, journal = {Annales Scientifiques de l{\textquoteright}Ecole Normale Superieure}, volume = {46}, number = {2}, year = {2013}, note = {cited By (since 1996)4}, pages = {301-373}, abstract = {We prove an infinite dimensional KAM theorem which implies the existence of Can- tor families of small-amplitude, reducible, elliptic, analytic, invariant tori of Hamiltonian derivative wave equations. {\textcopyright} 2013 Soci{\'e}t{\'e} Math{\'e}matique de France.

}, issn = {00129593}, author = {Massimiliano Berti and Luca Biasco and Michela Procesi} } @article {2011, title = {Nonlinear wave and Schr{\"o}dinger equations on compact Lie groups and homogeneous spaces}, journal = {Duke Mathematical Journal}, volume = {159}, year = {2011}, month = {2011}, chapter = {479}, abstract = {We develop linear and nonlinear harmonic analysis on compact Lie groups and homogeneous spaces relevant for the theory of evolutionary Hamiltonian PDEs. A basic tool is the theory of the highest weight for irreducible representations of compact Lie groups. This theory provides an accurate description of the eigenvalues of the Laplace-Beltrami operator as well as the multiplication rules of its eigenfunctions. As an application, we prove the existence of Cantor families of small amplitude time-periodic solutions for wave and Schr{\textasciidieresis}odinger equations with differentiable nonlinearities. We apply an abstract Nash-Moser implicit function theorem to overcome the small divisors problem produced by the degenerate eigenvalues of the Laplace operator. We provide a new algebraic framework to prove the key tame estimates for the inverse linearized operators on Banach scales of Sobolev functions.}, issn = {0012-7094}, doi = {10.1215/00127094-1433403}, author = {Massimiliano Berti and Michela Procesi} } @article {Berti2010377, title = {An abstract Nash-Moser theorem with parameters and applications to PDEs}, journal = {Annales de l{\textquoteright}Institut Henri Poincare. Annales: Analyse Non Lineaire/Nonlinear Analysis}, volume = {27}, number = {1}, year = {2010}, note = {cited By (since 1996)9}, pages = {377-399}, abstract = {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 Riemannian Zoll manifolds. A point of interest is that, in presence of possibly very large "clusters of small divisors", due to resonance phenomena, it is more natural to expect solutions with only Sobolev regularity. {\textcopyright} 2009 Elsevier Masson SAS. All rights reserved.}, keywords = {Abstracting, Aircraft engines, Finite dimensional, Hamiltonian PDEs, Implicit function theorem, Invariant tori, Iterative schemes, Linearized operators, Mathematical operators, Moser theorem, Non-Linearity, Nonlinear equations, Nonlinear wave equation, Periodic solution, Point of interest, Resonance phenomena, Small divisors, Sobolev, Wave equations}, issn = {02941449}, doi = {10.1016/j.anihpc.2009.11.010}, author = {Massimiliano Berti and Philippe Bolle and Michela Procesi} } @article {2006, title = {Quasi-periodic solutions of completely resonant forced wave equations}, journal = {Comm. Partial Differential Equations 31 (2006) 959 - 985}, number = {SISSA;106/2004/M}, year = {2006}, abstract = {We prove existence of quasi-periodic solutions with two frequencies of completely resonant, periodically forced nonlinear wave equations with periodic spatial boundary conditions. We consider both the cases the forcing frequency is: (Case A) a rational number and (Case B) an irrational number.}, doi = {10.1080/03605300500358129}, url = {http://hdl.handle.net/1963/2234}, author = {Massimiliano Berti and Michela Procesi} } @article {2005, title = {Quasi-periodic oscillations for wave equations under periodic forcing}, journal = {Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 16 (2005), no. 2, 109-116}, year = {2005}, publisher = {Accademia Nazionale dei Lincei}, url = {http://hdl.handle.net/1963/4583}, author = {Massimiliano Berti and Michela Procesi} }