Uniqueness properties of the KAM curve

Classical KAM theory guarantees the existence of a positive measure set of invariant tori for sufficiently smooth non-degenerate near-integrable systems. When seen as a function of the frequency this invariant collection of tori is called the KAM curve of the system. Restricted to analytic regularity, we obtain strong uniqueness properties for these objects. In particular, we prove that KAM curves completely characterize the underlying systems. We also show some of the dynamical implications on systems whose KAM curves share certain common features.