Prerequisite
Feynmanの 処方を考慮した運動量表示のLippmann–Schwinger方程式
についてより深く考察していこう.
どちらの符号で極をずらしているかを明示するために と表記する.
また の極限は省略している.
運動量の固有状態 は の固有値に属していて正規直交系をなす: . 他方で は の固有値 に属する固有状態であり,量子論の一般論からやはり正規直交系をなす: .
Lippmann–Schwinger方程式はこの2つの基底 と の変換公式とも言える.
そこで変換に対応する演算子を導入して
とおこう.
すると の行列要素は運動量表示のLippmann–Schwinger方程式そのものである.
また は完全系なので を展開することができる.
2式を比較して
がわかる.
さらに2つの基底の正規直交関係からは
となることも導かれる(散乱ポテンシャル によって束縛状態が現れるときはより慎重な議論が必要であるがほとんど同じ結果を導くことができる).
散乱問題で重要なのは微分散乱断面積であり,定常散乱では散乱振幅 によって与えることができる.
座標表示の散乱振幅は
ここでベクトル は入射運動量 と同じ大きさで動径方向を向いている; . 特に定常散乱なので が成り立つ.
また で定義されている.
Lippmann–Schwinger方程式は散乱振幅を導かなけばならない.
そのことを見るためにこれを状態ベクトルで書き直そう.
平面波は ,波動函数は であるから
と書き換えられる.
最後の式ではエネルギー保存則を書いて勝手な大きさの は選べないことを明示した(逆に言えば散乱方向 の函数である).
の部分はたしかにLippmann–Schwinger方程式にも現れている.
デルタ函数の公式
により( は主値積分),Lippmann–Schwinger方程式の右辺第2項は主値積分の項とエネルギー保存則に対応したデルタ函数 とに分離されて
主値積分を除いて行列要素
S行列
を定義する(第2項の係数 に注意).
これを散乱行列 (scattering matrix) または頭文字をとってS行列 (S-matrix) という.
S行列は散乱の漸近的な終状態を展開したときの始状態の重みに対応する.
S行列はユニタリ演算子であることが導ける.
まず2つの固有値方程式 と から始める.
後者で と変形したものと前者の差をとることで
を得る.
ここでも 処方により極をずらしておく.
と の差をとるとデルタ函数の公式により主値積分の項を落とすことができて
両辺のHermite共役をとり左から に作用させれば
となってS行列に等しいことがわかる.
これと の定義から演算子 との間に
の関係があることが導かれる.
この表式を用いれば最終的にS行列のユニタリ性
が示される.
S行列の第1項は散乱ではなく透過波の寄与なのでそれを抜き出して
によって演算子 を定義すると,その行列要素は
T行列
である.
こちらは遷移行列 (transfer matrix) または頭文字をとってT行列 (T-matrix) と呼ばれる.
S行列がユニタリであることからT行列は
を満たさなければならない.
さらにT行列は散乱振幅と
という関係があることがすぐにわかる.
したがってLippmann–Schwinger方程式を解かなくても,S行列またはT行列を計算することができれば定常散乱問題は解けたことになる.
しかしながらどちらの行列要素も未定な状態 を含んでおり計算の大変さはそれほど変わらない.
摂動的に散乱ポテンシャルを扱う際にはS行列を用いると議論の見通しが良くなる.
詳細は摂動論の章で述べる.
T行列の条件を行列表示して対角成分 に着目すると
となる.
は散乱のしなかった生存波に対応する.
最後の段の積分は球面極座標へ移ることで について実行できて
ここで は全散乱断面積.
これにより結局
となり光学定理を再び得る.
光学定理は散乱後の確率保存則から導かれるのでS行列のユニタリ性は確率保存則と関係している.