The Schrödinger equation is the partial differential equation governing the time evolution of a quantum system’s wavefunction:

iψt=H^ψi\hbar \frac{\partial \psi}{\partial t} = \hat{H} \psi

where ψ(x,t)\psi(x,t) is the wavefunction, H^\hat{H} is the Hamiltonian operator, and \hbar is the reduced Planck constant. Published by Erwin Schrödinger in 1926, it is the mathematical foundation of non-relativistic quantum mechanics.

1. Mathematical setting

The wavefunction lives in a separable complex Hilbert space H\mathcal{H}. For a single particle in Rn\mathbb{R}^n, this is L2(Rn,C)L^2(\mathbb{R}^n, \mathbb{C}). The Hamiltonian H^\hat{H} is an unbounded self-adjoint operator on H\mathcal{H}, typically of the form

H^=22mΔ+V(x)\hat{H} = -\frac{\hbar^2}{2m} \Delta + V(x)

where Δ\Delta is the Laplacian and V(x)V(x) is a real-valued potential.

The fundamental fact of the theory is that self-adjointness of H^\hat{H} ensures the time-evolution operator

U(t)=eiH^t/U(t) = e^{-i\hat{H}t/\hbar}

is unitary for all real tt (Stone’s theorem). Unitarity preserves inner products and hence probability — ψ(t)2=1\|\psi(t)\|^2 = 1 for all tt.

2. Time-independent form and the spectrum

Separating variables with ψ(x,t)=ϕ(x)eiEt/\psi(x,t) = \phi(x) e^{-iEt/\hbar} leads to the time-independent Schrödinger equation:

H^ϕ=Eϕ\hat{H} \phi = E \phi

This is a linear eigenvalue problem. Solutions ϕn\phi_n with eigenvalues EnE_n are the energy eigenstates, and any wavefunction can be expanded:

ψ(x,t)=ncnϕn(x)eiEnt/\psi(x,t) = \sum_n c_n \phi_n(x)\, e^{-iE_n t/\hbar}

Each eiEnt/e^{-iE_n t/\hbar} is exactly a complex exponential from Euler’s formula — the dynamics of quantum mechanics is pointwise multiplication by complex unit modulus functions in the energy basis.

3. Famous exact solutions

  • Free particle: plane waves ψ=ei(kxωt)\psi = e^{i(kx - \omega t)}, E=2k2/(2m)E = \hbar^2 k^2/(2m).
  • Harmonic oscillator: Hermite functions; equispaced spectrum En=ω(n+12)E_n = \hbar\omega(n + \tfrac{1}{2}).
  • Hydrogen atom: spherical harmonics times Laguerre polynomials; spectrum En=13.6eV/n2E_n = -13.6\,\text{eV}/n^2.
  • Particle in a box: sinusoidal eigenfunctions with Enn2E_n \propto n^2.

These form the mathematical playground for the entire discipline.

4. Position and momentum — two sides of Fourier

The position operator x^\hat{x} and momentum operator p^=ix\hat{p} = -i\hbar \partial_x satisfy the canonical commutation relation

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

and are related to each other by the Fourier transform. A wavefunction in position space, Fourier-transformed, becomes the wavefunction in momentum space. The Heisenberg uncertainty principle ΔxΔp/2\Delta x \cdot \Delta p \geq \hbar/2 is a direct consequence of the Fourier inequality — a purely mathematical statement about the duality of functions and their transforms.

5. Mathematical consequences

The study of Schrödinger equations drives entire fields:

  • Spectral theory of unbounded operators (von Neumann, 1932; Reed–Simon, 1970s).
  • Semiclassical analysis — how solutions behave as 0\hbar \to 0.
  • Dispersive PDE theory — the nonlinear Schrödinger equation and its wellposedness.
  • Random-matrix theory — energy-level statistics of disordered systems.
  • Mathematical quantum field theory — constructive QFT, rigorous renormalization.

Many landmarks of modern analysis — Strichartz estimates, Kato–Rellich theorems, Feynman path integrals — arose from the needs of quantum mechanics.

6. The nonlinear Schrödinger equation

A nonlinear variant itψ=Δψ+ψ2pψi\partial_t \psi = -\Delta \psi + |\psi|^{2p} \psi appears in optics, Bose–Einstein condensates, and water waves. Its wellposedness theory is a major topic in modern dispersive PDE and has driven decades of analytic research.

Further reading

  • Reed & Simon, Methods of Modern Mathematical Physics (4 vols) — rigorous treatment.
  • Hall, Quantum Theory for Mathematicians — math-first introduction.
  • Takhtajan, Quantum Mechanics for Mathematicians — structural approach.

Frequently asked

What does the wavefunction ψ represent mathematically?

It is an element of a complex Hilbert space L²(ℝⁿ, ℂ), normalized so that ∫|ψ|² = 1. The Born rule interprets |ψ(x)|² as a probability density over positions; more generally, for any observable the probability distribution is encoded through the spectral theorem applied to the associated self-adjoint operator.

Why is the Hamiltonian self-adjoint?

Because it corresponds to a real-valued observable (energy) and because self-adjointness guarantees that the time-evolution operator e^(-iHt/ℏ) is unitary — preserving the norm of ψ and hence probability. The mathematical theory of self-adjoint operators on Hilbert space (von Neumann, 1932) was developed precisely to handle this.

Is the Schrödinger equation a relativistic theory?

No. The form shown here is non-relativistic — it is Galilean invariant but not Lorentz invariant. The relativistic generalizations are the Dirac equation (for spin-½) and the Klein–Gordon equation (for scalar fields). Quantum field theory combines these with quantization principles to give the relativistic quantum theory used in modern physics.