リウヴィルの定理
リウヴィルの定理によると、ハミルトニアン と分布関数 を持つ系で