ハイゼンベルク行列力学の導出

ハイゼンベルク行列力学の導出 ボーア・ゾンマーフェルトの量子条件 \[\oint pdx = nh\tag \] はフーリエ展開の形で、古典論と量子の世界の対応をつけながら書き直すと、 \[\sum_a \left(P_X_ - X_P_\right) = \frac \tag\]

ボーア・ゾンマーフェルトの量子条件 \[\oint pdx = nh\tag\] はフーリエ展開の形で、古典論と量子の世界の対応をつけながら書き直すと、 \[\sum_a \left(P_X_ - X_P_\right) = \frac\tag\] という形になるのだった。\(P_,X_\)はどういうものだったかというと、古典論からの類推によって位置や運動量を量子論的にフーリエ展開したもので、 \begin x(t)&=\sum_n X_ e^ \\ p(t)&=\sum_n P_ e^ \tag \end となるような係数のことだった。言うのを忘れていたが、この\(P_,X_\)はそれぞれ運動量、位置の

2.正準交換関係

\(X,P\)をそれぞれその\(mn\)成分が\(X_,P_\)となるような行列だとしよう。さらに(2)式を少し書き換えると、 \[\sum_k \left(P_X_ - X_P_\right) = \frac\tag\] とできるはずだ。この式をよーくみてみると、 \[(PX)_=\sum_k P_X_\tag\] というふうに、\(PX\)の対角線成分を表していることがわかる。よって、(4)は行列の計算を用いて次のように書き直せる。 \[(PX-XP)_ = \frac\tag\] 対角線成分を決める式は(6)でいいんだけども、それ以外の成分はどうなっているだろうか。ここまでの手がかりは何もない。そこでここで重要な仮定を入れる。非対角線成分を0と仮定してしまうのだ。その物理的意味とか動機はいまのところ特になくて、そうすると数学的な取り扱いが簡単になる、というだけだ。しかし、このような仮定を入れて計算を進めていくと、うまいこと実験を説明できてしまう。

対角線成分だけが1であるような行列はご存知の通り単位行列\(I\)だから、 \[PX-XP = \fracI\] \[XP-PX = i\hbar I \tag\] となる。これが

こういうことだから、そもそも(3)のようにそれぞれの周波数成分を足し合わせたものが意味を持つというよりは、実は位置や運動量というのは、量子の世界では行列によって表現されるものだと考えるほうが筋がいいかもしれない。足し合わせをしないといけなかったのは、あくまで古典の世界との橋渡しのためだったと考えるのだ。そこで、量子力学的な位置・運動量を \begin x_ &= X_e^ \\ p_ &= P_e^ \tag \end と定義しよう。こいつらはそれぞれ位置・運動量の

ついでだから、XPに対して(7)の交換関係が成り立っているとき、この遷移成分にも(7)のような交換関係が成り立っていることを示しておこう。 \begin (xp-px)_&=\sum_k \left(x_p_ - x_p_\right)\\ &= \sum_k \left(X_e^ P_e^ - P_e^ X_e^ \right)\\ &= \sum_k \left(X_P_- P_X_\right)e^\\ &= i\hbar\delta_e^\\ &= i\hbar\delta_e^ \end となる。\(\omega_+\omega_ = \omega_\)という関係式(Rydbergの振動数関係、原子のスペクトルはこういうものだった)をつかった。また、最後の\(\omega_\)というのは遷移をしていないということだからこれは0でつまり\(e^ \)は1になる。よって、遷移成分x,pの間にも \[xp-px=i\hbar I\tag\] となることが示せた。よく書かれるように、交換子\([x,p]=xp-px\)を使うと、 \[[x,p]=i\hbar I \tag\] である。

3.交換関係=微分!!

(9)の交換関係は、実は微分の役割をするということが発見された。どういうことかというのを実際に計算してみよう。例えば、\(x^2\)と運動量pとの交換子を計算してみる。 \begin [p,x^2] &= px^2 - x^2p \\ &= px(x) - x(xp) \\ &= (xp-i\hbar)x - x(px+i\hbar) \\ &= -i\hbar(2x) \end つまり、 \[[p,x^2]=-i\hbar\fracx^2\tag\] となっている。こういう意味で交換関係は微分の役割を果たしており、\([p,*]\)というのは\(\partial/\partial x\)に等しいような感じがする。少し計算すれば、\(xp\)や\(x^n\)みたいな関数にも(11)のような関係が成り立つことがわかる。

一般化すると、任意の関数(とはいっても行列である)\(f(x,p)\)について \[[p,f]=-i\hbar\frac\tag\] が言えそうだ。実は、位置に対する交換子も \[[x,f]=i\hbar\frac\tag\] ということができるのだが、これを証明してみよう。

積については少し考えないといけない。こっちは最初っから一般化して、(12),(13)が成り立っているような\(f,g\)があったときに\(fg\)という量が(12),(13)を成立させることを示してみよう。ここでは(13)式だけを示しておく。右辺から計算を進めていく。 \begin i\hbar\frac &= i\hbar f\frac + i\hbar\fracg\\ &= f[x,g] + [x,f]g\\ &= f(xg-gx)+(xf-fx)g\\ &= xfg-fgx\\ &= [x,fg] \end となって、確かにできていることが確認できた。これで、\(x,p\)の和や積で表される式、つまり任意の多項式\(f(x,p)\)について(12),(13)が成り立っていることがわかる。さらにこのことから、数学的な細かいことを言わないことにすれば、\(x,p\)のテイラー展開で表せる任意の関数\(f(x,p)\)について成り立つことがわかるだろう。

4.運動方程式

ハミルトニアン\(H(x,p)\)というのは、例えば調和振動子なら、\(H(x,p) = \frac+\fracx^2\)となるようなx,pに対する関数だから、(14)式を使って、 \[ \left\ \dot&=\frac[x,H] \\ \dot

&=\frac[p,H] \end\right. \tag \] となる!!x,pに対して全く対称的な式が出てきた。ということは、だ。さっき交換子が微分になっていることを証明したのと全く同じように、任意の関数\(f(x,p)\)について、 \[\dot=\frac[f,H]\tag\] が言えるはずである。つまり、ある物理量\(f\)の時間発展はこの一つの式によって説明されてしまう、という素晴らしい式ができたのだ。

© 2014-2018 物理とか All Rights Reserved