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 ->proportional to, satisfies Fourier's law and the linear profile for the energy average.