摂動論の概要[編集]
現実的な系では波動方程式の解がカッチリもとまる例がかなりすくなく、
何らかの方法で近似的に解く事が必要となってきます。
その方法が摂動論です。
正確に解ける系のハミルトニアンを少しだけズラせば、
その固有関数と固有値も少しだけ変化するはずです。
そのずれを近似的に求めるというのが目的になります。
使う変数[編集]
求めたい系のハミルトニアンが、
正確に解の求まるハミルトニアンと、
微小なズレを表すハミルトニアンの和で表される場合を考えます。
(は微小量を表す係数。
最終的にのベキで展開する。)
当然ハミルトニアンは正確にもとまる物としたので、
その波動方程式は以下のようにとります。
当然
となります。
そして求めたい系のハミルトニアンに
関する波動方程式を以下のようにとります。
さらに摂動論ではこの方程式の固有値と固有関数がそれぞれの
場合より少しだけずれると考えるので、
以下のようにとる事ができます。
縮退が無い場合[編集]
上のように変数を取った場合に、系に縮退が無ければ、
固有値は、
固有状態は、
と順次微少項を求めていく事ができます。
縮退がある場合[編集]
縮退が存在する場合は、について複数の状態が存在します。
ですからN重の縮退をしている場合、は
というそれぞれの状態の重ね合わせで表現されます。
(は固有状態、
はそれぞれの固有状態に対応する適当な係数)
これを考慮して解いていくと摂動の一次の固有値は
という摂動のハミルトニアンを(摂動のゼロ次の固有状態で)行列表示した場合の固有値方程式で得られます。
さらにこの固有値方程式からも求まり、
ここで始めてが得られる事がわかります。
そして摂動の一次の固有状態は
として
と求まります。
時間に依存しない摂動論[編集]
ここでは摂動を受ける(少しだけズラされる)前のハミルトニアンで、
対応する波動方程式が正確に解ける物です。
一方は受けた摂動(ズレ)を表す項です。
そしてこの摂動を受けたハミルトニアンによる波動方程式
は正確には解けないはずです。
線形代数における摂動論[編集]
先のはそれぞれ
スカラー・ベクトル・行列で表せるので、
まずこれらを簡単なベクトルと行列に置き換えて議論します。
次のシュレディンガーの方程式とその要素に対応した物を考えます。
この場合をそのまま解くと、で、固有値がそれぞれ
となり正確に解が求まります。
とにかく摂動を受けたハミルトニアンの場合で固有値を求めることにします。
まず固有値方程式を計算すると、
ここで固有値が元のからだけずれるとすると、
であり、の一次のオーダーで固有値方程式を解くと、
(縮退が無い場合はなので)
となります。
同様にからのずれはとなります。
さらに、に対応する固有ベクトルを
仮にと置いて
シュレディンガー方程式を解くと、
となり求める事ができます
(の二乗以上の項は無視しているのに注意)。
この結果は量子力学の結果と一致します。
縮退が無い場合の摂動論[編集]
先の線形代数における場合を、ブラケットと演算子を用いて計算します。
摂動を受けていないハミルトニアンに関する
シュレディンガー方程式はブラケットと演算子を用いて
と表せます。
まず準備としてすべての微小量に係数λをかける事とします。
これにより最終的にλのベキで展開する事が可能になります。
つまりハミルトニアンの摂動による効果を表すは微小量なので、
λをつけて表され、摂動を受けるハミルトニアンは、
と表されます。
そして解くべきシュレディンガーの方程式は
となります。(W: エネルギー固有値)。
ここで固有状態のと、
固有値Wは、摂動を受けていない場合から少しずれるはずなので、
それぞれ以下のように表せます。
ここで微小量は摂動の無い場合からのズレを表すので、微小でない項はそれぞれ
と、摂動の無い場合の固有値と固有状態になる事に注意。
そしてこれらの固有値と固有状態を解くべき方程式に代入すると以下のようになります。
これをλのベキについて展開すると以下の各方程式が得られます。
そしてこれらを求めたい微小量のオーダーの方程式まで解くことで
近似解を得ます。
0次の方程式を解きます。
先ず0次の方程式を展開すると、
となり、これは摂動の無い場合と同じなので固有値と固有状態はそれぞれ
と表せます。
1次の方程式を解きます。
先ず0次の方程式から
というのが判りますので、これを利用するために、
1次の方程式に左からをかけて
と微小量の1次までの固有値が求まります。
次に固有状態を求めるために
とベキ級数に置いて解を求めます。
このベキ級数を1次の方程式に代入すると
となります。
である事に注意。
さらにこれに左からをかけます()。
ここではの場合には
となり項が消えるので、左辺のsumが消えている事に注意。
そして、
という結果が得られ、線形代数の場合と同じ結果となります。
これを元の式に代入して固有状態を書くと
となります。
縮退がある場合の摂動論[編集]
このページ「
量子力学/時間に依存しない摂動論」は、
まだ書きかけです。加筆・訂正など、協力いただける皆様の
編集を心からお待ちしております。また、ご意見などがありましたら、お気軽に
トークページへどうぞ。