Lu, G. The Splitting Lemmas for Nonsmooth Functional on Hilbert Spaces II. The Case at Infinity. TMNA 2016, 44, 277-335.