Kolmogorov's theorem for low-dimensional invariant tori of Hamiltonian systems (Q656386)

The paper considers near-integrable Hamiltonian systems of the form \[ H(\mathbf{x}, \mathbf{y}, \mathbf{z}) = H_0(\mathbf{y},z_2) + \varepsilon H_1(\mathbf{x}, \mathbf{y}, \mathbf{z}) \] with \(\mathbf{x} \in \mathbb{T}^{n-1}\), \(\mathbf{y} \in \mathbb{R}^{n-1}\), and \(\mathbf{z} \in \mathbb{R}^2\). The systems are assumed to satisfy standard analyticity and non-degeneracy conditions. Moreover, the \((n-1)\)-dimensional vector \(\pmb{\omega} = \nabla_{\mathbf{y}}H_0(0)\) is assumed to be strongly non-resonant, satisfying a Diophantine condition. Finally, \(H_0(\mathbf{y}, z_2) - \pmb{\omega} \cdot \mathbf{y}\) is assumed to have a saddle point of signature \(1\) at \(0\). Under these assumptions it is proved that the perturbed system, for small \(\varepsilon\), has an \((n-1)\) dimensional, weakly hyperbolic invariant torus with frequency vector \(\pmb{\omega}\).