Concept

Singularity

A point where a function fails to be analytic - a pole, a branch point, or something worse. Its importance is that it is never local news: the distance from an expansion point to the nearest singularity is exactly the radius on which that expansion converges, however far away and however invisible it is.

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

The equation the objects satisfy. A diagram of the decomposition C = 1 + xC², with a table of the first several coefficients computed two ways: by the convolution the equation prescribes, and from the closed form.

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.

discrete · Catalan numbers
1/(1 + x²), expanded about 1.2. 1/(1 + x²) with Taylor sums of degree 2, 6, 14 about x = 1.2 rather than about zero. The interval they converge on reaches 1.562 either side of the centre.

The centre is a choice

A Taylor series is nearly always written about zero, and nothing about the construction prefers zero. Moving the centre moves the interval the series works on, and moving it repeatedly walks the function into places its first series could never reach.

analysis · Taylor series
ln(1 + x) past its radius, with a denominator allowed. ln(1 + x), its Taylor sum of degree 8, and its Padé approximants of order 2 and 4. At x = 3 the Taylor sum is out by 5.95e+2 and the highest-order approximant by 2.97e-4.

A denominator that reaches past the radius

The Taylor series of ln(1 + x) is useless beyond x = 1 however many terms it is given. The same coefficients spent on a numerator and a denominator converge at x = 3, and at x = 100, because a polynomial cannot imitate a singularity and a quotient of two polynomials can.

analysis · Taylor series
Every quadratic is a point. The plane of monic quadratics x² + px + q with p across and q up. The parabola q = p²/4 divides it: the region below, shaded, holds the equations with two real roots, the curve itself the ones with a repeated root, and the region above the ones with none. 5 equations are marked and labelled.

Where two roots run into each other

Put every quadratic equation at a point of a plane, one coordinate per coefficient. Each possible root becomes a straight line there, every one of those lines touches the same parabola, and that parabola is the discriminant — the crease where the plane of roots is folded onto the plane of equations.

algebra · Completing the square
A disc of radius 0.2 and an ellipse of size 1.22 around the same interval. For 1/(1 + 25x²): the interval from −1 to 1 on the real axis, poles at 0 + 0.2i and 0 − 0.2i, the Taylor disc at 0 of radius 0.20, and the Bernstein ellipse with foci ±1 through the poles, with ρ = 1.2198.

An ellipse, not a disc

A Taylor series converges on a disc, and the disc's radius is the distance to the nearest singularity. Ask instead how well polynomials can follow a function on an interval, and the answer is an ellipse with the interval's ends as its foci — the largest one the function is smooth inside.

analysis · Taylor series
Secants closing on the slope of the folium x³ + y³ = 3xy. The curve x³ + y³ = 3xy with secants from (1.001, 0.348) of slopes 1.274, 0.953, 0.830, 0.777, approaching the tangent slope 0.744 given by the equation's partial derivatives.

A slope for a curve that is no function

The folium x³ + y³ = 3xy loops back over itself, so no formula y = f(x) describes it, and yet at almost every point it has a perfectly good tangent. Differentiating the equation as it stands gives the slope, −(∂F/∂x) ÷ (∂F/∂y), and the only points where that fails are the ones where the curve turns vertical or crosses itself — which are exactly the points where it stops being a graph.

analysis · The derivative
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
Where the samples go matters more than how many. n=10: trap -2.65, simp -1.70, cc -1.74, gauss -2.07; n=20: trap -3.69, simp -3.35, cc -3.89, gauss -4.21; n=40: trap -4.31, simp -7.10, cc -8.16, gauss -8.51; n=80: trap -4.93, simp -8.28, cc -14.49, gauss -15.26

Where to take the samples

Every numerical integral is a weighted sum of samples of the curve. Spacing the samples evenly gives errors that shrink like a power of their number; choosing where they go, as Gauss did in 1814, makes six samples exact for every polynomial up to degree eleven and turns the power into a geometric rate. The surprise is that the humble trapezoid rule, evenly spaced and exact only for straight lines, does the same thing on any smooth curve that goes once round a circle — and that a single corner defeats every one of them.

analysis · The integral

Named alongside it

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

Radius of convergenceApproximationConvergenceTaylor seriesAnalytic continuationAnalytic functionChebyshev polynomialComplex numbersFourier seriesOrthogonalityPolynomial approximationTangency

All concepts