Skip to main content
Physics LibreTexts

3.6: Momentum Representation

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

    Fourier’s theorem (see Section [s2.9]), applied to one-dimensional wavefunctions, yields \[\begin{aligned} \psi(x,t) &=\frac{1}{\sqrt{2 \pi}}\int_{-\infty}^{\infty} \bar{\psi}(k,t)\,{\rm e}^{+{\rm i}\,k\,x}\,dk,\\[0.5ex] \bar{\psi}(k,t) &= \frac{1}{\sqrt{2 \pi}}\int_{-\infty}^\infty \psi(x,t)\,{\rm e}^{-{\rm i}\,k\,x}\,dx,\end{aligned}\] where \(k\) represents wavenumber. However, \(p=\hbar\,k\). Hence, we can also write \[\begin{aligned} \label{e3.64} \psi(x,t) &= \frac{1}{\sqrt{2\pi\,\hbar}}\int_{-\infty}^{\infty} \phi(p,t)\,{\rm e}^{+{\rm i}\,p\,x/\hbar}\,dp,\\[0.5ex] \phi(p,t) &= \frac{1}{\sqrt{2\pi\,\hbar}}\int_{-\infty}^\infty \psi(x,t)\,{\rm e}^{-{\rm i}\,p\,x/\hbar}\,dx,\label{e3.65}\end{aligned}\] where \(\phi(p,t)= \bar{\psi}(k,t)/\sqrt{\hbar}\) is the momentum-space equivalent to the real-space wavefunction \(\psi(x,t)\).

    At this stage, it is convenient to introduce a useful function called the Dirac delta-function . This function, denoted \(\delta(x)\), was first devised by Paul Dirac , and has the following rather unusual properties: \(\delta(x)\) is zero for \(x\neq 0\), and is infinite at \(x=0\). However, the singularity at \(x=0\) is such that \[\label{e3.64a} \int_{-\infty}^{\infty}\delta(x)\,dx = 1.\] The delta-function is an example of what is known as a generalized function: that is, its value is not well defined at all \(x\), but its integral is well defined. Consider the integral \[\int_{-\infty}^{\infty}f(x)\,\delta(x)\,dx.\] Because \(\delta(x)\) is only non-zero infinitesimally close to \(x=0\), we can safely replace \(f(x)\) by \(f(0)\) in the previous integral (assuming \(f(x)\) is well behaved at \(x=0\)), to give \[\int_{-\infty}^{\infty}f(x)\,\delta(x)\,dx = f(0)\,\int_{-\infty}^{\infty}\delta(x)\,dx=f(0),\] where use has been made of Equation ([e3.64a]). A simple generalization of this result yields \[\label{e3.69} \int_{-\infty}^\infty f(x)\,\delta(x-x_0)\,dx = f(x_0),\] which can also be thought of as an alternative definition of a delta-function.

    Suppose that \(\psi(x) = \delta(x-x_0)\). It follows from Equations ([e3.65]) and ([e3.69]) that

    \begin{equation}\phi(p)=\frac{\mathrm{e}^{-i p x_{0} / \hbar}}{\sqrt{2 \pi \hbar}}\end{equation}

    Hence, Equation ([e3.64]) yields the important result \[\delta(x-x_0)= \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}{\rm e}^{+{\rm i}\,p\,(x-x_0)/\hbar}\,dp.\] Similarly, \[\label{e3.72} \delta(p-p_0)= \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}{\rm e}^{+{\rm i}\,(p-p_0)\,x/\hbar}\,dx.\]

    It turns out that we can just as easily formulate quantum mechanics using the momentum-space wavefunction, \(\phi(p,t)\), as the real-space wavefunction, \(\psi(x,t)\). The former scheme is known as the momentum representation of quantum mechanics. In the momentum representation, wavefunctions are the Fourier transforms of the equivalent real-space wavefunctions, and dynamical variables are represented by different operators. Furthermore, by analogy with Equation ([e3.55]), the expectation value of some operator \(O(p)\) takes the form \[\label{e4.55a} \langle O\rangle = \int_{-\infty}^{\infty}\phi^\ast(p,t)\,O(p)\,\phi(p,t)\,dp.\]

    Consider momentum. We can write \[\begin{aligned} \langle p\rangle& = \int_{-\infty}^{\infty} \psi^\ast(x,t)\left(-{\rm i}\,\hbar\, \frac{\partial}{\partial x}\right)\psi(x,t)\,dx \nonumber\\[0.5ex]&= \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \phi^\ast(p',t)\,\phi(p,t)\,p\,{\rm e}^{+{\rm i}\,(p-p')\,x/\hbar}\,dx\,dp\,dp',\end{aligned}\] where use has been made of Equation ([e3.64]). However, it follows from Equation ([e3.72]) that \[\langle p\rangle = \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\phi^\ast(p',t)\,\phi(p,t)\,p\,\delta(p-p')\,dp\,dp'.\] Hence, using Equation ([e3.69]), we obtain \[\langle p\rangle = \int_{-\infty}^{\infty}\phi^\ast(p,t)\,p\,\phi(p,t)\,dp = \int_{-\infty}^{\infty}p\,|\phi|^{\,2}\,dp.\] Evidently, momentum is represented by the operator \(p\) in the momentum representation. The previous expression also strongly suggests [by comparison with Equation ([e3.22])] that \(|\phi(p,t)|^{\,2}\) can be interpreted as the probability density of a measurement of momentum yielding the value \(p\) at time \(t\). It follows that \(\phi(p,t)\) must satisfy an analogous normalization condition to Equation ([e3.4]): that is, \[\label{enormp} \int_{-\infty}^{\infty} |\phi(p,t)|^{\,2}\,dp = 1.\]

    Consider displacement. We can write \[\begin{aligned} \langle x\rangle& = \int_{-\infty}^{\infty} \psi^\ast(x,t)\,x\,\psi(x,t)\,dx \\[0.5ex]&=\frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \phi^\ast(p',t)\,\phi(p,t)\left(-{\rm i}\,\hbar\,\frac{\partial}{\partial p}\right){\rm e}^{+{\rm i}\,(p-p')\,x/\hbar}\,dx\,dp\,dp'.\nonumber\end{aligned}\] Integration by parts yields \[\langle x\rangle= \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \phi^\ast(p',t)\,{\rm e}^{+{\rm i}\,(p-p')\,x/\hbar}\left({\rm i}\,\hbar\,\frac{\partial}{\partial p}\right)\phi(p,t)\,dx\,dp\,dp'.\] Hence, making use of Equations ([e3.72]) and ([e3.69]), we obtain \[\langle x\rangle= \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty} \phi^\ast(p) \left({\rm i}\,\hbar\,\frac{\partial}{\partial p}\right)\phi(p)\,dp.\] Evidently, displacement is represented by the operator \[x\equiv{\rm i}\,\hbar\,\frac{\partial}{\partial p}\] in the momentum representation.

    Finally, let us consider the normalization of the momentum-space wavefunction \(\phi(p,t)\). We have \[\int_{-\infty}^{\infty} \psi^\ast(x,t)\,\psi(x,t)\,dx = \frac{1}{2\pi\,\hbar}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \phi^\ast(p',t)\,\phi(p,t)\,{\rm e}^{+{\rm i}\,(p-p')\,x/\hbar}\,dx\,dp\,dp'.\] Thus, it follows from Equations ([e3.69]) and ([e3.72]) that \[\label{e3.83} \int_{-\infty}^{\infty} |\psi(x,t)|^{\,2}\,dx =\int_{-\infty}^{\infty}|\phi(p,t)|^{\,2}\,dp.\] Hence, if \(\psi(x,t)\) is properly normalized [see Equation ([e3.4])] then \(\phi(p,t)\), as defined in Equation ([e3.65]), is also properly normalized [see Equation ([enormp])].

    The existence of the momentum representation illustrates an important point. Namely, there are many different, but entirely equivalent, ways of mathematically formulating quantum mechanics. For instance, it is also possible to represent wavefunctions as row and column vectors, and dynamical variables as matrices that act upon these vectors.

    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$}}\)

    This page titled 3.6: Momentum Representation is shared under a not declared license and was authored, remixed, and/or curated by Richard Fitzpatrick.

    • Was this article helpful?