10. Convergence of Series
≪ 9. Improper Integrals | Table of ContentsOne of the hallmarks of calculus is the theory of infinite series, particularly that of Taylor series and power series. This is a framework in which certain “nice” functions are expressed as for a sequence of real numbers , for instance. From a practical standpoint, this is particularly useful when computing values of certain functions, and many computer math libraries and calculators do this under the hood. Power series can, in certain scenarios, be much easier to manipulate than arbitrary functions, aiding both theory and applications.
In these scenarios, it’s important for people to know (1) for which values of does the series converge to an actual number, and (2) how many terms from the infinite series need to be added up in order to get “close enough” to the actual value. Our focus at the tail end of this class will be the first question — how can you tell if a series converges or not?
If converges, then necessarily . If one wants to add up infinitely many numbers, those numbers must be getting smaller; this is called the divergence test. However, there are still sequences with for which the series still diverges — the most famous example is the harmonic series . We have to use more sophisticated reasoning in these cases.
Most of the time, it’ll be with a comparison test — there are a small handful of “baseline” series that have been known to converge or diverge since antiquity.
- Geometric series converge to whenever , and it diverges if .
- -series of the form converge if and diverge if .
These are facts that should be burned into your mind. I think the geometric series makes sense — at the very least, if , then you’re adding infinitely many things that aren’t getting any smaller, and there’s no way that should be a finite quantity. The -series should be reminiscent of the improper integrals , which converge with exactly the same conditions on . In fact, we’re doing an “improper Riemann sum”.
Not every series is of these forms, but you should think of using these as “references”. Does my series resemble a geometric series in a quantitative way? Does it resemble a -series in a quantitative way? This is what convergence tests do.
Our first pair of convergence tests assess how similar a given series is to a geometric series.
Theorem 1. The Ratio Test
Let be a sequence of real numbers, and suppose the limit Then …
- converges if ,
- diverges if , and
- the test is inconclusive if .
If the ratio of consecutive terms is , then eventually the terms start looking like part of a geometric series. Each term is (more or less) a factor of away from the previous. Thus, the cases and reflect exactly the convergence and divergence of geometric series. Do note that when , it’s impossible to tell if a series converges or diverges using this test alone; you’ll need to use one of the other tests to find out.
The ratio test is particularly useful when there are powers of a constant and/or factorials involved, as these cancel nicely in the ratios.
Example 2.
Determine if the series converges or diverges.
Solution
Let . Then, Note here that .
Since , the series converges by the ratio test.
Example 3.
Determine if the series converges or diverges.
Solution
There’s another test that works on a similar principle to the ratio test, but makes the connection to geometric series in a slightly different way.
Theorem 4. The Root Test
Let be a sequence, and let Then, the series …
- converges if ,
- diverges if , and
- the test is inconclusive if .
Just like the ratio test, the root test uses the heuristic that when is very, very large. Thus, the conditions for convergence and divergence when again mimick those of normal geometric series, though again one can’t use this test when . This test is particularly useful when there are lots of things being raised to the -th power, but it’s a lot harder to apply when factorials or polynomial quantities are present.
A more direct set of convergence tests are the comparison tests, and these are often important to use when the ratio test or the root test are inconclusive.
Theorem 5.
Let and be two sequences.
- (Direct comparison)
If for all and converges, then converges too. If and diverges, then so does . - (Limit comparison)
If exists and is nonzero, then converges if converges, and it diverges if diverges.
The direct comparison test says (morally) that if , then Thus the series for is finite, i.e. it converges. Likewise, if you can bound from below by and diverges, then is “bigger than ”, hence must also diverge. Note that the other comparisons do not work in our favour.
The limit comparison test instead says that if eventually looks like a constant multiple of the sequence , then the two series must both converge or both diverge.
These tests are most useful when the ratio and root tests are inconclusive, particularly when the summand is close to a rational function of . You are usually applying these tests to determine if converges or not, where is given as part of a problem. You have complete freedom to choose , and almost always you’ll want to pick a geometric series or a -series, whose convergence is easy to assess.
Example 6.
Determine if the series converges or diverges.
Solution
For problems like this, I would recommend squinting your eyes and asking, when is really big, what’s the simplest approximation I can make?
When is say , we have and . Thus, I would like to say and I know this is a convergent -series. To make this rigorous, I might apply the limit comparison test: if and , we have This is a finite, nonzero quantity, and since , the series converges too.
Example 7.
Determine if the series converges or diverges.
Solution
Although this looks more intimidating, the exact same thought process from the previous example applies. Note that we can’t immediately apply the ratio or the root test — there’s a lot of extra junk in the way that would prevent easy simplification.
Instead, when is really big, while . So, I would like to say that and I know the rightmost side is a diverging geometric series.
Rather than wrangle with the limit comparison test, let’s demonstrate how to use the direct comparison test. I need to make where can be any constant. Note that I used the “squint your eyes” test to determine which direction I need the inequality to go.
In the numerator, I trivially have for all . In the denominator, I have that and for all , thus for all . Note that the inequality is reversed! Putting the two together, we get Since the series is a diverging geometric series, we know diverges too by the comparison test.