相互作用描像

テンプレート:出典の明記 量子力学の時間発展において、相互作用描像 (そうごさようびょうぞう、テンプレート:Lang-en-short）または相互作用表示（そうごさようひょうじ）とは、シュレーディンガー描像とハイゼンベルク描像の中間というべき描像である。これら2つの描像では、状態ベクトルまたは演算子のどちらかのみが時間に依存するが、相互作用描像にたてばこの両者が可観測量の時間依存性に寄与する。ディラック描像とも。

シュレーディンガー描像およびハイゼンベルク描像では、テンプレート:Math などのように異なる時間における演算子を含む式は必ずしも意味をなさないが、相互作用描像では許される。これは非時間依存ユニタリ変換が、ある描像における演算子を他の描像における対応する演算子と関連づけるためである。演算子がどの描像におけるものなのかが明示されていない書物もあり、混乱と誤用を招くこともある。

定義

相互作用描像における演算子と状態ベクトルは、基底の変更(ユニタリ変換)によってシュレーディンガー描像におけるそれらと関連づけられる。

相互作用描像に移るために、シュレーディンガー描像のハミルトニアンを テンプレート:Math のように二つにわける。

もし、ハミルトニアンが陽に時間に依存する場合(例えば、量子系が時間変化する外部電場と相互作用する場合)、大抵の場合は テンプレート:Math に陽に時間に依る部分を含め、テンプレート:Math を時間非依存に選ぶのが好都合である。この場合を想定して話を進める。

状態ベクトル

相互作用描像における状態ベクトル テンプレート:Math は、シュレーディンガー描像において対応する状態ベクトルを テンプレート:Math として、次のように定義される。

演算子

相互作用描像における演算子は次のように定義される。

(典型的には、テンプレート:Math は テンプレート:Mvar に依存しないので単にテンプレート:Math と書ける。これが テンプレート:Mvar に依存するのは、演算子が陽に時間に依存する場合のみである。)

ハミルトニアン演算子

演算子 テンプレート:Math 自体については、相互作用描像における演算子はシュレーディンガー描像におけるものと等しい。

(これは、演算子は自身の微分可能な関数とは交換することを用いて証明できる。)よって特にこの演算子は曖昧さを残さずテンプレート:Mathと呼ぶことができる。

摂動ハミルトニアン テンプレート:Math については次のようになる。

このように相互作用描像における摂動ハミルトニアンは時間非依存になる。（ただしテンプレート:Mathの場合。)

時間依存なハミルトニアン テンプレート:Math についても、相互作用描像を得ることができるが、指数関数部分を時間発展演算子に置き換える必要がある。

密度行列

密度行列は他の演算子と同じように相互作用描像でも表すことができる。特に、テンプレート:Mathとテンプレート:Mathをそれぞれ相互作用描像、シュレーディンガー描像における密度行列とすると、物理状態$|{\psi }_n⟩$が実現される確率をテンプレート:Mathとして、次のように表される。

$$\begin{array}{cc}{\rho }_{\mathrm{I}}(t)& =\sum _n{p}_n(t)|{\psi }_{n,\mathrm{I}}(t)⟩⟨{\psi }_{n,\mathrm{I}}(t)|\\ & =\sum _n{p}_n(t)e^{i{\hat{H}}_{0,\mathrm{S}}t/\hslash }|{\psi }_{n,\mathrm{S}}(t)⟩⟨{\psi }_{n,\mathrm{S}}(t)|e^{-i{\hat{H}}_{0,\mathrm{S}}t/\hslash }\\ & =e^{i{\hat{H}}_{0,\mathrm{S}}t/\hslash }{\rho }_{\mathrm{S}}(t)e^{-i{\hat{H}}_{0,\mathrm{S}}t/\hslash }\end{array}$$

発展	描像
	ハイゼンベルク	相互作用	シュレーディンガー
ケットベクトル	一定	$|{\psi }_{\mathrm{I}}(t)⟩=e^{i{\hat{H}}_{0,\mathrm{S}}t/\hslash }|{\psi }_{\mathrm{S}}(t)⟩$	$|{\psi }_{\mathrm{S}}(t)⟩=e^{-i{\hat{H}}_{\mathrm{S}}t/\hslash }|{\psi }_{\mathrm{S}}(0)⟩$
可観測量	${\hat{A}}_{\mathrm{H}}(t)=e^{i{\hat{H}}_{\mathrm{S}}t/\hslash }{\hat{A}}_{\mathrm{S}}{e}^{-i{\hat{H}}_{\mathrm{S}}t/\hslash }$	${\hat{A}}_{\mathrm{I}}(t)=e^{i{\hat{H}}_{0,\mathrm{S}}t/\hslash }{\hat{A}}_{\mathrm{S}}{e}^{-i{\hat{H}}_{0,\mathrm{S}}t/\hslash }$	一定
密度行列	一定	${\rho }_{\mathrm{I}}(t)=e^{i{\hat{H}}_{0,\mathrm{S}}t/\hslash }{\rho }_{\mathrm{S}}(t)e^{-i{\hat{H}}_{0,\mathrm{S}}t/\hslash }$	${\rho }_{\mathrm{S}}(t)=e^{-i{\hat{H}}_{\mathrm{S}}t/\hslash }{\rho }_{\mathrm{S}}(0)e^{i{\hat{H}}_{\mathrm{S}}t/\hslash }$

相互作用描像における時間発展方程式

状態の時間発展

シュレーディンガー描像から相互作用描像への書き換えにより、次を得る。

$i\hslash \frac{\mathrm{d}}{\mathrm{d}t}|{\psi }_{\mathrm{I}}(t)⟩={\hat{H}}_{1,\mathrm{I}}(t)|{\psi }_{\mathrm{I}}(t)⟩$

この方程式は朝永-シュウィンガーの式として知られる。

演算子の時間発展

もし、テンプレート:Math が陽に時間に依らなければ、対応する時間発展 テンプレート:Math は次のように得られる。

$i\hslash \frac{\mathrm{d}}{\mathrm{d}t}{\hat{A}}_{\mathrm{I}}(t)=[{\hat{A}}_{\mathrm{I}}(t),{\hat{H}}_0]$

相互作用描像では演算子は、ハイゼンベルク描像においてハミルトニアンをH'=H₀としたときの演算子と同じように時間発展する。

密度行列の時間発展

朝永-シュウィンガーの式を、密度行列の言葉で書き直すと、(または同じ事だが、フォン・ノイマン方程式を相互作用描像で書きあらわすと)次を得る。

$i\hslash \frac{\mathrm{d}}{\mathrm{d}t}{\rho }_{\mathrm{I}}(t)=[{\hat{H}}_{1,\mathrm{I}}(t),{\rho }_{\mathrm{I}}(t)]$

相互作用描像の使用

相互作用描像の目的は、テンプレート:Math が演算子に作用することによる時間依存性と、テンプレート:Math が状態ベクトルに作用することによる時間依存性を分離してしまうことにある。相互作用描像は、テンプレート:Math をハイゼンベルク描像にして、テンプレート:Mathをシュレーディンガー描像にした形式だと言える。

相互作用描像は、解が求まっている系のハミルトニアン テンプレート:Math に、小さな干渉項 テンプレート:Math が干渉することによる効果を検証する場合に便利である。相互作用描像を用いることにより、摂動法を用いて テンプレート:Math の効果を調べることができる。

場の量子論においても相互作用描像は用いられる。相互作用描像では演算子の時間依存性は自由ハミルトニアンテンプレート:Math のみにより、相互作用により変わる部分は状態ベクトルの中にある。したがってテンプレート:Mathがゼロならば状態ベクトルは時間に依らず、相互作用描像はハイゼンベルク描像に等しい。相互作用描像の便利な点は、相互作用がある場合でも場の演算子が自由場の方程式を満たすことであり、場の展開がそのまま使えることにある。状態ベクトルの満たす方程式はシュレーディンガー方程式に似ているが、テンプレート:Mathは時間に依存する自由場の演算子を含んでいる。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• ブラ-ケット記法
• シュレーディンガー方程式
• テンプレート:Ill