# Don't understand proof of Bloch theorem

• B
The potential inside the crystal is periodic ##U(\vec{r} + \vec{R}) = U(\vec{r})## for lattice vectors ##\vec{R} = n_i \vec{a}_i##, ##n_i \in \mathbb{Z}## (where the ##\vec{a}_i## are the crystal basis), and Hamiltonian for an electron in the crystal is ##\hat{H} = \left( -\frac{\hbar^2}{2m} \nabla^2 + U(\vec{r}) \right)##. The book defined a translation operator ##T_{\vec{R}}##, and proved that ##T_{\vec{R}}## and ##\hat{H}## are commuting operators, so have simultaneous eigenstates,$$\hat{H} \psi = E\psi, \quad T_{\vec{R}} \psi = c(\vec{R}) \psi$$They also prove that ##c(\vec{R} + \vec{R}') = c(\vec{R})c(\vec{R}')## for two lattice vectors ##\vec{R}## and ##\vec{R}'##. But I don't understand the next bit, which says ##c(\vec{a}_i)## can always be written in the form$$c(\vec{a}_i) = e^{2\pi i x_i}$$for some ##x_i##. I feel like I'm missing something obvious, why can we do this? Thanks!

Last edited by a moderator:
JD_PM

Gold Member
##T_{\vec{R}}\psi(\vec{x}) = \psi(\vec{x}-\vec{R})## by definition, so the statement ##T_{\vec{R}}\psi(\vec{x}) = c(\vec{R})\psi(\vec{x})## implies that ##|c(\vec{R})|^2 = 1## to preserve normalization of ##\psi(\vec{x}-\vec{R})##. That means it has to lie on the complex unit circle.

etotheipi
Ah, yeah that makes sense, thanks! My book defines the translation operator as ##T_{\vec{R}}(\vec{x}) = \vec{x} + \vec{R}##, but that doesn't make any difference to the logic. So you'd say$$\int_{\mathbb{R}^3} d^3 \vec{x} \lVert c(\vec{R}) \psi(\vec{x})\rVert^2= \int_{\mathbb{R}^3} d^3 \vec{x} \lVert \psi(\vec{x} + \vec{R}) \rVert^2 = 1 \implies \lVert c(\vec{R}) \rVert = 1 \implies c(\vec{R}) = e^{2\pi i x_i}$$And we can set ##n_i = 1, n_j = 0 \, (\forall j \neq i)##, i.e. ##\vec{R} = \vec{a}_i##, so also holds for ##\vec{a}_i## (for some ##x_i##). Thanks!

Last edited by a moderator:
Twigg
Also, when I was reading the Wikipedia page here, I notice they write$$\vec{n} \cdot \vec{a} = n_1 \vec{a}_1 + n_2 \vec{a}_2 + n_3 \vec{a}_3\quad (=\vec{R})$$What is the "##\cdot##" operation here, and what are ##\vec{a}## and ##\vec{n}##? It can't be the scalar product, since the result is a vector! `Perhaps this is a mistake?

Last edited by a moderator: