In the position representation:
x ^ = x , p ^ = − i ℏ ∂ ∂ x \hat{x} = x, \quad \hat{p} = -i\hbar\frac{\partial}{\partial x} x ^ = x , p ^ = − i ℏ ∂ x ∂
These satisfy the canonical commutation relation :
[ x ^ , p ^ ] = i ℏ [\hat{x}, \hat{p}] = i\hbar [ x ^ , p ^ ] = i ℏ
Hermitian operators have real eigenvalues and orthogonal eigenstates — essential for observables.
Theorem 4.1. If A ^ \hat{A} 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 A ^ ∣ a ⟩ = a ∣ a ⟩ with ⟨ a ∣ a ⟩ = 1 \langle a|a\rangle = 1 ⟨ a ∣ a ⟩ = 1 . Then:
⟨ a ∣ A ^ ∣ a ⟩ = a ⟨ a ∣ a ⟩ = a \langle a|\hat{A}|a\rangle = a\langle a|a\rangle = a ⟨ a ∣ A ^ ∣ a ⟩ = a ⟨ a ∣ a ⟩ = 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^* ⟨ a ∣ A ^ ∣ a ⟩ ∗ = ⟨ a ∣ A ^ † ∣ a ⟩ = ⟨ a ∣ A ^ ∣ a ⟩ = a ∗
Where the second equality uses A ^ = A ^ † \hat{A} = \hat{A}^\dagger A ^ = A ^ † . Therefore a = a ∗ a = a^* a = a ∗ So a a a is real. ■ \blacksquare ■
Proof that eigenstates are orthogonal. Let A ^ ∣ a ⟩ = a ∣ a ⟩ \hat{A}|a\rangle = a|a\rangle A ^ ∣ a ⟩ = a ∣ a ⟩ and A ^ ∣ b ⟩ = b ∣ b ⟩ \hat{A}|b\rangle = b|b\rangle A ^ ∣ b ⟩ = b ∣ b ⟩ With a ≠ b a \neq b a = 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 ∣ 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 ⟨ b ∣ A ^ ∣ a ⟩ = ⟨ A ^ b ∣ a ⟩ = b ∗ ⟨ b ∣ a ⟩ = b ⟨ b ∣ a ⟩
Where the last step uses b ∗ = b b^* = b b ∗ = b (eigenvalues are real). Therefore:
( a − b ) ⟨ b ∣ a ⟩ = 0 (a - b)\langle b|a\rangle = 0 ( a − b ) ⟨ b ∣ a ⟩ = 0
Since a ≠ b a \neq b a = b We must have ⟨ b ∣ a ⟩ = 0 \langle b|a\rangle = 0 ⟨ b ∣ a ⟩ = 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} [ A ^ , B ^ ] = A ^ B ^ − B ^ A ^ .
Theorem 4.3 (Generalised Uncertainty Principle). For observables A ^ \hat{A} A ^ and B ^ \hat{B} B ^ :
σ A σ B ≥ 1 2 ∣ ⟨ [ A ^ , B ^ ] ⟩ ∣ \sigma_A \sigma_B \geq \frac{1}{2}|\langle[\hat{A}, \hat{B}]\rangle| σ A σ B ≥ 2 1 ∣ ⟨[ A ^ , B ^ ]⟩ ∣
Corollary 4.4 (Heisenberg Uncertainty Principle). σ x σ p ≥ ℏ / 2 \sigma_x \sigma_p \geq \hbar/2 σ x σ p ≥ ℏ/2 .
Proof. This follows from the generalised uncertainty principle with [ x ^ , p ^ ] = i ℏ [\hat{x}, \hat{p}] = i\hbar [ x ^ , p ^ ] = i ℏ :
σ x σ p ≥ 1 2 ∣ ⟨ i ℏ ⟩ ∣ = ℏ 2 \sigma_x \sigma_p \geq \frac{1}{2}|\langle i\hbar \rangle| = \frac{\hbar}{2} σ x σ p ≥ 2 1 ∣ ⟨ i ℏ ⟩ ∣ = 2 ℏ
■ \blacksquare ■
Theorem 4.5 (Robertson-Schrodinger inequality). For any state ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ and observables A ^ \hat{A} A ^ , B ^ \hat{B} B ^ :
σ A 2 σ B 2 ≥ 1 4 ∣ ⟨ [ A ^ , B ^ ] ⟩ ∣ 2 + 1 4 ⟨ { Δ 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 σ A 2 σ B 2 ≥ 4 1 ∣ ⟨[ A ^ , B ^ ]⟩ ∣ 2 + 4 1 ⟨{ Δ A ^ , Δ B ^ } ⟩ 2
Where Δ A ^ = A ^ − ⟨ A ^ ⟩ \Delta\hat{A} = \hat{A} - \langle\hat{A}\rangle Δ A ^ = A ^ − ⟨ A ^ ⟩ and σ A 2 = ⟨ Δ A ^ 2 ⟩ \sigma_A^2 = \langle\Delta\hat{A}^2\rangle σ A 2 = ⟨ Δ A ^ 2 ⟩ .
Proof. Define ∣ α ⟩ = ( Δ A ^ + i λ Δ B ^ ) ∣ ψ ⟩ |\alpha\rangle = (\Delta\hat{A} + i\lambda\Delta\hat{B})|\psi\rangle ∣ α ⟩ = ( Δ A ^ + iλ Δ B ^ ) ∣ ψ ⟩ for a real Parameter λ \lambda λ . Since ⟨ α ∣ α ⟩ ≥ 0 \langle\alpha|\alpha\rangle \geq 0 ⟨ α ∣ α ⟩ ≥ 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 ⟨ ψ ∣ ( Δ A ^ − iλ Δ B ^ ) ( Δ A ^ + iλ Δ B ^ ) ∣ ψ ⟩ ≥ 0
= σ A 2 + i λ ⟨ [ Δ A ^ , Δ B ^ ] ⟩ + λ 2 σ B 2 ≥ 0 = \sigma_A^2 + i\lambda\langle[\Delta\hat{A}, \Delta\hat{B}]\rangle + \lambda^2\sigma_B^2 \geq 0 = σ A 2 + iλ ⟨[ Δ A ^ , Δ B ^ ]⟩ + λ 2 σ B 2 ≥ 0
This is a quadratic in λ \lambda λ that is non-negative for all λ \lambda λ So its discriminant must be Non-positive:
( ⟨ [ Δ A ^ , Δ B ^ ] ⟩ ) 2 − 4 σ A 2 σ B 2 ≤ 0 (\langle[\Delta\hat{A}, \Delta\hat{B}]\rangle)^2 - 4\sigma_A^2\sigma_B^2 \leq 0 (⟨[ Δ A ^ , Δ B ^ ]⟩ ) 2 − 4 σ A 2 σ B 2 ≤ 0
Since [ Δ A ^ , Δ B ^ ] = [ A ^ , B ^ ] [\Delta\hat{A}, \Delta\hat{B}] = [\hat{A}, \hat{B}] [ Δ A ^ , Δ B ^ ] = [ A ^ , B ^ ] (constants commute with everything):
σ A 2 σ B 2 ≥ 1 4 ∣ ⟨ [ A ^ , B ^ ] ⟩ ∣ 2 ■ \sigma_A^2\,\sigma_B^2 \geq \frac{1}{4}|\langle[\hat{A}, \hat{B}]\rangle|^2 \qquad \blacksquare σ A 2 σ B 2 ≥ 4 1 ∣ ⟨[ A ^ , B ^ ]⟩ ∣ 2 ■
The stronger Robertson-Schrodinger form retains the anticommutator term ⟨ { Δ A ^ , Δ B ^ } ⟩ 2 \langle\{\Delta\hat{A}, \Delta\hat{B}\}\rangle^2 ⟨{ Δ A ^ , Δ B ^ } ⟩ 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 / 4 exp ( − m ω x 2 / ( 2 ℏ ) ) \psi_0(x) = (m\omega/\pi\hbar)^{1/4}\exp(-m\omega x^2/(2\hbar)) ψ 0 ( x ) = ( mω / π ℏ ) 1/4 exp ( − mω x 2 / ( 2ℏ )) :
⟨ x ⟩ = 0 , ⟨ x 2 ⟩ = ℏ 2 m ω ⟹ σ x = ℏ 2 m ω \langle x \rangle = 0, \quad \langle x^2 \rangle = \frac{\hbar}{2m\omega} \implies \sigma_x = \sqrt{\frac{\hbar}{2m\omega}} ⟨ x ⟩ = 0 , ⟨ x 2 ⟩ = 2 mω ℏ ⟹ σ x = 2 mω ℏ
⟨ p ⟩ = 0 , ⟨ p 2 ⟩ = 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}} ⟨ p ⟩ = 0 , ⟨ p 2 ⟩ = 2 mω ℏ ⟹ σ p = 2 mω ℏ
σ x σ p = ℏ 2 \sigma_x\,\sigma_p = \frac{\hbar}{2} σ x σ p = 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} A ^ in state ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ :
⟨ A ⟩ = ⟨ ψ ∣ A ^ ∣ ψ ⟩ = ∫ ψ ∗ A ^ ψ d x \langle A \rangle = \langle \psi | \hat{A} | \psi \rangle = \int \psi^* \hat{A} \psi\, dx ⟨ A ⟩ = ⟨ ψ ∣ A ^ ∣ ψ ⟩ = ∫ ψ ∗ A ^ ψ d x
Theorem 4.6 (Ehrenfest”s Theorem). Quantum expectation values obey classical equations of motion:
d ⟨ x ^ ⟩ d t = ⟨ p ^ ⟩ m , d ⟨ p ^ ⟩ d t = − ⟨ ∂ 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 d t d ⟨ x ^ ⟩ = m ⟨ p ^ ⟩ , d t d ⟨ p ^ ⟩ = − ⟨ ∂ x ∂ V ⟩
Proof of Ehrenfest’s Theorem. From the Schrodinger equation:
d ⟨ A ^ ⟩ d t = 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 d t d ⟨ A ^ ⟩ = ℏ i ⟨[ H ^ , A ^ ]⟩ + ⟨ ∂ t ∂ A ^ ⟩
For A ^ = x ^ \hat{A} = \hat{x} A ^ = x ^ (no explicit time dependence), using [ p ^ 2 , x ^ ] = − 2 i ℏ p ^ [\hat{p}^2, \hat{x}] = -2i\hbar\hat{p} [ p ^ 2 , x ^ ] = − 2 i ℏ p ^ :
d ⟨ x ^ ⟩ d t = i ℏ ⟨ [ p ^ 2 2 m , x ^ ] ⟩ = i ℏ ⋅ − 2 i ℏ 2 m ⟨ 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} d t d ⟨ x ^ ⟩ = ℏ i ⟨ [ 2 m p ^ 2 , x ^ ] ⟩ = ℏ i ⋅ 2 m − 2 i ℏ ⟨ p ^ ⟩ = m ⟨ p ^ ⟩
For A ^ = p ^ \hat{A} = \hat{p} A ^ = p ^ Using [ V ( x ^ ) , p ^ ] = i ℏ V ′ ( x ^ ) [V(\hat{x}), \hat{p}] = i\hbar\,V'(\hat{x}) [ V ( x ^ ) , p ^ ] = i ℏ V ′ ( x ^ ) :
d ⟨ p ^ ⟩ d t = 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 d t d ⟨ p ^ ⟩ = ℏ i ⟨[ V ( x ^ ) , p ^ ]⟩ = − ⟨ ∂ x ∂ V ⟩
■ \blacksquare ■
Correspondence principle. Ehrenfest’s theorem embodies the correspondence principle : in the Classical limit (large quantum numbers or ℏ → 0 \hbar \to 0 ℏ → 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) ⟨ V ′ ( x )⟩ = V ′ (⟨ x ⟩) So quantum corrections persist even For large systems.
To find the eigenvalues and eigenvectors of an operator A ^ \hat{A} A ^ Solve:
A ^ ∣ ϕ ⟩ = a ∣ ϕ ⟩ ⟹ det ( A ^ − a I ^ ) = 0 \hat{A}|\phi\rangle = a|\phi\rangle \implies \det(\hat{A} - a\hat{I}) = 0 A ^ ∣ ϕ ⟩ = a ∣ ϕ ⟩ ⟹ det ( A ^ − a 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 ( 0 1 1 0 ) \hat{S}_x = \frac{\hbar}{2}\begin{pmatrix}0&1\\1&0\end{pmatrix} S ^ x = 2 ℏ ( 0 1 1 0 ) .
Solution det ( ℏ 2 ( − a 1 1 − a ) ) = 0 ⟹ a 2 − 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 det ( 2 ℏ ( − a 1 1 − a ) ) = 0 ⟹ a 2 − 1 = 0 ⟹ a = ± 1
Eigenvalues are ± ℏ / 2 \pm\hbar/2 ± ℏ/2 .
For a = + 1 a = +1 a = + 1 : ( − 1 1 1 − 1 ) ( c 1 c 2 ) = 0 ⟹ c 1 = c 2 \begin{pmatrix}-1 & 1\\1 & -1\end{pmatrix}\begin{pmatrix}c_1\\c_2\end{pmatrix} = 0 \implies c_1 = c_2 ( − 1 1 1 − 1 ) ( c 1 c 2 ) = 0 ⟹ c 1 = c 2 . Normalised: ∣ + ⟩ x = 1 2 ( 1 1 ) |+\rangle_x = \frac{1}{\sqrt{2}}\begin{pmatrix}1\\1\end{pmatrix} ∣ + ⟩ x = 2 1 ( 1 1 ) .
For a = − 1 a = -1 a = − 1 : c 1 = − c 2 c_1 = -c_2 c 1 = − c 2 . Normalised: ∣ − ⟩ x = 1 2 ( 1 − 1 ) |-\rangle_x = \frac{1}{\sqrt{2}}\begin{pmatrix}1\\-1\end{pmatrix} ∣ − ⟩ x = 2 1 ( 1 − 1 ) .
These are equal superpositions of the S z S_z S z eigenstates. Note that measuring S x S_x S x on a state of Definite S z S_z S z gives probabilistic outcomes, and vice versa.