Convergent transformations into a normal form in analytic Hamiltonian systems with two degrees of freedom on the zero energy surface near degenerate elliptic singularities

Abstract

We study an analytic Hamiltonian system with two degrees of freedom, having the origin as an elliptic singularity. We assume that the full Birkhoff normal form exists and is divisible by its quadratic part, being indefinite. We show that under the Bruno condition and under the restriction to the zero energy surface, a real analytic transformation into a normal form exists. Such a normal form coincides with the restriction of the Birkhoff normal form to the zero energy surface up to an order as large as we want.