Evaluate an integral over a closed interval with an infinite discontinuity within the interval
Integrating over an Infinite Interval
How should we go about defining an integral of the type ∫+∞af(x)dx? We can integrate ∫taf(x)dx for any value of t, so it is reasonable to look at the behavior of this integral as we substitute larger values of t. Figure 1 shows that ∫taf(x)dx may be interpreted as area for various values of t. In other words, we may define an improper integral as a limit, taken as one of the limits of integration increases or decreases without bound.
Figure 1. To integrate a function over an infinite interval, we consider the limit of the integral as the upper limit increases without bound.
Definition
Let f(x) be continuous over an interval of the form [a,+∞). Then
∫+∞af(x)dx=limt→+∞∫taf(x)dx,
provided this limit exists.
Let f(x) be continuous over an interval of the form (-∞,b]. Then
∫b-∞f(x)dx=limt→-∞∫btf(x)dx,
provided this limit exists.
In each case, if the limit exists, then the improper integral is said to converge. If the limit does not exist, then the improper integral is said to diverge.
Let f(x) be continuous over (-∞,+∞). Then
∫+∞-∞f(x)dx=∫0-∞f(x)dx+∫+∞0f(x)dx,
provided that ∫0-∞f(x)dx and ∫+∞0f(x)dx both converge. If either of these two integrals diverge, then ∫+∞-∞f(x)dx diverges. (It can be shown that, in fact, ∫+∞-∞f(x)dx=∫a-∞f(x)dx+∫+∞af(x)dx for any value of a.)
In our first example, we return to the question we posed at the start of this section: Is the area between the graph of f(x)=1x and the x -axis over the interval [1,+∞) finite or infinite?
Example: Finding an Area
Determine whether the area between the graph of f(x)=1x and the x-axis over the interval [1,+∞) is finite or infinite.
Show Solution
We first do a quick sketch of the region in question, as shown in the following graph.
Figure 2. We can find the area between the curve f(x)=1x and the x-axis on an infinite interval.
We can see that the area of this region is given by A=∫∞11xdx. Then we have
A=∫∞11xdx=limt→+∞∫t11xdxRewrite the improper integral as a limit.=limt→+∞ln|x||t1Find the antiderivative.=limt→+∞(ln|t|−ln1)Evaluate the antiderivative.=+∞.Evaluate the limit.
Since the improper integral diverges to +∞, the area of the region is infinite.
Example: Finding a Volume
Find the volume of the solid obtained by revolving the region bounded by the graph of f(x)=1x and the x-axis over the interval [1,+∞) about the x -axis.
Show Solution
The solid is shown in Figure 3. Using the disk method, we see that the volume V is
V=π∫+∞11x2dx.
Figure 3. The solid of revolution can be generated by rotating an infinite area about the x-axis.
Then we have
V=π∫+∞11x2dx=πlimt→+∞∫t11x2dxRewrite as a limit.=πlimt→+∞−1x|t1Find the antiderivative.=πlimt→+∞(-1t+1)Evaluate the antiderivative.=π.
The improper integral converges to π. Therefore, the volume of the solid of revolution is π.
In conclusion, although the area of the region between the x-axis and the graph of f(x)=1x over the interval [1,+∞) is infinite, the volume of the solid generated by revolving this region about the x-axis is finite. The solid generated is known as Gabriel’s Horn.
Example: Evaluating an Improper Integral over an Infinite Interval
Evaluate ∫0-∞1x2+4dx. State whether the improper integral converges or diverges.
Show Solution
Begin by rewriting ∫0-∞1x2+4dx as a limit using the equation 2 from the definition. Thus,
∫0-∞1x2+4dx=limx→-∞∫0t1x2+4dxRewrite as a limit.=limt→-∞12tan−1x2|0tFind the antiderivative.=12limt→-∞(tan−10−tan−1t2)Evaluate the antiderivative.=π4.Evaluate the limit and simplify.
The improper integral converges to π4.
Because improper integrals require evaluating limits at infinity, at times we may be required to use L’Hôpital’s Rule to evaluate a limit.
Recall: L’Hôpital’s Rule
Suppose f and g are differentiable functions over an open interval (a,∞) for some value of a. If either:
limx→∞f(x)=0 and limx→∞g(x)=0
limx→∞f(x)=∞ (or −∞) and limx→∞g(x)=∞ (or −∞), then
limx→∞f(x)g(x)=limx→∞f′(x)g′(x)
assuming the limit on the right exists or is ∞ or −∞.
Example: Evaluating an Improper Integral on (−∞,+∞)
Evaluate ∫+∞−∞xexdx. State whether the improper integral converges or diverges.
Show Solution
Start by splitting up the integral:
∫+∞-∞xexdx=∫0-∞xexdx+∫+∞0xexdx.
If either ∫0-∞xexdx or ∫+∞0xexdx diverges, then ∫+∞-∞xexdx diverges. Compute each integral separately. For the first integral,
∫0−∞xexdx=limt→−∞∫0txexdxRewrite as a limit.=limt→−∞(xex−ex)∣∣∣0tUse integration by parts to find theantiderivative. (Here u=x and dv=exdv.)=limt→−∞(−1−tet+et)Evaluate the antiderivative.=−1.Evaluate the limit.Note:limt→−∞tetisindeterminate of the form0⋅∞.Thus,limt→−∞tet=limt→−∞te-t=limt→−∞−1e−t=limt→−∞−et=0byL'H^opital's Rule.
The first improper integral converges. For the second integral,
∫+∞0xexdx=limt→+∞∫t0xexdxRewrite as a limit.=limt→+∞(xex−ex)∣∣∣0tFind the antiderivative.=limt→+∞(tet−et+1)Evaluate the antiderivative.=limt→+∞((t−1)et+1)Rewrite.(tet−et is indeterminate.)=+∞.Evaluate the limit.
Thus, ∫+∞0xexdx diverges. Since this integral diverges, ∫+∞-∞xexdx diverges as well.
try it
Evaluate ∫+∞−3e-xdx. State whether the improper integral converges or diverges.
Hint
∫+∞−3e-xdx=limt→+∞∫t−3e-xdx
Show Solution
e3, converges
Watch the following video to see the worked solution to the above Try It
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
Now let’s examine integrals of functions containing an infinite discontinuity in the interval over which the integration occurs. Consider an integral of the form ∫baf(x)dx, where f(x) is continuous over [a,b) and discontinuous at b. Since the function f(x) is continuous over [a,t] for all values of t satisfying [latex]a
Figure 4. As t approaches b from the left, the value of the area from a to t approaches the area from a to b.
We use a similar approach to define ∫baf(x)dx, where f(x) is continuous over (a,b] and discontinuous at a. We now proceed with a formal definition.
Definition
Let f(x) be continuous over [a,b). Then,
∫baf(x)dx=limt→b−∫taf(x)dx.
Let f(x) be continuous over (a,b]. Then,
∫baf(x)dx=limt→a+∫btf(x)dx.
In each case, if the limit exists, then the improper integral is said to converge. If the limit does not exist, then the improper integral is said to diverge.
If f(x) is continuous over [a,b] except at a point c in (a,b), then
∫baf(x)dx=∫caf(x)dx+∫bcf(x)dx,
provided both ∫caf(x)dx and ∫bcf(x)dx converge. If either of these integrals diverges, then ∫baf(x)dx diverges.
The following examples demonstrate the application of this definition.
Example: Integrating a Discontinuous Integrand
Evaluate ∫401√4−xdx, if possible. State whether the integral converges or diverges.
Show Solution
The function f(x)=1√4−x is continuous over [0,4) and discontinuous at 4. Using equation 1 from the definition, rewrite ∫401√4−xdx as a limit:
∫401√4−xdx=limt→4−∫t01√4−xdxRewrite as a limit.=limt→4−(−2√4−x)|t0Find the antiderivative.=limt→4−(−2√4−t+4)Evaluate the antiderivative.=4.Evaluate the limit.
The improper integral converges.
Example: Integrating a Discontinuous Integrand
Evaluate ∫20xlnxdx. State whether the integral converges or diverges.
Show Solution
Since f(x)=xlnx is continuous over (0,2] and is discontinuous at zero, we can rewrite the integral in limit form using equation 2 from the definition:
∫20xlnxdx=limt→0+∫2txlnxdxRewrite as a limit.=limt→0+(12x2lnx−14x2)|2tEvaluate∫xlnxdx using integration by partswith u=lnx and dv=x.=limt→0+(2ln2−1−12t2lnt+14t2).Evaluate the antiderivative.=2ln2−1.Evaluate the limit.limt→0+t2lnt is indeterminate.To evaluate it, rewrite as a quotient and applyL'h^opital's rule.
The improper integral converges.
Example: Integrating a Discontinuous Integrand
Evaluate ∫1−11x3dx. State whether the improper integral converges or diverges.
Show Solution
Since f(x)=1x3 is discontinuous at zero, using equation 3 from the definition, we can write
∫1−11x3dx=∫0−11x3dx+∫101x3dx.
If either of the two integrals diverges, then the original integral diverges. Begin with ∫0−11x3dx:
∫0−11x3dx=limt→0−∫t−11x3dxRewrite as a limit.=limt→0−(−12x2)|t−1Find the antiderivative.=limt→0−(−12t2+12)Evaluate the antiderivative.=+∞.Evaluate the limit.
Therefore, ∫0−11x3dx diverges. Since ∫0−11x3dx diverges, ∫1−11x3dx diverges.
try it
Evaluate ∫201xdx. State whether the integral converges or diverges.
Hint
Write ∫201xdx in limit form using equation 2 from the definition.
Show Solution
+∞, diverges
Watch the following video to see the worked solution to the above Try It
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.