An infinite dimensional KAM theorem with normal degeneracy

In this paper, we consider a classical Hamiltonian normal form with degeneracy in the normal direction. In previous results, one needs to assume that the perturbation satisfies certain non-degenerate conditions in order to remove the degeneracy in the normal form. Instead of that, we introduce a topological degree condition and a weak convexity condition, which are easy to verify, and we prove the persistence of lower dimensional tori without any restriction on perturbation but only smallness and analyticity.