Note134 摂動(perturbation)計算
摂動計算は解くべき系が複雑で厳密に解く事が出来ないような場合を近似的に解く方法だがその近似が収束するなら幾らでも厳密解に接近できる。元々は複数の天体が互いに影響を与えながら運動しているような場合に開発された方法のようだ。イメージ的には殆どの影響は正確にわかるが僅かな影響(摂動)で解が分からなくなるよう場合に逐次補正を加えながら元の正確にわかっている解を修正していく。
さて、系のハミルトニアンが
で正確には解けないが解が良く分かっているハミルトニアンを使って近似的に
と書けるとする。つまりH0についての解は厳密に分かっている。H'が系の摂動項ともいうべき摂動のハミルトニアン。
このとき元の系の解λが十分小さければH0の解に補正を加えたものになるだろうと考える。そしてその補正はH0の解のλの冪級数として展開できると考える。
と考える。とするならこれを代入すると
λの次数で比較すると
となる。そこで1次の摂動が次のように計算できます。
なのでH0の固有関数uが完全系をつくっているなら
という関係が得られます。そして以下のようにして1次の摂動が計算できます。
従って
が一次の摂動を考慮した解になります。
で正確には解けないが解が良く分かっているハミルトニアンを使って近似的に
と書けるとする。つまりH0についての解は厳密に分かっている。H'が系の摂動項ともいうべき摂動のハミルトニアン。
このとき元の系の解λが十分小さければH0の解に補正を加えたものになるだろうと考える。そしてその補正はH0の解のλの冪級数として展開できると考える。
と考える。とするならこれを代入すると
λの次数で比較すると
となる。そこで1次の摂動が次のように計算できます。
なのでH0の固有関数uが完全系をつくっているなら
という関係が得られます。そして以下のようにして1次の摂動が計算できます。
従って
が一次の摂動を考慮した解になります。
QEDではそう思ってαの冪で摂動展開しているわけでそれぞの次数に対応する項がFeynman図が対応している。
それで、精度の高い近似を求めるために高次(2>)の項を求めてみたらなんと無限大になってしまったというのが「発散の困難」と呼ばれていたわけでこれが繰り込みという巧妙な引き算を導入して無限大―無限大=有限というトリックを使ってみたら驚異的な精度実験結果が説明できたいう話に繋がるわけですね。