- Note that \(\frac {1}{1+x^2}\) is continuous everywhere, so it is bounded on any finite interval.
- \(\lim _{x \to 0^+} \ln (x) = -\infty \), so \(\ln (x)\) is unbounded on \([0,1]\).
- \(\lim _{x \to 0^+} \frac {\sin (x)}{x} = 1\), so even though \(\frac {\sin (x)}{x}\) is not continuous at \(x=0\), it is bounded on \([0,1]\). Hence \(\int _0^1 \frac {\sin (x)}{x} dx\) is proper.
- \(\tan (x)\) has a vertical asymptote at \(x=\frac {\pi }{2}\), so it is unbounded on \([0,\pi ]\).
Recall that we introduced the definite integral
as a limit of Riemann sums. This limit need not always exist, as it depends on the properties of the function \(f\) on the given interval \([a, b]\). When the function \(f\) is continuous on \([a,b]\), this definite integral represents the net between the graph of \(y=f(x)\) and the \(x\)-axis on \(a \leq x \leq b\)
and the Fundamental Theorem of Calculus comes to the rescue and assures us that
where \(F(x)\) is an antiderivative of \(f(x)\).
Note that while explicitly computing the limit of Riemann sums is an arduous task, the Fundamental Theorem of Calculus allows us to use antiderivatives to accomplish the same task. However, note that there are two requirements that the function must satisfy before we can apply the Fundamental Theorem.
- The interval over which we integrated, \([a,b]\), must be a closed interval of finite length, and
- The function \(f\) must be bounded on \([a,b]\).
This says that the outputs of \(f\) are trapped between the horizontal lines \(y=-M\) and \(y=M\); the output values cannot become arbitrarily large in either the positive or negative sense on \([a,b]\).
It turns out that there are many instances where these limitations are a problem. For instance, there are applications in statistics, physics, and engineering where we need to integrate over unbounded regions or we need to integrate unbounded functions. In this section, we will generalize the notion of the integral in such a way to overcome each of the restrictions above.
- The interval of integration is infinite.
- The function \(f\) is unbounded on the interval of integration.
1 Unbounded intervals
Consider the expression
What does this expression mean? Let’s consider a particular example and see if we can make sense of it.
We interpret definite integrals as giving us the net area underneath the graph of the function over the given interval. If we used this interpretation here, this notation should mean that we want to find the area under \(\frac {1}{x}\) from \(1\) to \(\infty \). This idea needs to be more precisely defined. Let’s consider the definite integral
where \(b \geq 1\) is some fixed number.
This integral gives us the area underneath \(1/x\) from \(1\) to \(b\). If we wanted to make sense of the integral to \(\infty \), we could think of letting \(b\) get larger and larger and seeing how this affects the area.
That is, we interpret the integral from 1 to \(\infty \) as a limit of a definite integral:
We can interpret this result to mean that the area under \(\frac {1}{x}\) from \(1\) to \(\infty \) is infinite.
It might seem like we should always get an answer of infinity or negative infinity if we integrate over an unbounded region, but the next example shows that is not always the case.
We calculate the definite integral
This gives the area under \(\frac {1}{x^2}\) on the interval \([1, b]\).
Now we take the limit of this area as \(b \to \infty \).
In this case, when we take the limit, we get a finite number, namely \(1\). This suggests that we can consider the area under \(1/x^2\) from \(1\) to \(\infty \) to be equal to \(1\) despite the fact that the region is unbounded.
Thus in the two examples we have studied so far we have
and
Why do we get such different answers in these two cases? The difference lies in the speed with which each function approaches \(0\) as \(x \to \infty \). Although both functions approach \(0\) as \(x \to \infty \), the function \(\frac {1}{x^2}\) becomes smaller much more rapidly than \(\frac {1}{x}\). We can see in the graphs above that \(\frac {1}{x^2}\) shrinks down to zero much more quickly. The key idea is that the area that we are accumulating as \(x\to \infty \) is shrinking rapidly enough that the total area stays bounded. This is a theme we will see again when we study convergence of series.
We now give a precise definition for integrals over unbounded regions.
-
Let \(f\) be a continuous function on \([a,\infty )\).
\[ \int _a^\infty f(x) dx \text { is defined to be } \lim _{b\to \infty }\int _a^b f(x) dx \] -
Let \(f\) be a continuous function on \((-\infty ,b]\).
\[ \int _{-\infty }^b f(x) dx \text { is defined to be } \lim _{a\to -\infty }\int _a^b f(x) dx \] -
Let \(f\) be a continuous function on \((-\infty ,\infty )\). Let \(c\) be any real number.
\[ \int _{-\infty }^\infty f(x) dx \text { is defined to be } \]\[ \lim _{a\to -\infty }\int _a^c f(x) dx + \lim _{b\to \infty }\int _c^b f(x) dx \]
An improper integral is said to converge if its corresponding limit exists and is equal to a real number. Otherwise, the improper integral is said to diverge.
\begin{align*} \int _{-\infty }^{\infty } \frac {1}{1+x^2} dx&= \int _{-\infty }^{0} \frac {1}{1+x^2} dx + \int _{0}^{\infty } \frac {1}{1+x^2} dx \\ & =\lim _{a \to -\infty } \int _{a}^{0} \frac {1}{1+x^2} dx + \lim _{b \to \infty } \int _{0}^{\infty } \frac {1}{1+x^2} dx \end{align*}
Now we must look at each integral separately.
Now we take the limits of each integral
Hence we have
We can stop here. Since one limit did not exist, the integral is divergent, and hence does not exist (DNE). We do not need to evaluate the other integral.
2 Unbounded functions
We have just considered definite integrals where the interval of integration was unbounded. We now consider another type of improper integral, where the interval is finite but the function is unbounded on the interval.
Let’s begin with some examples.
How then do we work with integrals of unbounded functions? Can we define this integral in terms of integrals we know how to compute?
Suppose \(b\) lies strictly between \(0\) and \(1\). Then consider the definite integral
The function is now bounded on this smaller interval.
Now we can examine what will happen if we let \(b\) begin to move towards \(0\) from the right. What will happen to the area under the curve? Just as we did in the case of unbounded integrals, we can make sense of this integral by defining it as the limit of a definite integral
Isn’t it quite surprising that the area bounded by a curve which has a vertical asymptote can be finite? Consider the graph of \(y= \frac {1}{\sqrt {x}}\) on the interval \([0,1]\):
Essentially, the function \(\frac {1}{\sqrt {x}}\) approaches the vertical asymptote at \(x=0\) “fast enough” so that only a finite amount of area is accumulated.
Now we look at another example:
Let us evaluate these limits one at a time. \begin{align*} \lim _{a \to 0^+} \int _{a}^1 \frac {1}{x^2} dx &= \lim _{\answer [given]{a} \to 0^+} \bigg [\answer [given]{\frac {-1}{x}}\bigg ]_a^1 \\ &= \lim _{a \to 0^+} \frac {1}{a}-1\\ &= \infty . \end{align*}
We can stop here. Since one limit was infinite, the integral is divergent, and hence does not exist (DNE).
earlier and saw that this integral converges. We remarked at the time this was due to how rapidly the function approached \(0\) as \(x \to \infty \).
However the integral
diverges. The issue is that the integral is approaching the vertical asymptote \(x=0\) too slowly and thus the area builds up too quickly. This is due to the fact that the manner in which \(\frac {1}{x^2}\) approaches the horizontal asymptote \(y=0\) is different from the manner in which it approaches the vertical asymptote \(x=0\).
what would have happened if had we not noticed the vertical asymptote in the integrand at \(x=0\)?
We probably would have blindly computed: \begin{align*} \int _{-1}^1\frac 1{x^2}dx &= \bigg [-\frac {1}{x}\bigg ]_{-1}^1\\ &= -1 - (1)\\ &=-2 \end{align*}
But the integrand is always positive, so this answer of \(-2\) is complete nonsense! The reason this error occurs is because this expression is not a definite integral. It only has meaning if we interpret it as a limit of definite integrals
Be on the lookout for vertical asymptotes!
We can now generalize the previous two examples to give a definition for such improper integrals of unbounded functions.
Let’s look at a couple more examples.
Since \(2\) lies in the middle of the interval and the upper limit of integration is infinity, we need to break the integral into three pieces.
\begin{align*} & \int _{1}^{\infty } \frac {5x}{x^2+x-6} dx \\ &= \int _{1}^{2} \frac {5x}{(x-2)(x+3)} dx + \int _{2}^{4} \frac {5x}{(x-2)(x+3)} dx + \int _{4}^{\infty } \frac {5x}{(x-2)(x+3)} dx\\ \end{align*}
We chose \(4\) for the upper and lower limit of the middle and last integral, respectively, but we could use any number greater than \(2\).
\begin{align*} & \int _{1}^{\infty } \frac {5x}{x^2+x-6} dx \\ &=\lim _{a \to 2^{-}} \int _{1}^a \frac {5x}{(x-2)(x+3)} dx + \lim _{b \to 2^{+}} \int _{b}^{4} \frac {5x}{(x-2)(x+3)} dx +\lim _{c \to \infty } \int _{4}^{c} \frac {5x}{(x-2)(x+3)} dx \end{align*}
Since the integrand is a rational function, where the denominator is reducible, we could apply partial fractions decomposition to get
Now we find the antiderivative to get \begin{align*} \int \frac {5x}{(x-2)(x+3)} dx&=\int \frac { 2}{x-2} dx + \int \frac { 3}{x+3} dx \\ =& 2\ln |x-2| + 3\ln |x+3 | + C \end{align*}
Now we evaluate one integral at a time. Let’s start with
\begin{align*} \lim _{b \to 2^{+}} \int _{b}^{4} \frac {5x}{(x-2)(x+3)} dx&= \lim _{b \to 2^{+}} \bigg [ 2\ln |x-2| + 3\ln |x+3 | \bigg ]_{b}^{4} \\ &=\lim _{b \to 2^{+}} (2\ln (2) + 3 \ln (7) - 2\ln |b-2| -3\ln |b+3| ) \\ &=2\ln (2) +3\ln (7)-3\ln (5) + \infty =\infty \end{align*}
Thus this integral diverges, so the entire integral must diverge.