Β§3.3–3.4Momentum Probabilities; A Particle in a Box I

Part II Phillips pp. 42–46 Β· ~15 min read

  • momentum-space wave function
  • Fourier transform
  • particle in a box
  • normalization constant
  • quantum number

Position and momentum are not two properties of a particle. They are two representations of one function, related by a transform you have used before.

Β§3.2 established that Ξ¨\Psi tells you where a particle might be found. This section makes the striking claim that the same function already tells you what momentum it might have β€” no new object, no extra postulate. You just have to look at it in a different basis.

3.3 Momentum Probabilities

If a wave function can represent a particle with a range of possible positions, it is reasonable to expect it can represent a range of possible momenta too. The simplest case makes the point: the two-term wave function

Ξ¨(x,t)=A1e+i(k1xβˆ’Ο‰1t)+A2e+i(k2xβˆ’Ο‰2t)\Psi(x,t) = A_1 e^{+i(k_1x - \omega_1 t)} + A_2 e^{+i(k_2 x - \omega_2 t)}

describes a free particle with two possible momenta and energies, p1=ℏk1,Β E1=ℏω1p_1 = \hbar k_1,\ E_1 = \hbar\omega_1 and p2=ℏk2,Β E2=ℏω2p_2 = \hbar k_2,\ E_2 = \hbar\omega_2.

The general free-particle solution, already derived as Eq. (2.16), does the same thing with a continuum of them:

Ξ¨(x,t)=βˆ«βˆ’βˆž+∞A(k) ei(kxβˆ’Ο‰t) dk,withℏω=ℏ2k22m(3.18)\Psi(x,t) = \int_{-\infty}^{+\infty} A(k)\,e^{i(kx - \omega t)}\,\mathrm dk,\quad\text{with}\quad \hbar\omega = \frac{\hbar^2k^2}{2m}\tag{3.18}

In wave language this is a superposition of sinusoids, and ∣A(k)∣2|A(k)|^2 measures how much of each wave number kk is present. In particle language each kk is a momentum p=ℏkp = \hbar k. Reading those two sentences together, in analogy with the Born interpretation, gives the assumption of the section: the most probable momenta are the ones for which ∣A(k)∣2|A(k)|^2 is large.

The transform pair

Rather than leave momentum tied to the particular form (3.18), Phillips treats position and momentum symmetrically. Any one-dimensional wave function can be written as a Fourier transform:

Ξ¨(x,t)=12Ο€β„βˆ«βˆ’βˆž+∞Ψ~(p,t) e+ipx/ℏ dp(3.19)\Psi(x,t) = \frac{1}{\sqrt{2\pi\hbar}}\int_{-\infty}^{+\infty} \tilde\Psi(p,t)\,e^{+ipx/\hbar}\,\mathrm dp\tag{3.19}

with inverse

Ξ¨~(p,t)=12Ο€β„βˆ«βˆ’βˆž+∞Ψ(x,t) eβˆ’ipx/ℏ dx(3.20)\tilde\Psi(p,t) = \frac{1}{\sqrt{2\pi\hbar}}\int_{-\infty}^{+\infty} \Psi(x,t)\,e^{-ipx/\hbar}\,\mathrm dx\tag{3.20}

Equations (3.19) and (3.20), piece by piece

symbol
is
the momentum-space wave function β€” the SAME state, written in terms of momentum instead of position. The tilde is the book's marker for "Fourier transformed". Not a new physical object: it carries exactly the information Ξ¨ does, no more and no less.
units
type
complex function of p and t

Click any symbol to see what it is, what units it carries, and what kind of object it is once you put it in an array.

The pair has a property that makes the whole idea work: if Ξ¨\Psi is normalized, so is Ξ¨~\tilde\Psi.

βˆ«βˆ’βˆž+∞∣Ψ(x,t)∣2 dx=1thenβˆ«βˆ’βˆž+∞∣Ψ~(p,t)∣2 dp=1\int_{-\infty}^{+\infty}|\Psi(x,t)|^2\,\mathrm dx = 1 \quad\text{then}\quad \int_{-\infty}^{+\infty}|\tilde\Psi(p,t)|^2\,\mathrm dp = 1

That is exactly the licence needed to call ∣Ψ~∣2|\tilde\Psi|^2 a probability density. So, by symmetry with position:

  • ∣Ψ~(p,t)∣2|\tilde\Psi(p,t)|^2 is the probability density for momentum β€” ∣Ψ~∣2 dp|\tilde\Psi|^2\,\mathrm dp is the probability of a momentum outcome between pp and p+dpp + \mathrm dp;
  • Ξ¨~(p,t)\tilde\Psi(p,t) is the probability amplitude for momentum , exactly as Ξ¨\Psi is for position.

This is the Born interpretation generalised, and it extends to three dimensions without changing anything essential.

ψ(x) and Ο†(p): squeeze one, the other spreads

position β€” |Ξ¨(x)|Β²

-6-4-2024600.10.20.30.4position xprobability density

momentum β€” |Ξ¨Μƒ(p)|Β²

-2-101200.20.40.60.8momentum pprobability density
Ξ”x 1.0000
Ξ”p 0.5000
Ξ”xΒ·Ξ”p / Δ§ 0.5000 β‰₯ 0.5

Ξ”x = Οƒ = 1.00, Ξ”p = Δ§/2Οƒ = 0.500, product = Δ§/2 exactly

The one shape that achieves the minimum. Its transform is another Gaussian, so squeezing one side widens the other by exactly the reciprocal factor and the product never moves off Β½. Β§3.5 shows this is the minimum-uncertainty state; Β§7.4 proves no state can do better.

Both densities are computed from the same ψ by qm.ts β€” the right panel is Eq. (3.20) evaluated numerically, not a sketch. Drag the slider and watch the two widths trade off: that reciprocal relationship is the whole content of the uncertainty principle, and it is a property of Fourier transforms rather than of quantum mechanics.

3.4 A Particle in a Box I

Now the first real calculation: a particle of mass mm confined to the region 0<x<a0 < x < a. Section 4.4 will show that such a particle has an infinite number of states with discrete energies, labelled by a quantum number n=1,2,3,…n = 1, 2, 3, \dots. Here we take that result and use it.

A particle in the state nn has energy

En=ℏ2kn22m,wherekn=nΟ€a(3.21)E_n = \frac{\hbar^2k_n^2}{2m},\quad\text{where}\quad k_n = \frac{n\pi}{a}\tag{3.21}

and wave function

Ξ¨n(x,t)={Nsin⁑knx eβˆ’iEnt/ℏifΒ 0<x<a0elsewhere(3.22)\Psi_n(x,t) = \begin{cases} N\sin k_nx\,e^{-iE_nt/\hbar} & \text{if } 0 < x < a\\ 0 & \text{elsewhere}\end{cases}\tag{3.22}

The box, its levels and its eigenfunctions

00.20.40.60.81.0050100150position x (natural units, Δ§ = m = 1)energyE0E1E2E3E4
  • V(x)
  • energy level Eβ‚™
  • Οˆβ‚™(x)
  • classically forbidden (V > E)
selected level
E0 = 4.9348
nodes in ψ
0
bound states
infinitely many
E₁ βˆ’ Eβ‚€
14.8043

A flat box with impenetrable walls. Every state is bound, the levels go up as nΒ², and ψ must vanish at both walls β€” which is the entire reason the energies are quantized.

Click any gold line to select that level. Every number here comes from building H as a tridiagonal matrix on a 700-point grid and diagonalizing it β€” the same four lines of NumPy shown on this page, and the count of bound states comes free from a Sturm sequence without computing a single eigenvalue.

Fixing the normalization constant

NN is a normalization constant , and Eq. (3.17) determines it.

Finding N

step 1 of 4

The first normalization anyone does. Note how the time factor disappears before the integral is even set up.

  1. 1Form |Ξ¨|Β² = Ξ¨*Ξ¨. The exponentials are e^{+iEt/Δ§} and e^{βˆ’iEt/Δ§}, whose product is 1 β€” the state is stationary, exactly as Β§3.2 predicted for anything of the form ψ(x)e^{βˆ’iΟ‰t}.

The momentum side

For the momentum density, feed Eq. (3.22) into Eq. (3.20):

Ξ¨~n(p,t)=12Ο€β„βˆ«βˆ’βˆž+∞Ψn(x,t) eβˆ’ipx/ℏ dx\tilde\Psi_n(p,t) = \frac{1}{\sqrt{2\pi\hbar}}\int_{-\infty}^{+\infty}\Psi_n(x,t)\,e^{-ipx/\hbar}\,\mathrm dx

With N=2/aN = \sqrt{2/a} the prefactor tidies to 1/πℏa1/\sqrt{\pi\hbar a}, and the wave function’s vanishing outside the box again truncates the range:

Ξ¨~n(p,t)=1πℏa eβˆ’iEnt/β„βˆ«0aeβˆ’ipx/ℏsin⁑knx dx\tilde\Psi_n(p,t) = \frac{1}{\sqrt{\pi\hbar a}}\,e^{-iE_nt/\hbar}\int_0^a e^{-ipx/\hbar}\sin k_nx\,\mathrm dx

The remaining integral is elementary once the sine is written as exponentials:

sin⁑knx=e+iknxβˆ’eβˆ’iknx2i\sin k_nx = \frac{e^{+ik_nx} - e^{-ik_nx}}{2i}

which turns it into two ordinary exponential integrals β€” one peaked near p=+ℏknp = +\hbar k_n, the other near p=βˆ’β„knp = -\hbar k_n.

Figure 3.3

Fig. 3.3 β€” position and momentum densities for the box

position β€” |Ξ¨(x)|Β²

-0.500.51.01.500.51.01.52.0position (units of a)probability density

momentum β€” |Ξ¨Μƒ(p)|Β²

-6-4-2024600.10.20.30.4momentum (units of Δ§Ο€/a)probability density
Ξ”x 0.1808
Ξ”p 3.1368
Ξ”xΒ·Ξ”p / Δ§ 0.5670 β‰₯ 0.5

Ξ”p = nΟ€Δ§/a = 3.142, peaks at p = Β±nΔ§Ο€/a = Β±1, Ξ”x = a√(1/12 βˆ’ 1/2n²π²) = 0.1808

Eq. (3.22) with a = 1. For n = 1 the particle is most likely mid-box and its most likely momentum is zero. For n = 3 there are three position peaks β€” at a/6, a/2 and 5a/6 β€” and TWO momentum peaks, near p = Β±3Δ§Ο€/a (the exact maxima sit at Β±2.79; see the page). A high-n state is roughly a particle rattling between the walls with two possible momenta, Β±nΔ§Ο€/a. The Ξ”p readout comes from a central-difference derivative on a 900-point grid, so it lands a few parts in a thousand below the exact nΟ€Δ§/a printed above it β€” the gap is the discretization, not the physics.

The book's axes exactly: a position of 1 means x = a, and a momentum of 1 means p = Δ§Ο€/a. Set n = 1 and n = 3 for the book's four panels. The area under every curve is 1 β€” the particle is certainly somewhere, and certainly has some momentum.

Reading the two states off the figure:

n=1n = 1. One position peak, at x=a/2x = a/2: the most likely place to find the particle is the middle of the box. The momentum density is a single hump centred on zero, so the most likely momentum is zero β€” which is only sensible for something that is going nowhere on average, but note it does not mean the particle is at rest. Ξ”p\Delta p is large; it is ⟨p⟩\langle p\rangle that vanishes, by symmetry.

n=3n = 3. Three position peaks, at x=a/6x = a/6, a/2a/2 and 5a/65a/6 β€” the maxima of sin⁑2(3Ο€x/a)\sin^2(3\pi x/a). But two momentum peaks, near p=Β±3ℏπ/ap = \pm3\hbar\pi/a. Three humps in position, two in momentum: there is no reason for the counts to match, because the two pictures are transforms of each other, not two views of one trajectory.

Phillips draws the moral: a state with a high nn can be roughly pictured as a particle trapped between the walls with two possible momenta, p=βˆ’nℏπ/ap = -n\hbar\pi/a and p=+nℏπ/ap = +n\hbar\pi/a. It is the closest thing to a classical picture the chapter permits β€” a ball bouncing between two walls, going left half the time and right half the time.

Where this leaves us

One wave function, two densities, and no extra assumptions: ∣Ψ∣2|\Psi|^2 answers β€œwhere?” and ∣Ψ~∣2|\tilde\Psi|^2 answers β€œhow fast?”, and they are Fourier transforms of one another. That single fact is the source of the uncertainty principle β€” not measurement clumsiness, but the impossibility of a function and its transform both being narrow.

What is still missing is a way to get numbers out β€” an average position, an average momentum, a spread β€” without plotting a density and squinting at it. Β§3.5 supplies it, and in doing so introduces the object that runs the rest of the book: the operator.

Check yourself

0 / 7 answered

  1. 1.Where does the momentum information in a wave function come from?

  2. 2.Why is better described as a theorem than as a measurement limitation?

  3. 3.For the box eigenstate, what fixes ?

  4. 4.The box state has three peaks in but only two in . Why don't the counts match?

  5. 5.The book says the most likely momenta for are . What does the exact transform actually give?

  6. 6.The broadening of those momentum peaks has a familiar name in signal processing. Which, and where does the analogy stop?

  7. 7.For the box ground state, , and for it is . What does that comparison show?