When things get weird with infinite sums
Things can get weird when we deal with infinity. Consider the following sum
It’s called Grandi’s series, after Italian mathematician, philosopher, and priest Guido Grandi (1671-1742).
If we group its terms this way
it’s easy to see that should be equal to because each individual bracket is equal to Nothing stops us, however, from grouping its terms in a different way, for example
in which case should be equal to ! There is even a third way of evaluating this sum. Say that we rewrite it as
Guido Grandi (1671-1742).
All we did was to add a zero at the start so I hope we can agree that we haven’t changed the sum at all. If we now write twice
and add them together we get
Hence should be equal to which gives that should be equal to
Infinite but tame
As you can see, sums containing an infinite number of terms, known as infinite series, can challenge our understanding of very basic mathematical concepts such as addition and subtraction. Our next stop in our exploration of infinite series is the following geometric series:
There's a clever way of figuring out the value of this sum, using the diagram below
Take a square of side length and it divide it in half to get two rectangles, which both have area Now divide one of those rectangles in half as shown, to get two squares of area Divide one of those squares in half to get two rectangles of area and so on, ad infinitum. The total area (of the squares and rectangles we left undivided) is the same as the sum of all terms of the geometric series. Since that area is just the area of the large square, the geometric series appears to be equal to
And indeed, mathematicians agree with this statement. They say that the series converges to Formally convergence is defined by looking at the sequence of partial sums:
and so on.
The partial sums gives us a sequence of numbers, which get closer and closer to in fact they get arbitrarily close to as we include more and more terms. In general, when the sequence of partial sums of an infinite series converges on some limit number in this way, then we say that the infinite series converges to
Notice that this doesn’t happen for the Grandi’s series above. The partial sums are
and so on. The partial sums eternally skip from 1 to 0 and back again. They don’t converge to a limiting value, so there’s no obvious way of assigning a value to the series.
Infinite and divergent
It seems fairly intuitive that the geometric series above should converge to 1. The individual terms of the series, and so on get smaller and smaller. So although we are constantly adding things to make the sum bigger and bigger, the amount we are adding eventually becomes so small, it’s no surprise we never exceed 1. This argument however is flawed. Let’s take a look at the harmonic series:
Similarly to the geometric series we investigated above, the terms of the harmonic series get smaller and smaller. But surprisingly the harmonic series diverges: the terms in the sequence of partial sums get bigger and bigger, eventually exceeding all bounds. We say that the series tends to infinity.
The harmonic series diverges
If this sounds hard to believe, here is a proof by contradiction of the divergence of the harmonic series. In a proof by contradiction we start by assuming that the opposite of what we are trying to prove is true and then show that this leads to a contradiction. If we are trying to prove statement is true, then we start by assuming the opposite: that not is true. If this assumption leads to a contradiction, then this implies that the not must be false, so our original statement must be true. In this case, we want to show that the harmonic series diverges, so we assume that the harmonic series converges to some positive value
We know that
and so on. So if we replace the fractions with odd denominators by their consecutive even ones we find the following inequality
If we now combine the fractions with the same denominator we get
On the right-hand side the harmonic series appears again, plus an extra term of This proves that
As this contradiction followed from our assumption that the harmonic series converges, we can conclude that this assumption is false: the harmonic series does not converge. As the partial sums get larger and larger by smaller and smaller increments (we add a term of the form at every step) the only other possibility is that the sequence of partial sums grows beyond all bounds (rather than skipping around akin to Grandi’s series). This proves that diverges.
Infinite and bizarre
Things get seriously bizarre when we examine the alternating harmonic series. Built from the harmonic series but with every other term negative, the alternating harmonic series is defined as follows:
The mathematician Bernard Riemann (1826-1866) proved an important result about rearrangements of infinite series.
It’s possible to show that the alternating harmonic series converges to (here stands for the natural logarithm of ). You can verify this using a calculator or, if you’re advanced in your calculus, using the Taylor series of evaluated at
So let’s start with this fact, writing
Now let’s multiply through by
If we now simplify the fractions so that all fractions with the even denominators are reduced and then combine the terms with the same denominator – and you can see that only fractions with odd denominators will be combined – we get
(1) |
Removing the brackets we have
The right-hand side is the alternating harmonic series, so we seem to have proved that
But, hang on, what? There must be a mistake in our working. I find it hard to believe, but in fact there is nothing wrong with our working. The paradox is explained by the fact that, when we rearrange the terms of the alternating harmonic series, the series converges to a different value. The right-hand side of expression (1) above can be written as
The problem comes from the fact that while
converges to the rearranged series
converges to
despite the fact the two series have exactly the same terms!
Let’s see if we can make sense of this. In the classic formulation of the alternating harmonic series we start with and subtract , then add and subtract and so on. For each added term we subtract exactly one term. In the second formulation of the alternating harmonic series, we subtract two terms for each term that we add. What do you think will happen?
The graph below shows what happens to the partial sums as we add terms one at a time. It shows the first 25 partial sums. The green dots are the partial sums for the classic alternating harmonic series and the purple dots are the partial sums for our rearrangement of the series. The graph shows that the two series will converge to different values.
It turns out that by rearranging the alternating harmonic series we can make it converge to any value we like. Try to work out for yourself what value
converges to. See here for an answer.
You will be glad to know that, for a series with only positive terms, altering the order of the terms does not affect the sum.
To read more about infinite series see An infinite series of surprises.
About the author
Luciano Rila works in the Department of Mathematics at University College London and is also an Area Coordinator for the Further Maths Support Programme. He is keen to promote the beauty of mathematics to young mathematicians and the general public. He also teaches static trapeze. You can follow him on Twitter @DrTrapezio