Momentum-Space Wavefunction
Ask "where is the particle?" and quantum mechanics hands you : square it, and you have the odds for every position. But a diffraction experiment never asks where. A far-field detector, a time-of-flight spectrometer, a recoil-ion microscope — all of them ask how fast, and which way, and the honest answer to that question is a second wavefunction. The momentum-space wavefunction describes the very same state, with Born's rule intact: is the probability that a momentum measurement lands in . Momentum Operator promised you this article. There you learned that has plane-wave eigenfunctions, and you saw a preview of the "second home" they open up. Here the preview is cashed in full: the transform pair connecting and , Plancherel's guarantee that probability totals to one in either language, the famous Gaussian transform pair worked to the last constant — the calculation that saturates — and the operator dictionary that makes trivial and a derivative when you switch sides. The payoff is a habit of mind as much as a technique: one state, two complete descriptions, the way a melody is one object whether written as notes in time or as a frequency spectrum. Learn to hop between them and half of quantum mechanics gets easier — free evolution turns diagonal, uncertainty becomes bookkeeping, and the experiments that measure momentum finally have a wavefunction that speaks their language.
- The momentum-space wavefunction is the Fourier transform of ; the inverse transform recovers exactly. Same state, two languages.
- Born's rule applies unchanged: is the probability of finding momentum in , just as works for position.
- Plancherel's theorem guarantees for the chosen unitary Fourier-transform convention: normalize once, and both representations agree.
- A Gaussian transforms into a Gaussian with reciprocal width — the unique shape that saturates .
- In momentum space the operators swap costumes: becomes plain multiplication by , while .
- Expectation values computed in either representation agree number for number — the physics is representation-free.
- Key idea: and are Fourier-transform partners — two coordinate representations of one quantum state — and is the probability density for momentum exactly as is for position.
and are Fourier-transform partners — two coordinate representations of one Hilbert-space vector — and is the probability density for momentum exactly as is for position.
Where this lives today
Momentum distributions are measured, not just computed. In COLTRIMS reaction microscopes, an ionized atom's charged fragments are steered by weak fields onto time- and position-sensitive detectors, and the machine reconstructs each particle's full momentum vector, event by event. The accumulated momentum distribution samples and can be used to study electron dynamics such as tunnelling and rescattering within an optical cycle. Electron-momentum spectroscopy can similarly probe bound electrons: in a coincidence knockout experiment, detecting both outgoing electrons allows their momenta to be reconstructed, providing information about the initial bound-state momentum distribution. Measured momentum profiles of atomic orbitals are compared directly against computed — a wavefunction-level test of quantum chemistry, conducted in the language this article just taught you.
The physical picture
Think of as a piece of music written out note by note in time, and as the same music written as a frequency spectrum. Neither is "the real song" — each contains the whole of it, and either can be reconstructed perfectly from the other. What the spectrum makes obvious (which pitches are present) the score hides, and vice versa. Quantum states work the same way: displays location at a glance, displays motion, and the Fourier transform is the translation between them.
The picture to hold on to: one arrow, two coordinate grids. A vector does not change when you switch from Cartesian to polar coordinates; only its components do. and are the components of one state vector along two basis families — position spikes and plane waves. Squeeze the position components into a spike and the momentum components must spread out, because a sharp position state requires a broad range of momenta: the bandwidth theorem of Fourier analysis, with setting the scale. There is also a direct experimental reading. Let a localized state fly freely for a long time and each momentum component travels a distance proportional to its momentum: fast components end up farther away, slow components nearby. After a sufficiently long flight, the position distribution can therefore provide a magnified image of the initial momentum distribution — the basic principle behind time-of-flight measurements of .
The transform pair
The plane waves are eigenfunctions of the momentum operator — their role was established in Momentum Operator — and they form a complete, delta-normalized basis. Expanding a state over that basis, with de Broglie's setting the scale, gives the coefficient function its own name:
where: — the amplitude for momentum , obtained by projecting onto the plane wave of that momentum; ; the prefactor is chosen symmetrically so that the pair below runs in both directions without stray constants. Read it as a questionnaire: for each , the integral asks how much of that plane wave is present in . The transform inverts exactly — nothing is lost in translation:
where: the exponent's sign flips between (1) and (2) — a convention, but load-bearing once chosen (it fixes the sign in the operator dictionary below). The proof that (2) undoes (1) is the delta-function collapse of a double integral, worked in full in wavenumber language in Wave Packets and Their Construction; this article inherits the result. One bookkeeping bridge, because you will meet both conventions. Packet-building articles often work with the wavenumber amplitude ; the two are one object in different units:
where: the is the Jacobian of split symmetrically, so that — both densities carry total probability 1 in their own variable. Forgetting this factor is the most common way to lose an in a momentum-space calculation.
Born's rule in the second language
Why call a wavefunction at all? Because the statistical interpretation of Born Statistical Interpretation carries over verbatim. The probability that a momentum measurement returns a value in is
where: — the momentum probability density, with SI units of , exactly parallel to carrying units of . A narrow distribution corresponds to a well-collimated, nearly monochromatic particle beam; a broad distribution means that the state contains a wider range of possible momenta. For this to be consistent, total probability must not depend on which language you compute it in. It does not — that is Plancherel's theorem:
where: the first equality is the substance — the Fourier transform preserves the norm, i.e. it is a unitary change of basis. The proof is the delta-collapse owned by Wave Packets and Their Construction in -units; equation (5) restates that result in physical momentum units via the bridge (3). Normalize once, in either language, and you are normalized forever in both — time evolution preserves the norm too, by Conservation of Normalization. Which language should you compute in? A rule of thumb worth a table:
| task | better language | why |
|---|---|---|
| position statistics, local potentials | acts by multiplication there | |
| momentum statistics, collimation, diffraction | the answer is read directly | |
| free-particle time evolution | each amplitude just rotates in phase — no mixing (packet story: Free Particle and Wave Packets, Wave Packet Spreading and Dispersion) | |
| uniform force | makes it first-order — momentum-representation craft, developed in the Formalism chapter |
The Gaussian pair, worked to the end
This is the calculation the whole chapter has been pointing at: take the minimum-uncertainty shape, transform it honestly, and watch the reciprocity come out exact.
We are computing the momentum-space wavefunction of the normalized Gaussian , for which the position spread is , and extracting the exact uncertainty product. The strategy is the classic complete-the-square move: fold the plane-wave phase into the exponent. The remaining integral is then a standard Gaussian integral. Watch two things: the complex shift of the integration variable (harmless, by contour deformation, but it deserves its one-line justification), and the way the width of the result comes out inverted — that inversion is the uncertainty principle being born.
Step 1. Set up the transform. Insert into definition (1):
Why: the momentum wavefunction is a projection of the state onto each plane wave in turn; for a Gaussian this projection can be done in closed form.
Step 2. Complete the square in the exponent:
Why: this is the standard Gaussian-integral move — all the -dependence is now in the last term, outside the squared bracket.
Step 3. Do the Gaussian integral. Shifting moves the integration path off the real axis, but the integrand is analytic and dies at infinity, so the contour slides back with no change: the integral is regardless of the shift. Collecting all constants:
Why: a Gaussian transforms into a Gaussian — it is the shape that is its own Fourier partner, which is precisely what lets it make both spreads small at once.
Step 4. Read off the widths and multiply. Comparing with the standard forms and :
Why: the widths are reciprocal — squeezing the position-space Gaussian broadens the momentum-space Gaussian in inverse proportion. The general inequality is stated in Standard Deviation and Quantum Uncertainty and proved in full in the Formalism chapter's Generalized Uncertainty Principle; this Gaussian saturates the bound. *As a check: the result is correctly normalised — — and returns , , product , confirming the saturation.*
The operator dictionary
Once both languages exist, every operator must have a word in each. The momentum operator's entry is the whole point of the momentum basis: acting on the expansion (2), differentiates only the kernel, pulling down exactly . So in momentum space is bare multiplication. The surprise is the mirror entry for position:
where: the sign on is the mirror image of , and it is fixed by the sign convention of the transform pair (1)–(2), not by taste. The two representations are perfect duals: whichever variable you represent by multiplication, its partner becomes times a derivative.
Go deeper · Derivation B · 1 minWhy position becomes a derivative in momentum space
We are deriving the momentum-space representation of , sign included — the classic place to slip. The strategy: write the position-space matrix element of , trade the factor for a derivative of the plane-wave kernel with respect to , and pull the derivative outside the integral. The one subtlety is which exponent appears: the forward transform (1) carries , and differentiating that kernel with respect to produces times the kernel — so recovering a bare costs a factor .
Step 1. Act with (multiplication by ) inside the forward transform:
Why: this is by definition the momentum-space wavefunction of the state — the object we want to express through alone.
Step 2. Trade for a -derivative of the kernel:
Why: differentiating with respect to brings down ; multiplying by isolates the bare . Check the sign here every time — with the opposite kernel convention the sign flips.
Step 3. Pull the derivative outside the -integral (legitimate because the integral converges uniformly for physical states):
Why: the bracket is nothing but the definition of — so the operator has become acting on the momentum-space wavefunction. *As a check: for a Gaussian centred at , the expectation value exactly, while the wrong sign returns — confirming that the sign is load-bearing.*
The dictionary would be useless if the two languages could disagree about a measurable number. They cannot:
Go deeper · Derivation C · 1 minSame numbers from either language
We are proving that expectation values are representation-independent: the momentum moments computed in position space, , equal the weighted averages . The strategy: expand each through the inverse transform (2) and let plane-wave orthogonality — the delta identity established in Wave Packets and Their Construction — collapse the double momentum integral. This theorem makes "one state, two languages" more than a slogan: every prediction comes out identical.
Step 1. Write the position-space matrix element with both factors expanded:
Why: each derivative acts only on the plane-wave kernel, and each application pulls down one factor of : — the eigenvalue credential of the plane waves doing its job.
Step 2. Do the -integral first. The remaining integral is the standard Fourier representation of the Dirac delta function:
Why: this is the plane-wave orthogonality relation — the continuous analogue of an orthonormal basis, quoted from its chapter owner rather than re-derived.
Step 3. Collapse the double integral with the delta:
Why: the delta forces , and the matrix element becomes a plain average of over the momentum probability density — Born's rule (4) in action. *As a check: for a Gaussian boosted to momentum , both the position-space and momentum-space routes give and exactly; the mirror calculation of on a shifted Gaussian likewise agrees via .*
Limiting cases
| case | result | meaning |
|---|---|---|
| position spike | , flat | perfect localization means total momentum ignorance — every momentum equally likely |
| momentum eigenstate | one plane wave: definite momentum, no location; delta-normalized ideal, not a physical state (the non-normalizability verdict is Free Particle and Plane Waves') | |
| Gaussian of width | exactly | the unique minimum-uncertainty shape; both spreads finite, product pinned |
| width | spike at | an ever-flatter approaches a momentum eigenstate from inside Hilbert space |
| free flight, any state | with no force, each momentum amplitude only rotates in phase; the packet-level consequences are owned by Wave Packet Spreading and Dispersion |
Worked examples
Example 1 — reading a momentum-space wavefunction (confidence builder). A beam source produces electrons in a Gaussian momentum state centred at with spread . Find the probability that a momentum measurement lands within of , the mean kinetic energy, and the tightest position spread this beam could have.
Step 1. The probability is a direct Born-rule read of the Gaussian density: — the familiar 68.3% one-sigma rule, applied to momentum.
Step 2. The mean kinetic energy averages over , and picks up the spread: . The naive undershoots by — the momentum spread carries real kinetic energy.
Step 3. The uncertainty bound sets the best possible localization: , with equality only for the exact Gaussian pair. Any other shape with this is more spread out in position.
Example 2 — the box state translated into momentum language (exam level). An electron sits in the ground state of an infinite square well of width (spectrum and eigenfunctions quoted from Infinite Square Well). Find , verify it against the well's known momentum spread, and compute the probability that .
Step 1. Transform on through definition (1). The integral is elementary (two exponentials), and with the density comes out as
a single central hump. At — corresponding to the classical momentum magnitude — the apparent pole is cancelled by the zero of the cosine, leaving the finite value . The ground state's momentum distribution is one smooth hump centred at zero, not two bouncing spikes.
Step 2. Moments check. Numerically and , exactly as required by . Since , — the same result obtained from the position-space treatment in Momentum Operator and Infinite Square Well. Three routes, one answer.
Step 3. Born's rule in : integrating the density over the window gives — eerily close to a Gaussian's 68.3% one-sigma content, though this distribution is no Gaussian. Widening to (the first true zeros of ) captures 99.5%: the well's ground state is, in momentum language, essentially one soft lobe.
Origins · 1 minNorbert Wiener and how this was discovered
Months before Schrödinger's wave mechanics appeared, Max Born spent the winter of 1925–26 at MIT and teamed up with a 31-year-old prodigy who had entered college at eleven: Norbert Wiener. Their joint paper made the first systematic use of operators acting on function spaces to express the new quantum rules — the mathematical move this article lives on, with and trading costumes between representations. Wiener's deeper gift to the subject was making the Fourier side honest: his generalized harmonic analysis (1930) and the Paley–Wiener theorems turned "a function and its transform cannot both be concentrated" from folklore into theorems, tying a function's decay to its transform's smoothness — the very reciprocity that becomes here. The famously absent-minded founder of cybernetics never much cared that his hard analysis had quietly become quantum mechanics' bookkeeping; he was already three fields away.
Going further
References. Griffiths, Introduction to Quantum Mechanics, 3rd ed., §3.4 (momentum space) and §1.5 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 4 & 7 · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., §1.7 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. I, Ch. II & Complement E_II · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 6 The inverse-transform identity rests on ; the Gaussian transform follows by completing the square; for the Gaussian and in general. (CODATA). The box-state momentum density satisfies normalization and numerically.
Builds on: The Wavefunction · Born Statistical Interpretation · Probability Density and Normalization · de Broglie Matter Waves
Leads to: Time-Dependent Schrödinger Equation · Stationary States and Separation of Variables · Wave–Particle Duality
Is Φ(p) just Ψ(x) with p substituted for x?
No — and this is the most common error. comes from the integral transform (1): its value at one momentum depends on at all positions. For the box ground state, is a sine but is a smooth hump. If you catch yourself writing by letter-swapping, stop and transform.
Why does the prefactor have ħ in it — my math course wrote the Fourier transform with just 2π?
Because the conjugate variable here is momentum , not wavenumber. Changing variables produces a Jacobian , split symmetrically as each way — the bridge . Both conventions carry the same physics; the -form makes a probability density per unit momentum, what a spectrometer calibrated in kg·m/s reads.
Which is more fundamental, Ψ(x) or Φ(p)?
Neither. The state is a basis-free vector; and are its components along two bases (position spikes, plane waves). Every measurable number comes out identical either way — exactly what the third derivation proves. Convenience decides: local potentials favour ; free flight and momentum questions favour .
Can I get the average position from the momentum density?
Not from the density alone. , and the derivative acts on the phase of as much as its modulus. Keep only and you have destroyed all position information — the warning box in equation form. Even both densities together do not determine the state.
Does Φ(p) change with time?
It obeys the same Schrödinger equation, rewritten in momentum language. For a free particle the result is spectacular: the Hamiltonian is pure multiplication by , so each amplitude just rotates — — and never changes. The packet-level consequences are developed in Wave Packet Spreading and Dispersion.
The plane waves are not normalizable. How can it be legal to expand over them?
Because the result is normalizable even though the basis elements are not — just as a position spike is not a state, yet integrating over spikes reconstructs any state. Delta-normalization bookkeeping, , makes this systematic; the honest mathematical home for such improper bases is built in the Formalism chapter.