A Hamiltonian system of n degrees of freedom, defined by the function F, with an equilibrium point at the origin, is called formally integrable if there exist A A formal power series
, functionally independent, in involution, and such that the Taylor expansion
of F is a formal power series in the
.
Take n = 3,
, F(k) homogeneous of degree k, F(2) > 0 and the eigenfrequencies in ratio 1:1:2. If F(3) avoids a certain hypersurface of ‘symmetric’ third order terms, then the F system is not formally integrable. If F(3) is symmetric but F(4) is in a non-void open subset, then homoclinic intersection with Devaney spiralling occurs; the angle decays of order 1 when approaching the origin.