約瑟夫·劉維爾
在物理學中,劉維定理(Liouville's theorem)是經典統計力學與哈密頓力學中的關鍵定理。該定理斷言相空間的分佈函數沿着系統的軌跡是常數——即給定一個系統點,在相空間遊歷過程中,該點鄰近的系統點的密度關於時間是常數。換一種表述,就是共軛相空間裏,一個哈密頓系統的相體積不可壓縮。
它以法國數學家約瑟夫·劉維爾命名。這也是辛拓撲與遍歷論中的有關數學結果。
劉維爾方程式描述了相空間分佈函數(儘管數學中準確術語是測度,物理學家一般稱為分佈)的時間演變。考慮一個動力系統具有正則坐標
與共軛動量
,這裏
。則相空間分佈
確定了系統在無窮小相空間體積
中出現的機率
。劉維爾方程式(Liouville equation)決定了
關於時間
的演化:
![{\displaystyle {\frac {d\rho }{dt}}={\frac {\partial \rho }{\partial t}}+\sum _{i=1}^{d}\left({\frac {\partial \rho }{\partial q^{i}}}{\dot {q}}^{i}+{\frac {\partial \rho }{\partial p_{i}}}{\dot {p}}_{i}\right)=0.\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fd8d2d2e9846740039c80c7115298e2e738d973d)
時間導數用點標記,根據這個系統的哈密頓方程式求值。這個方程式說明了相空間中密度的守恆性(該定理得名於約西亞·吉布斯)。劉維定理斷言
- 分佈函數沿着相空間的任何軌跡是常數。
這個定理的一個簡單證明是觀察到
的演化由連續性方程式清晰地給出:
![{\displaystyle {\frac {\partial \rho }{\partial t}}+\sum _{i=1}^{d}\left({\frac {\partial (\rho {\dot {q}}^{i})}{\partial q^{i}}}+{\frac {\partial (\rho {\dot {p}}_{i})}{\partial p_{i}}}\right)=0.}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/4bf1f03ba5e18df529619d10bc95f841d425c098)
即
是一個守恆流。注意到此式與劉維爾方程式的差是
![{\displaystyle \rho \sum _{i=1}^{d}\left({\frac {\partial {\dot {q}}^{i}}{\partial q^{i}}}+{\frac {\partial {\dot {p}}_{i}}{\partial p_{i}}}\right)=\rho \sum _{i=1}^{d}\left({\frac {\partial ^{2}H}{\partial q^{i}\,\partial p_{i}}}-{\frac {\partial ^{2}H}{\partial p_{i}\partial q^{i}}}\right)=0,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/43c1f2e752fd903a7a52dfbdec6d53744ff7741a)
這裏
是哈密頓量,並利用了哈密頓方程式。這就是說,若將相空間中的運動視為系統點的一個流體,注意到相空間中的速度場
的散度為零(由哈密頓方程式得出),由連續性方程式得出密度
的隨流導數等於零的定理。
另一個證明是考慮通過相空間中的一朵「點雲」的軌跡。直接證明這朵雲沿着一個坐標方向拉伸比如
,則在對應的
方向收縮,從而乘積
保持不變。
等價地,由諾特定理,守恆流的存在意味着有一個對稱。對稱在時間轉換下不變,而這個對稱的生成元(或諾特荷)是哈密頓量。
所期望的粒子總數是分佈在相空間上的積分:
![{\displaystyle N=\int d^{d}q\,d^{d}p\,\rho (p,q).\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/64abaea798a0a62092be7e3982a14321c8685d31)
習慣上相空間測度有一個正規化因子,但此處將其忽略。在簡單情形,一個非相對論粒子在力場
下在歐幾里得空間運動,具有坐標
與動量
,劉維定理可以寫成
![{\displaystyle {\frac {\partial \rho }{\partial t}}+{\frac {\mathbf {p} }{m}}\cdot \nabla _{\mathbf {x} }\rho +\mathbf {F} \cdot \nabla _{\mathbf {p} }\rho =0.\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/9a2e1d0570fff9fbcca2ad1b4dcc7b40659d3eef)
這不同於符拉索夫方程式,或有時天體力學中的波茲曼方程式。後者有六維相空間,用於描述大量無碰撞粒子在重力或電磁場的影響下的運動。
在經典統計力學中,粒子數
非常大(譬如:對一個實驗室規模系統為阿佛加德羅常數數量級)。令
給出了這個系統的穩定狀態的一個方程式,可用來尋找在一個給定的統計系綜中可達到的微觀態。穩定狀態方程式由
等於哈密頓量
的任何函數滿足:特別地,它由麥克斯韋-波茲曼分佈
滿足,這裏
是溫度
是波茲曼常數。
另見正則系綜與微正則系綜。
此定理經常用卜瓦松括號表述為
![{\displaystyle {\frac {\partial \rho }{\partial t}}=-\{\,\rho ,H\,\}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/544be48b31fa4f49d1a31d051762babd257ce47f)
或利用劉維爾算子(Liouville operator 或 Liouvillian)
![{\displaystyle {\hat {\mathbf {L} }}=\sum _{i=1}^{d}\left[{\frac {\partial H}{\partial p_{i}}}{\frac {\partial }{\partial q^{i}}}-{\frac {\partial H}{\partial q^{i}}}{\frac {\partial }{\partial p_{i}}}\right],\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/b843cecb3dda6d09ae95bb1ce158831ca9173992)
寫成
![{\displaystyle {\frac {\partial \rho }{\partial t}}+{\hat {L}}\rho =0.\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/e047898a69f679c64405dcc4dbaec8c86cc5505d)
在遍歷論與動力系統中,由目前給出的物理考慮啟發,有相應的結果也稱為劉維定理。在哈密頓力學中,相空間是一個自然賦有一個光滑測度的光滑流形(局部這個測度是 6n-維勒貝格測度)。該定理說這個光滑測度在哈密頓流下不變。更一般地,我們可以描述一個光滑測度在一個流下不變的充分必要條件。哈密頓力學情形便是一個推論。
系統狀態在相空間中按哈密頓力學演化,這用辛幾何就表述為:系統的演化軌跡是由哈密頓向量場在相空間這個辛流形上生成的積分曲線,參見流曲線。
要刻畫各種量隨系統演化而產生的變化,可以使這個量的場
依賴於時間參數,也可以考慮流形的自同構
,在幾何方法中一般用後者,從而一個量對演化參數(時間)
的導數應由一個李導數表示。作為一個例子,假設要考察的量
是一個微分形式,那麼有
,其中
是拉回映射。
辛流形上的辛形式
本身在一個哈密頓向量場
(對應於前面小節中提到的速度場)的流下是不變的,這一點可以由嘉當公式
看出來,因為辛形式是閉形式,從而第二項為零,那麼:這個李導數在辛形式上的作用為零,若且唯若
是閉形式——滿足這個條件的向量場稱為辛向量場。哈密頓向量場是辛向量場這一點也是顯然的,因為哈密頓向量場就定義為滿足
的向量場
,參見閉形式與恰當形式。只不過由於辛形式是非退化的,所以一個哈密頓函數
給出的哈密頓向量場是唯一的。
在達布定理所保證的正則坐標下,流形的體積形式就是辛形式的
次楔積(乘上一個係數
)。由於哈密頓流保辛形式,所以也保體積形式。等價地說,這意味着自同構的雅克比行列式是1。哈密頓流保持體積測度不變這一結論有時也被稱為劉維定理[來源請求]。
物理教科書上常見的關於隨流導數的論述,是考慮相空間上的一個初始分佈,(出於方便,討論歸一化的機率分佈)其機率測度是某個(通常要求是光滑的)機率密度函數
與體積測度的乘積。注意這個分佈未必是在力學演化下不變的(概念上一個極端的例子是一個狄拉克分佈),而須考察不變的條件。在用自同構刻畫演化時下,這條件同樣是由李導數等於零來表示,不過物理學上更熟悉的形式是寫作前面的小節中的偏導數的形式,或使用卜瓦松括號:
。
劉維爾方程式在量子力學中的類比描述了一個混合態的時間演化。正則量子化得出這個定理的一個量子力學版本。這個過程利用哈密頓力學描述經典系統,經常用於產生經典系統的量子類比。經典變量重新解釋為量子算子,而卜瓦松括號用交換子代替。在這種情形,所得方程式是
![{\displaystyle {\frac {\partial }{\partial t}}\rho ={\frac {1}{i\hbar }}[H,\rho ],\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/bd8291d263d0dde68168fd7160694427bb672f76)
這裏 ρ 是密度矩陣。
將其應用到一個可觀測量的期望值,相應的方程式由埃倫費斯特定理給出,具有形式
![{\displaystyle {\frac {d}{dt}}\langle A\rangle ={\frac {1}{i\hbar }}\langle [A,H]\rangle ,\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/750e47d2bf432ef82349f7916e5ffcd57b6d42f9)
這裏
是一個可觀測量。注意符號不同,這由算子的穩定性與狀態時間相關之假設得出。
2005年,有論文[1]發現當x與p不是辛形式的時候,尤其演化中存在幾何相位,流體密度將可能被壓縮。
- В.И.阿諾爾德,著. 齊民友,譯. 經典力學中的數學方法(第4版). 北京:高等教育出版社,2006年1月.
- ^ 存档副本 (PDF). [2020-10-23]. (原始內容存檔 (PDF)於2020-10-26).