Bloch Theorem and Bands

Bloch states, energy, and electronic band formation. Theory, formulas, worked examples and interactive graphs.

Conceptual context

In an ideal crystal, an electron does not travel through empty space. It moves through a landscape that repeats from cell to cell. That repetition does not remove electronic freedom; it organizes it. Bloch theorem says that each state can be labeled by kk, and that this label lets us build curves of EE versus kk. The central question is how this reciprocal-space coordinate determines which energies are allowed, where bands appear, and why some intervals, the EgEg, are forbidden.

🟢 Essential level

The kk is a phase label for motion through a crystal. It does not locate the electron in one cell; it tells how the quantum state changes when the lattice is translated.

A Bloch state ψk(r)\psi_{k}(r) combines an extended oscillation with a repeated internal texture, uk(r)u_k(r). That repeated texture carries the crystal’s microscopic pattern, while ϕ\phi carries the phase gained from one cell to the next. When EE is plotted against kk, the crystal’s rules become visible: allowed branches, flat regions, steep regions, and forbidden gaps. Near a band edge, the periodic potential can mix waves traveling with related reciprocal labels, opening a EgEg. Therefore the band diagram is not only an energy chart; it is a compact map of how periodicity allows, redirects, or blocks electronic propagation.

Felix Bloch proved this theorem in 1928, in his early twenties, as part of his doctoral thesis under Werner Heisenberg's supervision. Decades later, Bloch would share the 1952 Nobel Prize in Physics, though for different work: the development of nuclear magnetic resonance.

🔵 Formal level

Basic formulas

The formal starting point is that a periodic potential allows eigenstates with Bloch structure: a plane-wave factor labeled by kk multiplied by a lattice-periodic factor uk(r)u_k(r) evaluated at rr.

Bloch State

ψk(r)=eikruk(r)\psi_k(r)=e^{i k r}u_k(r)

A translation by the lattice period aa does not change the probability density, but it transforms ψk(r)\psi_{k}(r) into ψk(r+a)\psi_{k}(r+a) through a ϕ\phi controlled by kk.

Bloch Translation Condition

ψk(r+a)=eikaψk(r)\psi_k(r+a)=e^{i k a}\psi_k(r)

If the periodic potential is weak, or used as a reference model, E0E0 grows parabolically with kk, with ℏ\hbar connecting phase, crystal momentum, and energy.

Free-Electron Energy

E0(k)=ℏ2k22m∗E_0(k)=\frac{\hbar^2 k^2}{2m^*}

Real student questions

Is kk the same as momentum? Not exactly. It is related to crystal momentum, but it lives in reciprocal space and is identified modulo reciprocal lattice vectors.

Why are there bands rather than any energy? Because periodicity restricts compatible states. Some values of EE fit the symmetry, while others form EgEg.

Why does slope matter? Because dEdk\frac{dE}{dk} controls vgvg. Two points with similar energies can have very different velocities.

What does negative m∗m* mean? It means the local band curvature has changed sign. It is not literal negative mass, but an inverted dynamical response.

Final synthesis

Bloch theorem turns crystal periodicity into a classification rule. kk labels states, EE gives the allowed energies, and the curve shape reveals gaps, velocities, and effective masses.

Formal development

This section is part of the complete theory. See the subscription options to access it.

🔴 Structural level

This section is part of the complete theory. See the subscription options to access it.

Deep physical interpretation

This section is part of the complete theory. See the subscription options to access it.

Order of magnitude

This section is part of the complete theory. See the subscription options to access it.

Personalized resolution method

This section is part of the complete theory. See the subscription options to access it.

Special cases and extended example

This section is part of the complete theory. See the subscription options to access it.

Cross-cutting connections and study paths

This section is part of the complete theory. See the subscription options to access it.