解析力学から様々な理論分野を組み立てる 第4部 第1章 §4.1.5 ★★★ 括弧から交換子への規則は、一方が2次以下の多項式なら厳密に成り立ち、3次以上どうしでは ℏ2 の補正が残る(Groenewold の定理)。その帰結として Ehrenfest の定理が古典の式に閉じるのは2次までのポテンシャルに限られる
2次以下では厳密に成り立つ
Weyl の順序 W を量子化の写像 Q に選ぶと、Poisson 括弧と交換子の関係は次の形に書ける。Weyl の順序で並べた2つの演算子の交換子を、古典の関数に戻した(Weyl の対応で逆に写した)ものは
{f,g}M={f,g}−24ℏ2(fqqqgppp−3fqqpgqpp+3fqppgqqp−fpppgqqq)+O(ℏ4)(4.1.15)
になる(添字は偏微分。{f,g}M を Moyal 括弧と呼ぶ)1H. J. Groenewold (1946), Physica 12, 405–460;J. E. Moyal (1949), Proc. Cambridge Philos. Soc. 45, 99–124.。つまり [W(f),W(g)]/(iℏ)=W({f,g}M) で、補正は ℏ の偶数冪だけからなり、ℏ2k の項は f と g の (2k+1) 階の偏微分を含む。この式から、一方の関数が q,p の2次以下の多項式なら3階以上の微分がすべて 0 になり、補正は全部消える。
命題 4.1.4(2次以下では規則が厳密 ★★★)
f が q,p の2次以下の多項式なら、任意の多項式 g について iℏ1[W(f),W(g)]=W({f,g}) が成り立つ。
例題 4.1.1 では、比べた一方が q か p の1次式だったので、比較がすべて一致した。自由粒子・調和振動子・一様な場の中の粒子のように Hamiltonian が2次以下の系では、量子の Heisenberg 方程式と古典の Hamilton 方程式が同じ形になる。第1部第11章の括弧 {Lx,Ly}=Lz も、Li が2次式なので量子力学で [L^x,L^y]=iℏL^z としてそのまま成り立つ(第4部第5章)。
3次以上では食い違う:Groenewold の定理
3次以上の多項式どうしでは、式 (4.1.15) の ℏ2 の項が残る。それが単なる順序の選び方の問題でないことを、次の計算で確かめる。古典では
{q3,p3}=9q2p2,{q2p,qp2}=3q2p2(4.1.16)
なので、{q3,p3}=3{q2p,qp2} という恒等式が成り立つ。量子化の写像 Q が (Q3) を満たすなら、両辺を写したものも等しくなければならない。ところが、(Q3) を2次以下の多項式に当てると Q は2次以下で Weyl の順序に決まり、さらに {q2,⋅} や {p2,⋅} との括弧を保つ条件から3次の Q(q3), Q(q2p) なども Weyl の順序に決まる。その Q で両辺を計算すると、式 (4.1.15) の補正項から
iℏ1[q^3,p^3]=9W(q2p2)−23ℏ2,iℏ3[W(q2p),W(qp2)]=9W(q2p2)+23ℏ2(4.1.17)
となり、両者は 3ℏ2 だけ食い違う。左辺の Q({q3,p3}) と右辺の 3Q({q2p,qp2}) は同じ Q(9q2p2) のはずなので、(Q3) はこの組で破れている。Groenewold(1946)はこの議論を一般にして、次を示した。
定理 4.1.5(Groenewold の定理 ★★★)
q,p の多項式すべての上で要請 (Q1)〜(Q4) を同時に満たす写像 Q は存在しない。
この定理は「正準量子化は失敗している」という意味ではない。量子力学は古典力学を含むより広い理論で、括弧から交換子への規則は ℏ→0 で成り立つ対応にすぎない、という意味である。実際、式 (4.1.15) の補正はすべて ℏ2 以上なので、ℏ→0 では規則が回復する。古典の Hamiltonian から量子の Hamiltonian を作る手続きは、2次以下では一意に決まり、それより高い次数では ℏ2 の項の分だけ選択の余地が残る。その選択は理論の外から決めることになる。
Ehrenfest の定理と古典極限
規則が2次以下でしか厳密でないことは、期待値の運動に直接現れる。H=p2/(2m)+V(q) の Heisenberg 方程式 (4.1.2) に q^,p^ を入れると、例題 4.1.1 と同じ計算で [p^,V(q^)]/(iℏ)=−V′(q^) となるので、期待値は
dtd⟨q^⟩=m⟨p^⟩,dtd⟨p^⟩=−⟨V′(q^)⟩(4.1.18)
に従う(Ehrenfest の定理2P. Ehrenfest (1927), Z. Phys. 45, 455–457.)。古典の Hamilton 方程式と同じ形に見えるが、右辺は −V′(⟨q^⟩) でなく −⟨V′(q^)⟩ である。V が2次以下なら V′ は1次式で ⟨V′(q^)⟩=V′(⟨q^⟩) となり、期待値は古典軌道を厳密にたどる。3次以上では ⟨V′(q^)⟩ が波束の広がりに依存し、式 (4.1.18) は ⟨q^⟩,⟨p^⟩ だけでは閉じない。
図 4.1.2 は、V=λq4 の中で Gauss 型の波束を初速 0 で放したときの ⟨q^⟩ を、Schrödinger 方程式を数値的に解いて求め、同じ初期値の古典軌道と比べたものである。最初の半周期ほどは2つは近いが、波束が広がるにつれて量子の ⟨q^⟩ は古典軌道から外れ、振幅が小さくなっていく。4次のポテンシャルでは振動の周期が振幅によって変わるので、波束の中の各部分が異なる周期で振動し、位相がそろわなくなって平均がならされていくためである。調和振動子では周期が振幅によらないので、同じ計算で量子と古典の差は数値誤差(10−7 程度)しか生じない。

図 4.1.2 H=p2/2+q4(ℏ=m=λ=1 となる単位)で、中心 1.5、位置の標準偏差 0.3、⟨p^⟩=0 の Gauss 型の波束を放したときの ⟨q^⟩(点線、Schrödinger 方程式の数値解)と、q(0)=1.5, p(0)=0 の古典軌道(実線)。古典軌道は量子の期待値の近似にあたるので実線で描いた。
例題 4.1.5 4次のポテンシャルで期待値に働く力 ★★
オリジナルV(q)=λq4 の中で、位置の確率分布が中心 μ、標準偏差 σ の Gauss 分布になっている瞬間を考える。
- (1) dtd⟨p^⟩ を μ,σ,λ で表せ。
- (2) 古典の力 −V′(μ) との差は何に比例するか。図 4.1.2 の初期値(λ=1, μ=1.5, σ=0.3)で、量子の力と古典の力の値と比を求めよ。
- (3) 調和振動子 V=21mω2q2 では差が生じないことを確かめよ。
解答
(1) Ehrenfest の定理 (4.1.18) から dtd⟨p^⟩=−4λ⟨q^3⟩。q=μ+s と書くと s は平均 0、分散 σ2 の Gauss 分布に従い、奇数次の平均は 0 なので⟨q3⟩=μ3+3μ⟨s2⟩=μ3+3μσ2。よって
dtd⟨p^⟩=−4λ(μ3+3μσ2).
(2) 古典の力は −V′(μ)=−4λμ3 なので、差は −12λμσ2 で、波束の幅の2乗 σ2 に比例する。数値では、量子の力 −4(3.375+0.405)=−15.12、古典の力 −4×3.375=−13.5、比 1.12。最初から12% 強い力で引き戻されるので、量子の ⟨q^⟩ は古典軌道より早く原点を横切る(図 4.1.2 の t≈0.6 付近)。
(3) V′(q)=mω2q は1次式なので ⟨V′(q^)⟩=mω2⟨q^⟩=V′(⟨q^⟩)。σ がいくら大きくても差は生じない。命題 4.1.4 で、H が2次式なら規則が厳密になることの、期待値の言葉での言い換えである。
期待値の運動を古典軌道で置き換えることは、波束が狭い(σ がポテンシャルの変化する長さより十分小さい)極限での近似である。置き換えが成り立つ時間は、4次のポテンシャルのように周期が振幅に依存する系では、波束の広がりとともに短くなる。
近似の裏付け
型 B(極限) | 小さいもの σ/ℓ→0(ℓ∼∣V′′/V′′′∣ はポテンシャルが2次式から外れる長さ。ℏ→0 で波束を狭く保てる) | 証明 要確認(有限の時間の範囲で期待値が古典軌道に従うことの前提と誤差の大きさは、原論文で確かめていない) | 行き先 近似の数理 第7章
1 H. J. Groenewold (1946), Physica 12, 405–460;J. E. Moyal (1949), Proc. Cambridge Philos. Soc. 45, 99–124.
2 P. Ehrenfest (1927), Z. Phys. 45, 455–457.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com