Nonlinear wave equation, variational methods, infinite dimensional Hamiltonian systems, periodic solutions, Lyapunov-Schmidt reduction, small divisors, Nash-Moser theorem