Liouville's theorem
时间导数用点标记，根据这个系统的哈密顿方程求值。这个方程说明了相空间中密度的守恒性（该定理得名于约西亚·吉布斯）。刘维尔定理断言