A series is the sum of a sequence of terms. An infinite series is the sum of an infinite number of terms (the actual sum of the series need not be infinite, as we will see below).
An arithmetic series is the sum of a sequence of terms with a common difference (the difference between consecutive terms). For example:
is an arithmetic series with common difference 3, since , , and so forth.
A geometric series is the sum of terms with a common ratio. For example, an interesting series which appears in many practical problems in science, engineering, and mathematics is the geometric series where the indicates that the series continues indefinitely. A common way to study a particular series (following Cauchy) is to define a sequence consisting of the sum of the first terms. For example, to study the geometric series we can consider the sequence which adds together the first n terms:
Generally by studying the sequence of partial sums we can understand the behavior of the entire infinite series.
Two of the most important questions about a series are:
- Does it converge?
- If so, what does it converge to?
For example, it is fairly easy to see that for , the geometric series will not converge to a finite number (i.e., it will diverge to infinity). To see this, note that each time we increase the number of terms in the series, increases by , since for all (as we defined), must increase by a number greater than one every term. When increasing the sum by more than one for every term, it will diverge.
Perhaps a more surprising and interesting fact is that for , will converge to a finite value. Specifically, it is possible to show that
Indeed, consider the quantity
Since as for , this shows that as . The quantity is non-zero and doesn't depend on so we can divide by it and arrive at the formula we want.
We'd like to be able to draw similar conclusions about any series.
Unfortunately, there is no simple way to sum a series. The most we will be able to do in most cases is determine if it converges. The geometric and the telescoping series are the only types of series in which we can easily find the sum of.
It is obvious that for a series to converge, the an must tend to zero (because sum of an infinite number of terms all greater than any given positive number will be infinity), but even if the limit of the sequence is 0, this is not sufficient to say it converges.
Consider the harmonic series, the sum of 1/n, and group terms
As m tends to infinity, so does this final sum, hence the series diverges.
We can also deduce something about how quickly it diverges. Using the same grouping of terms, we can get an upper limit on the sum of the first so many terms, the partial sums.
and the partial sums increase like log m, very slowly.
The argument above, based on considering upper and lower bounds on terms, can be modified to provide a general-purpose test for convergence and divergence called the comparison test (or direct comparison test). It can be applied to any series with nonnegative terms:
- If converges and , then converges.
- If diverges and , then diverges.
There are many such tests for convergence and divergence, the most important of which we will describe below.
Theorem: If the series of absolute values, , converges, then so does the series
We say such a series converges absolutely.
According to the Cauchy criterion for series convergence, exists so that for all :
We know that:
And then we get:
Now we get:
Which is exactly the Cauchy criterion for series convergence.
The converse does not hold. The series 1-1/2+1/3-1/4 ... converges, even though the series of its absolute values diverges.
A series like this that converges, but not absolutely, is said to converge conditionally.
If a series converges absolutely, we can add terms in any order we like. The limit will still be the same.
If a series converges conditionally, rearranging the terms changes the limit. In fact, we can make the series converge to any limit we like by choosing a suitable rearrangement.
E.g., in the series 1-1/2+1/3-1/4 ..., we can add only positive terms until the partial sum exceeds 100, subtract 1/2, add only positive terms until the partial sum exceeds 100, subtract 1/4, and so on, getting a sequence with the same terms that converges to 100.
This makes absolutely convergent series easier to work with. Thus, all but one of convergence tests in this chapter will be for series all of whose terms are positive, which must be absolutely convergent or divergent series. Other series will be studied by considering the corresponding series of absolute values.
For a series with terms an, if
- the series converges (absolutely) if r<1
- the series diverges if r>1 (or if r is infinity)
- the series could do either if r=1, so the test is not conclusive in this case.
so this series converges.
If f(x) is a monotonically decreasing, always positive function, then the series
converges if and only if the integral
E.g., consider f(x)=1/xp, for a fixed p.
- If p=1 this is the harmonic series, which diverges.
- If p<1 each term is larger than the harmonic series, so it diverges.
- If p>1 then
The integral converges, for p>1, so the series converges.
We can prove this test works by writing the integral as
and comparing each of the integrals with rectangles, giving the inequalities
Applying these to the sum then shows convergence.
Limit comparison test
Given an infinite series with positive terms only, if one can find another infinite series with positive terms for which
for a positive and finite L (i.e., the limit exists and is not zero), then the two series either both converge or both diverge. That is,
- converges if converges, and
- diverges if diverges.
For large n, the terms of this series are similar to, but smaller than, those of the harmonic series. We compare the limits.
so this series diverges.
Given an infinite series , if the signs of the an alternate, that is if
for all n or
for all n, then we call it an alternating series.
The alternating series test states that such a series converges if
(that is, the magnitude of the terms is decreasing).
Note that this test cannot lead to the conclusion that the series diverges; if one cannot conclude that the series converges, this test is inconclusive, although other tests may, of course, be used to give a conclusion.
Estimating the sum of an alternating series
The absolute error that results in using a partial sum of an alternating series to estimate the final sum of the infinite series is smaller than the magnitude of the first omitted term.
The geometric series can take either of the following forms
As you have seen at the start, the sum of the geometric series is
Expanding (or "telescoping") this type of series is informative. If we expand this series, we get:
Additive cancellation leaves:
and all that remains is to evaluate the limit.
There are other tests that can be used, but these tests are sufficient for all commonly encountered series.