資料紹介
演算子は行列だ
エルミート演算子とは何か
線形変換
波動関数からエネルギーや運動量の値を取り出すには微分することが必要だった。 波動関数が指数関数の形をしていれば関数の形は変わらないが、それ以外の形をしていた場合には波動関数の形はひどく変化を受けることになる。 この状況をベクトル表現で解釈し直すとどのようになるだろうか。 波動関数は状態ベクトルとして表せるのだった。 波動関数に微分を施して変化した関数もやはり関数であって、同じ方法でベクトルとして表せるはずである。 ならば、元のベクトルと変化後のベクトルとの関係をベクトル変換のようなものであると考えてはどうだろうか？ ベクトルの変換は行列を使って表すことが出来る。 この考えで行けそうだ。 しかしどんな複雑な変換でも行列で表せると思ったら大間違い。 行列なんていうのは所詮、線形変換を表すことしか出来ないのだ。 線形変換とは、
f ( ax + by ) = a f (x) + b f (y)
という性質を持った変換 f のことである。 つまり、元のベクトル x が定数倍されれば変換後のベクトルも同じだけ定数倍されるし、別のベクトルとの和を取ったベクトルを変換すれば、それぞれを別々に変換したものの和を取ったものと等しくなるという、実に厳しい制限付きの変換である。 しかしこのような制限があるからこそ線形代数という扱いやすい学問が出来ているのであって、さもなければ手に負えないものになっていただろう。
さあ、安心して構わない。 関数の微分には同じ性質があるではないか。 それでこういう性質を持った演算子を「線形演算子」と呼ぶこともある。 つまりベクトル表現を使えば、線形演算子の働きは無限行、無限列の行列として表すことができるということだ。
たった一つの物理量が無限の成分を持つ量に化けてしまうなんて！ なぜこんなに情報量が増えてしまったのかと不思議に思う必要はない。 ある状態にはある運動量が対応し、別の状態には別の運動量が対応している。 この無限次元の行列はそれら全ての状態についての対応関係を書き並べたものなのである。 それにしても無限×無限個の成分はあまりに多すぎるのではないかと思うかも知れないが、この行列にはある規則があって、実際には無限個の情報しか入っていないので安心してもらいたい。 これについてはしばらく後で分かるだろう。
固有ベクトル
行列には「固有ベクトル」というものが存在する。 その行列で変換しても方向が全く変化しないような特別なベクトルのことだ。 大抵の行列はそういう不思議な方向を複数持っている。 ベクトルの方向は変化しないがベクトルの長さだけは変化する。 その長さの変化の定数を「固有値」と呼ぶ。 このような特別な方向が存在することはそれほど不思議でもない。 図を書いてやれば一目瞭然と分かることだ。
しかしここで線形代数の講義を差し挟むと本筋から離れる可能性が高いので、補習コーナーにでもまとめておくことにしよう。
ユニタリ変換の効用
物理量が行列で表されると言われても抽象的過ぎてピンと来ない。 どんな物理量をどんな行列で表したらいいのだろうか。 その条件を探ってみよう。
指数関数を座標で微分した時に、中から運動量の値が飛び出してくることを除けば、関数の形は変わらないのだった。 すなわち、状態が変わらないまま定数分だけ変化するわけだ。 これは先ほど話した固有ベクトルと固有値の話と非常に似ている。 行列で変換してもベクトルの方向が変わらないということは状態
タグ
All rights reserved.
資料の原本内容
演算子は行列だ
エルミート演算子とは何か
線形変換
波動関数からエネルギーや運動量の値を取り出すには微分することが必要だった。 波動関数が指数関数の形をしていれば関数の形は変わらないが、それ以外の形をしていた場合には波動関数の形はひどく変化を受けることになる。 この状況をベクトル表現で解釈し直すとどのようになるだろうか。 波動関数は状態ベクトルとして表せるのだった。 波動関数に微分を施して変化した関数もやはり関数であって、同じ方法でベクトルとして表せるはずである。 ならば、元のベクトルと変化後のベクトルとの関係をベクトル変換のようなものであると考えてはどうだろうか？ ベクトルの変換は行列を使って表すことが出来る。 この考えで行けそうだ。 しかしどんな複雑な変換でも行列で表せると思ったら大間違い。 行列なんていうのは所詮、線形変換を表すことしか出来ないのだ。 線形変換とは、
f ( ax + by ) = a f (x) + b f (y)
という性質を持った変換 f のことである。 つまり、元のベクトル x が定数倍されれば変換後のベクトルも同じだけ定数倍されるし、別のベクトルとの和を取ったベクトルを変換すれば、それぞれを別々に変換したものの和を取ったものと等しくなるという、実に厳しい制限付きの変換である。 しかしこのような制限があるからこそ線形代数という扱いやすい学問が出来ているのであって、さもなければ手に負えないものになっていただろう。
さあ、安心して構わない。 関数の微分には同じ性質があるではないか。 それでこういう性質を持った演算子を「線形演算子」と呼ぶこともある。 つまりベクトル表現を使えば、線形演算子の働きは無限行、無限列の行列として表すことができるということだ。
たった一つの物理量が無限の成分を持つ量に化けてしまうなんて！ なぜこんなに情報量が増えてしまったのかと不思議に思う必要はない。 ある状態にはある運動量が対応し、別の状態には別の運動量が対応している。 この無限次元の行列はそれら全ての状態についての対応関係を書き並べたものなのである。 それにしても無限×無限個の成分はあまりに多すぎるのではないかと思うかも知れないが、この行列にはある規則があって、実際には無限個の情報しか入っていないので安心してもらいたい。 これについてはしばらく後で分かるだろう。
固有ベクトル
行列には「固有ベクトル」というものが存在する。 その行列で変換しても方向が全く変化しないような特別なベクトルのことだ。 大抵の行列はそういう不思議な方向を複数持っている。 ベクトルの方向は変化しないがベクトルの長さだけは変化する。 その長さの変化の定数を「固有値」と呼ぶ。 このような特別な方向が存在することはそれほど不思議でもない。 図を書いてやれば一目瞭然と分かることだ。
しかしここで線形代数の講義を差し挟むと本筋から離れる可能性が高いので、補習コーナーにでもまとめておくことにしよう。
ユニタリ変換の効用
物理量が行列で表されると言われても抽象的過ぎてピンと来ない。 どんな物理量をどんな行列で表したらいいのだろうか。 その条件を探ってみよう。
指数関数を座標で微分した時に、中から運動量の値が飛び出してくることを除けば、関数の形は変わらないのだった。 すなわち、状態が変わらないまま定数分だけ変化するわけだ。 これは先ほど話した固有ベクトルと固有値の話と非常に似ている。 行列で変換してもベクトルの方向が変わらないということは状態が変わらないことを意味するからだ。 そしてベクトルの長さが定数分だけ変化するのは中から物理量を取り出してきた事に相当する。 つまり、行列の固有値を物理量に対応させて理論を構築してやればいいわけだ。
引き続き、運動量を例に取って考えてみよう。 以前に運動量表示について詳しく説明しておいたのはこのための伏線である。
運動量ベクトルはお互いに直交して無限に存在するのだった。 理解しやすいように、それらのベクトルを
のように基本ベクトルで表すことにしよう。 これらはそれぞれ、運動量 p0, p1, p2, ・・・を持つことが確定した状態であるとする。 さて、これら全てのベクトルの方向を変えないで、それぞれの長さを p0, p1, p2, ・・・倍するような行列は一体どのようなものだろうか？ まぁ、あまり考えなくても答えは次のようになることが分かる。
例えば、|p0> の場合には
のようになるだろう？ そういうことだ。 運動量は実数でなければならないから、運動量を表す行列は実数の対角行列だということになる。
ところで、状態ベクトルの空間内では特定の方向に意味があるわけではない。 ここで運動量ベクトルを基本ベクトルで表したのは、分かりやすいためにそうしただけであって、ユニタリ変換してやっても本質は変わらないのだった。 ユニタリ変換とは複素ベクトル空間内で全てのベクトルの位置関係を保ったまま同じように回転させるようなイメージのものだからだ。
実数の対角行列を例えば A と表してやろう。 先ほどの式は、
と書けるが、この関係式を保ったままユニタリ変換してやるためにはどうしたらいいだろう。 右辺の |p0> をユニタリ変換して U |p0> とするためには、左辺にも左からユニタリ行列をかけて
としなくてはならない。 これでは左辺の |p0> が変換されないままになってしまうので、ちょっと工夫して
としてやろう。 こうすれば |p0> をユニタリ変換して作った U |p0> というベクトルが固有ベクトルとなるような新しい行列 H を作ることができる。 つまり、
のように置き替えてやれば、
と書けるということだ。 このようにして実数の対角行列をユニタリ変換して作った新しい行列 H の固有値は、変換する前の対角行列のそれと変わらないままだということが分かる。 よって、この行列 H も物理量を表していると言える。 これからこの行列 H の性質を詳しく調べてやることにしよう。
エルミート行列の性質
まずこの行列 H のエルミート共役を取ってやるとどうなるかを見よう。 エルミート共役は以前にブラベクトルとケットベクトルの関係を話したところで出てきた。 行と列を入れ替えた上で複素共役を取ってやる操作である。 ところで、行列の積のエルミート共役を取る場合には次の関係が成り立っている。
これとユニタリ行列の性質 U-1 = U† を使って変形していくことにする。 もうひとつ、「実数の対角行列 A のエルミート共役を取っても元となんら変わらない」というごく当たり前の性質も使う。 すると、
という具合になる。 つまりこの行列 H はエルミート共役を取っても、取る前と変わらないことが分かる。
このような性質を持つ行列を「エルミート行列」と呼ぶことにしよう。 あるいは自分自身が自身の随伴行列になっていることから「自己随伴行列」と呼ぶこともある。
この関係からすぐに分かると思うが、対称成分は複素共役になっている。 １行２列目が a + bi だとしたら、２行１列目の成分は a - bi になっているわけだ。 だとしたら対角成分は必ず実数でなければならない。 理屈は分かるかな？ 逆にそういう行列があればエルミート行列だと思っていい。 ただし、この対角成分の実数はユニタリ変換する前の対角行列の実数と同じになっているわけではない。 やってみればすぐに分かることだが、頭の中だけで理解しようとするとそういう勘違いも有り得るので注意しておく。
普通の教科書では「エルミート行列はユニタリ変換をすることで実数の対角行列に変形できる」などと、さも不思議な難しい定理であるかのように説明しているが、もともと実数の対角行列をユニタリ変換したものがエルミート行列なのだから当然のことだ。
エルミート演算子
物理量を表す演算子が行列に相当するということで、物理量を表すにふさわしい行列がどのような性質を持つかを調べてきた。 つまりエルミート行列でなければならないのだった。 ならば演算子の方にも何かこれに相当する条件があるはずである。 それを「エルミート性」と呼ぼう。
行列表現と波動関数表現の間には次のような関係がある。
左辺のブラベクトルとケットベクトルの間に行列 H がはさまっているが、これは行列 H がケットベクトルを変換したものとブラベクトルとの内積を取るという意味だ。 また右辺の積分内の２つの関数の間に同じく H がはさまっているが、これは行列ではなく演算子の意味で書いてある。 演算子 H が関数 に作用した結果の関数と との内積を取るという意味であって、どちらの表現も同じ内容を表していることが分かるだろう。 この関係を使えば、演算子 H がエルミート性を持つ条件が導けそうだ。
結論から先に書けば、行列 H のエルミート性だけから次のような関係が導かれる。
何も難しいことを言っているわけではない。 ブラベクトルは単なる横一列のベクトル、ケットベクトルは縦一列のベクトルであると考えればいい。 単に行列の掛け算をしているだけだ。 ケットベクトルの成分が、
と表されるとしたら、ブラベクトルの成分は、
であるというだけのことで、成分に分けて書けば結局、左辺は次のような計算をしていることになる。
括弧の右上に複素共役を取る記号がついているので、括弧を外してやろう。 それぞれの複素共役を取ってやればい...
