Normal form of holomorphic vector fields with an invariant torus under Brjuno's A condition (Q507093): Difference between revisions

The paper deals with the problem of analytic normal forms for holomorphic differential systems \[ \dot x = f(x,y), \;\;\dot y = g(x,y), \;\;x \in \mathbb{T}^d, \;\;y \in (\mathbb{C}^n, 0), \eqno(1) \] where \(f(x,0)=\omega\), \(g(x,0)=0\) and \(g_y(x,0)\) is a diagonal matrix \(\Lambda\). The problem of analytic normal forms for the system (1) was studied before by many authors. For instance, it was shown that the system (1) is analytically equivalent to \(\dot x = \omega\), \(\dot y = \Lambda y\), if \(\omega\) and the spectrum of \(\Lambda\) are jointly non resonant, and if they satisfy some arithmetical conditions known as \textit{Brjuno's \(\omega, \gamma\) conditions}. In the present paper, the existence of analytic normal forms in the resonant case is studied. Combining techniques used by Brjuno, Stolovitch and Aurouet, the author proves that once a formal normal form (a combination of formal Fourier series in \(x \in \mathbb{T}^d\) and a formal power series in \(y \in \mathbb{C}^n\)) is constructed, the system (1) with quasilinear part \(S\) is holomorphically equivalent to its normal form, under two arithmetical conditions known as \textit{Brjuno's \(\omega, \gamma\) conditions}, and an algebraic condition known as \textit{Brjuno's A conditions}, which requires the formal normal form to be proportional to \(S\).