Skip to main content
Chemistry LibreTexts

9.4: The Heisenberg Picture

  • Page ID
    5215
  • \( \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}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    In all of the above, notice that we have formulated the postulates of quantum mechanics such that the state vector \(\vert\Psi(t)\rangle \) evolves in time, but the operators corresponding to observables are taken to be stationary. This formulation of quantum mechanics is known as the Schrödinger picture. However, there is another, completely equivalent, picture in which the state vector remains stationary and the operators evolve in time. This picture is known as the Heisenberg picture. This particular picture will prove particularly useful to us when we consider quantum time correlation functions.

    The Heisenberg picture specifies an evolution equation for any operator \(A\), known as the Heisenberg equation. It states that the time evolution of \(A\) is given by

    \[{dA \over dt} = {1 \over i\hbar}[A,H] \nonumber \]

    While this evolution equation must be regarded as a postulate, it has a very immediate connection to classical mechanics. Recall that any function of the phase space variables \(A (x, p) \) evolves according to

    \[{dA \over dt} = \{A,H\} \nonumber \]

    where \(\{...,...\}\) is the Poisson bracket. The suggestion is that in the classical limit ( \(\hbar \) small), the commutator goes over to the Poisson bracket. The Heisenberg equation can be solved in principle giving

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

    where \(A\) is the corresponding operator in the Schrödinger picture. Thus, the expectation value of \(A\) at any time \(t\) is computed from

    \[\langle A(t) \rangle = \langle \Psi\vert A(t)\vert\Psi\rangle \nonumber \]

    where \(\vert \Psi \rangle \) is the stationary state vector.

    Let's look at the Heisenberg equations for the operators \(X\) and \(P\). If \(H\) is given by

    \[H = {P^2 \over 2m} + U(X) \nonumber \]

    then Heisenberg's equations for \(X\) and \(P\) are

    \[ \begin{align*} dX \over dt &= {1 \over i\hbar}[X,H] \\[4pt] &= {P \over m} \\[4pt] dP \over dt &= {1 \over i\hbar}[P,H] \\[4pt] &= -{\partial U \over \partial X} \end{align*} \]

    Thus, Heisenberg's equations for the operators \(X\) and \(P\) are just Hamilton's equations cast in operator form. Despite their innocent appearance, the solution of such equations, even for a one-particle system, is highly nontrivial and has been the subject of a considerable amount of research in physics and mathematics.

    Note that any operator that satisfies \(\left [ A(t), H \right ] = 0 \) will not evolve in time. Such operators are known as constants of the motion. The Heisenberg picture shows explicitly that such operators do not evolve in time. However, there is an analog with the Schrödinger picture: Operators that commute with the Hamiltonian will have associated probabilities for obtaining different eigenvalues that do not evolve in time. For example, consider the Hamiltonian, itself, which it trivially a constant of the motion. According to the evolution equation of the state vector in the Schrödinger picture,

    \[\vert\Psi(t)\rangle = \sum_i e^{-iE_it/\hbar}\vert E_i\rangle \langle E_i\vert\Psi(0)\rangle \nonumber \]

    the amplitude for obtaining an energy eigenvalue \(E_j \) at time \(t \) upon measuring \( H \) will be

    \[ \begin{align*} \langle E_j\vert\Psi(t)\rangle &= \sum_i e^{-iE_it/\hbar}\langle E_j\vert E_i\rangle \langle E_i\vert\Psi(0)\rangle \\[4pt] &= \sum_i e^{-iE_it/\hbar}\delta_{ij}\langle E_i\vert\Psi(0)\rangle \\[4pt] &= e^{-iE_jt/\hbar}\langle E_j\vert\Psi(0)\rangle \end{align*}\]

    Thus, the squared modulus of both sides yields the probability for obtaining \(E_j\), which is

    \[\vert\langle E_j\vert\Psi(t)\rangle \vert^2 = \vert\langle E_j\vert\Psi(0)\rangle \vert^2 \nonumber \]

    Thus, the probabilities do not evolve in time. Since any operator that commutes with \(H\) can be diagonalized simultaneously with \(H\) and will have the same set of eigenvectors, the above arguments will hold for any such operator.


    This page titled 9.4: The Heisenberg Picture is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Mark Tuckerman.