Skip to main content
Physics LibreTexts

9.4: The Interaction Representation

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

    Recall that in the first part of this course sequence, we discussed the Schrödinger and Heisenberg representations of quantum mechanics here. In the Schrödinger representation, the operators are time-independent (except for explicitly time-dependent potentials) the kets representing the quantum states develop in time. In the Heisenberg representation, the kets stay the same, the time dependence is in the operators. These differing representations describe the same physics—matrix elements of operators between kets must be the same in both. The most natural to use depends on the problem at hand. In the classical limit, for example, the Heisenberg operators have the time dependence of the corresponding classical operators.

    In fact, for perturbation theory problems with a time-dependent potential, an intermediate representation, the interaction representation, is very convenient. Using a subscript \(S\) to denote the Schrödinger representation,

    \[ i\hbar \frac{d}{dt}|\psi_S(t)\rangle =H_S|\psi_S(t)\rangle =(H_S^0+V_S(t))|\psi_S(t)\rangle, \label{9.4.1}\]

    we define the interaction representation by the unitary transformation

    \[ |\psi_I(t)\rangle  =e^{iH^0_St/\hbar} |\psi_S(t)\rangle \label{9.4.2}\]

    so the interaction representation kets and the Schrödinger representation kets coincide at \(t=0\), and if the interaction were zero, the interaction representation kets would be constant in time, like those in the Heisenberg representation.

    For nonzero \(V(t)\), then, the time development of the interaction representation kets is entirely due to \(V(t)\), and is easily found by differentiating both sides of the equation:

    \[ \begin{matrix} i\hbar \frac{d}{dt}|\psi_I(t)\rangle =-H^0|\psi_I(t)\rangle+e^{iH^0_St/\hbar} i\hbar \frac{d}{dt}|\psi_S(t)\rangle \\ =-H^0|\psi_I(t)\rangle+e^{iH^0_St/\hbar} (H^0_S+V_S(t))e^{-iH^0_St/\hbar}|\psi_I(t)\rangle \\ =e^{iH^0_St/\hbar} V_S(t)e^{-iH^0_St/\hbar}|\psi_I(t)\rangle \\ =V_I(t)|\psi_I(t)\rangle, \end{matrix} \label{9.4.3}\]

    where we have introduced the interaction representation operator \(V_I(t)\), defined by \[ V_I(t)=e^{iH^0_St/\hbar} V_S(t)e^{-iH^0_St/\hbar}. \label{9.4.4}\]

    Operators in this representation must have this time dependence relative to the Schrödinger operators to ensure that matrix elements, the only quantities of physical significance, are the same in the two representations. That is to say, we must have

    \[ \langle f^0_I|O_I|i^0_I\rangle = \langle f^0_S|O_S|i^0_S\rangle, \label{9.4.5}\]

    the two representations must predict the same probability amplitude for any transition. Integrating both sides of the differential equation,

    \[ |\psi_I(t)\rangle  =|\psi_I(0)\rangle -\frac{i}{\hbar} \int_0^t dt′V_I(t′)|\psi_I(t′)\rangle . \label{9.4.6}\]

    This is not a solution—we’ve just gone from a differential equation to an integral equation. This is only worth doing if \(V_I\) is small, in which case the integral equation can be solved iteratively.

    The zeroth approximation is then

    \[ |\psi_I(t)\rangle  =|\psi_I(0)\rangle. \label{9.4.7}\]

    Putting this value into the small term on the right hand side of the integral equation gives the first order solution, \[ |\psi_I(t)\rangle  =|\psi_I(t_0)\rangle -\frac{i}{\hbar} \int_0^t dt′V_I(t′)|\psi_I(0)\rangle . \label{9.4.8}\]

    The second order solution is now given by putting the first order solution into the integral on the right:

    \[ |\psi_I(t)\rangle  =|\psi_I(0)\rangle -\frac{i}{\hbar} \int_0^t dt′V_I(t′)\left( |\psi_I(0)\rangle -\frac{i}{\hbar} \int_0^{t′}dt′′V_I(t′′)|\psi_I(0)\rangle \right)  . \label{9.4.9}\]

    The \(T\) symbol means that on expanding out the exponential, the operators at different times are arranged in order of time, the latest on the left, without worrying about commutators. If we just blindly expand the exponential, we will get, for example, a third-order term

    \[ T\frac{1}{3!}\left( -\frac{i}{\hbar} \int_0^t dt′V_I(t′)\right) \left( -\frac{i}{\hbar} \int_0^t dt′′V_I(t′′)\right) \left( -\frac{i}{\hbar} \int_0^t dt′′′V_I(t′′′)\right) . \label{9.4.10}\]

    The \(T\) operator tells us to rearrange the \(V_I(t)\)’s in chronological order. Since there are three of them, they clearly appear in all possible orders before \(T\) operates, that is to say, there are 3! different ordered terms that \(T\) makes the same. This just nicely cancels the 3! in the exponential expansion, to give us the expression we found by iteration.

    This time-ordered exponential is therefore the interaction representation propagator:

    \[ |\psi_I(t)\rangle =U_I(t,0)|\psi_I(0)\rangle,\;\; U_I(t,0)=T \exp\left( -i\hbar \int_0^t dt′V_I(t′)\right) . \label{9.4.11}\]


    This page titled 9.4: The Interaction Representation is shared under a not declared license and was authored, remixed, and/or curated by Michael Fowler via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.