量子力学Ⅰ/固有値と期待値 の履歴(No.21)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 量子力学Ⅰ/固有値と期待値 へ行く。
目次†
概要†
シュレーディンガー方程式を解いて物理量の期待値を求める問題は 線形代数の知識を使って理解すると見通しが良い。
以下、線形代数IIで学んだ関数空間の考え方が量子力学でどのように生かされるかを学ぶ。
関数ベクトル・線形演算子†
[数ベクトル] あるいは |
[波動関数] |
[内積] |
[積分] |
[ノルムの二乗] |
[全確率密度] 規格化された波動関数のノルムは1である。 |
[規格化] |
[規格化] |
[行列] 数ベクトルを数ベクトルに変換する任意の線型変換は、行列のかけ算で表現できる。 |
[線型演算子] &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)); 関数を別の関数に変換する線型変換を、演算子 を左から掛ける形で書く。 すると線形演算子には行列のように分配法則を適用できる。 例:ハミルトニアン |
[行列の積の非可換性] 一般に、 である。 |
[演算子の非可換性] 一般に、 である。 例: なら
「線形演算子の積」は正確に言えば「線形演算子の合成」のことだ。 は のことで、「 を行ってから を行う」という合成演算を表す。 |
シュレーディンガー方程式・線形演算子の固有値†
[ベクトル方程式] |
[シュレーディンガー方程式] |
[固有値方程式] |
[時間に依存しないシュレーディンガー方程式] |
[$A_H$の固有値・固有ベクトル] |
[エネルギー固有値・固有関数] |
固有関数の物理量は固有値そのものである†
ある波動関数 に対して演算子 で表される物理量を観測した際の期待値は、
と求められるが、 が の固有関数で、 のとき、 期待値は固有値になり、
分散、標準偏差はゼロになる。
&math(\overline{\sigma_O^2} &=\bigl(\psi,(\hat O-\overline O)^2\psi\bigr) =\bigl(\psi,(\hat O-\lambda)^2\psi\bigr) =\bigl(\psi,\ \hat O^2\psi-2\lambda\hat O\psi+\lambda^2\psi\bigr) =\bigl(\psi,\ \lambda^2\psi-2\lambda^2\psi+\lambda^2\psi\bigr) =0 );
すなわち、演算子の固有関数に対して物理量を観測すれば、 常に固有値に等しい値が得られることになる。
- 一般に固有値は複素数値をとるが「物理量」は実数となるべきである
- 固有関数ではない波動関数に対しては観測結果は確率的にしか決まらない
→ 確率分布はどのようなものになる?
こういったことを考える際に、物理量を表わす演算子がエルミートであることが重要になる。
エルミート演算子†
[行列のエルミート共役] 転置の複素共役 |
[演算子のエルミート共役] その空間に含まれる任意の関数 に対して成り立たなければならない。 |
[エルミート行列] がエルミート行列とは つまり 任意の に対して を満たす行列のこと。 |
[エルミート演算子] がエルミート演算子とは つまり その関数空間の任意の に対して を満たす演算子のこと。 |
エルミート演算子の固有値問題†
エルミート行列の固有値問題は以下の特徴を持っていた。
- 固有値はすべて実数
- 異なる固有値に属する固有ベクトルは互いに直交
- 固有ベクトルを列ベクトルとするユニタリー行列を用いて対角化が可能
この、エルミート行列を対角化するユニタリー行列の各列ベクトルは正規直交系を為し、 なおかつ 次元空間を張るから、この部分は
- 固有ベクトルを使って 正規直交基底 を作れる
とも表せる。
同様に、エルミート演算子の固有値問題では、
- 固有値はすべて実数
- 異なる固有値に属する固有関数は互いに直交
- 固有関数により正規直交完全系を作れる
という特徴を持つ。
以下では や をエルミートとする。
[固有値は実数] ならば |
[固有値は実数] ならば |
[固有ベクトルで正規直交系基底を作れる] 個のベクトル を、 かつ となるように選べる。 それらを並べた により、 を対角行列にできる。 これは となることに対応する。 |
[固有関数で正規直交完全系を作れる] 完全系 を、 かつ となるように選べる。 それらに対して、 |
[固有ベクトルによる展開] 任意のベクトルを固有ベクトル で展開できる( 本の一次独立なベクトルは基底をなすから)。 |
[固有関数による展開] 任意の関数を固有関数 で展開できる(完全性)。 |
[正規直交系による展開係数] 上記の は に左から を掛けて、 &math(c_i &=(\bm e_i,\bm a)\\ &=\sum_{j=1}^\infty c_j(\bm e_i,\bm e_j) \\ &=c_i\\ ); として求められる。 |
[正規直交系による展開係数] 上記の は に左から を掛けて、 として求められる。 |
固有関数でない一般の関数に対する測定値†
ある物理量を表す演算子 に対して、
であり、 は
(正規直交)
を満たすとする。
この を混ぜ合わせて新しい波動関数を作ろう。
この関数のノルムは、
&math( \|\varphi\|^2 &=(a\varphi_1+b\varphi_2, a\varphi_1+b\varphi_2)\\ &=a^*a(\varphi_1,\varphi_1)+a^*b(\varphi_1,\varphi_2)+b^*a(\varphi_2,\varphi_1)+b^*b(\varphi_2,\varphi_2)\\ &=|a|^2+|b|^2\\ );
したがって、 を満たす実数 に対して これは正規化された関数となる。(ピタゴラスの定理で理解できることに気づける?)
この で表される状態に対して を観測した際の期待値は、
&math( (\varphi,\hat O\varphi) &=(a\varphi_1+b\varphi_2,\ a\lambda_1\varphi_1+b\lambda_2\varphi_2)\\ &=\lambda_1|a|^2+\lambda_2|b|^2 );
の制約の下、 を大きくする、すなわち を混ぜる量を増やすと、期待値は の固有値 に近づき、 逆に減らすともう一方の期待値 に近づく。
ここでは導くことはしないが、このとき実際に観測される値は か のどちらか一方で、
- となる確率は
- となる確率は
となっている。
これを一般化すれば、
演習:物理量を表わす演算子のエルミート性†
境界条件
を満たす一次元波動関数
の集合
は線形空間と見なせる。
→ 和と複素数倍に対して境界条件は保存されるから、これらの演算に対して
は閉じている。
において、「観測可能な物理量」を表わす演算子はすべてエルミート演算子になる。 現実的な問題では常にこの境界条件は満たされるため、このことは非常に重要である。
(1) 演算子 (ただし は実数関数つまり ) のエルミート共役が 自身になること、すなわち がエルミート演算子であることを示せ。( と置けば、演算子 もエルミートであることがわかる。 同様に実数定数(定数関数)を掛けることもエルミートな演算である。)
(2) 演算子 のエルミート共役が となることを示せ。部分積分を使い、境界条件を用いるとよい。
(3) 演算子 がエルミート演算子であることを示せ。
(4) エルミート演算子
の
(5) エルミート演算子 の和 がエルミート演算子となることを示せ。
(6) エルミート演算子 の積 は すなわち と が可換でない限り エルミート演算子ではない ことを示せ。
(7) ハミルトニアン演算子 がエルミート演算子であることを示せ。
(8) 上記演算子 について、 であることを示せ。 すなわち や はエルミート演算子ではない。
解説:物理量を表わす演算子のエルミート性†
上でも述べた通り、量子力学で「観測可能」とされる物理量に対応する演算子は必ずエルミートになる。 ならないとどう困るかはこの後で見る。
逆に、物理量を演算子で表わした際にエルミートにならないような物理量は直接観測可能ではない。 例えば、位置 と運動量 の積 は直接観測可能ではない。
これは、位置 と運動量 を同時に、 正確に測定する手段がないという意味で、そのため積を直接は観測できないことになる。
観測可能性については後に 不確定性原理 のところで詳しく学ぶ。
一方、 がエルミートになるのは波動関数空間に
(固定端条件)
の境界条件を付いているためであった。 波動関数が有限領域 に閉じ込められている場合も含めれば、領域の端 で、
(固定端条件)
が条件となる。この条件を少し緩めて、
(周期的境界条件)
としても はエルミートになるが、 さもなければこの演算子がエルミートになることはない。
すなわち、 は任意の関数を含む「全関数空間」 においてはエルミートでないが、 「周期的境界条件を満たす」という条件を付けた部分空間においてはエルミートとなる。
このため量子力学の問題では現実では成り立たないにもかかわらず「周期的境界条件」を仮定して問題が設定されることがあるが、戸惑わないように。
「観測可能な物理量」の実数性†
がエルミート演算子であれば、固有値 はすべて実数であるから、 その期待値 も必ず実数になることが分かる。