Momentum state of a particle

Question

Why is the momentum state of a particle in quantum mechanics given by the Fourier transform of its position state? For instance, in one dimension given by

$$\varphi(p)=\frac{1}{\sqrt{2\pi\hbar}}\int \mathrm dx \, e^{-i p x/\hbar} \psi(x).$$

Answer 1

Let's start from scratch. Take the positions eigenvectors, $\left|x\right>$. They are such that $X\left|x\right> = x\left|x\right>$. Now, take a general ket for a wavefunction, $\left|\psi\right>$. If we want to know $\psi(x)$, that is, the wavefunction in the position representation, then we take the following scalar product : $\left<x\right|\left|\psi\right> = \psi(x)$. Indeed, this is true since the position representation of $\left|x\right>$ is $\delta(x)$ (I can show this if need be). From this is also follows that $\int\left|x\right>\left<x\right|dx = I$ where I is the identity (called the completeness relation).

So, let's get back to the question. Analogously, we have that $\psi(p) = \left<p\right|\left|\psi\right> =\int \left<p\right|\left|x\right>\left<x\right|\left|\psi\right>dx$ using the completeness relation. All we have to do now, is determine $\left<p\right|\left|x\right>$. This is done by the defining equation of $\left|p\right>$ which simply is $P\left|p\right> = p\left|p\right>$.

Taking the scalar product with $\left<x\right|$ and using the positiong representation of $P = -i\hbar\nabla$ we get the following equation :

$$ -i\hbar\frac{d p(x)}{d x} = pp(x)$$

Where $p(x) = \left<x\right|\left|p\right>$

Solving this equation you find $p(x) = Ae^{ip/\hbar x}$

Finally, using the hermiticity properties of the scalar product and plugging back in our initial integral we get :

$$\psi(p) = \int Ae^{-ip/\hbar x}\psi(x)$$

The constant $A$ is taken to be $\frac{1}{\sqrt{2\pi\hbar}}$ arbitrarily to get the usual form of the Fourier transform. This is because since the position representation of the $p$ eigenvectors cannot be normalised, this constant $A$ is arbitrary.

Answer 2

In general, a Fourier transform takes functions on a group $G$, or a space $X$ on which $G$ acts, and decomposes them in terms of characters of the group, such as $\chi : G \to S^1$, and the coefficients of the decomposition are encoded in the transformed function in the Pontryagin dual $\hat G$ of $G$.

Now for Euclidean space, $\mathbb R^n$, we can identify the Pontryagin dual $\hat{ \mathbb{R}}^n$ with itself. In particular, it is a locally compact group with $\mathbb R^n$, identifying $\xi \in \mathbb R^n$ as the frequency, for which $x \to \xi \cdot x.$ The Pontryagin dual in general is the group of all characters of $G$.

In general, the Fourier transform for $f \in L^1(G)$ is given by,

$$\hat f (\chi) = \int_G f(x)\bar{\chi(x)} d \mu(x)$$

where $d\mu$ is the Haar measure. Specializing now to the aforementioned case, one has,

$$\hat{f}(\xi) = \int_{\mathbb R^n} f(x)e^{-2\pi i \xi \cdot x} dx.$$

If we interpret the domain of $f$ as time, then the corresponding domain of the transform is in frequency space. For position, one has momentum space. That we can take $\psi(x)$ to $\hat \psi(p)$ is not exclusive to the wavefunction but can be performed on any suitable function.

---

Another check: in the exponential one has $e^{-i\omega t}$ and so one can deduce $\omega$ has dimensions of frequency for the argument to be dimensionless. Now, for position, you'd get something like $[L]^{-1}$ which is actually the wave vector $k$, but $p = \hbar k$ and so we can express the Fourier transform either in terms of the wave vector or the momentum.

We also normally work in natural units wherein $\hbar = 1$ and so we use either interchangeably.

Answer 3

First, we need some definitions of the concepts we will deal with: the position and momentum representations. The position and momentum operators satisfy the commutation relation: \begin{equation} [X,P]=i\hbar \end{equation}

A representation of this algebra over the Hilbert space $L^2\left(\mathbb{R}\right)$, the position representation, is given by $(Xf)(x)=x\,f(x)$ and $Pf=-i\hbar f'$. The momentum representation is similar, just swapping $X$ and $P$ (and changing a sign), to obtain $(Pf)(p)=p\,f(p)$ and $Xf=i\hbar f'$.

Why do we use these definitions? Well, it makes sense to call position representation the one for which the position operator acts as multiplication by the argument of the function, because then that argument is interpreted as position. The same thing happens for the momentum representation. In that case, the argument of the functions can be interpreted as the momentum, as $P$ acts as multiplication by it.

Now we can address the question. The statement is that the Fourier transform takes functions in the position representation to the momentum representation. To prove it, let $f$ be a function in the position representation and observe that \begin{align} (X\hat{f})(p) &= \frac{1}{\sqrt{2\pi\hbar}}\int dx \,x\,e^{-ipx/\hbar}f(x) = \frac{i\hbar}{\sqrt{2\pi\hbar}}\frac{d}{dp}\int dx\,e^{-i px/\hbar}f(x) =i\hbar\,\hat{f}'(p) \\ (P\hat{f})(p) &= \frac{-i\hbar}{\sqrt{2\pi\hbar}}\int dx e^{-ipx/\hbar}f'(x) \overset{\text{by parts}}= \frac{p}{\sqrt{2\pi\hbar}}\int dx e^{-ipx/\hbar}f(x) =p\,\hat{f}(p), \end{align} where $\hat{f}$ is the Fourier transform.