量子力学Ⅰ/物理量の固有関数 の履歴(No.7)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 量子力学Ⅰ/物理量の固有関数 へ行く。
概要†
いくつかの物理量演算子の固有関数は量子力学的にも、数学的にも非常に重要な物となるため、 ここでまとめて学んでおこう。
ハミルトニアン†
演習:箱の中の自由粒子 = 正弦級数†
箱の中の自由粒子に対して、ハミルトニアンの固有関数は正弦波となることを見た。
ただし
この関数系は という境界条件の下で正規直交完全系を為す。
(1) のとき、 を示せ。
(2) のとき、 を示せ。
(3) のとき、
&math(f(x)=\begin{cases} x&(0<x<1/2)\\ x-1&(1/2<x<1) \end{cases});
を の形に展開せよ。
解説†
(3) の与式は下図で Target として示したように に不連続点を持つが、 このような関数に対しても上記の無限級数は収束する。
この様子を見るために、展開係数を までで打ち切った場合の関数形を示した。 次数が高くなるに従い、より正確に元の関数を表わしていることが分かる。
グラフからも分かるように、展開後の式は定義域を拡大すれば周期 の周期関数となる。
上記の関数系は を満たす周期 の周期関数について完全系をなすと考えることもできる。
完全な自由粒子 = 複素フーリエ変換†
自由粒子のハミルトニアン演算子に対する固有値問題は、
であるが、これは運動量演算子の固有値問題
が解ければ
のように解けてしまうため、そちらで考えることにする。
すなわち、自由粒子に対しては運動量の固有関数はハミルトニアンの固有関数にもなっている。 このような固有関数を同時固有関数と呼ぶ*1一般に、演算子 が交換するとき 一方の固有関数は両者の同時固有関数となる。
運動量 = フーリエ変換†
運動量に対する固有値問題は
すなわち、
と書けて、この固有関数は
である。ただしこの関数のノルムは
&math( \iiint |\varphi_{\bm k}(\bm r)|^2\,d\bm r &=\iiint |e^{i\bm k\cdot\bm r}|^2\,d\bm r\\ &=\iiint 1\,d\bm r\\ &=\infty\\ );
のように発散してしまい、規格化することができない。
直交関係についても
&math( \iiint \varphi_{\bm k'}^*(\bm r)\varphi_{\bm k}(\bm r)\,d\bm r &=\iiint e^{i(\bm k-\bm k')\cdot\bm r}\,d\bm r\\ &=\begin{cases} \infty&(\bm k'=\bm k)\\ 有限だが不定&(\bm k'\ne\bm k)\\ \end{cases} );
のように、あと一歩のところで(?)一筋縄ではいかない。
この発散や不定の原因は積分範囲が無限であり、 固有値が連続であるところにある。 そこで一旦積分範囲を有限にとって理解を深めることにする。
複素フーリエ展開†
整数 に対して の範囲で
を定義すれば、これらは一次元運動量演算子の固有関数であり、さらに次の正規直交条件を満たす。
&math(\int_{-l/2}^{l/2}\varphi_n^*(x)\varphi_m(x)\,dx &=\frac{1}{\,l\,}\int_{-l/2}^{l/2}e^{i2\pi(m-n)x/l}\,dx\\ &=\delta_{nm});
また、任意の に対して は を満たす、 周期 の周期関数である。
この は周期 を持つ周期関数に対して正規直交完全形となる。 すなわち周期 の任意の周期関数 を、
ただし、
と展開できる。
この展開は複素フーリエ級数展開と呼ばれ、量子力学以外でも広い範囲の応用がある。
実フーリエ級数展開†
複素フーリエ級数展開において、 が実関数、つまり である場合、 に注意して、
&math(f^*(x)&=\sum_{n=-\infty}^\infty c_n^*\varphi_n^*(x)&\\ &=\sum_{n=-\infty}^\infty c_n^*\varphi_{-n}(x)&\\ &=\sum_{n'=-\infty}^\infty c_{-n'}^*\varphi_{n'}(x)\\ &=\sum_{n=-\infty}^\infty c_n\varphi_n(x)=f(x));
より、
を得る。このとき、
&math(f(x) &=c_0\varphi_0(x)+\sum_{n=1}^\infty \Big(c_n\varphi_n(x)+c_{-n}\varphi_{-n}(x)\Big)\\ &=c_0\varphi_0(x)+\sum_{n=1}^\infty \Big(c_n\varphi_n(x)+c_n^*\varphi_n^*(x)\Big)\\ &=c_0\varphi_0(x)+\sum_{n=1}^\infty \mathrm{Re}\Big(c_n\varphi_n(x)\Big)\\ );
と置けば、
&math(\mathrm{Re}\Big(c_n\varphi_n(x)\Big) &=\frac{1}{\sqrt{l\,}}\mathrm{Re}\Big[(a_n-ib_n)\Big(\cos (2\pi n x/l)+i\sin(2\pi n x/l)\Big)\Big]\\ &=\frac{1}{\sqrt{l\,}}\Big(a_n\cos (2\pi n x/l)+b_n\sin(2\pi n x/l)\Big)\\ );
であるから、
&math(f(x) &=a_0\frac{1}{\sqrt{l\,}}+\sum_{n=1}^\infty \Big(a_n\frac{1}{\sqrt{l\,}}\cos (2\pi n x/l)+b_n\frac{1}{\sqrt{l\,}}\sin(2\pi n x/l)\Big)\\ );
と表せることになる。係数を調整して、
&math(f(x) &=a_0\sqrt{\frac{1}{l\,}}+\sum_{n=1}^\infty \Big(a_n\sqrt{\frac{2}{l\,}}\cos (2\pi n x/l)+b_n\sqrt{\frac{2}{l\,}}\sin(2\pi n x/l)\Big)\\ );
と書けば、ここに現れた は正規直交となるため*2係数に現れた の正体は、 に対する補正である、
のように係数を決定できる。
この展開は実フーリエ級数展開と呼ばれる。
フーリエ変換†
複素フーリエ展開において とすると であるから、 と置けば、
&math( f(x) &=\sum_{n=-\infty}^\infty c_n\frac{1}{\sqrt{l\,}}e^{i2\pi nx/l}\\ &=\sum_{n=-\infty}^\infty \frac{\sqrt{l\,}}{2\pi}c_ne^{in\Delta kx}\Delta k\\ &=\frac{1}{2\pi}\int_{-\infty}^\infty \bigl(\sqrt{l\,}c_k\bigr)e^{ikx}dk );
一方、
より、
そこで、 と書き直すと、
を得る。
から
への変換はフーリエ変換、
から
への変換は逆フーリエ変換と呼ばれる。
ディラックのデルタ関数†
フーリエ変換の公式を逆フーリエ変換の公式に代入すれば、
&math( F(k)&=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^\infty e^{-ikx}\left[\frac{1}{\sqrt{2\pi}}\int_{-\infty}^\infty F(k')e^{ik'x}dk'\right]dx\\ &=\frac{1}{2\pi}\int_{-\infty}^\infty\int_{-\infty}^\infty e^{-ikx} F(k')e^{ik'x}dk'dx\\ &=\int_{-\infty}^\infty\underbrace{\left[\frac{1}{2\pi}\int_{-\infty}^\infty e^{i(k'-k)x} dx\right]}_{\delta(k'-k)}F(k')dk'\\ );
ここで、式中に示した括弧内を と書けば、この関数
は任意の に対して
を満たすことが分かる。
この関数の形状を思い浮かべるために、 の積分範囲を に制限した関数 を についてプロットした。
においては、 の値によらず となるため、 に比例して は大きな値を取る。
では異なる に対して の位相が異なった物となるために 互いに打ち消し合い、積分範囲を増やしても値は大きくならない。
その結果、積分範囲 を大きくしていくと共に は正の無限大に発散し、 においてはゼロの周りを振動する周期が無限小に短くなる。 このとき、ゼロを含まない任意の範囲 で の積分はゼロとなるため、実質的に と見なせる*3上では同じ積分を不定であるとしたのにもかかわらず、ここではゼロになるとしていることに注意せよ。デルタ関数は のように積分して初めて意味を持つため「ゼロと見なして構わない」という意味である。。
この はディラックのデルタ関数と呼ばれ、以下の性質を持つ。
はステップ関数と呼ばれる
特に、
の性質はクロネッカーのデルタの連続変数版と見なせることに注意せよ。
運動量の固有関数の規格化†
運動量の固有関数を確率密度関数として規格化することはできないが、 上で見たとおり、
であるから、
と置くことにより、
として、正規直交系としての規格化が可能である。
連続固有値の際の正規直交性はこのように、デルタ関数を用いて表わされることになる。 クロネッカーのデルタとデルタ関数との類似性に注目せよ。
3次元の場合には、
と置けば、
&math(\iiint \varphi_{\bm k}^*(\bm r)\varphi_{\bm k'}(\bm r) d\bm r=\delta^3(\bm k'-\bm k) =\delta(k'_x-k_x)\delta(k'_y-k_y)\delta(k'_z-k_z));
となる。
位置 = ディラックのデルタ関数†
位置の演算子は であるから、 その固有値問題は
の形になる。変形して、
より、 において でなければならないことが分かる。
残るは の1点の値のみであるから この値は規格化によって決めれば良いのであるが、 運動量の場合と同様に、ここでも固有値が連続であるため その規格化は正規直交条件により行うことになる。
正規直交性は、
この関係は と置けば満たされる。
&math(\int_{-\infty}^\infty \delta(\underbrace{x-\lambda'\rule[-2mm]{0mm}{1mm}}_{=\,x'})\delta(x-\lambda)dx &=\int_{-\infty}^\infty \delta(x')\underbrace{\delta(x'+\lambda'-\lambda)}_{f(x')}dx'\\ &=\underbrace{\delta(\lambda'-\lambda)}_{f(0)} );
このとき展開は、
となり、展開係数は 自身となる。
角運動量 = 球面調和関数†
古典論において、原点を中心とした角運動量は として定義された。
量子論においても角運動量演算子は
&math( \hat{\bm l}&=\hat{\bm r}\times\hat{\bm p}\\ &=\begin{pmatrix} yp_z-zp_y\\ zp_x-xp_z\\ xp_y-yp_x\\ \end{pmatrix} =\frac{\hbar}{i}\begin{pmatrix} y\frac{\PD}{\PD z}-z\frac{\PD}{\PD y}\\ z\frac{\PD}{\PD x}-x\frac{\PD}{\PD z}\\ x\frac{\PD}{\PD y}-y\frac{\PD}{\PD x}\\ \end{pmatrix} =\begin{pmatrix} \hat l_x\\ \hat l_y\\ \hat l_z\\ \end{pmatrix} );
のように定義される。例えば
&math( &\hat l_x\hat l_y-\hat l_y\hat l_x\\ &=\big(y\hat p_z-z\hat p_y\big)\big(z\hat p_x-x\hat p_z\big)-\big(z\hat p_x-x\hat p_z\big)\big(y\hat p_z-z\hat p_y\big)\\ &=y\hat p_z(z\hat p_x)-\cancel{xy\hat p_z^2}-\cancel{z^2\hat p_x\hat p_y}+xz\hat p_y\hat p_z
- yz\hat p_x\hat p_z+\cancel{z^2\hat p_x\hat p_y}+\cancel{xy\hat p_z^2}-x\hat p_z(z\hat p_y)\\ &=y\hat p_x+\cancel{yz\hat p_x\hat p_z}+\cancel{xz\hat p_y\hat p_z}-\cancel{yz\hat p_x\hat p_z}-x\hat p_y-\cancel{xz\hat p_y\hat p_z}\\ &=-(x\hat p_y-y\hat p_x)\\ &=-\hat l_z );
であるから、
&math( \begin{cases} \hat l_x\hat l_y-\hat l_y\hat l_x=-\hat l_z\\ \hat l_y\hat l_z-\hat l_z\hat l_y=-\hat l_x\\ \hat l_z\hat l_x-\hat l_x\hat l_z=-\hat l_y\\ \end{cases} );
また、
に対して、
&math( \hat l^2\hat l_x-\hat l_x\hat l^2 &=\cancel{\hat l_x^3}+\hat l_x\hat l_y^2+\hat l_x\hat l_z^2
- \cancel{\hat l_x^3}-\hat l_y^2\hat l_x-\hat l_z^2\hat l_x\\ &=\big(\cancel{\hat l_y\hat l_x}-\cancel{\hat l_z}\big)\hat l_y
- \big(\cancel{\hat l_z\hat l_x}+\cancel{\hat l_y}\big)\hat l_z
- \hat l_y\big(\cancel{\hat l_x\hat l_y}+\cancel{\hat l_z}\big)
- \hat l_z\big(\cancel{\hat l_x\hat l_z}-\cancel{\hat l_y}\big)\\ &=0);
であるから、
&math( \begin{cases} \hat l_x\hat l^2-\hat l^2\hat l_x=0\\ \hat l_y\hat l^2-\hat l^2\hat l_y=0\\ \hat l_z\hat l^2-\hat l^2\hat l_z=0\\ \end{cases} );
すなわち、全角運動量の大きさの2乗と 軸周りの角運動量との同時固有状態はあり得るが、 軸周りの角運動量と 軸周りの角運動量の同時固有状態は存在しないことになる。
および の同時固有関数は球面調和関数と呼ばれるが、 詳細は 量子力学Ⅰ/中心力場内の粒子 にて学ぶ。
質問・コメント†
*1 一般に、演算子 が交換するとき 一方の固有関数は両者の同時固有関数となる
*2 係数に現れた の正体は、 に対する補正である
*3 上では同じ積分を不定であるとしたのにもかかわらず、ここではゼロになるとしていることに注意せよ。デルタ関数は のように積分して初めて意味を持つため「ゼロと見なして構わない」という意味である。