A Floquet-Liapunov theorem in Fréchet spaces
We give a new proof of multisummability of formal power series solutions of a non linear meromorphic differential equation. We use the recent Malgrange-Ramis definition of multisummability. The first proof of the main result is due to B. Braaksma. Our method of proof is very different: Braaksma used Écalle definition of multisummability and Laplace transform. Starting from a preliminary normal form of the differential equationthe idea of our proof is to interpret a formal power series solution...
Here we present basic ideas and algorithms of Power Geometry and give a survey of some of its applications. In Section 2, we consider one generic ordinary differential equation and demonstrate how to find asymptotic forms and asymptotic expansions of its solutions. In Section 3, we demonstrate how to find expansions of solutions to Painlevé equations by this method, and we analyze singularities of plane oscillations of a satellite on an elliptic orbit. In Section 4, we consider the problem of local...