ハミルトン力学におけるリウヴィルの定理（）とは、確率分布がどのように時間発展するかを予言する定理であり、フランスのジョゼフ・リウヴィル（リュービル、リウヴィユ）によって発見された。典型的に、 が位置と運動量の座標を表すとして、 は系が相空間の微小体積 中に見つかる確率である。 は 個の粒子の系において、変数の組を表すのに便利な簡潔的表現である。リウヴィルの定理によると、ハミルトニアン と分布関数 を持つ系でが成り立つ。ここで中括弧はポアソン括弧を表す。これをリウヴィル方程式と呼ぶ。この定理の結果で興味深いのは、時間発展に対して相空間中の体積が保存するということである。もし系が相空間で、ある体積を持って始まると分かっているとき、時間が経った後でも系は同じ体積を持つ部分空間にある。リウヴィル方程式は、相空間上の分布関数の時間発展を記述する。この方程式は通常、「リウヴィル方程式」と呼ばれる。ウィラード・ギブズは、最初に統計力学の基本方程式としてのこの方程式の重要性を認識した。この非標準的な系の微分を、1838年にリウヴィルが導入するとき、最初の等式を使ったことから、リウヴィル方程式と呼ばれるようになった。formula_3 として、正準座標 と共役運動量 を持つハミルトン力学系を考える。すると、相空間の分布 formula_4 は、無限小の相空間体積 formula_5 の中にある確率 formula_6 を決定する。リウヴィル方程式は、時刻 での formula_7 の時間発展を統制する。リウヴィル方程式は相空間のの時間発展を記述する。方程式は、通常「リウヴィルの方程式」と呼ばれていてるが、最初に統計力学の基本方程式として重要であることを認識したのは、ウィラード・ギブズである。非正準力学系の方程式の導出は、1828年にリウヴィルによって導かれた恒等式を使っているので、リウヴィル方程式と呼ばれる。時間微分はドットで表され、系のハミルトン方程式に従い値が求められる。この方程式は、相空間における密度の保存を表している（この定理には、ウィラード・ギブスの名前が付けられた定理であった）。リウヴィルの定理は、という定理である。リウヴィルの定理の証明は、発散定理の 次元版を使っている。この証明は、発展 は連続の方程式の 次元版に従うという事実に基づいている。すなわち、三つ組 formula_10 はである。リウヴィル方程式と項との差異に注意する。ここに はハミルトニアンで、ハミルトンの方程式が使われている。相空間を系の点の「流体のフロー」とみなすと、「速度場」 formula_12 が相空間の中では発散が 0 である（ハミルトンの関係式により）ということに注意すると、密度の物質微分 formula_13 が 0 であることが、連続の方程式に従う。もうひとつの別な説明は、相空間を通る点の集まりの軌跡を考えることである。ある座標 – の中の集まりの流れ、いわば – は、対応する 方向へ収縮し、積 が定数のままであることを、直接示すことができる。同じことであるが、保存カレントの存在は、ネーターの定理を通して、対称性の存在を導く。対称性は時間変換に対し不変で、対称性の生成子（もしくは、ネーター保存電荷はハミルトニアンである。定理はよくポアソンの括弧のことばで、あるいは、リウヴィル作用素やリウヴィリアンのことばで、を、として言い換えることがよくある。エルゴード理論と力学系では、与えられた物理的な考え方に動機を持っていたが、リウヴィルの定理として対抗する結果もある。ハミルトン力学では、相空間は自然に滑らかな測度（局所的には、-次元ルベーグ測度）を持つ微分可能多様体である。エルゴード理論の定理によると、この滑らかな測度はハミルトンフローの下に不変である。さらに一般的には、滑らかな測度がフローの下に不変である必要充分条件を記述することができるので、ハミルトニアンの場合は一般的結果の系となる。シンプレクティック幾何学のことばでは、相空間はシンプレクティック多様体として表される。従って、定理はシンプレクティック多様体上の自然な体積形式はハミルトンフローの下に不変である。シンプレクティック構造は 2-形式として表され、 と のウェッジ積の和として表される。体積形式はシンプレクティック形式の最高次数外積であり、まさに上記の相空間の測度の別の表現である。定理のひとつの定式化は、この体積形式のリー微分がすべてのハミルトンベクトル場に沿って 0 であることをいっている。実際、シンプレクティック構造自身は、最高次数外積のみならず、それ以下の次数についても保存される。正準量子化によってこの定理の量子力学版がもたらされ、密度行列の時間発展を記述する。正準量子化によりこの定理の量子力学版がもたらされる。この手続きは古典系から量子系の類似法則を作り出すのによく使われるが、そのためにはハミルトン力学を使って古典系を記述することが必要となる。古典力学的な変数は、量子力学的な演算子に解釈し直され、ポアソン括弧は交換子に置き換えられる。この場合の結果の量子化された方程式は、となる。ここでρは密度行列である。これを量子リウヴィル方程式（またはフォン・ノイマン方程式）と呼ぶ。観測量の期待値へ適用するとき、対応する方程式はエーレンフェストの定理により与えられ、次の形をとる。ここに は観測量である。符号の違いは、作用素が定常的であり状態は時間依存するという前提からくることに注意する必要がある。リウヴィルの定理は、統計力学の基礎としても重要である。粒子の衝突など、正準方程式に従わない場合はリウヴィルの定理はそのままでは成り立たず、これを記述するのがボルツマン方程式である。

出典:wikipedia