物理学において、フランスの数学者ジョゼフ・リウヴィルにちなんで名付けられたリウヴィルの定理は、古典統計力学およびハミルトン力学における重要な定理である。この定理は、位相空間分布関数がシステムの軌道に沿って一定である、つまり、位相空間を通過する特定のシステム点の近傍におけるシステム点の密度が時間とともに一定であることを主張している。この時間に依存しない密度は、統計力学では古典的な事前確率として知られている。[ 1 ]
リウヴィルの定理は、摩擦の影響がない、または無視できる保存系、すなわちシステムに適用されます。このようなシステムの一般的な数学的定式化は、測度保存力学系です。リウヴィルの定理は、位置と運動量として解釈できる自由度がある場合に適用されます。すべての測度保存力学系がこれらを持つわけではありませんが、ハミルトン系はこれらを持ちます。共役位置座標と運動量座標の一般的な設定は、シンプレクティック幾何学の数学的設定で利用できます。リウヴィルの定理は、粒子の総数が時間とともに変化する可能性のある化学反応、またはエネルギーが内部自由度に伝達される可能性のある化学反応の可能性を無視します。すべてのシンプレクティック写像(ハミルトニアンはシンプレクティック写像です)に適用される非圧縮定理は、体積/密度/測度保存を超えて位相空間の流れにさらなる制限を課します。リウヴィルの定理には、確率システムを含むこれらのさまざまな一般化された設定をカバーする拡張があります。[ 2 ]

リウヴィル方程式は、位相空間分布関数の時間発展を記述する。ジョサイア・ウィラード・ギブスは、これを統計力学の基本方程式として最初に認識した。[ 3 ] [ 4 ]非正準系に対するその導出は、1838年にリウヴィルが最初に導出した恒等式を利用するため、リウヴィル方程式と呼ばれている。[ 5 ] [ 6 ]
正準座標を持つハミルトン力学系を考えるおよび共役運動量、 どこすると位相空間分布確率を決定するシステムが微小位相空間体積内に見つかるだろうその時リウヴィル方程式は
時間微分はドットで表され、システムのハミルトン方程式に従って評価されます。この方程式は位相空間における密度の保存(ギブスが定理に付けた名前)を示しています。リウヴィルの定理は次のように述べられています。
リウヴィルの定理の証明は、 n次元発散定理を用いる。証明は、連続方程式の2n次元バージョンに従う:
と「速度」ベクトルであるそして上記の式は、位相空間内の小さな体積内の全確率の変化が、その体積に出入りする確率密度の正味の流れに等しいことを意味します。上記の式では、
つまり、3タプルは保存電流である。上記の式は、次の恒等式に基づいてリウヴィル方程式に帰着させることができる。
どこはハミルトニアンであり、我々は以下の関係式を用いた。そしてリウヴィル方程式の導出は、システム点の「流体の流れ」としての位相空間を通る運動として見ることができる。密度の対流微分が、はゼロであることは、連続の式から「速度場」に注目することで導かれる。位相空間では発散がゼロである(これはハミルトンの関係式から導かれる)。[ 7 ]
上記の定理は、ポアソン括弧を用いて次のよう に言い換えられることが多い。 あるいは、線形リウヴィル演算子またはリウヴィル演算子の観点から言えば、 として
エルゴード理論と力学系では、これまで述べてきた物理的考察に触発されて、リウヴィルの定理とも呼ばれる対応する結果があります。ハミルトン力学では、位相空間は滑らかな多様体であり、滑らかな測度(局所的には、この測度は 6 n次元ルベーグ測度)が自然に備わっています。この定理は、この滑らかな測度がハミルトン流の下で不変であることを示しています。より一般的には、滑らかな測度が流の下で不変となるための必要十分条件を記述することができます。[ 8 ]ハミルトンの場合もその系となります。
リウヴィルの定理はシンプレクティック幾何学の観点からも定式化できる。与えられたシステムに対して、位相空間を考えることができる。特定のハミルトニアンの多様体としてシンプレクティック2形式を備えた
我々の多様体の体積形式は、シンプレクティック2形式の最上位の外積であり、上述の位相空間上の測度の別の表現にすぎない。
位相空間シンプレクティック多様体上では、関数によって生成されるハミルトニアンベクトル場を定義することができる。として
具体的には、生成関数がハミルトニアン自体である場合、そうすれば
そこでは、ハミルトンの運動方程式と連鎖律の定義を利用した。[ 9 ]
この形式論では、リウヴィルの定理は、体積形式のリー微分が、によって生成される流れに沿ってゼロであることを述べている。つまり、2n次元シンプレクティック多様体、
実際、シンプレクティック構造それ自体が保存され、その最上位の外部パワーだけが保存されるわけではない。つまり、リウヴィルの定理は[ 10 ]も与える。
量子力学におけるリウヴィル方程式の類似物は、混合状態の時間発展を記述する。 正準量子化により、この定理の量子力学的バージョンであるフォン・ノイマン方程式が得られる。古典システムの量子類似物を考案するためによく用いられるこの手順では、ハミルトン力学を用いて古典システムを記述する。古典変数は量子演算子として再解釈され、ポアソン括弧は交換子に置き換えられる。この場合、結果として得られる方程式は[ 11 ] [ 12 ]である。 ここでρは密度行列である。
観測量の期待値に適用すると、対応する方程式はエーレンフェストの定理によって与えられ、次の形式をとる。
どこは観測量です。符号の違いに注意してください。これは、演算子が定常であり、状態が時間依存であるという仮定に基づいています。
量子力学の位相空間定式化では、フォン・ノイマン方程式の位相空間アナログにおいて、ポアソン括弧をモヤル括弧に置き換えると、確率流体の圧縮性が生じ、リウヴィルの定理の非圧縮性が破れる。その結果、意味のある量子軌道を定義することが困難になる。[ 13 ]

を考えて-3次元の粒子系に焦点を当て、進化のみに注目します。粒子。位相空間内では、これらは粒子は、次の式で与えられる微小な体積を占める。
私たちは時間が経っても変わらないように、はシステムの軌道に沿って一定です。粒子を微小な時間ステップで進化させると、すると、各粒子の位相空間の位置が次のように変化することがわかります。
どこそして示すそしてそれぞれ、そして、線形項のみを残しましたこれを無限小の超立方体に拡張すると辺の長さは次のように変化します
新しい微小位相空間体積を求める、上記の数量の積が必要です。すると、次のようになります。
これまで、システムの仕様についてはまだ何も決めていません。それでは、次のケースに特化してみましょう。次元等方性調和振動子。つまり、アンサンブル内の各粒子は単純調和振動子として扱うことができる。この系のハミルトニアンは次のように与えられる。
上記のハミルトニアンにハミルトンの方程式を用いると、上記の括弧内の項は恒等的にゼロとなり、したがって、
これから位相空間の微小体積を求めることができる。
したがって、我々は最終的に微小位相空間の体積が変化しないことを発見し、
このシステムに対してリウヴィルの定理が成り立つことを示している。[ 14 ]
位相空間の体積が時間とともにどのように変化するのかという疑問が残る。上で、全体の体積が保存されることを示したが、その形状については何も述べていない。単一の粒子の場合、位相空間におけるその軌跡は一定の楕円で与えられることがわかる。具体的には、システムのハミルトン方程式を解くと、
どこそして初期位置と運動量を表す番目の粒子。複数の粒子からなる系では、各粒子は、その粒子のエネルギーに対応する楕円を描く位相空間軌道を持つ。楕円が描かれる周波数は、ハミルトニアンでは、エネルギーの差とは無関係に、位相空間の領域は単にその点を中心に回転する。周波数は[ 15 ]これは上記のアニメーションで見ることができます。

リウヴィルの定理が適用されない例を見るために、摩擦や減衰の影響を考慮して、単振動子の運動方程式を修正することができます。粒子はそれぞれ次元等方性調和ポテンシャル。そのハミルトニアンは前の例で示されている。今回は、各粒子が摩擦力を受けるという条件を追加する。、 どこは摩擦量を決定する正の定数です。これは非保存力であるため、ハミルトンの方程式を次のように拡張する必要があります。
単純調和振動子の運動方程式とは異なり、これらの修正された方程式はハミルトンの方程式の形をとらないため、リウヴィルの定理は成り立たないと考えられます。その代わりに、このセクションのアニメーションで示されているように、一般的な位相空間の体積は、これらの運動方程式の下で時間とともに縮小していきます。
リウヴィルの定理のこの違反を明示的に見るには、減衰のない調和振動子の場合と非常によく似た手順に従うことができ、再び次の式にたどり着きます。
修正したハミルトンの方程式を代入すると、
新しい微小位相空間体積を計算し、一次の項のみを残して我々は以下の結果を得た。
微小位相空間の体積はもはや一定ではなく、したがって位相空間密度も保存されないことがわかった。式からわかるように、時間の経過とともに摩擦がシステムに影響を与えるため、位相空間の体積はゼロに減少すると予想される。
位相空間の体積が時間とともにどのように変化するかについては、減衰のない場合と同様に一定の回転が続きます。ただし、減衰によって各楕円の半径は着実に減少します。ここでも、上記の修正されたハミルトン方程式を使用して軌道を明示的に解くことができます。便宜上、
値がそして初期位置と運動量を表す番目の粒子。システムが進化するにつれて、位相空間全体の体積は原点に向かって螺旋状に縮小します。これは上の図で確認できます。