Skip to content

Nearly Free Electrons

The nearly-free-electron model is controlled perturbation theory around free plane waves in a weak periodic potential. Away from free-electron degeneracies, the potential produces small energy shifts and weak reciprocal-lattice satellites. At a Bragg plane, however, two or more plane waves are degenerate, ordinary perturbation theory fails, and even an arbitrarily weak Fourier component can split the degeneracy at first order.

For an isolated two-wave crossing, the leading direct gap is

ΔG=2∣VG∣,\Delta_{\mathbf G} = 2|V_{\mathbf G}|,

where VGV_{\mathbf G} is the Fourier coefficient of the periodic potential at the reciprocal vector connecting the two waves. This compact result explains why zone boundaries are special, but it must be read with its assumptions: the crossing must be isolated from other free branches, omitted couplings must be perturbative, and a local avoided crossing is not automatically a global insulating gap.

Bloch’s Theorem is exact and supplies the crystal-momentum sectors. This page owns the weak-potential approximation inside those sectors: the central equation, Bragg degeneracy, gap opening, reduced-zone interpretation, standing waves, and validity tests.

Required background. Bloch’s Theorem supplies the exact crystal-momentum sectors, Brillouin Zones supplies zone-boundary geometry and folding conventions, and Degenerate Perturbation Theory supplies the avoided-crossing calculation at a Bragg plane.

Consider

H=H0+V,H0=p22m,H = H_0+V, \qquad H_0 = \frac{\mathbf p^2}{2m},

with a real lattice-periodic potential,

V(r+R)=V(r).V(\mathbf r+\mathbf R) = V(\mathbf r).

Expand it in reciprocal vectors:

V(r)=∑GVGeiG⋅r,V(\mathbf r) = \sum_{\mathbf G} V_{\mathbf G} e^{i\mathbf G\cdot\mathbf r},

where

VG=1Ωc∫cellddr V(r)e−iG⋅r.V_{\mathbf G} = \frac{1}{\Omega_c} \int_{\mathrm{cell}} d^dr\, V(\mathbf r) e^{-i\mathbf G\cdot\mathbf r}.

Reality implies

V−G=VG∗.V_{-\mathbf G} = V_{\mathbf G}^{\ast}.

The average V0V_{\mathbf0} shifts every energy equally and can be absorbed into the energy origin. The nonzero coefficients scatter a plane wave with wavevector q\mathbf q into waves at

q−G.\mathbf q-\mathbf G.

“Nearly free” means that the relevant VGV_{\mathbf G} are small compared with the energy separations to plane-wave branches excluded from a chosen perturbative subspace. It does not mean that every microscopic ionic potential is weak at every point. In practical electronic-structure reasoning, screening and pseudopotentials can make the effective potential seen by valence electrons much smoother than the bare core potential.

For NcN_c primitive cells with Born–von Karman boundary conditions, free eigenstates are normalized plane waves,

⟨r∣q⟩=1Veiq⋅r,V=NcΩc,\langle\mathbf r|\mathbf q\rangle = \frac{1}{\sqrt V} e^{i\mathbf q\cdot\mathbf r}, \qquad V=N_c\Omega_c,

with energies

εq=ℏ2∣q∣22m.\varepsilon_{\mathbf q} = \frac{\hbar^2|\mathbf q|^2}{2m}.

Choose k\mathbf k in one Brillouin zone. Every allowed plane wave can be written uniquely as

q=k+G.\mathbf q = \mathbf k+\mathbf G.

At fixed k\mathbf k, the free basis is therefore

{∣k+G⟩}G∈Λ∗,\left\{ |\mathbf k+\mathbf G\rangle \right\}_{\mathbf G\in\Lambda^\ast},

with folded branches

εG(k)=ℏ22m∣k+G∣2.\varepsilon_{\mathbf G}(\mathbf k) = \frac{\hbar^2}{2m} |\mathbf k+\mathbf G|^2.

Folding these parabolas into one zone is only a relabeling of the free spectrum. It creates branch crossings on a plot but does not open a gap. Gaps appear only after the periodic potential couples crossing branches.

A Bloch state at fixed k\mathbf k has the plane-wave expansion

ψnk(r)=∑Gcnk(G)ei(k+G)⋅r.\psi_{n\mathbf k}(\mathbf r) = \sum_{\mathbf G} c_{n\mathbf k}(\mathbf G) e^{i(\mathbf k+\mathbf G)\cdot\mathbf r}.

The matrix element of the potential is

⟨k+G∣V∣k+G′⟩=VG−G′.\langle \mathbf k+\mathbf G | V | \mathbf k+\mathbf G' \rangle = V_{\mathbf G-\mathbf G'}.

Substitution into the Schrödinger equation gives the central equation

∑G′[εG(k)δGG′+VG−G′]cnk(G′)=En(k)cnk(G).\sum_{\mathbf G'} \left[ \varepsilon_{\mathbf G}(\mathbf k) \delta_{\mathbf G\mathbf G'} + V_{\mathbf G-\mathbf G'} \right] c_{n\mathbf k}(\mathbf G') = E_n(\mathbf k) c_{n\mathbf k}(\mathbf G).

Equivalently,

[εG(k)−En(k)]cnk(G)+∑G′VG−G′cnk(G′)=0.\left[ \varepsilon_{\mathbf G}(\mathbf k) -E_n(\mathbf k) \right] c_{n\mathbf k}(\mathbf G) + \sum_{\mathbf G'} V_{\mathbf G-\mathbf G'} c_{n\mathbf k}(\mathbf G') = 0.

This is an infinite matrix eigenproblem within one Bloch sector. A plane-wave calculation truncates the reciprocal basis at a kinetic-energy cutoff; the nearly-free approximation instead keeps only the resonant branches analytically and treats the rest perturbatively.

Suppose the free plane wave ∣q⟩|\mathbf q\rangle is separated in energy from every ∣q−G⟩|\mathbf q-\mathbf G\rangle coupled appreciably by the potential. Nondegenerate perturbation theory gives

E(q)=εq+V0+∑G≠0∣VG∣2εq−εq−G+O(V3).E(\mathbf q) = \varepsilon_{\mathbf q} + V_{\mathbf0} + \sum_{\mathbf G\ne\mathbf0} \frac{|V_{\mathbf G}|^2} {\varepsilon_{\mathbf q}-\varepsilon_{\mathbf q-\mathbf G}} + O(V^3).

The first-order correction is only the spatial average V0V_{\mathbf0}. The nonuniform potential changes a nondegenerate free energy first at second order, although it changes the eigenvector at first order.

The expansion fails when a denominator becomes small:

εq≈εq−G.\varepsilon_{\mathbf q} \approx \varepsilon_{\mathbf q-\mathbf G}.

This is not a technical nuisance to be ignored. It identifies the Bragg planes where a qualitatively new two-wave or multiwave problem must be solved.

Free waves k\mathbf k and k−G\mathbf k-\mathbf G are degenerate when

ℏ2∣k∣22m=ℏ2∣k−G∣22m.\frac{\hbar^2|\mathbf k|^2}{2m} = \frac{\hbar^2|\mathbf k-\mathbf G|^2}{2m}.

Canceling common terms yields

k⋅G=∣G∣22.\mathbf k\cdot\mathbf G = \frac{|\mathbf G|^2}{2}.

This is the perpendicular-bisector equation for a reciprocal-lattice vector. The nearest such planes are exactly the faces used to construct the first Brillouin zone.

The same condition is the elastic Bragg-scattering condition. The periodic potential can transfer reciprocal momentum ℏG\hbar\mathbf G without changing the free kinetic energy, so the incident and Bragg-reflected waves mix coherently.

Near an isolated Bragg plane, retain

∣k⟩and∣k−G⟩.|\mathbf k\rangle \quad\text{and}\quad |\mathbf k-\mathbf G\rangle.

To first order in the weak potential, the effective Hamiltonian is

Heff=(εk+V0VGVG∗εk−G+V0).H_{\mathrm{eff}} = \begin{pmatrix} \varepsilon_{\mathbf k}+V_{\mathbf0} & V_{\mathbf G} \\ V_{\mathbf G}^{\ast} & \varepsilon_{\mathbf k-\mathbf G}+V_{\mathbf0} \end{pmatrix}.

Its eigenvalues are

E±(k)=V0+εk+εk−G2±(εk−εk−G2)2+∣VG∣2.\begin{aligned} E_{\pm}(\mathbf k) &= V_{\mathbf0} + \frac{ \varepsilon_{\mathbf k} + \varepsilon_{\mathbf k-\mathbf G} }{2} \\ &\quad \pm \sqrt{ \left( \frac{ \varepsilon_{\mathbf k} - \varepsilon_{\mathbf k-\mathbf G} }{2} \right)^2 + |V_{\mathbf G}|^2 }. \end{aligned}

At exact degeneracy,

E±=εB+V0±∣VG∣,E_{\pm} = \varepsilon_{\mathrm B} + V_{\mathbf0} \pm |V_{\mathbf G}|,

so the leading avoided-crossing gap is

ΔG=E+−E−=2∣VG∣.\Delta_{\mathbf G} = E_+-E_- = 2|V_{\mathbf G}|.

Corrections from omitted plane waves begin at higher order when those waves remain well separated. If several free branches are degenerate, the two-state formula is insufficient and the full degenerate block must be diagonalized.

Two folded free-electron parabolas crossing at a Bragg plane and the avoided crossing produced by a weak periodic potential, with gap two times the magnitude of V sub G.

Folding alone produces a crossing between εk\varepsilon_{\mathbf k} and εk−G\varepsilon_{\mathbf k-\mathbf G}. The Fourier coefficient VGV_{\mathbf G} couples the degenerate waves and replaces the crossing by two smooth branches separated by 2∣VG∣2|V_{\mathbf G}| at the Bragg plane. Here κ\kappa measures displacement normal to the plane.

For a lattice spacing aa, take

G=2πa,k=G2+κ.G = \frac{2\pi}{a}, \qquad k = \frac{G}{2}+\kappa.

The coupled wavevectors are

k=G2+κ,k−G=−G2+κ.k = \frac{G}{2}+\kappa, \qquad k-G = -\frac{G}{2}+\kappa.

Their average free energy and half-difference are

εk+εk−G2=ℏ2G28m+ℏ2κ22m,\frac{ \varepsilon_k+\varepsilon_{k-G} }{2} = \frac{\hbar^2G^2}{8m} + \frac{\hbar^2\kappa^2}{2m}, εk−εk−G2=ℏ2Gκ2m.\frac{ \varepsilon_k-\varepsilon_{k-G} }{2} = \frac{\hbar^2G\kappa}{2m}.

The two-wave dispersion is therefore

E±(κ)=V0+ℏ2G28m+ℏ2κ22m±(ℏ2Gκ2m)2+∣VG∣2.\begin{aligned} E_{\pm}(\kappa) &= V_0 + \frac{\hbar^2G^2}{8m} + \frac{\hbar^2\kappa^2}{2m} \\ &\quad \pm \sqrt{ \left( \frac{\hbar^2G\kappa}{2m} \right)^2 + |V_G|^2 }. \end{aligned}

Far enough from the boundary that

∣ℏ2Gκ2m∣≫∣VG∣,\left| \frac{\hbar^2G\kappa}{2m} \right| \gg |V_G|,

the branches approach the folded free parabolas. Inside the mixing region, the eigenstates contain comparable right- and left-moving components and the free crossing is rounded.

Write

VG=∣VG∣eiϕ.V_G = |V_G|e^{i\phi}.

At k=G/2k=G/2, normalized eigenvectors may be chosen as

ψ±(x)=12[eiGx/2±e−iϕe−iGx/2].\psi_{\pm}(x) = \frac{1}{\sqrt2} \left[ e^{iGx/2} \pm e^{-i\phi}e^{-iGx/2} \right].

Their densities are

∣ψ±(x)∣2=1±cos⁡(Gx+ϕ).|\psi_{\pm}(x)|^2 = 1 \pm \cos(Gx+\phi).

The resonant part of the potential is

VGeiGx+V−Ge−iGx=2∣VG∣cos⁡(Gx+ϕ).V_Ge^{iGx} + V_{-G}e^{-iGx} = 2|V_G| \cos(Gx+\phi).

The upper state concentrates density near maxima of this harmonic, while the lower state concentrates near its minima. Translating the coordinate origin changes ϕ\phi and shifts both patterns, but it cannot change the energies or the gap 2∣VG∣2|V_G|.

The safest rule is to compute the Fourier coefficient before quoting a gap. If

V(x)=2Ucos⁡(Gx),V(x) = 2U\cos(Gx),

then

VG=V−G=U,V_G = V_{-G} = U,

and

ΔG=2∣U∣.\Delta_G = 2|U|.

If another author writes

V(x)=Ucos⁡(Gx),V(x) = U\cos(Gx),

then VG=U/2V_G=U/2 and the gap is ∣U∣|U|. Both statements are the same physics with different definitions of the cosine amplitude. Writing “the gap equals twice the potential” without defining the Fourier convention is ambiguous.

The three common band schemes contain the same states.

Follow a branch through successive zones using the physical wavevector that resembles the dominant free component. The periodic potential opens gaps where the free parabola meets a Bragg plane.

Map every wavevector into one Brillouin zone and assign a band index. Free branches cross before coupling; after coupling, the ordered eigenvalues form separated bands near each avoided crossing.

Repeat the reduced-zone bands in every reciprocal cell:

En(k+G)=En(k)E_n(\mathbf k+\mathbf G) = E_n(\mathbf k)

as a spectral statement, with the usual qualification that labels can exchange at degeneracies.

Folding changes labels, not physics. Coupling by VGV_{\mathbf G} changes eigenvalues and eigenvectors. Keeping those two operations separate prevents a common false inference that a smaller chosen unit cell or a plotted fold automatically opens a physical gap.

On a generic face of a Brillouin zone, the two-wave derivation applies to motion normal to that face. Momentum parallel to the face remains continuous, so the avoided crossing forms a gapped sheet rather than an isolated point.

At an edge or corner, several reciprocal vectors can generate simultaneous degeneracies. If the resonant plane waves are

{∣k+G1⟩,…,∣k+GM⟩},\left\{ |\mathbf k+\mathbf G_1\rangle, \ldots, |\mathbf k+\mathbf G_M\rangle \right\},

one must diagonalize the M×MM\times M matrix

[Hdeg(k)]ij=εk+Giδij+VGi−Gj.\left[ H_{\mathrm{deg}}(\mathbf k) \right]_{ij} = \varepsilon_{\mathbf k+\mathbf G_i} \delta_{ij} + V_{\mathbf G_i-\mathbf G_j}.

Point-group symmetry constrains this matrix and can protect residual degeneracies. A geometrical free-electron crossing does not guarantee a first-order gap: the required VGV_{\mathbf G} may vanish by symmetry or motif interference.

2∣VG∣2|V_{\mathbf G}| is a local direct splitting between two branches at a particular Bragg plane. A crystal is insulating only if, after considering all k\mathbf k, band overlaps, internal degeneracies, and electron filling, the highest occupied states are separated from the lowest unoccupied states by a global gap. In two and three dimensions, different folded free branches often overlap in energy even though each individual avoided crossing is nonzero.

Let

V(x)=2Ucos⁡(2πxa).V(x) = 2U\cos\left(\frac{2\pi x}{a}\right).

Only

V±2π/a=UV_{\pm 2\pi/a} = U

are nonzero apart from the average. At the first-zone boundaries k=±π/ak=\pm\pi/a, the leading gap is 2∣U∣2|U|. The same harmonic also couples other pairs of plane waves separated by 2π/a2\pi/a, but only resonant pairs acquire a first-order splitting.

For

V(x)=2Ucos⁡[G(x−x0)],V(x) = 2U \cos \left[ G(x-x_0) \right],

the coefficient is

VG=Ue−iGx0.V_G = Ue^{-iGx_0}.

The shift changes the phase of the coupling and the position of the standing-wave nodes. Since

∣VG∣=∣U∣,|V_G| = |U|,

the band energies and gap are independent of the arbitrary origin.

Take

V(x,y)=2Uxcos⁡(Gxx)+2Uycos⁡(Gyy).V(x,y) = 2U_x\cos(G_xx) + 2U_y\cos(G_yy).

At the Bragg plane kx=Gx/2k_x=G_x/2 away from a zone corner, the relevant pair differs by Gxx^G_x\hat{\mathbf x} and the leading splitting is 2∣Ux∣2|U_x|. Similarly, the ky=Gy/2k_y=G_y/2 face has splitting 2∣Uy∣2|U_y|.

At their intersection, four free plane waves can be degenerate. Treating the two faces independently can miss level multiplicities and symmetry combinations; the correct calculation diagonalizes the four-state block.

The nearly-free picture gives a controlled account of:

  • why weak periodicity matters most near Bragg planes;
  • why energy gaps are tied to reciprocal Fourier components;
  • why zone-boundary states become standing-wave combinations;
  • how folded free parabolas turn into smooth Bloch bands;
  • why different crystal planes can have different gap sizes;
  • how a free-electron-like Fermi surface is reconstructed near a zone boundary.

It also motivates the language of electron-like and hole-like curvature near band extrema. Quantitative effective-mass theory and material classification require the full dispersion and filling, not only the local two-wave model.

Let PP project onto the retained resonant plane waves and Q=1−PQ=1-P. The approximation is controlled when matrix elements coupling PP to QQ are small compared with the corresponding free-energy separations:

∣⟨p∣V∣q⟩∣∣Ep(0)−Eq(0)∣≪1\frac{ |\langle p|V|q\rangle| }{ |E_p^{(0)}-E_q^{(0)}| } \ll 1

for the omitted states that matter. Near a multiwave degeneracy, enlarge PP rather than forcing a two-state treatment.

When many Fourier components mix strongly, a low-order nearly-free expansion loses quantitative accuracy. A larger plane-wave diagonalization remains valid as a numerical representation, while a tight-binding or Wannier description may be more economical for localized bands. These are different approximations to the same Bloch problem, not competing versions of Bloch’s theorem.

Bare ionic potentials are singular and core wavefunctions oscillate strongly. Nearly-free reasoning is most natural for delocalized valence states after core physics has been incorporated into an effective potential. Orthogonality to core states and nonlocal pseudopotentials can be essential even when the resulting valence dispersion looks free-electron-like.

The elementary model is a one-particle Hamiltonian. Electron–electron interactions can renormalize dispersions, transfer spectral weight, and produce finite lifetimes or entirely new phases. Disorder broadens crystal momentum and can obscure small gaps. A fitted nearly-free band should therefore be identified as a one-particle or quasiparticle description, not as the exact many-body spectrum.

Using nondegenerate perturbation theory at a Bragg plane

Section titled “Using nondegenerate perturbation theory at a Bragg plane”

The vanishing denominator is the signal to diagonalize the degenerate subspace. Dropping the divergent term or inserting an ad hoc cutoff misses the first-order gap.

Confusing a potential amplitude with its Fourier coefficient

Section titled “Confusing a potential amplitude with its Fourier coefficient”

For Ucos⁡(Gx)U\cos(Gx), the coefficient at GG is U/2U/2. The two-wave gap is always 2∣VG∣2|V_G| in the convention used here.

Folding creates a representation with crossing free branches. A nonzero symmetry-allowed coupling opens the avoided crossing.

Calling every zone-boundary splitting a global band gap

Section titled “Calling every zone-boundary splitting a global band gap”

Other momenta or other bands may occupy the same energy interval. Insulating behavior requires a global gap at the relevant filling.

Assuming every boundary is a two-state problem

Section titled “Assuming every boundary is a two-state problem”

Zone corners, nonsymmorphic degeneracies, internal orbitals, and accidental coincidences can require a larger degenerate block.

The gap depends only on ∣VG∣|V_G|, but the phase of VGV_G determines which standing-wave pattern is upper or lower relative to the spatial potential. Origin changes move that phase without changing observables.

Treating “weak” as a universal material label

Section titled “Treating “weak” as a universal material label”

Weakness is a ratio between couplings and energy denominators for a specified subspace and energy range. The same material can be nearly free for one set of valence bands and strongly non-free for another.

Starting from the Bloch expansion

ψk(r)=∑GcGei(k+G)⋅r,\psi_{\mathbf k}(\mathbf r) = \sum_{\mathbf G} c_{\mathbf G} e^{i(\mathbf k+\mathbf G)\cdot\mathbf r},

derive the reciprocal-space eigenvalue equation for a periodic scalar potential.

Solution

The kinetic term acts diagonally:

H0ei(k+G)⋅r=εG(k)ei(k+G)⋅r.H_0 e^{i(\mathbf k+\mathbf G)\cdot\mathbf r} = \varepsilon_{\mathbf G}(\mathbf k) e^{i(\mathbf k+\mathbf G)\cdot\mathbf r}.

For the potential,

Vψk=∑Q,G′VQcG′ei(k+G′+Q)⋅r.\begin{aligned} V\psi_{\mathbf k} &= \sum_{\mathbf Q,\mathbf G'} V_{\mathbf Q}c_{\mathbf G'} e^{i(\mathbf k+\mathbf G'+\mathbf Q)\cdot\mathbf r}. \end{aligned}

The coefficient of ei(k+G)⋅re^{i(\mathbf k+\mathbf G)\cdot\mathbf r} has Q=G−G′\mathbf Q=\mathbf G-\mathbf G'. Equating coefficients gives

∑G′[εG(k)δGG′+VG−G′]cG′=EcG.\sum_{\mathbf G'} \left[ \varepsilon_{\mathbf G}(\mathbf k) \delta_{\mathbf G\mathbf G'} + V_{\mathbf G-\mathbf G'} \right] c_{\mathbf G'} = Ec_{\mathbf G}.

Show that free waves k\mathbf k and k−G\mathbf k-\mathbf G are degenerate on the perpendicular bisector of 0\mathbf0 and G\mathbf G in reciprocal space.

Solution

Set the free energies equal:

∣k∣2=∣k−G∣2.|\mathbf k|^2 = |\mathbf k-\mathbf G|^2.

Expanding the right-hand side,

∣k∣2=∣k∣2−2k⋅G+∣G∣2.|\mathbf k|^2 = |\mathbf k|^2 -2\mathbf k\cdot\mathbf G + |\mathbf G|^2.

Therefore

k⋅G=∣G∣22.\mathbf k\cdot\mathbf G = \frac{|\mathbf G|^2}{2}.

The points satisfying this equation have equal distance from 0\mathbf0 and G\mathbf G, so they form the perpendicular-bisector hyperplane.

Find the first-zone gap for each potential:

V1(x)=Acos⁡(2πxa),V_1(x) = A\cos\left(\frac{2\pi x}{a}\right), V2(x)=2Acos⁡(2πxa).V_2(x) = 2A\cos\left(\frac{2\pi x}{a}\right).
Solution

With G=2π/aG=2\pi/a,

cos⁡(Gx)=12(eiGx+e−iGx).\cos(Gx) = \frac12 \left( e^{iGx}+e^{-iGx} \right).

Thus

(V1)G=A2,(V2)G=A.(V_1)_G = \frac A2, \qquad (V_2)_G = A.

The leading gaps are

Δ1=2∣A2∣=∣A∣,\Delta_1 = 2\left|\frac A2\right| = |A|, Δ2=2∣A∣.\Delta_2 = 2|A|.

The apparent discrepancy disappears once the cosine and Fourier amplitudes are distinguished.

For real VG>0V_G>0 at k=G/2k=G/2, show that the symmetric standing wave is the upper state and the antisymmetric standing wave is the lower state. How does the answer change when VG<0V_G<0?

Solution

The two-state matrix at the boundary is

Heff=(εBVGVGεB).H_{\mathrm{eff}} = \begin{pmatrix} \varepsilon_{\mathrm B} & V_G \\ V_G & \varepsilon_{\mathrm B} \end{pmatrix}.

For VG>0V_G>0, the vector (1,1)/2(1,1)/\sqrt2 has energy εB+VG\varepsilon_{\mathrm B}+V_G and produces

ψ+(x)∝cos⁡(Gx/2).\psi_+(x) \propto \cos(Gx/2).

The vector (1,−1)/2(1,-1)/\sqrt2 has energy εB−VG\varepsilon_{\mathrm B}-V_G and produces

ψ−(x)∝sin⁡(Gx/2)\psi_-(x) \propto \sin(Gx/2)

up to an overall phase. When VG<0V_G<0, the eigenvectors are the same but their energy ordering reverses. The lower state always places more density near minima of the resonant potential harmonic.

Use the one-dimensional formula for E±(κ)E_{\pm}(\kappa) to show that far from the mixing region the two eigenvalues approach εk+V0\varepsilon_k+V_0 and εk−G+V0\varepsilon_{k-G}+V_0.

Solution

Define

δ(κ)=εk−εk−G2=ℏ2Gκ2m.\delta(\kappa) = \frac{ \varepsilon_k-\varepsilon_{k-G} }{2} = \frac{\hbar^2G\kappa}{2m}.

When ∣δ∣≫∣VG∣|\delta|\gg|V_G|,

δ2+∣VG∣2=∣δ∣+O(∣VG∣2∣δ∣).\sqrt{\delta^2+|V_G|^2} = |\delta| + O\left( \frac{|V_G|^2}{|\delta|} \right).

The two eigenvalues become the average free energy plus or minus ∣δ∣|\delta|. Those are the larger and smaller of εk\varepsilon_k and εk−G\varepsilon_{k-G}, with only second-order corrections. Their ordering swaps as κ\kappa crosses zero, which is why the coupled branches avoid rather than pass through one another.

Translate the coordinate origin by r0\mathbf r_0. Show how VGV_{\mathbf G} transforms and prove that the two-wave energies are unchanged.

Solution

With the new coordinate r′=r−r0\mathbf r'=\mathbf r-\mathbf r_0,

V(r′+r0)=∑GVGeiG⋅r0eiG⋅r′.V(\mathbf r'+\mathbf r_0) = \sum_{\mathbf G} V_{\mathbf G} e^{i\mathbf G\cdot\mathbf r_0} e^{i\mathbf G\cdot\mathbf r'}.

Thus

VG′=eiG⋅r0VG.V_{\mathbf G}' = e^{i\mathbf G\cdot\mathbf r_0} V_{\mathbf G}.

The phase changes but

∣VG′∣=∣VG∣.|V_{\mathbf G}'| = |V_{\mathbf G}|.

Since the eigenvalues depend on the coupling through ∣VG∣2|V_{\mathbf G}|^2, the dispersion and gap are origin independent. The eigenvector phases transform so that the real-space state is described consistently.

Exercise 7: why a local gap need not insulate

Section titled “Exercise 7: why a local gap need not insulate”

Construct a qualitative two-dimensional scenario in which a nonzero avoided crossing opens on one Brillouin-zone face but the system remains metallic.

Solution

Suppose the avoided crossing on one face creates a local interval with no states from the two participating branches at that momentum. A different branch can still have a minimum below the upper split level at another momentum, or the lower branch can have a maximum above that interval elsewhere in the zone.

Equivalently, the indirect gap

Egind=min⁡kEc(k)−max⁡kEv(k)E_{\mathrm g}^{\mathrm{ind}} = \min_{\mathbf k}E_{\mathrm c}(\mathbf k) - \max_{\mathbf k}E_{\mathrm v}(\mathbf k)

can be negative even though the local direct splitting

Ec(kB)−Ev(kB)=2∣VG∣E_{\mathrm c}(\mathbf k_{\mathrm B}) - E_{\mathrm v}(\mathbf k_{\mathrm B}) = 2|V_{\mathbf G}|

is positive. If the Fermi level intersects any band, the system remains metallic.

  1. N. W. Ashcroft and N. D. Mermin, Solid State Physics (Holt, Rinehart and Winston, 1976), Chapter 9.
  2. C. Kittel, Introduction to Solid State Physics, 8th ed. (Wiley, 2005), Chapter 7.
  3. S. H. Simon, The Oxford Solid State Basics (Oxford University Press, 2013), Chapters 5–7.
  4. M. P. Marder, Condensed Matter Physics, 2nd ed. (Wiley, 2010), Chapters 2–4.
  5. J. M. Ziman, Principles of the Theory of Solids, 2nd ed. (Cambridge University Press, 1972), Chapters 2–3.
  6. W. A. Harrison, Electronic Structure and the Properties of Solids (Dover, 1989), Chapters 1–3.
  7. P. A. Lee, “Band Structure,” lecture notes for Theory of Solids I, MIT OpenCourseWare (2004), course materials.
  8. E. Fitzgerald and L. Gibson, “Bloch Model and Band Gaps,” lecture notes for Electronic and Mechanical Properties of Materials, MIT OpenCourseWare (2007), course materials.
  9. F. Bloch, “Über die Quantenmechanik der Elektronen in Kristallgittern,” Zeitschrift für Physik 52, 555–600 (1929), doi:10.1007/BF01339455.
  10. L. Brillouin, Wave Propagation in Periodic Structures, 2nd ed. (Dover, 1953).