Integrating to Infinity
An ordinary definite integral has finite limits and a bounded integrand. An improper integral relaxes one of these: either the interval is infinite (a limit is ) or the integrand becomes unbounded (a vertical asymptote in the interval). Remarkably, such integrals can still yield a finite value — an infinite region with a finite area.
Improper integrals are defined as limits of proper ones. For an infinite upper limit: If the limit exists and is finite, the integral converges to that value; otherwise it diverges. The same limit device handles an integrand that blows up at an endpoint (approach the bad point with a limit).
The behavior can be surprising. Consider the family :
- It converges when (the tail shrinks fast enough).
- It diverges when .
So (finite!) but — even though both integrands go to zero, only the first decays quickly enough for a finite total. Convergence depends delicately on how fast the function decays.
When an integral is hard to evaluate exactly, comparison settles convergence: if and converges, then converges too (and if diverges, so does ). Improper integrals matter throughout probability (total probability over an infinite range), physics (fields extending to infinity), and the theory of series.
Common pitfall: assuming that because the integrand goes to zero, the improper integral must converge. Decay to zero is necessary but not sufficient — yet diverges. Convergence depends on how fast the function decays (for , you need ). Never conclude convergence from "the terms get small" alone; evaluate the limit or compare.