Skip to main content
Physics LibreTexts

5.2: The Ehrenfest Theorem

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

    In Sec. 4.7, we have derived all the basic relations of wave mechanics from the bra-ket formalism, which will also enable us to get some important additional results in that area. One of them is a pair of very interesting relations, together called the Ehrenfest theorem. To derive them, for the simplest case of 1D orbital motion, let us calculate the following commutator: \[\left[\hat{x}, \hat{p}_{x}^{2}\right] \equiv \hat{x} \hat{p}_{x} \hat{p}_{x}-\hat{p}_{x} \hat{p}_{x} \hat{x} \text {. }\] Let us apply the commutation relation (4.238) in the following form: \[\hat{x} \hat{p}_{x}=\hat{p}_{x} \hat{x}+i \hbar \hat{I},\] to the first term of the right-hand side of Eq. (24) twice, with the goal to move the coordinate operator to the rightmost position: \[\hat{x} \hat{p}_{x} \hat{p}_{x}=\left(\hat{p}_{x} \hat{x}+i \hbar \hat{I}\right) \hat{p}_{x} \equiv \hat{p}_{x} \hat{x} \hat{p}_{x}+i \hbar \hat{p}_{x}=\hat{p}_{x}\left(\hat{p}_{x} \hat{x}+i \hbar \hat{I}\right)+i \hbar \hat{p}_{x} \equiv \hat{p}_{x} \hat{p}_{x} \hat{x}+2 i \hbar \hat{p}_{x} .\] The first term of this result cancels with the last term of Eq. (24), so that the commutator becomes quite simple: \[\left[\hat{x}, \hat{p}_{x}^{2}\right]=2 i \hbar \hat{p}_{x} .\] Let us use this equality to calculate the Heisenberg-picture equation of motion of the operator \(\hat{x}\), by applying the general Heisenberg equation (4.199) to the \(1 \mathrm{D}\) orbital motion described by the Hamiltonian (4.237), but possibly with a more general, time-dependent potential energy \(U\) : \[\frac{d \hat{x}}{d t}=\frac{1}{i \hbar}[\hat{x}, \hat{H}]=\frac{1}{i \hbar}\left[\hat{x}, \frac{\hat{p}_{x}^{2}}{2 m}+U(\hat{x}, t)\right] .\] The potential energy operator is a function of the coordinate operator and hence, as we know, commutes with it. Thus, the right-hand side of Eq. (28) is proportional to the commutator (27), and we get \[\frac{d \hat{x}}{d t}=\frac{\hat{p}_{x}}{m} .\] In this operator equality, we readily recognize the full analog of the classical relation between the particle’s momentum and is velocity.

    Now let us see what a similar procedure gives for the momentum’s derivative: \[\frac{d \hat{p}_{x}}{d t}=\frac{1}{i \hbar}\left[\hat{p}_{x}, \hat{H}\right]=\frac{1}{i \hbar}\left[\hat{p}_{x}, \frac{\hat{p}_{x}^{2}}{2 m}+U(\hat{x}, t)\right] .\] The kinetic energy operator commutes with the momentum operator and hence drops from the righthand side of this equation. To calculate the remaining commutator of the momentum and potential energy, let us use the fact that any smooth (infinitely differentiable) function may be represented by its Taylor expansion: \[U(\hat{x}, t)=\sum_{k=0}^{\infty} \frac{1}{k !} \frac{\partial^{k} U}{\partial \hat{x}^{k}} \hat{x}^{k},\] where the derivatives of \(U\) may be understood as \(c\)-numbers (evaluated at \(x=0\), and the given time \(t\) ), so that we may write \[\left[\hat{p}_{x}, U(\hat{x}, t)\right]=\sum_{k=0}^{\infty} \frac{1}{k !} \frac{\partial^{k} U}{\partial \hat{x}^{k}}\left[\hat{p}_{x}, \hat{x}^{k}\right]=\sum_{k=0}^{\infty} \frac{1}{k !} \frac{\partial^{k} U}{\partial \hat{x}^{k}}(\hat{p}_{x} \underbrace{\hat{x} \hat{x} \ldots \hat{x}}_{k \text { times }}-\underbrace{\hat{x} \hat{x} \ldots \ldots \hat{x}}_{k \text { times }} \hat{p}_{x})\] Applying Eq. (25) \(k\) times to the last term in the parentheses, exactly as we did it in Eq. (26), we get \[\left[\hat{p}_{x}, U(\hat{x}, t)\right]=-\sum_{k=1}^{\infty} \frac{1}{k !} \frac{\partial^{k} U}{\partial \hat{x}^{k}} i k \hbar \hat{x}^{k-1} \equiv-i \hbar \sum_{k=1}^{\infty} \frac{1}{(k-1) !} \frac{\partial^{k} U}{\partial \hat{x}^{k}} \hat{x}^{k-1} .\] But the last sum is just the Taylor expansion of the derivative \(\partial U / \partial x\). Indeed, \[\frac{\partial U}{\partial \hat{x}}=\sum_{k^{\prime}=0}^{\infty} \frac{1}{k^{\prime} !} \frac{\partial^{k^{\prime}}}{\partial \hat{x}^{k^{\prime}}}\left(\frac{\partial U}{\partial \hat{x}}\right) \hat{x}^{k^{\prime}}=\sum_{k^{\prime}=0}^{\infty} \frac{1}{k^{\prime} !} \frac{\partial^{k^{\prime}+1} U}{\partial \hat{x}^{k^{\prime}+1}} \hat{x}^{k^{\prime}}=\sum_{k=1}^{\infty} \frac{1}{(k-1) !} \frac{\partial^{k} U}{\partial \hat{x}^{k}} \hat{x}^{k-1}\] where at the last step the summation index was changed from \(k\) ’ to \(k-1\). As a result, we may rewrite Eq. (5.32b) as \[\left[\hat{p}_{x}, U(\hat{x}, t)\right]=-i \hbar \frac{\partial}{\partial \hat{x}} U(\hat{x}, t),\] so that Eq. (30) yields: \[\frac{d \hat{p}_{x}}{d t}=-\frac{\partial}{\partial \hat{x}} U(\hat{x}, t)\] This equation also coincides with the classical equation of motion! Moreover, averaging Eqs. (29) and (35) over the initial state (as Eq. (4.191) prescribes), we get similar results for the expectation values: \({ }^{: 15}\) \[\frac{d\langle x\rangle}{d t}=\frac{\left\langle p_{x}\right\rangle}{m}, \quad \frac{d\left\langle p_{x}\right\rangle}{d t}=-\left\langle\frac{\partial U}{\partial x}\right\rangle .\] However, it is important to remember that the equivalence between these quantum-mechanical equations and similar equations of classical mechanics is superficial, and the degree of the similarity between the two mechanics very much depends on the problem. As one extreme, let us consider the case when a particle’s state, at any moment between \(t_{0}\) and \(t\), may be accurately represented by one, relatively \(p_{x}\)-narrow wave packet. Then we may interpret Eqs. (36) as the equations of the essentially classical motion of the wave packet’s center, in accordance with the correspondence principle. However, even in this case, it is important to remember the purely quantum mechanical effects of non-zero wave packet width and its spread in time, which were discussed in Sec. 2.2.

    As an opposite extreme, let us revisit the "leaky" potential well discussed in Sec. \(2.5-\) see Fig. 2.15. Since both the potential \(U(x)\) and the initial wavefunction of that system are symmetric relative to point \(x=0\) at all times, the right-hand sides of both Eqs. (36) identically equal zero. Of course, the result they predict (that the average values of the coordinate and the momentum stay equal to zero at all times) is correct, but this fact does not tell us much about the rich dynamics of the system: the finite lifetime of the metastable state, the formation of two wave packets, their waveform and propagation speed (see Fig. \(2.17)\), and about the insights the full solution gives for the quantum measurement theory and the system’s irreversibility. Another similar example is the energy band theory (Sec. 2.7), with its purely quantum effect of the allowed energy bands and forbidden energy gaps, of which Eqs. (36) give no clue.

    To summarize, the Ehrenfest theorem is important as an illustration of the correspondence principle, but its predictive power should not be exaggerated.


    \({ }^{15}\) The equation set (36) constitutes the Ehrenfest theorem, named after its author, P. Ehrenfest.


    This page titled 5.2: The Ehrenfest Theorem is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Konstantin K. Likharev via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.