M. Golubitsky and J. Marsden
The Morse lemma in infinite dimensions via singularity theory
SIAM J. Math. Anal. 14 (1983) 1037-1044.
An infinite dimensional Morse lemma is proved using the deformation lemma
from singularity theory. It is shown that the versions of the Morse
lemmas due to Palais and Tromba are special cases. An infinite dimensional
splitting lemma is proved. The relationship of the work here to other
approaches in the literature is discussed.