The splitting lemmas for nonsmooth functional on Hilbert spaces II. The case at infinity.

Abstract

We generalize the Bartsch-Li's splitting lemma at
infinity for $C^2$-functionals in [T. Bartsch and S.-J. Li, < i> Critical point theory
for asymptotically quadratic functionals and applications to problems with resonance< /i> ,
Nonlinear Anal. < b> 28< /b> (1997), no. 3, 419-441]
and some later
variants of it to a class of continuously directional differentiable
functionals on Hilbert spaces. Different from the previous flow
methods our proof is to combine the ideas of the Morse-Palais lemma
due to Duc-Hung-Khai [D.M. Duc, T.V. Hung and N.T. Khai, < i> Morse-Palais lemma
for nonsmooth
functionals on normed spaces< /i> , Proc. Amer. Math. Soc. < b> 135< /b> (2007),
no. 3., 921-927] with some techniques from [M. Jiang, < i> A generalization
of Morse lemma and its applications< /i> , Nonlinear Anal. < b> 36< /b>
(1999), 943-960],
[I.V. Skrypnik, < i> Nonlinear Elliptic Equations of a Higher Order< /i> , Naukova Dumka,
Kiev (1973)], [S.A. Vakhrameev, < i> Critical point theory for smooth functions
on Hilbert manifolds with singularities and its application to some optimal
control problems< /i> , J. Sov. Math. < b> 67< /b> (1993), no. 1, 2713-2811].
A simple application is also presented.