Improper Integrals

Definition

In calculus, improper integrals are a generalization of definite integrals to cases where the interval of integration is infinite or the integrand $f(x)$ becomes unbounded (infinite) at one or more points within the interval. They are defined as the limit of definite integrals as an endpoint approaches infinity or a point of discontinuity.

Why It Matters

Reality often involves infinite scales—whether it’s the infinite reach of a gravitational field or the unbounded probability density of a normal distribution. Improper integrals provide the mathematical “bridge” that allows us to calculate finite, meaningful results (like the total energy of a field or the probability of an event) even when the scope of the problem is technically infinite.

Core Concepts

Type I (Infinite Limits): Integrals over an infinite domain, such as $\int_a^\infty f(x) \, dx = \lim_{b \to \infty} \int_a^b f(x) \, dx$ $\int_{a}^{\infty} f (x) d x = lim_{b \to \infty} \int_{a}^{b} f (x) d x$ .
- How to read: “The integral from a to infinity of f of x with respect to x is equal to the limit as b approaches infinity of the integral from a to b of f of x with respect to x.”
- Meaning / when to use: Used when the domain itself is unbounded; convergence depends on how fast $f(x) \to 0$ as $x \to \infty$ .
Type II (Infinite Integrands): Integrals where the function has a vertical asymptote, e.g., if $f$ $f$ is discontinuous at $b$ $b$ , then $\int_a^b f(x) \, dx = \lim_{c \to b^-} \int_a^c f(x) \, dx$ $\int_{a}^{b} f (x) d x = lim_{c \to b^{-}} \int_{a}^{c} f (x) d x$ .
- How to read: “The integral from a to b is equal to the limit as c approaches b from the left of the integral from a to c.”
- Meaning: Used when $f(x)$ blows up at an endpoint; the limit “avoids” the singularity until the last moment.
Convergence vs. Divergence: An improper integral converges if the defining limit exists and is finite; otherwise, it diverges.
Comparison Tests:
- Direct Comparison: Used to bound an unknown integral by a known convergent or divergent one ( $0 \leq f(x) \leq g(x)$ ).
- Limit Comparison: Uses the ratio $\lim_{x \to \infty} \frac{f(x)}{g(x)}$ $lim_{x \to \infty} \frac{f ( x )}{g ( x )}$ to determine shared behavior.
  - How to read: “The limit as x approaches infinity of the ratio of f of x to g of x.”
  - Meaning / when to use: If the ratio tends to a positive finite number, both integrals share the same convergence behavior — useful when $f$ resembles a known benchmark like $1/x^p$ .

Definition

Why It Matters

Core Concepts

Connected Concepts

Connected notes