Energy transport in random perturbations of mechanical systems

We describe a mechanism for transport of energy in a mechanical system consisting of a pendulum and a rotator subject to a random perturbation. The perturbation that we consider is the product of a Hamiltonian vector field and a scalar, continuous, stationary Gaussian process with Hölder continuous realizations, scaled by a smallness parameter. We show that for almost every realization of the stochastic process, there is a distinguished set of times for which there exists a random normally hyperbolic invariant manifold with associated stable and unstable manifolds that intersect transversally, for all sufficiently small values of the smallness parameter. We derive the existence of orbits along which the energy changes over time by an amount proportional to the smallness parameter. This result is related to the Arnold diffusion problem for Hamiltonian systems, which we treat here in the random setting.