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 limnan+1an=1 may be divergent:

Proposition 2.1: the Harmonic Series is divergent.

The following series, called the harmonic series, is divergent:

1+12+13+14+=n=11n=+.

  • Proof. We have

    s2nsn=1n+1+1n+2++12nn×12n=12.

    Hence s2s1+12, s4s2+12s1+22, and, continuing, we get s2ns1+n2. This shows that the sequence (sn)n1 is unbounded.

Comment: we can see that the partial sums sn of the harmonic series diverge to + but “slowly”. How large must n be so that sn10? Do you need to add up more than a thousand terms of the harmonic series to get a sum of at least 10? Open the spreadsheet which tabulates partial sums of the harmonic series and scroll down to find out!

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 n=1bn is called a rearrangement of a series n=1an if there exists a bijective function 𝜎:NN such that bn=a𝜎(n) for all n.

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 a1+a2+ are non-negative. Then all rearrangements of this series have the same sum, and if the series a1+a2+ is divergent, then all rearrangements are divergent.

  • Proof. Let 𝜎:NN be a bijection so that a𝜎(1)+a𝜎(2)+ is a rearrangement of the original series. We let

    sn=a1+a2++an,tn=a𝜎(1)+a𝜎(2)++a𝜎(n)

    be the nth partial sum of the series, respectively, rearranged series. Denote by M(n) the largest among the indices 𝜎(1),,𝜎(n). Then a𝜎(1),a𝜎(2),,a𝜎(n) is a sublist of the list a1,,aM(n) of non-negative real numbers, and so

    tnsM(n).

    If n=1an is convergent with sum S<+, then sM(n)S, and so tnS, for all n. By the boundedness test, Theorem 1.4, the rearranged series is convergent with

    n=1a𝜎(n)n=1an,

    which proves that rearranging a non-negative series cannot increase its sum.

    But the series n=1an can also be viewed as a rearrangement of n=1a𝜎(n), via the bijective function 𝜎1. Since rearranging cannot increase the sum, we must conclude that

    n=1ann=1a𝜎(n).

    From the two inequalities we conclude that the series and its rearrangement have the same sum. Finally, our observation that n=1an is a rearrangement of n=1a𝜎(n) proves, by contrapositive, the implication “n=1an is divergent n=1a𝜎(n) 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,

a00a01a02a03a10a11a12a13a20a21a22a23a30a31a32a33

where am,nR for all m,n0. Double series allow several methods of summation. First, we can enumerate all terms of a double series by non-negative integers, which gives a (single) series. (Two such enumerations will be shown later in Figure 2.2.) Secondly, let

  • RowSumm= the sum of the infinite series am0+am1+am2+ if it exists;

  • ColumnSumn= the sum of the infinite series a0n+a1n+a2n+ if it exists;

  • DiagSumd= the finite sum ad0+ad1,1++a0d, equivalently m+n=dam,n;

  • SquareSumb×b={am,n:0mb,0nb}.

Figure 2.1 illustrates how some of these sums are calculated.

(doubly infinite array with rows, columns and diagonals circled)

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 (am,n) has non-negative terms, and a way to enumerate all these terms gives a single series with sum S. Then:

  • 1. all ways to enumerate the terms am,n will result in series with sum S;

  • 2. limbSquareSumb×b=S and d=0DiagSumd=S;

  • 3. m=0RowSumm=S and n=0ColumnSumn=S.

  • Proof. 1. All the different ways of arranging the terms am,n in a single series are rearrangements of one another, hence must have the same sum, S, by Theorem 2.2.

    2. To show that d=0DiagSumd=S and limbSquareSumb×b=S, we consider two special ways to enumerate the am,n, shown in Figure 2.2.

    (doubly infinite array with rows, columns and diagonals circled)

    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 S) contain a subsequence of sums of the form DiagSum0+DiagSum1++DiagSumd. All subsequences of a convergent sequence have the same limit, so this subsequence must also converge to S.

    Figure 2.2(B) similarly shows that limbSquareSumb×b must be S.

    3. The top row of the b×b square sum is a00+a01++a0b. This is a partial sum which is less than or equal to the infinite sum RowSum0. In the same way, the remaining rows of SquareSumb×b are bounded above by RowSum1,,RowSumb. Therefore,

    SquareSumb×bm=0bRowSumm.

    Taking the limit as b, we have

    S=limbSquareSumb×bm=0RowSumm.

    It remains to show that the opposite inequality, m=0RowSummS, also holds. Since the infinite sum m=0RowSumm is the limit of partial sums, it is enough to show that for every fixed M, the sum m=0MRowSumm is at most S.

    By definition of the row sums, we have

    RowSum0=limna00+a01++a0n,
    RowSum1=limna10+a11++a1n,

    RowSumM=limnaM,0+aM,1++aM,n.

    Adding together these limits, we have

    m=0MRowSumm=limn(sum over the M×n rectangle).

    Yet any rectangle is contained in a b×b square for large enough b, and by part 2., sums over all squares are S. Hence m=0MRowSumm is a limit of a sequence bounded above by S, which means that m=0MRowSummS.

    We have proved that Sm=0RowSummS, so m=0RowSumm=S. Finally, the argument for the column sums, n=0ColumnSumn=S, 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

m=0(n=0am,n)=n=0(m=0am,n),

assuming that all am,n are non-negative. The equality does not hold in general, see example below. Finding conditions (such as non-negativity) which allow changing the order of infinite summation is an important problem in Analysis.

Example: if we drop the assumption that all am,n are non-negative, the “sum of the double series” may depend on the method of summation. Consider the double series

1100001100001100001100001am,n={1,if m=n,1,if m=n1,0,otherwise.

We have RowSumm=0 for all m. Yet ColumnSum0=1 and ColumnSumn=0 for all n1, and so

m=0(n=0am,n)=0,n=0(m=0am,n)=1.

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:

Theorem 2.4: the nullity test for divergence.

If an0 as n, then the series n=1an is divergent.

  • Proof. Write sn for the nth partial sum. Assume that the series is convergent, i.e., limnsn=s for some real number s. Then limnsn1=s as well. By AoL of convergent sequences, limn(snsn1)=ss=0. But snsn1=an and so limnan=0. We proved:

    the series n=1an is convergent  limnan=0,

    which is the contrapositive of, hence is equivalent to, the statement of the Theorem.

Example: application of the nullity test.

Show that the series (a) n1nn+1 and (b) n0(1)n are divergent.

Solution: (a) limnnn+1=limn11+1/n=10 so by the Nullity Test, the series is divergent. (b) limn(1)n does not exist and in particular is not 0, so n0(1)n is also a divergent series.

Remark: if an0 as n, the Nullity Test is inconclusive: the series n=1an may still be divergent. The Harmonic Series is an example.

Algebra of infinite sums

The next result allows us to construct new convergent series out of existing examples.

Proposition 2.5: Algebra of Infinite Sums (AoIS).

If n=1an is convergent with sum S and n=1bn is convergent with sum T, then for any real numbers 𝜆,𝜇 the series n=1(𝜆an+𝜇bn) is convergent with sum 𝜆S+𝜇T.

  • Proof. The nth partial sum of the series n=1(𝜆an+𝜇bn) is (𝜆a1+𝜇b1)++(𝜆an+𝜇bn). This is a finite sum, so we can rearrange to get 𝜆sn+𝜇tn, where sn=a1++an and tn=b1++bn (partial sums). We are given that snS and tnT as n, so by AoL of convergent sequences, 𝜆sn+𝜇tn𝜆S+𝜇T as claimed.

Alert: no × or / for series.

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 |a|.

Definition: absolutely convergent.

The series n=1an is absolutely convergent if n=1|an|<+.

The next very strong test can establish convergence of many series.

Theorem 2.6: Absolute Convergence Theorem; the Infinite Triangle Inequality.

Suppose the series n=1an is absolutely convergent. Then:

  • 1. there are non-negative pn,qn such that n=1pn<+, n=1qn<+ and an=pnqn for all n;

  • 2. n=1an is convergent;

  • 3. |n=1an|n=1|an| (infinite triangle inequality).

  • Proof. For a real number a, denote

    a+={a, if a0,0, if a<0,  a={0, if a0,a, if a<0.

    1. Assume that the series an is absolutely convergent, meaning that n=1|an| has finite sum M<+. Put pn=an+ and qn=an for all n. Then we have

    0pn,qn|an|,an=pnqn,|an|=pn+qn.

    By Comparison Test, Theorem 1.5, the series n=1pn is convergent, with some finite sum PM, and likewise n=1qn=QM.

    2. By AoIS, the series n=1an=n=1(pnqn) is convergent with sum PQ.

    3. Since 0P,QM, we have |PQ|M, which reads |n=1an|n=1|an|.

Remark. How to test the series n=1|an| for convergence? For example, we can use the Comparison Test, the Ratio Test or the Root Test.

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 nan converge with the same sum.

(b) If m,n|am,n|<+, summing the double series (am,n) by rows, by columns, by diagonals and by squares gives the same answer. In particular, changing the order of summation is allowed: m=0n=0am,n=n=0m=0am,n.

Explanation: (a) If an is absolutely convergent, Theorem 2.6 gives us non-negative pn and qn such that an=pnqn for all n and pn=P<+, qn=Q<+. Then a𝜎(n)=p𝜎(n)q𝜎(n) and so by AoIS, a𝜎(n)=(p𝜎(n))(q𝜎(n)). Yet by Rearrangement Theorem 2.2 for non-negative series, p𝜎(n)=P and q𝜎(n)=Q, and so a𝜎(n)=PQ, regardless of the rearrangement.

(b) Similarly to (a), write am,n=pm,nqm,n with non-negative pm,n and qm,n and m,npm,n=P<+, m,nqm,n=Q<+. Then by Proposition 2.3 and AoIS, all methods of summation of the double series am,n will return the answer PQ.

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 a1,a2,0 be a decreasing sequence which tends to zero. Then the series a1a2+a3a4+=n=1(1)n+1an is convergent.

  • 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:

    Series 1:(a1a2)+0+(a3a4)+0+(a5a6)+0+Series 2:a2a2+a4a4+a6a6+

    To obtain a partial sum of Series 1, we start with a1, subtract a2, add a3, subtract a4, add a5 etc. By assumption, a2,a3, decrease, so each time we subtract more than we add; hence all partial sums are bounded above by a1. Series 1 has non-negative terms, hence is convergent by Boundedness Test, Theorem 1.4.

    Series 2 has partial sums a2, 0, a4, 0, a6, 0 and so on. The nth partial sum is between 0 and an, and an0 as n. By Sandwich Rule the partial sums have limit 0, hence Series 2 is convergent.

    The required series a1a2+a3a4+ 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 112+1314+=n=1(1)n+1n is a convergent series.

Solution. (1n)n1 is a decreasing sequence which has limit 0. So by the Alternating Series Test, Theorem 2.8, the series is convergent.

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 ln(2).

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 112+1314+ is not absolutely convergent.

Solution. The series is convergent by the Alternating Series Test. But the series

1+|12|+|13|+|14|+ = 1+12+13+14+,

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 n=1an is a conditionally convergent series. Then for any real number 𝛼 there is a rearrangement of n=1an which converges with sum 𝛼. There is also a rearrangement which diverges.

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