This work was supported in part by the National Natural Science Foundation of China(Grant Nos.11871146,11671077);the Innovation Project for college postgraduates in Jiangsu Province(No.KYZZ160113).
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 previou...