A definite integral is considered "improper" if the interval of integration is unbounded, the function being integrated is unbounded on the interval of integration, or both. In such cases, the usual definition of the definite integral does not apply.
Consider the function . Suppose we wanted the area under this curve for ; in other words, we want . This is an infinite region, so you might assume that it has infinite area. However, in this case the area is actually finite.
To see this, consider the integral for any . This is a normal definite integral, and the answer is .
What happens as ? We have .
So it make sense to say .
The previous example falls under the first type of improper integral, when one or both of the limits of integration is . In this case, the region under the curve is infinite in the horizontal direction.
Here is the definition:
If exists for every , then we define , provided this limit exists.
If the limit exists, we say the improper integral converges (or is convergent). Otherwise, we say it diverges (or is divergent).
Similarly, if exists for every , then we define , provided this limit exists.
Also, if there is a number such that and both converge, then we define .
Note: If these integrals converge for one value of , then they converge for any value of . The answer does not depend on the choice of .
Let's explore integrals of the form .
We already saw what happens when above, so let's try etc.
The second type of improper integral is when the integrand (the function being integrated) is unbounded on the interval of integration. In this case, the region under the curve is infinite in the vertical direction.
We have finite limits of integration, but notice that is not bounded on the interval , since .
Notice that for we have .
If we try to compute this integral in Sage, it will ask us for more information.
Sage needs some information about . We can give it this information using the assume command.
What happens as ?
So it makes sense to define .
Here's the definition in general:
If is continuous on the interval and is unbounded near , then we define , provided this limit exists.
Similarly, if is continuous on the interval and is unbounded near , then we define , provided this limit exists.
Also, if is continuous on the intervals and and unbounded near , then we define , provide both of these converge.
Let's look at a graph of the integrand. Notice that it is unbounded near 0.
Thus, this is an improper integral, so
Therefore, this integral diverges.
Note that Sage can handle improper integrals. It informs us that this integral is divergent (see the last line of the error output).
When we look at the graph, we see that the integrand is unbounded near 9.
So we have
Here is the direct computation:
Notice that is unbounded near , which is in the middle of our interval (not one of the limits of integration).
In this case, we need to split our integral into two:
Both of the integrals on the right are unbounded near one of the limits of integration, like the previous examples.
Now we use limits to evaluate the two improper integrals.
Since one of these integrals (actually both) diverges, the original integral diverges.
Note: It is not correct to say the answer is .
Here is the direct computation in Sage. Note that Sage tells us the integral is divergent.
If you're doing this by hand, it is very important that you notice at the beginning that the integrand is unbounded, and so the integral is improper. If you treat this like a regular definite integral, you will get the wrong answer:
The integral diverges; it is not equal to . So what went wrong? When you compute this like a normal definite integral, you are assuming that the integrand is bounded on the interval of integration (that's part of the definition of the definite integral). Since this assumption is false, you get the wrong answer.
So be on the lookout for unbounded functions!
Notice that the interval of integration is unbounded, and the integrand is unbounded near 0. So we need to split this up into two integrals.
So we have
Note: The choice of 1 as the other limit of integration was arbitrary.
Here's the direct calculation:
Note: If you get an error that says "Assumption is redundant" or "Assumption is inconsistent," then find a blank line, type forget(), and hit "Run."