Bloch's Theorem and Energy Bands
An electron in a periodic potential has stationary states that are plane waves modulated by a lattice-periodic envelope. This lesson proves Bloch's theorem two ways, defines crystal momentum and the band index, counts the allowed wavevectors from Born–von Kármán boundary conditions, and sets up the extended, reduced, and repeated-zone descriptions of a band.
╌╌╌╌
The free-electron gas treats a metal's conduction electrons as a Fermi gas in a flat box, ignoring the ions entirely. That model reproduces the electronic heat capacity and the order of magnitude of the conductivity, but it cannot explain why some solids conduct and others insulate, why a few metals carry current as though the charge carriers were positive, or why the mean free path can reach centimetres at low temperature. Every one of these failures traces to the same omission: the periodic potential of the ion cores. This module restores that potential. The single structural fact that organizes the whole subject is that the electron sees a potential with the periodicity of the lattice,
and the eigenstates of a Hamiltonian with that symmetry have a rigidly constrained form. Bloch's theorem states that form.
The periodic potential
A crystal is a Bravais lattice of points with a basis of ions attached to each point. An electron moving through it feels the summed Coulomb attraction of all the ion cores (and, in a mean-field sense, the averaged repulsion of the other electrons). Because the ions sit on a periodic array, the resulting one-electron potential inherits that period: translating by any maps the crystal onto itself and leaves unchanged. The one-electron Hamiltonian is
The potential is not weak in any absolute sense; near an ion it plunges to tens of electron-volts. What matters is only its periodicity. Two limiting approximations bracket every real band structure: the nearly-free-electron model, which treats the periodic modulation as a weak perturbation on plane waves, and the tight-binding model, which starts from isolated-atom orbitals and lets them hybridize. Bloch's theorem holds exactly regardless of the potential's strength, so it governs both limits.
Bloch's theorem
The label is a wavevector; is the band index, distinguishing the discrete solutions found at fixed . A state of this form is a Bloch wave: a running plane wave whose amplitude is not constant but modulated by the lattice-periodic envelope , which repeats the internal structure of the potential inside every cell.
Proof from translation operators
Define the lattice translation operator that shifts a function by a lattice vector, . Because is periodic and is translation-invariant, commutes with the Hamiltonian, . Successive translations add, so the translations commute among themselves, .
The physical content is that the crystal's discrete translation symmetry, like any symmetry, labels its eigenstates by the eigenvalue of the symmetry operation. Here the eigenvalue is the phase picked up on translating by , and is the label. Two wavevectors differing by a reciprocal-lattice vector give identical phases, since by definition of the reciprocal lattice. So and label the same translational symmetry, and every distinct label lies in one primitive cell of the reciprocal lattice — the first Brillouin zone.
Proof from the Fourier expansion
The second proof is constructive and produces the equation that the nearly-free-electron model solves. Expand the periodic potential in reciprocal -lattice plane waves, the only ones with the lattice period,
and expand any wavefunction obeying Born–von Kármán boundary conditions in the allowed plane waves,
Substituting both into and matching the coefficient of each gives the central equation,
The potential only couples to coefficients whose wavevector differs by a reciprocal-lattice vector. A given is therefore linked only to the set , and never to wavevectors outside that family. Fix one representative in the first zone; the central equation is a closed linear system in the coefficients . Its solution is a wavefunction built entirely from plane waves ,
and the bracketed sum is periodic because each is. This reproduces Bloch's theorem and shows that at fixed the central equation has a discrete ladder of solutions — one eigenvalue per band index .
Crystal momentum
The quantity is the crystal momentum. It is not the electron's true momentum. A Bloch state is not an eigenstate of the momentum operator , because acting with on also differentiates the envelope:
and the second term does not vanish. A Bloch state is a superposition of the plane-wave momenta , weighted by the . What does capture is the state's transformation under lattice translations, and it is that quantity which is conserved when Bloch electrons scatter off one another or off phonons. In such a process the total crystal momentum is conserved only up to a reciprocal-lattice vector,
the same selection rule that governs phonon collisions: processes with are normal, those with are Umklapp. The distinction between true momentum (conserved absolutely, from continuous translation symmetry) and crystal momentum (conserved mod , from discrete translation symmetry) is the recurring theme of transport in crystals.
The band index and
At each the eigenvalue problem is that of the periodic Hamiltonian restricted to Bloch waves of that wavevector: substitute into to get an eigenvalue equation for on a single primitive cell,
with periodic boundary conditions on the cell. A Hermitian eigenvalue problem on a finite region has a discrete, bounded-below spectrum, so for each the energies form a discrete ladder labeled . As varies continuously through the first zone, each traces out a continuous sheet — an energy band. The set of all bands is the crystal's band structure. Because and label the same state, each band is periodic in reciprocal space,
so the entire spectrum is determined by its values on the first Brillouin zone.
Born–von Kármán boundary conditions and the count of states
To count states one must make the crystal finite without introducing a surface. The Born–von Kármán (periodic) boundary condition wraps the crystal onto itself after cells along each primitive direction,
with the total number of primitive cells. Applying the Bloch relation times gives , so the allowed wavevectors are quantized,
These points form a fine uniform mesh in reciprocal space. The volume per allowed is with the crystal volume — identical to the free-electron count, because the density of allowed wavevectors depends only on the box size, not on the potential. Counting how many fall inside one Brillouin zone (of volume ) gives
Each band contains exactly distinct wavevectors — one per primitive cell in the crystal. Including the two spin states, a band holds electrons. This integer count is the hinge of the metal–insulator distinction developed in the Fermi-surface lesson: a crystal with an even number of electrons per cell can exactly fill an integer number of bands, and a filled band carries no current.
Zone schemes
The periodicity means one band structure admits three equivalent drawings. In the extended-zone scheme each band is placed in a different Brillouin zone, so the curve marches outward through successive zones and, for a weak potential, resembles the free-electron parabola with small gaps at the zone edges. In the reduced-zone scheme every band is translated by the appropriate back into the first zone, stacking the branches into a set of curves indexed by — the standard band-structure plot. In the repeated-zone scheme each reduced band is copied into every zone, making the full periodicity manifest and letting one follow a Fermi surface across zone boundaries without bookkeeping. The three carry identical information; the choice is a matter of convenience.
The vocabulary of this lesson — Bloch waves, crystal momentum, the band index, the count of states per band, the zone schemes — is the coordinate system in which every later result is stated. The nearly-free-electron model solves the central equation for a weak potential and shows how the free-electron parabola breaks into bands with gaps of size at the zone boundaries; the tight-binding model builds the same bands from the opposite limit of localized orbitals.
╌╌ END ╌╌