← Exercise library← All exercises for this theme
Theme 3 — Postulates and Applications

Fourier transform of an exponential wave function

Keywords: Fourier transform · momentum-space representation · Lorentzian distribution · uncertainty relation · Plancherel theorem

Exercise 1 : Fourier transform of an exponential wave function

A particle on a line is described, at a given instant, by the wave function

ψ(x)=1a e−∣x∣/a,a>0.\psi(x)=\frac{1}{\sqrt a}\,e^{-|x|/a},\qquad a>0 .

Recall that the wave function in the momentum-space representation is

ψ~(p)=12πℏ∫Re−ipx/ℏψ(x) dx,\widetilde\psi(p)=\frac{1}{\sqrt{2\pi\hbar}}\int_{\R}e^{-ipx/\hbar}\psi(x)\,dx,

and that ∣ψ~(p)∣2|\widetilde\psi(p)|^2 is the momentum probability density. You may use the integrals

∫Rdu(1+u2)2=π2,∫Ru2 du(1+u2)2=π2,∫0∞xqe−x/bdx=q! bq+1.\int_{\R}\frac{du}{(1+u^2)^2}=\frac\pi2,\qquad\int_{\R}\frac{u^2\,du}{(1+u^2)^2}=\frac\pi2,\qquad\int_0^\infty x^qe^{-x/b}dx=q!\,b^{q+1}.
Question 1
Verify that ψ\psi is normalised, and calculate ⟨X^⟩\langle\hat X\rangle and σX\sigma_X.

Solution
The function ∣ψ∣2=e−2∣x∣/a/a|\psi|^2=e^{-2|x|/a}/a is even, and

∫R∣ψ∣2dx=2a∫0∞e−2x/adx=2a⋅a2=1.\int_{\R}|\psi|^2dx=\frac2a\int_0^\infty e^{-2x/a}dx=\frac2a\cdot\frac a2=1 .

By parity, ⟨X^⟩=0\langle\hat X\rangle=0. The variance is therefore

σX2=⟨X^2⟩=2a∫0∞x2e−2x/adx=2a×2!(a2)3=a22,σX=a2.\sigma_X^2=\langle\hat X^2\rangle=\frac2a\int_0^\infty x^2e^{-2x/a}dx=\frac2a\times2!\Bigl(\frac a2\Bigr)^3=\frac{a^2}{2}, \qquad\sigma_X=\frac{a}{\sqrt2}.

Question 2
Calculate ψ~(p)\widetilde\psi(p). Verify that it is normalised, as required by Plancherel's theorem.

Solution
We split the integral into two parts according to the sign of xx, setting k=p/ℏk=p/\hbar:

∫Re−ikxe−∣x∣/adx=∫0∞e−(1/a+ik)xdx+∫−∞0e(1/a−ik)xdx=11/a+ik+11/a−ik=2/a1/a2+k2=2a1+k2a2.\begin{aligned} \int_{\R}e^{-ikx}e^{-|x|/a}dx&=\int_0^\infty e^{-(1/a+ik)x}dx+\int_{-\infty}^0e^{(1/a-ik)x}dx\\ &=\frac{1}{1/a+ik}+\frac{1}{1/a-ik}=\frac{2/a}{1/a^2+k^2}=\frac{2a}{1+k^2a^2}. \end{aligned}

Both integrals converge because the real parts of the exponents are negative. We obtain

ψ~(p)=12πℏ⋅1a⋅2a1+p2a2/ℏ2=2aπℏ  11+p2a2/ℏ2.\widetilde\psi(p)=\frac{1}{\sqrt{2\pi\hbar}}\cdot\frac{1}{\sqrt a}\cdot\frac{2a}{1+p^2a^2/\hbar^2}=\sqrt{\frac{2a}{\pi\hbar}}\;\frac{1}{1+p^2a^2/\hbar^2}.

The momentum density is a squared Lorentzian function centred at p=0p=0, with characteristic width ℏ/a\hbar/a. To verify the normalisation, set u=pa/ℏu=pa/\hbar, so that dp=ℏ du/adp=\hbar\,du/a:

∫R∣ψ~(p)∣2dp=2aπℏ⋅ℏa∫Rdu(1+u2)2=2π⋅π2=1.\int_{\R}|\widetilde\psi(p)|^2dp=\frac{2a}{\pi\hbar}\cdot\frac\hbar a\int_{\R}\frac{du}{(1+u^2)^2}=\frac2\pi\cdot\frac\pi2=1 .

Question 3
Calculate ⟨P^2⟩\langle\hat P^2\rangle in two ways: from ψ~\widetilde\psi, and then in the position-space representation, using ⟨P^2⟩=ℏ2∫∣ψ′(x)∣2dx\langle\hat P^2\rangle=\hbar^2\int|\psi'(x)|^2dx. Hence find σP\sigma_P.

Solution
In the momentum-space representation, using the same change of variable,

⟨P^2⟩=∫Rp2∣ψ~(p)∣2dp=2aπℏ(ℏa)3∫Ru2du(1+u2)2=2ℏ2πa2⋅π2=ℏ2a2.\langle\hat P^2\rangle=\int_{\R}p^2|\widetilde\psi(p)|^2dp=\frac{2a}{\pi\hbar}\Bigl(\frac\hbar a\Bigr)^3\int_{\R}\frac{u^2du}{(1+u^2)^2}=\frac{2\hbar^2}{\pi a^2}\cdot\frac\pi2=\frac{\hbar^2}{a^2}.

In the position-space representation, the derivative ψ′(x)=−sgn(x)aψ(x)\psi'(x)=-\frac{\mathrm{sgn}(x)}{a}\psi(x) is defined everywhere except at x=0x=0, where it has a jump; we therefore have ∣ψ′∣2=∣ψ∣2/a2|\psi'|^2=|\psi|^2/a^2 almost everywhere, and

⟨P^2⟩=ℏ2∫R∣ψ′∣2dx=ℏ2a2∫R∣ψ∣2dx=ℏ2a2.\langle\hat P^2\rangle=\hbar^2\int_{\R}|\psi'|^2dx=\frac{\hbar^2}{a^2}\int_{\R}|\psi|^2dx=\frac{\hbar^2}{a^2}.

The two methods agree. Since ψ~\widetilde\psi is even, ⟨P^⟩=0\langle\hat P\rangle=0, and σP=ℏ/a\sigma_P=\hbar/a. The formula ℏ2∫∣ψ′∣2\hbar^2\int|\psi'|^2 follows from the integration by parts ⟨ψ|P^2ψ⟩=⟨P^ψ|P^ψ⟩\braket{\psi}{\hat P^2\psi}=\braket{\hat P\psi}{\hat P\psi}, which is valid here because ψ\psi is continuous.

Question 4
Verify the Heisenberg uncertainty relation. Calculate the probability that the momentum lies between −ℏ/a-\hbar/a and ℏ/a\hbar/a.

Hint
An antiderivative of 1/(1+u2)21/(1+u^2)^2 is u2(1+u2)+12arctan⁡u\frac{u}{2(1+u^2)}+\frac12\arctan u.

Solution
The product of the standard deviations is σXσP=a2⋅ℏa=ℏ2≃0,71 ℏ\sigma_X\sigma_P=\frac{a}{\sqrt2}\cdot\frac\hbar a=\frac{\hbar}{\sqrt2}\simeq0{,}71\,\hbar, which is greater than ℏ/2\hbar/2 as it should be. It is independent of aa: broadening the wave function in position space reduces the momentum spread by the same proportion. The required probability is

P(∣p∣<ℏa)=2π∫−11du(1+u2)2=4π[u2(1+u2)+12arctan⁡u]01=4π(14+π8)=12+1π≃0,82.P\Bigl(|p|<\frac\hbar a\Bigr)=\frac2\pi\int_{-1}^1\frac{du}{(1+u^2)^2}=\frac4\pi\Bigl[\frac{u}{2(1+u^2)}+\frac12\arctan u\Bigr]_0^1=\frac4\pi\Bigl(\frac14+\frac\pi8\Bigr)=\frac12+\frac1\pi\simeq0{,}82 .

Question 5
Show that ⟨P^4⟩\langle\hat P^4\rangle is infinite. Relate this result to the regularity of ψ\psi at x=0x=0.

Solution
We have ⟨P^4⟩=2aπℏ(ℏa)5∫Ru4 du(1+u2)2\langle\hat P^4\rangle=\frac{2a}{\pi\hbar}\bigl(\frac\hbar a\bigr)^5\int_{\R}\frac{u^4\,du}{(1+u^2)^2}. As ∣u∣→∞|u|\to\infty, the integrand tends to 11, and the integral diverges. The momentum distribution decreases too slowly, as 1/p41/p^4, for its fourth-order moment to exist. This behaviour is related to the cusp of ψ\psi at x=0x=0: its derivative has a jump there, so the second derivative contains a Dirac delta term, ψ"=ψ/a2−2a3/2δ(x)\psi"=\psi/a^2-\frac{2}{a^{3/2}}\delta(x), which is not square-integrable. Thus P^2ψ\hat P^2\psi does not belong to L2(R)L^2(\R), and ⟨P^4⟩=∥P^2ψ∥2\langle\hat P^4\rangle=\norm{\hat P^2\psi}^2 is infinite. The less regular a wave function is, the more slowly its Fourier transform decreases and the more high-momentum components it contains.