Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm having a problem following a derivation of Bloch's theorem, looking at a one dimensional lattice with $N$ nodes and spacing a, we impose periodic boundary conditions, meaning that the wave-function of a single electron $\psi(x)$ can be decomposed in the following modes:



$$q = \frac{2\pi m}{N a}\; m\in \mathbb{Z}.$$

Otherwise it would be multivalued.

Schrodinger's equation gives:$$(\epsilon - \frac{\hbar^2q^2}{2m})\phi(q)=\sum_{k \in B}\tilde{V}(k)\phi(q+k)$$ where $\epsilon$ is the energy eigenvalue of $\psi$, $B$ is the reciprocal Bravais lattice ($k=\frac{2\pi n}{a}$ with $n\in \mathbb{Z}$), $\tilde{V}$ is the Fourier transform of the potential. So the $\phi$ modes separated by a vector belonging to the reciprocal Bravais lattice are coupled but I don't see how it implies that only $q$ vectors that are in this class of equivalence (whose difference belongs to $B$) should appear in the first sum (the expansion of $\psi$ in modes).

share|cite|improve this question
up vote 2 down vote accepted

This is not true--- you can make superpositions of degenerate energy eigenstates and the are still eigenstates. For example, moving at wavenumber k and -k have the same energy, but the difference is not in the reciprocal lattice.

The proper thing to say is that the Hamiltonian is translationally invariant with translation operator the lattice translations, and this means that H commutes with lattice translations, so that the eigenvalues of the lattice translations (the equivalence class of k under the reciprocal lattice) are each separately sectors where you find eigenvectors of H.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.