Mathematics.

quantum mechanics

Mathematical Foundations of Quantum Mechanics

Mathematical Physics100 minDifficulty9 out of 10

Overview

The mathematical foundations of quantum mechanics, developed by von Neumann in his 1932 monograph, place the theory on a rigorous Hilbert-space framework. Physical states are unit vectors (or rays) in a complex separable Hilbert space; observables are self-adjoint operators; measurements correspond to projections; and time evolution is a one-parameter unitary group. This formulation resolves earlier ambiguities between Heisenberg's matrix mechanics and Schrödinger's wave mechanics by showing both are equivalent representations of the same abstract Hilbert-space theory.

Intuition

Classical mechanics describes a particle by definite position and momentum. Quantum mechanics instead assigns a state vector |ψ⟩ in a Hilbert space — a probability amplitude for every possible measurement outcome. Measuring an observable A collapses |ψ⟩ to an eigenstate of A with probability given by the Born rule. The non-commutativity of operators (AB ≠ BA in general) is the mathematical source of the uncertainty principle.

Formal Definition

Definition

The four postulates of quantum mechanics in the von Neumann formulation specify states, observables, measurement, and dynamics.

States: ψH,ψψ=1(unit vector in separable Hilbert space)\text{States: } |\psi\rangle \in \mathcal{H},\quad \langle \psi | \psi \rangle = 1 \quad (\text{unit vector in separable Hilbert space})
Postulate 1: State space
Observables: self-adjoint operators A=A on H\text{Observables: self-adjoint operators } A = A^* \text{ on } \mathcal{H}
Postulate 2: Observables
P(anψ)=anψ2(Born rule, discrete spectrum)P(a_n | \psi) = |\langle a_n | \psi \rangle|^2 \quad (\text{Born rule, discrete spectrum})
Postulate 3: Born rule for measurement probability
iddtψ(t)=Hψ(t),ψ(t)=eiHt/ψ(0)i\hbar \frac{d}{dt}|\psi(t)\rangle = H|\psi(t)\rangle,\quad |\psi(t)\rangle = e^{-iHt/\hbar}|\psi(0)\rangle
Postulate 4: Schrödinger equation / unitary time evolution
Aψ=ψAψ\langle A \rangle_\psi = \langle \psi | A | \psi \rangle
Expectation value of observable A in state |ψ⟩

Notation

NotationMeaning
ψ|\psi\rangleState vector (ket) in Hilbert space
ψ\langle\psi|Dual vector (bra)
H\mathcal{H}Complex separable Hilbert space of states
AA^\daggerAdjoint (conjugate transpose) of operator A
=h/(2π)\hbar = h/(2\pi)Reduced Planck constant

Theorems

Theorem 1: Spectral Theorem for Self-Adjoint Operators
Every self-adjoint operator A on a Hilbert space admits a spectral decomposition A=σ(A)λdEλ\text{Every self-adjoint operator } A \text{ on a Hilbert space admits a spectral decomposition } A = \int_{\sigma(A)} \lambda\, dE_\lambda
Theorem 2: Heisenberg Uncertainty Principle
ΔAΔB12[A,B]\Delta A \cdot \Delta B \geq \frac{1}{2}|\langle [A, B] \rangle|
Theorem 3: Stone's Theorem
Every strongly continuous one-parameter unitary group U(t) has the form U(t)=eitA for a unique self-adjoint A\text{Every strongly continuous one-parameter unitary group } U(t) \text{ has the form } U(t) = e^{itA} \text{ for a unique self-adjoint } A

Worked Examples

  1. 1

    Let A|a⟩ = a|a⟩ with ⟨a|a⟩ = 1.

    Aa=aaA|a\rangle = a|a\rangle
  2. 2

    Take the inner product with ⟨a| on the left.

    aAa=aaa=a\langle a|A|a\rangle = a\langle a|a\rangle = a
  3. 3

    Since A = A†, ⟨a|A|a⟩ = ⟨a|A†|a⟩ = ⟨a|A|a⟩* = a*, so a = a* meaning a is real.

    aAa=aAa    a=aˉR\langle a|A|a\rangle = \overline{\langle a|A|a\rangle} \implies a = \bar{a} \in \mathbb{R}

✓ Answer

Eigenvalues of self-adjoint operators are real — consistent with measurement outcomes being real numbers.

Practice Problems

Hardproof writing

Prove the Heisenberg uncertainty relation ΔA · ΔB ≥ ½|⟨[A,B]⟩| using the Cauchy–Schwarz inequality.

Common Mistakes

Common Mistake

Heisenberg's matrix mechanics and Schrödinger's wave mechanics are different theories

Both are unitarily equivalent representations of the same abstract Hilbert-space theory. Matrix mechanics uses the energy eigenbasis; wave mechanics uses the position basis (L²(ℝ³)).

Common Mistake

The uncertainty principle is due to measurement disturbance

The Robertson–Schrödinger uncertainty relation is a theorem about state preparation, not about measurement disturbance. It holds even before any measurement is made.

Quiz

In the von Neumann formulation, physical observables are represented by:
The Born rule states that the probability of measuring eigenvalue aₙ is:

Historical Background

Quantum mechanics was formulated in two apparently different ways in 1925–1926: Heisenberg's matrix mechanics and Schrödinger's wave mechanics. Dirac's transformation theory (1927) and Jordan's parallel work suggested a unified framework. John von Neumann's 1932 book 'Mathematische Grundlagen der Quantenmechanik' provided the first fully rigorous mathematical foundation, introducing the spectral theorem for unbounded operators and the density matrix formalism.

  1. 1925

    Heisenberg develops matrix mechanics for quantum systems

    Werner Heisenberg

  2. 1926

    Schrödinger develops wave mechanics and the Schrödinger equation

    Erwin Schrödinger

  3. 1927

    Dirac introduces transformation theory unifying both approaches

    Paul Dirac

  4. 1932

    Von Neumann publishes 'Mathematische Grundlagen der Quantenmechanik'

    John von Neumann

  5. 1964

    Bell's theorem reveals impossibility of local hidden variable theories

    John Bell

Summary

  • States are unit vectors in a complex separable Hilbert space ℋ; physical equivalence is up to a global phase.
  • Observables are self-adjoint operators; their eigenvalues are the possible measurement outcomes.
  • Measurement probabilities are given by the Born rule: P(aₙ|ψ) = |⟨aₙ|ψ⟩|².
  • Time evolution is unitary: |ψ(t)⟩ = e^{−iHt/ℏ}|ψ(0)⟩, governed by the Schrödinger equation.
  • Non-commutativity [A, B] ≠ 0 implies the Heisenberg uncertainty principle ΔA·ΔB ≥ ½|⟨[A,B]⟩|.

References

  1. Bookvon Neumann, J. — Mathematical Foundations of Quantum Mechanics (1932/1955), Princeton University Press
  2. BookReed, M. & Simon, B. — Methods of Modern Mathematical Physics, Vol. I: Functional Analysis (1980), Academic Press
  3. BookPrugovecki, E. — Quantum Mechanics in Hilbert Space, 2nd ed. (1981), Academic Press