In this paper, we develop an abstract KAM (Kolmogorov-Arnold-Moser) theorem for infinite dimensional Hamiltonian systems. As an application of the theorem, we study the quintic nonlinear Schrödinger equation on the two-dimensional torus
We obtain a Whitney smooth family of small-amplitude quasi-periodic solutions for the equation. The overall strategy in the proof of the KAM theorem is a normal form techniques sparsing angle-dependent terms, which can be achieved by choosing the appropriate tangential sites. The idea in our proof comes from Geng, Xu, and You [Adv. Math. 226 (2011), pp. 5361–5402], which however has to be substantially developed to deal with the equation above.