Calculus · Infinite series

Infinite series

A series adds up the terms of a sequence one at a time; it converges when the partial sums Sₙ settle on a single number as n grows. Terms that shrink to 0 are necessary for that, but not enough.

Series in this visualization

An infinite series a1+a2+a3+⋯a_1 + a_2 + a_3 + \cdots has no last term, so we look at the sum of its first n terms, the partial sum SnS_n, as n grows. If SnS_n approaches a number S, the series converges and S is its sum. Otherwise it diverges.

The sum of a series is the limit of its partial sums
Sn=∑k=1nak,∑k=1∞ak=lim⁡n→∞Sn=SS_n = \sum_{k=1}^{n} a_k, \qquad \sum_{k=1}^{\infty} a_k = \lim_{n\to\infty} S_n = S

The graph plots SnS_n against n on a logarithmic axis from 1 to a million. The number line on the left draws each term as an arc from Sk−1S_{k-1} to SkS_k. Positive terms make arcs that all go one way, and alternating terms make arcs that swing back and forth.

Terms that tend to 0 are necessary for convergence, because an=Sn−Sn−1→S−S=0a_n = S_n - S_{n-1} \to S - S = 0. They are not enough. The harmonic series 1+12+13+⋯1 + \tfrac12 + \tfrac13 + \cdots has terms that tend to 0, yet its partial sums grow without bound. Integral comparison shows why: the rectangle of height 1/k on [k, k + 1] lies above the curve y = 1/x, so Sn>ln⁡(n+1)S_n > \ln(n+1). The growth is so slow that a million terms add up to only about 14.39.

The same rectangles settle the p-series ∑1/kp\sum 1/k^p: it converges exactly when p > 1. For p > 1 they also pin down what is left after n terms, the remainder Rn=S−SnR_n = S - S_n:

What is left after the first terms lies between two integrals
(n+1)1−pp−1=∫n+1∞x−p dx  <  Rn  <  ∫n∞x−p dx=n1−pp−1\frac{(n+1)^{1-p}}{p-1} = \int_{n+1}^{\infty} x^{-p}\,dx \;<\; R_n \;<\; \int_{n}^{\infty} x^{-p}\,dx = \frac{n^{1-p}}{p-1}

So the page can give an interval that must contain the limit, even when the limit has no simple formula. A narrow interval does not mean that SnS_n is close, though. At p = 1.1, a million terms still fall about 2.5 short of the limit. Yet adding SnS_n to the two integrals gives a tiny interval that contains it.

The geometric series r+r2+r3+⋯r + r^2 + r^3 + \cdots has partial sums with a closed form:

The geometric series and its sum
Sn=∑k=1nrk=r(1−rn)1−r(r≠1),∑k=1∞rk=r1−r(∣r∣<1)S_n = \sum_{k=1}^{n} r^k = \frac{r(1 - r^n)}{1 - r} \quad (r \ne 1), \qquad \sum_{k=1}^{\infty} r^k = \frac{r}{1 - r} \quad (|r| < 1)

With r = ½ each term fills half of the gap still open, which is what Remaining gap draws, and 12+14+18+⋯=1\tfrac12 + \tfrac14 + \tfrac18 + \cdots = 1. At r = 1 the partial sums grow without bound, and at r = −1 they jump between −1 and 0 forever.

If the terms alternate in sign and their sizes decrease to 0, the series converges, and its sum always lies between two neighbouring partial sums. Each such interval sits inside the one before, and their widths shrink to 0, so they close down on a single number. Nested intervals stacks them. The page has two such series: 1−12+13−⋯=ln⁡21 - \tfrac12 + \tfrac13 - \cdots = \ln 2, and Leibniz’s 1−13+15−⋯=π/41 - \tfrac13 + \tfrac15 - \cdots = \pi/4.

The alternating harmonic series converges only conditionally: without the signs, ∑1/k\sum 1/k diverges. Riemann’s rearrangement theorem says that such a series can be reordered to converge to any number T. Rearranged keeps the terms of each sign in their original order: at or below T it adds the next positive term, above T the next negative one. The positive terms alone sum to +∞ and the negative terms to −∞, so each run reaches or crosses T. Each overshoot is at most the size of the term that caused it, and the terms shrink to 0, so the sums settle on T.

Things to notice

  • A million terms are evidence, not a proof. At this scale the divergent harmonic series and the convergent p = 1.1 series look much alike. Whether a series converges comes from an argument such as the ones above.
  • 1−1+1−⋯1 - 1 + 1 - \cdots has no sum: its partial sums are 1, 0, 1, 0, …. Grouping the terms as (1−1)+(1−1)+⋯=0(1 - 1) + (1 - 1) + \cdots = 0 keeps only some of the partial sums, and so changes the series.

Controls

  • Press anywhere on the graph to set n, and drag sideways; n catches on the powers of ten. With Rearranged, drag T’s handle up and down.

Related