刘维尔公式是w(x)=w(x0)e-∫xx0p1(x)dx 或 w(x)=Ce-∫p1(x)dx。
刘维尔定理（Liouville's theorem）是经典统计力学与哈密顿力学中的关键定理。该定理断言相空间的分布函数沿着系统的轨迹是常数——即给定一个系统点，在相空间游历过程中，该点邻近的系统点的密度关于时间是常数。
定理内容：
如果整函数 在整个平面上有界，即对所有 满足不等式，则 必为常数。
可简单描述为：一个有界的整函数必是常函数。
注：
(1) 定理内容在实数范围内不成立。
(2) 定理的逆命题成立，即常数是有界常函数。
