1.3 - Sums to infinity

1.3 - Sums to infinity

An infinite sum is defined through its finite partial sums. You will use 1.3 methods to decide whether those sums approach a finite limit, evaluate a convergent series, and measure the tail left after stopping at a finite number of terms.

Limits of partial sums

Can infinitely many positive terms add to a finite number? The series beginning 1/2+1/6+1/12+1/20+⋯1/2+1/6+1/12+1/20+\cdots does: its sum of the first nn terms is 1−1/(n+1)1-1/(n+1), always below 11 and approaching 11.

The individual terms form a sequence. Adding them gives a series. For terms u1,u2,…u_1,u_2,\ldots, write Sn=u1+u2+⋯+unS_n=u_1+u_2+\cdots+u_n. For the example, S1=1/2S_1=1/2, S2=2/3S_2=2/3 and S3=3/4S_3=3/4.

Convergence of a series

The series ∑r=1∞ur\sum_{r=1}^{\infty}u_r converges with sum LL if its partial sums Sn=∑r=1nurS_n=\sum_{r=1}^{n}u_r approach the finite real number LL as n→∞n\to\infty:

lim⁡n→∞Sn=L.\lim_{n\to\infty}S_n=L.

If there is no finite limit, the series diverges. For example, partial sums that grow without bound, or alternate between two fixed different values, do not converge.

For a rational expression in nn, divide numerator and denominator by the highest relevant power of nn, or rearrange to make the limiting behaviour visible. A denominator becoming large is insufficient by itself: the numerator may grow as fast or faster.

Worked example 1: a finite limit

Question. A series has partial sums Sn=3n+2n+1\displaystyle S_n=\frac{3n+2}{n+1} for n≥1n\geq1. Determine whether the series converges, and state its sum if it does.

Plan. Divide by nn to find the limit of the partial sums.

Sn=3+2/n1+1/n⟶31=3,S_n=\frac{3+2/n}{1+1/n}\longrightarrow\frac31=3,

since 1/n→01/n\to0.

Answer. The series converges with sum 33.

Check. Rearrangement gives Sn=3−1/(n+1)S_n=3-1/(n+1). Its distance below 33 is exactly 1/(n+1)1/(n+1), which tends to zero, independently confirming the limit.

Change only the leading numerator term from 3n3n to 3n23n^2. The denominator still grows, but now the numerator grows faster.

Worked example 2: unbounded partial sums

Question. A series has partial sums Sn=3n2+2n+1\displaystyle S_n=\frac{3n^2+2}{n+1}. Determine whether it converges.

Plan. Divide by nn and compare the growth in numerator and denominator.

Sn=3n+2/n1+1/n.S_n=\frac{3n+2/n}{1+1/n}.

The denominator approaches 11, whereas the numerator grows without bound. Thus Sn→∞S_n\to\infty, rather than a finite number.

Answer. The series diverges; it has no finite sum to infinity.

Check. Polynomial division gives Sn=3n−3+5/(n+1)>3n−3S_n=3n-3+5/(n+1)>3n-3. The lower expression grows without bound, confirming that SnS_n cannot approach any finite value.

Divergence need not mean growth to infinity. For 1−1+1−1+⋯1-1+1-1+\cdots, the partial sums are 1,0,1,0,…1,0,1,0,\ldots. Odd-indexed partial sums stay at 11, while even-indexed partial sums stay at 00; there is no single limit. In this definition, the series therefore has no sum to infinity.

Key idea

Investigate the sequence of partial sums. A finite limit gives a convergent series; unbounded partial sums or distinct odd-index and even-index limits give divergence.

Find the limit from the complete rational expression in this check.

Evaluating a convergent sum

To find an infinite sum by differences, first obtain a finite sum with its final boundary terms intact, then take the limit.

There is no last term of an infinite series to cancel. A finite calculation avoids that difficulty: the boundary terms are explicit functions of nn, so you can justify exactly what happens to them as nn increases.

You already know

∑r=1n(f(r)−f(r+2))=f(1)+f(2)−f(n+1)−f(n+2)\displaystyle\sum_{r=1}^{n}\bigl(f(r)-f(r+2)\bigr)=f(1)+f(2)-f(n+1)-f(n+2). A gap of two leaves two terms at each end.

For reciprocal boundaries, 1/(n+c)→01/(n+c)\to0 for any fixed constant cc. A geometrically weighted boundary such as 1/((n+1)3n+1)1/((n+1)3^{n+1}) also tends to zero: it is positive and no larger than 1/(n+1)1/(n+1). State the limit of the actual expression that remains.

Worked example 3: two vanishing boundaries

Question. Show that ∑r=1∞2r(r+2)\displaystyle\sum_{r=1}^{\infty}\frac2{r(r+2)} converges and find its sum.

Plan. Split the summand into a difference with a gap of two, find SnS_n, then take its limit.

2r(r+2)=1r−1r+2.\frac2{r(r+2)}=\frac1r-\frac1{r+2}.

Therefore

Sn=(1−13)+(12−14)+⋯+(1n−1n+2)=32−1n+1−1n+2.\begin{aligned} S_n &=\left(1-\frac13\right)+\left(\frac12-\frac14\right) +\cdots+\left(\frac1n-\frac1{n+2}\right) \\ &=\frac32-\frac1{n+1}-\frac1{n+2}. \end{aligned}

Both reciprocal boundaries tend to zero, so Sn→3/2S_n\to3/2.

Answer. The series converges with sum 3/23/2.

Check. The proposed finite expression has S1=2/3S_1=2/3, the original first term, and Sn−Sn−1=1/n−1/(n+2)=2/[n(n+2)]S_n-S_{n-1}=1/n-1/(n+2)=2/[n(n+2)]. Thus the expression whose limit we used has the correct start and every correct increment.

Change only the lower limit from 11 to 22. The late boundary terms have the same limits, but one early term has been removed.

Worked example 4: a later starting point

Question. Find ∑r=2∞2r(r+2)\displaystyle\sum_{r=2}^{\infty}\frac2{r(r+2)}, justifying convergence.

Plan. Sum from 22 to a finite upper limit nn, keeping the new starting boundaries.

For n≥2n\geq2,

∑r=2n2r(r+2)=(12−14)+(13−15)+⋯+(1n−1n+2)=12+13−1n+1−1n+2=56−1n+1−1n+2.\begin{aligned} \sum_{r=2}^{n}\frac2{r(r+2)} &=\left(\frac12-\frac14\right)+\left(\frac13-\frac15\right) +\cdots+\left(\frac1n-\frac1{n+2}\right) \\ &=\frac12+\frac13-\frac1{n+1}-\frac1{n+2} \\ &=\frac56-\frac1{n+1}-\frac1{n+2}. \end{aligned}

The last two terms tend to zero.

Answer. The series converges with sum 5/65/6.

Check. Remove the first term from Worked example 3: 3/2−2/(1×3)=3/2−2/3=5/63/2-2/(1\times3)=3/2-2/3=5/6, independently agreeing with the changed boundaries.

Removing any fixed finite number of terms changes the sum by their total but does not change whether a series converges: the new partial sums differ from the original ones by a fixed constant.

Watch out

Do not drop final terms while the upper limit is finite. Write the exact finite sum first, then show that its boundary terms tend to zero.

Move the starting point again, retaining the same summand.

Remainders and tails

Once a series converges, its finite-sum formula also tells you exactly how much is missing when you stop.

If Sn→LS_n\to L, the remainder after nn terms is Rn=L−SnR_n=L-S_n. This is the tail starting at term n+1n+1, not term nn. For a series with positive terms, RnR_n is positive and measures how far the partial sum lies below the total.

For ur=1/[r(r+1)]u_r=1/[r(r+1)], the earlier telescoping result gives

Sn=1−1n+1,L=1,Rn=1n+1.S_n=1-\frac1{n+1},\qquad L=1,\qquad R_n=\frac1{n+1}.

The original terms are getting small, but the tail includes infinitely many of them. For example, after four terms the remaining sum is 1/51/5, while the next term alone is only 1/301/30.

[DIAGRAM: asset_name: Partial sum and remaining tail; asset_slug: cam9231-series-tail; caption: After four terms the partial sum is four fifths and the entire remaining tail is one fifth; description: Exact plot of S sub n equals 1 minus 1 over n plus 1 for integer n from 1 to 10, approaching the horizontal line L equals 1 from below. At n equals 4 the point is labelled S sub 4 equals four fifths, with a vertical arrow to the limit line labelled R sub 4 equals one fifth. A side panel distinguishes the next term u sub 5 equals one thirtieth from the entire tail R sub 4 equals one fifth.]
After four terms the partial sum is four fifths and the entire remaining tail is one fifth

If a tail begins at term mm, remove only the first m−1m-1 terms: ∑r=m∞ur=L−Sm−1\sum_{r=m}^{\infty}u_r=L-S_{m-1}. Thus, for this particular series, ∑r=m∞1/[r(r+1)]=1/m\sum_{r=m}^{\infty}1/[r(r+1)]=1/m.

Worked example 5: a strict error bound

Question. For ∑r=1∞1r(r+1)\displaystyle\sum_{r=1}^{\infty}\frac1{r(r+1)}, find the least number of terms needed so that the remainder is less than 1/501/50.

Plan. Use the exact remainder and solve the strict inequality, remembering that nn is an integer.

Rn<150  ⟺  1n+1<150  ⟺  n+1>50  ⟺  n>49.\begin{aligned} R_n<\frac1{50} &\iff \frac1{n+1}<\frac1{50} \\ &\iff n+1>50 \\ &\iff n>49. \end{aligned}

The reciprocals are positive, so a smaller reciprocal has a larger denominator.

Answer. The least number is 5050 terms.

Check. With 4949 terms, the remainder is exactly 1/501/50, which fails the strict condition. With 5050 terms, it is 1/51<1/501/51<1/50.

Change only “less than” to “at most”. Equality is now allowed, so the least integer can change.

Worked example 6: an inclusive error bound

Question. For the same series, find the least number of terms needed so that the remainder is at most 1/501/50.

Plan. Solve the inclusive inequality using the same exact remainder.

Rn≤150  ⟺  1n+1≤150  ⟺  n+1≥50  ⟺  n≥49.\begin{aligned} R_n\leq\frac1{50} &\iff \frac1{n+1}\leq\frac1{50} \\ &\iff n+1\geq50 \\ &\iff n\geq49. \end{aligned}

Answer. The least number is 4949 terms.

Check. The tail starting at term 5050 is 1/501/50, which is allowed. Stopping one term earlier leaves the tail starting at 4949, whose sum 1/491/49 is too large.

A convergent series must have un→0u_n\to0: since un=Sn−Sn−1u_n=S_n-S_{n-1}, both partial sums tend to the same LL, and their difference tends to zero. The reverse statement is false. Terms tending to zero alone do not establish convergence.

To see why, consider 1+1/2+1/3+⋯1+1/2+1/3+\cdots. Its terms tend to zero, but group its partial sum at powers of two:

H2k=1+12+(13+14)+(15+⋯+18)+⋯ .H_{2^k} =1+\frac12+\left(\frac13+\frac14\right) +\left(\frac15+\cdots+\frac18\right)+\cdots.

In the block ending at 2j2^j, there are 2j−12^{j-1} terms, each at least 1/2j1/2^j. Each block therefore adds at least 1/21/2. There are kk such blocks after the initial 11, giving H2k≥1+k/2H_{2^k}\geq1+k/2. Those partial sums are unbounded, so the harmonic series diverges despite its terms tending to zero. This is a direct argument about partial sums, not a conclusion from the appearance of a few small terms.

Watch out

un→0u_n\to0 is necessary for convergence, but it is not sufficient. To justify a sum to infinity here, show that the finite partial sums approach a finite limit.

Use the exact tail, rather than the next term, in the final check.

Quick Recap

  • A sum to infinity is the finite limit of partial sums, when that limit exists.
  • Find the finite sum before taking a limit; justify what happens to every remaining boundary term.
  • The remainder after nn terms starts at term n+1n+1 and equals L−SnL-S_n.
  • Terms tending to zero do not by themselves prove convergence.

The opening positive series converges to 11, although every finite partial sum is smaller than 11.