Prerequisite
この節では摂動のある定常Schrödinger方程式を解くための形式的な解法与える.
まずはエネルギー固有値に縮退がないと仮定しよう.
固有状態のラベルを として非摂動系において
が成り立っている.
は非摂動を明示するために付している.
摂動が加わった における定常Schrödinger方程式を
とおく.
次に2つの射影演算子
を導入しよう.
は 番目の固有状態への射影で はそれと直交する空間への射影である.
射影演算子は非摂動Hamiltonianと可換である; .
固有値方程式の左から を作用させると,
ここで任意のパラメータ を導入して上式を
と変形する.
左辺では可換性から
となる.
逆演算子 を左から作用させれば
を得る.
ここで射影演算子と非摂動Hamiltonianが可換なので形式的に分数の形で略記したが,厳密には の意味である.
いまこの式の両辺には摂動を受けている系の固有状態 が現れている.
これを右辺の に代入することで,
となり再帰的に同じ式の代入をくり返していけば,
となる.
こうして摂動を受けている系の固有状態 を から求める式が得られた.
あとは具体的な を与えれば逐次的に解くことができる.
エネルギー固有値を求めるには固有値方程式の左から を作用させることで
となるので, について解けば
状態ベクトルの形式解を代入すれば
と与えられる.
摂動展開から求めた結果と一致していることを見るためには とおけば容易く確かめられる(問題参照).
この場合に得られる形式解はRayleigh–Schrödinger方程式という.
他方で とする場合に得られる形式解はBrillouin–Wigner方程式という.
これらは摂動展開の収束性によって使い分けられる.
では次に縮退がある場合で同様の形式解を導いていこう.
縮退がある場合の非摂動固有状態は縮退のラベル が加わって と書かれて,
と展開できる.
これらの固有状態ベクトルは
を満たす.
摂動を受けるとエネルギー固有値の縮退は一般に解けて と表記される.
摂動のある系の定常Schrödinger方程式は
同様に に属する固有空間への射影演算子
を導入する.
定常Schrödinger方程式に任意パラメータ を導入し左から を作用させれば
上式を逐次的に代入して
を得る.
エネルギー固有値については定常Schrödinger方程式の左から を作用させれば
と変形できる.
上の結果を代入すると
となり縮退のラベル を除いて縮退がないときと全く同じ形で与えられる.
具的系に として1次と2次の項を計算してみよう.
エネルギー固有値は に注意して
について1次,2次の項を とおく.
1次の項については
の正方行列 と 次元のベクトル を導入すれば
と書かれる.
これは のもとでの行列 の固有値問題と等価である. 固有ベクトルは 個あり,そのうち に対応するものとして と表記しよう.
さらに記号が煩雑になってしまうがこの係数によって展開される非摂動の固有ベクトルを
と表記する.
つまりここまで出てきた は に読み替える.
2次の項については完全系の式 を挿入して
となる.
射影演算子 のために和から 番目が除去されることに注意せよ.
1次の摂動を取り入れてもまだ縮退が残っている場合は2次の摂動でそれが解けることがある.
1次で縮退が残ると展開係数 が完全に定まらない.
そのとき再び2次のエネルギー補正 を固有値とするような固有値問題が立てられて展開係数を固有ベクトルとして定めることができる.
Problem
縮退がないときに とおいた場合,エネルギー固有値が摂動展開から直接求めた1次と2次の結果と一致することを確かめよ.
のとき3項目まであらわに書き下すと,
について1次,2次の項を とおく.
1次の項については
ここで は の行列要素.
次に2次の項については完全系の式 を挿入して