Langevin equations for slow degrees of freedom of Hamiltonian systems

I will sketch a plan for a way to derive a Langevin equation for the slow degrees of freedom of a Hamiltonian whose fast ones are mixing Anosov. It uses the Anosov-Kasuga adiabatic invariant, martingale theory and Ruelle's formula for weakly non-autonomous SRB measures.