3.4: Ehrenfest's Theorem
- Page ID
- 15739
\( \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}\)A simple way to calculate the expectation value of momentum is to evaluate the time derivative of \(\langle x\rangle\), and then multiply by the mass \(m\): that is,
\[\label{e4.34x} \langle p \rangle = m\,\frac{d\langle x\rangle}{dt} = m\,\frac{d}{dt}\int_{-\infty}^{\infty}x\,|\psi|^{\,2}\,dx =m \int_{-\infty}^{\infty}x\,\frac{\partial|\psi|^{\,2}}{\partial t}\,dx.\]
However, it is easily demonstrated that
\[\label{ediffp} \frac{\partial|\psi|^{\,2}}{\partial t} + \frac{\partial j}{\partial x} = 0\]
[this is just the differential form of Equation ([epc])], where \(j\) is the probability current defined in Equation ([eprobc]). Thus,
\[\langle p\rangle = -m\int_{-\infty}^{\infty} x\,\frac{\partial j}{\partial x}\,dx = m\int_{-\infty}^{\infty}j\,dx,\]
where we have integrated by parts. It follows from Equation ([eprobc]) that
\[\langle p\rangle = - \frac{{\rm i}\,\hbar}{2}\int_{-\infty}^{\infty} \left(\psi^\ast\,\frac{\partial\psi}{\partial x} - \frac{\partial\psi^\ast}{\partial x}\,\psi\right)dx = - {\rm i}\,\hbar\int_{-\infty}^{\infty} \psi^\ast\,\frac{\partial\psi}{\partial x}\,dx,\]
where we have again integrated by parts. Hence, the expectation value of the momentum can be written
\[\label{e3.38} \langle p\rangle = m\,\frac{d\langle x\rangle}{dt}= - {\rm i}\,\hbar\int_{-\infty}^{\infty} \psi^\ast\,\frac{\partial\psi}{\partial x}\,dx.\]
It follows from the previous equation that \[\begin{aligned} \frac{d\langle p\rangle}{dt} = -{\rm i}\,\hbar\int_{-\infty}^{\infty} \left(\frac{\partial\psi^\ast}{\partial t}\,\frac{\partial\psi}{\partial x} + \psi^\ast\,\frac{\partial^{\,2}\psi}{\partial t\,\partial x}\right)dx= \int_{-\infty}^{\infty}\left[ \left({\rm i}\,\hbar\,\frac{\partial\psi}{\partial t}\right)^\ast\frac{\partial \psi}{\partial x} + \frac{\partial\psi^\ast}{\partial x}\left({\rm i}\,\hbar\,\frac{\partial\psi}{\partial t}\right)\right]dx,\end{aligned}\] where we have integrated by parts. Substituting from Schrödinger’s equation ([e3.1]), and simplifying, we obtain \[\frac{d\langle p\rangle}{dt} = \int_{-\infty}^{\infty} \left[-\frac{\hbar^{\,2}}{2\,m}\frac{\partial}{\partial x}\!\left(\frac{\partial\psi^{\ast}}{\partial x}\frac{\partial \psi}{\partial x}\right) + V(x)\,\frac{\partial |\psi|^{\,2}}{\partial x}\right]dx = \int_{-\infty}^{\infty} V(x)\,\frac{\partial |\psi|^{\,2}}{\partial x}\,dx.\] Integration by parts yields \[\label{e3.41} \frac{d\langle p\rangle}{dt} =-\int_{-\infty}^{\infty} \frac{dV}{dx}\,|\psi|^{\,2}\,dx =- \left\langle \frac{dV}{dx}\right\rangle.\]
Hence, according to Equations ([e4.34x]) and ([e3.41]),
\[\begin{aligned} \label{e3.42} m\,\frac{d\langle x\rangle}{dt}&= \langle p\rangle,\\[0.5ex] \frac{d\langle p\rangle}{dt} &= -\left\langle \frac{dV}{dx}\right\rangle.\label{e3.43}\end{aligned}\] Evidently, the expectation values of displacement and momentum obey time evolution equations that are analogous to those of classical mechanics. This result is known as Ehrenfest’s theorem .
Suppose that the potential \(V(x)\) is slowly varying. In this case, we can expand \(dV/dx\) as a Taylor series about \(\langle x\rangle\). Keeping terms up to second order, we obtain
\[\frac{dV(x)}{dx} = \frac{dV(\langle x\rangle)}{d\langle x\rangle} + \frac{dV^{\,2}(\langle x\rangle)}{d\langle x\rangle^{\,2}}\,(x-\langle x\rangle) + \frac{1}{2}\,\frac{dV^{\,3}(\langle x\rangle)}{d\langle x\rangle^3}\,(x-\langle x\rangle)^{\,2}.\]
Substitution of the previous expansion into Equation ([e3.43]) yields \[\frac{d\langle p\rangle}{dt} = - \frac{dV(\langle x\rangle)}{d\langle x\rangle} - \frac{\sigma_x^{\,2}}{2}\,\frac{dV^{\,3}(\langle x\rangle)}{d\langle x\rangle^{\,3}},\] because \(\langle 1\rangle =1\), and \(\langle x-\langle x\rangle\rangle = 0\), and \(\langle (x-\langle x\rangle)^{\,2}\rangle = \sigma_x^{\,2}\). The final term on the right-hand side of the previous equation can be neglected when the spatial extent of the particle wavefunction, \(\sigma_x\), is much smaller than the variation length-scale of the potential. In this case, Equations ([e3.42]) and ([e3.43]) reduce to \[\begin{aligned} m\,\frac{d\langle x\rangle}{dt}&= \langle p\rangle,\\[0.5ex] \frac{d\langle p\rangle}{dt} &= -\frac{dV(\langle x\rangle)}{d\langle x\rangle}.\end{aligned}\] These equations are exactly equivalent to the equations of classical mechanics, with \(\langle x\rangle\) playing the role of the particle displacement. Of course, if the spatial extent of the wavefunction is negligible then a measurement of \(x\) is almost certain to yield a result that lies very close to \(\langle x\rangle\). Hence, we conclude that quantum mechanics corresponds to classical mechanics in the limit that the spatial extent of the wavefunction (which is typically of order the de Boglie wavelength) is negligible. This is an important result, because we know that classical mechanics gives the correct answer in this limit.
Contributors and Attributions
Richard Fitzpatrick (Professor of Physics, The University of Texas at Austin)
\( \newcommand {\ltapp} {\stackrel {_{\normalsize<}}{_{\normalsize \sim}}}\) \(\newcommand {\gtapp} {\stackrel {_{\normalsize>}}{_{\normalsize \sim}}}\) \(\newcommand {\btau}{\mbox{\boldmath$\tau$}}\) \(\newcommand {\bmu}{\mbox{\boldmath$\mu$}}\) \(\newcommand {\bsigma}{\mbox{\boldmath$\sigma$}}\) \(\newcommand {\bOmega}{\mbox{\boldmath$\Omega$}}\) \(\newcommand {\bomega}{\mbox{\boldmath$\omega$}}\) \(\newcommand {\bepsilon}{\mbox{\boldmath$\epsilon$}}\)