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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normal form of holomorphic vector fields with an invariant torus under Brjuno's A condition
scientific article

    Statements

    Normal form of holomorphic vector fields with an invariant torus under Brjuno's A condition (English)
    0 references
    0 references
    0 references
    3 February 2017
    0 references
    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\).
    0 references
    0 references
    0 references
    0 references
    0 references
    holomorphic vector field
    0 references
    normal form
    0 references
    invariant torus
    0 references
    small divisors
    0 references
    resonance
    0 references
    Brjuno's condition
    0 references
    0 references
    0 references