相互作用描像

量子力学の時間発展において、相互作用描像 (そうごさようびょうぞう、）または相互作用表示（そうごさようひょうじ）とは、シュレーディンガー描像とハイゼンベルク描像の中間というべき描像である。これら2つの描像では、状態ベクトルまたは演算子のどちらかのみが時間に依存するが、相互作用描像にたてばこの両者が可観測量の時間依存性に寄与する。ディラック描像とも。
シュレーディンガー描像およびハイゼンベルク描像では、 などのように異なる時間における演算子を含む式は必ずしも意味をなさないが、相互作用描像では許される。これは非時間依存ユニタリ変換が、ある描像における演算子を他の描像における対応する演算子と関連づけるためである。演算子がどの描像におけるものなのかが明示されていない書物もあり、混乱と誤用を招くこともある。
定義.
相互作用描像における演算子と状態ベクトルは、基底の変更(ユニタリ変換)によってシュレーディンガー描像におけるそれらと関連づけられる。
相互作用描像に移るために、シュレーディンガー描像のハミルトニアンを のように二つにわける。
もし、ハミルトニアンが"陽に時間に依存"する場合(例えば、量子系が時間変化する外部電場と相互作用する場合)、大抵の場合は に陽に時間に依る部分を含め、 を時間非依存に選ぶのが好都合である。この場合を想定して話を進める。
状態ベクトル.
相互作用描像における状態ベクトル は、シュレーディンガー描像において対応する状態ベクトルを として、次のように定義される。
演算子.
相互作用描像における演算子は次のように定義される。
ハミルトニアン演算子.
演算子 自体については、相互作用描像における演算子はシュレーディンガー描像におけるものと等しい。
(これは、演算子は自身の微分可能な関数とは交換することを用いて証明できる。)よって特にこの演算子は曖昧さを残さずと呼ぶことができる。
摂動ハミルトニアン については次のようになる。
このように相互作用描像における摂動ハミルトニアンは時間非依存になる。（ただしの場合。)
時間依存なハミルトニアン についても、相互作用描像を得ることができるが、指数関数部分を時間発展演算子に置き換える必要がある。
密度行列.
密度行列は他の演算子と同じように相互作用描像でも表すことができる。特に、とをそれぞれ相互作用描像、シュレーディンガー描像における密度行列とすると、物理状態formula_1が実現される確率をとして、次のように表される。
formula_2
相互作用描像における時間発展方程式.
状態の時間発展.
シュレーディンガー描像から相互作用描像への書き換えにより、次を得る。
この方程式は朝永-シュウィンガーの式として知られる。
演算子の時間発展.
もし、 が陽に時間に依らなければ、対応する時間発展 は次のように得られる。
相互作用描像では演算子は、ハイゼンベルク描像においてハミルトニアンを"H'=H0"としたときの演算子と同じように時間発展する。
密度行列の時間発展.
朝永-シュウィンガーの式を、密度行列の言葉で書き直すと、(または同じ事だが、フォン・ノイマン方程式を相互作用描像で書きあらわすと)次を得る。
相互作用描像の使用.
相互作用描像の目的は、 が演算子に作用することによる時間依存性と、 が状態ベクトルに作用することによる時間依存性を分離してしまうことにある。相互作用描像は、 をハイゼンベルク描像にして、をシュレーディンガー描像にした形式だと言える。
相互作用描像は、解が求まっている系のハミルトニアン に、小さな干渉項 が干渉することによる効果を検証する場合に便利である。相互作用描像を用いることにより、摂動法を用いて の効果を調べることができる。
場の量子論においても相互作用描像は用いられる。相互作用描像では演算子の時間依存性は自由ハミルトニアン のみにより、相互作用により変わる部分は状態ベクトルの中にある。したがってがゼロならば状態ベクトルは時間に依らず、相互作用描像はハイゼンベルク描像に等しい。相互作用描像の便利な点は、相互作用がある場合でも場の演算子が自由場の方程式を満たすことであり、場の展開がそのまま使えることにある。状態ベクトルの満たす方程式はシュレーディンガー方程式に似ているが、は時間に依存する自由場の演算子を含んでいる。