## Convergence, Divergence, and Comparison

In this section we discuss using comparison to determine if an improper integrals converges or diverges. Recall that if and are continuous functions on an interval and , then This observation can be incredibly useful in determining whether or not an improper integral converges.

Not only does this technique help in determing whether integrals converge, but it also gives you some information about their values, which is often much easier to obtain than computing the exact integral.

Theorem 5.7.8 (Comparison Theorem (special case))   Let and be continuous functions with for .
1. If converges, then converges.
2. If diverges then diverges.

Proof. Since for all , the function is a non-decreasing function. If converges to some value , then for any we have Thus in this case is a non-decreasing function bounded above, hence the limit exists. This proves the first statement.

Likewise, the function is also a non-decreasing function. If diverges then the function defined above is still non-decreasing and does not exist, so is not bounded. Since we have for all , hence is also unbounded, which proves the second statement. The theorem is very intuitive if you think about areas under a graph. If the bigger integral converges then so does the smaller one, and if the smaller one diverges so does the bigger ones.''

Example 5.7.9   Does converge? Answer: YES. Since , we really do have as illustrated in Figure 5.7.5. Thus so converges.

But why did we use ? It's a guess that turned out to work. You could have used something else, e.g., for some constant . This is an illustration of how in mathematics sometimes you have to use your imagination or guess and see what happens. Don't get anxious--instead, relax, take a deep breath and explore.

For example, alternatively we could have done the following: and this works just as well, since converges (as is continuous).

Example 5.7.10   Consider . Does it converge or diverge? For large values of , the term very quickly goes to 0, so we expect this to diverge, since diverges. For , we have , so for all we have (verify by cross multiplying) But Thus must also diverge.

Note that there is a natural analogue of Theorem 5.7.8 for integrals of functions that blow up'' at a point, but we will not state it formally.

Example 5.7.11   Consider We have (Coming up with this comparison might take some work, imagination, and trial and error.) We have thus converges, even though we haven't figured out its value. We just know that it is . (In fact, it is .)

What if we found a function that is bigger than and its integral diverges?? So what! This does nothing for you. Bzzzt. Try again.

Example 5.7.12   Consider the integral This is an improper integral since has a pole at . Does it converge? NO.
On the interal we have . Thus    Thus diverges.

William Stein 2006-03-15