リウヴィユの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ハミルトン力学におけるリウヴィユの定理(Liouville's theorem)とは、確率分布がどのように時間発展するかを予言する定理であり、フランスのリウヴィルによって発見された。

典型的に、τが位置と運動量の座標を表すとして、ρは系が相空間の微小体積dτ中に見つかる確率である。τはN個の粒子の系において、変数の組を表すのに便利な簡潔的表現である。

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

が成り立つ。ここで中括弧はポアソン括弧を表す。

この定理の結果で興味深いのは、時間発展に対して相空間中の体積が保存するということである。もし系が相空間で、ある体積を持って始まると分かっているとき、時間が経った後でも系は同じ体積を持つ部分空間にある。

正準量子化によってこの定理の量子力学版がもたらされる。この手続きは古典系から量子系の類似法則を作り出すのによく使われるが、それにはハミルトン力学を使って古典系を記述することが必要となる。古典力学的な変数は量子力学的な演算子に解釈しなおされ、ポアソン括弧は交換子に置き換えられる。リウヴィユの定理では、量子化された式は、

となる。ここでρは密度行列である。