On the convergence of flow map parameterization methods for whiskered tori in quasi-periodic Hamiltonian systems

• Parameterization method for partially hyperbolic invariant tori in Hamiltonian systems. • The method obtains invariant tori and their stable and unstable bundles. • A-posteriori theorem for the existence of invariant tori. • Theorem applies in autonomous, periodic, and quasi-periodic Hamiltonian systems. • Approach suitable for computer-assisted proofs. We obtain an a-posteriori theorem for the existence of partially hyperbolic invariant tori in analytic Hamiltonian systems: autonomous, periodic, and quasi-periodic. The method of proof is based on the convergence of a KAM iterative scheme to solve the invariance equations of tori and their invariant bundles under the framework of the parameterization method. Starting from parameterizations analytic in a complex strip and satisfying their invariance equations approximately, we derive conditions for the existence of analytic parameterizations in a smaller strip satisfying the invariance equations exactly. The proof relies on the careful treatment of the analyticity loss with each iterative step and on the control of geometric properties of symplectic flavour. We also provide all the necessary explicit constants to perform computer-assisted proofs.