Zhang Xingyong and Wang Liben: Existence of weak quasi-periodic solutions for a second order Hamiltonian system with damped term via a PDE approach. (2016)