The equations in this section do not use
axioms of quantum mechanics but instead use relations for which there exists a direct
correspondence in classical mechanics. For example: a rigid regular,
crystalline (not
amorphous) lattice is composed of
N particles. These particles may be atoms or molecules.
N is a large number, say of the order of 1023, or on the order of the
Avogadro number for a typical sample of a solid. Since the lattice is rigid, the atoms must be exerting
forces on one another to keep each atom near its equilibrium position. These forces may be
Van der Waals forces,
covalent bonds,
electrostatic attractions, and others, all of which are ultimately due to the
electric force.
Magnetic and
gravitational forces are generally negligible. The forces between each pair of atoms may be characterized by a
potential energy function
V that depends on the distance of separation of the atoms. The potential energy of the entire lattice is the sum of all pairwise potential energies multiplied by a factor of 1/2 to compensate for double counting: :\frac12\sum_{i \neq j} V\left(r_i - r_j\right) where
ri is the
position of the
ith atom, and
V is the potential energy between two atoms. It is difficult to solve this
many-body problem explicitly in either classical or quantum mechanics. In order to simplify the task, two important
approximations are usually imposed. First, the sum is only performed over neighboring atoms. Although the electric forces in real solids extend to infinity, this approximation is still valid because the fields produced by distant atoms are effectively
screened. Secondly, the potentials
V are treated as
harmonic potentials. This is permissible as long as the atoms remain close to their equilibrium positions. Formally, this is accomplished by
Taylor expanding V about its equilibrium value to quadratic order, giving
V proportional to the displacement
x2 and the elastic force simply proportional to
x. The error in ignoring higher order terms remains small if
x remains close to the equilibrium position. The resulting lattice may be visualized as a system of balls connected by springs. The following figure shows a cubic lattice, which is a good model for many types of crystalline solid. Other lattices include a linear chain, which is a very simple lattice which we will shortly use for modeling phonons. (For other common lattices, see
crystal structure.) The potential energy of the lattice may now be written as :\sum_{\{ij\} (\mathrm{nn})} \tfrac12 m \omega^2 \left(R_i - R_j\right)^2. Here,
ω is the
natural frequency of the harmonic potentials, which are assumed to be the same since the lattice is regular.
Ri is the position coordinate of the
ith atom, which we now measure from its equilibrium position. The sum over nearest neighbors is denoted (nn). It is important to mention that the mathematical treatment given here is highly simplified in order to make it accessible to non-experts. The simplification has been achieved by making two basic assumptions in the expression for the total potential energy of the crystal. These assumptions are that (i) the total potential energy can be written as a sum of pairwise interactions, and (ii) each atom interacts with only its nearest neighbors. These are used only sparingly in modern lattice dynamics. A more general approach is to express the potential energy in terms of force constants. Put :u_n = \sum_{Nak/2\pi=1}^N Q_k e^{ikna}. Here, corresponds and devolves to the continuous variable of scalar field theory. The are known as the
normal coordinates for continuum field modes \phi_k = e^{ikna} with k = 2\pi j/(Na) for j=1\dots N. Substitution into the equation of motion produces the following
decoupled equations (this requires a significant manipulation using the orthonormality and completeness relations of the discrete Fourier transform), : 2C(\cos {ka-1})Q_k = m\frac{d^2Q_k}{dt^2}. These are the equations for decoupled
harmonic oscillators which have the solution :Q_k=A_ke^{i\omega_kt};\qquad \omega_k=\sqrt{ \frac{2C}{m}(1-\cos{ka})}. Each normal coordinate
Qk represents an independent vibrational mode of the lattice with wavenumber , which is known as a
normal mode. The second equation, for , is known as the
dispersion relation between the
angular frequency and the
wavenumber. In the
continuum limit, →0, →∞, with held fixed, → , a scalar field, and \omega(k) \propto k a. This amounts to classical free
scalar field theory, an assembly of independent oscillators.
Quantum treatment A one-dimensional quantum mechanical harmonic chain consists of
N identical atoms. This is the simplest quantum mechanical model of a lattice that allows phonons to arise from it. The formalism for this model is readily generalizable to two and three dimensions. In contrast to the previous section, the positions of the masses are not denoted by u_i, but instead by x_1,x_2,\dots as measured from their equilibrium positions. (I.e. x_i=0 if particle i is at its equilibrium position.) In two or more dimensions, the x_i are vector quantities. The
Hamiltonian for this system is :\mathcal{H} = \sum_{i=1}^N \frac{p_i^2}{2m} + \frac{1}{2} m\omega^2 \sum_{\{ij\} (\mathrm{nn})} \left(x_i - x_j\right)^2 where
m is the mass of each atom (assuming it is equal for all), and
xi and
pi are the position and
momentum operators, respectively, for the
ith atom and the sum is made over the nearest neighbors (nn). However one expects that in a lattice there could also appear waves that behave like particles. It is customary to deal with
waves in
Fourier space which uses
normal modes of the
wavevector as variables instead of coordinates of particles. The number of normal modes is the same as the number of particles. Still, the Fourier space is very useful given the
periodicity of the system. A set of
N "normal coordinates"
Qk may be introduced, defined as the
discrete Fourier transforms of the
xk and
N "conjugate momenta"
Πk defined as the Fourier transforms of the
pk: :\begin{align} Q_k &= \frac{1}\sqrt{N} \sum_{l} e^{ikal} x_l \\ \Pi_{k} &= \frac{1}\sqrt{N} \sum_{l} e^{-ikal} p_l. \end{align} The quantity
k turns out to be the
wavenumber of the phonon, i.e. 2 divided by the
wavelength. This choice retains the desired commutation relations in either real space or wavevector space : \begin{align} \left[x_l , p_m \right]&=i\hbar\delta_{l,m} \\ \left[ Q_k , \Pi_{k'} \right] &=\frac{1}N \sum_{l,m} e^{ikal} e^{-ik'am} \left[x_l , p_m \right] \\ &= \frac{i \hbar}N \sum_{l} e^{ial\left(k-k'\right)} = i\hbar\delta_{k,k'} \\ \left[ Q_k , Q_{k'} \right] &= \left[ \Pi_k , \Pi_{k'} \right] = 0 \end{align} From the general result : \begin{align} \sum_{l}x_l x_{l+m}&=\frac{1}N\sum_{kk'}Q_k Q_{k'}\sum_{l} e^{ial\left(k+k'\right)}e^{iamk}= \sum_{k}Q_k Q_{-k}e^{iamk} \\ \sum_{l}{p_l}^2 &= \sum_{k}\Pi_k \Pi_{-k} \end{align} The potential energy term is : \tfrac12 m \omega^2 \sum_{j} \left(x_j - x_{j+1}\right)^2= \tfrac12 m\omega^2\sum_{k}Q_k Q_{-k}(2-e^{ika}-e^{-ika})= \tfrac12 \sum_{k}m{\omega_k}^2Q_k Q_{-k} where :\omega_k = \sqrt{2 \omega^2 \left( 1 - \cos{ka} \right)} = 2\omega\left|\sin\frac{ka}2\right| The Hamiltonian may be written in wavevector space as :\mathcal{H} = \frac{1}{2m}\sum_k \left( \Pi_k\Pi_{-k} + m^2 \omega_k^2 Q_k Q_{-k} \right) The couplings between the position variables have been transformed away; if the
Q and
Π were
Hermitian (which they are not), the transformed Hamiltonian would describe
N uncoupled harmonic oscillators. The form of the quantization depends on the choice of boundary conditions; for simplicity,
periodic boundary conditions are imposed, defining the (
N + 1)th atom as equivalent to the first atom. Physically, this corresponds to joining the chain at its ends. The resulting quantization is :k=k_n = \frac{2\pi n}{Na} \quad \mbox{for } n = 0, \pm1, \pm2, \ldots \pm \frac{N}2 .\ The upper bound to
n comes from the minimum wavelength, which is twice the lattice spacing
a, as discussed above. The harmonic oscillator eigenvalues or energy levels for the mode
ωk are: :E_n = \left(\tfrac12+n\right)\hbar\omega_k \qquad n=0,1,2,3 \ldots The levels are evenly spaced at: :\tfrac12\hbar\omega , \ \tfrac32\hbar\omega ,\ \tfrac52\hbar\omega \ \cdots where
ħω is the
zero-point energy of a
quantum harmonic oscillator. An
exact amount of
energy ħω must be supplied to the harmonic oscillator lattice to push it to the next energy level. By analogy to the
photon case when the
electromagnetic field is quantized, the quantum of vibrational energy is called a phonon. All quantum systems show wavelike and particlelike properties simultaneously. The particle-like properties of the phonon are best understood using the methods of
second quantization and operator techniques described later.
Three-dimensional lattice This may be generalized to a three-dimensional lattice. The wavenumber
k is replaced by a three-dimensional
wavevector k. Furthermore, each
k is now associated with three normal coordinates. The new indices
s = 1, 2, 3 label the
polarization of the phonons. In the one-dimensional model, the atoms were restricted to moving along the line, so the phonons corresponded to
longitudinal waves. In three dimensions, vibration is not restricted to the direction of propagation, and can also occur in the perpendicular planes, like
transverse waves. This gives rise to the additional normal coordinates, which, as the form of the Hamiltonian indicates, we may view as independent species of phonons.
Dispersion relation exhibits three acoustic modes: one
longitudinal acoustic mode and two
transverse acoustic modes. The number of optical modes is 3
N – 3. The lower figure shows the dispersion relations for several phonon modes in
GaAs as a function of wavevector
k in the
principal directions of its Brillouin zone. The modes are also referred to as the branches of phonon dispersion. In general, if there are p atoms (denoted by N earlier) in the primitive unit cell, there will be 3p branches of phonon dispersion in a 3-dimensional crystal. Out of these, 3 branches correspond to acoustic modes and the remaining 3p-3 branches will correspond to optical modes. In some special directions, some branches coincide due to symmetry. These branches are called degenerate. In acoustic modes, all the p atoms vibrate in phase. So there is no change in the relative displacements of these atoms during the wave propagation. Study of phonon dispersion is useful for modeling propagation of sound waves in solids, which is characterized by phonons. The energy of each phonon, as given earlier, is
ħω. The velocity of the wave also is given in terms of
ω and k
. The direction of the wave vector is the direction of the wave propagation and the phonon polarization vector gives the direction in which the atoms vibrate. Actually, in general, the wave velocity in a crystal is different for different directions of k. In other words, most crystals are anisotropic for phonon propagation. A wave is longitudinal if the atoms vibrate in the same direction as the wave propagation. In a transverse wave, the atoms vibrate perpendicular to the wave propagation. However, except for isotropic crystals, waves in a crystal are not exactly longitudinal or transverse. For general anisotropic crystals, the phonon waves are longitudinal or transverse only in certain special symmetry directions. In other directions, they can be nearly longitudinal or nearly transverse. It is only for labeling convenience, that they are often called longitudinal or transverse but are actually quasi-longitudinal or quasi-transverse. Note that in the three-dimensional case, there are two directions perpendicular to a straight line at each point on the line. Hence, there are always two (quasi) transverse waves for each (quasi) longitudinal wave. Many phonon dispersion curves have been measured by
inelastic neutron scattering. The physics of sound in
fluids differs from the physics of sound in solids, although both are density waves: sound waves in fluids only have longitudinal components, whereas sound waves in solids have longitudinal and transverse components. This is because fluids cannot support
shear stresses (but see
viscoelastic fluids, which only apply to high frequencies).
Interpretation of phonons using second quantization techniques The above-derived Hamiltonian may look like a classical Hamiltonian function, but if it is interpreted as an
operator, then it describes a
quantum field theory of non-interacting
bosons. :b_k=\sqrt\frac{m\omega_k}{2\hbar}\left(Q_k+\frac{i}{m\omega_k}\Pi_{-k}\right) and {b_k}^\dagger=\sqrt\frac{m\omega_k}{2\hbar}\left(Q_{-k}-\frac{i}{m\omega_k}\Pi_{k}\right) The following commutators can be easily obtained by substituting in the
canonical commutation relation: :\left[b_k , {b_{k'}}^\dagger \right] = \delta_{k,k'} ,\quad \Big[b_k , b_{k'} \Big] = \left[{b_k}^\dagger , {b_{k'}}^\dagger \right] = 0 Using this, the operators
bk† and
bk can be inverted to redefine the conjugate position and momentum as: :Q_k=\sqrt{\frac{\hbar}{2m\omega_k}}\left({b_k}^\dagger+b_{-k}\right) and \Pi_k=i\sqrt{\frac{\hbar m\omega_k}{2}}\left({b_k}^\dagger-b_{-k}\right) Directly substituting these definitions for Q_k and \Pi_k into the wavevector space Hamiltonian, as it is defined above, and simplifying then results in the Hamiltonian taking the form: ==Crystal momentum==