相互作用绘景

<image>

在量子力学里，相互作用绘景（interaction picture），是在薛定谔绘景与海森堡绘景之间的一种表述，为纪念物理学者保罗·狄拉克而又命名为狄拉克绘景。在这绘景里，描述量子系统的态向量与表达可观察量的算符都会随着时间流易而演化。有些实际案例会涉及到因相互作用而使得量子态与可观察量发生改变，这类案例通常会使用狄拉克绘景。

狄拉克绘景与薛定谔绘景、海森堡绘景不同。在薛定谔绘景里，描述量子系统的态向量随着时间流易而演化。在海森堡绘景里，表达可观察量的算符会随着时间流易而演化。

这三种绘景殊途同归，所获得的结果完全一致。这是必然的，因为它们都是在表达同样的物理行为。

## 定义

为了便利分析，位于下标的符号${}_\mathcal{H}$、${}_\mathcal{I}$、${}_\mathcal{S}$分别标记海森堡绘景、狄拉克绘景、薛定谔绘景。

通过对于基底的一种幺正变换，算符和态向量在狄拉克绘景里的形式与在薛定谔绘景里的形式相关联。

在量子力学里，对于大多数案例的哈密顿量，通常无法找到薛定谔方程式的精确解，只有少数案例可以找到精确解。因此，为了要能够解析其它没有精确解的案例，必须将薛定谔绘景里的哈密顿量$H_{\mathcal{S}}\,\!$分成两个部分。

$H_{\mathcal{S}} = H_{0,\,{\mathcal{S}}} + H_{1,\,{\mathcal{S}}}\,\!$。

其中，$H_{0,\,{\mathcal{S}}}\,\!$有精确解，有广泛知悉的物理行为，而$H_{1,\,{\mathcal{S}}}\,\!$则通常没有精确解，是对于系统的微扰。

假若哈密顿量$H_{\mathcal{S}}\,\!$含时（例如，感受到时变外电场作用的量子系统，其哈密顿量会含时），则通常会将显性含时部分放在$H_{1,\,{\mathcal{S}}}\,\!$里。这样，$H_{0,\,{\mathcal{S}}}\,\!$不含时，而时间演化算符$U(t)\,\!$的公式可以简单地表示为

$U(t)=e^{ - i H_{0,\,{\mathcal{S}}}\,t/\hbar}\,\!$。

其中，$t\,\!$是时间。

假若对于某些案例，$H_{0,\,{\mathcal{S}}}\,\!$应该设定为含时，则时间演化算符的公式会变得较为复杂：

$U(t)=e^{ - \frac{i}{\hbar} \int\limits _0^t H_{0,\,{\mathcal{S}}}(t^{'})\, dt^{'}}\,\!$。

本条目以下内容假设$H_{0,\,{\mathcal{S}}}\,\!$不含时。

### 态向量

在狄拉克绘景里，态向量$| \psi(t) \rang_{\mathcal{I}}\,\!$定义为

$| \psi(t) \rang_{\mathcal{I}} \stackrel{def}{=} e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar} | \psi(t) \rang_{\mathcal{S}}\,\!$。

其中，$| \psi(t) \rang_{\mathcal{S}} \,\!$是在薛定谔绘景里的态向量。

由于在薛定谔绘景里，态向量$| \psi(t) \rang_{\mathcal{S}}\,\!$与时间的关系为

$| \psi(t) \rang_{\mathcal{S}} = e^{ - iH_{\mathcal{S}}\,t / \hbar} | \psi(0) \rangle_{\mathcal{S}}\,\!$。

所以，在$H_{0,{\mathcal{S}}},H_{\mathcal{S}}$对易的条件下，可以有

$| \psi(t) \rang_{\mathcal{I}} = e^{ - i H_{1,\,{\mathcal{S}}}\,t / \hbar} | \psi(0) \rang_{\mathcal{S}}\,\!$。

### 算符

在狄拉克绘景里的算符$A_{\mathcal{I}}(t)\,\!$定义为

$A_{\mathcal{I}}(t) = e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar} A_{\mathcal{S}}(t)\, e^{ - i H_{0,\,{\mathcal{S}}}\,t / \hbar}\,\!$。

其中，$A_{\mathcal{S}}(t)\,\!$是在薛定谔绘景里对应的算符。

（请注意，$A_{\mathcal{S}}(t)\,\!$通常不含时间，可以重写为$A_{\mathcal{S}}\,\!$。反例，对于时变外电场的状况，哈密顿算符$H_{\mathcal{S}}(t)\,\!$含时。）

#### 哈密顿算符

假若$H_{0,\,{\mathcal{S}}}\,\!$不含时，则$H_{0,\,{\mathcal{S}}}\,\!$与$e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar}\,\!$ 对易，不论在薛定谔绘景里或在狄拉克绘景里，$H_{0,\,{\mathcal{S}}}\,\!$与$H_{0,\,\mathcal{I}}\,\!$的形式都是一样：在狄拉克绘景里，$H_{0,\,{\mathcal{S}}}\,\!$也可能含时。假设$H_{0,\,{\mathcal{S}}}\,\!$含时并且对易，则时间演化算符$U(t)\,\!$的公式不再是 :$U(t)=e^{\pm i H_{0,\,{\mathcal{S}}}\,t/\hbar}\,\!$，而应改为:$U(t) =e^{ - i/\hbar \int\limits _0^t H(t^{'})\, dt^{'}}\,\!$。

$H_{0,\,\mathcal{I}}(t) = e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar} H_{0,\,{\mathcal{S}}}\, e^{ - i H_{0,\,{\mathcal{S}}}\,t / \hbar} = H_{0,\,{\mathcal{S}}}\,\!$。

所以，算符$H_{0,\,{\mathcal{S}}}\,\!$与$H_{0,\,\mathcal{I}}\,\!$都可以简略标记为$H_0\,\!$，不会造成歧意。

哈密顿算符的微扰成分$H_{1,\,\mathcal{I}}\,\!$是

$H_{1,\,\mathcal{I}}(t) = e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar} H_{1,\,{\mathcal{S}}}\, e^{ - i H_{0,\,{\mathcal{S}}}\,t / \hbar}\,\!$。

除非对易关系式$[H_{1,\,{\mathcal{S}}},H_{0,\,{\mathcal{S}}}]=0\,\!$，在狄拉克绘景里，$H_{1,\,\mathcal{I}}\,\!$含时。

#### 密度矩阵

与算符类似，在薛定谔绘景里的密度矩阵也可以变换到在狄拉克绘景里。设定$\rho_{\mathcal{I}}\,\!$和$\rho_{\mathcal{S}}\,\!$分别为在狄拉克绘景里和在薛定谔绘景里的密度矩阵。假若，处于量子态$|\psi_n\rang\,\!$的几率是$p_n\,\!$，则

$\begin{align}\rho_{\mathcal{I}}(t) & = \sum_n p_n|\psi_{n}(t)\rang_\mathcal{I}\,{}_\mathcal{I}\lang \psi_{n}(t)| \\ <pre> & = \sum_n p_n\, e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar}|\psi_{n}(t)\rang_\mathcal{S}\,{}_\mathcal{S}\lang \psi_{n}(t)|e^{ - i H_{0,\,{\mathcal{S}}}\,t / \hbar} \\ & = e^{i H_{0,\,{\mathcal{S}}}\,t / \hbar} \rho_{\mathcal{S}}(t)\,e^{ - i H_{0,\,{\mathcal{S}}}\,t / \hbar} \\ </pre> \end{align}\,\!$。

## 时间演化方程式

本文以下内容，算符$H_{0,\,{\mathcal{S}}}\,\!$与$H_{0,\,\mathcal{I}}\,\!$都简略标记为$H_0\,\!$。

### 量子态的时间演化

从态向量的定义式，可以得到态向量对于时间的导数是

$$\begin{align} i \hbar \frac{d}{dt} | \psi (t) \rang_{\mathcal{I}} & = e^{i H_{0}\,t / \hbar}\left[ - H_{0}| \psi(t) \rang_{\mathcal{S}} +i \hbar \frac{d}{dt} | \psi(t) \rang_{\mathcal{S}}\right]\\ <pre> & =e^{i H_{0}\,t / \hbar}\left[ - H_{0}| \psi(t) \rang_{\mathcal{S}} +H_{\mathcal{S}} | \psi(t)\rang_{\mathcal{S}}\right] \\ & =e^{i H_{0}\,t / \hbar} H_{1,\,\mathcal{S}}| \psi(t) \rang_{\mathcal{S}} \\ & =e^{i H_{0}\,t / \hbar} H_{1,\,{\mathcal{S}}}\,e^{ - i H_{0}\,t / \hbar}| \psi(t) \rang_{\mathcal{I}} \\ </pre> \end{align}$$

将算符的定义式代入，可以得到

$i \hbar \frac{d}{dt} | \psi(t)\rang_{\mathcal{I}} =H_{1,\,\mathcal{I}}| \psi(t)\rang_{\mathcal{I}} \,\!$。

这是施温格-朝永振一郎方程式的一个较为简单的形式。

### 算符的时间演化

假若算符$A_{\mathcal{S}}\,\!$不含时，则其对应的$A_{\mathcal{I}}(t)\,\!$的时间演化为

$\begin{align} i\hbar\frac{d}{dt}A_{\mathcal{I}}(t) & =i\hbar\frac{d}{dt}( e^{i H_{0}\,t / \hbar} A_{\mathcal{S}}\,e^{ - i H_{0}\,t / \hbar}) \\ <pre> & = - H_{0}\,e^{i H_{0}\,t / \hbar} A_{\mathcal{S}}\,e^{ - i H_{0}\,t / \hbar} </pre> + e^{i H_{0}\,t / \hbar} A_{\mathcal{S}}\,e^{ - i H_{0}\,t / \hbar} H_{0} \\ <pre> & =A_{\mathcal{I}}(t)H_{0} - H_{0}A_{\mathcal{I}}(t) \\ & =\left[A_{\mathcal{I}}(t),\,H_0\right] \\ </pre> \end{align}\,\!$。

这与在海森堡绘景里，算符$A_{\mathcal{H}}(t)\,\!$的时间演化类似：

$i\hbar\frac{d}{dt}A_{\mathcal{H}}(t)=\left[A_{\mathcal{H}}(t),\,H\right]\,\!$。

### 密度矩阵的时间演化

应用施温格-朝永振一郎方程式于密度矩阵，则可得到

$i\hbar \frac{d}{dt} \rho_{\mathcal{I}}(t) = \left[ H_{1,\,\mathcal{I}}(t), \rho_{\mathcal{I}}(t)\right]\,\!$。

## 狄拉克绘景的应用

应用狄拉克绘景的目的是促使$H_0\,\!$与时间无关，只有$H_{1,\,\mathcal{I}}(t)\,\!$与时间有关，也只有$H_{1,\,\mathcal{I}}(t)\,\!$控制态向量随时间流易的演化行为。

假若$H_{0}\,\!$有精确解，而$H_{1,\,{\mathcal{S}}}(t)\,\!$是一个弱小的微扰，则可很便利地采用狄拉克绘景，使用时变微扰理论来计算$H_{1,\,{\mathcal{S}}}(t)\,\!$所产生对于整个系统的影响。例如，在费米黄金定则的导引里，或在推导戴森级数时，通常都会用到狄拉克绘景。

## 各种绘景比较摘要

各种绘景随着时间流易会呈现出不同的演化：

演化｜海森堡绘景｜交互作用绘景｜薛定谔绘景

右矢｜常定｜$| \psi(t) \rang_{\mathcal{I}} = e^{i H_0t/\hbar} | \psi(t) \rang_{\mathcal{S}}$｜$|\psi(t) \rang_{\mathcal{S}}= e^{-iHt/\hbar} | \psi(0) \rang_{\mathcal{S}}$

可观察量｜$A_{\mathcal{H}}(t)=e^{i Ht/\hbar} A_{\mathcal{S}}e^{-i Ht/\hbar}$｜$A_{\mathcal{I}}(t)=e^{i H_0t/\hbar} A_{\mathcal{S}}e^{-i H_0t/\hbar}$｜常定

密度算符｜常定｜$\rho_{\mathcal{I}}(t)=e^{i H_0t/\hbar} \rho_S (t) e^{-i H_0t/\hbar}$｜$\rho_{\mathcal{S}}(t)= e^{-i Ht/\hbar}\rho_{\mathcal{S}}(0) e^{iHt/\hbar}$

## 参阅

- 狄拉克标记
- 朱利安·施温格
- 朝永振一郎