A renormalization approach to lower-dimensional tori with Brjuno frequency vectors (Q710525)

The purpose of the paper is to extend the renormalization methods developed by the authors [Ergodic Theory Dyn. Syst. 30, No.~4, 1131--1146 (2010; Zbl 1201.34003)] in order to construct analytic lower-dimensional tori of near-integrable Hamiltonian systems. It is supposed that {\parindent=6,5mm \begin{itemize}\item[(i)] the Brjuno frequency vector \(\mathbf{\omega}\in\mathbb R^d\) satisfies the Brjuno condition, \[ \sum_{n=1}^{\infty}2^{-n}\ln\left( \frac{1}{\min_{0<| \mathbf{v}| \leq2^{n}}| \pmb{\omega}\cdot\pmb{\nu}| }\right) <\infty, \] where the minimum is taken over lattice vectors \(\mathbf{v}\in\mathbb Z^d\); \item[(ii)] the frequencies \(\Omega_1,\dots,\Omega_D\) are real, nonzero, all different and Diophantine with respect to \(\mathbf{\omega},\) that is, there exist constants \(\tau>0\) and \({\mathcal C}>0\) such that \[ | \mathbf{\omega}\cdot\mathbf{v}+\mathbf{\Omega}\cdot \mathbf{V}| >\mathcal{C}| \mathbf{v}| ^{-\tau }, \] for all \(\mathbf{v}\in\mathbb Z^d\backslash\{0\}\) and all \(\mathbf{V}\in\mathbb Z^d\) with \(0<| \mathbf{V}| \leq2.\) \end{itemize}} The principal goal is to study analytic Hamiltonians \(H\), close to the integrable Hamiltonian \(H_0\), that can be expanded in Fourier-Taylor series. The authors work with the corresponding Hamiltonian vector fields generated by the Hamiltonian functions instead of Hamiltonians themselves. For \(\rho>0\), Banach spaces \({\mathcal A}_\rho\) of analytic vector fields close to a vector field \(K\) defined by \(K(q,p,u,w)=(\omega,0,-i\overline {\Omega}u,i\overline{\Omega}w)\), where \(\overline{\Omega}=\text{*diag} [\Omega_1,\dots,\Omega_D]\), are considered. The main result in the paper is Theorem 1.3 stating that, for every Brjuno vector \(\mathbf{\omega}\in\mathbb R^d\) and \(\Omega\in\mathbb R^D\) Diophantine with respect to \(\pmb{\omega}\) with different and nonzero components, there exists an open neighborhood \(B\) of real analytic Hamiltonian vector fields \(X\in{\mathcal A}_\rho\) around \(K\) and an analytic manifold \({\mathcal W}\subset {\mathcal B}\) of codimension \(d+D\) such that every Hamiltonian vector field \(X\in{\mathcal W}\) has an analytic \(d\)-dimensional invariant torus with the frequency vector \(\mathbf{\omega}.\)