量子力学入門 第7部 第2章 §7.2.5 ★ 位相空間の座標選び(背景)
動機:良い座標は問題を解いてしまう。
力学の問題が難しいか易しいかは、しばしば座標の選び方 で決まる。中心力は極座標で分離し、2体問題は重心・相対座標で分離する。Lagrange 形式でも座標変換 x → Q ( x ) x\to Q(x) x → Q ( x ) (点変換 )は自由だが、Hamilton 形式にはそれを大きく超える自由がある:位相空間 ( x , p ) (x,p) ( x , p ) を座標と運動量を混ぜて
X = X ( x , p ) , P = P ( x , p ) X=X(x,p),\qquad P=P(x,p) X = X ( x , p ) , P = P ( x , p )
と取り替えてよいのである。狙いはこうだ——新しい変数で見たとき Hamiltonian が簡単になる(究極的には循環座標だけになる・定数になる)ように変換を選べば、運動方程式は解く前に解けている 。この「うまい取り替え」の理論が正準変換であり、その極限形が次節の Hamilton–Jacobi 理論である。
定義と判定条件。
変換 ( x , p ) → ( X , P ) (x,p)\to(X,P) ( x , p ) → ( X , P ) が正準変換 であるとは、新変数でも力学が同じ形 ——ある新 Hamiltonian K ( X , P ) K(X,P) K ( X , P ) に対する正準方程式
X ˙ = ∂ K ∂ P , P ˙ = − ∂ K ∂ X \dot X=\frac{\partial K}{\partial P},\qquad \dot P=-\frac{\partial K}{\partial X} X ˙ = ∂ P ∂ K , P ˙ = − ∂ X ∂ K
——で書けることをいう。判定は Poisson 括弧で与えられる:
{ X , P } : = ∂ X ∂ x ∂ P ∂ p − ∂ X ∂ p ∂ P ∂ x = 1 ⟺ 正準変換 \boxed{\ \{X,P\}:=\frac{\partial X}{\partial x}\frac{\partial P}{\partial p}-\frac{\partial X}{\partial p}\frac{\partial P}{\partial x}=1\ }
\qquad\Longleftrightarrow\qquad\text{正準変換} { X , P } := ∂ x ∂ X ∂ p ∂ P − ∂ p ∂ X ∂ x ∂ P = 1 ⟺ 正準変換
(このとき任意の f , g f,g f , g の Poisson 括弧が新旧どちらの変数で計算しても同じ値になり、f ˙ = { f , H } \dot f=\{f,H\} f ˙ = { f , H } の構造がそっくり保たれる)。1自由度では { X , P } \{X,P\} { X , P } は変換の Jacobian そのものだから、この条件は位相空間の面積を保つ変換 と言い換えられる——Bohr–Sommerfeld 量子化(第5章)で「面積」が主役になることの伏線である。実際、正準方程式に従う時間発展そのものが面積を保存する(Liouville の定理 ;時間発展は H H H 自身が生成する正準変換の連続列である)。
簡単な例で感触をつかむ。(i) 点変換 X = λ x X=\lambda x X = λ x は、P = p / λ P=p/\lambda P = p / λ とセットで 正準になる({ X , P } = λ ⋅ 1 λ = 1 \{X,P\}=\lambda\cdot\frac1\lambda=1 { X , P } = λ ⋅ λ 1 = 1 )——座標を伸ばしたら運動量は同じ倍率で縮める。(ii) もっと過激に、X = p , P = − x X=p,\ P=-x X = p , P = − x (座標と運動量の入れ替え )も正準である。「何が座標で何が運動量か」は力学の構造からは決まらない——位相空間には本来、座標と運動量の区別すらないのである。
母関数:正準変換の作り方。
正準変換を場当たり的に探す代わりに、1つの関数から系統的に生成する 方法がある。新旧の力学が同じ運動を選ぶには、どちらの変分原理
δ ∫ ( p x ˙ − H ) d t = 0 , δ ∫ ( P X ˙ − K ) d t = 0 \delta\!\int\bigl(p\dot x-H\bigr)\mathrm{d} t=0,\qquad
\delta\!\int\bigl(P\dot X-K\bigr)\mathrm{d} t=0 δ ∫ ( p x ˙ − H ) d t = 0 , δ ∫ ( P X ˙ − K ) d t = 0
も成り立てばよく、それには2つの被積分関数がある関数 F F F の全微分 d F d t \frac{\mathrm{d} F}{\mathrm{d} t} d t d F の差しかもたなければ十分である(全微分の積分は端点だけで決まり、端点固定の変分に効かないから)。F F F を旧座標と新座標の関数 F ( x , X , t ) F(x,X,t) F ( x , X , t ) に取ると
p x ˙ − H = P X ˙ − K + d F d t = P X ˙ − K + ∂ F ∂ x x ˙ + ∂ F ∂ X X ˙ + ∂ F ∂ t p\dot x-H=P\dot X-K+\frac{\mathrm{d} F}{\mathrm{d} t}
=P\dot X-K+\frac{\partial F}{\partial x}\dot x+\frac{\partial F}{\partial X}\dot X+\frac{\partial F}{\partial t} p x ˙ − H = P X ˙ − K + d t d F = P X ˙ − K + ∂ x ∂ F x ˙ + ∂ X ∂ F X ˙ + ∂ t ∂ F
で、x ˙ , X ˙ \dot x,\dot X x ˙ , X ˙ の係数を比べて
p = ∂ F ∂ x , P = − ∂ F ∂ X , K = H + ∂ F ∂ t \boxed{\ p=\frac{\partial F}{\partial x},\qquad P=-\frac{\partial F}{\partial X},\qquad K=H+\frac{\partial F}{\partial t}\ } p = ∂ x ∂ F , P = − ∂ X ∂ F , K = H + ∂ t ∂ F
——関数 F F F を1つ決めるごとに正準変換が1つ生成される (F F F を母関数 という。独立変数の取り方で F ( x , X ) F(x,X) F ( x , X ) 型のほか F ( x , P ) F(x,P) F ( x , P ) 型などの変種があり、相互に Legendre 変換で移り合う)。
例題 2.2(調和振動子を作用・角変数へ——「解く前に解けている」の実演 ★)
オリジナル 母関数 F ( x , θ ) = m ω x 2 2 cot θ F(x,\theta)=\dfrac{m\omega x^2}{2}\cot\theta F ( x , θ ) = 2 mω x 2 cot θ が生成する正準変換を求め、調和振動子 H = p 2 2 m + m ω 2 x 2 2 H=\dfrac{p^2}{2m}+\dfrac{m\omega^2x^2}{2} H = 2 m p 2 + 2 m ω 2 x 2 を新変数で書け。
解答 生成の規則(新座標を θ \theta θ 、新運動量を J J J とする)より
p = ∂ F ∂ x = m ω x cot θ , J = − ∂ F ∂ θ = m ω x 2 2 sin 2 θ . p=\frac{\partial F}{\partial x}=m\omega x\cot\theta,\qquad
J=-\frac{\partial F}{\partial\theta}=\frac{m\omega x^2}{2\sin^2\theta}. p = ∂ x ∂ F = mω x cot θ , J = − ∂ θ ∂ F = 2 sin 2 θ mω x 2 .
第2式を x x x について解き、第1式に代入すると
x = 2 J m ω sin θ , p = 2 J m ω cos θ x=\sqrt{\frac{2J}{m\omega}}\,\sin\theta,\qquad
p=\sqrt{2Jm\omega}\,\cos\theta x = mω 2 J sin θ , p = 2 J mω cos θ
({ x , p } ( θ , J ) = 1 \{x,p\}_{(\theta,J)}=1 { x , p } ( θ , J ) = 1 となること、すなわち正準性は SymPy でも確認済み)。Hamiltonian に代入すると cos 2 + sin 2 = 1 \cos^2+\sin^2=1 cos 2 + sin 2 = 1 が起きて
H = J ω cos 2 θ + J ω sin 2 θ = ω J H=J\omega\cos^2\theta+J\omega\sin^2\theta=\boxed{\ \omega J\ } H = J ω cos 2 θ + J ω sin 2 θ = ω J
——座標 θ \theta θ が消えた (循環座標)。新変数での正準方程式は
θ ˙ = ∂ H ∂ J = ω , J ˙ = − ∂ H ∂ θ = 0 \dot\theta=\frac{\partial H}{\partial J}=\omega,\qquad
\dot J=-\frac{\partial H}{\partial\theta}=0 θ ˙ = ∂ J ∂ H = ω , J ˙ = − ∂ θ ∂ H = 0
と自明で、θ = ω t + θ 0 \theta=\omega t+\theta_0 θ = ω t + θ 0 、J = J= J = const.——「振動を解く」作業が変数の選び方に吸収されて 消滅した。これが正準変換の「うれしさ」の実演である。しかもこの J J J は、位相空間の楕円軌道について
1 2 π ∮ p d x = 1 2 π ∫ 0 2 π p d x d θ d θ = 1 2 π ∫ 0 2 π 2 J cos 2 θ d θ = J \frac{1}{2\pi}\oint p\,\mathrm{d} x
=\frac{1}{2\pi}\int_0^{2\pi}\!p\,\frac{\mathrm{d} x}{\mathrm{d}\theta}\,\mathrm{d}\theta
=\frac{1}{2\pi}\int_0^{2\pi}\!2J\cos^2\theta\,\mathrm{d}\theta=J 2 π 1 ∮ p d x = 2 π 1 ∫ 0 2 π p d θ d x d θ = 2 π 1 ∫ 0 2 π 2 J cos 2 θ d θ = J
——§7.2.7 の作用変数そのもの であり、( θ , J ) (\theta,J) ( θ , J ) は角変数・作用変数 の組にほかならない。E = ω J E=\omega J E = ω J は ω = d E / d J \omega=\mathrm{d} E/\mathrm{d} J ω = d E / d J の実例でもある。■ \blacksquare ■
量子論との接続:正準変換の量子版はユニタリ変換。
この節の構造は、量子力学の読者には既視感があるはずだ。対応は次のとおりである。
保存すべき構造 :古典の正準変換は { X , P } = 1 \{X,P\}=1 { X , P } = 1 を保つ変換だった。量子力学でその役を担うのがユニタリ変換 X ^ = U ^ † x ^ U ^ , P ^ = U ^ † p ^ U ^ \hat X=\hat U^\dagger\hat x\hat U,\ \hat P=\hat U^\dagger\hat p\hat U X ^ = U ^ † x ^ U ^ , P ^ = U ^ † p ^ U ^ である:相似変換は交換子を保つから [ X ^ , P ^ ] = U ^ † [ x ^ , p ^ ] U ^ = i ℏ \left[\hat X,\,\hat P\right]=\hat U^\dagger\left[\hat x,\,\hat p\right]\hat U=\mathrm{i}\hbar [ X ^ , P ^ ] = U ^ † [ x ^ , p ^ ] U ^ = i ℏ ——Dirac の辞書 { , } ↔ [ ⋅ , ⋅ ] / i ℏ \{,\}\leftrightarrow\left[\cdot,\,\cdot\right]/\mathrm{i}\hbar { , } ↔ [ ⋅ , ⋅ ] / i ℏ がそのまま「正準変換 ↔ \leftrightarrow ↔ ユニタリ変換」に持ち上がる。上の例 (i)(スケール変換 x → λ x , p → p / λ x\to\lambda x,\ p\to p/\lambda x → λ x , p → p / λ )はスクイージング(拡大縮小)のユニタリに、例 (ii)(X = p , P = − x X=p,\ P=-x X = p , P = − x )はFourier 変換 に対応する——「波動関数を運動量表示に書き換える」操作は、量子版の正準変換なのである。
生成子 :恒等変換に近い微小正準変換は、1つの関数 G ( x , p ) G(x,p) G ( x , p ) から δ f = ε { f , G } \delta f=\varepsilon\{f,G\} δ f = ε { f , G } の形で生成される(例:G = p G=p G = p が並進、G = H G=H G = H が時間発展そのもの)。量子側の対応物はまさに U ^ = e − i ε G ^ / ℏ \hat U=\mathrm{e}^{-\mathrm{i}\varepsilon\hat G/\hbar} U ^ = e − i ε G ^ /ℏ ——第2部『対称性と結晶バンド』の第2章の「対称性 ⇔ \Leftrightarrow ⇔ 保存量」の定理で使った生成子の概念は、古典側では「微小正準変換の母」だったのである。
面積保存の行き先 :正準変換・時間発展が位相空間の面積を保つ(Liouville)ことの量子版が、ユニタリ性=確率の保存 である。さらに Bohr–Sommerfeld の描像(面積 h h h につき1状態;第5章)と合わせると、「時間発展やパラメータの断熱変化で状態の数 が保存される」ことの半古典的な理由も面積保存に帰着する。
作用・角変数の量子版 :上の例題の H = ω J H=\omega J H = ω J と、調和振動子の代数的解法 H ^ = ℏ ω ( N ^ + 1 2 ) \hat H=\hbar\omega(\hat N+\tfrac12) H ^ = ℏ ω ( N ^ + 2 1 ) (第8部『時間依存摂動論とダイナミクス』の第0章§0.1)を見比べてほしい。対応は J ↔ ℏ ( N + 1 2 ) J\leftrightarrow\hbar(N+\tfrac12) J ↔ ℏ ( N + 2 1 ) ——生成消滅演算子 a ^ , a ^ † \hat a,\hat a^\dagger a ^ , a ^ † による対角化は、作用・角変数への正準変換の量子版 である(実際 a ^ ∝ m ω x ^ + i p ^ / m ω \hat a\propto\sqrt{m\omega}\hat x+\mathrm{i}\hat p/\sqrt{m\omega} a ^ ∝ mω x ^ + i p ^ / mω は古典側の複素座標 J e − i θ \sqrt{J}\,\mathrm{e}^{-\mathrm{i}\theta} J e − i θ に対応する)。調和振動子で Bohr–Sommerfeld が厳密になった(第5章例題5.1)のは、この系では「量子版の作用・角変数変換」が厳密に遂行できることの反映と読める。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com