Improper Integrals

An improper integral is a definite integral that either has one or both limits of integration equal to infinity, or whose integrand has a vertical asymptote (a point of discontinuity) somewhere on the interval of integration. Ordinary definite integrals are defined on closed, bounded intervals with continuous integrands, so improper integrals require a special limiting process to make sense of what area we are computing. The central idea is to replace the problematic limit or discontinuity with a variable, evaluate the integral as a normal definite integral, and then take a limit as that variable approaches the troublesome value. If the resulting limit exists and is a finite number, the improper integral is said to converge. If the limit is infinite or does not exist, the integral diverges and no finite area can be assigned to it. Improper integrals appear throughout mathematics, physics, probability, and engineering. The Gaussian bell curve used in statistics, the Laplace transform used in electrical engineering, and the gamma function that generalises the factorial all rely on improper integrals over infinite intervals. Mastering the technique of evaluating them is therefore an essential step in any serious study of calculus.

Key takeaways
  • Identify the Type of Improper Integral
  • Replace the Problematic Limit with a Variable
  • Evaluate the Definite Integral Normally
  • Take the Limit
  • The p-Integral Test (a Key Result)

Identify the Type of Improper Integral

There are two main types. Type I: at least one limit of integration is ±∞, for example ∫₁^∞ (1/x²) dx. Type II: the integrand is unbounded (has a vertical asymptote) at one or both endpoints, or at an interior point of the interval, for example ∫₀^1 (1/√x) dx where the integrand blows up at x = 0.

Replace the Problematic Limit with a Variable

For Type I with an upper limit of ∞, write ∫ₐ^∞ f(x) dx = lim_{b→∞} ∫ₐ^b f(x) dx. For a lower limit of −∞, write ∫_{−∞}^b f(x) dx = lim_{a→−∞} ∫ₐ^b f(x) dx. For both limits infinite, split at a convenient finite point c: ∫_{−∞}^∞ f(x) dx = ∫_{−∞}^c f(x) dx + ∫_c^∞ f(x) dx, and both halves must converge independently. For Type II with a discontinuity at x = a, write ∫ₐ^b f(x) dx = lim_{t→a⁺} ∫_t^b f(x) dx.

Evaluate the Definite Integral Normally

Using the fundamental theorem of calculus, find an antiderivative F(x) and compute F(b) − F(a) (using the variable you introduced). Apply all standard integration techniques — substitution, integration by parts, partial fractions — as needed before taking the limit.

Take the Limit

Substitute the variable and evaluate the limit. If the result is a finite real number L, write ∫ₐ^∞ f(x) dx = L and state the integral converges to L. If the expression grows without bound or oscillates, state that the integral diverges.

The p-Integral Test (a Key Result)

The integral ∫₁^∞ (1/xᵖ) dx converges if and only if p > 1, and in that case equals 1/(p−1). When p ≤ 1 the integral diverges. This single result is used constantly to judge convergence without doing full calculations. For example ∫₁^∞ (1/x) dx diverges (p = 1), while ∫₁^∞ (1/x²) dx = 1 (p = 2).

The Key Equation

∫a∞f(x) dx=lim⁡b→∞∫abf(x) dx\int_a^{\infty} f(x)\,dx = \lim_{b \to \infty} \int_a^b f(x)\,dx
  • a — lower limit (dimensionless): A finite real number that serves as the left endpoint of integration.
  • b — upper limit variable (dimensionless): A finite variable that is allowed to grow without bound, replacing the infinite upper limit.
  • f(x) — integrand (varies): The function being integrated; must be continuous on [a, b] for each finite b.
  • \lim_{b \to \infty} — limit at infinity (dimensionless): The process of finding what value the integral approaches as b grows arbitrarily large.

Worked Example

Problem. Evaluate the improper integral ∫₀^∞ e^{−x} dx, or determine that it diverges.

∫0∞e−x dx=1\int_0^{\infty} e^{-x}\,dx = 1

Answer. The integral converges to 1.

Figure
Diagram
Area under y = e⁻ˣ from 0 to ∞xyy = e⁻ˣShaded area = 101210.37→ 0 as x→∞
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · French

Cauchy placed calculus on a rigorous foundation by formalising the concept of a limit, which is the very tool used to define improper integrals. He introduced the epsilon-delta definition of a limit and gave the first systematic treatment of convergence, making it possible to precisely state when an improper integral has a finite value. He also introduced the 'Cauchy principal value', a way of assigning a meaning to certain integrals that would otherwise diverge. Cauchy was extraordinarily prolific, producing nearly 800 research papers — so many that the French Academy of Sciences eventually imposed a page limit on submitted articles specifically because of him.

  • Definite Integrals — Improper integrals are defined as limits of ordinary definite integrals, so a solid understanding of the Fundamental Theorem of Calculus and definite integration is an essential prerequisite.
  • Limits at Infinity — Evaluating an improper integral requires computing a limit as a variable approaches infinity or a discontinuity, making limit techniques the central tool in every calculation.
  • Convergence of Infinite Series — The integral test for series convergence directly links improper integrals to infinite series: a series ∑f(n) converges if and only if the corresponding improper integral ∫f(x)dx converges.
  • Integration by Parts — Many improper integrals, such as ∫₀^∞ x e^{−x} dx, require integration by parts as an intermediate step before the limit can be taken.