Invariant tori for commuting Hamiltonian PDEs (Q1011479)

Let \(r\geq 1\) be some integer, \(l^2_{s,\sigma}\) - the space of the sequences \(p=\{p_j\}_{j\geq r+1}\) such that \[ \|p\|^2_{s,\sigma} = \sum_j[j]^{2s}e^{2\sigma j}|\hat{p}_j|^2<\infty,\quad [j]=\max\{1,j\} \] and define the phase spaces of the Hamiltonians as \[ P_{s,\sigma}:=U\times T^r\times l^2_{s,\sigma}\times l^2_{s,\sigma}\ni (I,\phi,p,q)\equiv z \] where \(U\subset \mathbb{R}^r\) is open, \(T=R/Z\); endow \(P_{s,\sigma}\) with the norm on the tangent space of \(P_{s,\sigma}\) \[ \|z\|^2_{s,\sigma} = | I\|^2+\|\phi\|^2 + \|p\|^2_{s,\sigma} + \|qp\|^2_{s,\sigma} \] and the induced scalar product. Let \(J(I,\phi,p,q)=(-\phi,I,-q,p)\) be the Poisson tensor and \(X_H:=J\nabla H\) the Hamiltonian vector field. Consider in \(P_{s,\sigma}\) \(r\) Hamiltonian functions \(H_{\mu}^{(l)}\), \(l=1,\ldots,r\), of the form \[ H_{\mu}^{(l)} = I_l + \sum_{j\geq r+1}\Omega_j^{(l)}{{p_j^2+q_j^2}\over{2}} + \mu F_{\mu}^{(l)}(z). \] For \(\mu=0\) the submanifold \(N:=U\times T^r\times\{0\}\times\{0\}\) is foliated in tori which are invariant under the flow of each Hamiltonian. The main result of the paper states that for fixed \(\sigma\) and for any \(s>s_*\) there exist \(\mu_*\) and \(c\) such that for any \(|\mu|<\mu_*\) and any \(\varepsilon\in A\cap N\cap B_{\mu}\) there exists a smooth torus \(T_{\varepsilon,\mu}\in P_{s,\sigma}\) which is invariant under the flows of the Hamiltonian vector fields of each of the Hamiltonians \(H_{\mu}^{(l)}\). Moreover \(d(T_{\varepsilon,\mu},T_{\varepsilon,0})<c\mu\) in the Hausdorff metric.