相互作用描像

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索
量子力学
不確定性原理
紹介英語版 · 数学的定式化

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

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

定義[編集]

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

相互作用描像に移るために、シュレーディンガー描像のハミルトニアン^HS = ^H0,S + ^H1,S のように二つにわける。[1]

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

状態ベクトル[編集]

相互作用描像における状態ベクトル |ψI(t)〉 は、シュレーディンガー描像において対応する状態ベクトルを |ψS(t)〉 として、次のように定義される。


演算子[編集]

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

(典型的には、^AS(t)t に依存しないので単に^AS と書ける。これが t に依存するのは、演算子が陽に時間に依存する場合のみである。)

ハミルトニアン演算子[編集]

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

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

摂動ハミルトニアン ^H1, I については次のようになる。

このように相互作用描像における摂動ハミルトニアンは時間非依存になる。(ただし[^H1, S, ^H0, S] = 0の場合。)

時間依存なハミルトニアン ^H0, S(t) についても、相互作用描像を得ることができるが、指数関数部分を時間発展演算子に置き換える必要がある。

密度行列[編集]

密度行列は他の演算子と同じように相互作用描像でも表すことができる。特に、ρIρSをそれぞれ相互作用描像、シュレーディンガー描像における密度行列とすると、物理状態が実現される確率をpnとして、次のように表される。

発展 描像
ハイゼンベルク 相互作用 シュレーディンガー
ケットベクトル 一定
可観測量 一定
密度行列 一定

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

状態の時間発展[編集]

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

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

演算子の時間発展[編集]

もし、AS が陽に時間に依らなければ、対応する時間発展 AI(t) は次のように得られる。

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

密度行列の時間発展[編集]

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

相互作用描像の使用[編集]

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

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

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

脚注[編集]

  1. ^ 全てのわけかたから意味をもった相互作用描像を得ることができる。しかし、相互作用描像によって問題の解析を容易にするためには、典型的には ^H0, S は性質がよく理解されており、解が求まっているもの、^H1, S に解析の難しい、摂動的なものが含まれるようにわけることが多い。
  2. ^ もし、^H0, S が時間依存する場合においては、exp(± i^H0, S t / ħ)を対応する時間発展演算子に置き換えればここでの議論を適用できる。
  3. ^ 沙川貴大、上田正仁 『量子測定と量子制御』 サイエンス社〈臨時別冊・数理科学SGCライブラリ123〉、2016年
  4. ^ 長島順清 『素粒子物理学の基礎I』 朝倉書店〈朝倉物理学大系〉、2002年ISBN 4-254-13673-0

参考文献[編集]

関連項目[編集]