Existence of invariant curves for area-preserving mappings under weaker non-degeneracy conditions

We consider a class of analytic area-preserving mappings Cm-smoothly depending on a parameter.Without imposing on any non-degeneracy assumption,we prove a formal KAM theorem for the mappings,which implies many previous KAM-type results under some non-degeneracy conditions.Moreover,by this formal KAM theorem,we can also obtain some new interesting results under some weaker non-degeneracy conditions.Thus,the formal KAM theorem can be regarded as a general KAM theorem for areapreserving mappings.