The mathematical physics of mechanical systems in thermal equilibrium is a well studied, and relatively easy, subject, because the Gibbs distribution is in general an adequate guess for the equilibrium state. On the other hand, the mathematical physics of non-equilibrium systems, such as that of a chain of masses connected with springs to two (infinite) heat reservoirs is more difficult, precis...