🧮Mathematical Methods in Classical and Quantum Mechanics

Fundamental Quantum Mechanics Equations

Study smarter with Fiveable

Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.

Get Started

Why This Matters

Quantum mechanics is a complete mathematical framework that describes reality at its most fundamental level. In this course, you're tested on your ability to derive, manipulate, and interpret these equations, not just recognize them. The concepts here — wave function evolution, operator algebra, quantization conditions, and measurement theory — form the backbone of everything from atomic physics to quantum computing.

These equations connect through a logical structure: the Schrödinger equation tells you how states evolve, operators extract physical information from those states, and commutator relations determine what you can and cannot measure simultaneously. Don't just memorize the formulas. Understand what mathematical principle each equation embodies and how they relate to one another.


Wave Function Dynamics and the Schrödinger Equation

The Schrödinger equation is to quantum mechanics what Newton's second law is to classical mechanics: it's the equation of motion governing how quantum states change.

Schrödinger Equation

  • Fundamental equation of quantum mechanics, describing time evolution of a quantum state: itΨ=H^Ψi\hbar\frac{\partial}{\partial t}\Psi = \hat{H}\Psi
  • First-order in time, linear in the wave function. Linearity enables the superposition principle and guarantees unitary (probability-preserving) evolution.
  • Solutions yield wave functions Ψ(x,t)\Psi(x,t) that encode all measurable information about the system through their complex amplitudes.

Time-Independent Schrödinger Equation

  • Eigenvalue equation H^ψ=Eψ\hat{H}\psi = E\psi, used when the potential V(x)V(x) has no explicit time dependence.
  • Determines stationary states and energy eigenvalues. The allowed energies emerge as eigenvalues of the Hamiltonian operator.
  • Separation of variables yields Ψ(x,t)=ψ(x)eiEt/\Psi(x,t) = \psi(x)e^{-iEt/\hbar}, showing that stationary states have time-independent probability densities.

Wave Function Normalization

  • Physical requirement that total probability equals one: ψ(x)2dx=1\int_{-\infty}^{\infty}|\psi(x)|^2\,dx = 1
  • Constrains acceptable solutions. Wave functions must be square-integrable (belong to Hilbert space) to represent physical states.
  • Preserved under time evolution by the Schrödinger equation, ensuring probability conservation.

Compare: Time-dependent vs. time-independent Schrödinger equation. Both describe the same physics, but the time-independent form applies only when V(x)V(x) is static. If a problem gives you a potential and asks for energy levels, you're using the time-independent form. If it asks about dynamics or transitions, think time-dependent.


Operators and Physical Observables

In quantum mechanics, every measurable quantity corresponds to a Hermitian operator. The eigenvalues, eigenfunctions, and commutation relations of these operators determine what we can know about a system.

Hamiltonian Operator

  • Total energy operator in position representation: H^=p^22m+V(x^)=22md2dx2+V(x)\hat{H} = \frac{\hat{p}^2}{2m} + V(\hat{x}) = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2} + V(x)
  • Generator of time evolution. It appears in the Schrödinger equation as the operator that drives quantum dynamics.
  • Eigenvalues are the allowed energies of the system. Finding these is often the central problem in quantum mechanics.

Momentum Operator

  • Defined in position space as p^=iddx\hat{p} = -i\hbar\frac{d}{dx}, where the factor of i-i\hbar ensures Hermiticity.
  • Eigenfunctions are plane waves eipx/e^{ipx/\hbar}, representing states of definite momentum.
  • Generates spatial translations. This deep connection between symmetries and conservation laws is the quantum form of Noether's theorem.

Position Operator

  • Acts by multiplication in position representation: x^ψ(x)=xψ(x)\hat{x}\psi(x) = x\psi(x)
  • Eigenfunctions are delta functions δ(xx0)\delta(x - x_0), representing perfectly localized (but unphysical, non-normalizable) states.
  • Non-commuting with momentum. This fundamental incompatibility leads directly to the uncertainty principle.

Compare: Position operator vs. momentum operator. Both are Hermitian with continuous spectra, but they're maximally incompatible: [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar. Exam problems often test whether you can identify which representation (position or momentum space) simplifies a given calculation.


Measurement Theory and Probability

Quantum mechanics is fundamentally probabilistic. These equations tell you how to extract predictions from wave functions and what limits exist on simultaneous knowledge.

Born Rule (Probability Density)

  • Probability density given by P(x)=ψ(x)2=ψ(x)ψ(x)P(x) = |\psi(x)|^2 = \psi^*(x)\psi(x), the squared modulus of the wave function.
  • Connects mathematics to experiment. This interpretive rule transforms abstract wave functions into measurable predictions.
  • Probability of finding the particle in region [a,b][a,b]: abψ(x)2dx\int_a^b |\psi(x)|^2\,dx

For discrete observables, the Born rule takes a different form. If you expand ψ\psi in the eigenbasis of some observable A^\hat{A} as ψ=ncnϕn\psi = \sum_n c_n \phi_n, the probability of measuring eigenvalue ana_n is cn2|c_n|^2.

Expectation Value

  • Average measurement outcome calculated as A^=ψ(x)A^ψ(x)dx\langle \hat{A} \rangle = \int_{-\infty}^{\infty} \psi^*(x)\hat{A}\psi(x)\,dx
  • Bracket notation ψA^ψ\langle \psi | \hat{A} | \psi \rangle emphasizes the inner product structure of quantum mechanics.
  • Not necessarily an eigenvalue. The expectation value can take any value in the spectrum's range, representing a statistical average over many identical measurements.

Heisenberg Uncertainty Principle

  • Fundamental measurement limit ΔxΔp2\Delta x \Delta p \geq \frac{\hbar}{2}, where Δ\Delta denotes standard deviation (ΔA=A^2A^2\Delta A = \sqrt{\langle \hat{A}^2 \rangle - \langle \hat{A} \rangle^2}).
  • Derived from commutator relations. The generalized form for any two observables is ΔAΔB12[A^,B^]\Delta A \Delta B \geq \frac{1}{2}|\langle[\hat{A},\hat{B}]\rangle|
  • Not about measurement disturbance. It reflects intrinsic quantum indeterminacy: conjugate variables cannot simultaneously have sharp values.

Compare: Born rule vs. expectation value. The Born rule gives probability distributions, while expectation values give averages. A problem might ask you to find the probability of measuring energy EnE_n (use Born rule with energy eigenstates: cn2|c_n|^2) versus the average energy (use the expectation value formula: H^\langle \hat{H} \rangle).


Commutator Algebra and Operator Structure

Commutators reveal the deep structure of quantum mechanics. Whether two observables can be simultaneously measured, and how operators transform under symmetries, all follow from commutation relations.

Commutator Relations

  • Definition: [A^,B^]=A^B^B^A^[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A} measures the failure of operators to commute.
  • Canonical commutator [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar is the foundation of quantum mechanics. All uncertainty relations trace back to this.
  • Zero commutator implies compatible observables. If [A^,B^]=0[\hat{A}, \hat{B}] = 0, the operators share a complete set of simultaneous eigenstates and can be measured simultaneously with no mutual uncertainty.

A few useful commutator identities worth knowing:

  • [A^,B^C^]=[A^,B^]C^+B^[A^,C^][\hat{A}, \hat{B}\hat{C}] = [\hat{A}, \hat{B}]\hat{C} + \hat{B}[\hat{A}, \hat{C}]
  • [A^,B^]=[B^,A^][\hat{A}, \hat{B}] = -[\hat{B}, \hat{A}] (antisymmetry)

Angular Momentum Operators

  • Components L^x,L^y,L^z\hat{L}_x, \hat{L}_y, \hat{L}_z satisfy cyclic commutation relations: [L^x,L^y]=iL^z[\hat{L}_x, \hat{L}_y] = i\hbar\hat{L}_z (and cyclic permutations).
  • Total angular momentum L^2=L^x2+L^y2+L^z2\hat{L}^2 = \hat{L}_x^2 + \hat{L}_y^2 + \hat{L}_z^2 commutes with every component: [L^2,L^i]=0[\hat{L}^2, \hat{L}_i] = 0. That's why you can label states by both ll and mm simultaneously.
  • Eigenvalues are quantized: L2=2l(l+1)L^2 = \hbar^2 l(l+1) and Lz=mL_z = \hbar m with m=l,l+1,...,+lm = -l, -l+1, ..., +l

Spin Operators (Pauli Matrices)

  • Intrinsic angular momentum for spin-1/2 particles: S^i=2σi\hat{S}_i = \frac{\hbar}{2}\sigma_i where σi\sigma_i are the Pauli matrices.
  • Pauli matrices: σx=(0110)\sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, σy=(0ii0)\sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, σz=(1001)\sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}
  • These satisfy σiσj=δijI+iϵijkσk\sigma_i \sigma_j = \delta_{ij}I + i\epsilon_{ijk}\sigma_k, which encodes both their commutation and anticommutation relations.

Compare: Orbital angular momentum vs. spin. Both satisfy the same commutation algebra [J^i,J^j]=iϵijkJ^k[\hat{J}_i, \hat{J}_j] = i\hbar\epsilon_{ijk}\hat{J}_k, but orbital angular momentum has only integer ll values while spin can be half-integer (s=1/2,1,3/2,...s = 1/2, 1, 3/2, ...). This distinction is what separates fermions from bosons.


Exactly Solvable Systems

These canonical problems are the building blocks for understanding real physical systems and the testing ground for quantum mechanical techniques.

Particle in a Box (Infinite Potential Well)

  • Boundary conditions ψ(0)=ψ(L)=0\psi(0) = \psi(L) = 0 force quantization: only standing waves with nodes at the walls are allowed.
  • Energy eigenvalues: En=n2π222mL2E_n = \frac{n^2\pi^2\hbar^2}{2mL^2} with n=1,2,3,...n = 1, 2, 3, ... Note that the ground state is n=1n=1, not n=0n=0, so there's no zero-energy state.
  • Wave functions: ψn(x)=2Lsin(nπxL)\psi_n(x) = \sqrt{\frac{2}{L}}\sin\left(\frac{n\pi x}{L}\right) form a complete orthonormal basis.

The n2n^2 dependence means energy level spacing increases with nn. The gap between n=2n=2 and n=1n=1 is 3E13E_1, while the gap between n=3n=3 and n=2n=2 is 5E15E_1.

Harmonic Oscillator

  • Energy levels: En=ω(n+12)E_n = \hbar\omega\left(n + \frac{1}{2}\right) with n=0,1,2,...n = 0, 1, 2, ... These are evenly spaced, with zero-point energy 12ω\frac{1}{2}\hbar\omega even in the ground state.
  • Ladder operators a^\hat{a}^\dagger (raising) and a^\hat{a} (lowering) act on energy eigenstates as a^n=n+1n+1\hat{a}^\dagger|n\rangle = \sqrt{n+1}|n+1\rangle and a^n=nn1\hat{a}|n\rangle = \sqrt{n}|n-1\rangle, enabling elegant algebraic solutions without solving differential equations.
  • Ubiquitous model. Any system near a stable equilibrium can be approximated as a harmonic oscillator (molecular vibrations, phonons, photon field modes).

Compare: Particle in a box vs. harmonic oscillator. Both show quantization, but the box has Enn2E_n \propto n^2 (increasing spacing) while the oscillator has En(n+1/2)E_n \propto (n + 1/2) (constant spacing). This difference appears frequently in problems asking you to identify systems from their spectra.


Relativistic Quantum Mechanics

When particles move at speeds comparable to light, quantum mechanics must merge with special relativity. The Dirac equation accomplishes this for fermions.

Dirac Equation

  • Relativistic wave equation: (iγμμmc)ψ=0(i\hbar\gamma^\mu\partial_\mu - mc)\psi = 0, first-order in both space and time derivatives.
  • Predicts antimatter. Negative energy solutions correspond to positrons, confirmed experimentally by Anderson in 1932, four years after Dirac's prediction.
  • Spin emerges naturally. Unlike non-relativistic quantum mechanics where spin-1/2 is postulated, here it follows from requiring Lorentz invariance. The wave function ψ\psi is a four-component spinor, with two components for particle states and two for antiparticle states.

Quick Reference Table

ConceptKey Equations
Time evolutionSchrödinger equation, time-independent Schrödinger equation
Probability interpretationBorn rule, wave function normalization, expectation value
Fundamental operatorsHamiltonian, momentum operator, position operator
Measurement limitsHeisenberg uncertainty principle, commutator relations
Angular momentumAngular momentum operators, spin operators (Pauli matrices)
Quantization examplesParticle in a box, harmonic oscillator
Relativistic QMDirac equation
Operator algebraCommutator relations, ladder operators (harmonic oscillator)

Self-Check Questions

  1. The canonical commutator [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar directly implies which fundamental principle? Write out the general uncertainty relation it produces.

  2. Compare the energy spectra of the particle in a box and harmonic oscillator. Both have zero-point energy (neither system can have E=0E = 0), but their level spacings differ. Explain why, and connect the difference to the functional form of each potential.

  3. Given a wave function ψ(x)\psi(x), explain the mathematical steps to calculate (a) the probability of finding the particle between x=0x = 0 and x=ax = a, and (b) the expectation value of momentum.

  4. Why can we simultaneously know L^2\hat{L}^2 and L^z\hat{L}_z for a quantum system, but not L^x\hat{L}_x and L^z\hat{L}_z? What mathematical property determines this?

  5. A problem presents a time-independent potential and asks for the allowed energies. Outline the general procedure: what equation do you solve, what boundary/normalization conditions apply, and how do eigenvalues emerge?