4.8: Heisenberg's Uncertainty Principle
( \newcommand{\kernel}{\mathrm{null}\,}\)
Consider a real-space Hermitian operator O(x). A straightforward generalization of Eq. (193) yields
∫∞−∞ψ∗1(Oψ2)dx=∫∞−∞(Oψ1)∗ψ2dx
where ψ1(x) and ψ2(x) are general function
Let f=(A−⟨A⟩)ψ, where A(x) is an Hermitian operator, and ψ(x) a general wavefunction. We have
∫∞−∞|f|2dx=∫∞−∞f∗fdx=∫∞−∞[(A−⟨A⟩)ψ]∗[(A−⟨A⟩)ψ]dx
Making use of Eq. (222), we obtain
∫∞−∞|f|2dx=∫∞−∞ψ∗(A−⟨A⟩)2ψdx=σ2A
where σ2A is the variance of A [see Eq. (160)]. Similarly, if g=(B−⟨B⟩)ψ, where B is a second Hermitian operator, then
∫∞−∞|g|2dx=σ2B
Now, there is a standard result in mathematics, known as the Schwartz inequality, which states that
|∫baf∗(x)g(x)dx|2≤∫ba|f(x)|2dx∫ba|g(x)|2dx
where f and g are two general functions. Furthermore, if z is a complex number then
|z|2=[Re(z)]2+[Im(z)]2≥[Im(z)]2=[12˙1(z−z∗)]2
Hence, if z=∫∞−∞f∗gdx then Eqs. (224)-(227) yield
σ2Aσ2B≥[12i(z−z∗)]2
However,
z=∫∞−∞[(A−⟨A⟩)ψ]∗[(B−⟨B⟩)ψ]dx=∫∞−∞ψ∗(A−⟨A⟩)(B−⟨B⟩)ψdx
where use has been made of Eq. (222). The above equation reduces to
z=∫∞−∞ψ∗ABψdx−⟨A⟩⟨B⟩
Furthermore, it is easily demonstrated that
z∗=∫∞−∞ψ∗BAψdx−⟨A⟩⟨B⟩
Hence, Eq. (228) gives
σ2Aσ2B≥(12i⟨[A,B]⟩)2
where
[A,B]≡AB−BA
Equation (232) is the general form of Heisenberg's uncertainty principle in quantum mechanics. It states that if two dynamical variables are represented by the two Hermitian operators A and B , and these operators do not commute (i.e., AB≠BA ), then it is
impossible to simultaneously (exactly) measure the two variables. Instead, the product of the variances in the measurements is always greater than some critical value, which depends on the extent to which the two operators do not commute.
For instance, displacement and momentum are represented (in real-space) by the operators x and p≡−iℏ∂/∂x, respectively. Now, it is easily demonstrated that
[x,p]=iℏ
Thus,
σxσp≥ℏ2
which can be recognized as the standard displacement-momentum uncertainty principle (see Sect. 3.14). It turns out that the minimum uncertainty (i.e., σxσp=ℏ/2) is only achieved by Gaussian wave packets (see Sect. 3.12): i.e.,
ψ(x)=e+ip0x/ℏ(2πσ2x)1/4e−(x−x0)2/4σ2xϕ(p)=e−ipx0/ℏ(2πσ2p)1/4e−(p−p0)2/4σ2p
where ϕ(p) is the momentum-space equivalent of ψ(x).
Energy and time are represented by the operators H≡iℏ∂/∂t and t, respectively. These operators do not commute, indicating that energy and time cannot be measured simultaneously. In fact,
[H,t]=iℏ
so
σEσt≥ℏ2
This can be written, somewhat less exactly, as
ΔEΔt≳ℏ
where ΔE and Δt are the uncertainties in energy and time, respectively. The above expression is generally known as the energy-time uncertainty principle.
For instance, suppose that a particle passes some fixed point on the -axis. Since the particle is, in reality, an extended wave packet, it takes a certain amount of time Δt for the particle to pass. Thus, there is an uncertainty, Δt, in the arrival time of the particle. Moreover, since E=ℏω, the only wavefunctions which have unique energies are those with unique frequencies: i.e., plane waves. Since a wave packet of finite extent is made up of a combination of plane waves of different wavenumbers, and, hence, different frequencies, there will be an uncertainty ΔE in the particle's energy which is proportional to the range of frequencies of the plane waves making up the wave packet. The more compact the wave packet (and, hence, the smaller Δt) , the larger the range of frequencies of the constituent plane waves (and, hence, the large ΔE), vice versa. To be more exact, if ψ(t) is the wavefunction measured at the fixed point as a function of time, then we can write
ψ(t)=1√2πℏ∫∞−∞χ(E)e−iEt/ℏdE
In other words, we can express ψ(t) as a linear combination of plane waves of definite energy E. Here, χ(E) is the complex amplitude of plane waves of energy E in this combination. By Fourier's theorem, we also have
χ(E)=1√2πℏ∫∞−∞ψ(t)e+iEt/ℏdt
For instance, if ψ(t) is a Gaussian then it is easily shown that χ(E) is also a Gaussian: i.e.,
ψ(t)=e−iE0t/ℏ(2πσ2t)1/4e−(t−t0)2/4σ2tχ(E)=e+iEt0/ℏ(2πσ2E)1/4e−(E−E0)2/4σ2E
where σEσt=ℏ/2. As before, Gaussian wave packets satisfy the minimum uncertainty principle σEσt=ℏ/2. Conversely, non-Gaussian wave packets are characterized by σEσt>ℏ/2.