在物理学中,刘维尔定理(Liouville's theorem)是经典统计力学与哈密顿力学中的关键定理。该定理断言相空间的分布函数沿着系统的轨迹是常数——即给定一个系统点,在相空间游历过程中,该点邻近的系统点的密度关于时间是常数。换一种表述,就是共轭相空间里,一个哈密顿系统的相体积不可压缩。
它以法国数学家约瑟夫·刘维尔命名。这也是辛拓扑与遍历论中的有关数学结果。
刘维尔方程编辑
刘维尔方程描述了相空间分布函数(尽管数学中准确术语是测度,物理学家一般称为分布)的时间演变。考虑一个动力系统具有正则坐标 与共轭动量 ,这里 。则相空间分布 确定了系统在无穷小相空间体积 中出现的概率 。刘维尔方程(Liouville equation)决定了 关于时间 的演化:
-
时间导数用点标记,根据这个系统的哈密顿方程求值。这个方程说明了相空间中密度的守恒性(该定理得名于约西亚·吉布斯)。刘维尔定理断言
- 分布函数沿着相空间的任何轨迹是常数。
这个定理的一个简单证明是观察到 的演化由连续性方程清晰地给出:
-
即 是一个守恒流。注意到此式与刘维尔方程的差是
-
这里 是哈密顿量,并利用了哈密顿方程。这就是说,若将相空间中的运动视为系统点的一个流体,注意到相空间中的速度场 的散度为零(由哈密顿方程得出),由连续性方程得出密度 的随流导数等于零的定理。
另一个证明是考虑通过相空间中的一朵“点云”的轨迹。直接证明这朵云沿着一个坐标方向拉伸比如 ,则在对应的 方向收缩,从而乘积 保持不变。
等价地,由诺特定理,守恒流的存在意味着有一个对称。对称在时间转换下不变,而这个对称的生成元(或诺特荷)是哈密顿量。
此定理经常用泊松括号表述为
-
或利用刘维尔算子(Liouville operator 或 Liouvillian)
-
写成
-
在遍历论与动力系统中,由目前给出的物理考虑启发,有相应的结果也称为刘维尔定理。在哈密顿力学中,相空间是一个自然赋有一个光滑测度的光滑流形(局部这个测度是 6n-维勒贝格测度)。该定理说这个光滑测度在哈密顿流下不变。更一般地,我们可以描述一个光滑测度在一个流下不变的充分必要条件。哈密顿力学情形便是一个推论。
在辛几何方面,此定理断言辛结构(2-形式,由 与 的楔积之和组成)的 d 次幂在其哈密顿演化下的李导数为零。辛结构的 d 次幂就是相空间中上面所说的测度。
事实上,辛结构自身(不仅是 d 次幂)也不变。因此,在这种情形下,辛结构也称为庞加莱不变量。从而关于庞加莱不变量的定理是刘维尔定理的推广。
还可以进一步推广。在不变哈密顿形式化 (页面存档备份,存于互联网档案馆)的框架下,不变相空间中的辛结构的存在性定理是关于庞加莱不变量定理的一个深入推广。
刘维尔方程在量子力学中的类比描述了一个混合态的时间演化。正则量子化得出这个定理的一个量子力学版本。这个过程利用哈密顿力学描述经典系统,经常用于产生经典系统的量子类比。经典变量重新解释为量子算子,而泊松括号用交换子代替。在这种情形,所得方程是
-
这里 ρ 是密度矩阵。
将其应用到一个可观测量的期望值,相应的方程由埃伦费斯特定理给出,具有形式
-
这里 是一个可观测量。注意符号不同,这由算子的稳定性与状态时间相关之假设得出。
刘维尔定理之破坏编辑
2005年,有论文[1]发现当x与p不是辛形式的时候,尤其演化中存在几何相位,流体密度将可能被压缩。
- В.И.阿诺尔德,著. 齐民友,译. 经典力学中的数学方法(第4版). 北京:高等教育出版社,2006年1月.
- ^ 存档副本 (PDF). [2020-10-23]. (原始内容存档 (PDF)于2020-10-26).