Liouville's theorem
这里，注意到相空间元 formula_13 是恒定的这个事实可以从哈密顿方程（见刘维尔定理）得知。然而，由于存在碰撞，相空间元 formula_13 中的粒子密度是可变的，所以