The ebook Elementary Calculus is based on material originally written by H.J. Keisler. For more information please read the copyright pages.


Theorem 2: Integral Test.

For our last test we need another theorem which is similar to Theorem 1.

THEOREM 2

If the function F(x) increases for x ≥ 1, then limx→∞ F(x) either exists or is infinite.

This says that the curve y - F(x) is either asymptotic to some horizontal line y = L or increases indefinitely, as illustrated in Figure 9.4.2.

09_infinite_series-199.gif

09_infinite_series-200.gif

Figure 9.4.2

INTEGRAL TEST

Suppose f is a continuous decreasing function and f(x) > 0 for all x ≥ 1. Then the improper integral

09_infinite_series-201.gif

and the infinite series

09_infinite_series-202.gif

either both converge or both diverge to ∞. Discussion Figure 9.4.3 suggests that

09_infinite_series-203.gif

so the series and the integral should both converge or both diverge to ∞. The Integral Test shows that the integral 09_infinite_series-204.gif and the series 09_infinite_series-205.gif

have the same convergence properties. However, their values, when finite, are different. In fact, we can see from Figure 9.4.3(c) that the integral is less than the series sum,

09_infinite_series-206.gif

09_infinite_series-210.gif(a)09_infinite_series-211.gif(b)09_infinite_series-212.gif(c)

Figure 9.4.3 The Integral Test

PROOF

As we can see from Figure 9.4.3, for each m we have

09_infinite_series-207.gif

The improper integral is defined by

09_infinite_series-208.gif

Since f(x) is always positive, the function 09_infinite_series-209.gifdx is increasing, so by Theorem 2, the limit either exists or is infinite. Hence the improper integral either converges or diverges to ∞.

Case 1

09_infinite_series-213.gifconverges.

For infinite H we have

09_infinite_series-214.gif

thus the infinite partial sum is finite. Hence the tail 09_infinite_series-215.gif and the series

09_infinite_series-216.gif converge.

Case 2

09_infinite_series-217.gif diverges to ∞.

Since 09_infinite_series-218.gif, the infinite partial

sum has infinite value, whence the series 09_infinite_series-219.gif diverges to ∞.


Last Update: 2006-11-07