General KAM theorems and their applications to invariant tori with prescribed frequencies

In this paper we develop a new KAM technique to prove two general KAM theorems for nearly integrable Hamiltonian systems without assuming any nondegeneracy condition. Many of KAM-type results (including the classical KAM theorem) are special cases of our theorems under some nondegeneracy condition and some smoothness condition. Moreover, we can obtain some interesting results about KAM tori with prescribed frequencies.