The splitting lemmas for nonsmooth functionals on Hilbert spaces II. The case at infinity - Guangcun Lu (2012)