The splitting lemmas for nonsmooth functionals on Hilbert spaces - Guangcun Lu (2011)