Skip to main content
Chemistry LibreTexts

10.3: Time evolution of the density operator

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    The time evolution of the operator \( {\rho} \) can be predicted directly from the Schrödinger equation. Since \(\rho (t) \) is given by

    \[\rho(t) = \sum_{\alpha=1}^Z \vert\Psi^{(\alpha)}(t)\rangle \langle \Psi^{(\alpha)}(t)\vert \nonumber \]

    the time derivative is given by

    \[ \begin{align*} {\partial \rho \over \partial t} &= \sum_{\alpha=1}^Z\left[\left({\partial \over \partial t}\vert\Psi^{(\alpha)} (t) \rangle \right ) \langle \Psi ^{(\alpha)}(t) \vert + \vert \Psi ^{(\alpha)} (t) \rangle\left({\partial \over \partial t}\langle \Psi^{(\alpha)}(t)\vert\right)\right] \\[4pt] &= {1 \over i\hbar}\sum_{\alpha=1}^Z\left[\left(H\vert\Psi^{(\alpha)} (t) \rangle \right ) \langle \Psi^{(\alpha)} (t) \vert - \vert \Psi^{(\alpha)}(t)\langle \left(\langle \Psi^{(\alpha)}(t)\vert H\right)\right] \\[4pt] &= {1 \over i\hbar}(H\rho-\rho H) \\[4pt] &= {1 \over i\hbar}[H,\rho] \end{align*} \]

    where the second line follows from the fact that the Schrödinger equation for the bra state vector \( {\langle \Psi^{(\alpha)}(t)\vert } \) is

    \[-{i\hbar}{\partial \over \partial t}\langle \Psi^{(\alpha)}(t)\vert = \langle \Psi^{(\alpha)}(t)\vert H \nonumber \]

    Note that the equation of motion for \(\rho (t) \) differs from the usual Heisenberg equation by a minus sign! Since \(\rho (t) \) is constructed from state vectors, it is not an observable like other hermitian operators, so there is no reason to expect that its time evolution will be the same. The general solution to its equation of motion is

    \[ \begin{align*} \rho (t) &= e^{-iHt/\hbar}\rho(0)e^{iHt/\hbar} \\[4pt] &= U(t)\rho(0)U^{\dagger}(t) \end{align*} \]

    The equation of motion for \(\rho (t) \) can be cast into a quantum Liouville equation by introducing an operator

    \[iL = {1 \over i\hbar}[...,H] \nonumber \]

    In term of \(iL\), it can be seen that \(\rho (t) \) satisfies

    \[{\partial \rho \over \partial t} = - iL\rho \nonumber \]

    \[\rho (t) = { e^{-iLt}\rho(0) } \nonumber \]

    What kind of operator is \(iL\) ? It acts on an operator and returns another operator. Thus, it is not an operator in the ordinary sense, but is known as a superoperator or tetradic operator (see S. Mukamel, Principles of Nonlinear Optical Spectroscopy, Oxford University Press, New York (1995)).

    Defining the evolution equation for \( {\rho } \) this way, we have a perfect analogy between the density matrix and the state vector. The two equations of motion are

    \[ \begin{align*} {\partial \over \partial t}\vert\Psi(t)\rangle &= {-{i \over \hbar}H\vert\Psi(t)\rangle} \\[4pt] {\partial \over \partial t}\rho(t) &= -iL\rho(t) \end{align*} \]

    We also have an analogy with the evolution of the classical phase space distribution \(f({\bf\Gamma},t)\), which satisfies

    \[{\partial f \over \partial t} = -iLf \nonumber \]

    with \(iL = \{...,H\} \) being the classical Liouville operator. Again, we see that the limit of a commutator is the classical Poisson bracket.

    This page titled 10.3: Time evolution of the density operator is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Mark Tuckerman.