Skip to content

Operators and Observables

In the position representation:

x^=x,p^=−iℏ∂∂x\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

Section titled “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⟩=a∣a⟩\hat{A}|a\rangle = a|a\rangle with ⟨a∣a⟩=1\langle a|a\rangle = 1. Then:

⟨a∣A^∣a⟩=a⟨a∣a⟩=a\langle a|\hat{A}|a\rangle = a\langle a|a\rangle = a

Taking the complex conjugate:

⟨a∣A^∣a⟩∗=⟨a∣A^†∣a⟩=⟨a∣A^∣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=a∗a = a^*So aa is real. ■\blacksquare

Proof that eigenstates are orthogonal. Let A^∣a⟩=a∣a⟩\hat{A}|a\rangle = a|a\rangle and A^∣b⟩=b∣b⟩\hat{A}|b\rangle = b|b\rangle With a≠ba \neq b:

⟨b∣A^∣a⟩=a⟨b∣a⟩\langle b|\hat{A}|a\rangle = a\langle b|a\rangle

⟨b∣A^∣a⟩=⟨A^b∣a⟩=b∗⟨b∣a⟩=b⟨b∣a⟩\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:

(a−b)⟨b∣a⟩=0(a - b)\langle b|a\rangle = 0

Since a≠ba \neq bWe must have ⟨b∣a⟩=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).

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σB≥12∣⟨[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σp≥12∣⟨iℏ⟩∣=ℏ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

Section titled “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 σB2≥14∣⟨[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σB2≥0= \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^]⟩)2−4σA2σB2≤0(\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 σB2≥14∣⟨[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).

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:

d⟨x^⟩dt=⟨p^⟩m,d⟨p^⟩dt=−⟨∂V∂x⟩\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:

d⟨A^⟩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^]=−2iℏp^[\hat{p}^2, \hat{x}] = -2i\hbar\hat{p}:

d⟨x^⟩dt=iℏ ⁣⟨[p^22m,x^]⟩=iℏ⋅−2iℏ2m⟨p^⟩=⟨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^]=iℏ V′(x^)[V(\hat{x}), \hat{p}] = i\hbar\,V'(\hat{x}):

d⟨p^⟩dt=iℏ⟨[V(x^),p^]⟩=−⟨∂V∂x⟩\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.

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(−a11−a))=0  ⟹  a2−1=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: (−111−1)(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(1−1)|-\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.