意味 相互作用表示における演算子と状態ベクトルは、基底変換(ユニタリ変換 )によって、シュレーディンガー表示における同じ演算子と状態ベクトルと関連付けられる。
相互作用表示に切り替えるために、シュレーディンガー表示のハミルトニアンを 2つの部分に分割します。
H S = H 0 、 S + H 1 、 S 。 {\displaystyle H_{\text{S}}=H_{0,{\text{S}}}+H_{1,{\text{S}}}.}
どのような部品を選択しても有効な相互作用図が得られますが、相互作用図が問題の分析を簡略化するのに役立つためには、通常、H 0,S が十分に理解され、厳密に解けるように部品が選択され、H 1,S にはこのシステムに対する分析がより困難な摂動が含まれるようになります。
ハミルトニアンに明示的な時間依存性 がある場合(例えば、量子系が時間とともに変化する外部電場と相互作用する場合)、通常は、明示的な時間依存項をH 1,S に含め、H 0,S を 時間非依存のままにしておく方が有利です。
H S ( t ) = H 0 、 S + H 1 、 S ( t ) 。 {\displaystyle H_{\text{S}}(t)=H_{0,{\text{S}}}+H_{1,{\text{S}}}(t).}
我々はこれが事実であると仮定して先に進む。H 0,S が時間依存であるのが妥当な状況がある場合、 それ を置き換えることで先に進むことができる。 e ± 私 H 0 、 S t / ℏ {\displaystyle \mathrm {e} ^{\pm \mathrm {i} H_{0,{\text{S}}}t/\hbar }} 以下の定義における対応する時間発展演算子 によって。
状態ベクトル させて| ψ S ( t ) ⟩ = e − 私 H S t / ℏ | ψ ( 0 ) ⟩ {\displaystyle |\psi _{\text{S}}(t)\rangle =\mathrm {e} ^{-\mathrm {i} H_{\text{S}}t/\hbar }|\psi (0)\rangle } はシュレーディンガー描像における時間依存状態ベクトルである。相互作用描像における状態ベクトルは、| ψ 私 ( t ) ⟩ {\displaystyle |\psi _{\text{I}}(t)\rangle } は、追加の時間依存ユニタリ変換によって定義される。[ 5 ]
| ψ 私 ( t ) ⟩ = e 私 H 0 、 S t / ℏ | ψ S ( t ) ⟩ 。 {\displaystyle |\psi _{\text{I}}(t)\rangle ={\text{e}}^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }|\psi _{\text{S}}(t)\rangle .}
オペレーター 相互作用図における演算子は次のように定義される。
A 私 ( t ) = e 私 H 0 、 S t / ℏ A S ( t ) e − 私 H 0 、 S t / ℏ 。 {\displaystyle A_{\text{I}}(t)=\mathrm {e} ^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }A_{\text{S}}(t)\mathrm {e} ^{-\mathrm {i} H_{0,{\text{S}}}t/\hbar }.}
A S ( t ) は通常 t に依存せず、単にA S と書き換えることができることに注意してください。演算子が「明示的な時間依存性」を持つ場合、例えば、外部から印加される時間変動電場に依存する場合のみ、t に依存します 。明示的な時間依存性の別の例としては、 A S ( t ) が密度行列である場合が挙げられます (下記参照)。
ハミルトニアン演算子 オペレーター向けH 0 {\displaystyle H_{0}} それ自体、相互作用図とシュレーディンガー図は一致する。
H 0 、 私 ( t ) = e 私 H 0 、 S t / ℏ H 0 、 S e − 私 H 0 、 S t / ℏ = H 0 、 S 。 {\displaystyle H_{0,{\text{I}}}(t)=\mathrm {e} ^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }H_{0,{\text{S}}}\mathrm {e} ^{-\mathrm {i} H_{0,{\text{S}}}t/\hbar }=H_{0,{\text{S}}}.} これは、演算子がそれ自身の微分可能な関数と可換である という事実から容易に理解できます。この特定の演算子は次のように呼ばれます。H 0 {\displaystyle H_{0}} 曖昧さなく。
摂動ハミルトニアンの場合H 1 、 私 {\displaystyle H_{1,{\text{I}}}} 、 しかし、
H 1 、 私 ( t ) = e 私 H 0 、 S t / ℏ H 1 、 S e − 私 H 0 、 S t / ℏ 、 {\displaystyle H_{1,{\text{I}}}(t)=\mathrm {e} ^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }H_{1,{\text{S}}}\mathrm {e} ^{-\mathrm {i} H_{0,{\text{S}}}t/\hbar },} 相互作用図の摂動ハミルトニアンは、[ H 1,S , H 0,S ] = 0 でない限り、時間依存ハミルトニアンとなる。
時間依存ハミルトニアンH 0,S ( t ) の相互作用表示も得ることができますが、指数関数はH 0,S ( t ) によって生成される時間発展のユニタリー伝播関数、またはより具体的には時間順序付き指数積分に置き換える必要があります。
密度行列 密度行列は、 他の演算子と同様に相互作用表示に変換できることが示せる。特に、ρ I とρ S をそれぞれ相互作用表示とシュレーディンガー表示における密度行列とする。物理状態 | ψ n ⟩にある確率p n がある場合、
ρ 私 ( t ) = ∑ n p n ( t ) | ψ n 、 私 ( t ) ⟩ ⟨ ψ n 、 私 ( t ) | = ∑ n p n ( t ) e 私 H 0 、 S t / ℏ | ψ n 、 S ( t ) ⟩ ⟨ ψ n 、 S ( t ) | e − 私 H 0 、 S t / ℏ = e 私 H 0 、 S t / ℏ ρ S ( t ) e − 私 H 0 、 S t / ℏ 。 {\displaystyle {\begin{aligned}\rho _{\text{I}}(t)&=\sum _{n}p_{n}(t)\left|\psi _{n,{\text{I}}}(t)\right\rangle \left\langle \psi _{n,{\text{I}}}(t)\right|\\&=\sum _{n}p_{n}(t)\mathrm {e} ^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }\left|\psi _{n,{\text{S}}}(t)\right\rangle \left\langle \psi _{n,{\text{S}}}(t)\right|\mathrm {e} ^{-\mathrm {i} H_{0,{\text{S}}}t/\hbar }\\&=\mathrm {e} ^{\mathrm {i} H_{0,{\text{S}}}t/\hbar }\rho _{\text{S}}(t)\mathrm {e} ^{-\mathrm {i} H_{0,{\text{S}}}t/\hbar }.\end{aligned}}}
時間発展
状態の時間発展 シュレーディンガー方程式を 相互作用表示に変換すると、
私 ℏ d d t | ψ 私 ( t ) ⟩ = H 1 、 私 ( t ) | ψ 私 ( t ) ⟩ 、 {\displaystyle \mathrm {i} \hbar {\frac {\mathrm {d} }{\mathrm {d} t}}|\psi _{\text{I}}(t)\rangle =H_{1,{\text{I}}}(t)|\psi _{\text{I}}(t)\rangle ,} これは、相互作用表示において、量子状態は相互作用表示で表現されるハミルトニアンの相互作用部分によって進化すると述べています。[ 6 ] 証明はFetterとWaleckaによって与えられています。[ 7 ]
演算子の時間発展 演算子A S が時間に依存しない場合(つまり、「明示的な時間依存性」を持たない場合。上記参照)、対応するA I ( t ) の時間発展は次のように与えられる。
私 ℏ d d t A 私 ( t ) = [ A 私 ( t ) 、 H 0 、 S ] 。 {\displaystyle \mathrm {i} \hbar {\frac {\mathrm {d} }{\mathrm {d} t}}A_{\text{I}}(t)=[A_{\text{I}}(t),H_{0,{\text{S}}}].} 相互作用表示では、演算子はハミルトニアンH ' = H 0 を持つハイゼンベルク表示 の演算子のように時間とともに進化します。
密度行列の時間発展 相互作用図における密度行列 の進化は
私 ℏ d d t ρ 私 ( t ) = [ H 1 、 私 ( t ) 、 ρ 私 ( t ) ] 、 {\displaystyle \mathrm {i} \hbar {\frac {\mathrm {d} }{\mathrm {d} t}}\rho _{\text{I}}(t)=[H_{1,{\text{I}}}(t),\rho _{\text{I}}(t)],} 相互作用描写におけるシュレーディンガー方程式と整合している。
期待値 一般事業者向けA {\displaystyle A} 相互作用図における期待値は次式で与えられる。
⟨ A 私 ( t ) ⟩ = ⟨ ψ 私 ( t ) | A 私 ( t ) | ψ 私 ( t ) ⟩ = ⟨ ψ S ( t ) | e − 私 H 0 、 S t e 私 H 0 、 S t A S e − 私 H 0 、 S t e 私 H 0 、 S t | ψ S ( t ) ⟩ = ⟨ A S ( t ) ⟩ 。 {\displaystyle \langle A_{\text{I}}(t)\rangle =\langle \psi _{\text{I}}(t)|A_{\text{I}}(t)|\psi _{\text{I}}(t)\rangle =\langle \psi _{\text{S}}(t)|e^{-iH_{0,{\text{S}}}t}e^{iH_{0,{\text{S}}}t}\,A_{\text{S}}\,e^{-iH_{0,{\text{S}}}t}e^{iH_{0,{\text{S}}}t}|\psi _{\text{S}}(t)\rangle =\langle A_{\text{S}}(t)\rangle .} 期待値の密度行列表現を用いると、
⟨ A 私 ( t ) ⟩ = Tr ( ρ 私 ( t ) A 私 ( t ) ) 。 {\displaystyle \langle A_{\text{I}}(t)\rangle =\operatorname {Tr} {\big (}\rho _{\text{I}}(t)\,A_{\text{I}}(t){\big )}.}
シュウィンガー・朝永方程式相互作用表現という用語はシュウィンガー によって考案されました。[ 8 ] [ 9 ] この新しい混合表現では、状態ベクトルは一般には一定ではありませんが、場間の結合がない場合は一定になります。表現の変更は、朝永 -シュウィンガー方程式に直接つながります。[ 10 ] [ 9 ]
私 h c ∂ Ψ [ σ ] ∂ σ ( x ) = H ^ ( x ) Ψ ( σ ) {\displaystyle ihc{\frac {\partial \Psi [\sigma ]}{\partial \sigma (x)}}={\hat {H}}(x)\Psi (\sigma )} H ^ ( x ) = − 1 c j μ ( x ) A μ ( x ) {\displaystyle {\hat {H}}(x)=-{\frac {1}{c}}j_{\mu }(x)A^{\mu }(x)} この場合のハミルトニアンは QED 相互作用ハミルトニアンですが、一般的な相互作用でもあり、σ {\displaystyle \sigma } は、点を通過する空間的な表面である。x {\displaystyle x} 導関数は、与えられた曲面上の変化を形式的に表す。x {\displaystyle x} 固定されている。この方程式の正確な数学的形式解釈を与えることは難しい。[ 11 ]
このアプローチは、ファインマン図の「積分」と「粒子」アプローチとは対照的に、シュウィンガーによって「微分」と「場」のアプローチと呼ばれています。[ 12 ] [ 13 ]
核心的な考え方は、相互作用の結合定数が小さい場合(つまり、電磁気学の場合は微細構造定数のオーダー)、連続する摂動項は結合定数のべき乗となり、したがって小さくなるということである。[ 14 ]
すべての画像における進化の概要比較 時間に依存しないハミルトニアンH S の場合、H 0,S は自由ハミルトニアンであり、
参考文献 ↑ ダック、イアン;スダルシャン 、ECG ( 1998)。「第6章:ディラックによる量子場理論の発明」。パウリとスピン統計定理 。ワールド・サイエンティフィック・パブリッシング。pp. 149–167。ISBN 978-9810231149 。 ↑ 「相互作用表現」 (PDF) . courses.physics.illinois . 2024年5月24日にオリジナルから アーカイブされました (PDF) 。 ↑ アルバート・メサイア (1966).量子力学 、ノース・ホランド、ジョン・ワイリー・アンド・サンズ。ISBN 0486409244 JJ Sakurai (1994).現代量子力学 (Addison-Wesley) ISBN 9780201539295 。↑ JW Negele、H. Orland (1988)、量子多粒子系、 ISBN 0738200522 。 ↑ 「相互作用図、ニューヨーク大学の講義ノート」 。 2013年9月4日に オリジナル からアーカイブされました。 ↑ 才能あるアマチュアのための量子場理論、第 18 章 - これがシュウィンガー・朝永方程式と呼ばれているのを見た方へ。これはシュウィンガー・朝永方程式ではありません。それは、時空の任意の空間的葉層構造に対するシュレーディンガー方程式の一般化です。 ↑ フェッター、アレクサンダー・L.、ワレカ、ジョン・ダーク(1971)。 多粒子系の量子論 。マグロウヒル。55 ページ 。ISBN 978-0-07-020653-3 。↑ Schwinger, J. (1958), Selected papers on Quantum Electrodynamics , Dover, p. 151, ISBN 0-486-60444-6 1 2 Schwinger, J. (1948), "量子電気力学。I. 共変定式化。" , Physical Review , 74 (10): 1439–1461 , Bibcode : 1948PhRv...74.1439S , doi : 10.1103/PhysRev.74.1439 ↑ Schwinger, J. (1958), Selected papers on Quantum Electrodynamics , Dover, p. 151,163,170,276, ISBN 0-486-60444-6 ↑ 脇田仁(1976) 「朝永・シュウィンガー方程式の積分」 『 数理物理学コミュニケーションズ 』 50 (1): 61–68 、 Bibcode : 1976CMaPh..50...61W 、 doi : 10.1007/BF01608555 、 S2CID 122590381 ↑ シュウィンガーのノーベル賞受賞講演 (PDF) 、 140 ページ。 シュウィンガーは非公式に微分を局所的アプローチ、積分を大域的アプローチの一種と呼んでいる。ここでいう「大域的」という用語は、積分領域に関して用いられている。 ↑ Schwinger, J. (1958), Selected papers on Quantum Electrodynamics , Dover, p. preface xiii, ISBN 0-486-60444-6 、 シュウィンガーは、局所作用の文脈においても場を参照する局所的アプローチを非公式に「局所的アプローチ」と呼んでいる。粒子は、場に適用された積分アプローチ、あるいは平均化アプローチから生じる創発的性質である。彼は同時に、粒子と場の古典的な区別との類推を行い、それが量子場においてどのように実現されるかを示している。↑ Schwinger, J. (1958), Selected papers on Quantum Electrodynamics , Dover, p. 152, ISBN 0-486-60444-6 1 2 3 Sakurai, JJ; Napolitano, Jim (2010), Modern Quantum Mechanics (2nd ed.), Addison-Wesley, ISBN 978-0805382914
さらに読む L.D. ランダウ 、E.M. リフシッツ (1977) 『量子力学:非相対論的理論 』第 3巻(第3 版)。パーガモン・ プレス 。ISBN 978-0-08-020940-1 。タウンゼント、ジョン・S. (2000).量子力学への現代的アプローチ (第2 版). カリフォルニア州サウサリート:ユニバーシティ・サイエンス・ブックス. ISBN 1-891389-13-0 。