Here I am. This time it took me a while but I think I have, sort of, a justification. I am planning a visiting at the Newcastle University, thus I had loads of paperwork to do and I had very little time to take care of my blog 🙁

Today I will derive the Heisenberg Uncertainty Principle in operatorial form. The target are those students that can’t grasp some steps that, if you are not an expert, may look a bit obscure. As usual, I tried to put and comment as many steps as possible, even the trivial ones.
At the end of the post you will find something interesting about the minimum uncertainty states.

So, this was an assignment for the Quantum Mechanics course. My QM professor reviewed it so I think it should be ok.

Let’s consider a generic state |\psi \rangle and an observable \hat{O} satisfying the following eigenvalues equation:

\hat{O} |o_n\rangle = \lambda_n |o_n \rangle

Since the observable is Hermitian, we can expand | \psi\rangle as follows:

| \psi\rangle = \sum_n {a_n |o_n\rangle}

where |o_n\rangle is the eigenstate of \hat{O} corresponding to the eigenvalue \lambda_n.
According to the measurement postulate, after we measure the observable \hat{O} (in the case that no degeneracy occurs, which means that there are no linearly independent eigenvectors correspondig to the same eigenvalue) given a quantum system in some state | \psi\rangle, as a result we obtain \lambda_n with probability |a_n| ^2. Moreover, right after the measurement, the state of the system collapses in the eigenstate |o_n\rangle.

The expectation value, i.e. the mean value in the long run for repeated measurements of \hat{O} on a set of identically prepared states |\psi \rangle is indicated as follows:

     \begin{align*}\langle \hat{O} \rangle _{\psi} := \langle \psi | \hat{O} | \psi \rangle  = \sum_n {\lambda_n |\langle o_n | \psi \rangle |^2}\end{align*}

where |\langle o_n| \psi \rangle |^2 represents the probability that the output \lambda_n will occur.

The measure of the spread of the results around the expectation value is called the standard deviation or root-mean-square, i.e. :

     \begin{align*}\Delta \hat{O} _{\psi} &:= \sqrt{\langle (\hat{O} - \langle \hat{O} \rangle)^2 \rangle} \nonumber \\ &= \sqrt{\langle \hat{O}^2 \rangle - \langle \hat{O} \rangle ^2} \end{align*}

Commuting Hermitian operators can be measured simultaneously, i.e., given two observables \hat{A} and \hat{B} if [\hat{A},\hat{B}]=\hat{A}\hat{B}-\hat{B}\hat{A}=0 then they share a common set of eigenstates in which both operators have a definite value at the same time; simplifying, we can state that \hat{A} and \hat{B} are simultaneously measurable if the result of measuring \hat{A} and then \hat{B} is the same as the one obtained measuring \hat{B} and then \hat{A}. In this case the observation of one operator does not affect the observation of the other one, hence the order of the measurements doesn’t matter. In the following example we consider two commuting Hermitian operators satisfying the following eigenvalue equations:

     \begin{align*}     \hat{A}|\psi_n\rangle=\alpha _n|\psi_n\rangle \nonumber \\     \hat{B}|\psi_n\rangle=\beta _n|\psi_n\rangle \nonumber \end{align*}

where \{ |\psi _n \rangle \} are a complete set of common eigenstates with respect to the eigenvalues \{\alpha _n\} , \{\beta _n \}.

Measurement of Commuting Observables

Measurement of Commuting Observables


In the above figure we can see an example of measurements of commuting operators while in the following there is represented the measurement of non-commuting operators. Recall that the two outcomes \alpha_n and \alpha_k are not necessarily the same.

Measurement of Non-Commuting Observables

Measurement of Non-Commuting Observables

The \Delta t are taken small enough to preserve the state from changes occuring during the time evolution.
This example can be generalized to deal with more than two observables considering also the case in which degeneracy occurs, i.e. in which we have two or more eigenstates corresponding to the same eigenvalue.

On the contrary, in the case of two operators that do not commute, i.e. their commutator has a non-zero value, it does not exist a complete set of common eigenstates, hence performing a measurement on them simultaneously is not possible. Moreover, the measurement of one operator affects the measurement of the other one, hence the order of the measurements is important.

We will see that the existence of non-commuting observables is at the basis of the Heisenberg’s uncertainty relation and is a quite important physical result.
To derive the uncertainty relation we will use the Schwarz Inequality:

     \begin{align*}         \langle \varphi| \varphi \rangle \langle \psi| \psi \rangle  \geq |\langle \varphi | \psi \rangle |^2         \label{eq: schwarz2} \end{align*}

with equality holding when |\psi \rangle  = \alpha |\varphi \rangle , for any two normalized states |\varphi \rangle, |\psi \rangle in a Hilbert space \mathcal{H}.

At first we will derive the uncertainty relation for a generalized pair of non-commuting Hermitian operators.

Let \hat{A} and \hat{B} be two non-commuting Hermitian operators, i.e. [\hat{A},\hat{B}] \neq 0 . We will prove that the following inequality holds:

(1)   \begin{equation*} \Delta\hat{A} _{\psi} \Delta\hat{B} _{\psi} \geq \frac{1}{2} | \langle [\hat{A},\hat{B}]\rangle _{\psi}| \end{equation*} To make the calculations easier we will express the latter inequality in term of variance, i.e.: \begin{equation*} (\Delta\hat{A})^2 (\Delta\hat{B})^2 \geq \frac{1}{4} | \langle [\hat{A},\hat{B}]\rangle | ^2 \label{eq: uncertainty-easier}\end{equation*}

Proof
Before starting the derivation of the uncertainty relation, we need some extra
definitions.

Let \hat{A}' and \hat{B}' be two non-commuting Hermitian operators defined as follows:

     \begin{align*}\hat{A}' &:= \hat{A} - \langle\hat{A}\rangle \\  \hat{B}' &:= \hat{B} - \langle\hat{B}\rangle \end{align*}

Those observables, when acting on the state |\psi\rangle give, respectively:

     \begin{align*} \hat{A}'|\psi\rangle &:= |\psi _{A'} \rangle \\ \hat{B}'|\psi\rangle &:= |\psi _{B'} \rangle \end{align*}

We can easily verify that the commutator of these operators is equal to the commutator between \hat{A} and \hat{B} :

     \begin{align*} [\hat{A}',\hat{B}'] &= [(\hat{A} - \langle\hat{A}\rangle)(\hat{B} - \langle\hat{B}\rangle)] - [(\hat{B} - \langle\hat{B}\rangle)(\hat{A} - \langle\hat{A}\rangle)] \nonumber\\ %&= \hat{A}\hat{B} - \hat{A}\langle \hat{B} \rangle - \langle \hat{A} \rangle \hat{B} + \langle \hat{A}\rangle\langle \hat{B} \rangle - \hat{B}\hat{A} + \hat{B}\langle \hat{A} \rangle + \langle \hat{B}\rangle \hat{A} - \langle \hat{B}\rangle\langle \hat{A} \rangle \nonumber \\  %&= \hat{A}\hat{B} - \hat{B}\hat{A} \nonumber \\  &= [\hat{A},\hat{B}] \end{align*}

We can write the product between \hat{A}' and \hat{B}' in the following way:

     \begin{align*} \hat{A}'\hat{B}' &= \frac{1}{2} \hat{A}'\hat{B}' + \frac{1}{2} \hat{A}'\hat{B}' + \frac{1}{2} \hat{B}'\hat{A}' - \frac{1}{2} \hat{B}'\hat{A}' \nonumber\\ &= \frac{1}{2} (\hat{A}'\hat{B}' + \hat{B}'\hat{A}') + \frac{1}{2} (\hat{A}'\hat{B}' - \hat{B}'\hat{A}') \nonumber \\  &= \frac{1}{2} \{\hat{A}',\hat{B}'\} + \frac{1}{2} [\hat{A}',\hat{B}'] \end{align*}

This way we have decomposed the above product in an anti-Hermitian part, i.e., [\hat{A}, \hat{B}]^{\dag} = - [\hat{A}, \hat{B}] and in an Hermitian one, i.e., \{\hat{A}, \hat{B}\}^{\dag} = \{\hat{A}, \hat{B}\}.

Now we can give the proof of the following inequality:
 \begin{center}\boxed{ (\Delta\hat{A})^2 (\Delta\hat{B})^2 \geq \frac{1}{4} | \langle [\hat{A},\hat{B}]\rangle | ^2 }\end{center}

     \begin{align*} (\Delta\hat{A})^2 (\Delta\hat{B})^2 &= \langle \psi| (\hat{A} - \langle \hat{A} \rangle) ^2 |\psi\rangle \langle \psi| (\hat{B} - \langle \hat{B} \rangle) ^2 |\psi\rangle \nonumber \\ &= \langle \psi | (\hat{A}') ^2 | \psi \rangle \langle \psi | (\hat{B}') ^2 | \psi \rangle \nonumber \\ &= \langle \psi _{A'}| \psi _{A'} \rangle \langle \psi _{B'}| \psi _{B'} \rangle \label{eq: derivation1} \end{align*}

The last equality follows from the hermiticity of \hat{A}' and \hat{B}'.
Using the Schwarz Inequality we obtain:

     \begin{align*} \langle \psi _{A'}| \psi _{A'} \rangle \langle \psi _{B'}| \psi _{B'} \rangle \geq |\langle \psi _{A'}| \psi _{B'} \rangle|^2 &= |\langle \psi| \hat{A}'\hat{B}'| \psi\rangle | ^2 \nonumber \\ &= |\langle \psi | \frac{1}{2} \{\hat{A}',\hat{B}'\} + \frac{1}{2} [\hat{A}',\hat{B}'] | \psi \rangle |^2 \nonumber \\ &\geq \frac{1}{4} |\langle \psi | [\hat{A}',\hat{B}'] | \psi \rangle |^2 \end{align*}

The decomposition in Hermitian and anti-Hermitian parts implies a decomposition also for the mean values of the product. Moreover, from the hermiticity of \hat{A}' and \hat{B}' it follows that \langle \psi |\{\hat{A}',\hat{B}'\} | \psi \rangle is real, while \langle \psi |[\hat{A}',\hat{B}'] | \psi \rangle is a pure imaginary number (the expectation value of an anti-Hermitian operator is \langle \hat{O}  \rangle =  -\langle \hat{O}\rangle^* ), hence the anti-commutator only strengthens our inequality because the modulus of a complex number is always greater than the modulus of its imaginary part only.
If we substitute this result we can prove that the inequality holds:

     \begin{align*} (\Delta\hat{A})^2 (\Delta\hat{B})^2 &= \langle \psi | (\hat{A}') ^2 | \psi \rangle \langle \psi | (\hat{B}') ^2 | \psi \rangle  \nonumber \\ &\geq \frac{1}{4} |\langle \psi |[\hat{A}',\hat{B}'] | \psi \rangle |^2 = \frac{1}{4} |\langle \psi | [\hat{A},\hat{B}] | \psi \rangle |^2  \end{align*}

Taking the square root of the last inequality we obtain:
 \Delta\hat{A} _{\psi} \Delta\hat{B} _{\psi} \geq \frac{1}{2} | \langle [\hat{A},\hat{B}]\rangle _{\psi}| \\ \qed

Recall that the equality holds when |\psi_{A'} \rangle = k |\psi_{B'}\rangle , and the coefficient [/latex]k[/latex] is a pure imaginary number such that [/latex]k = i \alpha[/latex] with \alpha \in \mathbb{R} . We need k to be purely imaginary due to the fact that the mean value in the right part of the last inequality is purely imaginary and we don’t want any of the considered expectation values to be zero.

We will use this in the following to find the states which minimize the uncertainty.

Uncertainty relations for Position and Momentum operators
Let’s now consider the uncertainty relation for the case in which we take:

    \begin{align*} \hat{A} &= \hat{q} \\ \hat{B} &= \hat{p} \end{align*}

where \hat{q} and \hat{p} are, respectively, the position and momentum operators. We want to prove that the following inequality holds:

     \begin{align*} \Delta\hat{q}\Delta\hat{p} \geq \frac{\hbar}{2} \end{align*}

This case is more interesting than the generalized one since the right part of the inequality does not depend on the state |\psi\rangle of the system.
The commutator between \hat{q} and \hat{p} is:

     \begin{align*} [\hat{q}, \hat{p}] = i \hbar \end{align*}

Substituting such commutator we obtain the following inequality:

     \begin{align*} (\Delta\hat{q})^2 (\Delta\hat{p})^2 \geq \frac{1}{4} |\langle [\hat{q},\hat{p}] \rangle |^2 &= \frac{1}{4} | \langle i \hbar \rangle | ^2  \nonumber \\ &= \frac{\hbar^2}{4} \label{eq: qp} \end{align*}

which implies that the inequality holds.

We can interpret this as a lower bound on the accuracy by which we can know both the position and the momentum of a particle given a state | \psi \rangle. Hence, once the lower bound is reached, the smaller is the variance of the position the higher is the uncertainty for the momentum and vice-versa.

It is possible now to guess which are the minimum uncertainty states for the position and momentum operators. You will find them here together with the wavefunction normalization.

If you want this post + minimum uncertainty states I made a PDF file that you can find here. As usual if you find any error or want to ask any question just write to me. I am happy to improve these little blog and its contents 🙂