An infinite-dimensional version of the Poincaré-Birkhoff theorem on the Hilbert cube

We propose a version of the Poincare´–Birkhoff theorem for infinitedimensional Hamiltonian systems, which extends a recent result by Fonda and Uren˜a [20]. The twist condition, adapted to a Hilbert cube, is spread on a sequence of approximating finite-dimensional systems. Some applications are proposed to pendulum-like systems of infinitely many ODEs. We also extend to the infinite-dimensional setting a celebrated theorem by Conley and Zehnder [9].