Harmonic Oscillator in a Thermal Bath: Heat Capacity and the Einstein Solid
Anchor (Master): Pathria & Beale, Statistical Mechanics, 3rd ed. (2011), Ch. 3; Landau & Lifshitz, Statistical Physics, Part 1, 3rd ed. (1980), Sec. 32--33
Intuition Beginner
A quantum harmonic oscillator is a spring that obeys the rules of quantum mechanics. Unlike a classical spring, which can have any energy, a quantum spring can only occupy discrete energy levels:
where is the oscillation frequency. The spacing between adjacent levels is always -- a fixed quantum of energy.
At zero temperature, the oscillator sits in its ground state with energy . This is the zero-point energy: even at absolute zero, the quantum spring is never completely still. Heisenberg's uncertainty principle forbids a particle from having both a definite position and zero momentum simultaneously.
At temperature , the oscillator samples different energy levels. The probability of being found in level is proportional to . Higher energy levels become more likely as increases -- the spring vibrates more vigorously. The average energy grows with temperature, but it does so differently than a classical spring would.
Einstein's key idea (1907). A crystal is a regular array of atoms, each vibrating around its equilibrium position. Einstein modelled each atom as three independent quantum springs (one for each direction: , , ), all with the same frequency . A crystal of atoms becomes independent quantum harmonic oscillators -- an Einstein solid.
This model explains one of the great puzzles of 19th-century physics. The classical theory of solids (Dulong and Petit, 1819) predicted that every solid should have a molar heat capacity J/(mol K), regardless of temperature. Experiment agreed at high temperature but showed that drops toward zero at low temperature. No classical theory could explain this.
Einstein's quantum model resolves the puzzle. When is large compared to the energy quantum , the oscillator behaves classically and contributes to the heat capacity -- recovering the Dulong-Petit law. When is small compared to , the oscillator "freezes out": it cannot absorb fractional quanta, so adding a small amount of heat goes toward exciting only the few oscillators near the bottom of their energy ladder. The heat capacity drops exponentially.
The characteristic temperature scale is the Einstein temperature . Above , the solid behaves classically; below , quantum effects dominate and falls.
The Einstein model predicts that drops exponentially at low , but experiments show . The reason is that Einstein assumed all oscillators have the same frequency, ignoring the collective vibrational modes (phonons) of the crystal lattice. Debye (1912) included a spectrum of frequencies and recovered the correct law. Both models share the same core physical insight: quantum mechanics suppresses the heat capacity of solids at low temperature.
Visual Beginner
The energy levels of a quantum harmonic oscillator form a ladder with equally spaced rungs, separated by . At low temperature (), the Boltzmann weights decay rapidly with , and the oscillator almost always sits in the ground state. At high temperature (), many levels are populated with comparable probability, and the discrete ladder looks like a continuous ramp -- the classical limit.
Worked example Beginner
The Einstein temperature of diamond is K (diamond has unusually stiff bonds). At room temperature K, compute the ratio and determine whether diamond behaves classically at room temperature.
Step 1: Compute .
Step 2: Since , we are deep in the quantum regime. The dimensionless ratio .
Step 3: The heat capacity per oscillator is approximately .
Step 4: The molar heat capacity is J/(mol K). This is well below the Dulong-Petit value of J/(mol K). Diamond at room temperature is not classical -- its bonds are too stiff and the temperature is too low to fully excite the vibrational modes. This is why diamond has an unusually low heat capacity at room temperature.
For comparison, copper has K. At room temperature ( K), , and copper's heat capacity is close to the classical , consistent with everyday experience.
Check your understanding Beginner
Formal definition Intermediate+
The partition function of a single quantum harmonic oscillator with frequency at inverse temperature is
The geometric series converges because for all finite temperatures. The average energy is
The term is the temperature-independent zero-point energy. The second term, , is the thermal energy -- the part that changes with temperature. The function is the Bose-Einstein occupation number: the average number of quanta in a mode of frequency at temperature .
The heat capacity of a single oscillator is
Defining the dimensionless variable :
The Einstein solid
A crystal of atoms is modelled as independent quantum harmonic oscillators, all with the same frequency . The total partition function factorises:
The total energy and heat capacity are:
where and is the Einstein temperature.
High-temperature limit (, or )
For : , so , giving . The total heat capacity is per mole -- the Dulong-Petit law. This is the classical result, where each quadratic degree of freedom contributes to the energy and to the heat capacity, and each oscillator has two such degrees of freedom (kinetic and potential), giving per oscillator.
Low-temperature limit (, or )
For : , so . The heat capacity drops exponentially -- the quantum freeze-out. Physically, the energy quantum is too large for the thermal bath to excite, so the oscillator remains near its ground state and cannot absorb heat.
Comparison with Debye model
The Einstein model assumes a single frequency . Real crystals have collective vibrational modes (phonons) with frequencies ranging from near zero up to a maximum . The Debye model replaces the single frequency with a density of states proportional to up to a cutoff , giving a Debye temperature .
The Debye model predicts at low temperatures (instead of the Einstein exponential), in excellent agreement with experiment. Both models converge to at high temperature.
Key derivation: The quantum harmonic oscillator partition function Intermediate+
Proposition. The partition function of a quantum harmonic oscillator with frequency at inverse temperature is .
Proof. The energy eigenvalues are for The partition function is:
This is a geometric series with ratio (for ):
Therefore .
Corollary (average energy). The average energy is where is the Bose-Einstein occupation number.
Proof. .
The second term is where .
Corollary (heat capacity). The heat capacity of a single oscillator is where .
Proof. Starting from and differentiating with respect to (using ):
Bridge. The harmonic oscillator partition function is the single-mode building block of quantum statistical mechanics. The Bose-Einstein occupation number counts the average number of quanta (phonons, photons) in a mode at frequency . This same function appears in Planck's blackbody radiation law 11.04.02, in the Debye model of specific heat, and in the theory of Bose-Einstein condensation 11.05.01. The harmonic oscillator is the universal system of statistical mechanics because every potential near its minimum looks quadratic -- and quadratic potentials give harmonic oscillators.
Exercises Intermediate+
Lean formalization Intermediate+
The quantum harmonic oscillator partition function involves a geometric series evaluation and logarithmic differentiation. The geometric series for is available in Mathlib. The main formalization challenge is representing the average energy as a function of the real variables , , and the physical constants , . The heat capacity formula requires differentiating the average energy with respect to temperature, which is manageable symbolically but demands careful handling of the chain rule through . The Einstein solid ( independent oscillators) is a product of identical partition functions, and its heat capacity follows from linearity. The asymptotic limits ( as , as ) are within Mathlib's scope for real analysis.
Advanced results Master
Equipartition theorem and the classical limit
The high-temperature limit of the quantum harmonic oscillator provides a clean derivation of the equipartition theorem for quadratic degrees of freedom. A classical harmonic oscillator with Hamiltonian has two quadratic terms. The classical partition function factorises:
The average energy is . Each quadratic degree of freedom contributes -- the equipartition theorem. The quantum result reduces to in the limit because , giving .
The zero-point energy is invisible to thermodynamics -- it contributes a constant to but vanishes from , , and all response functions. However, it is physically real: the Lamb shift, the Casimir effect, and the ground-state energy of molecular vibrations all depend on it.
Path integral formulation
The partition function of a quantum harmonic oscillator has an elegant path-integral representation. In the Feynman path integral formulation, can be written as a Euclidean path integral over periodic trajectories with period :
For the harmonic oscillator, this is a Gaussian functional integral and can be evaluated exactly. The result reproduces . This calculation demonstrates that the path integral formulation of quantum statistical mechanics is a natural extension of classical phase-space integrals to quantum systems, with the classical limit recovered when .
The Euclidean action in the path integral has the same form as the classical action but with imaginary time . The partition function is a weighted average over all periodic paths, where the weight is determined by the Euclidean action. For anharmonic potentials, the path integral cannot be evaluated in closed form, but perturbative and numerical methods are available. The harmonic oscillator thus serves as the reference system for perturbation theory in both quantum mechanics and quantum statistical mechanics.
Phonons and lattice dynamics
The Einstein model treats each atom as vibrating independently. In reality, atoms in a crystal are coupled by interatomic forces, and the normal modes of vibration are collective excitations called phonons. The Hamiltonian for small vibrations of a crystal lattice is:
where is the wave vector, labels the phonon branch (longitudinal and transverse), and and are normal-mode coordinates. Each normal mode is an independent quantum harmonic oscillator with frequency . The phonon dispersion relation replaces the single Einstein frequency with a spectrum.
Acoustic phonons have as (long-wavelength sound waves). These low-frequency modes dominate the low-temperature heat capacity, giving the Debye law. Optical phonons (in crystals with more than one atom per unit cell) have at and behave more like Einstein oscillators -- they contribute an exponential freeze-out at low .
The specific heat of a real crystal is a combination of these contributions. At very low (), the acoustic-phonon term dominates. At intermediate temperatures, optical phonons begin to contribute. At high (), all modes are fully excited and the Dulong-Petit limit is recovered regardless of the details of the phonon spectrum.
Negative temperatures and population inversion
For a harmonic oscillator, for all finite positive temperatures. However, if the population is inverted (higher energy levels more populated than lower ones), one can formally define a negative temperature through , giving . Negative temperatures are "hotter" than any positive temperature in the sense that energy flows from a negative-temperature system to a positive-temperature system. Population inversion is the basis of the laser: the gain medium is pumped to a negative-temperature state, and stimulated emission extracts coherent radiation.
Synthesis. The quantum harmonic oscillator is the foundational system of statistical mechanics because every bound system near equilibrium looks harmonic. The partition function encodes the full thermodynamic behaviour of a single vibrational mode, and the Einstein solid extends this to a macroscopic crystal by treating oscillators as independent. The central physical insight is the energy quantum : when , the system is classical (Dulong-Petit), and when , the system freezes out (). The Bose-Einstein occupation number bridges these limits and reappears wherever quantum harmonic oscillators arise: blackbody radiation 11.04.02, phonon physics, and Bose-Einstein condensation 11.05.01. The Einstein model's single-frequency assumption is its key limitation; the Debye model's inclusion of a frequency spectrum gives the correct low-temperature law and connects this unit to the full theory of lattice dynamics and solid-state physics. The harmonic oscillator partition function is dual to the classical equipartition result 11.04.04: the classical limit per oscillator is recovered from the quantum formula when , just as the Sackur-Tetrode entropy is recovered from quantum statistics in the classical limit .
Full proof set Master
Proposition. The heat capacity of the Einstein solid is where and . This heat capacity satisfies: (i) as , (ii) exponentially as , (iii) is monotonically increasing in for all .
Proof. The total partition function for independent oscillators is . The total energy is:
.
Using :
.
.
(i) As : , , so .
(ii) As : , , so exponentially.
(iii) Monotonicity follows from for all . Setting , we need (since and decreases with ). Computing . After simplification, for all , confirming is monotonically increasing in .
Proposition. The entropy of the Einstein solid satisfies as , consistent with the third law of thermodynamics.
Proof. From the free energy and :
As : , so and . Both terms in vanish, giving . The ground state has oscillators each in their lowest energy state (), so there is a unique microstate and .
Connections Master
11.04.01The quantum harmonic oscillator partition function is a direct application of the canonical ensemble to a system with discrete energy levels.11.04.03The factorisation uses the partition-function product rule for independent subsystems.11.04.02Blackbody radiation is a collection of photon modes, each a quantum harmonic oscillator. The average energy is the same expression that gives the Planck distribution.11.04.04The classical ideal gas heat capacity comes from three translational degrees of freedom. The Einstein solid heat capacity at high comes from three vibrational degrees of freedom, each with kinetic and potential contributions.11.05.01Phonons are bosons. The Debye model is a Bose gas of phonons with a density of states proportional to .11.01.03The third law is satisfied: as for the Einstein solid (unique ground state).
Historical and philosophical context Master
In 1907, Albert Einstein -- two years after his annus mirabilis papers on Brownian motion, the photoelectric effect, and special relativity -- turned his attention to the specific heat of solids. The Dulong-Petit law ( per mole) was known to fail at low temperatures, but no theoretical explanation existed. Einstein applied Planck's quantum hypothesis to the vibrations of atoms in a crystal. His model assumed that each atom vibrates independently with a single frequency, and that the energy of vibration is quantised in units of .
Einstein's prediction -- that should decrease at low temperature and approach zero as -- was a triumph of early quantum theory. It provided one of the first pieces of evidence that quantisation applied beyond blackbody radiation, to material systems. The model correctly captured the qualitative behaviour but predicted an exponential drop in at low , while experiments showed a dependence.
Peter Debye (1912) resolved this discrepancy by replacing Einstein's single frequency with a continuous spectrum of vibrational modes up to a cutoff frequency , treating the crystal as an elastic continuum. The Debye model gives at low (from the acoustic phonon modes) and at high , in excellent quantitative agreement with experiment. The Debye temperature became a standard material parameter tabulated for every solid.
Max Born and Theodore von Karman (1912) independently developed a more detailed lattice dynamical theory that treated the crystal as a discrete periodic structure, yielding the phonon dispersion relations. Their approach is the foundation of modern solid-state physics, with applications ranging from thermal conductivity to superconductivity.
The Einstein and Debye models illustrate a recurring pattern in theoretical physics: a simple model that captures the essential physics (Einstein: quantised vibrations), followed by a refined model that includes additional structure (Debye: frequency spectrum), followed by a full treatment (Born--von Karman: discrete lattice dynamics). Each level of sophistication adds predictive power while preserving the core physical insight.
The Einstein solid also raises a conceptual point about modelling. The assumption that all oscillators have the same frequency is physically unrealistic -- real crystals have a wide spectrum of vibrational frequencies. Yet the model captures the essential physics: quantum mechanics suppresses the heat capacity at low temperature. The specific form of the suppression (exponential vs. power law) depends on the details of the frequency spectrum, but the qualitative behaviour ( as ) follows from quantisation alone. This is an instance of a general principle: the universal features of a physical theory are often captured by the simplest model that incorporates the key new ingredient.
Bibliography Master
@article{einstein1907,
author = {Einstein, Albert},
title = {Die Plancksche Theorie der Strahlung und die Theorie der spezifischen W\"arme},
journal = {Ann. Phys.},
volume = {327},
pages = {180--190},
year = {1907}
}
@article{debye1912,
author = {Debye, Peter},
title = {Zur Theorie der spezifischen W\"arme},
journal = {Ann. Phys.},
volume = {344},
pages = {789--839},
year = {1912}
}
@article{born1912,
author = {Born, Max and von K\'arm\'an, Theodore},
title = {Zur Theorie der spezifischen W\"arme},
journal = {Phys. Z.},
volume = {13},
pages = {297--309},
year = {1912}
}
@book{reif1965,
author = {Reif, Frederick},
title = {Fundamentals of Statistical and Thermal Physics},
publisher = {McGraw-Hill},
year = {1965}
}
@book{kittel1980,
author = {Kittel, Charles and Kroemer, Herbert},
title = {Thermal Physics},
edition = {2nd},
publisher = {W. H. Freeman},
year = {1980}
}
@book{pathria-beale2011,
author = {Pathria, R. K. and Beale, Paul D.},
title = {Statistical Mechanics},
edition = {3rd},
publisher = {Academic Press},
year = {2011}
}
@book{landau1980,
author = {Landau, L. D. and Lifshitz, E. M.},
title = {Statistical Physics, Part 1},
edition = {3rd},
publisher = {Pergamon},
year = {1980}
}
@book{ashcroft1976,
author = {Ashcroft, Neil W. and Mermin, N. David},
title = {Solid State Physics},
publisher = {Holt, Rinehart and Winston},
year = {1976}
}