量子力学の様々な構成方法 第2部 第3章 §2.3.3 ★★★ 2次の Hamiltonian では古典の解がそのまま演算子の厳密解になる。共通例題③の波束の広がりと①の行列要素の時間変化をこの形で出す
2次の Hamiltonian と線形の運動方程式
正準変数を1列に並べて ξ^=(q^1,…,q^f,p^1,…,p^f)T と書くと、正準交換関係は[ξ^a,ξ^b]=iℏJab、J=(0−110)(各成分は f×f のブロック)とまとまる。Hamiltonian が H^=21∑c,dξ^cScdξ^d(S は実対称行列)の2次形式なら、
[ξ^a,H^]=21c,d∑Scd(iℏJacξ^d+ξ^ciℏJad)=iℏ(JSξ^)a
となる(S の対称性で2つの項がそろう)。したがって (E2) は
dtdξ^=JSξ^,ξ^(t)=M(t)ξ^(0),M(t)=eJSt(2.3.7)
になる。古典の Hamilton 方程式は ξ˙=JSξ で、係数行列はまったく同じである。M(t) はMTJM=J を満たすシンプレクティック行列で、古典ではこれが正準変換の条件、量子ではこれが交換関係[ξ^a(t),ξ^b(t)]=iℏJab の保存の条件である。1次の項(一様な力)を足しても、方程式に定数項が加わるだけで同じことが言える。
2次の Hamiltonian では古典の解が厳密解
H^ が正準変数の2次以下なら、Heisenberg 方程式の解は「古典の解 ξ(t)=M(t)ξ(0) の初期値を演算子に置き換えたもの」である。したがって期待値 ⟨ξ^(t)⟩ と2次のモーメント(分散と相関)は、同じ初期の平均と分散を持つ古典の集団とまったく同じ式で動く。量子らしさは初期状態の側(不確定性関係 ΔqΔp≥ℏ/2)にだけ入る。
共通例題③:自由粒子の波束の広がり
自由粒子 H^=p^2/(2m) では、方程式は x^˙=p^/m、p^˙=0 で、解は
x^(t)=x^+mp^t,p^(t)=p^(2.3.8)
である(右辺の x^、p^ は時刻0の演算子)。任意の状態での位置の分散 σ(t)2=⟨x^(t)2⟩−⟨x^(t)⟩2 は
σ(t)2=σ02+m2Ct+m2(Δp)2t2,C=21⟨x^p^+p^x^⟩−⟨x^⟩⟨p^⟩(2.3.9)
となる。x^p^ と p^x^ が等しくないので、相関 C は対称化して定める必要がある。初めの位置と運動量の相関が無く(C=0)、不確定性関係を等号で満たす Gauss 波束(Δp=ℏ/(2σ0))では
σ(t)2=σ02+(2mσ0ℏt)2(2.3.10)
で、巻の共通例題③の正答と同じ形になる。導き方は Schrödinger 方程式を解かずに、式 (2.3.8) の2乗の期待値を取っただけである。位置の幅 σ0=1nm の電子の波束は、ℏt/(2mσ0)=3σ0 となる t=23mσ02/ℏ=2.99×10−14s で幅が2倍になる。式 (2.3.9) は、同じ平均と分散を持つ古典の粒子の集団が自由に飛ぶときの位置の分散と同じ式である。波束の広がりは、量子力学に特有の現象ではなく、初めの運動量にばらつきがあることの帰結である。

図 2.3.1 自由粒子の Gauss 波束の位置の幅。どちらも式 (2.3.9) の厳密な値(点線)。青は相関の無い波束で共通例題③の式 (2.3.10)、赤は例題 2.3.3 の負の相関を持つ波束で、t=0.8mσ02/ℏ で幅が σ0/5 まで縮んでから広がる。
共通例題①:調和振動子の行列要素の時間変化
調和振動子 H^=p^2/(2m)+mω2q^2/2 では q^˙=p^/m、p^˙=−mω2q^ で、解は古典と同じく
q^(t)=q^cosωt+mωp^sinωt,p^(t)=p^cosωt−mωq^sinωt(2.3.11)
である。Lie 級数 (2.3.5) で [q^,H^]=iℏp^/m、[p^,H^]=−iℏmω2q^ を繰り返し使っても、cosωt と sinωt の Taylor 級数がそのまま現れる。a^=(mωq^+ip^)/2mℏω にまとめるとa^(t)=a^e−iωt、a^†(t)=a^†eiωt である。
スペクトル En=ℏω(n+21) と数の基底 ∣n⟩(第2部第4章で代数だけから出す)を使うと、q^=ℏ/(2mω)(a^+a^†) の行列要素は
qn+1,n(t)=2mω(n+1)ℏeiωt,qn−1,n(t)=2mωnℏe−iωt(2.3.12)
で、ほかは0である。ωn+1,n=(En+1−En)/ℏ=ω だから、これは式 (2.3.6) の eiωnmt と一致し、第2部第1章の振幅 ∣xn+1,n∣2=(n+1)ℏ/(2mω) とも一致する。調和振動子では Bohr の振動数がすべて古典の ω に等しいので、期待値 ⟨q^(t)⟩ は状態によらず古典と同じ角振動数 ω で振動し、形も崩れない。2.3.5 節では、この性質が非線形の系で失われることを見る。
例題 2.3.3 いったん縮む波束 ★★
オリジナル自由粒子の初期状態を、位置の向きに位相の傾きを持つ Gauss 波束
ψ0(x)=(2πσ02)−1/4exp(−4σ02x2−ikx2)(k>0)
とする。
- (1) ⟨x^⟩=⟨p^⟩=0、⟨x^2⟩=σ02、(Δp)2=(ℏ/2σ0)2+(2ℏkσ0)2、C=−2ℏkσ02 を示せ。
- (2) 式 (2.3.9) から、幅が最小になる時刻 t∗ と最小の幅 σmin を求め、σminΔp=ℏ/2 を確かめよ。
- (3) 2kσ02=1 のとき t∗ と σmin/σ0 を数で求めよ。
解答
(1) ∣ψ0∣2 は分散 σ02 の正規分布なので ⟨x^⟩=0、⟨x^2⟩=σ02。p^ψ0=−iℏψ0′=iℏ(2σ02x+2ikx)ψ0 だから、p^ψ0=ℏ(2σ02i−2k)xψ0 である。⟨p^⟩ は x について奇関数の積分で0。⟨p^2⟩=∥p^ψ0∥2=ℏ2(4σ041+4k2)σ02 から(Δp)2=(ℏ/2σ0)2+(2ℏkσ0)2。⟨x^p^⟩=ℏ(2σ02i−2k)σ02=2iℏ−2ℏkσ02 で、⟨p^x^⟩=⟨x^p^⟩∗ だから C=Re⟨x^p^⟩=−2ℏkσ02。
(2) σ(t)2 は t の2次式で、dtdσ2=2C/m+2(Δp)2t/m2=0 から t∗=−mC/(Δp)2=2mℏkσ02/(Δp)2>0。代入すると σmin2=σ02−C2/(Δp)2=(σ02(Δp)2−C2)/(Δp)2 で、σ02(Δp)2−C2=σ02(ℏ/2σ0)2=ℏ2/4 だから σminΔp=ℏ/2。Δp は時間によらないので、最も縮んだ時刻の波束は相関の無い最小不確定の Gauss 波束になっている。
(3) ℏ=m=σ0=1 の単位で k=1/2 とすると (Δp)2=41+1=45、C=−1。t∗=1/(5/4)=0.8、σmin2=41/45=51。すなわち t∗=0.8mσ02/ℏ、σmin=σ0/5≈0.447σ0(図 2.3.1 の赤)。古典の集団でも、後ろの粒子ほど速い(位置と速度が負に相関する)集団は、いったん集まってから散らばる。式は同じである。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com