Week 2 The Harmonic Series. Rearrangements. Series with positive and negative terms
Version 2025/02/04 Week 2 in PDF All notes in PDF To other weeks
We begin the chapter with a series which is an example to many results in this course. In particular, it shows that a positive series with
Proposition 2.1: the Harmonic Series is divergent.
The following series, called the harmonic series, is divergent:
Comment: we can see that the partial sums
Rearrangements of a series with non-negative terms
When we add up finitely many numbers, the answer does not depend on the order of summands. Yet for infinite series this is more intricate: putting terms in a different order gives a very different sequence of partial sums. Let us formally define a rearrangement.
Definition: rearrangement.
A series
We now prove that rearranging a non-negative series does not change the sum.
Theorem 2.2: the rearrangement theorem for non-negative series.
Suppose that all terms in a series
-
Proof. Let
be a bijection so that is a rearrangement of the original series. We letbe the
th partial sum of the series, respectively, rearranged series. Denote by the largest among the indices Then is a sublist of the list of non-negative real numbers, and soIf
is convergent with sum then and so for all By the boundedness test, Theorem 1.4, the rearranged series is convergent withwhich proves that rearranging a non-negative series cannot increase its sum.
But the series
can also be viewed as a rearrangement of via the bijective function Since rearranging cannot increase the sum, we must conclude thatFrom the two inequalities we conclude that the series and its rearrangement have the same sum. Finally, our observation that
is a rearrangement of proves, by contrapositive, the implication “ is divergent is divergent”. □
Summation of double series
For theoretical and practical reasons, we would like to be able to calculate a sum of all numbers in a double series, which is defined as an array infinite in two directions,
where
-
•
the sum of the infinite series if it exists; -
•
the sum of the infinite series if it exists; -
•
the finite sum equivalently -
•
Figure 2.1 illustrates how some of these sums are calculated.
Figure 2.1: Row sums, column sums and diagonal sums in a double series
The next result considers summing a double series by enumeration, by squares, by diagonals, by rows and by columns. If the terms are all non-negative, the methods will return the same answer:
Proposition 2.3: summation of double series with non-negative terms.
Suppose that a double series
-
1. all ways to enumerate the terms
will result in series with sum -
2.
and -
3.
and
-
Proof. 1. All the different ways of arranging the terms
in a single series are rearrangements of one another, hence must have the same sum, by Theorem 2.2.2. To show that
and we consider two special ways to enumerate the shown in Figure 2.2.Figure 2.2: Two examples of enumerating terms of a double series
In Figure 2.2(A), partial sums of the resulting single series (which, by part 1., converge to
) contain a subsequence of sums of the form All subsequences of a convergent sequence have the same limit, so this subsequence must also converge toFigure 2.2(B) similarly shows that
must be3. The top row of the
square sum is This is a partial sum which is less than or equal to the infinite sum In the same way, the remaining rows of are bounded above by Therefore,Taking the limit as
we haveIt remains to show that the opposite inequality,
also holds. Since the infinite sum is the limit of partial sums, it is enough to show that for every fixed the sum is at mostBy definition of the row sums, we have
Adding together these limits, we have
Yet any rectangle is contained in a
square for large enough and by part 2., sums over all squares are Hence is a limit of a sequence bounded above by which means thatWe have proved that
so Finally, the argument for the column sums, is the same as for row sums, and we omit it. The Proposition is proved. □
Alert: changing the order of summation.
In analysis, passing from sum by rows to sum by columns is known as changing the order of summation. We have proved that
assuming that all
Example: if we drop the assumption that all
We have
Series with terms of different signs. The Nullity Test
We will now develop several convergence tests for infinite series without the assumption that all terms are non-negative. Our first test can only show divergence:
-
Proof. Write
for the th partial sum. Assume that the series is convergent, i.e., for some real number Then as well. By AoL of convergent sequences, But and so We proved:the series
is convergentwhich is the contrapositive of, hence is equivalent to, the statement of the Theorem. □
Example: application of the nullity test.
Show that the series (a)
Solution: (a)
Remark: if
Algebra of infinite sums
The next result allows us to construct new convergent series out of existing examples.
-
Proof. The
th partial sum of the series is This is a finite sum, so we can rearrange to get where and (partial sums). We are given that and as so by AoL of convergent sequences, as claimed. □
Alert: no
Unlike the Algebra of Limits of convergent sequences, AoIS does not allow multiplication or division of series.
Absolute convergence
The following definition comes from “absolute value”, the old name for the modulus
Definition: absolutely convergent.
The series
The next very strong test can establish convergence of many series.
Theorem 2.6: Absolute Convergence Theorem; the Infinite Triangle Inequality.
Suppose the series
-
1. there are non-negative
such that and for all -
2.
is convergent; -
3.
(infinite triangle inequality).
-
Proof. For a real number
denote1. Assume that the series
is absolutely convergent, meaning that has finite sum Put and for all Then we haveBy Comparison Test, Theorem 1.5, the series
is convergent, with some finite sum and likewise2. By AoIS, the series
is convergent with sum3. Since
we have which reads □
Remark. How to test the series
The next result shows that rearrangements of absolutely convergent series are as well-behaved as rearrangements of non-negative series.
Claim 2.7: rearrangements of absolutely convergent series and double series.
(a) All rearrangements of absolutely convergent
(b) If
Explanation: (a) If
(b) Similarly to (a), write
The Alternating Series Test
If a series with positive and negative terms is not absolutely convergent, it might still satisfy the assumptions of the next test which shows convergence.
Theorem 2.8: The Alternating Series Test.
Let
-
Proof. Similarly to the Absolute Convergence Theorem, the idea is to write the given series as a linear combination of two convergent series; yet in this case, we cannot use two series with non-negative terms. Consider two series:
To obtain a partial sum of Series 1, we start with
subtract add subtract add etc. By assumption, decrease, so each time we subtract more than we add; hence all partial sums are bounded above by Series 1 has non-negative terms, hence is convergent by Boundedness Test, Theorem 1.4.Series 2 has partial sums
and so on. The th partial sum is between and and as By Sandwich Rule the partial sums have limit hence Series 2 is convergent.The required series
is obtained by adding Series 2 to Series 1, hence is convergent by Algebra of Infinite Sums, Proposition 2.5. □
Example: Alternating Harmonic Series.
Show that
Solution.
Remark: we are not ready to calculate the sum of the Alternating Harmonic Series just yet. Methods from this course will allow us to prove that its sum is
Conditional convergence. Rearrangements
We proved that absolute convergence implies convergence. Is the converse true? That is, if a series converges, does it have to be absolutely convergent? Here is a counterexample:
Example: a convergent series which is not absolutely convergent.
Show that the (convergent) alternating harmonic series
Solution. The series is convergent by the Alternating Series Test. But the series
made up of absolute values, is the Harmonic Series which, as we proved, is divergent.
Series with this property have a special name:
Definition: conditionally convergent.
A series is conditionally convergent if it is convergent but not absolutely convergent.
Rearrangements of conditionally convergent series do not have the same sum:
Theorem 2.9: Riemann’s rearrangement theorem.
Suppose
We do not go through the proof of this striking result in class, but it may later be added as an appendix to this week’s notes (not examinable).
Version 2025/02/04 Week 2 in PDF All notes in PDF To other weeks