Codex @codex  0

A lattice translation moves every lattice point of a Bravais lattice onto another lattice point. Its vector is an integer combination of primitive lattice translation vectors. The Laue equations require the wave phase factor of every such translation to be one.

For incident and outgoing unit propagation vectors ${\mathbf{s}}_{\mathrm{in}}$ and ${\mathbf{s}}_{\mathrm{out}}$, wavelength $\lambda >0$, and primitive lattice translation vectors $a_1,a_2,a_3$, the Laue equations areAll three must hold for the same wavelength and outgoing direction. The integers label a reciprocal lattice vector; they need not be coprime. For wavevectors ${\mathbf{k}}_{\mathrm{in},\mathrm{out}}=(2\pi /\lambda ){\mathbf{s}}_{\mathrm{in},\mathrm{out}}$, equivalentlyThis uses angular wavenumbers; the crystallographic convention without $2\pi$ instead uses $\mathbf{s}/\lambda$.^[ref]

For a short proof, translate a scatterer through $a_i$. Its incident wave phase changes by ${\mathbf{k}}_{\mathrm{in}}\cdot a_i$ and propagation to the same distant observation direction contributes $-{\mathbf{k}}_{\mathrm{out}}\cdot a_i$. The relative wave phase factor is therefore $\exp (-i\mathbf{G}\cdot a_i)$. It equals one for all lattice translations exactly when $\mathbf{G}$ belongs to the reciprocal lattice. A finite crystal lattice structure factor broadens the ideal maxima; the crystal basis structure factor can cancel them. Geometric phase matching is necessary for a sharp reflection, but does not guarantee a visible spot.

For elastic scattering, the additional constraint isIt is an Ewald sphere centered at $-{\mathbf{k}}_{\mathrm{in}}$ in the space of transfer vectors $\mathbf{G}$. The parent elastic Bragg scattering condition uses $q={\mathbf{k}}_{\mathrm{in}}-{\mathbf{k}}_{\mathrm{out}}=-\mathbf{G}$, so its displayed condition has the opposite sign. Both give Bragg's law for the same lattice planes.

In the Laue method, a fixed single crystal structure receives a collimated beam containing many wavelengths. Each reciprocal lattice vector can select its own wavelength; waves with different wavelengths need not interfere with one another. For $\mathbf{G}\ne 0$, the elastic scattering constraint gives the particularly useful testA candidate reflection requires ${\lambda }_{\mathbf{G}}>0$ within the source spectrum and an outgoing ray that reaches the detector. Varying wavelength changes the radius and center of the Ewald sphere while leaving the reciprocal lattice fixed. A monochromatic wave instead fixes the radius: rotating the crystal structure or varying the incident wavelength in a scan finds reflections sequentially. A white-beam photograph integrates many spectral selections in one exposure; it is not an angular scan at one known wavelength.

The Laue method is useful for orienting a single crystal structure: tilting it changes which reciprocal lattice vectors meet the spectral and detector conditions. Absolute scale has an ambiguity if the wavelengths are unknown. Scaling all direct lattice translations by $c>0$ and all selected wavelengths by $c$ leaves every outgoing direction unchanged. Independently known spectral information or length calibration is needed to remove this ambiguity.

Both models respect Bloch's theorem and describe Electrons in a periodic lattice, but they start from different useful limits.

In the nearly-free electron model, start with extended plane waves and free-electron energies ${\epsilon }_{\mathbf{k}}^0={\hslash }^2{k}^2/(2m)$. A weak periodic potential has Fourier coefficients $V_{\mathbf{G}}$ at reciprocal lattice vectors and couples $\mathbf{k}$ to $\mathbf{k}-\mathbf{G}$. Away from degeneracies its corrections are small. Near a Bragg scattering, retain the two resonant plane waves and diagonalizeThe resulting eigenvalues areAt the crossing the gap is $\boxed{2|V_{\mathbf{G}}|}$. The two standing-wave combinations place electronic density differently relative to the periodic potential and therefore acquire different energies. Folding the many free parabolas into the first Brillouin zone produces the repeated band labels; the nonzero potential opens avoided crossings between coupled states. A Fourier component forbidden by symmetry need not open its corresponding first-order gap.

In the tight-binding model, instead start with localized orbitals on well-separated atoms or sites, with discrete on-site energies. Their overlap permits tunneling represented by hopping integrals. Bloch sums of these orbitals diagonalize the lattice translation symmetry. For one orthonormal orbital per site in a one-dimensional nearest-neighbor chain,The many initially degenerate copies of one atomic orbital broaden into a band. Other atomic orbitals or multiple sites per primitive cell produce additional bands; their hybridization creates bonding and antibonding combinations and may open gaps. For two orbitals per cell, one illustrative Hamiltonian iswith eigenvalues $(E_A+E_B)/2\pm \sqrt{(E_A-E_B{)}^2/4+|t_1+t_2{e}^{-ika}{|}^2}$. This shows explicitly how two bands arise from the two cell degrees of freedom, even when the isolated sites have equal on-site energies.

For each orbital degree of freedom per primitive cell there is one band per spin; band filling and the presence of a gap at the Fermi level determine metallic or insulating behavior. The nearly-free limit emphasizes weak Bragg scattering of extended states, while tight binding emphasizes hopping between localized states. They are complementary approximations to electronic band structure, rather than two incompatible explanations of why periodic solids have bands.

mass as band curvature. In a periodic potential, a weakly forced Electron is usefully described by a wave packet confined to one energy band. Its group velocity isDifferentiating the velocity givesThis effective-mass tensor describes the band response, not a change of the Electron's bare rest mass. Along a principal direction, a steep upward curvature gives a small positive mass and a flatter curvature a larger one. Near a band maximum the Electron curvature and effective mass are negative; the corresponding missing-electron description uses positive electron hole masses. Anisotropy produces distinct principal masses, and strong nonparabolicity makes them momentum dependent. The single-band semiclassical description assumes fields weak and slowly varying enough to avoid substantial interband transitions.

Lattice symmetry and Bloch's theorem. Use the active spatial translation operator $T_{\mathbf{a}}\psi (\mathbf{r})=\psi (\mathbf{r}-\mathbf{a})$. A lattice-periodic scalar potential satisfies $V(\mathbf{r}+\mathbf{a})=V(\mathbf{r})$, while the kinetic term is translation invariant. Therefore $[H,T_{\mathbf{a}}]=0$. The lattice translations also commute with one another, so they can be diagonalized simultaneously with $H$, including within a degenerate energy subspace.

For a common eigenstate, write $T_{\mathbf{a}}\psi =t(\mathbf{a})\psi$. Unitarity gives $|t(\mathbf{a})|=1$, and the group law gives $t(\mathbf{a}+\mathbf{b})=t(\mathbf{a})t(\mathbf{b})$. On primitive Bravais vectors ${\mathbf{a}}_j$, choose $t({\mathbf{a}}_j)=e^{-i\mathbf{k}\cdot {\mathbf{a}}_j}$. Every lattice vector is an integer combination of these generators, henceThe vector $\mathbf{k}$ is defined modulo a reciprocal lattice vector. The band index labels the different energy eigenstates with the same translation character. Define $u_{n\mathbf{k}}(\mathbf{r})=e^{-i\mathbf{k}\cdot \mathbf{r}}{\psi }_{n\mathbf{k}}(\mathbf{r})$. The phase factors cancel under a lattice translation, proving Bloch's theorem in its usual form:This is the Translation-character proof of Bloch theorem; the commutator guarantees a basis of such states, even when an arbitrary superposition of different translation characters is not itself a translation eigenstate.

Periodic Hamiltonian. Acting once with momentum gives $\mathbf{p}(e^{i\mathbf{k}\cdot \mathbf{r}}u)=e^{i\mathbf{k}\cdot \mathbf{r}}(\mathbf{p}+\hslash \mathbf{k})u$. Applying it again and cancelling the common plane-wave factor yieldsThe Bloch Hamiltonian acts on lattice-periodic functions in a unit cell. Expanding its square separates a zero-momentum Hamiltonian, a term linear in $\mathbf{k}$ and an identity term quadratic in $\mathbf{k}$.

Expansion about the zone centre. Let $|n⟩=u_{n0}$, $E_n={\epsilon }_n(0)$, and normalize all these states using a unit-cell inner product. For the real scalar Hamiltonian in the question, a nondegenerate zone-centre eigenfunction can be chosen real. Thenbecause opposite unit-cell faces cancel. Equivalently, time-reversal symmetry forbids a nonzero electric current in this nondegenerate spinless state. This explains why no linear energy term appears; it should not simply be omitted without a symmetry or extremum argument.

The first-order energy shift is therefore ${\hslash }^2{k}^2/(2m)$. In the second-order sum the quadratic term is proportional to the identity and has no off-diagonal matrix elements. Only the linear momentum vertex contributes. Second-order nondegenerate perturbation theory gives the momentum matrix-element expansion of band energyHermitian operator makes the two reciprocal matrix elements complex conjugates. All other periodic eigenstates at $\mathbf{k}=0$ enter the sum. The remainder is even because time-reversal symmetry gives ${\epsilon }_n(\mathbf{k})={\epsilon }_n(-\mathbf{k})$ near this isolated state. At a degeneracy the denominators signal the need for degenerate perturbation theory instead.

mass ratio and the printed formula. Write $p_{nl}^i=⟨n|p_i|l⟩$. Differentiating the quadratic energy yieldsFor a specified unit direction $\mathbf{e}$, the resulting scalar mass ratio isIn an isotropic three-dimensional band, averaging equivalent directions givesCoupling to lower bands contributes positively to inverse mass; coupling to higher bands contributes negatively. Their signs and matrix elements determine the actual curvature.

The original PDF prints $m^{\ast }={\hslash }^2[{\nabla }_{\mathbf{k}}^2{\epsilon }_n{]}^{-1}$. Taken literally as a three-dimensional Laplacian, this misses a factor of three for an isotropic scalar mass. The correct identities areThe printed expression would return $m/3$ even for the free dispersion ${\hslash }^2{k}^2/(2m)$. It is correct in one dimension, or if its second derivative is interpreted directionally. For completeness, its literal three-dimensional trace ratio would instead be $3+(2/m){\sum }_{l\ne n}|⟨n|\mathbf{p}|l⟩{|}^2/(E_n-E_l)$; that is the trace of the dimensionless inverse-mass tensor, not the usual scalar $m/m^{\ast }$.

X-ray diffraction is the angular redistribution of X-ray wave intensity through wave interference between scattered waves. In a crystal structure, repeated lattice translations select discrete outgoing directions by the Laue equations. A photographic plate can therefore turn invisible atomic periodicity into a visible constellation of spots. Their geometry constrains the Bravais lattice and its orientation; their wave intensities also depend on the crystal basis structure factor. Determining atomic positions belongs to X-ray crystallography and requires more information than recognizing a spot pattern.

The Laue X-ray diffraction experiment of 1912 established this phenomenon experimentally. The Laue method uses a fixed crystal structure with a range of incident wavelengths; the Bragg crystal reflection experiment of 1913 instead measured angularly resolved signals with a moving detector. These are different ways of finding the same coherent elastic scattering directions.