KAM theory, Invariant tori, nonlinear wave equations