Statistical Physics and Dynamical Systems: Rigorous Results