Exponential map of a weak Riemannian Hilbert manifold

We prove the Focal Index Lemma and the Rauch and Berger comparison theorems on a weak Riemannian Hilbert manifold with a smooth Levi-Civita connection and we apply these results to the free loop spaces of a compact manifold with the L^2 metrics