Series

Infinite sums and when they make sense: the tests for convergence, and their use in analysing algorithms, discounting rewards and summing numbers safely in floating point.

8 topics

Topics

Numerical series

∑k=1∞ak\sum_{k=1}^\infty a_k is the limit of the partial sums Sn=a1+⋯+anS_n = a_1 + \dots + a_n. Terms going to zero is necessary but not sufficient: the harmonic series ∑1/k\sum 1/k diverges, while ∑1/k2=π2/6\sum 1/k^2 = \pi^2/6.

Fundamental

Geometric series

∑k≥0rk=11−r\sum_{k\ge0} r^k = \frac{1}{1 - r} for ∣r∣<1|r| < 1. The one series everyone can sum in closed form — and the one behind dynamic arrays, divide-and-conquer recurrences and the discounted rewards of reinforcement learning.

Fundamental

Comparison tests

For positive terms: if ak≤bka_k \le b_k and ∑bk\sum b_k converges, so does ∑ak\sum a_k. The limit version: if ak/bk→c∈(0,∞)a_k / b_k \to c \in (0, \infty), both series behave the same. In practice, compare with geometric or pp-series.

University

Integral test

For positive decreasing ff, ∑f(k)\sum f(k) and ∫1∞f\int_1^\infty f converge or diverge together, and the integral estimates the sum: that is how Hn≈ln⁡nH_n \approx \ln n is obtained.

University

Ratio test

If ∣ak+1/ak∣→L|a_{k+1}/a_k| \to L: L<1L < 1 converges, L>1L > 1 diverges, L=1L = 1 says nothing. It compares the series with a geometric one, and it is the natural test for series with factorials.

University

Root test

If lim sup⁡∣ak∣1/k=L\limsup |a_k|^{1/k} = L: L<1L < 1 converges, L>1L > 1 diverges. Slightly stronger than the ratio test; it gives the radius of convergence of power series (Cauchy–Hadamard).

University

Alternating series

∑(−1)kbk\sum (-1)^k b_k with bkb_k decreasing to 0 converges (Leibniz), and the error of stopping at term nn is at most the first omitted term bn+1b_{n+1} — a free error bound.

University

Absolute and conditional convergence

∑ak\sum a_k converges absolutely if ∑∣ak∣\sum |a_k| does. Absolutely convergent series can be reordered freely; conditionally convergent ones cannot — Riemann showed a rearrangement can make them sum to any number.

University

Where this area leads in computing

↑ ↓ to navigate · ↵ · Esc