Power series
Named by 8 essays across 2 fields — each of them below, with the objects they name alongside it.
The curve that is its own slope
There is exactly one shape of exponential curve whose steepness at every point equals its height at that point. The number that produces it is 2.71828…, and it was not chosen for elegance.
The sum that fits in one square
Half, then a quarter, then an eighth, forever. Adding infinitely many things sounds like it should give infinity, and the picture that says otherwise is a square with a corner left uncut.
![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.](/f/the-flow-of-a-linear-equation-and-the-matrix-that-runs-it-15ef5202.svg)
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.
The constant that counts what does not happen
Nothing grows in a shuffled pack of cards, and nothing grows in a factorial. Yet e sits in the middle of both — as the chance that a shuffle leaves nothing in place, and as the base that makes n! nearly a power.
The equation a sequence satisfies
Write the whole sequence as the coefficients of one series, and the recursion becomes an equation with a square in it. Solving the equation by the ordinary quadratic formula produces the closed form, the growth rate and the correction term, none of which the recursion offers.
![Partial sums of x − x²/2 + x³/3 − … on [0, 1]. Partial sums of the power series x − x²/2 + x³/3 − … drawn on the interval from 0 to 1 with the function the series sums to inside the interval, and the values at x = 1 marked.](/f/partial-sums-of-x-x2-2-x3-3-on-0-1-e402dfbd.svg)
A sum read from inside
The series 1 − 1/2 + 1/3 − 1/4 + … adds to log 2, and the reason is not in the series. Its power series equals log(1 + x) inside the interval, and the value at the edge is read off by continuity. Abel's theorem says when that reading is honest — and the series 1 − 1 + 1 − …, which has no sum, is read the same way as a half.
The series everything else is measured against
A geometric series is not one series among many. It is the yardstick: a total exists if its terms eventually fit under one, so a single comparison settles infinitely many questions — and the test built from it says nothing at all in exactly the place where the interesting cases are.
The matrix that has no logarithm
Every square matrix has an exponential, and a matrix exponential is always invertible. The converse fails, and it fails in a way that can be read straight off the eigenvalues — a real matrix with eigenvalues −1 and −2 is no exponential at all, while minus the identity is the exponential of a whole continuum of matrices that do not even commute with each other.
Named alongside it
The objects these essays reach for when they reach for this one.
LimitConvergencee, the numberGeometric seriesLogarithmContinuityConvergence rateDeterminantEigenvalueHarmonic seriesMatrix exponentialRotation