Fourier’s Law for a Microscopic Model of Heat Conduction

We consider a chain of N harmonic oscillators perturbed by a conservative stochastic dynamics and coupled at the boundaries to two gaussian thermostats at different temperatures. The stochastic perturbation is given by a diffusion process that exchange momentum between nearest neighbor oscillators conserving the total kinetic energy. The resulting total dynamics is a degenerate hypoelliptic diffusion with a smooth stationary state. We prove that the stationary state, in the limit as N→ ∞, satisfies Fourier’s law and the linear profile for the energy average