[Physics] Commutation relation under time ordering

commutatorhamiltonianoperatorsquantum mechanicstime evolution

Consider a quantum system with the following Hamiltonian:
$$H(t)=H_0+H_1(t),\tag{1}$$
where $H_0$ is a noninteracting Hamiltonian and $H_1(t)$ a time-dependent perturbation.

To formulate the linear response theory, one first need figure out the time evolution operator $U(t,t_0)$ by solving the corresponding Schrodinger equation:
$$U(t,t_0)=T\left[e^{-\dfrac{i}{\hbar}\int_{t_0}^t d\bar{t}H(\bar{t})}\right].\tag{2}$$

Furthermore, one can argue that $H_0$ and $H_1(t)$ commutes under time ordering and then obtain the following relation:
$$T\left[e^{-\dfrac{i}{\hbar}\int_{t_0}^t d\bar{t}H(\bar{t})}\right]=T\left[e^{-\dfrac{i}{\hbar}\int_{t_0}^t d\bar{t}H_0}e^{-\dfrac{i}{\hbar}\int_{t_0}^t d\bar{t}H_1(\bar{t})}\right].\tag{3}$$

How can I convince me to believe this relation (3)? Can someone help me to prove this?

Best Answer

  1. One proof of eq. (3): Everything commute$^1$ by definition under the time (normal, radial, etc) ordering symbol: $$T\left([A,B]\right)~=~0,\tag{A}$$ so BCH formula simplifies $$ T\left(e^Ae^B\right)~=~T\left(e^{A+B+\frac{1}{2}[A,B]+[\text{nested commutator terms}]}\right)~=~ T\left(e^{A+B}\right) ,\tag{B}$$ which proves OP's sought-for eq. (3).

  2. Another proof of eq. (3): Use the Trotter formula.

--

$^1$ The main point is that the time ordering procedure $T$ does not take operators to operators, but symbols/functions to operators, cf. this & this related Phys.SE post and links therein.