量子力学Ⅰ/線形代数の復習 の履歴(No.4)
更新目次†
概要†
量子力学で用いる関数空間の概念について復習する。
線形代数IIを履修済みの学生を念頭に置いている。
関数の線形空間 = 関数空間†
ある決まった区間 (ただし は でも可) で定義される複素関数すべてからなる集合 を考えると、 は関数の和と複素数倍に対して線形空間を為す。
すなわち、 、 のとき、
を として、
を として
定義すれば、 であるから、 はこれらの演算に対して閉じている。
以下、数ベクトル空間と対比させながら関数空間について復習する。
ベクトルのグラフ†
のとき、 添字 に対して をプロットすれば、 「ベクトルのグラフ」を表示できる。 |
のとき、 変数 に対して をプロットすれば、 「関数のグラフ」を表示できる。 |
から への対応関係を決めると、 それが1つのベクトルを決めることに相当する。 |
から への対応関係を決めると、 それが1つの関数を決めることに相当する。 |
このグラフで考えると、
- ベクトルの和はグラフの上下方向への重ね合わせに
- ベクトルの定数倍はグラフの上下方向の引き延ばしに
それぞれ対応する。
ただし本来、ベクトルや関数の値は複素数を想定しているので、 上記グラフはあくまで概念的な物である。
内積・ノルム・直交・規格化・正規直交†
以下で用いる の記号は行列 のエルミート共役(随伴行列)を表わしており、 と定義される。 ただし、 は の転置行列、 は の複素共役行列である。
[標準内積] &math((\bm a,\bm b)\equiv\bm a^\dagger\bm b =\sum_{k=1}^n a_k^*b_k); 複素内積では に が付く。 |
[標準内積] は で積分可能な関数の集合とする。 |
[非負性] 任意の
に対して となるのは に限る。 |
[非負性] 任意の
に対して となるのは に限る。 |
[ノルム] |
[ノルム] 複素数 の絶対値 と区別するため と書く。 |
[正規化] とすれば |
[正規化] とすれば |
[直交] のとき |
[直交] のとき |
[正規直交] ベクトルの組 に対して |
[正規直交] 関数の組 に対して |
完全性・成分表示†
[張る] ベクトルの組 が線形空間 を張るとは、 任意の要素 を次のように線形結合として表せることである。 以下では を を張る正規直交系、 すなわち の正規直交基底であるとする。 |
[完全] 関数系 が集合 で完全であるとは、 任意の関数 を次のように線形結合として表せることである。 以下では を における正規直交完全系であるとする。 |
[成分表示] と分解するとき、 その係数は として求められる。(あるいは ) すなわち、 |
[成分表示] と分解するとき、 その係数は として求められる。 すなわち、 |
[正規直交基底の条件] 上式を変形すれば、 となり、任意のベクトル に対して成り立つから、 である。この式を正規直交基底の条件とする場合もある。 |
[正規直交完全性の条件] 上式を変形すれば となり、任意の関数 に対して成り立つから、 である。この式を正規直交完全性の条件とする場合もある。 |
[成分とノルム] のとき、 |
[成分とノルム] のとき、 |
部分空間†
たとえば、 とすれば であり、なおかつ は和とスカラー倍について閉じているから は部分空間をなす。
このように、 に和やスカラー倍で保存する何らかの制約を課した部分空間を考えることも よく行われる。
実際、あまりおかしな関数まで に含めてしまうと 内積を定義するための積分が発散するとか、関数を展開した無限級数が発散するとか、 おかしなことが起きてしまう。以下では数学的な厳密性は追わず、 は普通に思い浮かべるような、素性の良い関数のみから成る空間であるとする。 *1どんな関数なら問題なく扱えるかなどの議論は解析学の範疇である。内部での微積分が可能なこのような線形空間はヒルベルト空間と呼ばれる。
線型変換・線型演算子†
[線型変換] あるベクトルを別のベクトルに変える変換 が 任意の に対して を満たす時、これを線型変換という。 |
[線型演算子] ある関数を別の関数に変える演算子 が 任意の に対して を満たす時、これを線型演算子という。 例えば |
[行列表現] 線型変換 の行列表現 は であり、このとき と表せる。 |
[行列表現] 任意の線型演算子 に対してその行列要素は と定義され、 |
エルミート変換†
[エルミート共役] 任意の に対して となるような を のエルミート共役と呼ぶ。 標準内積では として求められる。 |
[エルミート共役] 任意の に対して となるとき、 を のエルミート共役と呼ぶ。 |
[エルミート行列] のとき をエルミート行列と呼ぶ。 このとき が成り立つ。 |
[エルミート演算子] のとき をエルミート演算子と呼ぶ。 このとき が成り立つ。 |
ユニタリー変換†
[ユニタリー行列] 任意の に対して となる をユニタリー行列と呼ぶ。 当然、 も成り立つ。 またこのとき すなわち である。 |
[ユニタリー演算子] 任意の に対して となる をユニタリー演算子と呼ぶ。 当然、 も成り立つ。 またこのとき すなわち である。 ここで は恒等変換を表わす。 |
[正規直交基底の変換行列] と がどちらも正規直交基底であれば、 となる はユニタリー行列になる。 |
[正規直交完全系の変換演算子] と がどちらも正規直交完全系であれば、 となる はユニタリー変換になる。 |
固有値問題†
固有値、固有ベクトル・固有関数†
固有値が連続な場合もありうる†
対角化可能性†
相似変換†
固有関数の直交性†
正規行列・正規演算子†
エルミート行列の固有値は実数†
ユニタリー行列の固有値は絶対値が1†
デターミナント・トレース・固有値†
定義・性質†
固有値との関係†
相似変換で保存†
デターミナントとノルム†
行列の関数†
$H$ がエルミートなら $e^{iH}$ はユニタリー†
の固有値を とすれば、
の固有値は であり、 すべて絶対値が1となるからこれはユニタリーである。
量子力学との対応†
確率密度・期待値†
[ベクトル] [ノルムの二乗] |
[波動関数] [全確率密度] |
[規格化] |
[規格化] |
[$A_H$を挟んだ内積] エルミートなので |
[$\hat H$の期待値] &math(\overline E&=\iiint \psi^*(\bm r,t)\hat H\psi(\bm r,t)d\bm r\\ &=\iiint \big(\hat H\psi(\bm r,t)\big)^*\psi(\bm r,t)d\bm r\\); |
演習:物理量を表わす演算子のエルミート性†
ここでは任意の が境界条件 を満たすような関数空間 を考える。
と取れば、現実的な問題では常にこの境界条件は満たされる。
(1) 演算子 のエルミート共役が 自身になること、 すなわち がエルミート演算子であることを示せ。 (座標 は実数であることに注意せよ)
(2) において、演算子 のエルミート共役が となることを上記の境界条件を用いて示せ。部分積分を使うと良い。
(3) において、演算子 のエルミート共役が 自身になること、すなわち がエルミート演算子であることを示せ。
(4) エルミート演算子 の和 がエルミート演算子となることを示せ。
(5) エルミート演算子 の積 がエルミート演算子となることを示せ。
このように、境界でゼロとなる空間において、 の和や積で表せる任意の演算子がエルミートになることが分かった。 一般に、任意の物理量は の関数として表わすことができるが、 テイラー展開などにより の和や積で表わすことが可能である。 したがって、任意の物理量に対応する演算子はエルミートになる。
当然、ハミルトニアン もエルミートである。
シュレーディンガー方程式・固有値†
[ベクトル方程式] |
[シュレーディンガー方程式] |
[固有値方程式] |
[時間に依存しないシュレーディンガー方程式] |
[$A_H$の固有値・固有関数] |
[エネルギー固有値・固有関数] |
[対角化] のとき、 すなわち を基底にとれば は対角行列である。 |
[固有関数に対する期待値] のとき、 |
[固有ベクトルによる展開] ならば、 &math((\bm a,A_H\bm a)&=\sum_{k=1}^\infty |c_k|^2(\bm e_k,A_H\bm e_k)\\ &=\sum_{k=1}^\infty |c_k|^2E_k); |
[固有関数による展開] ならば、 &math(\overline E&=\iiint \Psi^*(\bm r,t)\hat H\Psi(\bm r,t)d\bm r\\ &=\sum_{k=1}^\infty |c_k|^2E_k ); |