Skip to content

Operators and Observables

4.1 Position and Momentum Operators

In the position representation:

x^=x,p^=ix\hat{x} = x, \quad \hat{p} = -i\hbar\frac{\partial}{\partial x}

These satisfy the canonical commutation relation:

[x^,p^]=i[\hat{x}, \hat{p}] = i\hbar

4.2 General Properties of Hermitian Operators

Hermitian operators have real eigenvalues and orthogonal eigenstates — essential for observables.

Theorem 4.1. If A^\hat{A} is Hermitian, then:

  • All eigenvalues are real.
  • Eigenstates corresponding to distinct eigenvalues are orthogonal.
  • The eigenstates form a complete basis (for the space of physical states).

Proof that eigenvalues are real. Let A^a=aa\hat{A}|a\rangle = a|a\rangle with aa=1\langle a|a\rangle = 1. Then:

aA^a=aaa=a\langle a|\hat{A}|a\rangle = a\langle a|a\rangle = a

Taking the complex conjugate:

aA^a=aA^a=aA^a=a\langle a|\hat{A}|a\rangle^* = \langle a|\hat{A}^\dagger|a\rangle = \langle a|\hat{A}|a\rangle = a^*

Where the second equality uses A^=A^\hat{A} = \hat{A}^\dagger. Therefore a=aa = a^*So aa is real. \blacksquare

Proof that eigenstates are orthogonal. Let A^a=aa\hat{A}|a\rangle = a|a\rangle and A^b=bb\hat{A}|b\rangle = b|b\rangle With aba \neq b:

bA^a=aba\langle b|\hat{A}|a\rangle = a\langle b|a\rangle

bA^a=A^ba=bba=bba\langle b|\hat{A}|a\rangle = \langle\hat{A}b|a\rangle = b^*\langle b|a\rangle = b\langle b|a\rangle

Where the last step uses b=bb^* = b (eigenvalues are real). Therefore:

(ab)ba=0(a - b)\langle b|a\rangle = 0

Since aba \neq bWe must have ba=0\langle b|a\rangle = 0. \blacksquare

Theorem 4.2 (Spectral Theorem). Every Hermitian operator on a finite-dimensional Hilbert space Has a complete orthonormal set of eigenvectors. In infinite dimensions, this holds for Self-adjoint operators with a discrete spectrum; operators with continuous spectra require the Spectral theorem in its general form (resolution of the identity).

4.3 Commutators

The commutator of two operators is [A^,B^]=A^B^B^A^[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}.

Theorem 4.3 (Generalised Uncertainty Principle). For observables A^\hat{A} and B^\hat{B}:

σAσB12[A^,B^]\sigma_A \sigma_B \geq \frac{1}{2}|\langle[\hat{A}, \hat{B}]\rangle|

Corollary 4.4 (Heisenberg Uncertainty Principle). σxσp/2\sigma_x \sigma_p \geq \hbar/2.

Proof. This follows from the generalised uncertainty principle with [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar:

σxσp12i=2\sigma_x \sigma_p \geq \frac{1}{2}|\langle i\hbar \rangle| = \frac{\hbar}{2}

\blacksquare

4.4 Proof of the Generalised Uncertainty Principle

Theorem 4.5 (Robertson-Schrodinger inequality). For any state ψ|\psi\rangle and observables A^\hat{A}, B^\hat{B}:

σA2σB214[A^,B^]2+14{ΔA^,ΔB^}2\sigma_A^2\,\sigma_B^2 \geq \frac{1}{4}|\langle[\hat{A}, \hat{B}]\rangle|^2 + \frac{1}{4}\langle\{\Delta\hat{A}, \Delta\hat{B}\}\rangle^2

Where ΔA^=A^A^\Delta\hat{A} = \hat{A} - \langle\hat{A}\rangle and σA2=ΔA^2\sigma_A^2 = \langle\Delta\hat{A}^2\rangle.

Proof. Define α=(ΔA^+iλΔB^)ψ|\alpha\rangle = (\Delta\hat{A} + i\lambda\Delta\hat{B})|\psi\rangle for a real Parameter λ\lambda. Since αα0\langle\alpha|\alpha\rangle \geq 0:

ψ(ΔA^iλΔB^)(ΔA^+iλΔB^)ψ0\langle\psi|(\Delta\hat{A} - i\lambda\Delta\hat{B})(\Delta\hat{A} + i\lambda\Delta\hat{B})|\psi\rangle \geq 0

=σA2+iλ[ΔA^,ΔB^]+λ2σB20= \sigma_A^2 + i\lambda\langle[\Delta\hat{A}, \Delta\hat{B}]\rangle + \lambda^2\sigma_B^2 \geq 0

This is a quadratic in λ\lambda that is non-negative for all λ\lambdaSo its discriminant must be Non-positive:

([ΔA^,ΔB^])24σA2σB20(\langle[\Delta\hat{A}, \Delta\hat{B}]\rangle)^2 - 4\sigma_A^2\sigma_B^2 \leq 0

Since [ΔA^,ΔB^]=[A^,B^][\Delta\hat{A}, \Delta\hat{B}] = [\hat{A}, \hat{B}] (constants commute with everything):

σA2σB214[A^,B^]2\sigma_A^2\,\sigma_B^2 \geq \frac{1}{4}|\langle[\hat{A}, \hat{B}]\rangle|^2 \qquad \blacksquare

The stronger Robertson-Schrodinger form retains the anticommutator term {ΔA^,ΔB^}2\langle\{\Delta\hat{A}, \Delta\hat{B}\}\rangle^2 Which is always non-negative and provides a tighter bound.

Example 4.1. Show that the uncertainty principle is saturated for the harmonic oscillator ground state.

Solution

For the ground state ψ0(x)=(mω/π)1/4exp(mωx2/(2))\psi_0(x) = (m\omega/\pi\hbar)^{1/4}\exp(-m\omega x^2/(2\hbar)):

x=0,x2=2mω    σx=2mω\langle x \rangle = 0, \quad \langle x^2 \rangle = \frac{\hbar}{2m\omega} \implies \sigma_x = \sqrt{\frac{\hbar}{2m\omega}}

p=0,p2=mω2    σp=mω2\langle p \rangle = 0, \quad \langle p^2 \rangle = \frac{m\omega\hbar}{2} \implies \sigma_p = \sqrt{\frac{m\omega\hbar}{2}}

σxσp=2\sigma_x\,\sigma_p = \frac{\hbar}{2}

This saturates the Heisenberg bound, so the ground state is a minimum uncertainty state (Gaussian).

4.5 Expectation Values

The expectation value of an observable A^\hat{A} in state ψ|\psi\rangle:

A=ψA^ψ=ψA^ψdx\langle A \rangle = \langle \psi | \hat{A} | \psi \rangle = \int \psi^* \hat{A} \psi\, dx

Theorem 4.6 (Ehrenfest”s Theorem). Quantum expectation values obey classical equations of motion:

dx^dt=p^m,dp^dt=Vx\frac{d\langle \hat{x} \rangle}{dt} = \frac{\langle \hat{p} \rangle}{m}, \quad \frac{d\langle \hat{p} \rangle}{dt} = -\left\langle \frac{\partial V}{\partial x}\right\rangle

Proof of Ehrenfest’s Theorem. From the Schrodinger equation:

dA^dt=i[H^,A^]+A^t\frac{d\langle \hat{A} \rangle}{dt} = \frac{i}{\hbar}\langle[\hat{H}, \hat{A}]\rangle + \left\langle\frac{\partial \hat{A}}{\partial t}\right\rangle

For A^=x^\hat{A} = \hat{x} (no explicit time dependence), using [p^2,x^]=2ip^[\hat{p}^2, \hat{x}] = -2i\hbar\hat{p}:

dx^dt=i ⁣[p^22m,x^]=i2i2mp^=p^m\frac{d\langle \hat{x} \rangle}{dt} = \frac{i}{\hbar}\!\left\langle\left[\frac{\hat{p}^2}{2m}, \hat{x}\right]\right\rangle = \frac{i}{\hbar}\cdot\frac{-2i\hbar}{2m}\langle\hat{p}\rangle = \frac{\langle\hat{p}\rangle}{m}

For A^=p^\hat{A} = \hat{p}Using [V(x^),p^]=iV(x^)[V(\hat{x}), \hat{p}] = i\hbar\,V'(\hat{x}):

dp^dt=i[V(x^),p^]=Vx\frac{d\langle \hat{p} \rangle}{dt} = \frac{i}{\hbar}\langle[V(\hat{x}), \hat{p}]\rangle = -\left\langle\frac{\partial V}{\partial x}\right\rangle

\blacksquare

Correspondence principle. Ehrenfest’s theorem embodies the correspondence principle: in the Classical limit (large quantum numbers or 0\hbar \to 0), quantum expectation values follow Classical trajectories. However, this is only exact for linear or quadratic potentials; for general Potentials, V(x)V(x)\langle V'(x) \rangle \neq V'(\langle x \rangle)So quantum corrections persist even For large systems.

4.6 Solving Eigenvalue Equations

To find the eigenvalues and eigenvectors of an operator A^\hat{A}Solve:

A^ϕ=aϕ    det(A^aI^)=0\hat{A}|\phi\rangle = a|\phi\rangle \implies \det(\hat{A} - a\hat{I}) = 0

The roots give the eigenvalues; substituting each back yields the eigenvectors.

Example 4.3. Find the eigenvalues and eigenvectors of S^x=2(0110)\hat{S}_x = \frac{\hbar}{2}\begin{pmatrix}0&1\\1&0\end{pmatrix}.

Solution

det ⁣(2(a11a))=0    a21=0    a=±1\det\!\left(\frac{\hbar}{2}\begin{pmatrix}-a & 1\\1 & -a\end{pmatrix}\right) = 0 \implies a^2 - 1 = 0 \implies a = \pm 1

Eigenvalues are ±/2\pm\hbar/2.

For a=+1a = +1: (1111)(c1c2)=0    c1=c2\begin{pmatrix}-1 & 1\\1 & -1\end{pmatrix}\begin{pmatrix}c_1\\c_2\end{pmatrix} = 0 \implies c_1 = c_2. Normalised: +x=12(11)|+\rangle_x = \frac{1}{\sqrt{2}}\begin{pmatrix}1\\1\end{pmatrix}.

For a=1a = -1: c1=c2c_1 = -c_2. Normalised: x=12(11)|-\rangle_x = \frac{1}{\sqrt{2}}\begin{pmatrix}1\\-1\end{pmatrix}.

These are equal superpositions of the SzS_z eigenstates. Note that measuring SxS_x on a state of Definite SzS_z gives probabilistic outcomes, and vice versa.