Invariant distribution of an Itô diffusion, specialized to Underdamped Langevin dynamics, has density
Thus has density proportional to , and conditionally and marginally . The Hamiltonian transport between and preserves this density, while the Ornstein-Uhlenbeck process in momentum has exactly that Gaussian invariant law.
The Euler-Maruyama method with step size and independent is