Non-relativistic QM review

Every relativistic wave equation in particle physics — Klein–Gordon, Dirac, the whole scattering formalism — is built by promoting a piece of non-relativistic quantum mechanics and asking it to respect Lorentz symmetry. So before any of that, one has to be fluent in the non-relativistic original: the wave-mechanics framework Schrödinger wrote down in 1926. Its logic is startlingly economical. Postulate that a single complex field, the wavefunction ψ(x, t), carries everything knowable about a state. Guess that a free particle is a plane wave ψ = N e^{i(p·x − Et)}. Read off, from how derivatives act on that wave, the operators that stand for momentum and energy — p̂ = −i∇ and Ê = i∂ₜ. Feed them the classical energy relation E = p²/2m + V, and out drops the equation of motion, i∂ₜψ = Ĥψ. Three consequences organise the rest of the subject, and each has a direct descendant in particle physics. First, Born reads ρ = ψ*ψ as a probability density, and probability conservation becomes a local continuity equation carrying a current j — the same current that, once relativistic, becomes the incident flux in every cross-section formula. Second, whether a quantity is conserved is decided by a single algebraic test: does its operator commute with Ĥ? Third, operators that fail to commute cannot be known together, and the specific algebra of angular momentum, [L̂ᵢ, L̂ⱼ] = iε_{ijk}L̂ₖ, is the exact template later reused for isospin and the SU(2) flavour symmetry of the quark model. This article rebuilds all three from the plane wave, in natural units ℏ = 1.

Key takeaways
  • A free particle is a plane wave ψ = N e^{i(p·x − Et)}; differentiating it fixes the operators p̂ = −i∇ and Ê = i∂ₜ, and the classical Hamiltonian turns into the Schrödinger equation i∂ₜψ = Ĥψ.
  • Observables are Hermitian operators; a measurement returns one of their real eigenvalues, and states can be labelled by the eigenvalues of any mutually commuting set.
  • Probability is locally conserved: ρ = ψψ and j = (1/2im)(ψ∇ψ − ψ∇ψ*) satisfy ∂ₜρ + ∇·j = 0; for a plane wave j = |N|²p/m = nv, a flux.
  • A quantity is conserved iff its operator commutes with Ĥ: d⟨Â⟩/dt = i⟨[Ĥ, Â]⟩ for a time-independent  (Ehrenfest's theorem).
  • Non-commuting operators obey uncertainty, [x̂, p̂ₓ] = i giving ΔxΔp ≥ 1/2, and the angular-momentum algebra [L̂ᵢ, L̂ⱼ] = iε_{ijk}L̂ₖ is the SU(2) template reused for isospin.
  • Key idea: all of quantum dynamics flows from one move — replace classical observables by Hermitian operators on the wavefunction, with Ĥ generating time evolution — so commutation with Ĥ dictates what is conserved and the algebra of commutators dictates what can be known at once.
The core insight

All of quantum dynamics flows from one move: replace classical observables by Hermitian operators acting on the wavefunction, with the Hamiltonian generating time evolution — so commutation with Ĥ dictates what is conserved, and the algebra of commutators dictates what can be known simultaneously.

Where this lives today

The non-relativistic formalism is not a museum piece — it is a working tool wherever particle speeds stay well below c. Its most literal modern descendant is non-relativistic QCD (NRQCD) and potential NRQCD, effective field theories in which a heavy quark–antiquark pair such as charmonium (J/ψ) or bottomonium (Υ) is treated as a two-body Schrödinger problem with a QCD potential; lattice and NRQCD predictions of quarkonium spectra and decay rates rest directly on the machinery above. The operator-and-flux language reappears every time an experiment reports a cross section: the measured event rate is divided by the incident flux j = nv derived in Derivation B, now promoted to its relativistic form. The angular-momentum algebra of equation (6) is the literal blueprint for isospin and the SU(2) of the electroweak interaction, so the |ℓ, m⟩ labelling recurs as the (I, I₃) of hadron multiplets. And the de Broglie wavelength of Example 1 is the resolution limit of every electron microscope and the reason electron and neutron diffraction map crystal and magnetic structure — a 100 eV electron's 0.12 nm wavelength is what lets it "see" individual atomic planes.

The physical picture

The whole scheme starts from a picture of a free particle as an infinite, monochromatic wave. The plane wave ψ = N e^{i(p·x − Et)} has a definite momentum, encoded in how fast its phase winds in space, and a definite energy, encoded in how fast it winds in time. Acting with the spatial gradient pulls a factor ip out of the exponent, and acting with the time derivative pulls out −iE — that is the entire content of the operator dictionary p̂ = −i∇ and Ê = i∂ₜ. The first figure follows one derivative at a time, turning a picture of a wave into the equation of motion, and pins the abstraction to a real length scale: a 100 eV electron has a de Broglie wavelength of about 0.12 nm, the atomic spacing that makes electron diffraction work.

Figure
A free particle as a plane wave: the spatial derivative pulls down the momentum and the time derivative pulls down the energy, so p̂ = −i∇ and Ê = i∂ₜ, and feeding E = p²/2m + V back in gives the Schrödinger equation — with a 100 eV electron carrying de Broglie wavelength λ = 0.123 nm
From plane wave to Schrödinger equation: derivatives read off the operators ψ = N e^i(p·x − Et) λ = 2π/p p̂ = −i∇ ⟶ p Ê = i∂ₜ ⟶ E i ∂ₜ ψ = ( −∇²/2m + V ) ψ 100 eV electron: p = 10.1 keV, v = 0.020c, λ = 0.123 nm (atomic scale)

The second idea is that ψ is not just a bookkeeping device but a thing that carries a conserved substance. Born's rule makes ρ = ψ*ψ a probability density, and the same manipulation that Maxwell's charge conservation uses — combine the field equation with its complex conjugate — produces a current j and a continuity law ∂ₜρ + ∇·j = 0. Probability that leaves a region must flow out through its boundary; none is created or destroyed. For the plane wave this current is exactly a number density times a velocity, j = nv, and that is the through-line to particle physics: when the wavefunction is later made relativistic, this same j becomes the incident flux dividing every cross section. The second figure shows the flux picture that survives the whole way up.

Figure
Probability as a conserved fluid: ρ = ψ*ψ is a density and j is its current, tied by ∂ₜρ + ∇·j = 0, so whatever leaves a box flows out through its walls; for a plane wave the current is a flux j = n v with the 100 eV electron moving at v = p/m = 5.9×10⁶ m/s
The continuity equation: probability flows, it is never lost — the flux that becomes a cross section ρ = ψ*ψ (density n = N²) j in j out whatever leaves the dashed box crosses its walls ∂ₜρ + ∇·j = 0 j = |N|² p/m = n v 100 eV electron: v = p/m = 5.9×10⁶ m/s, so flux j = n v

The core equations

The starting postulate is the free-particle plane wave, and the two operator identifications are not independent guesses — they are forced by demanding that each derivative reproduce the corresponding factor in the exponent. In natural units ℏ = 1 throughout.

ψ(x,t)=N ei(p⋅x−Et),p^=−i∇,E^=i∂t(1)\psi(\mathbf{x},t)=N\,e^{i(\mathbf{p}\cdot\mathbf{x}-Et)},\qquad \hat{\mathbf{p}}=-i\nabla,\qquad \hat{E}=i\partial_t \qquad (1)

where: ψ — the complex free-particle wavefunction; N — normalisation constant; p — momentum eigenvalue; E — energy eigenvalue; ℏ = 1. Reading: −i∇ acting on ψ returns pψ and i∂ₜ acting on ψ returns Eψ, so on plane waves the operators reproduce their classical values as eigenvalues. Substituting these operators into the non-relativistic energy relation E = p²/2m + V promotes it to an operator equation that any state, not just a plane wave, must satisfy — the equation of motion of the theory.

i ∂tψ=H^ψ,H^=p^22m+V(x)=−∇22m+V(x)(2)i\,\partial_t\psi=\hat{H}\psi,\qquad \hat{H}=\frac{\hat{\mathbf{p}}^2}{2m}+V(\mathbf{x})=-\frac{\nabla^2}{2m}+V(\mathbf{x}) \qquad (2)

where: Ĥ — the Hamiltonian operator (total energy); the first term is kinetic, V(x) is the potential. Reading: the Hamiltonian generates time evolution; knowing Ĥ and the state now fixes the state at every later instant. For V = 0 the plane wave (1) is an exact solution with E = p²/2m. Born interprets |ψ|² as a probability density. Because total probability must stay equal to one, the loss of density from any region has to be accounted for by a flow across its boundary — a local conservation law with a current, obtained purely from (2) and its complex conjugate.

ρ=ψ∗ψ,j=12im(ψ∗∇ψ−ψ∇ψ∗),∂tρ+∇⋅j=0(3)\rho=\psi^*\psi,\qquad \mathbf{j}=\frac{1}{2im}\big(\psi^*\nabla\psi-\psi\nabla\psi^*\big),\qquad \partial_t\rho+\nabla\cdot\mathbf{j}=0 \qquad (3)

where: ρ — probability density; j — probability current density; the third equation is the continuity equation. Reading: ρ and j are not independent postulates — Derivation B builds j so that the continuity equation holds identically whenever ψ obeys the Schrödinger equation. Evaluated on the plane wave (1), this current collapses to a strikingly classical object: a number density carried along at the particle velocity. This is the form that survives, essentially unchanged, into the relativistic flux factor.

j=∣N∣2 pm=n v,n=∣N∣2,v=pm(4)\mathbf{j}=|N|^2\,\frac{\mathbf{p}}{m}=n\,\mathbf{v},\qquad n=|N|^2,\qquad \mathbf{v}=\frac{\mathbf{p}}{m} \qquad (4)

where: n = |N|² — particle number density (not a single-particle probability); v = p/m — the group velocity of the wave. Reading: the plane wave is best pictured as a uniform beam of density n streaming at v, giving a flux nv — the language of scattering, not of a bound electron. Dynamics of averages is governed by commutation with Ĥ. Differentiating the expectation value ⟨Â⟩ = ∫ψ*Âψ d³x and using (2) gives Ehrenfest's theorem, the bridge between quantum evolution and classical mechanics and the exact criterion for a conserved quantity.

ddt⟨A^⟩=i⟨[H^,A^]⟩+⟨∂A^∂t⟩(5)\frac{d}{dt}\langle\hat{A}\rangle=i\big\langle[\hat{H},\hat{A}]\big\rangle+\Big\langle\frac{\partial\hat{A}}{\partial t}\Big\rangle \qquad (5)

where: [Ĥ, Â] = Ĥ − ÂĤ is the commutator; the last term vanishes for operators without explicit time dependence. Reading: if  has no explicit t-dependence and commutes with Ĥ, then ⟨Â⟩ is constant in time — this is Noether's theorem in operator language. Finally, the algebra of commutators sets which observables are simultaneously knowable and supplies the labels for states. The canonical relation controls uncertainty; the angular-momentum relations supply the multiplet structure reused throughout particle physics.

[x^i,p^j]=i δij,[L^i,L^j]=i ϵijkL^k,[L^2,L^z]=0(6)[\hat{x}_i,\hat{p}_j]=i\,\delta_{ij},\qquad [\hat{L}_i,\hat{L}_j]=i\,\epsilon_{ijk}\hat{L}_k,\qquad [\hat{L}^2,\hat{L}_z]=0 \qquad (6)

where: δ_{ij} — Kronecker delta; ε_{ijk} — Levi-Civita symbol; L̂ = x̂ × p̂ — orbital angular momentum. Reading: [x̂, p̂ₓ] = i forces the uncertainty bound ΔxΔp ≥ 1/2; because L̂² commutes with L̂_z but the L̂ᵢ do not commute with each other, states are labelled |ℓ, m⟩ with L̂²|ℓ, m⟩ = ℓ(ℓ + 1)|ℓ, m⟩ and L̂_z|ℓ, m⟩ = m|ℓ, m⟩.

Derivation AThe Schrödinger equation from a plane wave

The goal is to show that the equation of motion of non-relativistic quantum mechanics is not an independent postulate but is forced, almost uniquely, by three inputs: the choice of the plane wave as the free-particle state, the demand that spatial and temporal derivatives reproduce the momentum and energy in its phase, and the classical non-relativistic energy relation. We differentiate the plane wave to extract the operators, then substitute them into E = p²/2m + V and let the resulting operator identity act on an arbitrary wavefunction, which is what upgrades a numerical relation into a differential equation valid for bound states too.

Step 1. Take the free plane wave ψ = N e^{i(p·x − Et)} and act with the spatial gradient: ∇ψ = ip ψ, so −i∇ψ = p ψ, and with the time derivative: ∂ₜψ = −iE ψ, so i∂ₜψ = E ψ. Why: the momentum and energy are literally the rates at which the phase winds in space and time, so the operators that read them off must be p̂ = −i∇ and Ê = i∂ₜ.

Step 2. For a free non-relativistic particle E = p²/2m. Replace each side by its operator acting on ψ using Step 1: i∂ₜψ = (−i∇)·(−i∇)/2m ψ = −∇²/2m ψ. Why: this is the operator version of "energy equals kinetic energy", and it is already the free Schrödinger equation with V = 0, solved exactly by the plane wave.

Step 3. Add a potential by using the full classical Hamiltonian E = p²/2m + V(x). Promoting it gives Ĥ = −∇²/2m + V and the equation i∂ₜψ = Ĥψ. This now holds for any ψ, not only plane waves. Why: the potential acts by multiplication, so it needs no derivative promotion; demanding the identity hold on arbitrary states is exactly what makes it a differential equation whose solutions include atomic orbitals and scattering states.

Step 4. Check consistency: on the plane wave, Ĥψ = (p²/2m + V)ψ and i∂ₜψ = Eψ, so the equation reduces to E = p²/2m + V, the classical relation we started from. Why: the machinery has to give back its own input in the case where the input is exact, and it does. *Verified: −i∇ψ = pψ, i∂ₜψ = Eψ on the plane wave; i∂ₜψ = (−∇²/2m + V)ψ reduces to E = p²/2m + V for V constant.*

Go deeper · Derivation B · 2 minThe continuity equation and the probability current
Derivation BThe continuity equation and the probability current

The aim is to prove that Born's probability is locally conserved — that it cannot vanish here and reappear there, but must flow — and to construct, not merely postulate, the current j that does the flowing. This is the flagship of the review because the very same current, once the wavefunction is made relativistic, is the incident flux that normalises every cross section and decay rate. We combine the Schrödinger equation with its complex conjugate, arrange the terms into the time derivative of ρ = ψ*ψ plus a divergence, and thereby read off j as whatever quantity makes the continuity equation an identity.

Step 1. Write the Schrödinger equation i∂ₜψ = −(1/2m)∇²ψ + Vψ and its complex conjugate −i∂ₜψ = −(1/2m)∇²ψ + Vψ (V is real). Why: probability density ρ = ψψ mixes ψ and ψ, so its time derivative needs the evolution of both, and only a real potential lets the V-terms cancel later.*

Step 2. Form ∂ₜρ = ψ∂ₜψ + (∂ₜψ)ψ. Substitute ∂ₜψ = −i Ĥψ and ∂ₜψ = +i Ĥψ from Step 1: the two Vψψ terms cancel, leaving ∂ₜρ = (i/2m)(ψ∇²ψ − ψ∇²ψ). Why: the potential drops out entirely, so probability flow is controlled purely by the kinetic (Laplacian) term — interactions redistribute probability but never create it.*

Step 3. Recognise the right-hand side as a pure divergence: ψ∇²ψ − ψ∇²ψ = ∇·(ψ∇ψ − ψ∇ψ). Hence ∂ₜρ = ∇·[(i/2m)(ψ∇ψ − ψ∇ψ)] = −∇·j with j = (1/2im)(ψ∇ψ − ψ∇ψ). Why: writing the source term as a divergence is exactly what turns a statement about a density into a statement about a flow, and it defines <strong>j</strong> with no freedom left over.

Step 4. Collect: ∂ₜρ + ∇·j = 0. Integrate over all space; the divergence becomes a surface term at infinity where ψ → 0, so d/dt ∫ρ d³x = 0 — total probability is constant. Why: this is what guarantees a normalised state stays normalised, so |ψ|² can be a probability at every time, not just at t = 0.

Step 5. Evaluate for the plane wave ψ = N e^{i(p·x − Et)}: ∇ψ = ipψ, so ψ∇ψ = i<strong>p</strong>|N|² and ψ∇ψ = −ip|N|², giving j = (1/2im)(2ip|N|²) = |N|²p/m = nv. Why: the abstract current becomes a concrete flux — a number density n = |N|² streaming at <strong>v</strong> = <strong>p</strong>/m — the picture that carries straight into relativistic scattering. *Verified: V cancels; ∂ₜρ + ∇·j = 0 identically; d/dt∫ρ = 0; plane-wave current j = |N|²p/m = nv.*

Go deeper · Derivation C · 1 minConserved quantities from commutation with the Hamiltonian
Derivation CConserved quantities from commutation with the Hamiltonian

The purpose here is to establish the single most useful bookkeeping rule in quantum theory: an observable is conserved exactly when its operator commutes with the Hamiltonian. This is Ehrenfest's theorem, and it is the operator-language form of Noether's theorem — every symmetry of Ĥ hands you a constant of the motion. We differentiate the expectation value of an operator, use the Schrödinger equation to convert time derivatives of the state into the action of Ĥ, and invoke Hermiticity of Ĥ to fold both pieces into a single commutator.

Step 1. For an operator  with no explicit time dependence, ⟨Â⟩ = ∫ψÂψ d³x, so d⟨Â⟩/dt = ∫[(∂ₜψ)Âψ + ψÂ(∂ₜψ)] d³x. Why: only the state carries time, so the product rule leaves exactly two terms, one from each factor of the state.*

Step 2. Insert ∂ₜψ = −iĤψ and ∂ₜψ = +iĤψ (using Ĥ real and Hermitian): d⟨Â⟩/dt = ∫[(iĤψ)Âψ − iψÂĤψ] d³x = i∫ψ(Ĥ − ÂĤ)ψ d³x. Why: Hermiticity lets the Ĥ that acted on ψ be moved to act on the rest of the integrand, so both terms become sandwiches ψ(…)ψ and combine into one commutator.*

Step 3. Read off d⟨Â⟩/dt = i⟨[Ĥ, Â]⟩. Therefore if [Ĥ, Â] = 0, then ⟨Â⟩ is constant — Â is a conserved quantity. Why: this converts the dynamical question "is this conserved?" into the purely algebraic one "does it commute with Ĥ?", which can be answered without ever solving the equation of motion.

Step 4. Apply to momentum and angular momentum. For a free particle Ĥ = p̂²/2m commutes with p̂, so momentum is conserved. For any central potential V(r), Ĥ commutes with L̂² and L̂_z, so those are conserved and states are labelled |n, ℓ, m⟩. Why: this is why atomic states carry (ℓ, m), and the same commuting-set logic later assigns the (I, I₃) quantum numbers of isospin multiplets. *Verified: d⟨Â⟩/dt = i⟨[Ĥ, Â]⟩; [Ĥ, p̂] = 0 for V = 0; [Ĥ, L̂²] = [Ĥ, L̂_z] = 0 for V = V(r).*

Limiting cases

CaseResultMeaning
Free particle, V = 0ψ = N e^{i(p·x − Et)}, E = p²/2mexact momentum eigenstates; p̂ conserved, states are a beam of flux nv
Stationary state, ∂ₜĤ = 0ψ = φ(x) e^{−iEt}, ρ =φ² time-independentenergy eigenstates; all probabilities frozen — the atom's orbitals
Ehrenfest / classical limitd⟨p̂⟩/dt = −⟨∇V⟩, d⟨x̂⟩/dt = ⟨p̂⟩/mwave-packet centroids obey Newton's laws; ℏ-effects hide in the spread
Central potential V(r)[Ĥ, L̂²] = [Ĥ, L̂_z] = 0, statesn, ℓ, m⟩rotational symmetry ⇒ conserved angular momentum and (ℓ, m) labels
Commuting observables[Â, B̂] = 0 ⇒ shared eigenbasisÂ, B̂ simultaneously measurable; a complete set fixes the state uniquely
High velocity, v → cnon-relativistic E = p²/2m failsmust switch to Klein–Gordon / Dirac; this article is the launch pad, not the destination

Worked examples

1 · The de Broglie wavelength of a 100 eV electron (confidence builder)

An electron is accelerated through 100 V, giving it kinetic energy E_k = 100 eV. Find its momentum, de Broglie wavelength, and speed, and confirm that non-relativistic mechanics is justified.

Step 1. The electron is non-relativistic (to be checked), so E_k = p²/2m and p = √(2mE_k). Working with pc = √(2mc²·E_k) avoids unit juggling: with mc² = 511 000 eV, pc = √(2 × 511 000 × 100) eV = √(1.022 × 10⁸) eV = 10.1 keV.

Step 2. The de Broglie wavelength is λ = 2π/p = hc/(pc). Using hc = 1239.8 eV·nm, λ = 1239.8 / 10 109 = 0.123 nm. This is a fraction of a nanometre — comparable to atomic spacings in a crystal, which is precisely why 100 eV electrons diffract off crystal surfaces (the basis of low-energy electron diffraction, LEED).

Step 3. The speed follows from v/c = pc/(mc²) = 10 109 / 511 000 = 0.0198, so v = 5.9 × 10⁶ m/s = 0.020c. The relativistic correction is of order (v/c)² ≈ 4 × 10⁻⁴, equivalently γ − 1 = E_k/mc² = 2 × 10⁻⁴, so treating the electron non-relativistically is accurate to about 0.02%. λ = 0.123 nm at v = 0.020c, comfortably non-relativistic.

2 · The probability current of a plane wave is a flux (fully worked)

Take the free plane-wave state ψ = N e^{i(p·x − Et)}. Compute its probability density and current explicitly, and interpret the result for the electron of Example 1.

Step 1. Density: ρ = ψ*ψ = |N|² e^{−i(p·x−Et)} e^{i(p·x−Et)} = |N|², a constant everywhere. The state has no localisation — it is spread uniformly over all space, which is why it must be read as a beam, not a single located particle.

Step 2. Current: with ∇ψ = ipψ we get ψ∇ψ = i<strong>p</strong>|N|² and ψ∇ψ = −ip|N|². Then j = (1/2im)(ψ∇ψ − ψ∇ψ) = (1/2im)(2ip|N|²) = |N|²p/m.

Step 3. Interpret: write n = |N|² and v = p/m, so j = nv. This is a number density times a velocity — a flux. For the 100 eV electron, v = 5.9 × 10⁶ m/s, so a beam of density n carries a flux j = n × 5.9 × 10⁶ particles per m² per second. In a scattering calculation this j is exactly what a measured event rate is divided by to define a cross section. j = |N|²p/m = n v — the incident flux factor of scattering theory.

3 · The angular-momentum algebra from the canonical commutator

Using only [x̂ᵢ, p̂ⱼ] = iδ_{ij} (coordinates mutually commute, momenta mutually commute), show that [L̂ₓ, L̂_y] = iL̂_z, verifying the SU(2) template of equation (6).

Step 1. Write the components: L̂ₓ = ŷp̂_z − ẑp̂_y and L̂_y = ẑp̂ₓ − x̂p̂_z. Expand the commutator into four pieces: [L̂ₓ, L̂_y] = [ŷp̂_z, ẑp̂ₓ] − [ŷp̂_z, x̂p̂_z] − [ẑp̂_y, ẑp̂ₓ] + [ẑp̂_y, x̂p̂_z].

Step 2. Evaluate each using [ẑ, p̂_z] = i and dropping terms of commuting operators. The middle two vanish: [ŷp̂_z, x̂p̂_z] = 0 and [ẑp̂_y, ẑp̂ₓ] = 0 (no conjugate pair meets). The surviving pieces are [ŷp̂_z, ẑp̂ₓ] = ŷp̂ₓ[p̂_z, ẑ] = −iŷp̂ₓ and [ẑp̂_y, x̂p̂_z] = x̂p̂_y[ẑ, p̂_z] = ix̂p̂_y.

Step 3. Combine with the signs from Step 1: [L̂ₓ, L̂_y] = −iŷp̂ₓ + ix̂p̂_y = i(x̂p̂_y − ŷp̂ₓ) = iL̂_z. The algebra closes on itself, cyclically. This is the SU(2) Lie algebra; replacing L̂ by isospin Î reproduces [Îₓ, Î_y] = iÎ_z, so the proton–neutron doublet and the pion triplet are organised by the very same commutators derived here from [x̂, p̂] = i.

Physics of the portrait

Non-relativistic quantum mechanics has two fathers — Heisenberg's matrix mechanics and Schrödinger's wave mechanics — but it is the wave equation, and the wavefunction it acts on, that this article is built from, so the portrait is Schrödinger's.

Origins · 1 minErwin Schrödinger and how this was discovered
ES
Erwin Schrödinger
1887–1961 · wave mechanics and the equation of motion for the wavefunction

Erwin Schrödinger was a 38-year-old professor in Zurich — old, by the standards of the quantum revolution — when in a burst over the winter of 1925–26 he wrote down the equation that carries his name. He was reacting to de Broglie's 1924 idea that matter has a wavelength, and reasoning that if particles are waves there ought to be a wave equation governing them. Within six months of papers he produced the time-independent and time-dependent equations, solved the hydrogen atom exactly, and showed that his wave mechanics was mathematically equivalent to Heisenberg's more abstract matrix mechanics — a unification that reconciled the field's two rival camps. Schrödinger himself favoured a literal picture of ψ as a smeared charge cloud and was famously unhappy with the probabilistic reading that Max Born supplied in the same year, ρ = ψ*ψ; his 1935 "cat" thought experiment was an argument against, not for, the orthodoxy it is now used to illustrate. He shared the 1933 Nobel Prize with Dirac, left Germany in disgust at the Nazi regime, and eventually settled at the Dublin Institute for Advanced Studies, where his 1944 book What Is Life? seeded molecular biology by framing the gene as an aperiodic crystal. The equation remains the workhorse of chemistry, condensed matter, and — as the non-relativistic limit that Klein–Gordon and Dirac must reduce to — the ancestor of every wave equation in particle physics.

History
1924
— de Broglie proposes that matter has a wavelength λ = h/p
1925
— Heisenberg formulates matrix mechanics with Born and Jordan
1926
— Schrödinger publishes the wave equation; Born gives ρ = ψ*ψ its probability meaning
1927
— Heisenberg states the uncertainty principle; Ehrenfest links quantum averages to classical motion
1928
— Dirac extends the wave equation to relativistic spin-half particles

Going further

Texts. Thomson, Modern Particle Physics, §2.3 (non-relativistic quantum mechanics) — the direct source and the particle-physics framing used here · Griffiths, Introduction to Quantum Mechanics, 3rd ed., Chs. 1–4 (wavefunction, formalism, angular momentum) · Sakurai & Napolitano, Modern Quantum Mechanics, Chs. 1–3 (operator and commutator structure) · Shankar, Principles of Quantum Mechanics, Chs. 4–12 · Peskin & Schroeder, An Introduction to Quantum Field Theory, §2.1 (where this review's flux and operator language is made relativistic).

Provenance. The plane-wave conventions and ℏ = 1 bookkeeping are recalled by name from aq-pp-natural-units and aq-pp-four-vector-notation; the operator correspondence, continuity equation, and angular-momentum algebra are re-derived in full above. A verifier should confirm: (1) −i∇ψ = pψ and i∂ₜψ = Eψ on the plane wave, yielding i∂ₜψ = (−∇²/2m + V)ψ; (2) ∂ₜρ + ∇·j = 0 identically from the Schrödinger equation and its conjugate, with j = |N|²p/m = nv for a plane wave; (3) d⟨Â⟩/dt = i⟨[Ĥ, Â]⟩ and [Ĥ, L̂²] = [Ĥ, L̂_z] = 0 for a central potential; (4) [L̂ₓ, L̂_y] = iL̂_z from [x̂ᵢ, p̂ⱼ] = iδ_{ij}; (5) the 100 eV electron numbers pc = 10.1 keV, λ = 0.123 nm, v = 0.020c. All standard values (mc² = 511 keV, hc = 1239.8 eV·nm) are as tabulated.

Prerequisites. Natural Units · Four-Vector Notation. Leads to. Klein–Gordon Equation · Dirac Equation · Symmetries in Quantum Mechanics · Isospin · Two-Flavour Neutrino Oscillations.

:::faq[What does [x̂, p̂ₓ] = i actually mean physically?] It is the mathematical root of the uncertainty principle. Because position and momentum operators do not commute, they cannot share a common set of eigenstates, so no state can have both a definite position and a definite momentum at once. Quantitatively, the commutator sets the bound ΔxΔp ≥ 1/2 (that is ℏ/2 in ordinary units): the more sharply localised a wavefunction is in space, the broader the spread of momenta needed to build it out of plane waves, and vice versa. This is not a limitation of measurement apparatus but a property of the states themselves — a narrow wave packet is genuinely a superposition of many momenta. The same non-commutation, applied to angular-momentum components, is why you can know L² and L_z but never Lₓ and L_y together.

Ask the tutor: ask me to push any plane-wave result here — the current, the commutator algebra, or the de Broglie number — one step further into its relativistic successor, and watch where each piece lands in Klein–Gordon, Dirac, or a cross-section calculation.

Why must observables be represented by Hermitian operators?

Because a measurement returns a real number, and the possible outcomes of measuring  are its eigenvalues. A Hermitian operator († = Â) is guaranteed to have real eigenvalues and a complete orthonormal set of eigenstates, so any state can be expanded in them and the outcome probabilities sum to one. Non-Hermitian operators can have complex eigenvalues, which could never be the reading on a real instrument. Hermiticity also makes the Hamiltonian's time evolution unitary — it preserves total probability, the same fact the continuity equation expresses locally. So "observable = Hermitian operator" is not an arbitrary rule; it is what makes the eigenvalue-as-measurement picture self-consistent.

Why is the plane wave's |N|² a number density and not a probability?

Because a plane wave is not normalisable. Its density ρ = |N|² is the same at every point in space, so ∫|ψ|²d³x = |N|²V diverges as the volume V → ∞ — there is no way to scale it to a total probability of one. The honest interpretation is to think of the plane wave as describing a steady beam rather than one localised particle: |N|² = n is the number of particles per unit volume, and the current j = nv is the flux, particles crossing unit area per second. This is not a fudge; it is the natural language for scattering, where you always have a beam hitting a target, and it is exactly the flux that cross sections are normalised by. Genuine single-particle probabilities return the moment you build a normalisable wave packet from a spread of plane waves.

How is "commutes with Ĥ ⇒ conserved" related to Noether's theorem?

They are the same statement in two languages. Noether's theorem (classical field theory) says every continuous symmetry of the action yields a conserved current. In quantum mechanics, a symmetry is generated by a Hermitian operator Ĝ, and the statement "Ĥ is invariant under the symmetry" is precisely [Ĥ, Ĝ] = 0. Ehrenfest's theorem, d⟨Ĝ⟩/dt = i⟨[Ĥ, Ĝ]⟩, then makes ⟨Ĝ⟩ constant. So translational symmetry (generator p̂) gives momentum conservation, rotational symmetry (generator L̂) gives angular-momentum conservation, and time-translation symmetry gives energy conservation. The commutator test is Noether's theorem stripped to its algebraic core, which is why it is so quick to apply — you never have to solve the equation of motion.

Where does this non-relativistic framework break down, and what replaces it?

It breaks when kinetic energies approach the rest mass, v → c, because the relation E = p²/2m is the low-velocity expansion of E = √(p²c² + m²c⁴) and drops the rest energy and all relativistic corrections. It also cannot create or destroy particles, yet high-energy collisions do exactly that. The fix is to build wave equations from the relativistic energy–momentum relation: the Klein–Gordon equation (spin 0) from E² = p² + m², and the Dirac equation (spin 1/2) by taking a "square root" of it. Both must reduce to the Schrödinger equation in the low-velocity limit — that reduction is a standard consistency check. Ultimately the single-particle picture is replaced by quantum field theory, where the wavefunction's operators are promoted to fields, but the operator, commutator, and flux language reviewed here carries straight over.

The wavefunction is complex — is that physical, or just convenient?

It is genuinely physical, not a calculational shortcut. The plane wave e^{i(p·x−Et)} needs both a real and an imaginary part because a single real sinusoid cannot encode the direction of momentum — cos(px − Et) and cos(−px − Et) are the same function, so a real wave could not distinguish a particle moving right from one moving left. The complex phase does. The relative phase between components is also what produces interference, the hallmark of quantum mechanics, and it is why the current j depends on ψ∇ψ − ψ∇ψ, a quantity that vanishes for any purely real ψ (a real wavefunction carries no current). What is not directly observable is the overall phase of ψ; only phase differences and |ψ|² are measurable, and that freedom to rephase ψ globally is the seed of the local gauge invariance that generates the electromagnetic interaction.

Before this

Where this leads