The aim of this quick note is to review Duistermaat’s formal nonintegrability result for 1:1:2 resonance.

We will use complex coordinates and write the quadratic part of the Hamiltonian function as

The monomes of degree 3 which commute with are:

Thus, a generic in Birkhoff normal forms will have 6 terms (is a linear combination of the above monomes), with 6 independent coefficients

Similarly to the 1:2:2 resonance case, we have a gl(2,C) symmetry. But, unlike the 1:2:2 case where only has 4 coefficients, here we have 6.

In the 1:2:2 resonance case there is always an additiona quadratic 1st integral. But here the parameter space is too large, and only a small subset of the set of all possible (apparently of codimension 2) admits an additional quadratic first integrals. Those special are called “symmetric”.

Generic in the 1:1:2 resonance doesn’t admit an additional quadratic 1st integral. Duistermaat shows that all those (which donot admit an additional quadratic 1st integral) donot admit any additional integral (of any degree) at all, and thus 1systems with such are formally nonintegrable.

Integrable cases:

1)

where is a linear function in and is a linear function in

Then the additional quadratic integral is similar to the 1:2:2 resonance case

2)

(or can be put into that form by a symplectic transformation)

then $p_1q_1 – p_2q_2$ will be an additional first integral

If is not of the above types (e.g. instead of $phi_2$ we have where and are linear in and independent, and “generic”) then no addtional quadratic first integral. Question: why no first integral at all ?

Strategies for proving non-existence of 1st integrals ?

– analytic: infinite branching ?

– algebraic: linear equations without solution ?

Idea: use the coordinate system instead of $p_1,p_2,p_3q_1,q_2,q_3$

with constants, the matrix invertible. Find the symmetry condition for the existence of an additional quadratic first integral? Apparently, the condition is that this matrix commutes with the matrix (1 0 // 0 -1)

Purely algebraic (nilpotent-type) verification that (independent) higher degree integrals don’t exist ? The purely algebraic verification is extremely difficult, due to the fact that higher degree integrals do exist ! (they are functions of H2 and H3) For example: H2^2, H2H3, H3^2, etc.

Back to analytic tricks: construct an independent 1st integral on some subset (near some special solutions) and show that it has infinite branching.

It was observed by Duistermaat that, in the real case (when H2 is really a resonant 1:1:2 harmonic oscillator),almost all orbits of the Hamiltonian vector field of H3 on the 5-dimensional subset are periodic !

What does it mean in the complex case ?

Look at orbits on H3 = 0

We can move any orbit to an orbit with by the action of $X_{H_2}$, so let’s assume that but $q_3 \neq 0$. Then it will be so along the orbit of $X_{H_3}$, and means that

Let’s say

On the vector field also preserves

We may assume that . Then is also preserved by on . Thus, we get invariant 2-dimensional affine planes with coordinates .

The equation of motion (for and fixed) is:

, where C is some structural constant, and

## Leave a Reply