S行列のソースを表示

{{Redirect|散乱行列|高周波電子回路|Sパラメータ}}
'''S行列'''（Sぎょうれつ）または'''散乱行列'''（さんらんぎょうれつ、{{lang-en-short|scattering matrix}}）とは、[[散乱]]過程の始状態と終状態に関係する[[行列]]である。[[量子力学]]、[[散乱理論]]、[[場の量子論]]、[[マイクロ波]]工学などで用いられる。

[[量子論]]における'''散乱演算子'''は、[[ヒルベルト空間]]上の粒子の漸近的な状態をつなぐ[[ユニタリ演算子]]として定義される。
: <math>\begin{align}
\hat{S} |\psi(-\infty)\rangle &= |\psi(\infty)\rangle \\
\hat{S}^\dagger &= \hat{S}^{-1}
\end{align}</math>
つまり、始状態 <math>t=-\infty </math> の後に散乱過程が起こり、終状態 <math>t=\infty</math> に到達したときの、[[時間発展演算子]] <math>\hat{U}(-\infty,\infty)</math>が'''散乱演算子'''である。この散乱演算子を[[行列表示]]したものが'''S行列'''である。

==設定・定義==
散乱過程を始状態から終状態への転移としてとらえる散乱理論では、その転移確率を時間依存シュレディンガー方程式を用いて求める（[[時間発展]]については[[シュレディンガー描像]]から[[相互作用描像]]に書き換えてから計算することもある）。この方法は量子力学の考え方に沿った方法であり、非弾性散乱なども扱えるため一般性がある。

*系の[[時間発展]]は[[相互作用描像]]であるとする。つまり状態の時間発展は「[[朝永-シュウィンガーの式]]」で表される。

*衝突前の始状態の時刻としては、事実上無限の過去の時刻<math>t'=-\infty</math>をとることができる。
*<math>t'=-\infty</math>には、2個の入射粒子は十分遠くに離れていて、その間に相互作用はないと考えられる。
*ただし粒子間の相互作用は、粒子間距離<math>r</math>の逆数<math>1/r</math>よりもはやく消えるものとする(したがって粒子間に[[クーロン力]]が作用する場合には、以下の理論はそのままでは適用できない)。この条件をみたす限り、<math>t'=-\infty</math>における状態として、[[自由ハミルトニアン]]<math>\hat{H}_0</math>の[[固有状態]]を選ぶことができる。すなわち<math>t'=-\infty</math>において系の状態ベクトル<math>|\psi_I(t'=-\infty)\rangle</math>を以下のように設定しておく。
:<math>\begin{align}
|\psi_I(t'=-\infty)\rangle &= |\Phi_i\rangle \\
\hat{H}_0 |\Phi_i\rangle &= E_i |\Phi_i\rangle \\
\langle\Phi_i|\Phi_j\rangle &= \delta_{i,j}
\end{align}</math>
このとき状態の時間変化は時間発展演算子を用いて以下のように表せる。
:<math>|\psi_I(t)\rangle=\hat{U}(t,-\infty)|\psi_I(-\infty)\rangle=\hat{U}(t,-\infty)|\Phi_i\rangle</math>
この表式は、はじめ時刻<math>t'=-\infty</math>において状態<math>|\Phi_i\rangle</math>にあった系が、時刻<math>t</math>においては相互作用の影響によって状態<math>|\psi_I(t)\rangle</math>に変わっていることを表すものである。

2粒子の衝突が終わり、それらの粒子がたがいに遠くに離れた時刻を<math>t=+\infty</math>とすると、その状態は
:<math>|\psi_I(t'=+\infty)\rangle=\hat{U}(+\infty,-\infty ) | \Phi_i \rangle </math>
で与えられる。この式によって形成された状態ベクトル<math>|\psi_I(t'=+\infty)\rangle</math>を、<math>\hat{H_0}</math>の固有ベクトルの完全系<math> | \Phi_i \rangle </math>で展開し、その展開係数を<math>S_{j,i}</math>と書くと、
:<math>\langle \Phi_f|\psi_I(+\infty)\rangle = \langle \Phi_f|\hat{U}(+\infty,-\infty )| \Phi_i \rangle = \sum_j \langle \Phi_f| \Phi_j \rangle S_{j,i} = \sum_j \delta_{f,j}S_{j,i}=S_{f,i} </math>
である。すなわち
:<math>S_{f,i} = \langle \Phi_f|\hat{U}(+\infty,-\infty )| \Phi_i \rangle</math>
は、時刻<math>t'=-\infty</math>に<math>\hat{H_0}</math>の固有状態<math> | \Phi_i \rangle </math>にあった系が、相互作用<math>\hat{V}_I</math>によって、時刻時刻<math>t'=+\infty</math>において<math>\hat{H_0}</math>の固有状態<math> | \Phi_f \rangle </math>に転移する確率振幅を与える。この<math>S_{f,i}</math>を'''S行列'''と呼び、<math>\hat{S}=\hat{U}(+\infty,-\infty )</math>を'''S演算子'''と呼ぶ。

散乱現象に関するすべての知識はS行列によって記述される。つまり、S行列が求められれば散乱問題は解けたことになる。S行列が求まれば、その絶対値の2乗をとることにより、始状態<math>\psi_i\rangle</math>から終状態<math>\psi_f\rangle</math>への転移確率<math>W_{f,i}</math>が求まる。
:<math>W_{f,i}=|S_{f,i}|^2</math>
これより[[散乱断面積]]が計算できる。したがって、散乱現象を状態の転移として考える立場において、S行列はその中心的な役割をになう重要な物理量となる。

==T行列・リアクタンス行列==
散乱問題を解くときにS行列の代わりに
:<math>\hat{S}=\hat{1}+2i\hat{T}</math>
で定義される'''[[T行列]]'''を使うこともある。T行列は[[散乱振幅]]に直結していて便利である。

さらにケイリー変換
:<math>\hat{S}=\frac{1+i\hat{R}}{1-i\hat{R}}</math>
によってエルミート演算子<math>\hat{R}</math>を導入することがあるが、これを'''R行列'''または'''リアクタンス行列'''という。

== 参考文献 ==
* {{Cite book|和書|author=砂川重信|year=1991|title=量子力学|publisher=[[岩波書店]]|id=ISBN 4000061399}}
* 『物理学辞典』 培風館、1984年

== 関連項目 ==
<!-- {{Commonscat|S-matrix}} -->
* [[散乱理論]]
* [[遷移行列]]
* [[Sパラメータ]]
* [[S行列の理論]]
* [[S行列の解析性]]
<!-- == 外部リンク == -->

{{Physics-stub}}

{{Normdaten}}
{{DEFAULTSORT:えすきようれつ}}
[[Category:量子力学]]
[[Category:散乱理論]]
[[Category:場の量子論]]
[[Category:行列]]