Diffusion in high Sobolev spaces for Hamiltonian PDEs