Skip to main content

Quantum core · institution-dependent · Interactive lesson

Δx Δp ≥ ħ/2 and the cost of confinement

Robertson's inequality turns into a number the moment you substitute [x̂, p̂] = iħ. This lesson spends that number: it prices confinement in electronvolts, forces the oscillator's ground state up to ħω/2, and keeps electrons out of the nucleus — while refusing the ΔE Δt usually smuggled in beside it.

UPV-08.04 · Lesson 4 of 9 in this unit. Position is not a completion score.
Starting model: Δx Δp ≥ ħ/2 and the cost of confinementTrial energy of a state of spread σx in the oscillator well: σx across in units of √(ħ/mω), energy up in ħω. Dashed are ⟨T⟩ = σp²/2m falling as 1/σx² and ⟨V⟩ = ½mω²σx² rising; solid is their sum. At σx = 1.20 with σx σp = 0.50 ħ the total is 0.807 ħω, and the open circle marks the lowest that product allows, 0.50 ħω, at σx = 0.71.trial state with σx σp = 0.50 ħ⟨H⟩/ħω solid · ⟨T⟩ and ⟨V⟩ dashed⟨H⟩ = 0.807 ħωσp = 0.42 √(mħω)ħω/2lowest ⟨H⟩ at this product = 0.50 ħω1.0σx / √(ħ/mω) 2.0
Start with a picture. Change the model in the lab below.

Quantum core · institution-dependent. Your university determines the required depth of these quantum topics, including the use of operators, differential equations and computation. Institution-dependent does not automatically mean optional.

1

Build the model

Confine a particle and you buy momentum you cannot refuse.

The key idea

The position–momentum uncertainty relation says that for one prepared state, the standard deviation of x̂ and the standard deviation of p̂ — each read from its own ensemble of identical copies — satisfy σₓ σₚ ≥ ħ/2, whatever the state and whatever the apparatus.

Example. Localise an electron to σₓ = 0.10 nm and σₚ is at least ħ/2σₓ = 5.3 × 10⁻²⁵ kg m s⁻¹, so ⟨p̂²⟩/2m ≥ 1.5 × 10⁻¹⁹ J = 0.95 eV of kinetic energy that no cooling can remove.

The complete physical model and assumptions

Most Robertson bounds you will meet depend on the state; this one does not. Because [x̂, p̂] = iħ is a multiple of the identity rather than a non-trivial operator, ⟨[x̂, p̂]⟩ = iħ in every normalised state, and the general bound σA σB ≥ ½|⟨[Â, B̂]⟩| collapses to a constant floor, σₓ σₚ ≥ ħ/2. That universality is what makes it usable as physics rather than as a slogan, and the use is always the same three-step move: a length you can name bounds σₓ from above, the relation converts that into a lower bound on σₚ, and the variance identity ⟨p̂²⟩ = ⟨p̂⟩² + σₚ² ≥ σₚ² converts that into a lower bound on kinetic energy. A geometric fact has become an energy in joules. Confine an electron to a box of width L and it costs at least ħ²/2mL²; put it in a harmonic well and minimising ⟨Ĥ⟩ against the bound returns ħω/2 exactly, the ground state, with no differential equation solved. What it costs in return is precision. The bound is a floor, and floors are usually not touched: the infinite well's own ground state sits at 0.568ħ, above ħ/2, because saturation demands a Gaussian and no Gaussian vanishes at two walls. And it prices nothing at all about time, because t̂ is not an operator you can put in the commutator.

1Substitute the commutator and the state drops out

Robertson's theorem gives σA σB ≥ ½|⟨[Â, B̂]⟩|, and in general the right-hand side is an expectation value that moves as the state moves. The position–momentum case is the exception. [x̂, p̂] = iħ⋅1̂ is a c-number times the identity, so ⟨[x̂, p̂]⟩ = iħ⟨ψ|ψ⟩ = iħ for every normalised ψ, and the bound reads σₓ σₚ ≥ ħ/2 with no ψ left in it. Compare angular momentum, where [L̂ₓ, L̂y] = iħL̂z: in the state |l, m = 0⟩ the bound reads σLx σLy ≥ 0 and says nothing at all, even though the actual product there is l(l+1)ħ²/2, which is ħ² for l = 1. Notice also what the two σ's are. Both are computed from one state vector — ⟨ψ|x̂²|ψ⟩ − ⟨ψ|x̂|ψ⟩², and likewise for p̂. Testing the inequality means preparing that state twice over and measuring x̂ on one ensemble, p̂ on the other. Nothing in the derivation ever measures both on the same copy.

2Turning a spread into an energy

The bound as written constrains statistics, not energies; one identity converts it. Write ⟨p̂²⟩ = ⟨p̂⟩² + σₚ², drop the first term because it cannot be negative, and you have ⟨T̂⟩ = ⟨p̂²⟩/2m ≥ σₚ²/2m ≥ ħ²/8mσₓ². Every step is an inequality pointing the same way, so the result is a genuine floor and never an estimate that might come out too high. What the chain needs from you is an upper bound on σₓ, and that is geometry rather than quantum mechanics: a density living inside an interval of length L has variance at most L²/4, so σₓ ≤ L/2 and ⟨T̂⟩ ≥ ħ²/2mL². For an electron in L = 0.20 nm that is (1.0546 × 10⁻³⁴)² ÷ (2 × 9.109 × 10⁻³¹ × 4.0 × 10⁻²⁰) = 1.53 × 10⁻¹⁹ J = 0.95 eV. Read the direction carefully: this floor applies to every state in the box, not only the ground state, and it is why holding an electron at atomic size costs of order an electronvolt — the scale of chemistry.

3A floor is not a value: the well never touches it

Compute the well's actual product. Its ground state ψ₁ = √(2/L) sin(πx/L) has ⟨x̂⟩ = L/2 and ⟨x̂²⟩ = L²(1/3 − 1/2π²), so σₓ = L√(1/12 − 1/2π²) = 0.1808 L; and with ⟨p̂⟩ = 0 and ⟨p̂²⟩ = 2mE₁ = π²ħ²/L², σₚ = πħ/L. The product is 0.1808 × π ħ = 0.568ħ, fourteen per cent above the floor, and level n gives ħ√(n²π²/12 − ½), which grows without limit. The reason is a boundary condition. Saturating Robertson requires (p̂ − ⟨p̂⟩)|ψ⟩ = iλ(x̂ − ⟨x̂⟩)|ψ⟩ for real λ, a first-order equation whose only normalisable solutions are Gaussians — and no Gaussian vanishes at x = 0 and x = L. The walls forbid saturation before any integral is done. Nothing about being the ground state makes a state minimum-uncertainty; that is a separate property, taken up in the next topic.

4The oscillator: minimising against the bound is exact

Take Ĥ = p̂²/2m + ½mω²x̂². The ground state of a symmetric potential has definite parity, so ⟨x̂⟩ = ⟨p̂⟩ = 0 and the expectation is built from variances alone: ⟨Ĥ⟩ = σₚ²/2m + ½mω²σₓ². The bound says σₚ cannot fall below ħ/2σₓ, so the best any state of width σₓ can do is E(σₓ) = ħ²/8mσₓ² + ½mω²σₓ². Differentiate: −ħ²/4mσₓ³ + mω²σₓ = 0 gives σₓ = √(ħ/2mω), and substituting back returns ħω/4 from each term, so Eₘᵢₙ = ħω/2. That is not an estimate but the exact ground-state energy, and the reason is the previous section run backwards: the oscillator's ground state is a Gaussian, so it saturates the bound the calculation assumed, while the box's is a sine and leaves a factor π² on the table. For carbon monoxide, ν̃ = 2143 cm⁻¹ gives ω = 4.04 × 10¹⁴ rad s⁻¹ and a zero-point energy of 0.133 eV that survives to absolute zero.

5Confinement as a scale test: who fits inside a nucleus

Because the floor scales as ħ²/mL², it sorts physics by mass and size faster than any model does. Work in ħc = 197.3 MeV fm. Confine anything to a nucleus, σₓ ≤ 5.0 fm, and its momentum spread obeys σₚ c ≥ ħc/(10 fm) = 19.7 MeV. For an electron that dwarfs mₑ c² = 0.511 MeV, so it is ultra-relativistic, E ≈ pc, and its energy scale is about 20 MeV — against β⁻ electrons observed at roughly 1 MeV. Nor could anything hold it: the strong force ignores electrons, leaving only the protons' Coulomb pull, of order 10 MeV at that radius. That is why nuclei contain no electrons: the β electron is created at the decay, n → p + e⁻ + ν̄ₑ. Put a proton in the identical box and the identical 19.7 MeV of momentum spread costs only (19.7)²/(2 × 938) = 0.21 MeV, tiny beside the strong-force well, some 50 MeV deep, that holds nucleons. Same box, same ħ; the mass in the denominator decides.

6Why ΔE Δt is not an instance of this theorem

Robertson takes two operators on one Hilbert space. Time is not one of them: in non-relativistic quantum mechanics t is a parameter labelling which state vector you hold, and Pauli's argument shows it cannot be promoted — a self-adjoint T̂ with [T̂, Ĥ] = iħ would make exp(iεT̂/ħ) shift every energy eigenvalue by ε, forcing the spectrum of Ĥ to fill the whole real line and destroying any ground state. There is simply nothing to substitute. Two true statements wear the name instead. Mandelstam–Tamm: for any observable Â, σH ⋅ σA/|d⟨Â⟩/dt| ≥ ħ/2, a bound on how long an expectation value takes to move by one of its own standard deviations. And the spectral one: an amplitude decaying as exp(−t/2τ) has a Lorentzian transform of width Γ = ħ/τ. Hydrogen's 2p level lives 1.6 ns, so Γ = 4.1 × 10⁻⁷ eV, about 100 MHz on a 2.47 × 10¹⁵ Hz line. Both are proved on their own terms; neither is σₓ σₚ ≥ ħ/2 in disguise.

2

Key equations

Read the units, assumptions and limits before substituting.

The canonical case of Robertson's bound

σₓ σₚ ≥ ½ |⟨[x̂, p̂]⟩| = ħ/2

The commutator is a c-number, so the right-hand side is the same in every state — unlike σLx σLy, which this same bound lets vanish in |l, 0⟩.

σₓ in m, σₚ in kg m s⁻¹, ħ = 1.0546 × 10⁻³⁴ J s, so the floor is 5.27 × 10⁻³⁵ J s

From a confinement length to an energy floor

⟨T̂⟩ = ⟨p̂²⟩/2m ≥ σₚ²/2m ≥ ħ²/(8m σₓ²)

The working form of the whole topic: name a length the particle is held inside, and read off an energy nothing can go below.

⟨T̂⟩ in J, σₓ in m, m in kg; uses ⟨p̂²⟩ = ⟨p̂⟩² + σₚ² and ⟨p̂⟩² ≥ 0

Particle in a box of width L

σₓ ≤ L/2 ⇒ ⟨T̂⟩ ≥ ħ²/(2mL²)

A rigorous floor sitting a factor π² below the exact ground state π²ħ²/2mL² — right scaling, honest slack, no wavefunction used.

Popoviciu: any density supported on an interval of length L has variance at most L²/4

Zero-point energy by minimising the bound

E(σₓ) = ħ²/8mσₓ² + ½mω²σₓ², Eₘᵢₙ = ħω/2 at σₓ = √(ħ/2mω)

Returns the exact oscillator ground state from an inequality, because that state really is a Gaussian and saturates it.

ω in rad s⁻¹; at the minimum the two terms are equal at ħω/4 each — the virial split of a quadratic well

How far above the floor a real state sits

σₓ σₚ = ħ √(n²π²/12 − ½) (infinite well, level n)

Separates the theorem's floor from a state's actual product — quoting ħ/2 as a value is wrong for every state but a Gaussian.

n = 1 gives 0.568ħ and n = 2 gives 1.670ħ; the product grows without limit as n rises

Energy–time is a separate theorem

σH ⋅ σA/|d⟨Â⟩/dt| ≥ ħ/2 and Γ τ = ħ for a decaying level

Mandelstam–Tamm bounds how fast ⟨Â⟩ can move. There is no time operator, so it is proved separately, not read off Robertson.

Γ is the FWHM linewidth; with ħ = 6.582 × 10⁻¹⁶ eV s, τ = 1.6 ns gives Γ = 4.1 × 10⁻⁷ eV
3

Interactive lab

Predict first. Explore the model. Compare the result.

Explore the model

1.20
0.3 to 2; steps of 0.05.
0.50
0.5 to 2; steps of 0.05.

Try this. Leave the product at its floor 0.50 ħ and drag σx to 0.70, the step nearest √q: the solid curve bottoms out at 0.500 ħω, the true ground state. Now raise the product to 1.00 ħ and no width recovers it — the lowest ⟨H⟩ a state with that product can reach is just σx σp times ω.

Live results

MOMENTUM SPREAD σp
0.42 √(mħω)
KINETIC ⟨T⟩
0.087 ħω
TOTAL ⟨H⟩
0.807 ħω
FLOOR ON ⟨H⟩ = σxσp ω
0.50 ħω

Results follow this lesson’s model and assumptions. Displayed values are rounded.

Interactive Physics V modelTrial energy of a state of spread σx in the oscillator well: σx across in units of √(ħ/mω), energy up in ħω. Dashed are ⟨T⟩ = σp²/2m falling as 1/σx² and ⟨V⟩ = ½mω²σx² rising; solid is their sum. At σx = 1.20 with σx σp = 0.50 ħ the total is 0.807 ħω, and the open circle marks the lowest that product allows, 0.50 ħω, at σx = 0.71.trial state with σx σp = 0.50 ħ⟨H⟩/ħω solid · ⟨T⟩ and ⟨V⟩ dashed⟨H⟩ = 0.807 ħωσp = 0.42 √(mħω)ħω/2lowest ⟨H⟩ at this product = 0.50 ħω1.0σx / √(ħ/mω) 2.0
Trial energy of a state of spread σx in the oscillator well: σx across in units of √(ħ/mω), energy up in ħω. Dashed are ⟨T⟩ = σp²/2m falling as 1/σx² and ⟨V⟩ = ½mω²σx² rising; solid is their sum. At σx = 1.20 with σx σp = 0.50 ħ the total is 0.807 ħω, and the open circle marks the lowest that product allows, 0.50 ħω, at σx = 0.71.

Predict → change one variable → check

Plan a change before running it. Every other input stays at the saved baseline.

Saved baseline. Position spread σx / √(ħ/mω): 1.20; Uncertainty product σx σp / ħ: 0.50

Baseline 1.20; choose 0.3 to 2, in steps of 0.05.
4. Compared with the saved baseline, this result will…

This experiment is kept only while this page is open. It does not change saved course progress.

4

Catch the common trap

The relation is not a statement about clumsy apparatus. The story that a photon used to locate an electron kicks it, so measuring x ruins p, describes a real effect and proves a different theorem: σₓ and σₚ in Robertson's derivation are both computed from one state vector before any instrument is chosen, and they are read from two separate ensembles, so no measurement of x̂ ever disturbs a measurement of p̂ in the experiment that tests the bound. A perfect, noiseless apparatus finds exactly the same spreads. Error–disturbance relations do exist — Ozawa's and Branciard's — but they are different inequalities with different content; with Ozawa's state-dependent definitions the naive form ε(Â) η(B̂) ≥ ½|⟨[Â, B̂]⟩| can fail, and neutron-spin and photon-polarisation experiments have violated it. The other half of the error is quoting ħ/2 as a value: it is a floor, touched only by Gaussians, and a state may sit any distance above it.

5

Practice & worked examples

3 authored examples. Make an attempt, then reveal the reasoning one step at a time.

EasyExample 1

An electron is confined to a one-dimensional box of width L = 0.20 nm. Use σₓ σₚ ≥ ħ/2 to find the smallest mean kinetic energy any state in the box can have, then compare it with the exact ground-state energy E₁ = h²/8mL² = 9.40 eV.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 4 steps revealed.

MediumExample 2

Without solving the Schrödinger equation, find the lowest ⟨Ĥ⟩ allowed for Ĥ = p̂²/2m + ½mω²x̂², then evaluate it for carbon monoxide, whose stretching mode absorbs at ν̃ = 2143 cm⁻¹ with reduced mass μ = 6.857 u.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 6 steps revealed.

HardExample 3

Before 1932 the nucleus was supposed to contain electrons, which β⁻ decay then ejected with kinetic energies of order 1 MeV. Test that picture for a nucleus of radius 5.0 fm, then apply the same box to a proton. Take ħc = 197.3 MeV fm, mₑ c² = 0.511 MeV, mₚ c² = 938 MeV, and a strong-force well about 50 MeV deep, felt by nucleons but not by electrons.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 6 steps revealed.

6

Quick check

Select an answer and explain it before checking.

An electron is prepared many times in the ground state of an infinite square well of width L. Position is measured on one batch of identical copies and momentum on another. What is σₓ σₚ?
7

Review & continue

The position–momentum uncertainty relation says that for one prepared state, the standard deviation of x̂ and the standard deviation of p̂ — each read from its own ensemble of identical copies — satisfy σₓ σₚ ≥ ħ/2, whatever the state and whatever the apparatus.

  • Explain the relationship without looking at the equation.
  • Check a sign, a unit and a model assumption in your working.
  • Return to the lab or worked example if a step is still unclear.

Extra challenging questions

Connect several ideas, explore supplied data, and compare your reasoning with a worked solution.