時間順序積のソースを表示

物理学において、'''時間順序積'''（じかんじゅんじょせき、{{lang-en-short|time-ordered product}}）もしくは'''T積'''（{{lang-en-short|T-product}}）とは、[[量子力学]]や[[場の量子論]]で、[[演算子 (物理学)|演算子]]の積を時間の順序関係に応じて、並べ替えた積のこと。また、通常の積を時間順序に並べ替える作用素を'''時間順序作用素'''と呼ぶ。時間順序積は時間発展作用素の逐次積分による表現等に応用される。時間順序積の記法は物理学者[[フリーマン・ダイソン]]によって、場の理論における[[S行列]]の計算の際に導入された<ref> F. Dyson, "The Radiation Theories of Tomonaga, Schwinger, and Feynman", ''Phys. Rev.'', '''75''', p.486 ,1949 {{doi|10.1103/PhysRev.75.486}}</ref>。

==概要==
===量子力学===
量子力学において、物理量は非可換な演算子で表現されるため、物理量の積はその順番によって異なる結果を与える。特に時間に依存する演算子の積について、時間の順序関係に従って、前の時刻にある演算子ほど右側に位置するように並び変えたものを'''時間順序積'''と呼ぶ。また時間順序に従って並べ替える作用素を'''時間順序作用素'''といい、記号''T''で表す。

2つの物理量''A''<sub>1</sub>(''t''<sub>1</sub>)、''A''<sub>2</sub>(''t''<sub>2</sub>)の積において、その時間順序積は

:<math>
\begin{align}
T \{ A_1(t_1)A_2(t_2) \} 
&=\left\{\begin{matrix}
A_1(t_1)A_2(t_2) &  \quad (t_1> t_2) \\
A_2(t_2)A_1(t_1) &  \quad (t_2> t_1) 
\end{matrix}\right. \\
&=  \theta(t_1-t_2)A_1(t_1)A_2(t_2)+\theta(t_2-t_1)A_2(t_2)A_1(t_1)
\end{align}
</math>
で与えられる。ここで、''&theta;''(''t'')は[[ヘヴィサイドの階段関数]]を表す。

より一般に''n''個の物理量''A''<sub>1</sub>(''t''<sub>1</sub>)、…、''A<sub>n</sub>''(''t<sub>n</sub>'')の積において、時間順序積が

:<math>
\begin{align}
T \{ A_1(t_1)A_2(t_2)\dotsb A_n(t_n) \} 
&= A_{i_1}(t_{i_1})A_{i_2}(t_{i_2}) \dotsb A_{i_n}(t_{i_n}) \quad (t_{i_1} > t_{i_2} > \dots >t_{i_n} )\\
&= \sum_{p} \theta(t_{p_1}>t_{p_2}> \dots >t_{p_n})A_{p_1}(t_{p_1})A_{p_2}(t_{p_2}) \dotsb A_{p_n}(t_{p_n})
\end{align}
</math>

で定義される。ここで、添え字''p''についての和は、''n'' 次の[[対称群]]における置換全てにわたる和を意味する。

こうした時間順序積は、[[シュレディンガー表示]]での時間に陽に依存するハミルトニアンや、[[相互作用表示]]での時間に依存する形式でのハミルトニアンにおいて、対応する時間発展作用素を逐次積分によって表現する際に応用される。

===場の量子論===
場の量子論においても、同様に[[場の演算子]]の積に対しての時間順序積が定義される。但し、場の演算子の場合は、[[ボソン]]の演算子と[[フェルミオン]]の演算子では、並べ替えにおける符号付加の有無が異なる。2つの場の演算子 ''A''<sub>1</sub>(''t''<sub>1</sub>)、''A''<sub>2</sub>(''t''<sub>2</sub>) の積において、その時間順序積は

:<math>
\begin{align}
T \{ A_1(t_1)A_2(t_2) \} 
&=\left\{\begin{matrix}
A_1(t_1)A_2(t_2) &  \quad (t_1> t_2) \\
\pm A_2(t_2)A_1(t_1) &  \quad (t_2> t_1) 
\end{matrix}\right. \\
&=  \theta(t_1-t_2)A_1(t_1)A_2(t_2) \pm \theta(t_2-t_1)A_2(t_2)A_1(t_1)
\end{align}
</math>

で与えられる。ここで、符号&plusmn;は+がボソンの演算子、&minus;がフェルミオンの演算子の場合に対応する。この符号の与え方により、反交換するフェルミオンの場合にも ''t''<sub>1</sub>&rarr;''t''<sub>2</sub> としたときに、''t''<sub>1</sub>>''t''<sub>2</sub> の結果は ''t''<sub>2</sub>>''t''<sub>1</sub> の結果に一致する。

より一般に ''n'' 個の場の演算子 ''A''<sub>1</sub>(''t''<sub>1</sub>)、...、''A''<sub>n</sub>(''t''<sub>n</sub>) の積において、時間順序積が

:<math>
T \{ A_1(t_1)A_2(t_2)\dotsb A_n(t_n) \} 
= \sum_{p} \theta(t_{p_1} > t_{p_2} > \dots > t_{p2}) \epsilon(p)
A_{p_1}(t_{p_1})A_{p_2}(t_{p2}) \dotsb A_{p_n}(t_{p_n})
</math>

で定義される。ここで、添え字 ''p'' についての和は、''n'' 次の[[対称群]]における置換全てにわたる和を意味し、記号 ''&epsilon;''(''p'') はボソンの演算子の場合には1、フェルミオンの演算子には置換の符号を表すものとする。

==応用==
=== 時間に陽に依存するハミルトニアンによる時間発展 ===
シュレディンガー表示の量子力学において、[[ハミルトニアン]]''H''が時間に陽に依存する場合を考える。このとき、時間順序積を用いると時間発展作用素を簡明に表現することができる。系の時間発展作用素 ''U'' は状態 |''&psi;''(''t'')〉に対して、

:<math>
|\psi(t) \rangle=\hat{U}(t,t_0)|\psi(t_0) \rangle
</math>

の関係を与えるものとして定義され、関係式

:<math>
\begin{align}
\hat{U}(t_1,t_3) &= \hat{U}(t_1,t_2)U(t_2,t_3) & (t_1>t_2>t_3) \\
\hat{U}(t_0,t_0) &= I
\end{align}
</math>
:

を満たす。[[シュレディンガー方程式]]より

:<math>
i \hbar \frac{\partial}{\partial t} | \psi(t) \rangle=
i \hbar \frac{\partial}{\partial t} \hat{U}(t,t_0)| \psi(t_0) \rangle 
=\hat{H}(t)\hat{U}(t,t_0)|\psi(t_0)\rangle
</math>

であるから、''U'' は[[積分方程式]]

:<math>
\hat{U}(t,t_0) = I - \frac{i}{\hbar} \int_{t_0}^{t}ds \hat{H}(s)\hat{U}(s,t_0)
</math>

を満たす。この積分方程式の解は逐次積分によって求めることができ、[[ノイマン級数]]

:<math>
\begin{align}
\hat{U}(t,t_0) = I -  \frac{i}{\hbar}  \int_{t_0}^{t}dt_1 \hat{H}(t_1)
& + \left( \frac{-i}{\hbar} \right)^2 \int_{t_0}^{t}dt_1 \int_{t_0}^{t_1}dt_2 \hat{H}(t_1) \hat{H}(t_2) \\
& + \left( \frac{-i}{\hbar} \right)^3 \int_{t_0}^{t}dt_1 \int_{t_0}^{t_1}dt_2 \int_{t_0}^{t_2}dt_3 \hat{H}(t_1) \hat{H}(t_2)\hat{H}(t_3) + \dotsb
\end{align}
</math>

で与えられる。ここで、異なる時間におけるハミルトニアンは必ずしも可換ではないため、積分の中の順序は前の時刻にある演算子ほど右側に位置するように保たれなくてはならない。ここで、時間順序積の表現を導入すれば、この級数は

:<math>
\begin{align}
\hat{U}(t,t_0) & = \sum_{n=0}^{\infty} \frac{1}{n!} \left( \frac{-i}{\hbar} \right)^n 
\int_{t_0}^{t}dt_1\int_{t_0}^{t}dt_2 \dotsb \int_{t_0}^{t}dt_n
T \{ \hat{H}(t_1)\hat{H}(t_2) \dotsb \hat{H}(t_n) \} \\
& = T \{ \exp\left(- \frac{i}{\hbar}\int_{t_0}^{t}ds \hat{H}(s)\right) \}
\end{align}
</math>

と簡明にまとめることができる。

=== 相互作用表示での時間発展 ===
[[相互作用表示]]の場合においても、その時間発展作用素 ''U''<sub>I</sub> は時間順序積の級数によって表現することができる。系のハミルトニアンが
:<math>
\hat{H} = \hat{H}_0 + \hat{V} 
</math>
と分解されるとすると、相互作用表示での時間発展作用素は時間順序積を用いて
:<math>
\begin{align}
\hat{U}_{\mathrm I}(t,t_0) & = \sum_{n=0}^{\infty} \frac{1}{n!} \left( \frac{-i}{\hbar} \right)^n 
\int_{t_0}^{t}dt_1\int_{t_0}^{t}dt_2 \dotsb \int_{t_0}^{t}dt_n
T \{ \hat{V}_{\mathrm I}(t_1) \hat{V}_{\mathrm I}(t_2) \dotsb \hat{V}_{\mathrm I}(t_n) \} \\
& = T \{ \exp\left(-\frac{i}{\hbar}\int_{t_0}^{t}ds \hat{V}_{\mathrm I}(s)\right) \}
\end{align}
</math>
と表現することができる。但し、''V''<sub>I</sub>(''t'') は ''V'' の相互作用表示である。

歴史的には物理学者[[フリーマン・ダイソン]]が、場の理論のS行列 ''S''=''U''<sub>I</sub>(+&infin;, &minus;&infin;) の計算において、この表式を最初に導いており、時間順序積によるこの級数表示を'''ダイソン級数''' (Dyson's series) と呼ぶ。

==脚注==
<references />

==参考文献==
* Michael E. Peskin and  Daniel V. Schroeder , ''An Introduction To Quantum Field Theory'', Addison-Wesley, Reading, 1995.
* Alexandre Zagoskin, ''Quantum Theory of Many-Body Systems: Techniques and Applications (Graduate Texts in Contemporary Physics)'', Springer, 1998

==関連項目==
* [[正規順序積]]

{{DEFAULTSORT:しかんしゆんしよせき}}
[[Category:量子力学]]
[[Category:場の量子論]]

[[en:Path-ordering#Time ordering]]