Concept

Taylor expansion — where it appears

The expression of a function near a point as a series in the displacement from it, whose first surviving term decides the local behaviour. At a minimum the linear term is absent, which is why so many unlike systems share one quadratic equation and why the cubic term is where their differences start.

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

One parabola, several wells. Unlike potential wells, each divided by its own curvature at the bottom, against the single parabola ½x² drawn through all of them. They agree near the minimum because a function with a minimum has no linear term there, so the quadratic term is the first thing it has. The labels give where each well departs from the parabola by more than 1% of the parabola's own value there: a pendulum at 0.35, a chemical bond at 0.01, a pair of atoms at 0.0015. A symmetric well has no cubic term and stays close for a long way; a well that is steeper on one side than the other has one, and leaves the parabola almost at once — which is why those numbers differ by factors of hundreds and not by a few per cent.

Every minimum is a parabola

A pendulum, a bond between two atoms and a ship rolling in a swell obey the same equation, and the reason is not that they are alike. It is that a function with a minimum has no linear term there, so the first thing every potential well looks like is the same well.

mechanics · Harmonic approximation
Equipotentials, with the field lines that cross them. Contours of constant potential, traced by marching squares, with field lines traced along the gradient of the same potential. The two families meet at right angles everywhere, which is a consequence of the field being the gradient rather than a property of the drawing.

The attraction that needs no charge

Gauss's law says nothing comes out of a neutral molecule, and yet water's field one nanometre away reaches 1.1 × 10⁸ V/m. What survives when the monopole vanishes is a separation, and every step down the tower of falloffs below it is paid for with one more order of cancellation.

electromagnetism · The field concept
The narrow packet is the one that spreads. Three packets on deep water, ω = √(gk), all built on the same 4 m carrier and differing only in bandwidth — 10%, 18%, 28% of the carrier wavenumber. Each curve is the width of the emitted envelope, measured as the second moment of its intensity about its own centroid in a frame moving at the group velocity, divided by that width at the start. The starting widths are 4.50 m, 2.50 m, 1.61 m, and the order of the curves is the reverse of the order of the widths: the shortest packet, which is the one with the widest spectrum, is the one that comes apart first. The dashed curves are √(1 + (t/τ)²) with τ = σ₀²/|d²ω/dk²| — computed from the dispersion relation, not fitted. They agree with the measured widths to 0.3% at 10% bandwidth, 3.3% at 18% bandwidth, 8.5% at 28% bandwidth, and that ordering is the second thing the figure says: the closed form keeps only the curvature of ω(k), so it is exact for a narrow spectrum and starts to fail for a wide one, by about as much as the cubic term is worth. A packet with no bandwidth would never spread at all, and would also never begin or end.

The packet that will not keep its shape

A group velocity is only the first thing a dispersion relation says. The second is that the packet spreads — at a rate fixed by its own bandwidth and by the curvature of ω(k) — so a short pulse comes apart quickly and a long one hardly at all. It is a trade quantum mechanics is usually given credit for, and classical waves make it too.

waves · Wave packets
A band 3.60 eV wide, and the curvature is the whole story. Energy against wavenumber for one tight-binding band, α + 2β·cos(ka), with α = -4 eV, β = -0.9 eV and a repeat of 300 pm. The band is 3.60 eV from floor to ceiling and periodic in k, so the zone boundary at ka = π is not an edge of anything: it is where the curve turns over. Near the bottom it is a parabola, which is the free-electron dispersion with a different coefficient — a mass of 0.470 m_e rather than one — and near the top it is a parabola the other way up, a mass of -0.470. The inflection between them is at ka = π/2, and it is the point at which a constant force stops producing any acceleration.

The mass a curve decides

An electron in a solid answers a force with a mass that is nothing to do with the mass of an electron. It is set by how sharply the band bends, it is smaller than the free value in a wide band and larger in a narrow one, and near the top of any band it is negative — which is why aluminium's Hall voltage has the sign of a positive carrier and no adjustment to an electron count can repair it.

quantum · Bands
A drive at one frequency, and what comes back at three times it. The Fourier components of the steady motion of an oscillator driven at a single frequency ω = 1.35, for drive strengths of 0.02, 0.05, 0.1. The equation is a harmonic oscillator with a cubic term added, and the components are projected out of the integrated motion rather than assumed. A linear oscillator answers only in the first column. This one answers in the third as well, because x³ of a cosine contains a cosine of three times the angle. The third harmonic grows as the drive to the power 3.00 where the fundamental grows as the power 1.00, so it is negligible at small drive and not at large — which is why nonlinearity in an instrument is a specification rather than a yes or no.

The oscillator that answers at three times the question

Push a spring hard enough that the parabola stops being the whole story, and three things happen that a linear oscillator cannot do: it emits frequencies nobody supplied, its resonance leans over, and its amplitude at one drive frequency depends on where the drive has been.

mechanics · Harmonic approximation

Named alongside it

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

AnharmonicityCurvatureDispersion relationFourier transformGroup velocityHarmonic approximationSimple harmonic motionAmplitude dependenceBand gapBandwidthBeatsBloch wave

All concepts