Convergence of the Birkhoff normal form sometimes implies convergence of a normalizing transformation

Abstract: Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an analytic function of its non-degenerate quadratic part. We prove that in this case there is an analytic canonical transformation -- not just a formal power series -- bringing the Hamiltonian into its Birkhoff normal form.

• The paper proves that when the Birkhoff normal form is an analytic function of its non-degenerate quadratic part, a convergent analytic normalizing transformation exists.
• It employs a Nash-Moser iterative scheme with quadratic convergence to overcome challenges in resonant settings with zero frequency at invariant tori.
• The results delineate precise conditions under which formal equivalence elevates to analytic equivalence, offering new insights into rigidity in dynamical systems.

Convergence of the Birkhoff Normal Form and Canonical Transformations in Analytic Hamiltonian Systems

Introduction

The paper "Convergence of the Birkhoff normal form sometimes implies convergence of a normalizing transformation" (2103.13535) investigates analytic Hamiltonian systems in the vicinity of invariant tori with vanishing frequency vectors. It addresses the interplay between the convergence of the Birkhoff normal form (BNF) and the existence of analytic, rather than merely formal, normalizing transformations. This work is situated within the broader program of rigidity results in dynamical systems, aiming to delineate conditions under which formal equivalence—realized at the level of power series—lifts to genuine analytic equivalence via canonical transformations.

Background and Theoretical Framework

For analytic Hamiltonians $H(I, \theta)$, classical normal form theory typically requires non-resonant, Diophantine frequency vectors to guarantee the existence and possible convergence of the BNF and the associated canonical transformation. The resonant case, where the frequency vanishes at the invariant torus, is significantly more intricate due to the presence of unavoidable resonant terms that often preclude exact or even formal normalization.

Previous literature, notably the works of Bruno, Rüssmann, Eliasson-Fayad-Krikorian, and Pérez-Marco, has established conditions for convergence/divergence dichotomies of the BNF and highlighted the generic divergence of normalizing coordinate changes, especially beyond non-resonant contexts. The existence of convergent BNFs in resonant or near-resonant regimes is rare and, when possible, heavily contingent on algebraic and geometric conditions of the quadratic part of the Hamiltonian.

Main Result and Methodology

The central theorem proved in this paper asserts that for an analytic Hamiltonian system near an invariant torus with frequency zero, if the BNF is convergent and expressible as an analytic function of its non-degenerate quadratic part (i.e., of the form $N(I) = B(N_0(I))$ with $N_0$ non-degenerate and $B$ analytic), then there exists an analytic canonical transformation, tangent to the identity, that brings the system into its BNF—not just a formal power series transformation.

This result is achieved via a Nash-Moser style iterative scheme. Unlike classical approaches that construct normalizing transformations order by order with direct estimation, the authors employ quadratic convergence: at each step, the polynomial part of the BNF is doubled in degree, and the remainder is controlled sufficiently tightly to guarantee convergence. The key technical innovation is the construction and estimation of a sequence of symplectic coordinate changes using tame bounds for solutions of homological equations.

A pivotal lemma shows that if the formal homological equation defining the coordinate change has a formal solution, then, when the BNF is a function of the non-degenerate quadratic form, an analytic solution exists with explicit analytic bounds. This leverages the structure of the BNF as a function of $N_0$ to simplify and tightly constrain the recursive cohomological equations, enabling the Nash-Moser machinery to close.

Numerical and Structural Implications

The established result is subject to explicit assumptions:

• Zero frequency at the invariant torus: The resonant setting is essential to the novelty of the result, as classical Diophantine-type conditions are not required.
• Non-degeneracy of the quadratic part: The matrix defining the quadratic part of the BNF must be invertible, which ensures the necessary solvability and analytic estimates in the coordinate transformation construction.
• Functional dependence of the BNF: The BNF must be an analytic function of $N_0$, implying a strong form of relative integrability.

Under these restrictive—but sharp—conditions, the transformation into normal form is assuredly analytic and invertible on a neighborhood, contrasting sharply with generic divergence phenomena observed in broader Hamiltonian classes.

Rigidity, Conjectures, and Contrasts

This theorem is situated within the landscape of rigidity results, where the absence of non-trivial obstructions in the formal setting can, under certain non-degeneracy and integrability assumptions, be lifted to the analytic category. The authors explicitly note that the general converse ("convergent BNF implies analytic normalizing transformation") is false without these structural assumptions: for instance, Hamiltonians near hyperbolic fixed points with Liouvillean eigenvalues can possess divergent normalizing transformations, even when the normal form is quadratic.

A conjecture is posed suggesting that, if the frequency map is a local diffeomorphism and the BNF converges, then convergence of the coordinate change might be generally expected. The present work thus delimits a precise, tractable case where this aspiration is verifiable.

Proof Techniques

The methodology combines:

• Quadratically convergent KAM-type iteration: At each step, the normal form and coordinate changes are enhanced in degree and regularity.
• Homological equation estimates: By exploiting the functional dependence of the BNF on $N_0$, the non-resonant structure of the Poisson bracket is harnessed to ensure each homological equation is solvable in analytic spaces.
• Nash-Moser smoothing and tameness: Loss-of-derivative phenomena inherent in infinite-dimensional analytic estimates are handled through taming techniques, ensuring each analytic object remains bounded throughout the iteration.

These methods coordinate to implement a rigid "bootstrap," securing convergence of both the BNF and its implementing transformation.

Implications and Directions for Future Research

This result elevates a class of Hamiltonian systems with degenerate frequency vectors into the domain where analytic normal form theory is robust. The practical implication is that, for these systems, perturbative and invariant torus analysis can proceed with analyticity preserved, enabling precise control of dynamics near resonant tori—a setting of substantial importance in celestial mechanics, KAM theory, and spectral stability.

Theoretically, the result invites further investigation into the boundary between relative integrability (as present here) and phenomena where divergence or instability prevails. In particular, questions about the minimal hypotheses under which analytic normalization is possible, and relationships with arithmetic properties of the frequency map (e.g., Diophantine vs. Liouville), remain critical paths for advancement. The Nash-Moser techniques deployed suggest applicability to more general normal form problems and to the analysis of degeneracies in higher-dimensional and non-Hamiltonian settings.

Conclusion

This paper establishes that, for analytic Hamiltonians near an invariant torus with zero frequency, the convergence of the Birkhoff normal form—when it is an analytic function of its non-degenerate quadratic part—does, under precise assumptions, imply the convergence of an analytic normalizing symplectic transformation. The work clarifies the scope of rigidity phenomena in resonant normal form theory and lays a foundation for further exploration of analytic equivalence in degenerate and resonant dynamical systems (2103.13535).