Heisenberg uncertainty relation (source code)

= Heisenberg uncertainty relation
{c}
{title2=$\Delta x\,\Delta p\geq\hbar/2$}

= Heisenberg uncertainty principle
{c}
{synonym}

The <Heisenberg uncertainty relation> constrains the <standard deviations> of <position> and <momentum> in one preparation:
$$
\Delta x\,\Delta p\geq\frac{\hbar}{2}.
$$
On the real line, the <position operator> $x$ acts by multiplication, and the <momentum operator> is $p=-i\hbar\,d/dx$, with $\hbar$ the reduced <Planck constant>. Their <canonical commutation relation> $[x,p]=i\hbar I$ and the <Robertson uncertainty principle> give the bound on normalized <quantum states> satisfying the moment and product-domain assumptions above; <Schwartz functions> are a convenient sufficient class. Thus making a preparation more sharply localized in <position> forces a wider <momentum> distribution, even for ideal <measurement in quantum mechanics>.

An explicit saturating example is the normalized <Gaussian wave packet>, for $\sigma>0$,
$$
\psi_\sigma(x)=(2\pi\sigma^2)^{-1/4}\exp\!\left(-\frac{x^2}{4\sigma^2}\right),\qquad |\psi_\sigma(x)|^2=\frac{1}{\sqrt{2\pi}\sigma}\exp\!\left(-\frac{x^2}{2\sigma^2}\right).
$$
The <wavefunction> is a <probability amplitude>; its squared magnitude is the <probability density function>, by the <Born rule>. That density is a <normal distribution> of mean zero and <standard deviation> $\Delta x=\sigma$, rather than a density whose width is read directly from the amplitude's exponent. With the unitary, negative-exponent convention for the <Fourier transform>, its <momentum> amplitude is
$$
\widetilde\psi_\sigma(p)=\frac{1}{\sqrt{2\pi\hbar}}\int_{-\infty}^{\infty}e^{-ipx/\hbar}\psi_\sigma(x)\,dx=\left(\frac{2\sigma^2}{\pi\hbar^2}\right)^{1/4}\exp\!\left(-\frac{\sigma^2p^2}{\hbar^2}\right).
$$
The <Gaussian integral> evaluates this <Fourier transform>. Consequently $|\widetilde\psi_\sigma(p)|^2$ is another <normal distribution>, with mean zero and <standard deviation>
$$
\Delta p=\frac{\hbar}{2\sigma},\qquad \Delta x\,\Delta p=\frac{\hbar}{2}.
$$
For example, in dimensionless units with $\hbar=1$, $\sigma=1/2,1,2$ give $(\Delta x,\Delta p)=(1/2,1),(1,1/2),(2,1/4)$. The <Gaussian wave packets> all saturate the same bound: narrowing one density broadens the other. More precisely, choose a reference length $L$ and set $X=x/L$, $P=pL/\hbar$; then $[X,P]=iI$, and the plotted widths are $\sigma/L$ and $L\Delta p/\hbar$.

\Image[/gaussian-position-momentum-uncertainty.png]
{title=Position and momentum probability densities for three minimum-uncertainty Gaussian preparations: dimensionless widths 0.5, 1, and 2 in position give reciprocal momentum widths 1, 0.5, and 0.25}

The <Heisenberg uncertainty relation> connects localization to the cost in <kinetic energy>. In a <quantum harmonic oscillator> with <mass> $m>0$ and <angular frequency> $\omega>0$, the <variance> contribution to the <expectation value> of the <energy> is bounded using the <arithmetic-geometric mean inequality>:
$$
\frac{(\Delta p)^2}{2m}+\frac{m\omega^2(\Delta x)^2}{2}\geq\omega\Delta x\,\Delta p\geq\frac{\hbar\omega}{2}.
$$
The mean-dependent contributions are nonnegative. The <Gaussian eigenstate for a quadratic potential> with $\sigma^2=\hbar/(2m\omega)$ and zero means reaches this <ground state> energy. This is why the tradeoff is more than a limitation on preparation: it predicts an unavoidable positive minimum <energy>.

Heisenberg's original article appeared in March 1927 as "Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik", Zeitschrift für Physik 43, pp. 172–198. Its abstract discusses simultaneous imprecision of canonically conjugate quantities and explanatory thought experiments. The precise <standard deviation> formulation here distinguishes preparation spreads from a slogan about measurement disturbance. https://doi.org/10.1007/BF01397280[W. Heisenberg, original 1927 article and publisher metadata]{ref}.