An * infinite series* is a sum

Notation:

For example,

Addition is not defined for an infinite collection of numbers. I have
to define what I mean by the * sum* of an
infinite series like those above. To do this, I'll look at the * sequence of partial sums*. For , the partial sums are

To say that the sum of the series is S means that the sequence of partial sums converges to S:

The notation for this is

It is often difficult to compute the sum of an infinite series exactly. However, you can often tell that a series converges without knowing what it converges to. If necessary, a computer can be used to approximate the sum of a convergent series.

* Example.* The decimal representation of a
real number is a convergent infinite series. For example,

Repeating decimals represent rational numbers. I'll show by example how to convert a repeating decimal to a rational fraction. Consider . Set . Then

* Example.* * (Geometric
series)* A * geometric series* has the form

The picture below shows the partial sums of the geometric series

Notice that the partial sums seem to approach 2.

To find a formula for the sum of a geometric series, I'll start by computing the partial sum. By long division,

(This will make sense provided that .)

Multiply by a, then move the last term on the right to the left:

For instance,

What about the infinite series

The series converges if the limit of partial sum exists. I need to compute

By a result on geometric sequences,

Hence,

For instance,

What about something like

Well, this is

How would you use the formula for the infinite series to find, e.g.,

* Example.* (Retirement) $200 is deposited each
month and collect annual interest, compounded monthly. How
much is in the account after 30 years?

Note that 30 years is 360 months.

annual interest, compounded monthly, means that each month the amount in the account earns interest. This means that the amount in the account is multiplied by 1.004 each month.

The table below tracks each monthly deposit. The first row represents the first $200 deposited, the second row the second $200 deposited, and so on.

The total amount in the account is the sum of the numbers in the last column, which is

By comparison, with *no* interest --- e.g. if you put $200 a
month under your mattress --- you'd only have $72000 after 30 years.

At the same time, this is a rather sobering conclusion. Many people would find it a challenge to put away $200 a month toward retirement. This problem shows that doing so and assuming a conservative interest rate produces a significant total --- but hardly enough to retire on!

The following theorem says, roughly, that the sum of two series is the series of their sum, and that constants may be pulled out of series. These are familiar properties of limits, derivatives, and integrals.

* Theorem.* Suppose that and converge, and that c is a constant. Then:

(a) .

(b) .

* Example.* Consider the series . This is the sum of two geometric series,
both of which converge. Now

Therefore, converges, and

* Example.* If each of two series diverge, the
sum series may still converge. For example, here are two divergent
series:

But their sum converges:

Is this happening because " "? No! Here are two divergent series:

Now the sum series diverges:

No conclusion can be drawn in general about the sum of divergent series.

* Example.* * (Telescoping
series)* Find

By partial fractions,

Then

All of the fractions except for and cancel. Hence,

In many cases, it's hard to find the exact value of the sum of a
convergent series. However, if you *know* the series
converges, you can approximate the sum of the series as closely as
you wish by adding up enough terms. Thus, in most of what follows,
I'll consider * convergence tests*, which are
methods for determining whether a series converges or diverges
(without necessarily finding a sum).

The first test is fundamental: It says that in a convergent series, the terms must go to 0.

* Theorem.* (* Zero Limit
Test*) If the series converges,
then .

* Proof.* Suppose the series converges to a sum
S. Choose some positive number . I'm going
to show that if k is large enough, then must lie within of 0.

To do this, find a number n so that and are within of S when . (I can do this because the series converges to S, so eventually all the terms get arbitrarily close to S.) Then

But by the Triangle Inequality,

Therefore,

Now I didn't specify the value of --- it can be {\it any} positive number. So I've just shown that if I take k to be large enough, I can make smaller than any positive number. But this means that the terms must go to 0:

You usually use the contrapositive of the theorem, which says:

* Example.* Apply the Zero Limit Test to .

so the series diverges, by the Zero Limit Test.

* Example.* Apply the Zero Limit Test to .

so the series diverges, by the Zero Limit Test.

* Warning:* A standard mistake is to use the
Zero Limit Test backward. It is *not* true that if , then the series converges. A counterexample, the
* harmonic series* , is discussed in the next example.

* Example* * (The harmonic
series)* The series

is called the * harmonic series*.

Draw the graph of , . Divide the interval into equal subintervals of length 1, and build a rectangle on each subinterval using the left-hand endpoints for the heights.

The areas of the rectangle are 1, , ..., . Their sum is

which is the n-th partial sum of the harmonic series.

Since the rectangles lie above the curve,

Take the limit as :

Therefore, : The harmonic series {\it diverges}.

By comparison,

I'll have more to say about series of the form below.

Finally, go back to the inequality above. I have

Look at

It's possible to show that converges. The limit
is denoted , and is called * Euler's
constant*:

. So, for example, the sum of the first one million terms of the harmonic series is

Question: Is irrational? The answer is not known.

Here are a couple of neat points about the last example.

First, the method I used --- that of comparing a series to an integral --- can be used on series of the form

These are called * p-series*; the harmonic series
is the case . *A p-series converges if
and diverges if .* For example,

If , the sum of the p-series is denoted . Thus,

It isn't too difficult to find closed form expressions for , where n is an integer. For instance,

However, the odd sums are somewhat mysterious. It was only in 1978 that R. Ap\'ery showed that is irrational. No one knows what its exact value is, and no one knows if (for instance) is irrational.

Second, the method of comparing a series to an integral works more generally.

* Theorem.* Suppose is a series in which the terms are positive. Let
be the function you get by replacing k by x in .
Suppose that:

(a) f is continuous for .

(b) f *decreases* for .

Then:

This is called the * Integral Test*. Here's why
it works. Divide the interval up into rectangles of width
1, using the left-hand endpoints to get the heights. The function f
decreases, so the picture looks like this:

The sum of the rectangle areas is the partial sum, and it is clearly bigger than the area under the curve:

Therefore, if diverges, so does , but is the sum of the series.

Next, divide the interval up into rectangles of width 1, but use the right-hand endpoints to get the heights. The picture looks like this:

The sum of the rectangle areas is clearly smaller than the area under the curve:

If I add to both sides, the left side becomes the n-th partial sum:

If converges, so does , but is the sum of the series.

* Example.* Think of using the Integral Test
when the general term of the series looks like something that you can
integrate.

Consider the series . is something you can integrate, so it's natural to try the Integral Test.

For , . The series has positive terms.

Let . f is continuous for . Since

f decreases for . The hypotheses of the Integral Test are satisfied. (It's important to check the hypothesis before applying the test!)

Compute the improper integral:

Here's the parts table:

Since the integral converges, the series converges by the Integral Test.

* Warning:* The value of the integral in the
Integral Test is not equal to the sum of the series.

The proof of the Integral Test yields the formula

You can use this to estimate the partial sums of a series to which the Integral Test applies.

* Example.* Estimate the sum of the first 1000
terms of

This is a divergent p-series with , so the Integral Test applies. I have

Now

Thus, .

Copyright 2005 by Bruce Ikenaga