CCM Improper integrals

Chapter 24 Improper integrals

Section 24.1 Integrals on unbounded domains

Is it possible to attach a number to the “area” of the region bounded between the graph of

f (t) = 1 / t^{2}

and the horizontal axis from

t = 1

onwards? Or is the area simply infinite because the domain being considered is unbounded?

A graph illustrating an unbounded area under the graph of the reciprocal square function. — 🔗
Figure 24.1.1. An unbounded area under the graph of $f (t) = 1 / t^{2} .$

🔗

As usual in calculus, our strategy is to approximate in a systematic way and then look for a trend in these approximations. Here we do not want to approximate with a Riemann sum because that would require adding up the areas of an infinite number of rectangles. Such a strategy might be feasible after we study infinite series in Chapter 25, but there is a simpler approach: we simply compute some of the area over a bounded domain

1 \leq t \leq b,

then compute some more of the area over a larger bounded domain (that is, over

1 \leq t \leq b

for a larger value of

b

), and so on, and look for a trend in these partial areas.

A graph illustrating a bounded partial area under the graph of the reciprocal square function. — 🔗
Figure 24.1.2. An bounded partial area under the graph of $f (t) = 1 / t^{2} .$

🔗

However, we will take a more continuous approach compared to the step-by-step approach described in the previous paragraph. As usual, we can consider the domain endpoint as a variable, and then the partial area values can all be collected together as an integral function:

Total area \approx A (t) = \int_{1}^{t} \frac{1}{u^{2}} d_{} u .

🔗

A larger value of

t

will account for more of the area over the full, unbounded domain

t \geq 1,

and so should be a better approximation. Is there any trend to these increasingly better approximations? That is, what is the long-term behaviour of the function

A (t)

t \to \infty ?

🔗

To investigate further, it would be nice to have a different expression for

A (t),

one that better fits our previous strategies for investigating long-term behaviour. Using Formula 2 from Pattern 7.4.2, we have

\begin{aligned} A (t) & = \int_{1}^{t} u^{- 2} d_{} u \\ = \frac{t^{- 1} - 1}{- 1} \\ = 1 - \frac{1}{t} \end{aligned}

🔗

But

1 / t \to 0

t \to \infty,

lim_{t \to \infty} A (t) = 1,

🔗

and it seems reasonable to say that the area of the region bounded between the graph of

f (t) = 1 / t^{2}

and the horizontal axis from

t = 1

onwards is equal to

1 .

🔗

Definition 24.1.3. Improper integrals on unbounded domains.

🔗

For a given boundary value $a,$ if $f$ is integrable on every domain $a \leq t \leq b,$ then write
$\int_{a}^{\infty} f (t) d_{} t$
to represent the value of
$lim_{t \to \infty} \int_{a}^{t} f (u) d_{} u,$
if it exists.
For a given boundary value $b,$ if $f$ is integrable on every domain $a \leq t \leq b,$ then write
$\int_{- \infty}^{b} f (t) d_{} t$
to represent the value of
$lim_{t \to - \infty} \int_{t}^{b} f (u) d_{} u,$
if it exists.
Write
$\int_{- \infty}^{\infty} f (t) d_{} t$
to represent the value of
$\int_{- \infty}^{0} f (t) d_{} t + \int_{0}^{\infty} f (t) d_{} t,$
if it exists.

🔗

Remark 24.1.4.

🔗

In the definition of the “two-sided” improper integral over the whole real number line, any “break” value can be used in place of

0 .

If both

\begin{aligned} \int_{- \infty}^{0} f (t) d_{} t & \int_{0}^{\infty} f (t) d_{} t \end{aligned}

🔗

can be computed, then it should be possible to compute both

\begin{aligned} \int_{- \infty}^{a} f (t) d_{} t & \int_{a}^{\infty} f (t) d_{} t \end{aligned}

🔗

for every value of

a,

and it should always be the case that the sum of each of these pairs of integrals will be the same value as the sum of any other such pair of integrals.

🔗

Example 24.1.5.

🔗

$\int_{1}^{\infty} \frac{1}{t^{2}} d_{} t = 1,$ as already computed above.
For $\int_{- \infty}^{0} e^{t} d_{} t$ we compute
$\begin{aligned} \int_{- \infty}^{0} e^{t} d_{} t & = lim_{t \to - \infty} \int_{t}^{0} e^{u} d_{} u \\ = - lim_{t \to - \infty} \int_{0}^{t} e^{u} d_{} u \\ = - lim_{t \to - \infty} e^{t} - 1 \\ = - (0 - 1) \\ = 1 \end{aligned}$
Consider $\int_{- \infty}^{\infty} t e^{- t^{2}} d_{} t .$

The graph of this function displays odd symmetry, so we expect the “two-sided” improper integral to compute to $0 .$

We’ll first use substitution to compute an antiderivative that we can use to compute both “halves” of this improper integral. Using

$\begin{aligned} u & = - t^{2} & \frac{d u}{d t} & = - 2 t, \end{aligned}$

we have

$\begin{aligned} \int_{}^{} t e^{- t^{2}} d_{} t & = - \frac{1}{2} \int_{}^{} e^{- t^{2}} (- 2 t) d_{} t \\ = - \frac{1}{2} \int_{}^{} e^{- t^{2}} \cdot \frac{d u}{d t} d_{} t \\ = - \frac{1}{2} \int_{}^{} e^{u} d_{} u \\ = - \frac{1}{2} \cdot e^{u} + C \\ = - \frac{1}{2} \cdot e^{- t^{2}} + C \\ = - \frac{1}{2 e^{t^{2}}} + C . \end{aligned}$

Now we’ll use the specific antiderivative where $C = 0$ in Pattern 13.6.2 when computing the two “halves”:

$\begin{aligned} \int_{- \infty}^{0} t e^{- t^{2}} d_{} t & \int_{0}^{\infty} t e^{- t^{2}} d_{} t \\ = lim_{t \to - \infty} \int_{t}^{0} u e^{- u^{2}} d_{} u & = lim_{t \to \infty} \int_{0}^{t} u e^{- u^{2}} d_{} u \\ = lim_{t \to - \infty} - \frac{1}{2 e^{0^{2}}} - (- \frac{1}{2 e^{t^{2}}}) & = lim_{t \to \infty} - \frac{1}{2 e^{t^{2}}} - (- \frac{1}{2 e^{0^{2}}}) \\ = lim_{t \to - \infty} - \frac{1}{2} + \frac{1}{2 e^{t^{2}}} & = lim_{t \to \infty} - \frac{1}{2 e^{t^{2}}} + \frac{1}{2} \\ = - \frac{1}{2} + 0 & = 0 + \frac{1}{2} \\ = - \frac{1}{2}, & = \frac{1}{2} . \end{aligned}$

Finally, compute

$\begin{aligned} \int_{- \infty}^{\infty} t e^{- t^{2}} d_{} t & = \int_{- \infty}^{0} t e^{- t^{2}} d_{} t + \int_{0}^{\infty} t e^{- t^{2}} d_{} t \\ = - \frac{1}{2} + \frac{1}{2} \\ = 0 . \end{aligned}$

🔗

It’s important when computing a “two-sided” improper integral to compute the two “halves” independently. One might wonder why we need to split

\int_{- \infty}^{\infty} f (t) d_{} t = \int_{- \infty}^{0} f (t) d_{} t + \int_{0}^{\infty} f (t) d_{} t

🔗

at all — if improper integrals are computed a bit at a time and taking a limit, why can’t we directly compute

\int_{- \infty}^{\infty} f (t) d_{} t

🔗

lim_{t \to \infty} \int_{- t}^{t} f (u) d_{} u ?

🔗

Example 24.1.6.

🔗

It is tempting to say that

\begin{matrix} (✶) & \int_{- \infty}^{\infty} t d_{} t \end{matrix}

🔗

should be equal to zero because, just like the last example in Example 24.1.5, the function being integrated exhibits odd symmetry, and the negative area over domain

t \leq 0

should “cancel” with the positive area over domain

t \geq 0 .

A graph illustrating unbounded area under a graph in both directions for a linear function.

🔗

This is exactly what happens if we compute

lim_{t \to \infty} \int_{- t}^{t} u d_{} u = lim_{t \to \infty} 0 = 0 .

🔗

However, the cancellation of negative area with positive area only works over bounded domains. We have

\begin{aligned} (✶✶) & \int_{- \infty}^{0} t d_{} t & = - \infty & \int_{0}^{\infty} t d_{} t & = \infty, \end{aligned}

🔗

and we have no conceptual basis we can use to justify cancelling a negatively-oriented area of infinite magnitude with a positively-oriented area of infinite magnitude. Instead, it’s best to say that (✶) diverges because the two integrals in (✶✶) do.

🔗

Definition 24.1.7. Convergence/divergence of improper integrals.

🔗

If the limit defining an improper integral exists, then we say the improper integral converges, otherwise we say it diverges.

🔗

Example 24.1.8.

🔗

While the integral of

f (t) = 1 / t^{2}

t \to \infty

converges, the integral of

g (t) = 1 / t

does not:

\begin{aligned} \int_{1}^{\infty} \frac{1}{t} d_{} t & = lim_{t \to \infty} \int_{1}^{t} \frac{1}{u} d_{} u \\ = lim_{t \to \infty} \ln (t) \\ = \infty . \end{aligned}

🔗

It turns out that

t^{- 1}

is the “cusp” between convergence and divergence for power functions.

🔗

Fact 24.1.9. Convergence of improper integrals for (reciprocal) power functions.

🔗

The improper integral

\int_{1}^{\infty} \frac{1}{t^{p}} d_{} t

🔗

converges for

p > 1

and diverges for

p \leq 1 .

🔗

Justification.

🔗

The case of

p = 1

produces a divergent integral, as already verified in Example 24.1.8. For

p \neq 1,

we have

\begin{aligned} \int_{1}^{\infty} \frac{1}{t^{p}} d_{} t & = lim_{t \to \infty} \int_{1}^{t} \frac{1}{u^{p}} d_{} u \\ = lim_{t \to \infty} \frac{t^{- p + 1} - 1}{- p + 1} \\ = \frac{1}{1 - p} (lim_{t \to \infty} t^{1 - p} - 1) . \end{aligned}

🔗

Whether this limit exists depends on whether the exponent on

t

is negative or positive. If

p > 1

then the exponent is negative and

t^{1 - p} \to 0

t \to \infty,

so that

\int_{1}^{\infty} \frac{1}{t^{p}} d_{} t = \frac{1}{p - 1} .

🔗

p < 1

then the exponent is positive and

t^{1 - p} \to \infty

t \to \infty,

and the limit doesn’t exist.

🔗

Section 24.2 Properties

🔗

The following records the fact that if we are able to integrate as

t \to \infty

(or as

t \to - \infty

), then we should be able to do so from any starting point.

🔗

Fact 24.2.1.

🔗

If one of the integrals

\begin{aligned} \int_{a_{1}}^{\infty} f (t) d_{} t & \int_{a_{2}}^{\infty} f (t) d_{} t \end{aligned}

🔗

converges, then they both do (as long as we remain within the domain of integrability of

f (t)

), with

\int_{a_{1}}^{\infty} f (t) d_{} t = \int_{a_{1}}^{a_{2}} f (t) d_{} t + \int_{a_{2}}^{\infty} f (t) d_{} t .

🔗

And similarly for improper integrals on domains

- \infty < t \leq b_{1}

and

- \infty < t \leq b_{2},

with

\int_{- \infty}^{b_{2}} f (t) d_{} t = \int_{- \infty}^{b_{1}} f (t) d_{} t + \int_{b_{1}}^{b_{2}} f (t) d_{} t .

🔗

Justification.

🔗

Suppose

a_{1} < a_{2} .

Then

\begin{aligned} \int_{a_{1}}^{\infty} f (t) d_{} t & = lim_{t \to \infty} \int_{a_{1}}^{t} f (u) d_{} u \\ = lim_{t \to \infty} (\int_{a_{1}}^{a_{2}} f (u) d_{} u + \int_{a_{2}}^{t} f (u) d_{} u) \\ = \int_{a_{1}}^{a_{2}} f (u) d_{} u + lim_{t \to \infty} \int_{a_{2}}^{t} f (u) d_{} u \\ = \int_{a_{1}}^{a_{2}} f (t) d_{} t + \int_{a_{2}}^{\infty} f (t) d_{} t . \end{aligned}

🔗

Since the integral over domain

a_{1} \leq t \leq a_{2}

is just a number, the two integrals must both converge or both diverge.

🔗

Note that the relationships between improper integrals with different starting/ending points in Fact 24.2.1 agrees with the pattern in Property 5 of Pattern 6.3.11. Here are some other familiar patterns from Pattern 6.3.11.

🔗

Pattern 24.2.2. Linearity of improper integrals.

🔗

If $\int_{a}^{\infty} f (t) d_{} t$ converges, then so does $\int_{a}^{\infty} k f (t) d_{} t,$ and
$\int_{a}^{\infty} k f (t) d_{} = k \int_{a}^{\infty} f (t) d_{} .$
If both
$\begin{aligned} \int_{a}^{\infty} f (t) d_{} t & \int_{a}^{\infty} g (t) d_{} t \end{aligned}$
converge, then so does $\int_{a}^{\infty} f (t) + g (t) d_{} t,$ and
$\int_{a}^{\infty} f (t) + g (t) d_{} t = \int_{a}^{\infty} f (t) d_{} t + \int_{a}^{\infty} g (t) d_{} t .$

🔗

And similar facts hold for the other types of improper integrals.

🔗

Justification.

🔗

These follow from the limit definition of improper integrals, and the Function limit laws.

🔗

Finally, it should be clear that the only way that an improper integral can converge is if the height of the area is decreasing to zero.

🔗

Fact 24.2.3.

🔗

If an improper integral of $f (t)$ converges as $t \to \infty,$ then it must be that $f (t) \to 0$ as $t \to \infty .$
If an improper integral of $f (t)$ converges as $t \to - \infty,$ then it must be that $f (t) \to 0$ as $t \to - \infty .$

🔗

Warning 24.2.4.

🔗

Do not get Fact 24.2.3 backwards! Example 24.1.8 demonstrates that knowing

f (t) \to 0

t \to \infty

is not sufficient for an improper integral to converge as

t \to \infty .

🔗

The contrapositive of Fact 24.2.3 is often useful to avoid unnecessary work.

🔗

Corollary 24.2.5.

🔗

If $f (t) ↛ 0$ as $t \to \infty,$ then the improper integral of $f (t)$ must diverge as $t \to \infty .$
If $f (t) ↛ 0$ as $t \to - \infty,$ then the improper integral of $f (t)$ must diverge as $t \to - \infty .$

🔗

Example 24.2.6.

🔗

The improper integral

\int_{2}^{\infty} \frac{2 t^{3} - 3 t + 1}{t^{3} + t^{2} - 5} d_{} t

🔗

must diverge because

\frac{2 t^{3} - 3 t + 1}{t^{3} + t^{2} - 5} \to 2 as t \to \infty .

🔗

Section 24.3 Comparison tests

🔗

While Fact 24.2.3 says that we need

f (t) \to 0

t \to \infty

for an improper integral to converge as

t \to \infty,

f (t)

is too slow to converge to

0,

then the integral will not converge. This is precisely what is happening with the two integrals

\begin{aligned} \int_{1}^{\infty} \frac{1}{t} d_{} t, & \int_{1}^{\infty} \frac{1}{t^{2}} d_{} t . \end{aligned}

🔗

The function

f (t) = 1 / t

converges to zero as

t \to \infty,

but it does so too slowly and so the accumulating area grows too quickly for it to converge to a specific value. But the square in

g (t) = 1 / t^{2}

allows this function to converge to zero more quickly, limiting the growth of the area as

t \to \infty

and allowing trend of partial areas to stay bounded.

🔗

Now consider

\int_{0}^{\infty} e^{- t^{2}} d_{} t .

🔗

We saw that an improper integral of exponential decay converges in Integral 2 of Example 24.1.5, which is not surprising because exponential decay decays very quickly. And this integral squares

t

before inputting it into exponential decay, so it decays even faster. Because of this, we should expect this integral to converge. But how could we be sure? The function

f (t) = e^{- t^{2}}

is (famously) an example of a function where is it impossible to write down an antiderivative without using an integral (that is, using the Fundamental Theorem of Calculus).

🔗

The comparison tests in this section allow us to determine convergence without actually computing the integral value, by comparing the integral to one whose convergence is already known.

🔗

Note 24.3.1.

🔗

In this section, we will only concern ourselves with integrals where

t \to \infty,

but similar facts/patterns hold for integrals where

t \to - \infty .

🔗

Subsection 24.3.1 Comparing areas

🔗

If one improper integral converges, and the partial areas of a second improper integral are all smaller in magnitude than those of the first, than it stands to reason that the second improper integral should converge as well.

🔗

Pattern 24.3.2. Comparison test for integrals.

🔗

Assume

0 \leq f (t) \leq g (t)

for

t \geq a .

If $\int_{a}^{\infty} g (t) d_{} t$ converges then so does $\int_{a}^{\infty} f (t) d_{} t .$
If $\int_{a}^{\infty} f (t) d_{} t$ diverges then so does $\int_{a}^{\infty} g (t) d_{} t .$

A graph depicting comparison of two improper integrals. — 🔗
Figure 24.3.3. An illustration of Pattern 24.3.2.

🔗

Idea of justification.

🔗

Since

0 \leq f (t) \leq g (t),

the partial area functions

\begin{aligned} F (t) & = \int_{a}^{t} f (u) d_{} u & G (t) & = \int_{a}^{t} g (u) d_{} u \end{aligned}

🔗

are non-decreasing and also satisfy

0 \leq F (t) \leq G (t)

for

t \geq a .

🔗

If the improper integral of

g

converges, then

G (t)

must be bounded, hence

F (t)

must be bounded as well. Since

F (t)

is non-decreasing, it must converge as

t \to \infty

(Monotone Convergence Theorem). Hence the improper integral of

f

converges as well.

🔗

On the other hand, suppose we start with the assumption that the improper integral of

f

diverges. As the partial area function

F (t)

is non-decreasing, we can conclude that it is unbounded. Since

G (t) \geq F (t)

for

t \geq a,

G (t)

must be unbounded as well, in which case the improper integral of

g

diverges as well.

🔗

Example 24.3.4. Convergence by comparison.

🔗

We will use the Comparison test for integrals to compare the following two integrals:

\begin{aligned} \int_{0}^{\infty} e^{- t^{2}} d_{} t & \int_{0}^{\infty} e^{- t} d_{} t . \end{aligned}

🔗

A horizontal reflection of Integral 2 of Example 24.1.5 yields

\int_{0}^{\infty} e^{- t} d_{} t = 1,

🔗

hence this integral converges. For the comparison, first consider that exponential values are always positive. Further more, for

t \geq 1

we have

t^{2} \geq t,

and so

e^{t^{2}}

will be further out on the exponential growth graph than

e^{t} .

Thus,

\begin{matrix} e^{t^{2}} \geq e^{t} \\ \frac{1}{e^{t^{2}}} \leq \frac{1}{e^{t}} \\ 0 < e^{- t^{2}} \leq e^{- t} \end{matrix}

🔗

as required by the Comparison test for integrals. From this we conclude

Because $\int_{0}^{\infty} e^{- t} d_{} t$ converges, so does $\int_{1}^{\infty} e^{- t} d_{} t .$ (Fact 24.2.1)
By comparison with $\int_{1}^{\infty} e^{- t} d_{} t,$ $\int_{1}^{\infty} e^{- t^{2}} d_{} t$ converges (Pattern 24.3.2)
Because $\int_{1}^{\infty} e^{- t^{2}} d_{} t$ converges, so does $\int_{0}^{\infty} e^{- t^{2}} d_{} t .$ (Fact 24.2.1)

🔗

If we wanted some idea of the value of the improper integral of

e^{- t^{2}},

we could approximate it numerically with partial integrals. The Sage cell below will allow you to do that by increasing the upper bound of integration. What do you notice as you increase the upper bound

t ?

What does this say about the graph of

f (t) = e^{- t^{2}} ?


    
        
xxxxxxxxxx
 
1
var('u')
2
t = 2
3
integrate(e^(-u^2),u,0,t).n()

    
    
    
    
        
            
                Language:
                
            
        
    
    




    
    
        
        Messages

🔗

Example 24.3.5. Divergence by comparison.

🔗

Consider

\int_{1}^{\infty} \frac{e^{t} + 1}{t e^{t}} d_{} t .

🔗

Since exponential values are always positive, we have

\frac{e^{t} + 1}{t e^{t}} = \frac{1}{t} + \frac{1}{t e^{t}} > \frac{1}{t}

🔗

for positive

t .

Therefore the integral above diverges by comparison with the improper integral of

1 / t

(Example 24.1.8).

🔗

Sometimes an improper integral of a function that is oscillating between positive and negative values is difficult to analyze; the following fact sometimes allows us to convert the question of convergence to one about a non-negative function.

🔗

Fact 24.3.6. Absolute convergence of improper integrals.

🔗

If an improper integral of

| f (t) |

converges, then so will an improper integral of

f (t) .

🔗

Justification.

🔗

Assume

\int_{a}^{\infty} | f (t) | d_{} t

🔗

converges. Then from Pattern 24.2.2, so do both of

\begin{aligned} \int_{a}^{\infty} 2 | f (t) | d_{} t, & \int_{a}^{\infty} - | f (t) | d_{} t . \end{aligned}

🔗

For all

t

in the domain of

f

we have

\begin{matrix} - | f (t) | \leq f (t) \leq | f (t) | \\ ⟹ 0 \leq f (t) + | f (t) | \leq 2 | f (t) | . \end{matrix}

🔗

So by comparison,

\int_{a}^{\infty} f (t) + | f (t) | d_{} t

🔗

must converge. But then adding this convergent integral to another will yield a convergent integral (Pattern 24.2.2), so

\int_{a}^{\infty} (f (t) + | f (t) | + (- | f (t) |)) d_{} t = \int_{a}^{\infty} f (t) d_{} t

🔗

converges.

🔗

Example 24.3.7.

🔗

Consider

\int_{0}^{\infty} e^{- t} \sin (t) d_{} t .

🔗

The amplitude of the sine function in the integrand is decaying exponentially, so it seems like this integral should converge. We have

0 \leq | \sin (t) | \leq 1 ⟹ 0 \leq | e^{- t} \sin (t) | \leq e^{- t},

🔗

and so the improper integral of

| e^{- t} \sin (t) |

converges by comparison with the improper integral of

e^{- t} .

And then the improper integral of

e^{- t} \sin (t)

converges by Fact 24.3.6.

🔗

Subsection 24.3.2 Comparing rates

🔗

An improper integral converges if it accumulates area slowly enough that the area doesn’t become unbounded. But this is directly related to how quickly the height of the graph tends to

0 .

So we should be able to compare improper integrals based on how quickly the functions being integrated tend to

0 .

🔗

Pattern 24.3.8. Limit comparison test for integrals.

🔗

lim_{t \to \infty} \frac{f (t)}{g (t)}

🔗

exists and is positive (that is,

f (t)

and

g (t)

grow/decay at the same rate as

t \to \infty

), then the two improper integrals

\begin{aligned} \int_{a}^{\infty} f (t) d_{} t & \int_{a}^{\infty} g (t) d_{} t \end{aligned}

🔗

either both converge or both diverge.

🔗

Example 24.3.9.

🔗

Consider

\int_{2}^{\infty} \frac{2 t^{2} - 3 t + 1}{t^{3} + t^{2} - 5} d_{} t .

🔗

For large

t,

considering dominant terms we have

\frac{2 t^{2} - 3 t + 1}{t^{3} + t^{2} - 5} \approx \frac{2}{t},

🔗

But comparing the two using the Comparison test for integrals might be difficult. Instead, let’s compare their relative rates of growth:

\begin{aligned} lim_{t \to \infty} \frac{(2 t^{2} - 3 t + 1) / (t^{3} + t^{2} - 5)}{1 / t} & lim_{t \to \infty} \frac{2 t^{2} - 3 t + 1}{t^{3} + t^{2} - 5} \cdot \frac{t}{1} \\ = lim_{t \to \infty} \frac{2 t^{3} - 3 t^{2} + t}{t^{3} + t^{2} - 5} \\ = lim_{t \to \infty} \frac{2 t^{3}}{t^{3}} \\ = 2 . \end{aligned}

🔗

Since these two functions decay to zero at the same rate, then the integrals

\begin{aligned} \int_{2}^{\infty} \frac{2 t^{2} - 3 t + 1}{t^{3} + t^{2} - 5} d_{} t & \int_{2}^{\infty} \frac{2}{t} d_{} t \end{aligned}

🔗

either both converge or both diverge. But we know that the second integral diverges by combining Example 24.1.8 and Pattern 24.2.2, and therefore so does the first integral.

🔗

Section 24.4 Integrals near a vertical asymptote

🔗

We can think of vertical asymptotes as “inverses” of horizontal asymptotes. If we can sometimes attach a number to the area squeezed between a graph and a horizontal asymptote at

y = 0,

we should be able to sometimes attach a number to the area squeezed between a graph and a vertical asymptote. To compute such an improper integral, we take a limit as one of the boundaries approaches the location of the vertical asymptote.

🔗

Definition 24.4.1. Improper integrals near a vertical asymptote.

🔗

Suppose the graph of

f (t)

has a vertical asymptote at

t = c,

and that

a < c < b .

Then we define

$\int_{a}^{c} f (t) d_{} t = lim_{t \to c^{-}} \int_{a}^{t} f (u) d_{} u$
$\int_{c}^{b} f (t) d_{} t = lim_{t \to c^{+}} \int_{t}^{b} f (u) d_{} u$
$\int_{a}^{b} f (t) d_{} t = \int_{a}^{c} f (t) d_{} t + \int_{c}^{b} f (t) d_{} t .$

A graph depicting a left-handed improper integral at a vertical asymptote. — (a) A left-handed improper integral at a vertical asymptote. The partial area $\int_{a}^{t} f (u) d_{} u$ approximates the total area $\int_{a}^{c} f (t) d_{} t .$

A graph depicting a right-handed improper integral at a vertical asymptote. — (a) A left-handed improper integral at a vertical asymptote. The partial area $\int_{a}^{t} f (u) d_{} u$ approximates the total area $\int_{a}^{c} f (t) d_{} t .$

🔗

Example 24.4.3.

🔗

Let’s try various (reciprocal) power functions near the asymptote at

t = 0 .

First we’ll try $f (t) = 1 / t .$
$\begin{aligned} \int_{0}^{1} \frac{1}{t} d_{} t & = lim_{t \to 0^{+}} \int_{t}^{1} \frac{1}{u} d_{} u \\ = lim_{t \to 0^{+}} - \int_{1}^{t} \frac{1}{u} d_{} u \\ = lim_{t \to 0^{+}} - \ln (t) \\ = \infty \end{aligned}$
The divergence of this integral should not be a surprise: the function is self-inverse (that is, $f^{- 1} (t) = f (t)$ ) and so its graph is symmetric about the line $y = t .$ Thus the accumulation of area as $t \to 0^{+}$ should mirror the accumulation of area as $t \to \infty .$
Now let’s try $g (t) = 1 / t^{2} .$
$\begin{aligned} \int_{0}^{1} \frac{1}{t^{2}} d_{} t & = lim_{t \to 0^{+}} \int_{t}^{1} \frac{1}{u^{2}} d_{} u \\ = lim_{t \to 0^{+}} - \int_{1}^{t} u^{- 2} d_{} u \\ = lim_{t \to 0^{+}} - (\frac{t^{- 1} - 1}{- 1}) \\ = lim_{t \to 0^{+}} \frac{1}{t} - 1 \\ = \infty \end{aligned}$
It might be a surprise that this integral also diverges, since the integral of $g$ converges as $t \to \infty .$ But this function’s graph is not symmetric about the line $y = t,$ so the two improper integrals (as $t \to 0^{+}$ versus as $t \to \infty$ ) are not related. In fact, $g^{- 1} (t) = 1 / \sqrt{t},$ the integral of which diverges as $t \to \infty$ (see Fact 24.1.9), which coincides with the divergence of the integral of $g$ as $t \to 0^{+} .$
Based on the previous example, we might have better luck with $h (t) = 1 / s q r t t .$
$\begin{aligned} \int_{0}^{1} \frac{1}{\sqrt{t}} d_{} t & = lim_{t \to 0^{+}} \int_{t}^{1} \frac{1}{\sqrt{u}} d_{} u \\ = lim_{t \to 0^{+}} - \int_{1}^{t} u^{- 1 / 2} d_{} u \\ = lim_{t \to 0^{+}} - (\frac{t^{1 / 2} - 1}{1 / 2}) \\ = lim_{t \to 0^{+}} 2 (1 - \sqrt{t}) \\ = 2 \end{aligned}$

🔗

A function with a non-zero horizontal asymptote will not have a convergent integral as

t \to \infty,

because the area bounded between the asymptote and the horizontal axis will be infinite. That is, if we take a function whose integral converges as

t \to \infty,

(which necessarily means the function has a horizontal asymptote at

y = 0,

see Fact 24.2.3), we cannot shift that function up or down without causing the integral of the shifted function to diverge as

t \to \infty

(see Corollary 24.2.5). In contrast, we can shift vertical asymptotes around without affecting convergence of improper integrals near that asymptote.

🔗