Lectures given on KAM theory at the University of Ouargla (Algeria). I present a functional analytic treatment of the subject which includes KAM theory into the general framework of deformations and singularity theory.
In this short note, I explain how the non-degeneracy condition of the KAM can be bypassed. The first version of the note has been submitted for publication back in 2010 and this version in 2012.
We consider a pair (H,I) where I is an involutive ideal of a Poisson algebra and H lies in I. We show that if I defines a 2n-gon singularity then, under arithmetical conditions on H, any deformation of H can integrated as a deformation of (H,I).
We construct a version of the complex Heisenberg algebra based on the idea of endless analytic continuation. In particular, we exhibit an integral formula for the product of resurgent operators with algebraic singularities. This algebra would be large enough to capture quantum effects that escape ordinary formal deformation quantisation.
The KAM iterative scheme turns out to be effective in many problems arising in perturbation theory. I propose an abstract version of the KAM theorem to gather these different results.
Consider the ring of holomorphic function germs in $C^n$ and denote by $M$ the maximal ideal of this ring. For any a holomorphic function germ $f$ with an isolated critical point, the finite determinacy theorem (Mather-Tougeron) asserts that there exists some $k$, such that $f+g$ can be brought back to $f$, via a holomorphic change of variables, for any $g in M^k$. In this paper, a generalisation of this theorem for functions defined in a neighbourhood of a Stein compact subset and for an arbitrary ideal is given.
In the nineties, Michel Herman conjectured the existence of a positive measure set of invariant tori at an elliptic diophantine critical point of a hamiltonian function. I show that KAM versal deformation theory solves positively this conjecture.
Arithmetic class are closed subsets of the euclidean space which generalise arithmetical conditions encoutered in dynamical systems, such as diophantine conditions or Bruno type conditions. I prove density estimates for such sets using Dani-Kleinbock-Margulis techniques.
In the Nineties, Michel Herman conjectured the existence of a positive measure set of invariant tori at an elliptic diophatine critical point of a hamiltonian function. I construct a formalism for the UV-cutoff and prove a generalised KAM theorem which solves positively the Herman conjecture.
The paper is concerned with group actions, in the context of analytic dynamical systems.