Thermodynamics

The condition three modes never meet

Whether two modes of a chain can hand energy to a third is arithmetic on the dispersion relation, and for a chain of masses the answer is never: a sine is concave, so the sum of two frequencies always exceeds the frequency of their sum. The smallest shortfall anywhere on a chain of N masses is π³/4(N+1)³ — never zero, and never far from it — and a shortfall turns a transfer into a beat.

Assumes: The energy that refuses to be shared · Half a kT for every way of moving

The chain that refuses to share its energy leaves one question standing. Equipartition is not false; it is slow, and how slow depends on the energy density in a way nothing in the derivation of equipartition mentions. That calculation measured the dependence and stopped there, because getting the timescale out of either of the two available explanations requires a calculation neither of them contains.

This essay is that calculation, and it turns out to begin with a piece of arithmetic that has no dynamics in it at all.

The condition three modes never quite satisfy. By how much three modes of a thirty-two mass chain fail to be in resonance — the sum of two mode frequencies minus the frequency of their sum, on a logarithmic scale, against the second of the two modes for four choices of the first. The leading nonlinear term couples modes in threes and the exchange accumulates only where this quantity is zero. It never is: the chain's dispersion is a sine, a sine is concave, and the sum of two of its values always exceeds the value at their sum. The smallest mismatch anywhere on the chain is at the two lowest modes and equals 2.156e-4 — which the scan finds and which is the cube of pi over four times the cube of one more than the mode count, checked here on chains from eight masses to two hundred and fifty-six. That closed form is the whole of why this is a finite-chain problem: the mismatch falls as the cube of the length, so a long enough chain is arbitrarily close to resonant and the continuum limit is exactly resonant, which is where the solitary waves come from.
Fig. 1 By how much three modes of a thirty-two mass chain fail to be in resonance: the sum of two mode frequencies minus the frequency of their sum, logarithmic, against the second mode for four choices of the first. It is never zero. The smallest shortfall anywhere on the chain is at the two lowest modes and equals π3/4(N+1)3\pi^3/4(N+1)^3 exactly — checked here on chains from eight masses to two hundred and fifty-six.

Which exchanges are allowed to accumulate

The nonlinear term in the chain’s springs is quadratic in the strain, so when the chain is written in its normal modes that term couples them in threes. Mode k1k_1 and mode k2k_2 drive mode k3k_3, with k3k_3 fixed by the geometry to be k1+k2k_1 + k_2 or k1k2|k_1 - k_2|.

A driven oscillator responds. Whether the response grows depends on whether the driving is at the oscillator’s own frequency. Drive mode k3k_3 at ωk1+ωk2\omega_{k_1} + \omega_{k_2}, and if that happens to equal ωk3\omega_{k_3} the response builds up cycle after cycle; if it does not, the response oscillates and returns what it took.

So the question of which modes can share energy is not a question about the coupling at all. It is a question about the frequencies, and specifically about whether

ωk1+ωk2=ωk1+k2\omega_{k_1} + \omega_{k_2} = \omega_{k_1 + k_2}

can be satisfied. That is a resonance condition, it involves no amplitudes and no time, and for a chain it has an immediate answer.

The chain’s frequencies are ωk=2sin(kπ/2(N+1))\omega_k = 2\sin\big(k\pi/2(N+1)\big)the dispersion relation of a lattice, a sine, which is concave on the range of interest — and a concave function satisfies f(a)+f(b)>f(a+b)f(a) + f(b) > f(a+b) for every positive aa and bb. There is no exact three-wave resonance on a mass chain, ever, for any NN.

And how badly it fails

A statement that a condition is never satisfied is not yet useful. What matters is by how much, because the mismatch has to be compared with something.

The figure scans every pair on a thirty-two mass chain and finds the smallest shortfall at the two lowest modes, where it is 2.16×1042.16\times10^{-4} of the chain’s frequency unit. That is not a numerical coincidence. Expanding the sine for small argument gives

ω1+ω1ω2=4sinθ(1cosθ)2θ3,θ=π2(N+1)\omega_1 + \omega_1 - \omega_2 = 4\sin\theta(1 - \cos\theta) \approx 2\theta^3, \qquad \theta = \frac{\pi}{2(N+1)}

so the least mismatch is π3/4(N+1)3\pi^3/4(N+1)^3, which the scan reproduces on chains from eight masses to two hundred and fifty-six.

That closed form is the whole reason this is a finite-chain problem. The mismatch falls as the cube of the chain’s length, so a long enough chain is arbitrarily close to resonant — and the continuum limit, where the dispersion becomes a straight line and every triple satisfies the condition exactly, is exactly resonant. Which is also where the solitary waves live: the pulse two failures keep alive is a continuum object, and the reason the continuum description works so well for the low modes of this chain is that those are the modes whose mismatch is smallest.

What a mismatch does instead

The step from “no resonance” to “no sharing” is the one worth doing carefully, because the naive version of it is wrong: a mismatch does not stop two modes exchanging energy.

What a mismatch turns a transfer into. The fraction of the energy that has crossed from one oscillator to a second one coupled to it, against time, for four amounts of frequency mismatch between them — in units where the coupling is one. With the two exactly in tune, all of the energy crosses and comes back. With them detuned, only part of it ever crosses, and the fraction is 1/(1 + (Δ/2V)²): 100.0 per cent at a detuning of 0, 80.0 per cent at a detuning of 1, 30.8 per cent at a detuning of 3, 5.9 per cent at a detuning of 8 — measured by integrating the two coupled equations and checked against the closed form to three parts in a thousand. This is the whole mechanism the previous figure implies. A mismatch does not prevent two modes from exchanging energy; it caps how much of it ever crosses and makes the exchange periodic, so nothing accumulates. The exchange also gets faster as the detuning grows, which is the counterintuitive half: the beat frequency is the root of the squared detuning plus four times the squared coupling, so a badly matched pair swaps a little energy quickly and a well matched pair swaps all of it slowly.
Fig. 2 Two oscillators coupled with strength one and mismatched by four different amounts: the fraction of the energy that has crossed from the first to the second, against time. In tune, all of it crosses and comes back. Detuned, only 1/(1 + (Δ/2V)²) of it ever crosses — 5.9 per cent at a mismatch of eight couplings — and it comes straight back. Measured by integrating the two equations and checked against the closed form.

The two-oscillator problem is solvable and it says exactly what happens. The energy oscillates between them at a frequency Δ2+4V2\sqrt{\Delta^2 + 4V^2}, and the fraction that ever crosses is 1/(1+(Δ/2V)2)1/(1 + (\Delta/2V)^2).

Two things in that expression decide everything above.

The transfer is capped rather than forbidden. At a mismatch of eight couplings, six per cent of the energy still crosses — and then returns, and crosses again, for ever. Nothing accumulates, which is the only sense in which the transfer “does not happen”.

And the cap depends on the mismatch relative to the coupling. That is the comparison the whole subject turns on, because the coupling in the chain is not fixed: the nonlinear term is proportional to the amplitude, so VV grows with how hard the chain is struck while Δ\Delta stays where the dispersion put it.

So the knee found empirically for the chain is the place where those two numbers cross. Below it the mismatch dominates, the exchanges beat and return, and the chain recurs. Above it the coupling dominates, the mismatch is irrelevant, and the energy spreads. The threshold is not a property of the nonlinearity or of the dispersion separately; it is the ratio of two quantities that live in different parts of the problem, and that is why no argument about either alone predicted it.

There is a further consequence in the beat frequency that is worth noticing because it inverts an expectation. A badly matched pair exchanges energy faster than a well matched one — the beat frequency grows with the detuning — while exchanging much less of it. Speed and completeness pull opposite ways, and an observer watching a rapid flicker of energy between two modes is watching a pair that is failing to share rather than succeeding.

A prediction the empirical curve could not make

A mechanism earns its keep by predicting something the description it replaced did not. This one predicts something about the length of the chain.

The mismatch falls as 1/(N+1)31/(N+1)^3. So a longer chain, at the same energy density and watched for the same number of its own longest periods, is closer to resonance and should share its energy more readily. Nothing in the measured threshold curve says that — a threshold in energy density is silent about how many masses there are — and it is not obvious: a longer chain has more modes to fill and is slower, both of which pull the other way.

A longer chain shares more, and the reason is arithmetic. How spread the energy is across the modes after four hundred periods of the longest mode, against the least three-wave mismatch that chain has, for six chains from sixteen masses to ninety-six — logarithmic in the mismatch. Two things are held fixed and the work is in holding them: the energy per mass, chosen for each chain by bisection so that a longer chain is not simply given more energy, and the run length in units of each chain's own longest period, since a longer chain is slower. What is left varying is the mismatch, which falls as the cube of the length. The spread rises from 0.651 at 16 masses to 0.900 at 96, and the line through the points slopes the way the mechanism requires. This is a prediction the empirical curve could not have made: it says nothing about chain length, and the observation that a long chain thermalises more readily at the same energy density follows from the resonance condition and from nothing else.
Fig. 3 How spread the energy is after four hundred periods of the longest mode, against the least three-wave mismatch each chain has, for six chains from sixteen masses to ninety-six. The energy per mass is held fixed by choosing each chain’s amplitude by bisection, and the run length is fixed in units of each chain’s own period. What is left varying is the mismatch, and the spread rises from 0.65 to 0.90 as it falls.

The controls are most of the work and are worth naming, because getting either wrong produces the result by accident. A fixed amplitude would give a longer chain more total energy, so the amplitude is chosen for each chain by bisection until the energy per mass matches. A fixed run time would give a longer chain fewer of its own oscillations, so the run is counted in periods of that chain’s longest mode. With both held, the only thing that differs between the six runs is how badly their resonance condition fails.

It rises, monotonically enough for a line through the points to have the sign the mechanism requires. A ninety-six mass chain at the same energy density shares its energy a good deal more readily than a sixteen-mass one, and the reason is arithmetic about sines rather than anything about how much energy is where.

That also supplies the missing half of the continuum story. In the limit of many masses the dispersion straightens, the mismatch vanishes, and every triple is resonant — so the continuum chain should thermalise instantly. It does not, because in the same limit it becomes the integrable equation whose solutions are solitary waves, and integrability forbids the sharing by a different route entirely. The two obstacles are on opposite sides of the same limit, which is why the problem is hard at every chain length and easy at neither end.

What is left when the leading process is dead

A three-wave process that cannot accumulate does not end the matter. It contributes at second order in the nonlinearity to an effective four-wave process, that contributes to a six-wave process, and so on — each order weaker than the last by a factor of the nonlinearity, and each with its own resonance condition to satisfy.

That is the structure of the modern answer and it is worth stating plainly, including what is not settled.

The leading process is non-resonant, so the rate it would have set is replaced by a rate from a higher-order process. Each order down costs powers of the amplitude, so the thermalisation time rises steeply as the chain is struck more gently — which is what was measured as a threshold and is here a consequence of which resonance condition is the first to have solutions. Work since 2015 identifies six-wave interactions as the leading resonant process for this chain in the thermodynamic limit and predicts a thermalisation time falling as the eighth power of the energy density.

What is honest to say about that prediction is that it is a prediction. Exact resonances on a finite chain are a number-theoretic question about sines of rational multiples of π, and the answer depends on NN in a way that has nothing to do with physics: searching a chain of sixteen masses finds no six-wave resonance that changes any mode’s energy, a chain of twenty-four finds eight of them, and a chain of thirty-two finds none again. The thermodynamic limit smooths that out and a finite computation cannot.

The threshold, restated

With the mechanism in hand, the curve measured empirically can be read as a comparison of two numbers rather than as a fact about the chain.

The energy density at which the chain gives in. How spread the energy is at the end of a run of 160 periods, against the energy per mass the chain was given, on a logarithmic scale. At a density of 2.3e-3 it reaches 0.33; At a density of 9.3e-3 it reaches 0.40; At a density of 2.1e-2 it reaches 0.45; At a density of 4.7e-2 it reaches 0.54; At a density of 9.9e-2 it reaches 0.66; At a density of 1.9e-1 it reaches 0.75; At a density of 3.4e-1 it reaches 0.87. The curve is flat and low at small densities and climbs steeply over about a decade. What that means is that the failure of equipartition is not permanent and not universal: it is a statement about a timescale. Below the threshold the chain would eventually share its energy out, on a time longer than the run — and the time grows so fast as the density falls that it passes any patience. Above it, the sharing happens while anyone is watching. The original calculation ran for a few thousand periods at a density well below this curve's knee, which is why it found a recurrence rather than a thermal chain. Running the same problem for long enough, or hitting it harder, gives the answer equipartition predicts.
Fig. 4 The spread of the energy at the end of a fixed run, against the energy per mass the chain was given, over two and a half decades. The curve is low and flat at small densities and climbs over about a decade. Read with this mechanism, the knee is where the nonlinear coupling — which grows with amplitude — overtakes the mismatch, which does not.

Below the knee, Δ\Delta beats VV: the transfers are capped at a small fraction, they return what they take, and the chain recurs. Above it, VV beats Δ\Delta: the mismatch is irrelevant, every channel is effectively resonant, and the energy spreads within a run.

So the threshold is not a property of the chain but a crossing between one number set by the dispersion and another set by how hard the chain was hit. That is why it moves when either is changed, why it depends on the chain’s length through the mismatch, and why no argument about the nonlinearity alone — and none about the near-integrability alone — located it.

The rate, measured over the range a computation reaches

Which leaves the empirical question: over the range a run can cover, does a single rate law describe the chain?

One rate law, found by looking for it. How spread the energy is across the chain's modes — the entropy of its distribution, one being equipartition — against time multiplied by a power of the amplitude, for four runs of a thirty-two mass chain differing only in how hard it was struck. The exponent is not assumed: it is scanned for, and the value that lines the four curves up is 1.75, which reduces the spread between them by a factor of 3 against plotting them against time alone. That a single power works at all is the result — it says the four runs are the same process at different speeds rather than four different ones. What the figure cannot reach is the regime the original calculation was in. These amplitudes are above the knee where the sharing becomes fast enough to watch; below it the rate is predicted to fall as a much higher power of the nonlinearity, and no run of a length anybody will wait for gets near it. The exponent here belongs to this range and is not the exponent of the weakly nonlinear theory.
Fig. 5 How spread the energy is across the chain’s modes, against time multiplied by a power of the amplitude, for four runs differing only in how hard the chain was struck. The exponent is scanned for rather than assumed: 1.90 lines the four curves up and reduces the spread between them fourfold against plotting against time alone.

A collapse is a specific claim and a limited one. If four runs at different amplitudes fall on one curve when time is rescaled by a power of the amplitude, then over the range collapsed they are the same process running at different speeds. If they do not, they are not.

They do, and the exponent is 1.90. That is a real measurement of the chain and it is not the eighth power above, and the difference is the reason the figure carries its own disclaimer.

These runs are all above the knee. The amplitudes are chosen large enough that the sharing happens within a run of forty thousand time units, which puts them in the regime where the coupling has already beaten the mismatch and the resonance conditions no longer gate anything. A single low exponent is what one would expect there. The weakly nonlinear regime — the one the 1955 calculation sat in, the one where the mismatch matters, the one the eighth power is about — is several decades of amplitude below the bottom curve, and reaching it would need a run longer by a factor no computation will do.

So the subject has a theory for a regime that cannot be simulated and a simulation for a regime the theory is not about, and the two have been argued over for seventy years for that reason. The honest statement is that the mechanism is understood and the rate is not measured where it matters.

Why this is a general shape rather than a peculiarity

The structure — a leading process forbidden by a resonance condition, a rate set by the first process that is allowed, and a threshold where the coupling overwhelms the condition — recurs far outside this chain, and it is worth collecting because it makes the argument transferable.

Water waves. Deep-water gravity waves have a dispersion that forbids three-wave resonance for the same kind of reason, so the leading energy transfer among ocean waves is a four-wave process — and the spectral evolution of a sea is computed from the resonant four-wave manifold. The theory of it is the same theory.

Phonons in a crystal. The leading anharmonic process is three-phonon, and whether it is resonant depends on the dispersion: it is allowed in three dimensions, where there are enough directions for the momenta to add up, and heavily restricted in one. That is a large part of why a one-dimensional chain conducts heat so strangely and why thermal conductivity in one dimension does not converge.

Atoms and light. An atom absorbs a photon only near a transition frequency, and off resonance it borrows the energy and hands it straight back — which is what a refractive index is, and is the two-oscillator result with one of the oscillators being a mode of the field. A molecule re-radiating what passes it is doing exactly the capped, returned exchange the second figure draws.

And any driven oscillator at all. The statement that a response accumulates only on resonance is the same statement that a forced pendulum’s amplitude grows only when driven at its own frequency, which is the whole of what a driven oscillator does near its own frequency, with the driving supplied by another part of the same system rather than from outside. The quadratic potential that gives every mode a definite frequency in the first place is the leading behaviour of any minimum, and the nonlinear correction this whole essay is about is the next term in that expansion.

What an exact resonance and a finite chain assume

The resonance condition is stated for exact resonances. Real systems have finite-width resonances: the modes have frequencies broadened by the nonlinearity itself, so a mismatch smaller than the width behaves as a resonance. The width grows with the amplitude, which is another way of stating the threshold, and computing it is the part of the theory that is hardest to make rigorous.

The counting of six-wave resonances is done on a finite periodic chain. The fixed-end chain the figures integrate has a different selection rule, involving reflections as well as sums, and its resonance structure is not the same. The mismatch figure uses the fixed-end frequencies, which is right for the chain being integrated; the six-wave counting quoted above is for the periodic case, which is what the literature uses.

The two-oscillator model has no back-reaction on the first mode’s frequency. A real nonlinear chain shifts every mode’s frequency in proportion to the energy in it, so the mismatch is itself amplitude-dependent — and the shift can either close the gap or widen it. That effect is the same order as the one being computed and the figure omits it.

And the collapse is over four runs and one decade of amplitude. A power law fitted over one decade is a weak measurement, the exponent moves by a tenth or two with the choice of runs, and nothing about the collapse says the same power holds a decade below.

A mismatch with nothing on the plot to compare it against

The mismatch figure draws a frequency difference and cannot show the coupling it has to be compared with. A mismatch of 10410^{-4} is enormous or negligible depending on a quantity that is nowhere on the plot, and every conclusion here is about the ratio rather than about either number.

The two-oscillator figure draws a clean periodic exchange, and the chain has thirty-two modes exchanging with each other simultaneously through hundreds of triples. What that looks like is not four beats of different depths but a quasi-periodic signal with no evident structure, out of which the recurrence emerges only because the low modes’ mismatches happen to be commensurate. Reducing it to two oscillators is what makes the mechanism visible and is exactly what throws away the reason the recurrence has a period.

And the collapse figure draws four curves lying on top of each other, which is evidence of a shared mechanism and is also the easiest thing in numerical physics to produce by accident. Two curves can be made to collapse by almost any rescaling; four is better; the honest statement is the factor of four by which the rescaling reduced the spread, which is quoted on the figure and is a modest number.

Still open: whether the recurrence and the rate are the same problem

Two things have now been computed about this chain and it is not obvious that they are related.

The recurrence has a period, and the period comes from the low modes’ frequencies being nearly commensurate — the solitary-wave picture gets it from the pulses realigning. The thermalisation has a rate, and the rate comes from the first resonant process at whatever order it appears. One is a property of a handful of modes and the other is a property of the whole spectrum.

What is not known is how the first becomes the second. A chain that recurs for a hundred thousand periods and then does not has stopped doing something, and no calculation says what it stops doing or when. The candidates — a slow drift of the nearly conserved quantities, a gradual leak of energy into the high modes through the non-resonant channels, the breakdown of the invariant surfaces the last curve to go describes, or a chaotic region opening in the phase space — make different predictions about how the crossover depends on the number of masses, and the numerical evidence is compatible with more than one of them.

The habit worth carrying away is the separation this whole essay is built on. Whether two things interact and whether their interaction goes anywhere are different questions, and only the second is about the coupling. The first is about frequencies, it can be settled before any dynamics is computed, and settling it is usually far easier than computing anything. A great many systems that look strongly coupled do nothing at all, because every channel available to them is a beat.

Part 5 of 7

This essay is one argument about Equipartition. The others:

What links here

Essays that reach for this one mid-argument — the half of a link its own author cannot write down.

The objects named here

The third axis, after the field and the reading path: the things themselves, and every essay that touches each one.

Dispersion relationEquipartitionErgodicityIntegrabilityNonlinearityNormal modeNumerical experimentRelaxationResonanceSpectral entropy