Abstract: In this paper, we develop an approach to the problem of closing lemma based on KAM normal form. The new approach differs from existing $C^1$ perturbation approach and spectral approach, and can handle the high regularity, high dimensional cases and even Riemannian metric perturbations. Moreover, the proof is constructive and effective. We apply the method to the original nearly integrable setting of Poincar\'e and confirm several old and new conjectures with weak formulations. First, for Poincar\'e's original setting of nearly integrable systems, we prove that for typical perturbations, periodic orbits are asymptotically dense as the size of perturbation tends to zero. Second, we prove that typical smooth perturbation of the geodesic flow on the flat torus has asymptotically dense periodic orbits, which partially solves an open problem since Pugh-Robinson's $C^1$-closing lemma. Third, we prove that for typical Hamiltonian or contact perturbation of the geodesic flows of the ellipsoid has asymptotically dense orbit on the energy level, which enhances the recent researches on strong closing lemma, and also confirms partially a conjecture of Fish-Hofer in this setting. We also discuss the relation of our models to the recent researches on many-body localization in physics.

𝐶¹ Connecting Lemmas

A BASIC TO C1 CONNECTING

A Uniform C-1 Connecting Lemma

Schwarz Lemma and Hartogs Phenomenon in Complex Finsler Manifold

On theC1Stability Conjecture for Flows

The C1 Closing Lemma for Nonsingular Endomorphisms

The C 1 Closing Lemma for Endomorphisms with Finitely Many Singularities

A BasicC1Perturbation Theorem

On Schechter's Linking Theorems

On Mañé’s Proof of the C 1 Stability Conjecture

Connection formulae in the Collision Limit I: Case Studies in Lifshitz Geometry

A pasting lemma and some applications for conservative systems

Another Proof Forc 1 Stability Conjecture for Flows

Analytic Tangent Cones of Admissible Hermitian-Yang-Mills Connections

$C^1$-robust homoclinic tangencies

A $C^r$-connecting lemma for Lorenz attractors and its application on the space of ergodic measures

Closing lemma and KAM normal form

A C1 Arnol'd-Liouville Theorem

Homoclinic Points For Area-Preserving Surface Diffeomorphisms

Poincaré's lemma for formal manifolds