An integral is * improper* if:

1. One of the limits is infinite.

2. The integrand "blows up" somewhere on the interval of integration.

It is possible for both of these things to occur in the same integral.

For example, these integrals are improper because they have infinite limits of integration:

These integrals are improper because the integrands become infinite on the intervals of integration:

Improper integrals can be reduced to four cases:

1. .

2. .

3. , where is undefined.

4. , where is undefined.

You can reduce integrals with more than one "bad thing" going on to the cases above by breaking them up into pieces. For example,

The original integral has *two* infinite limits. I pick a
point at random (in this case, 0), and break the integral up there. I
now have two improper integrals, each with *one* infinite
limit. They fall into the first two cases above.

Likewise,

In the original integral, the function blows up *in the middle*
of the interval of integration. I break the integral up at 1, and the
two integrals that result fall into the third and fourth cases.

Because I can break more complicated integrals up in these ways, I just have to say what to do in the four cases above.

In the case of an infinite limit, define

If the limit on the right side exists, the integral *
converges*, and the value of the integral is the value of the
limit. Otherwise, the integral * diverges*.

The case where the integrand does not have a limit at one of the endpoints of the integration interval are similar. For example, suppose that is undefined. Define

Likewise, if is undefined, define

As in the infinite case, if the limit on the right side exists, the
integral * converges*, and the value of the
integral is the value of the limit. Otherwise, the integral * diverges*.

* Example.* Compute .

Replace the infinite limit with a parameter c, then take the limit as :

The integral represents the area under the graph of from to .

The area is : A region that has infinite extent can have finite area.

* Example.* Compute .

When both limits are infinite, divide the integral up into two pieces:

The choice of as the dividing point is arbitrary --- any number will do.

Next, compute each of the integrals. *If either integral is
undefined, the original integral is undefined.* The is true even
if one piece approaches while the other
approaches --- you can't "cancel the
infinities".

First,

This is enough to make the original integral undefined --- that is,
the integral * diverges*. I'll compute the second
piece anyway:

I again emphasize that you can't cancel the from the first piece with the from the second piece.

The first integral represents the area under the curve to the right of . It is positive, and infinite. The second integral represents the (signed) area above the curve to the left of . Since the curve lies below the x-axis for , the integral is negative and infinite.

* Example.* Compute .

The integrand is undefined at , which is the left endpoint of the interval of integration. Replace 0 with a parameter a, and take the (right-hand) limit as :

Notice that has a vertical asymptote at :

* Example.* Compute .

The integrand is defined at , which lies in the middle of the interval of integration. Break the integral up into two pieces at , and compute each piece separately. As in the example above, if one piece diverges, the original integral diverges.

The first integral is

I could stop here --- the original integral diverges --- but I'll grind out the second integral anyway.

Note that (as in the earlier example) if one piece approaches and the other approaches , you're not allowed to "cancel the infinities".

* Example.* Compute .

This integral is improper for *two* reasons: First, the
integrand is
undefined at , which is in the interval of
integration. Second, one of the limits of integration is infinite.

First, I need to break the integral up into two pieces at :

In the second integral, the lower limit makes the integrand undefined and the upper limit is infinite. Thus, I need to break the second integral up into two pieces. I can choose any point between 5 and as the break point; I'll use .

Next, I'll compute the three integrals. Note that

First,

(Note that since the even power "2" eliminates the minus sign.)

Next,

Finally,

The first two integrals converged, but the third diverged to . Therefore,

In some cases, you can tell whether an improper integral converges or diverges by comparing it to another integral.

1. If and converges, then converges.

2. If and , then .

Similar results hold for improper integrals where the integrand blows up on the interval of integration.

* Example.* Show that converges.

The antiderivative can't be computed in closed form. Instead, I'll compare this integral to an integral which I can show converges.

Since the limits of integration are 1 to , , and therefore .

So

(I did the integral using the substitution .) converges, and it is *larger* than the
original integral. Therefore, converges.

You can see why this works geometrically by considering the picture above. represents the area under from 1 to . The computation I did shows that this area is finite --- in fact, it's .

represents the area under from 1 to . This area is less than the area under . Since the area under is finite, the area under must be finite as well.

* Example.* Does the following integral converge
or diverge?

Note that is positive for . Also, is undefined.

For , I have (because ). So

Hence,

Now do the second integral:

Therefore, diverges by comparison.

Here's the graph of the two functions:

The upper graph is and the lower graph is .

Copyright 2017 by Bruce Ikenaga