nonlinear wave equation, nonlinear beam equation, Hamiltonian PDE, periodic solutions, branches, small denominators, positive measure, computer-assisted proof