Kolmogorov Theorem revisited

Kolmogorov Theorem on the persistence of invariant tori of real analytic Hamiltonian systems is revisited. In this paper we are mainly concerned with the lower bound on the constant of the Diophantine condition required by the theorem. From the existing proofs in the literature, this lower bound turns to be of O(ε1/4), where ε is the size of the perturbation. In this paper, by means of careful estimates on Kolmogorov's method, we show that this lower bound can be weakened to be of O(ε1/2). This condition coincides with the optimal one of KAM Theorem. Moreover, we also obtain optimal estimates for the distance between the actions of the perturbed and unperturbed tori. We believe that some ideas contained in this paper may be used for improving several estimates in the general KAM context.