Quasi-periodic solutions for beam equations with the nonlinear terms depending on the space variable

This article is devoted to the study of a beam equation with anx-dependent nonlinear term. We construct an analytic and symplectic transformation which changes the Hamiltonian to its Birkhoff normal form. However, the infinitely many coefficients of the Hamiltonian generating this transformation have small denominators. We prove that these denominators do not vanish for all indices and the transformation is canonical. Applying the normal form to a KAM theorem, it is proved that the equation admits quasi-periodic solutions with prescribed frequencies for any fixed potential constant.