量子力学の様々な構成方法 第5部 第3章 §5.3.4 ★★★ Moyal 方程式の ℏ0 の項が古典の統計力学の Liouville 方程式。量子補正は ℏ2V′′′∂p3 から始まり、作用が ℏ に比べて大きいほど小さい
古典の統計力学へ
(5.3.9) で ℏ→0 とすると {{f,g}}→{f,g} なので、Moyal 方程式は
∂t∂W={H,W}(5.3.12)
になる。これは相空間の確率密度の Liouville 方程式(解析力学から様々な理論分野を組み立てる 第3部第1章の ∂tρ={H,ρ})で、古典の統計力学の時間発展そのものである。同じように、記号の Heisenberg 方程式 ∂tA={{A,H}} は ℏ→0 で ∂tA={A,H} になり、これは古典の物理量を Hamilton の流れで運ぶ式(解析力学から様々な理論分野を組み立てる 第1部第11章)である。古典力学の2つの書き方(分布を運ぶ Liouville、物理量を運ぶ Hamilton)と、量子力学の2つの描像(Schrödinger、Heisenberg)が、記号の上で1対1に並ぶ。この対応は 解析力学から様々な理論分野を組み立てる 第4部第3章が演算子の言葉で述べたもので、ここでは両側を同じ位相空間の関数の式として書けた。
古典極限の見方はこの巻に3つある。経路積分の停留位相(第3部第4章)、Madelung の流体で量子ポテンシャルが消えること(第7部第2章)、そしてここで述べた Moyal 括弧が Poisson 括弧に戻ることである。前の2つは純粋状態の波動関数の位相を見るのに対し、Moyal の見方は密度行列(混合状態を含む)について述べ、ℏ の展開が演算子の積の構造そのものから出てくる点が違う。
量子補正の大きさと数値例
ℏ→0 の極限は、ℏ を小さくする操作ではなく、系の典型的な作用(運動量の広がり×位置の広がり)が ℏ に比べて大きいという意味である。(5.3.11) の補正の項 ℏ2V′′′∂p3W と古典の項 V′∂pW の比は、W が運動量の幅 Δp で変わるとするとℏ2V′′′/(V′Δp2) の桁で、ポテンシャルが位置の幅 L で変わるなら V′′′/V′∼1/L2 なので (ℏ/(LΔp))2 の桁になる。LΔp が系の作用の大きさで、それが ℏ より十分大きいときに古典の Liouville 方程式がよい近似になる。
図 5.3.1 は、V=x4/4(ℏ=m=1)で、同じ Gauss 関数 W0=π1e−(x−2)2−p2 から出発した ⟨x⟩(t) を、量子(Schrödinger 方程式を数値で解いたもの)と古典(W0 を確率密度とみて各点を Hamilton 方程式で動かしたもの)で比べたものである。W0 は至る所で正なので、古典の確率密度として読める。t≲1 では両者は 0.01 以内で重なる。古典の集団は、振幅で周期が違うので位相がばらけ、⟨x⟩ は 0 に減衰したまま戻らない。量子では準位が離散的なので位相のばらけが部分的に戻り、t≈12 で ⟨x⟩ が 0.2 程度まで復活する。Moyal 方程式は V′′′=6x=0 のため古典と違い、その違いは ℏ2 の項1つだけ(4次のポテンシャルなので ℏ4 以降は無い)だが、長い時間をかけて積み重なる。

図 5.3.1 V=x4/4(ℏ=m=1)で、同じ W0 から出発した ⟨x⟩(t)。実線は Liouville 方程式(ℏ→0 の近似)、点線は量子の厳密な時間発展。t≲1 で一致し、量子だけが t≈12 付近で復活する。数値は verify_ch5-03.py。
近似の裏付け
型 B(極限) | 小さいもの ℏ/(LΔp)→0(系の作用が ℏ に比べて大きい)で Moyal 方程式を Liouville 方程式で置き換える | 証明 条件付き〔2次以下の H では厳密。滑らかな V で有限の時間に限れば ℏ2 の漸近展開とみられるが、誤差が時間とともにどう増えるか(図の位相の戻り)の評価は要確認〕 | 行き先 近似の数理 第7章
例題 5.3.4 古典の平衡分布は量子では動き出す ★★
オリジナルH=p2/(2m)+λx4 とし、古典の平衡分布 W=Ce−βH(C は規格化の定数)を初めの Wigner 関数に取る。
- (1) Liouville 方程式では ∂tW=0 であることを示せ。
- (2) Moyal 方程式での ∂tW∣t=0 を求めよ。
解答
(1) {H,f(H)}=f′(H){H,H}=0 なので、H の関数は Liouville 方程式の定常解である。
(2) (5.3.11) の初めの2項の和は (1) により 0。V′′′=24λx で、ℏ4 以降の項は V(5)=0 で消える。e−βp2/(2m) を p で3回微分すると (3β2p/m2−β3p3/m3)e−βp2/(2m) なので
∂t∂Wt=0=−24ℏ2⋅24λx⋅Ce−βH(m23β2p−m3β3p3)=−λℏ2xCe−βH(m23β2p−m3β3p3).
0 でないので、古典の平衡分布は量子の時間発展では定常でない。量子の熱平衡の Wigner 関数は e−βH そのものではなく ℏ2 の補正を持ち、それは次の節で求める。変化率は x についても p についても奇関数なので、⟨x⟩、⟨p⟩、⟨x2⟩ などの偶奇のそろったモーメントはすぐには変わらず、⟨xp⟩ のような混じったモーメントが先に動く。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com