A Morse lemma for degenerate critical points with low differentiability

Abstract

We prove a Morse type lemma for, possibly degenerate, critical points of a $C^1$ function twice strongly differentiable at those points, which allows us to recover, for Finsler metrics, the theorem of Gromoll and Meyer on the existence of infinitely many closed geodesics.