mixing, invariant curves, frequency map, averaging theory