1: \begin{abstract}

2: In this paper we present an a-posteriori KAM theorem for the existence of an

3: $(n-d)$-parameters family of $d$-dimensional isotropic invariant tori with

4: Diophantine frequency vector $\omega\in \RR^d$, of type $(\gamma,\tau)$,  for

5: $n$ degrees of freedom Hamiltonian systems with $(n-d)$ independent first

6: integrals in involution. If the first integrals induce a Hamiltonian action of

7: the $(n-d)$-dimensional torus, then we can produce  $n$-dimensional Lagrangian

8: tori with frequency vector of the form $(\omega,\omegap)$, with

9: $\omegap\in\RR^{n-d}$.  In the light of the parameterization method, we design

10: a (modified) quasi-Newton method for the invariance equation of the

11: parameterization of the torus, whose proof of convergence from an initial

12: approximation, and under appropriate non-degeneracy conditions, is the object

13: of this paper. We present the results in the analytic category, so the initial

14: torus is real-analytic in a certain complex strip of size $\rho$, and the

15: corresponding error in the functional equation is $\varepsilon$.  We heavily

16: use geometric properties and the so called automatic reducibility to deal

17: directly with the functional equation and get convergence if $\gamma^{-2}

18: \rho^{-2\tau-1}\varepsilon$ is small enough, in contrast with most of KAM

19: results based on the parameterization method, that get convergence if

20: $\gamma^{-4} \rho^{-4\tau}\varepsilon$ is small enough.  The approach is

21: suitable to perform computer assisted proofs.

22: \end{abstract}

23: