Improper Integrals: Convergence Tests and Worked Examples

An integral can have a familiar antiderivative and still fail to have a finite value. The missing step is a limit. If the interval extends forever, or the function becomes unbounded at an endpoint or inside the interval, you cannot simply substitute the printed bounds into an antiderivative. First replace the problematic boundary with an ordinary variable. Then ask what happens as that variable approaches the boundary.
That is what makes an integral improper. The label describes the setup, not the answer. Some improper integrals converge to a finite number. Others diverge. This guide puts paired examples side by side so you can see which step makes the difference. If the usual definite-integral notation is still new, read our introduction to integrals first. The limits guide explains the operation that decides every example here.
First identify what makes the integral improper
There are two common cases. An infinite interval has a bound such as or . An unbounded integrand has a point where the function shoots without bound, even if the written bounds are finite. That point may be an endpoint or lie inside the interval.
OpenStax Calculus, Volume 2, §3.7 defines both cases by limits. Its distinction matters because writing as if it were a number, or evaluating across an interior singularity in one stroke, can produce a plausible but false answer.
| Printed feature | Replace it with | The question you must answer |
|---|---|---|
| Upper bound | A finite upper bound | Does the integral approach a finite value as ? |
| Singular endpoint | A lower bound | Does the value approach a finite limit as ? |
| Singularity inside the interval | Two separate bounds, one from each side | Do both one-sided integrals converge? |
A finite limit means convergence. A limit that grows without bound, or otherwise fails to settle to a finite value, means divergence. The same antiderivative can appear in both outcomes, so finding it is only part of the work.
A four-step method you can reuse
1. Find every suspect boundary. Include an infinite end, a zero denominator, a logarithm leaving its domain, or another place the function is unbounded. A singularity inside the interval requires a split before any integration.
2. Replace one suspect boundary with a finite variable. Write the resulting proper integral. For example, replace with for a finite .
3. Evaluate the proper integral. An antiderivative is useful here. Check its domain and signs before substituting the finite bounds. If you cannot integrate directly, a comparison may still decide convergence.
4. Take the limit and state the verdict. Do not report just the expression at finite or . Write the limiting result and say convergent or divergent. If an interior point was split, do this independently on both sides.
The order makes the argument auditable. A reader can see whether you checked the right boundary and whether the final number is actually a limit.
At infinity: one finite area, one infinite area
Start with a convergent example:
The interval never ends, but the added area becomes small enough that the total approaches 1. Now change only the power in the denominator:
This integral diverges. The fact that approaches zero does not make its accumulated area finite. It decreases too slowly. The comparison is the useful picture: both integrands approach zero, both have elementary antiderivatives, and only one yields a finite integral limit.
For , the boundary lies at . It converges when and diverges when . That shortcut follows from the limit calculation, including the logarithmic case at . Use the underlying limit if you are unsure whether the exponent or interval fits the shortcut.
At an endpoint: the same boundary from the other side
An integral can be improper even when both printed bounds are finite. At , is unbounded. Replace the lower bound with :
The function becomes unbounded at the endpoint, yet the integral converges. Compare on the same interval:
This one diverges. Do not substitute zero into , because is not defined. The limit is the actual mathematical question. The endpoint pair mirrors the pair at infinity: a singularity itself does not settle convergence, and a working antiderivative does not settle it either.
Inside the interval: never cancel across the hole
The most dangerous shortcut appears when a singularity lies between two ordinary-looking endpoints. Consider
The antiderivative has the same value at and . It is tempting to write zero. That step crosses , where is undefined. The fundamental theorem does not license one subtraction across that break. Test the two sides separately before assigning a value to the whole expression:
Each side needs its own limit. On the left, with , . On the right, . Neither side converges to a finite value. Therefore the original improper integral diverges.
A symmetric cutoff can be made to produce zero for every positive , but that is a different construction called a Cauchy principal value. It pairs two diverging sides and lets them cancel. It is not the value of the ordinary improper integral. The University of South Carolina worksheet states the separate-side requirement for an interior singularity.
| Case | Limit to check | Result | Verdict |
|---|---|---|---|
| as | Converges | ||
| as | Unbounded | Diverges | |
| as | Converges | ||
| as | Unbounded | Diverges | |
| Two independent one-sided limits | Both unbounded | Diverges |
If the antiderivative is hard, compare
Not every improper integral has an antiderivative you want to compute. For a nonnegative integrand, you may compare its size with one whose behavior you already know. For example, for ,
Because converges, the smaller nonnegative integral converges too. This proves convergence without finding its exact value. OpenStax's comparison theorem in §3.7 spells out the conditions. The direction of the inequality matters: a small function below a divergent one tells you nothing by itself, while a nonnegative function below a convergent one inherits convergence.
Check your answer before handing it in
Before calling an answer finished, name the suspect boundary and inspect your final line. A lone antiderivative, a substituted , or an undefined is an unfinished solution. At an interior singularity, two finite one-sided answers are required. A symmetric cancellation is not a substitute.
Try two quick checks. First, does converge? The same calculation gives . Second, does converge? Its endpoint limit grows without bound, so it diverges. These are different boundaries and different verdicts even though the same power appears. If either result surprises you, write the finite-bound version and let the limit show why.
Math Zen's limits guide supports the final step. The L'Hôpital guide covers a tool for eligible limit forms, but it is not a replacement for identifying and splitting the improper boundary. Once you can point to every problematic point and write the correct one-sided limits, the calculation becomes ordinary calculus again.


