7. Series
Watch infinite series converge or diverge through their partial sums, and master the convergence tests.
- The Harmonic Series Diverges β The terms shrink to 0, yet the partial sums grow without end. The growth is just extremely slow.
Each single term is tiny, but the pile keeps rising. The partial sums climb upward along a logarithm curve. Terms tending to 0 do not guarantee that a series converges. This series is the classic counterexample.
For example, stack π¬ candy pieces of one, a half, a third of a piece, and so on. The pieces keep shrinking, yet the pile eventually rises past any ceiling you name.
- The EulerβMascheroni Constant β Two quantities both diverge, yet the gap between them settles at one value. That gap is the EulerβMascheroni constant.
The harmonic numbers and the logarithm both grow without end. Still, the space between them narrows and comes to a stop. The gap stops because its increments form a convergent series. That secret is the second formula below.
For example, two π§ friends run side by side. Both run endlessly far, but the distance between them stops growing at about 5 meters. That settled distance plays the role of this constant.
- The Basel Problem β A staircase of reciprocal squares climbs toward one flat plane. The height of that plane is the famous answer.
Each new step of the partial sums is smaller than the one before. So the staircase piles up toward a definite height. The surprise is that Ο hides inside that height. Why Ο appears at all is only sketched at the idea level.
For example, stack π¦ boxes under a line drawn on a wall. The boxes shrink until the stack creeps so close to the line that your eye cannot see the gap.
- The Euler Product β A series gets sieved until only the primes remain. The sum turns out to equal a product over all primes.
Multiply by the factor that erases the even terms, and the evens vanish. Multiply by the factor for multiples of 3, and those vanish too. Sieve once for each prime and only prime information survives. Even the product over the first few primes already lands close to the answer.
For example, line up π¬ candies numbered from 1 onward. Remove the even numbers, then the multiples of 3, and only prime numbers stay. This sieving is what builds the product formula.
- Leibniz Series β The partial sums overshoot the target, then undershoot it, closing in from both sides. It is a sandwich that keeps tightening.
Add one term and you jump past the target; the next term pulls you back. The back-and-forth swing shrinks every time. So the target always sits between two neighboring partial sums. That gap is exactly the error bound.
For example, a β½ ball rolls past a line, comes back, and crosses it again. Each crossing overshoots by less than the one before. The ball has no choice but to settle on the line.
- Convergence Tests Toolbox β This scene opens the toolbox for deciding whether a series converges. Two representative tools get used directly.
The first tool watches the ratio of neighboring terms. If the ratio settles below 1, the terms shrink fast enough to converge. The second tool compares against a neighboring series. Anything tucked under a convergent series converges along with it. Both tools' formulas are below.
For example, hand out π¬ candies each day, always half of yesterday's amount. When the amounts shrink by a fixed ratio, the total handed out stays finite. If the ratio refuses to shrink, the handing out never ends.
- The Integral Test β A series and an integral get stacked together and share one fate. The bars wrap the curve from above and below.
Stand bars under a decreasing curve, and the sum traps the integral from both sides. So the series and the integral converge or diverge together. An exponent above 1 gives convergence; anything else diverges. That fork decides the fate of every p-series.
For example, stack π books like steps against a ramp. The steps dip below the ramp's curve and poke above it. Still, the steps' area and the area under the curve are finite together or endless together.
- Raabe's Test β Where the ratio test surrenders, this scene digs one level deeper. It is the tool for ratios that stick to 1.
Measure how fast the ratio approaches 1, and the verdict revives. The quantity doing the measuring is the first formula below. If it settles above 1, the series converges. If it settles below 1, the series diverges.
For example, a coarse π ruler sometimes cannot separate two lengths. Switch to a ruler with finer marks, and the lengths finally split apart. Raabe's test is that finer ruler.
- Kummer's Test β One big frame unifies several convergence tests in this scene. A single auxiliary sequence switches which test you get.
Weight the ratio to build a new quantity. The sign of that quantity decides convergence or divergence. Set every weight to 1 and you get the ratio test. Set the weights to the term index and you get Raabe's test. The precise formulas are below.
For example, turn a dial on a βοΈ machine and the inspection strength changes. One position gives a weak check, another position a strong one. The auxiliary sequence is that dial.
- Cauchy Condensation Test β Terms get grouped into blocks that double in size here. The grouped series and the original share their fate.
For a decreasing sequence, the terms inside one block all look alike. So each block sum is trapped between multiples of one representative term. Compressing each block into its representative leaves convergence unchanged. The test becomes far easier to run.
For example, pack π¬ candies into boxes of 1, 2, 4, doubling each time. Judging each box by one representative candy does not change whether the total is finite.
- Telescoping Series β Split each term and the neighbors erase each other in this scene. Only the very first piece and a vanishing tail survive.
Each term breaks into a difference of two fractions. The back half of one term matches the front half of the next, so they cancel. After the erasing, only the opening 1 remains. The tail shrinks away to nothing. So the total is exactly 1.
For example, climb one step of a πͺ staircase and step back down: you are where you started. Chain these ups and downs together and only the starting and ending positions count.
- Geometric Series: Filling the Square β A unit square gets filled by always taking half of what remains. The gap halves at every step and the total becomes 1.
Paint half, then paint half of the rest. The painted area creeps closer and closer to 1. However small the gap gets, one step always remains. In partial sums, that leftover step just keeps halving. Added forever, the pieces make exactly 1.
For example, eat half of a π° cake, then half of what is left. The bites go one half, one quarter, one eighth, yet together they approach the whole cake.
- Wallis Product β Rational factors get multiplied in one at a time here. The running product swings around one value, tightening as it goes.
The running product alternates above and below its target. The swings shrink as more factors pile in. So the product settles onto a single value. The surprise is that this value is Ο divided by 2.
For example, a π car eases into the center of its lane with small steering corrections to the left and right. Each correction is smaller than the last, and the car steadies in the middle.
- Stirling's Approximation β A fast-growing factorial gets guessed by one simple formula here. On a log scale, the two curves nearly coincide.
Factorials grow too fast to keep computing head-on. The approximation tracks that growth almost exactly. Its relative error shrinks as the terms grow. Roughly, it falls like 1 over 12 times the index. Where Ο enters is only sketched at the idea level.
For example, guess a tall π’ building's height by counting steps. The taller the building, the smaller the share of one step's error in the whole. That is why the approximation sharpens for large numbers.
- Grandi Series β The partial sums bounce between 1 and 0 forever in this scene. So this series has no sum.
Add one term and the total flips from 1 to 0, then back to 1. It never settles on one value, so it does not converge. The famous one half is only the average of the partial sums. Having an average is not the same as having a sum.
For example, pick up one π¬ candy and put it down, over and over without end. Holding and not holding alternate forever, so you cannot say the candy is simply there.
- Dirichlet's Test β A wobbling series gets tamed by a sinking weight in this scene. Two ingredients meet and produce convergence.
The partial sums of the sine terms wobble around but stay trapped inside a fixed fence. Multiply them by weights that sink to 0. The wobble gets pressed flatter and flatter until the series converges. The test's exact conditions are in the formulas below.
For example, a β½ ball bounces around inside a fence and never escapes. Push it more and more gently, and its wandering dies down until it settles.
- Abel's Test β A convergent series stays convergent when multiplied by a monotone weight here. This test is the companion of Dirichlet's test.
The weight sequence only needs to move in one direction and stay bounded. Unlike in Dirichlet's test, it does not have to tend to 0. The secret is rewriting the product sum using partial sums and weight differences. The weight's small steps then pile up under control.
For example, a πͺ shop nudges its prices in one direction only, a little each day. If the running total of items sold has already settled, the running revenue settles along with it.
- Double Series and Fubini β Numbers on a grid get summed by rows first, then by columns, in this scene. With absolute convergence, the two answers agree.
Add along the rows or down the columns: the result is one and the same. The order cannot change it because the absolute values sum to a finite total. With only conditional convergence, swapping the order changes the answer itself. The headline value is the second formula below.
For example, stack π¦ boxes in a grid and count the items inside each box. Count row by row or column by column β the total count comes out identical.