量子力学の様々な構成方法 第2部 第1章 §2.1.2 ★★★ 位置 x ( t ) x(t) x ( t ) を2つの添字を持つ数の表に置き換えると、Ritz の結合則から表どうしの積は行列の積に決まり、積の順序が意味を持つ
1本の関数から、2つの添字を持つ表へ
古典の式 (2.1.1) では、位置 x ( t ) x(t) x ( t ) は「軌道 J J J を1つ選び、その軌道の Fourier 成分 X α ( J ) e i α ω ( J ) t X_\alpha(J)\mathrm{e}^{\mathrm{i}\alpha\omega(J)t} X α ( J ) e i α ω ( J ) t を α \alpha α について足したもの」である。前節の対応 α ω ( J ) ↔ ω n , n − α \alpha\omega(J)\leftrightarrow\omega_{n,n-\alpha} α ω ( J ) ↔ ω n , n − α 、X α ( J ) ↔ x n , n − α X_\alpha(J)\leftrightarrow x_{n,n-\alpha} X α ( J ) ↔ x n , n − α を使って、成分の1つ1つを量子の量に置き換える。
定義 2.1.1(遷移の表)
状態の番号 n , m = 0 , 1 , 2 , … n,m=0,1,2,\dots n , m = 0 , 1 , 2 , … を添字に持つ複素数 x n m x_{nm} x nm を並べ、各要素に時間の因子を付けた
x n m ( t ) = x n m e i ω n m t (2.1.8) x_{nm}(t)=x_{nm}\,\mathrm{e}^{\mathrm{i}\omega_{nm}t}\tag{2.1.8} x nm ( t ) = x nm e i ω nm t ( 2.1.8 )
の全体を、位置の遷移の表 と呼び、太字の立体 x ( t ) \mathbf x(t) x ( t ) で書く。運動量 p ( t ) \mathbf p(t) p ( t ) など、ほかの物理量も同じ形の表で表す。
古典の量 x ( t ) x(t) x ( t ) が実数であることは X − α = X α ∗ X_{-\alpha}=X_\alpha^* X − α = X α ∗ と書けた。量子の側で − α -\alpha − α に当たるのは逆向きの遷移 m → n m\to n m → n で、ω m n = − ω n m \omega_{mn}=-\omega_{nm} ω mn = − ω nm なので、実数であることの読み替えは
x m n = x n m ∗ (2.1.9) x_{mn}=x_{nm}^*\tag{2.1.9} x mn = x nm ∗ ( 2.1.9 )
になる。表を行列とみなすと、これはエルミート行列であることにほかならない。
時間微分は要素ごとにとる。d d t x n m ( t ) = i ω n m x n m ( t ) \frac{\mathrm{d} }{\mathrm{d} t}x_{nm}(t)=\mathrm{i}\omega_{nm}x_{nm}(t) d t d x nm ( t ) = i ω nm x nm ( t ) で、古典の d d t X α e i α ω t = i α ω X α e i α ω t \frac{\mathrm{d} }{\mathrm{d} t}X_\alpha\mathrm{e}^{\mathrm{i}\alpha\omega t}=\mathrm{i}\alpha\omega X_\alpha\mathrm{e}^{\mathrm{i}\alpha\omega t} d t d X α e i α ω t = i α ω X α e i α ω t と同じ形をしている。とくに運動量の表を p = m x ˙ \mathbf p=m\dot{\mathbf x} p = m x ˙ で定めると
p n m = i m ω n m x n m (2.1.10) p_{nm}=\mathrm{i} m\,\omega_{nm}\,x_{nm}\tag{2.1.10} p nm = i m ω nm x nm ( 2.1.10 )
になる。
積の規則は Ritz の結合則から決まる
運動方程式にはポテンシャル V ( x ) V(x) V ( x ) が入り、エネルギーには x 2 x^2 x 2 や p 2 p^2 p 2 が入る。したがって表どうしの積を決める必要がある。古典の側では、2つの Fourier 級数の積の第 γ \gamma γ 成分は畳み込みになる。
x ( t ) y ( t ) = ∑ γ ( ∑ α + β = γ X α Y β ) e i γ ω t . (2.1.11) x(t)y(t)=\sum_\gamma\Bigl(\sum_{\alpha+\beta=\gamma}X_\alpha Y_\beta\Bigr)\mathrm{e}^{\mathrm{i}\gamma\omega t}.\tag{2.1.11} x ( t ) y ( t ) = γ ∑ ( α + β = γ ∑ X α Y β ) e i γ ω t . ( 2.1.11 )
右辺の各項の振動数は α ω + β ω = γ ω \alpha\omega+\beta\omega=\gamma\omega α ω + β ω = γ ω で、足し算の規則のおかげで第 γ \gamma γ 成分にまとまる。
量子の側では、積 x y \mathbf x\mathbf y xy もまた遷移の表でなければならない。つまり ( n , m ) (n,m) ( n , m ) 要素は振動数 ω n m \omega_{nm} ω nm で振動していなければならない。2つの表の要素を掛けたもの x n k ( t ) y k ′ m ( t ) x_{nk}(t)y_{k'm}(t) x nk ( t ) y k ′ m ( t ) の振動数は ω n k + ω k ′ m \omega_{nk}+\omega_{k'm} ω nk + ω k ′ m で、これが ω n m \omega_{nm} ω nm に一致することをRitz の結合則 (2.1.4) が保証するのは k ′ = k k'=k k ′ = k のときである。「n n n から中間の状態 k k k を経て m m m へ」という並びだけが正しい振動数を持つので、Heisenberg は積を次のように定めた。
( x y ) n m ( t ) = ∑ k x n k ( t ) y k m ( t ) = ( ∑ k x n k y k m ) e i ω n m t . (2.1.12) (\mathbf x\mathbf y)_{nm}(t)=\sum_k x_{nk}(t)\,y_{km}(t)=\Bigl(\sum_k x_{nk}y_{km}\Bigr)\mathrm{e}^{\mathrm{i}\omega_{nm}t}.\tag{2.1.12} ( xy ) nm ( t ) = k ∑ x nk ( t ) y k m ( t ) = ( k ∑ x nk y k m ) e i ω nm t . ( 2.1.12 )
古典の畳み込み (2.1.11) で α = n − k \alpha=n-k α = n − k 、β = k − m \beta=k-m β = k − m と置くと α + β = n − m = γ \alpha+\beta=n-m=\gamma α + β = n − m = γ で、式 (2.1.12) はその量子版になっている。M. Born は、この規則が数学者の知っていた行列の積そのものであることに気づき、P. Jordan とともに理論を行列で書き直した1 1 M. Born and P. Jordan (1925), Z. Phys. 34 , 858–888. 。
行列力学の出発点の要請(前半)
(M1) 物理量は遷移の表 x ( t ) \mathbf x(t) x ( t ) (要素 x n m e i ω n m t x_{nm}\mathrm{e}^{\mathrm{i}\omega_{nm}t} x nm e i ω nm t 、エルミート)で表す。振動数 ω n m \omega_{nm} ω nm と振幅 x n m x_{nm} x nm が観測にかかる量で、軌道は理論に入れない。
(M2) 表の積は行列の積 (2.1.12) で定める。時間微分は要素ごとに i ω n m \mathrm{i}\omega_{nm} i ω nm を掛ける。
積の規則から、時間微分の Leibniz 則がそのまま成り立つ。実際、d d t ( x y ) n m = i ω n m ( x y ) n m = ∑ k i ( ω n k + ω k m ) x n k y k m = ( x ˙ y + x y ˙ ) n m \frac{\mathrm{d} }{\mathrm{d} t}(\mathbf x\mathbf y)_{nm}=\mathrm{i}\omega_{nm}(\mathbf x\mathbf y)_{nm}=\sum_k\mathrm{i}(\omega_{nk}+\omega_{km})x_{nk}y_{km}=(\dot{\mathbf x}\mathbf y+\mathbf x\dot{\mathbf y})_{nm} d t d ( xy ) nm = i ω nm ( xy ) nm = ∑ k i ( ω nk + ω k m ) x nk y k m = ( x ˙ y + x y ˙ ) nm で、2つ目の等号で再び結合則を使った。
積の順序
古典の積 (2.1.11) は x x x と y y y について対称だが、行列の積 (2.1.12) は一般に対称でない。( x y ) n m = ∑ k x n k y k m (\mathbf x\mathbf y)_{nm}=\sum_kx_{nk}y_{km} ( xy ) nm = ∑ k x nk y k m と ( y x ) n m = ∑ k y n k x k m (\mathbf y\mathbf x)_{nm}=\sum_ky_{nk}x_{km} ( yx ) nm = ∑ k y nk x k m は、中間の状態を通る道筋が違う別の和である。この非可換性は新しい性質で、次の2.1.4 節で、量子化条件そのものが x p − p x \mathbf x\mathbf p-\mathbf p\mathbf x xp − px という積の順序の差の形にまとまる。古典の関数 x p xp x p を表に直すときに x p \mathbf x\mathbf p xp と p x \mathbf p\mathbf x px のどちらを採るかという問題は、第2部第2章 で正準量子化の「順序の曖昧さ」として扱う。
例題 2.1.2 隣どうしだけをつなぐ表の2乗 ★★
オリジナル 位置の表の要素が、番号が1だけ違う状態の間でしか0でないとする。a n ≔ x n , n − 1 a_n\coloneqq x_{n,n-1} a n : = x n , n − 1 (n ≥ 1 n\ge1 n ≥ 1 )と書き、x n − 1 , n = a n ∗ x_{n-1,n}=a_n^* x n − 1 , n = a n ∗ 、それ以外の要素は0とする(a 0 = 0 a_0=0 a 0 = 0 )。
(1) x 2 \mathbf x^2 x 2 の0でない要素をすべて求めよ。
(2) 古典の x ( t ) = X 1 e i ω t + X 1 ∗ e − i ω t x(t)=X_1\mathrm{e}^{\mathrm{i}\omega t}+X_1^*\mathrm{e}^{-\mathrm{i}\omega t} x ( t ) = X 1 e i ω t + X 1 ∗ e − i ω t の2乗の Fourier 成分を求め、(1) と対応させよ。
(3) ( x 2 ) n n (\mathbf x^2)_{nn} ( x 2 ) nn は時間によらない。古典の側では何に当たるか。
解答 (1) ( x 2 ) n m = ∑ k x n k x k m (\mathbf x^2)_{nm}=\sum_kx_{nk}x_{km} ( x 2 ) nm = ∑ k x nk x k m の和で0でない項は k = n ± 1 k=n\pm1 k = n ± 1 だけで、さらに x k m ≠ 0 x_{km}\neq0 x k m = 0 には m = k ± 1 m=k\pm1 m = k ± 1 が要る。したがって m = n m=n m = n と m = n ± 2 m=n\pm2 m = n ± 2 だけが残る。
( x 2 ) n n = x n , n − 1 x n − 1 , n + x n , n + 1 x n + 1 , n = ∣ a n ∣ 2 + ∣ a n + 1 ∣ 2 , (\mathbf x^2)_{nn}=x_{n,n-1}x_{n-1,n}+x_{n,n+1}x_{n+1,n}=\lvert a_n\rvert ^2+\lvert a_{n+1}\rvert ^2, ( x 2 ) nn = x n , n − 1 x n − 1 , n + x n , n + 1 x n + 1 , n = ∣ a n ∣ 2 + ∣ a n + 1 ∣ 2 ,
( x 2 ) n , n − 2 = x n , n − 1 x n − 1 , n − 2 = a n a n − 1 , ( x 2 ) n − 2 , n = a n − 1 ∗ a n ∗ . (\mathbf x^2)_{n,n-2}=x_{n,n-1}x_{n-1,n-2}=a_na_{n-1},\qquad (\mathbf x^2)_{n-2,n}=a_{n-1}^*a_n^*. ( x 2 ) n , n − 2 = x n , n − 1 x n − 1 , n − 2 = a n a n − 1 , ( x 2 ) n − 2 , n = a n − 1 ∗ a n ∗ .
(2) x 2 = X 1 2 e 2 i ω t + 2 ∣ X 1 ∣ 2 + X 1 ∗ 2 e − 2 i ω t x^2=X_1^2\mathrm{e}^{2\mathrm{i}\omega t}+2\lvert X_1\rvert ^2+X_1^{*2}\mathrm{e}^{-2\mathrm{i}\omega t} x 2 = X 1 2 e 2 i ω t + 2 ∣ X 1 ∣ 2 + X 1 ∗ 2 e − 2 i ω t 。成分は γ = 0 \gamma=0 γ = 0 が 2 ∣ X 1 ∣ 2 2\lvert X_1\rvert ^2 2 ∣ X 1 ∣ 2 、γ = ± 2 \gamma=\pm2 γ = ± 2 が X 1 2 X_1^2 X 1 2 と X 1 ∗ 2 X_1^{*2} X 1 ∗ 2 である。(1) は γ = 0 \gamma=0 γ = 0 に ( x 2 ) n n (\mathbf x^2)_{nn} ( x 2 ) nn 、γ = 2 \gamma=2 γ = 2 に ( x 2 ) n , n − 2 (\mathbf x^2)_{n,n-2} ( x 2 ) n , n − 2 が対応する形になっている。古典の 2 ∣ X 1 ∣ 2 2\lvert X_1\rvert ^2 2 ∣ X 1 ∣ 2 は「同じ ∣ X 1 ∣ 2 \lvert X_1\rvert ^2 ∣ X 1 ∣ 2 を2回」だが、量子の側は n n n の下の遷移と上の遷移の振幅の2乗を1回ずつ足したもので、n n n が大きく a n a_n a n が n n n についてゆっくり変わる所でだけ 2 ∣ a n ∣ 2 2\lvert a_n\rvert ^2 2 ∣ a n ∣ 2 に近づく。
(3) 対角要素は ω n n = 0 \omega_{nn}=0 ω nn = 0 なので時間の因子を持たない。古典の γ = 0 \gamma=0 γ = 0 成分 2 ∣ X 1 ∣ 2 2\lvert X_1\rvert ^2 2 ∣ X 1 ∣ 2 は x 2 x^2 x 2 の1周期の時間平均で、( x 2 ) n n (\mathbf x^2)_{nn} ( x 2 ) nn はその量子版である。
1 M. Born and P. Jordan (1925), Z. Phys. 34 , 858–888.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com