量子力学Ⅰ/固有値と期待値 のバックアップソース(No.4)

更新

[[量子力学I]]
&mathjax();

* 線形代数との対応 [#w7165328]

** 確率密度・期待値 [#a7c68936]

#multicolumns
''[ベクトル]''

&math(\bm a);

#multicolumns
''[波動関数]''

&math(\psi(\bm r,t));

#multicolumns(end)

#multicolumns
''[内積]''

&math((\bm a,\bm b));

#multicolumns
''[積分]''

&math(\iiint \psi_1^*(\bm r,t)\psi_2(\bm r,t)d\bm r);

#multicolumns(end)

#multicolumns
''[ノルムの二乗]''

&math(\|\bm a\|^2=(\bm a,\bm a));

#multicolumns
''[全確率密度]''

&math(\iiint |\psi(\bm r,t)|^2d\bm r=\iiint \psi^*(\bm r,t)\psi(\bm r,t)d\bm r);

#multicolumns(end)

#multicolumns
''[規格化]''

&math(\bm e_a=\frac{1}{\|\bm a\|}\bm a);

#multicolumns
''[規格化]''

&math(\psi_2(\bm r,t)=\frac{\psi_1(\bm r,t)}{\sqrt{\iiint |\psi_1(\bm r,t)|^2d\bm r}});

#multicolumns(end)

#multicolumns
''[行列]''

&math(\bm b=A\bm a);

&math(A(\alpha\bm a+\beta\bm b)=\alpha A\bm a+\beta A\bm b);

#multicolumns
''[線型演算子]''

&math(\psi_2(\bm r,t)=\hat A\psi_1(\bm r,t));

&math(\hat A\big(a\psi_1(\bm r,t)+b\psi_2(\bm r,t)\big)
=a\hat A\psi_1(\bm r,t)+b\hat A\psi_2(\bm r,t));

#multicolumns(end)

#multicolumns
''[エルミート共役]''

&math((\bm a,A\bm b)=(A^\dagger\bm a,\bm b));

&math(A^\dagger=(A^T)^*);   転置の複素共役

#multicolumns
''[エルミート共役]''

&math(\iiint \psi_1^*(\bm r,t)\hat A\psi_2(\bm r,t)d\bm r=\iiint \big(\hat A^\dagger\psi_1(\bm r,t)\big)^*\psi_2(\bm r,t)d\bm r);

#multicolumns(end)

#multicolumns
''[エルミート行列]''

&math(H); がエルミート行列であれば &math(H^\dagger=H); つまり

&math((\bm a,H\bm b)=(H\bm a,\bm b));

#multicolumns
''[エルミート演算子]''

&math(\hat H); がエルミート演算子であれば &math(\hat H^\dagger=\hat H); つまり

&math(\iiint \psi_1^*(\bm r,t)\hat H\psi_2(\bm r,t)d\bm r=\iiint \big(\hat H\psi_1(\bm r,t)\big)^*\psi_2(\bm r,t)d\bm r);

#multicolumns(end)

** 演習:物理量を表わす演算子のエルミート性 [#qf83b503]

境界条件 &math(\varphi(-\infty)=\varphi(\infty)=0); を満たす一次元波動関数 &math(\varphi(x)); 
の集合 &math(U); において、「観測可能な物理量」を表わす演算子はすべてエルミート演算子になる。
現実的な問題では常にこの境界条件は満たされるため、このことは非常に重要である。

(1) 演算子 &math(\hat x:\varphi(x)\mapsto x\varphi(x)); のエルミート共役が 
&math(\hat x); 自身になること、すなわち &math(\hat x); 
がエルミート演算子であることを示せ。
(座標 &math(x); は実数であることに注意せよ)

(2) 演算子 &math(\hat f:\varphi(x)\mapsto f(x)\varphi(x)); (ただし &math(f(x)); は実数関数) 
のエルミート共役が &math(\hat f); 自身になること、すなわち &math(\hat f); 
がエルミート演算子であることを示せ。

(3) 演算子 &math(\frac{d}{dx}); のエルミート共役が &math(-\frac{d}{dx});
となることを示せ。部分積分を使い、上記の境界条件を用いるとよい。

(4) 演算子 &math(\hat p:\varphi(x)\mapsto \frac{\hbar}{i}\frac{d}{dx}\varphi(x)); 
のエルミート共役が &math(\hat p); 自身になること、すなわち &math(\hat p); 
がエルミート演算子であることを示せ。

(5) エルミート演算子 &math(\hat X); の&ruby(べき){冪}; 
&math(\hat X^n:\varphi(x)\mapsto \underbrace{\hat X\hat X\dots\hat X}_{n}\varphi(x)\rule{0pt}{1.8em}); 
がエルミート演算子となることを示せ。

(6) エルミート演算子 &math(\hat X,\hat Y); の和 
&math(\hat X+\hat Y:\varphi(x)\mapsto \hat X\varphi(x)+\hat Y\varphi(x)); 
がエルミート演算子となることを示せ。

(7) ハミルトニアン演算子 
&math(\hat H=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+V(x)=\frac{\hat p^2}{2m}+V(x)); 
がエルミート演算子であることを示せ。

(8) エルミート演算子 &math(\hat X,\hat Y); の積 
&math(\hat X\hat Y:\varphi(x)\mapsto \hat X\big(\hat Y\varphi(x)\big)); は 
&math(\hat X\hat Y-\hat Y\hat X=0); すなわち &math(\hat X); と &math(\hat Y); 
が可換でない限り ''エルミート演算子ではない'' ことを示せ。

(9) 上記演算子 &math(\hat x,\hat p); について、
&math(\hat p\hat x-\hat x\hat p=\frac{\hbar}{i}); 
であることを示せ。
すなわち &math(\hat p\hat x); や &math(\hat x\hat p); はエルミート演算子ではない。

** 解説:物理量を表わす演算子のエルミート性 [#c961a723]

上記の通り、量子力学で「観測可能」とされる物理量は必ずエルミートになる。

逆に、物理量を演算子で表わした際にエルミートにならないような物理量は観測可能ではない。
例えば、位置 &math(\hat x); と運動量 &math(\hat p); の積は観測可能ではない。

これは、位置 &math(\hat x); と運動量 &math(\hat p); を同時に、
正確に測定する手段がないという意味で、そのため積を観測できないことになる。

観測可能性については後に ''不確定性原理'' のところでより詳しく学ぶ。


** シュレーディンガー方程式・固有値 [#h29e3be1]

#multicolumns

''[ベクトル方程式]''

&math(i\hbar\frac{\PD}{\PD t}\bm a(t)=A_H(t)\bm a(t));

#multicolumns

''[シュレーディンガー方程式]''

&math(i\hbar\frac{\PD}{\PD t}\psi(\bm r,t)=\hat H(\hat{\bm r},\hat{\bm p},t)\psi(\bm r,t));

#multicolumns(end)
#multicolumns

''[固有値方程式]''

&math(E\bm a=A_H\bm a);

#multicolumns

''[時間に依存しないシュレーディンガー方程式]''

&math(E\varphi(\bm r)=\hat H(\hat{\bm r},\hat{\bm p},t)\varphi(\bm r));

#multicolumns(end)
#multicolumns

''[$A_H$の固有値・固有関数]''

&math(E=E_1,E_2,\dots);

&math(\bm a=\bm a_1,\bm a_2,\dots);

#multicolumns

''[エネルギー固有値・固有関数]''

&math(E=E_1,E_2,\dots);

&math(\\varphi(\bm r)=\\varphi_1(\bm r),\\varphi_2(\bm r),\dots);

#multicolumns(end)

* エルミート演算子の固有値問題 [#u191050a]

時間に依存しないシュレーディンガー方程式はそのままハミルトニアン演算子に対する固有値問題であったが、
これと同様に任意の観測可能な物理量に対応するエルミート演算子に対して固有値問題を考えることができる。

エルミート行列では、
- 固有値はすべて実数
- 異なる固有値に属する固有ベクトルは互いに直交
- ユニタリー行列により対角化が可能

エルミート行列を対角化するユニタリー行列の各列ベクトルは
正規直交系を為し、なおかつ &math(n); 次元空間を張るため、
正規直交基底となるのであった。

同様に、エルミート演算子では、
- 固有値はすべて実数
- 異なる固有値に属する固有関数は互いに直交
- 固有関数により正規直交完全系を作れる

以下、&math(A); や &math(\hat A); はエルミートとする。
~

#multicolumns
''[固有値は実数]''

&math(A\bm x=\lambda\bm x); ならば &math(\lambda\in\mathbb R);

#multicolumns
''[固有値は実数]''

&math(\hat A\bm x=\lambda\bm x); ならば &math(\lambda\in\mathbb R);

#multicolumns(end)

#multicolumns
''[固有ベクトルで正規直交系基底を作れる]''

&math(n); 個のベクトル &math(\{\bm e_i\}); を、

&math(A\bm e_i=\lambda_i\bm e_i);

かつ

&math((\bm e_i,\bm e_j)=\delta_{ij});

となるように選ぶことができる。

それらを並べた &math(U=\Big(\bm e_1\ \bm e_2\ \dots\ \bm e_n\Big)); 
により、&math(U^\dagger AU=\Lambda); を対角行列にできる。

これは &math(\bm e_i^\dagger A\bm e_j=\lambda_j\delta_{ij}=\lambda_i\delta_{ij}); 
となることに対応する。

#multicolumns
''[固有関数で正規直交完全系を作れる]''

完全系 &math(\{\phi_i(\bm r,t)\}); を、

&math(\hat A\phi_i(\bm r,t)=\lambda_i\phi_i(\bm r,t));

かつ

&math(\iiint\phi_i^*(\bm r,t)\phi_j(\bm r,t)\,d\bm r=\delta_{ij});

となるように選ぶことができる。

それらに対して、

&math(\iiint\phi_i^*(\bm r,t)\hat A\phi_j(\bm r,t)\,d\bm r=\lambda_j\delta_{ij}=\lambda_i\delta_{ij});

#multicolumns(end)

#multicolumns

''[固有ベクトルによる展開]''

任意のベクトルを固有ベクトル &math(\{\bm e_i\}); で展開できる(基底だから)。

&math(\bm a=\sum_{i=1}^\infty c_i\bm e_i); 

このとき、

&math((\bm a,A\bm a)&=\sum_{i=1}^\infty\sum_{j=1}^\infty c_i^*c_j(\bm e_i,A\bm e_j)\\
&=\sum_{i=1}^\infty\sum_{j=1}^\infty c_i^*c_j\,\lambda_i\delta_{ij}\\
&=\sum_{i=1}^\infty \lambda_i|c_i|^2
);

#multicolumns

''[固有関数による展開]''

任意の関数を固有関数 &math(\{\psi(\bm r,t)\}); で展開できる(完全性)。

&math(\psi(\bm r,t)=\sum_{i=1}^\infty c_i\psi_i(\bm r,t));

このとき、

&math(\overline A&=\iiint \psi^*(\bm r,t)\hat A\psi(\bm r,t)d\bm r\\
&=\sum_{i=1}^\infty \lambda_i|c_i|^2
);

#multicolumns(end)

** 「観測可能な物理量」の実数性 [#d81900f4]

&math(\hat A); がエルミート演算子であれば、固有値 &math(\lambda_i); はすべて実数であるから、
その期待値 &math(\overline A); も必ず実数になることが分かる。

** 固有関数に対しては物理量を決定可能である [#h3f6434b]

Counter: 63203 (from 2010/06/03), today: 6, yesterday: 0