Normalization flow and Poincaré-Dulac theory

Abstract

In this article, we develop a new approach to the Poincaré--Dulac normal form theory for a system of differential equations near a singular point. Using the continuous averaging method, we construct a normalization flow that moves a vector field to its normal form. We prove that, in the algebra of formal vector fields (given by power series), the normalization procedure achieves full normalization. When convergence is taken into account, we show that the radius of convergence admits a lower bound of order $1/(1+Aδ)$, with $A>0$, as $δ\to +\infty$. Based on the methods of this work and on the approaches of \cite{Tres2}, we provide a new proof of the Siegel--Brjuno theorem on the convergence of the normalizing transformation.