Final Report Summary - HAMPDES (Hamiltonian PDE's and small divisor problems: a dynamical systems approach.)
Our point of view in attacking this vast problem is to study special global solutions such as elliptic fixed points or periodic, quasi-periodic and almost periodic solutions. The existence of such solutions is interesting per se, but a main question is to study their stability (and instability), which gives information on the evolution of near-by initial data.
As in the case of finite-dimensional dynamical systems, one of the main problems in this field is linked to the well-known "small divisors problem''. A further difficulty is due to the fact that ''physically'' interesting equations, without outer parameters, are typically resonant and/or contain derivatives in the non-linearity.
The methods used to overcome these difficulties are KAM /Nash-Moser quadratic algorithms, pseudo and para differential calculus and Birkhoff normal forms, combined with algebro/geometric ideas used to deal with resonances.
Our main achievements were: the study of quasi-periodic solutions for various PDEs on the circle. In particular for semi-linear, quasi-linear and fully non-linear equations we proposed a very effective strategy which enabled us to prove existence and linear stability. A particular success was the application to the Water Wave problem.
Study of normal forms, both in integrable and non-integrable cases. We proposed a strategy for dealing with resonant PDEs in high spacial dimension which allowed us to prove linear stability for quasi-periodic solutions of the NLS on any torus, and conversely non-linear instability for the same model close one dimensional finite gap solutions. A novel, more geometric approach to the costruction of almost periodic solutions for semilinear PDEs with external parameters.