nonlinear wave equations, KAM theory, lower dimensional tori