Use with , choosing distinct values modulo in the Brillouin zone. The lattice spacing is one; for spacing the dimensionless variable here would be . Orthogonality of the discrete Fourier modes diagonalizes the bilinear Hamiltonian:
This is the nearest-neighbour ferromagnetic magnon dispersion. The printed expression is missing a factor of four for the stated exchange Hamiltonian. If denotes a physical frequency, ; setting does not remove that factor. The printed coefficient would require an exchange constant in the original Hamiltonian.
An independent check uses one spin lowering at site . The exact one-magnon Hamiltonian relative to has diagonal element and off-diagonal elements at , giving the same Fourier eigenvalue. At small , , and the state belongs to the degenerate ground multiplet. The quadratic low-energy branch is the ferromagnetic type-B Goldstone boson.
Apply a discrete Fourier transform, with lattice spacing one:
The wavevectors lie in a Brillouin zone, which we choose as . Pairing with makes the quadratic Hamiltonian
A bosonic Bogoliubov diagonalization uses . The canonical commutation relations hold because . The anomalous terms vanish when , giving
Near and , the dispersion relation is linear: . These are the low-energy antiferromagnetic spin waves; the two zeroes are related by the two-sublattice description. The transformation is singular at the exact zero modes, which require an infrared regulator or separate treatment of the collective rotation.
The normalized Bloch states satisfy periodicity when . Acting with the hopping terms shifts the coefficients by one site, giving
The first Brillouin zone is a fundamental cell of reciprocal space, for example ; wavevectors differing by label the same state. It contains exactly distinct allowed wavevectors and hence orbital states. The written Hamiltonian has no spin index; if electron spin degeneracy is included there are states.
For a narrow wave packet, group velocity and band-curvature effective mass are
For the usual , the mass is negative in the outer half of the zone, , taking one endpoint representative. At the inverse mass vanishes and the mass diverges. For arbitrary nonzero , the sign criterion is ; is a flat band.
For electron charge with in a constant electric field , the single-band semiclassical equations are , . Thus , and for ,
These are Bloch oscillations of period . The zero-field limit is . This assumes a narrow packet and neglects scattering and interband transitions.
For many electrons obeying the Pauli exclusion principle, a partially filled band has available nearby states and can carry current under a displaced occupation distribution: it describes a metal within band theory. A completely filled band has cancelling velocities over the zone, so its current is zero; if separated from empty higher bands by a nonzero gap, it describes an insulator at sufficiently low temperature and weak electric field. With spin degeneracy this isolated band is filled at two electrons per site. The single-electron Hamiltonian alone does not specify the filling or a gap to a next band, so those extra physical assumptions are required for classifying a material.
Label the two atoms in primitive cell by and , with understood modulo because of the periodic boundary condition. Choose the spring between them to have constant . Newton's second law gives
For a longitudinal normal mode, put
Periodicity requires , so . Since the primitive-cell length is , wavevectors differing by describe the same mode, and the first Brillouin zone may be chosen as
The amplitudes obey
Setting its determinant to zero gives the alternating-spring chain dispersion relation
The lower sign is the acoustic phonon branch and the upper sign is the optical phonon branch.
At the edge of the Brillouin zone,
so the frequency band gap is
It vanishes at , when the apparent two-atom primitive cell can be reduced to one atom.
Near the centre of the Brillouin zone, a Taylor expansion gives
and
The group velocity of the acoustic branch at long wavelength is the speed of sound,
Figure 1.
Dispersion relation of the alternating-spring chain
. The acoustic and optical branches for alpha equal to 0.35. The vertical separation at the Brillouin-zone edge is the frequency gap.
A three-dimensional Bravais lattice is the set of all integer combinations of three linearly independent primitive vectors. Its reciprocal lattice is
and the first Brillouin zone is the Wigner-Seitz cell of the origin in reciprocal space.
For the stated FCC lattice, the primitive-cell volume is
The reciprocal-basis formula gives
A reciprocal primitive cell, and hence the Brillouin zone, has volume
In the first Born approximation, with momentum transfer , the scattering amplitude is
For the spherical shell, align the polar axis with and use its radial Dirac delta function:
Therefore
Translation of each atomic potential multiplies its transform by a phase, so the crystal lattice structure factor gives
For an infinite lattice, the lattice Poisson summation formula turns the sum into
Thus the amplitude vanishes away from reciprocal-lattice momentum transfers.
In elastic scattering, and hence
The two shortest relevant reciprocal-vector lengths of this FCC lattice are
Both are kinematically available when . Assigning their scattering angles and , respectively, gives
Bloch theorem states that the energy eigenstates of a Hamiltonian invariant under translations by a Bravais lattice can be chosen as Bloch states
Indeed, the unitary operators commute with one another because , and they commute with by hypothesis. The simultaneous diagonalization theorem therefore lets us diagonalize all translations within each energy eigenspace. Their eigenvalues form a unitary character of the additive lattice:
Writing on a primitive basis gives . In position space, with , this implies . Hence is lattice-periodic. Adding a reciprocal lattice vector to leaves the character unchanged, so the crystal momentum lies in a Brillouin zone.
For
the equations give the reciprocal basis
The reciprocal lattice is triangular, so the first Brillouin zone is its Wigner-Seitz cell, a regular hexagon. Its six corners are
Reciprocal-lattice translations identify these corners in two classes of three. Representatives are
For example, , while the other equivalences follow by symmetry and reciprocal translations. This gives the requested sketch: a regular hexagon with the vertical edge from to at and alternating corner classes.
For the tight-binding model, introduce the normalized Bloch sum
Each hop by multiplies this state by . Thus the two-direction nearest-neighbour tight-binding dispersion is
Along the boundary edge from to , and , so
For , it rises from at either corner to at the midpoint; for the ordering reverses. Globally the two cosines in the first expression can simultaneously equal or , and therefore
Each orbital band contains two one-electron states per lattice site because an electron has two spin states. By band filling, a valency of one leaves this band half-filled and the material conducts, whereas a valency of two fills it. A filled band can be insulating only if it is separated from every empty band by a positive band gap.
The first band's maximum is . If the second band's minimum is , a gap exists precisely when . Consequently, among the nontrivial fillings described here,
For valency one the first band is partially filled. If , the bands overlap or touch, so even at valency two the overlapping energy bands prevent a band insulator.
For a lattice of period , wavevectors differing by the reciprocal-lattice vector describe the same translation eigenvalue. The first Brillouin zone may therefore be chosen as
Bloch theorem states that every energy eigenstate in a periodic potential may be chosen in the form
To prove it, let be translation by one period:
Periodicity gives . The translation operator is unitary, so it can be diagonalized within each energy eigenspace. Choose a common eigenstate,
Unitarity gives , so for some real . Thus . Defining gives
which proves the theorem.
A Bravais lattice is the integer span of three linearly independent primitive vectors. Its reciprocal lattice consists of vectors satisfying for every lattice vector .
Translations by lattice vectors commute with the Hamiltonian. Their simultaneous eigenvalues have the form , so an energy eigenfunction may be chosen with
Thus with lattice-periodic , which is Bloch theorem. Wavevectors differing by a reciprocal-lattice vector describe the same translation character, and the Brillouin zone is a fundamental Wigner-Seitz cell of the reciprocal lattice.
Every primitive basis of the Bravais lattice has the form
where and
The unimodular determinant condition is exactly what makes the integer change of basis invertible over .
Let be the primitive vectors of the reciprocal lattice, with
Solving these four equations gives
The six reciprocal-lattice points nearest the origin are
all at distance .
The Wigner-Seitz cell is bounded by the perpendicular bisectors of the segments joining the origin to those six points. It is the regular hexagon with vertices
Its area equals the reciprocal primitive-cell area:
This is the reciprocal lattice and Wigner-Seitz cell of the unit triangular lattice.
For a periodic potential, Bloch theorem identifies wavevectors differing by a reciprocal-lattice vector. The first Brillouin zone is the Wigner--Seitz cell just found. More generally, the th Brillouin zone consists of wavevectors reached from the origin after crossing exactly reciprocal-lattice Bragg planes; its boundaries are the perpendicular bisectors
For this triangular reciprocal lattice, the first zone is the central regular hexagon. The second is the sixfold-symmetric collection of regions immediately outside its six sides, bounded next by the bisectors associated with the next reciprocal points. These zones organize free-particle states into bands: Bragg coupling is strongest at their boundaries and opens energy gaps when the periodic potential is introduced.
Translation by one site multiplies a lattice wave by , so the coefficients of a finite periodic tight-binding ring are
Periodicity after three sites requires
Choosing representatives in the Brillouin zone
gives
The corresponding states are
They reproduce respectively the coefficient vectors , and .