“…The approach and the results proposed here rely on the Amann-Conley-Zehnder reduction (ACZ in what follows), a global Lyapunov-Schmidt technique [9,10,11,12,13,14,15] which transforms infinite dimensional variational principles into equivalent finite dimensional functionals. This method has been employed in conjunction to topological techniques, e.g., Conley index, Morse theory, Lusternik-Schnirelmann category and degree theory, for proving results of existence and multiplicity of solutions for nonlinear differential equations, in particular for semilinear Dirichlet problems, Hamiltonian systems and nonlinear wave equations [9,10,12,13,14,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33].…”