billiard, SRB measure, Grenn-Kubo formula