Felix Bloch in his "Reminiscences of Heisenberg and the early days of quantum mechanics" explains how his investigation of the theory of conductivity in metal led to what is now known as the Bloch Theorem.

"When I started to think about it, I felt that the main problem was to explain how the electrons could sneak by all the ions in a metal so as to avoid a mean free path of the order of atomic distances. Such a distance was much too short to explain the observed resistances... To make my life easy, I began by considering wavefunctions in a one-dimensional periodic potential. By straight Fourier analysis I found to my delight that the wave differed from the plane wave of free electrons only by a periodic modulation.

This was so simple that I couldn't think it could be much of a discovery, but when I showed it to Heisenberg he said right away: 'That's it!' Well that wasn't quite it yet , and my calculations were only completed in the summer when I wrote my thesis on "The Quantum Mechanics of Electrons in Crystal Lattices." [F. Bloch 1976, p.26]

Statement of the Theorem: Let R be any vector in a lattice. Let be a single electron solution to the Schroedinger equation

(h²/2m)² /x² + U(r)(r)
= E(r)

where U((r+R)=U((r) for all R belong to the lattice. Then there exists a wavevector k in the reciprocal lattice and a periodic function u _k(r) such that u_k(r+R)=u_k(r) such that is of the form

= exp(ik r)u _k(r) for all r.

This means that is a plane wave exp(ikr) modulated by the function u _k(r).

Not all wavefunctions satisfy the Bloch Theorem. For example, if the wavefunction is for a lattice with boundaries then it is not of the Bloch form. The wavefunction of two or more interacting electrons is not of the Bloch form.

If _k(x) = C(k)exp(ikx) + C(k+G)exp(i(k+G)x)

then

_k(x) = exp(ikx)[C(k) + C(k+G)exp(iGx)].

Consider if

u _k(x) = [C(k) + C(k+G)exp(iGx)]

is periodic with the periodicity of the lattice. Let R be any element of the lattice and let G be any element of the reciprocal lattice. This means that GR is an integer multiple of 2 so

exp(iGR) = 1.

Then

u _k(x+R) = [C(k) + C(k+G)exp(iG(x+R))]
= [C(k) + C(k+G)exp(iGx)exp(iGR)]

But exp(iGR)=1 so

u_k(x+R) = [C(k) + C(k+G)exp(iGx)] = u_k(x).

Thus _k(x) is of the Bloch form.

_k(x) will be an eigenfunction of the momentum operator if the momentum operator commutes with the Hamiltonian operator. This requires that

)/x)H - H)/x)]f(x) = 0

While it is true that

(/x) (²/x²) = (²/x²) (/x) = ( ³/x ³);

(/x)[U((x)f(x)]

(/x)[U((x)f(x)]