相互作用描像

定義 2.1（「摂動論とファインマン則」§2）

基準時刻 $t_0$ でハイゼンベルク場と一致するように、相互作用描像の場を

\hat\phi_I(t,\boldsymbol x)=e^{i\hat H_0(t-t_0)}\,\hat\phi(t_0,\boldsymbol x)\,e^{-i\hat H_0(t-t_0)}

で定めます。また、相互作用描像の相互作用ハミルトニアンと時間発展演算子を

\hat H_I(t)=e^{i\hat H_0(t-t_0)}\,\hat H_{\mathrm{int}}\,e^{-i\hat H_0(t-t_0)},\qquad \hat U(t,t')=e^{i\hat H_0(t-t_0)}e^{-i\hat H(t-t')}e^{-i\hat H_0(t'-t_0)}

で定めます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。