A Riemann (definite) integral ∫abf(x)dx requires a finite interval [a,b] with f finite throughout. An improper integral of the first kind relaxes the finiteness of the interval — one or both limits of integration are ±∞ — and is defined as a limit of ordinary Riemann integrals:
∫a∞f(x)dx=limt→∞∫atf(x)dx,∫−∞af(x)dx=limt→−∞∫taf(x)dx,∫−∞∞f(x)dx=limt→∞∫−ttf(x)dx.
If the limit exists (and is finite), the improper integral is said to converge; otherwise it diverges. By the Second Fundamental Theorem, if F is an anti-derivative of f, then ∫a∞f(x)dx=limt→∞[F(t)−F(a)] — so in practice one finds F, substitutes t for the infinite endpoint, and takes the limit termwise.
Recurring limiting facts used throughout this chapter:
- t→∞limtan−1t=2π, so ∫0∞a2+x2dx=2aπ for a>0.
- x→∞lime−x=0 and, by L'Hôpital's rule applied repeatedly, x→∞limxme−x=0 for every positive integer m — a polynomial can never outrun e−x's decay, which is exactly what makes ∫0∞xne−xdx (the Gamma integral) converge.
A convenient substitution often converts a proper-looking trig integral on [0,π/2] into an improper integral in disguise: putting u=tanx sends x=π/2 to u=∞, turning ∫0π/24tan2x+5sec2xdx into the improper integral ∫0∞4u2+5du, evaluated exactly the same way.
Always take the limit after substituting the antiderivative, not before — plugging in ∞ directly into an unevaluated antiderivative is meaningless; it is the limit of a proper integral that is being computed.