Concept

Degrees of freedom — where it appears

The independent ways a system can hold energy, counted as quadratic terms in it, each carrying half of kT once kT exceeds its first step. Counting them is what turns a heat capacity into an arithmetic question, and their freezing out with falling temperature is a quantum effect visible on a thermometer.

Named by 11 essays across 4 fields — each of them below, with the objects they name alongside it.

The staircase equipartition cannot climb. The heat capacity of hydrogen at constant volume, in units of R, against temperature on a logarithmic axis. The three translational directions contribute 3/2 at every temperature. The two rotations switch on near 85.4 K — the temperature at which kT matches the first rotational step — taking the total to 5/2, computed here by summing the rigid rotor's partition function over two hundred levels rather than by assuming the plateau. The vibration switches on near 6332 K, taking it to 7/2. At 50 K the value is 2.469; at 300 K the value is 2.502; at 5000 K the value is 3.376. Classical equipartition predicts 7/2 at every temperature, including at four kelvin, and the size of the steps is set by ħ — which is how a heat capacity measures a quantum constant.

Half a kT for every way of moving

A heat capacity ought to be a count. Every quadratic term in a system's energy carries half a kT of it, so warming a gas is a matter of enumerating the ways its molecules can move — and the fact that the count comes out wrong for hydrogen is how a thermometer measured Planck's constant.

thermodynamics · Equipartition
The two normal modes of a coupled pair at kc/k = 0.1. Two equal masses, each held to a wall by a spring of stiffness k and to each other by a coupling spring of 0.1k. Above: the in-phase mode, in which both masses move the same way by the same distance, the coupling spring never changes length, and the frequency is therefore 1.0000√(k/m) — the coupling does not appear in it at all. Below: the out-of-phase mode, in which the coupling spring changes length by twice the displacement, so each mass feels k + 2kc and the frequency rises to 1.0954√(k/m), a ratio of 1.0954. Both displacement patterns are the eigenvectors of the pair's stiffness matrix, obtained from its trace and determinant and checked against those two square roots. The red arrows are the force each mass is pulled back by, computed as −Kx: 1.00kA in the first mode against 1.20kA in the second, a factor of 1.20, which is the square of the frequency ratio because ω² is a stiffness over a mass. Any motion of the pair whatsoever is a sum of these two and nothing else.

The two pendulums that will not stop swapping

Coupled oscillators joined by a weak spring appear to hand energy back and forth. Nothing is handed anywhere: the system has only a pair of motions that keep their shape, at √(k/m) and √((k+2kc)/m), and the apparent traffic is the beat between them — 51 swings from one handover to the next at a coupling of one part in fifty. Extend the same arithmetic to N masses and it produces a dispersion relation with a hard ceiling, near 7 THz in copper.

mechanics · Harmonic approximation
Newton's answer, Laplace's, and the measurement. The speed of sound in 4 gases at 273.15 K. The short bar is Newton's √(RT/M), which assumes the compressions stay at one temperature; the long one is the same multiplied by √γ, which is what they come to if no heat crosses between a compression and the rarefaction beside it; the upright mark is the measured value. Newton's is 15.5% low for air, 22.5% low for helium, 22.5% low for argon, 12.0% low for carbon dioxide, and the corrected one is right to 0.05% for every gas here. Turning it round: γ read off each pair of bars is 1.400 for air, 1.665 for helium, 1.666 for argon, 1.290 for carbon dioxide, which is 1 + 2/f with f = 5.0, 3.0, 3.0, 6.9 ways of holding energy — three for the monatomic gases, five for the diatomic ones, and nearly seven for carbon dioxide, whose bending modes have begun to take a share at this temperature and its stretch has not. A speed measured with a stopwatch counts the ways a molecule can move.

The correction that took a century

Newton derived the speed of sound in 1687 and got 290 metres a second against a measured 340. The arithmetic was right; the assumption was not. Heat cannot cross a wavelength in a period, so the compressions are adiabatic — and the factor that repairs the answer turns out to be a count of the ways a molecule can move.

waves · Wave motion
What a coordinate is worth, by the shape of its energy. The mean energy stored in one coordinate, in units of kT, against the power with which that coordinate enters the energy. The curve is 1/n and the points are the same average obtained by integrating the Boltzmann weight numerically, agreeing to 3.3e-7 per cent at worst. an energy going as |x|^1 holds 1.0000 kT; an energy going as |x|^1.5 holds 0.6667 kT; an energy going as |x|^2 holds 0.5000 kT; an energy going as |x|^3 holds 0.3333 kT; an energy going as |x|^4 holds 0.2500 kT; an energy going as |x|^6 holds 0.1667 kT. The familiar half a kT is the case n = 2 and nothing more general than that: a coordinate whose energy is linear in it — the momentum of an ultrarelativistic particle, or a field with no restoring force but a constant tension — carries a whole kT, and one confined by a very steep wall carries almost nothing. Equipartition is a theorem about quadratic terms, and calling it a theorem about degrees of freedom is the substitution that makes it fail.

The share that is not half a kT

Equipartition is quoted as half a kT for every degree of freedom, and it is nothing of the kind. It is half a kT for every *quadratic* term. A coordinate whose energy is linear in it carries a whole kT, and a gas hot enough that its particles' energy is pc rather than p²/2m therefore holds twice what the counting says — which drops its ratio of specific heats to four thirds and puts a star on the edge of being able to hold itself up.

thermodynamics · Equipartition
Four supports, and a whole line of answers. The same top on four supports at the corners of a square, with the load in the same place. Five sets of reactions are drawn and every one of them satisfies all three equilibrium equations exactly — worst residual 1.1e-16 across the whole family — so statics does not prefer any of them. They differ by a multiple of the pattern plus, minus, plus, minus around the square: pressing one diagonal pair harder and the other pair less adds no net force and no moment about either axis, which is exactly what it means for the problem to have a fourth unknown and only three equations. The rigid-body idealisation has not been applied carelessly here; it has been applied correctly, and the answer it gives is that there is no answer. Every member drawn keeps all four reactions positive, so the requirement that a leg can only push narrows the family without closing it. What decides is left out of the model entirely — how much each leg gives under load.

The table statics cannot settle

A rigid top on three legs has one possible set of reactions and a rigid top on four has infinitely many, all of them balancing every force and every moment exactly. The extra leg does not make the problem harder; it makes it unanswerable, and the answer has to come from somewhere the model deliberately threw away.

mechanics · Free-body
Where a heap stops flowing. The number of motions that cost nothing, against the mean number of contacts each grain has, for a patch of 37 grains. Every point is the rank of an actual rigidity matrix — one row per contact, one column per coordinate — subtracted from the number of coordinates, so it is a measurement of the network rather than a formula about it. The dashed line is Maxwell's count, two coordinates a grain minus half a contact each, which is what the counting alone predicts. The measured curve reaches its floor of three free motions — the rigid-body ones — at a coordination of 4.11, and Maxwell's line reaches zero at exactly four, which is twice the dimension of the plane. That is the isostatic point and the difference between the two numbers is the boundary of a finite patch, whose outer grains have fewer neighbours than they would in an infinite one. Above the threshold the two curves separate: the measured floor stays at three while the count keeps falling, and the gap is the redundancy — contacts whose forces no equilibrium equation can determine. Below it the pack has genuine mechanisms and will rearrange under any load at all. The transition is in the count and not in the material, which is why a fluid and a solid here are made of exactly the same grains.

The heap that becomes a solid

Sand poured into a jar flows; the same sand shaken down and pressed does not. Nothing about the grains has changed — not their size, their hardness, their friction or their density by more than a per cent — and the thing that changed is a count of contacts, which crosses a threshold set by the dimension of space and by nothing else.

fluids · Granular matter
The reaction that reaches zero, and where the bead lets go. The force the sphere pushes back with, in units of the bead's weight, against the angle from the top. It starts at 1.000 and falls, because the speed the bead has gained needs more centripetal force than gravity's component along the radius can supply. At 48.19° it reaches zero, and past that the surface would have to pull inward to keep the bead on it — which a surface cannot do. So the bead leaves there, and the departure angle is a statement about the sign of a constraint force rather than about a speed or a height. The multiplier is what carries that sign: solve the motion in the angle alone and the reaction is absent from every equation, so nothing in the solution knows that the constraint has stopped holding, and the bead is drawn happily circling a sphere it has already left.

The force a coordinate cannot see

Writing a pendulum in terms of its angle is the first good move anybody learns, and it deletes the tension from every equation that follows. The string still breaks. Recovering the force that the clever choice of coordinate threw away turns out to be a computation with a sign in it, and the sign is where the bead leaves the sphere.

mechanics · Least action
Three curves that can only meet at a point. Water's phase diagram within a kelvin of its triple point, with each boundary drawn at the slope Clausius and Clapeyron give it from measured latent heats and densities: 44.4 Pa/K for boiling, 50.3 for sublimation, and -135 bar per kelvin for melting — negative, and so steep that it is drawn vertical here, because ice is the less dense phase and pressure therefore melts it. Two things follow that no amount of measurement could adjust. The three slopes are not independent: the sublimation and vaporisation curves differ in slope by 5.92 Pa/K, which is exactly what the fusion latent heat predicts, because going solid → gas directly and solid → liquid → gas must cost the same enthalpy. And the sublimation curve is the steeper of the two, so the two cross rather than touch — which is why the triple point is a crossing and not a tangency, and why ice sublimes below it and melts above it.

Why the triple point is a point

Three phases of one substance coexist at one temperature and one pressure and nowhere else, and the reason is arithmetic rather than chemistry: count the numbers that describe the state, count the conditions equilibrium imposes, and subtract. The same subtraction says four phases of one substance are impossible, and it says so without knowing what the substance is.

thermodynamics · Phase change
A ratio in the exponent. The Boltzmann factor against the energy of a state measured in units of kT, with the logarithm up the axis so that the straight line is the whole content. Every kT of energy costs a factor of e, so 5, 12, 20 times kT are factors of 10^-2.2, 10^-5.2, 10^-8.7. At 295 K, kT is 25.4 meV, so a barrier of 0.4 eV is 15.7 kT and a factor of 1.5e-7. That is the sense in which a third of an electronvolt is not a small energy: it is small compared with a chemical bond and enormous compared with kT, and it is the second comparison that decides whether anything happens.

The temperature a molecule does not have

Temperature fixes a system's average energy and nothing more. The actual energy wanders, by an amount tied to the heat capacity, and the relative size of the wandering falls as one over the square root of the number of degrees of freedom — so a mole has a temperature and a molecule does not.

thermodynamics · Equipartition
The modes of a wire, counted. Nyquist's argument of 1928, with its count performed. Two resistors joined by a lossless line are in equilibrium, and the line is a one-dimensional cavity whose standing waves are spaced c/2L apart in frequency. Each mode has an electric and a magnetic energy, both quadratic, so equipartition gives it kT — the same half a kT per quadratic term that a heat capacity counts. The upper points are how many modes fall in a band of a hundred and thirty-seven megahertz, for five line lengths, from 17 on a thirteen-metre line to 8,558 on one of six kilometres. The lower points are the power each end therefore receives, as a fraction of kTΔf, and they converge on one: a longer line has proportionally more modes and takes proportionally longer to deliver them, so the length cancels. The longest line lands within 0.005 per cent and the shortest is 4.5 per cent low, because thirteen metres holds only seventeen whole modes in the band and the remainder is a real granularity rather than an error. What is left in the limit is kTΔf — a noise power with no resistance in it at all, and none of the line's properties either.

Half a kT in a piece of wire

Count the quadratic terms in a molecule's energy and equipartition gives a heat capacity. Count them on a transmission line instead and the same theorem gives a resistor's noise voltage — 4kTRΔf, with nothing in it about what the resistor is made of. A fifty-ohm input at room temperature says 0.91 nanovolts in every root hertz, and no design removes it.

thermodynamics · Equipartition
Twice the kinetic energy, and what it equals. Twice the time-averaged kinetic energy of a bound orbit, divided by its time-averaged potential energy, against the power with which that potential depends on separation. Each point is a measurement: an eccentric orbit integrated for more than a hundred radial periods, with the two averages accumulated along it, and the radius checked to vary by at least a fifth so that the orbit is not trivially circular. The line is the exponent itself, and the points miss it by at most 6.6e-4. Two cases carry everything. At n = 2, a harmonic well, the two energies are equal — which is the ordinary equipartition statement, half a kT to the kinetic term and half a kT to the potential one. At n = −1, which is gravity and the Coulomb force, twice the kinetic energy equals minus the potential energy, so the total energy of a bound system is minus its kinetic energy. Nothing about temperature entered, and nothing about equilibrium: the relation holds for one orbit averaged over time as well as for a crowd averaged over members.

Weighing what cannot be put on a scale

Summed over every coordinate of a bound system, equipartition stops being a statement about temperature and becomes a relation between two averages: twice the kinetic energy equals n times the potential energy for a potential going as the nth power. For gravity that fixes a bound system's total energy from how fast its parts move — so a Doppler shift and an angular size return a mass, and for the Coma cluster the mass they return is fifty times the mass that shines.

thermodynamics · Equipartition

Named alongside it

The objects these essays reach for when they reach for this one.

EquipartitionHeat capacityStatistical mechanicsTemperatureThe Boltzmann factorConstraint countingGravitational collapseKinetic theoryMeasurementPhase spaceStatically indeterminateThermal energy

All concepts