We begin this section by considering the following definite integrals:
Notice how the integrand is in each integral (which is sketched in Figure 8.6.1). As the upper bound gets larger, one would expect the “area under the curve” would also grow. While the definite integrals do increase in value as the upper bound grows, they are not increasing by much. In fact, consider:
As , Therefore it seems that as the upper bound grows, the value of the definite integral approaches . This should strike the reader as being a bit amazing: even though the curve extends “to infinity,” it has a finite amount of area underneath it.
When we defined the definite integral , we made two stipulations:
The interval over which we integrated, , was a finite interval, and
The function was continuous on (ensuring that the range of was finite).
In this section we consider integrals where one or both of the above conditions do not hold. Such integrals are called improper integrals.
(a)
Let be a continuous function on . For let
(b)
Let be a continuous function on . For let
(c)
Let be a continuous function on . For any real number (which one doesn’t matter), let
An improper integral is said to converge if its corresponding limit exists; otherwise, it diverges. The improper integral in part 3 converges if and only if both of its limits exist.
Watch the video:
Improper Integral — Infinity in Upper and Lower Limits from https://youtu.be/f6cGotvktxs
Evaluate the following improper integrals.
(a)
(b)
(c)
(d)
Solution
A graph of the area defined by this integral is given in Figure 8.6.2.
A graph of the area defined by this integral is given in Figure 8.6.4.
We will need to break this into two improper integrals and choose a value of as in part 3 of Definition 8.6.1. Any value of is fine; we choose . ††margin: Λ
A graph of the area defined by this integral is given in Figure 8.6.5.
Section 7.5 introduced L’Hôpital’s Rule, a method of evaluating limits that return indeterminate forms. It is not uncommon for the limits resulting from improper integrals to need this rule as demonstrated next.
Evaluate the improper integral .
SolutionThis integral will require the use of Integration by Parts. Let and . Then ††margin: Λ
The goes to 0, and , leaving with L’Hôpital’s Rule. We have:
Thus the improper integral evaluates as:
We have just considered definite integrals where the interval of integration was infinite. We now consider another type of improper integration, where the range of the integrand is infinite.
Let be a continuous function on except at , , where is a vertical asymptote of . Define
Note that can be one of the endpoints ( or ). In that case, there is only one limit to consider as part of the definition.
Evaluate the following improper integrals:
Solution
A graph of is given in Figure 8.6.7. ††margin: Λ Notice that has a vertical asymptote at . In some sense, we are trying to compute the area of a region that has no “top.” Could this have a finite value?
It turns out that the region does have a finite area even though it has no upper bound (strange things can occur in mathematics when considering the infinite).
The function has a vertical asymptote at , as shown in Figure 8.6.8, so this integral is an improper integral. Let’s eschew using limits for a moment and proceed without recognizing the improper nature of the integral. This leads to:
Clearly the area in question is above the -axis, yet the area is supposedly negative. In this example we noted the discontinuity of the integrand on (its improper nature) but continued anyway to apply the Fundamental Theorem of Calculus. Violating the hypothesis of the FTC led us to an incorrect area of . If we now evaluate the integral using Definition 8.6.2 we will see that the area is unbounded.
Neither limit converges hence the original improper integral diverges. The nonsensical answer we obtained by ignoring the improper nature of the integral is just that: nonsensical.
Oftentimes we are interested in knowing simply whether or not an improper integral converges, and not necessarily the value of a convergent integral. We provide here several tools that help determine the convergence or divergence of improper integrals without integrating.
Our first tool is knowing the behavior of functions of the form .
Determine the values of for which converges.
SolutionWe begin by integrating and then evaluating the limit.
When does this limit converge — i.e., when is this limit not ? This limit converges precisely when the power of is less than 0: when .
Our analysis shows that if , then converges. When the improper integral diverges; we showed in Example 8.6.1 that when the integral also diverges.
Figure 8.6.9 graphs with a dashed line, along with graphs of , , and , . Somehow the dashed line forms a dividing line between convergence and divergence.
The result of Example 8.6.4 provides an important tool in determining the convergence of other integrals. A similar result is proved in the exercises about improper integrals of the form . These results are summarized in the following Key Idea.
(a)
The improper integral converges when and diverges when
(b)
The improper integral converges when and diverges when
A basic technique in determining convergence of improper integrals is to compare an integrand whose convergence is unknown to an integrand whose convergence is known. We often use integrands of the form in comparisons as their convergence on certain intervals is known. This is described in the following theorem.
Let and be continuous on where for all in .
If converges, then converges.
If diverges, then diverges.
Determine the convergence of the following improper integrals.
Solution
The function does not have an antiderivative expressible in terms of elementary functions, so we cannot integrate directly. It is comparable to , and as demonstrated in Figure 8.6.10, on . We know from Key Idea 8.6.1 that converges, hence also converges.
Note that for large values of , . We know from Key Idea 8.6.1 and the subsequent note that diverges, so we seek to compare the original integrand to .
It is easy to see that when , we have . Taking reciprocals reverses the inequality, giving
Using Theorem 8.6.1, we conclude that since diverges, then diverges as well. Figure 8.6.11 illustrates this.
Being able to compare “unknown” integrals to “known” integrals is very useful in determining convergence. However, some of our examples were a little “too nice.” For instance, it was convenient that , but what if the “” were replaced with a “”? That is, what can we say about the convergence of ? We have , so we cannot use Theorem 8.6.1.
In cases like this (and many more) it is useful to employ the following theorem.
Let and be continuous functions on where and for all . If
then
either both converge or both diverge.
Determine the convergence of .
SolutionAs gets large, the square root of a quadratic function will begin to behave much like . So we compare to with the Limit Comparison Test:
The immediate evaluation of this limit returns , an indeterminate form. Using L’Hôpital’s Rule seems appropriate, but in this situation, it does not lead to useful results. (We encourage the reader to employ L’Hôpital’s Rule at least once to verify this.)
The trouble is the square root function. We determine the limit by using a technique we learned in Key Idea 1.5.1: ††margin: Λ
Since we know that diverges, by the Limit Comparison Test we know that also diverges. Figure 8.6.12 graphs and , illustrating that as gets large, the functions become indistinguishable.
Both the Direct and Limit Comparison Tests were given in terms of integrals over an infinite interval. There are versions that apply to improper integrals with an infinite range, but as they are a bit wordy and a little more difficult to employ, they are omitted from this text.
This chapter has explored many integration techniques. We learned Integration by Parts, which reverses the Product Rule of differentiation. We also learned specialized techniques for handling trigonometric and rational functions. All techniques effectively have this goal in common: rewrite the integrand in a new way so that the integration step is easier to see and implement.
As stated before, integration is, in general, hard. It is easy to write a function whose antiderivative is impossible to write in terms of elementary functions, and even when a function does have an antiderivative expressible by elementary functions, it may be really hard to discover what it is. The powerful computer algebra system Mathematica® has approximately 1,000 pages of code dedicated to integration.
Do not let this difficulty discourage you. There is great value in learning integration techniques, as they allow one to manipulate an integral in ways that can illuminate a concept for greater understanding. There is also great value in understanding the need for good numerical techniques: the Trapezoidal and Simpson’s Rules are just the beginning of powerful techniques for approximating the value of integration.
The definite integral was defined with what two stipulations?
If exists, then the integral is said to .
If , and for all , then we know that .
For what values of will converge?
For what values of will converge?
For what values of will converge?
In Exercises 7–36., evaluate the given improper integral.
In Exercises 37–46., use the Direct Comparison Test or the Limit Comparison Test to determine whether the given definite integral converges or diverges. Clearly state what test is being used and what function the integrand is being compared to.