Bloch's Theorem
Bloch's theorem states that the wavefunction of an electron moving through a perfectly periodic potential — such as the repeating electric potential created by a crystal's regular lattice of atoms — must take the form of a plane wave multiplied by a function that shares the same periodicity as the lattice, providing the essential mathematical foundation for band theory.
Curious
Solving the quantum mechanics of a single electron in a crystal containing, say, 10²³ atoms sounds like it should be hopelessly complicated. Felix Bloch's 1929 theorem shows it isn't — because the crystal's atomic arrangement repeats periodically, the electron's allowed wavefunctions must also have a specific repeating mathematical structure, drastically simplifying the problem: rather than solving for the electron's behaviour throughout the whole crystal, it's enough to solve the problem within just a single unit cell and apply the periodicity condition.
This is the crucial mathematical stepping stone connecting the idea of a periodic crystal lattice to the emergence of electron energy bands (covered in the Codex's band theory entry) — without Bloch's theorem, there would be no clean, general way to derive why electron energies in a solid organise themselves into bands separated by forbidden gaps.
Exploring
| Symbol | Name | Property |
|---|---|---|
| ψ_k(r) | Bloch wavefunction | Full electron wavefunction at crystal momentum k |
| e^(ik·r) | Plane wave envelope | Describes overall wave-like propagation |
| u_k(r) | Periodic (cell) function | Repeats with exactly the lattice's periodicity |
| k | Crystal momentum (wavevector) | Analogous to, but distinct from, ordinary momentum |
Deep Dive
Bloch's theorem follows from applying the general mathematical fact that eigenfunctions of an operator commuting with a translation operator can be chosen to also be eigenfunctions of that translation operator — since a perfectly periodic crystal potential is, by definition, invariant under translation by any lattice vector, the Hamiltonian commutes with the lattice translation operator, and Bloch's theorem is essentially the statement of what this symmetry implies for the allowed electron wavefunctions. This is a specific physical application of a more general principle in quantum mechanics connecting symmetries of a system to constraints on its allowed quantum states (closely related to Noether's theorem in classical mechanics, connecting continuous symmetries to conservation laws).
The Brillouin zone: Because crystal momentum k is only meaningful modulo reciprocal lattice vectors, all physically distinct values of k can be represented within a single, bounded region of momentum space called the first Brillouin zone — a concept introduced by Léon Brillouin in 1930, building directly on Bloch's work, that remains the standard framework for presenting and analysing electron band structures in solid state physics today (see the Codex's forthcoming Brillouin Zone entry).
Bloch's theorem, while originally developed for electrons in crystalline solids, generalises to any wave phenomenon propagating through a periodic medium — photonic crystals (engineered periodic optical structures) and phononic crystals (periodic structures for sound and mechanical vibration) both rely on directly analogous Bloch-wave mathematics, illustrating the theorem's significance as a general principle of wave physics in periodic media, not merely a quirk specific to electrons.
Concept Relationship Map
Requires: crystal structure, quantum mechanics
Enables: band theory, Brillouin zone, effective mass
Commonly confused with: treating crystal momentum as identical to ordinary momentum (it's conserved only modulo a reciprocal lattice vector)
Sources
- Bloch, F. (1929). Zeitschrift für Physik, 52(7–8), 555–600.
- Ashcroft, N.W., Mermin, N.D. (1976). Solid State Physics. Holt, Rinehart and Winston, Ch. 8.