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

更新


量子力学I?

確率密度・期待値

[ベクトル]

\bm a

[波動関数]

\psi(\bm r,t)

[内積]

(\bm a,\bm b)

[積分]

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

[ノルムの二乗]

\|\bm a\|^2=(\bm a,\bm a)

[全確率密度]

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

規格化された波動関数のノルムは1である。

[規格化]

\bm e_a=\frac{1}{\|\bm a\|}\bm a

[規格化]

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

[行列]

\bm b=A\bm a

A(\alpha\bm a+\beta\bm b)=\alpha A\bm a+\beta A\bm b

任意の線型変換は行列のかけ算で表現できる。

[線型演算子]

\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));

関数から関数への線型変換を、演算子を左から掛ける形で書く。

例:ハミルトニアン \hat H=-\frac{\hbar^2}{2m}\nabla^2+V(\bm r)

[行列のエルミート共役]

(\bm a,A\bm b)=(A^\dagger\bm a,\bm b)

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

[演算子のエルミート共役]

\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

[エルミート行列]

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

(\bm a,H\bm b)=(H\bm a,\bm b)

[エルミート演算子]

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

\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

演習:物理量を表わす演算子のエルミート性

境界条件 \varphi(-\infty)=\varphi(\infty)=0 を満たす一次元波動関数 \varphi(x) の集合 U を線形空間と見なせる。
→ 和と複素数倍に対して境界条件が保存される。

U において、「観測可能な物理量」を表わす演算子はすべてエルミート演算子になる。 現実的な問題では常にこの境界条件は満たされるため、このことは非常に重要である。

(1) 演算子 \hat f:\varphi(x)\mapsto f(x)\varphi(x) (ただし f(x) は実数関数つまり f(x)\in\mathbb R ) のエルミート共役が \hat f 自身になること、すなわち \hat f がエルミート演算子であることを示せ。( f(x)=x と置けば、演算子 \hat x:\varphi(x)\mapsto x\varphi(x) もエルミートであることがわかる)

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

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

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

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

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

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

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

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

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

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

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

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

シュレーディンガー方程式・固有値

[ベクトル方程式]

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

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

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

[固有値方程式]

E\bm a=A_H\bm a

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

E\varphi(\bm r)=\hat H(\hat{\bm r},\hat{\bm p})\varphi(\bm r)

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

E=E_1,E_2,\dots

\bm a=\bm a_1,\bm a_2,\dots

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

E=E_1,E_2,\dots

\varphi(\bm r)=\varphi_1(\bm r),\varphi_2(\bm r),\dots

エルミート演算子の固有値問題

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

エルミート行列では、

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

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

同様に、エルミート演算子では、

  • 固有値はすべて実数
  • 異なる固有値に属する固有関数は互いに直交
  • 固有関数により正規直交完全系を作れる

固有関数による正規直交完全系の例

無限大の井戸ポテンシャルに対する

\varphi_n(x)=\sqrt{\frac{\,2\,}{a}}\sin\Big(\frac{n\pi}{a} x\Big)

は正規直交完全系を為す

調和振動子に対する

  \varphi_n(x)=\sqrt{\frac{1}{2^nn!\sqrt\pi}\sqrt{\frac{\hbar}{m\omega}}}H_n\Big(\sqrt{\frac{m\omega}{\hbar}}x\Big)\exp\Big(-\frac{1}{2}\frac{m\omega}{\hbar}x^2\Big)

は正規直交完全系を為す

エルミート演算子の期待値

A \hat A はエルミートとする。

[固有値は実数]

A\bm x=\lambda\bm x ならば \lambda\in\mathbb R

[固有値は実数]

\hat A\bm x=\lambda\bm x ならば \lambda\in\mathbb R

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

n 個のベクトル \{\bm e_i\} を、

A\bm e_i=\lambda_i\bm e_i

かつ

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

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

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

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

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

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

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

かつ

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

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

それらに対して、

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

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

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

\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 );

[固有関数による展開]

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

\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 );

展開係数 c_i から期待値を求められる。

[正規直交系による展開係数]

上記の c_i \bm a に左から \bm e_i を掛けて、

&math(c_i &=(\bm e_i,\bm a)\\ &=\sum_{j=1}^\infty c_j(\bm e_i,\bm e_j) \\ &=c_i\\ );

として求められる。

[正規直交系による展開係数]

上記の c_i \varphi(\bm r) に左から \varphi_i(\bm r) を掛けて、

c_i=\iiint\varphi_i(\bm r)\varphi(\bm r)\,d\bm r

として求められる。

「観測可能な物理量」の実数性

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

固有関数の物理量は固有値そのものである

期待値は固有値になり、

&math(\overline A &=\iiint\varphi^*(\bm r)\hat A\varphi(\bm r)\,d\bm r\\ &=\iiint\varphi^*(\bm r)\lambda\varphi(\bm r)\,d\bm r\\ &=\lambda\iiint\varphi^*(\bm r)\varphi(\bm r)\,d\bm r\\ &=\lambda );

分散、標準偏差はゼロになる。

&math(\overline{\sigma_A^2} &=\iiint\varphi^*(\bm r)(\hat A-\overline A)^2\varphi(\bm r)\,d\bm r\\ &=\iiint\varphi^*(\bm r)(\hat A-\lambda)^2\varphi(\bm r)\,d\bm r\\ &=\iiint\varphi^*(\bm r)\big(\hat A^2\varphi(\bm r)-2\lambda\hat A\varphi(\bm r)+\lambda^2\varphi(\bm r)\big)\,d\bm r\\ &=\iiint\varphi^*(\bm r)\big(\lambda^2\varphi(\bm r)-2\lambda^2\varphi(\bm r)+\lambda^2\varphi(\bm r)\big)\,d\bm r\\ &=0 );

すなわち、ある物理量を表わす演算子 A の固有関数 \varphi(\bm r) に対して物理量 A を観測すれば、常に固有値 \lambda が得られることになる。

固有関数以外では物理量が確率的にしか決まらないことと対比させて理解せよ。


Counter: 63200 (from 2010/06/03), today: 3, yesterday: 0