Required math: calculus, complex numbers
Required physics: basics of quantum mechanics
Reference: Griffiths, David J. (2005), Introduction to Quantum Mechanics, 2nd Edition; Pearson Education – Sec 3.5.
The uncertainty principle is probably the most famous of the predictions of quantum mechanics, and it is usually known in the specific case of position and momentum: it is impossible to measure both position and momentum exactly at the same time.
In fact, this is just one example of a wider uncertainty principle, which can be derived algebraically. The principle relies on the generalized statistical interpretation of the wave function, which is that, for an operator , the expectation value (that is, the average value over a large (essentially infinite) number of measurements) is given by the integral
where the integral extends over all space (or at least over all space accessible to the system). This integral is the one-dimensional case, but the three-dimensional case is easily written down by integrating over all three spatial coordinates.
This integral is usually written in the bra-ket notation to save space:
Any function placed in the ‘bra’ side (the left part of the bra-ket) is the complex conjugate of what’s written there, while the function in the ‘ket’ side is the unmodified function.
For an observable, the operator is Hermitian, which means that the integral above is equivalent to
Using this principle, we can write down an expression for the variance of an observable. In statistics, the variance is defined as the average of the square of the difference from the mean. That is
Note that here the angle brackets denote the average, as opposed to the bra-ket notation where the angle brackets denote an integral. Averages can be distinguished from bra-kets since in the latter there is always a vertical bar in the middle to separate the bra from the ket.
By assumption, this can be calculated as
where the function is defined by this equation.
Similarly, we can define the variance for another observable :
Using the integral form of the Schwarz inequality (the proof of which would take us too far afield here), we can write
For any complex number , we have
Letting , we can combine this with the Schwarz inequality and get
Now we need to work out the two bra-ket terms in terms of the original operators. Remember that the mean value of an operator is just a number, so it can be taken outside the bra-ket.
By the same argument, we can work out , or we can obtain it merely by switching and in the result above.
Note that is not necessarily the same as since in general the two operators do not commute. In fact, this is nub of the argument, since plugging these results back into the Schwarz inequality we get
In terms of the commutator of the two operators:
we have the generalized uncertainty principle:
Note that since the mean value of a commutator is the difference between a quantity and its complex conjugate , it is always a pure imaginary number with zero real part, so the quantity is always real, and its square is therefore always non-negative (it could be zero if the two operators commute). Thus this inequality says that for any two observable operators that do not commute, there will always be a lower limit on the accuracy with which they can be measured simultaneously.
As an example, we can work out the most fundamental commutator of all: that of position and momentum: and . Since is a differential operator, we need a dummy function for it to operate on.
Thus the commutator on its own is
Plugging this into the uncertainty principle, we get the well-known result
or in terms of the standard deviation (the square root of the variance):
Thus Planck’s constant (divided by ) servers as a lower bound on the accuracy with which position and momentum can be measured at the same time.
Similar relations exist for any pair of observables that don’t commute, and in any attempt to conceptualize a result in quantum mechanics, it must be remembered that any such pair cannot be visualized simultaneously. In the case of angular momentum, for example, any pair of its components does not commute, which means that the three components of angular momentum cannot be visualized, meaning that there is no such thing as a strict angular momentum vector.