Concept

Differential equation

An equation relating a quantity to its own rate of change, whose solutions are functions rather than numbers. Solving one means finding every function satisfying it, and the useful ones pin down a single solution once a starting value is given.

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

The slopes the equation demands, and the curves that obey them. A field of short segments whose slope at each point is 0.9 times the height there, with 3 solution curves integrated through it; each doubles over an interval of 0.770 wherever that interval is taken.

The equation with only one answer

A rate of change proportional to the current amount is the most common description in nature, and it pins down the function completely. There is exactly one curve through each starting point, and a half-life and a doubling time are the same measurement.

analysis · The exponential
The flow of a linear equation, and the matrix that runs it for one unit of time. Paths of points moving so that their velocity is [0.25, −1.2, 1.2, 0.25] applied to their position, with the position after time 1 marked on each; the matrix taking start to finish is e^A.

The exponential of a square

The series for e makes perfect sense with a matrix in it. What comes out solves a system of equations the way the ordinary exponential solves one, and a skew matrix exponentiates into a rotation with no trigonometry anywhere.

analysis · The exponential
sin(2πkx) for k up to 10, and the largest gap between every pair. Members of the sequence sin 2πkx drawn on one pair of axes, beside a table of the largest vertical gap between every two members, none of which is less than one.

The subsequence that has to exist

Every bounded list of numbers has a part that settles down. A bounded list of functions need not: the waves sin 2πkx never come within 1.76 of one another. One extra condition — that no member may change faster than a bound they all share — restores the guarantee, and it is the reason a differential equation with a continuous rule has a solution at all.

analysis · Uniform convergence
The trace–determinant plane and the flows it sorts. The plane of trace against determinant, divided by the horizontal axis and the parabola tr² = 4 det into saddle, node, spiral and centre regions, with 6 matrices marked and their phase portraits drawn alongside.

Two numbers decide the flow

A linear system in the plane has four coefficients, and what its solutions do forever afterwards — spiral in, race out, swing round, or split along two lines — is decided by two of the numbers made from them. The plane of trace against determinant is a complete map of the possibilities, and the only places it cannot decide are the lines where it changes its mind.

analysis · The exponential
Where the Rössler flow's peaks fall, as one parameter changes. Peak values of x against c from 2.5 to 6.2 for the Rössler system with a = b = 0.2: period 1, 2 and 4 at c = 2.5, 3.5 and 4, chaos beyond about 4.2, a period-3 window near 5.3.

A flow that doubles like a parabola

Otto Rössler's three equations have one nonlinear term and a single knob. Turn it and the orbit closes after one loop, then two, then four, then never — the logistic map's cascade, in a flow in three dimensions. Record each peak of the orbit against the one before and the reason appears: the points lie on a single rounded hump. The gaps between doublings shrink by ratios 3.49, 4.54, 4.59, climbing towards Feigenbaum's 4.669, and the chaos contains a period-3 window that repeats the whole cascade.

dynamics · Period-doubling
The 16 zigzag arrangements of 5 numbers. All alternating permutations of 1..5: 13254, 14253, 14352, 15243, 15342, 23154, 24153, 24351, 25143, 25341, 34152, 34251, 35142, 35241, 45132, 45231.

The tangent counts zigzags

Arrange the numbers 1 to n so that they go up, down, up, down. There are 1, 1, 2, 5, 16, 61, 272 such arrangements, and those are, multiplied by factorials, the Taylor coefficients of tan x and sec x — the odd lengths from the tangent, the even from the secant. Désiré André proved it in 1879 by splitting a zigzag at its largest number, and the split turns out to be the derivative of the tangent written out term by term.

analysis · Circular functions
The largest prime factor, as a power of the number. Share of n with log P(n)/log n ≤ s: at s=0.5, n≤10⁴ 0.268, n≤10⁷ 0.272, Dickman 0.307; median e^(−1/2) = 0.6065; largest gap at 10⁷ 0.061.

The largest prime in a typical number

Count a number's prime factors and the answer is about log log n. Ask instead how big the largest one is, and the answer is a power of n with a law of its own: half of all large numbers have a prime factor above n^0.6065, and the share whose primes all stay below n^(1/u) is Dickman's ρ(u), a function defined by its own past. The same law governs the longest cycle of a random shuffle, and there it arrives at once; for the numbers themselves, at ten million, it is still visibly on its way.

number · Unique factorisation

Named alongside it

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

Determinante, the numberEigenvalueMatrix exponentialPermutationTraceAsymptoticsBifurcationCompactnessContinuityCycleDerivative

All concepts