Skip to main content
Chemistry LibreTexts

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\]

    the time derivative is given by

    \[{\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]\]

    \[ = {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]\]

    \[ = {1 \over i\hbar}(H\rho-\rho H) \]

    \[ = {1 \over i\hbar}[H,\rho] \]

    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\]

    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

    \[\rho (t) = e^{-iHt/\hbar}\rho(0)e^{iHt/\hbar}\]

    \[= U(t)\rho(0)U^{\dagger}(t)\]

    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]\]

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

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

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

    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

    \[{\partial \over \partial t}\vert\Psi(t)\rangle = {-{i \over \hbar}H\vert\Psi(t)\rangle} \]

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

    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 \]

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

    Contributors and Attributions

    Mark Tuckerman (New York University)

    Time evolution of the density operator is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?