Matpic
mathematics, in pictures
Series

Uniform convergence — the series

8 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. xⁿ at 5 values of n, and the limit. Several members of the sequence xⁿ drawn on one pair of axes with the function they settle on, and the largest gap between each member and that limit reported.

    A limit that forgets to be continuous

    Every one of the functions x, x², x³, … is as smooth as anything could be, and every column of the picture settles down. What they settle on has a jump in it — and the quantity that sees the difference is the largest gap anywhere, which is a number about the whole graph rather than about any point of it.

    part 1 · analysis
  2. 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.

    part 2 · analysis
  3. 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.

    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.

    part 3 · analysis
  4. Thomae's function as a limit of tents, at n = 3 and 8. Continuous functions built from narrow triangles over the fractions, drawn at two stages, with the limit shown as a dot at height 1/q over every fraction p/q: a function continuous at the irrationals and discontinuous at the rationals.

    A limit can jump at every fraction

    A sequence of continuous functions can settle, point by point, on a function that is discontinuous at every rational number. It cannot settle on one that is discontinuous everywhere — the indicator of the rationals needs two limits in a row, and Riemann's integral cannot follow the second. The line between the two is Baire's theorem, and it measures smallness by gaps rather than by length.

    part 4 · analysis
  5. xⁿ is uniform off a strip, with N = 14, 29, 59 for 3 strips. The functions x to the n on the unit interval with a band of half-width 0.05 around zero. For each of 3 strips next to 1, the member at which every later one stays in the band away from the strip.

    Uniform, except on a small set

    The functions xⁿ settle on their limit at every point and never uniformly — the trouble is all in a strip next to 1. Throw the strip away and the convergence is uniform on what is left, however thin the strip. Egorov proved that this always happens on an interval, Lusin proved the matching fact about a single function, and a bump sliding off along the whole line shows why both need a set of finite length to start from.

    part 5 · analysis
  6. Polynomials climbing to the square root, each above the last. The iterates of p ↦ p + (x − p²)/2 at steps 1, 2, 3, 4, 6, 9 on [0, 1] beneath the curve √x, with largest gaps 1.000, 0.500, 0.259, 0.176, 0.108, 0.068.

    Settling in order settles everywhere at once

    A sequence of functions can settle at every point and never settle uniformly — the largest gap stays put while each point escapes it. Dini found the circumstances in which that cannot happen: continuous functions, a continuous limit, every member above the next, and a closed interval. Under those four conditions convergence at each point is convergence everywhere at once, and Weierstrass's iteration for the square root becomes a sequence of polynomials converging uniformly to |x|.

    part 6 · analysis
  7. Heights that shrink to nothing, slopes that grow without bound. Two stacked panels: sin(n²x)/n for n = 2, 3, 5 shrinking towards zero, and their derivatives n·cos(n²x) growing in amplitude.

    Close in height and nowhere close in slope

    Uniform convergence carries continuity to the limit and carries integrals to the limit. It carries slopes nowhere. The functions sin(n²x)/n flatten to nothing while their slopes grow without bound; smooth curves converge uniformly to a corner; a Fourier series converges and its differentiated series diverges. What does carry a slope is uniform convergence of the slopes themselves — and the reason is that integration averages wiggles away while differentiation multiplies them.

    part 7 · analysis
  8. Riemann's function on one period, with its one kind of smooth point. R(x) = Σ sin(n²x)/n² on [0, 2π]; R(π) = 0 with derivative −1/2; R(π/2) = 1.2336, a cusp.

    The slope a Gauss sum leaves behind

    Riemann is said to have offered sin x + sin(4x)/4 + sin(9x)/9 + … as a continuous function with no derivative anywhere. It has one after all, at π and at every π times an odd number over an odd number, and the slope there is always exactly −1/2. Computed with a million terms, the function's behaviour at every fraction is read off a single number — a quadratic Gauss sum — and the slope appears exactly where that number is zero.

    part 8 · analysis

All series