A proof of Kolmogorov’s theorem on invariant tori using canonical transformations defined by the Lie method

Summary

In this paper a proof is given of Kolmogorov’s theorem on the existence of invariant tori in nearly integrable Hamiltonian systems. The scheme of proof is that of Kolmogorov, the only difference being in the way canonical transformations near the identity are defined. Precisely, use is made of the Lie method, which avoids any inversion and thus any use of the implicit-function theorem. This technical fact eliminates a spurious ingredient and simplifies the establishment of a central estimate.

Riassunto

Nel presente lavoro si dimostra il teorema di Kolmogorov sull’esistenza di tori invarianti in sistemi Hamiltoniani quasi integrabili. Si usa lo schema di dimostrazione di Kolmogorov, con la sola variante del modo in cui si definiscono le trasformazioni canoniche prossime all’identità. Si usa infatti il metodo di Lie, che elimina la necessità d’inversioni e quindi dell’impiego del teorema delle funzioni implicite. Questo fatto tecnico evita un ingrediente spurio e semplifica il modo in cui si ottiene una delle stime principali.

Резюме

В этой работе предлагается доказательство теоремы Колмогорова о существовании инвариантных торов в квази-интегрируемых Гамильтоновых системах. Используется схема доказательства, предложенная Колмогоровым, единственное отличие состоит в способе, которым определяются канонические преобразования. В этой работе используется метод Ли, которыи исключает необходимость инверсии и, следовательно, использование теоремы для неявной функции. Этот технический прием исключает ложный ингрдеиент и упрощает получение главной оценки.