← MATH 162 MathScape 0 MATH162

Comparison Test for Integrals

4 min read

Jump to a section
Reference: Stewart §7.8

Textbook Reference

Primary source OpenStax Calculus Volume 2, Section 3.7: “Improper Integrals”
Direct link https://openstax.org/books/calculus-volume-2/pages/3-7-improper-integrals
Textbook used in class Stewart, Calculus, Section 7.8: “Improper Integrals”

Opening Scenario

Some improper integrals, like $\displaystyle\int_1^{\infty} e^{-x^2}\,dx$, have no elementary antiderivative. We cannot evaluate them directly using FTC. But we can still determine whether they converge by comparing them to simpler integrals whose convergence is known.

The Comparison Test for integrals works on the same geometric principle as squeezing: if one function is larger than another and the larger one has a finite integral, then the smaller one certainly does too.


Quick Reference

Direct Comparison Test. Suppose $0 \leq f(x) \leq g(x)$ for all $x \geq a$.

Limit Comparison Test. If $f(x), g(x) > 0$ and $\displaystyle\lim_{x\to\infty}\frac{f(x)}{g(x)} = L$ where $0 < L < \infty$, then $\int_a^{\infty} f$ and $\int_a^{\infty} g$ either both converge or both diverge.

Most useful comparison functions: $\displaystyle\frac{1}{x^p}$ (use the $p$-test for reference), $e^{-x}$, and $\dfrac{1}{\sqrt{x}}$.


Key Concepts

1. The Geometric Idea

If $f(x) \leq g(x) \geq 0$ on $[a, \infty)$, then the area under $f$ is at most the area under $g$. If the larger area is finite, the smaller area is certainly finite. If the smaller area is infinite, the larger area is certainly infinite.

The comparison test turns a question about an unfamiliar function into a question about a familiar one. The skill is choosing the right familiar function.

2. Choosing the Comparison Function

For functions that behave like $1/x^p$ for large $x$:

For functions involving exponentials: $e^{-x^2} \leq e^{-x}$ for $x \geq 1$ (since $x^2 \geq x$), and $\int_1^{\infty} e^{-x}\,dx$ converges.

3. Limit Comparison

When the direct inequality is hard to establish but the functions behave similarly for large $x$, the Limit Comparison Test is more convenient. If $f(x)/g(x) \to L$ with $0 < L < \infty$, then $f$ and $g$ “look the same at infinity” and share the same convergence/divergence.

Example. Does $\displaystyle\int_1^{\infty}\frac{3x+2}{x^3+1}\,dx$ converge?

Compare with $g(x) = \dfrac{1}{x^2}$. Limit: $\lim_{x\to\infty}\dfrac{(3x+2)/(x^3+1)}{1/x^2} = \lim_{x\to\infty}\dfrac{x^2(3x+2)}{x^3+1} = \lim_{x\to\infty}\dfrac{3x^3}{x^3} = 3$. Finite, nonzero. Since $\int_1^{\infty}\frac{1}{x^2}\,dx$ converges ($p=2>1$), the original integral also converges.

Common misconception

“If $f(x) < g(x)$ and $\int g$ diverges, then $\int f$ diverges too.” This is backwards. If the larger function’s integral diverges, we know nothing about the smaller one. The correct implication is: $f < g$ and $\int f$ diverges $\Rightarrow$ $\int g$ diverges. Converge info passes downward; diverge info passes upward.


Worked Example

Determine whether $\displaystyle\int_1^{\infty} e^{-x^2}\,dx$ converges.

For $x \geq 1$: $x^2 \geq x$, so $e^{-x^2} \leq e^{-x}$.

Both functions are positive, and $\displaystyle\int_1^{\infty} e^{-x}\,dx = \left[-e^{-x}\right]_1^{\infty} = 0 + e^{-1} = \frac{1}{e}$ converges.

By the Direct Comparison Test, $\displaystyle\int_1^{\infty} e^{-x^2}\,dx$ converges.


Determine whether $\displaystyle\int_2^{\infty}\frac{1}{\sqrt{x}-1}\,dx$ converges.

For $x \geq 4$: $\sqrt{x} - 1 \geq \frac{\sqrt{x}}{2}$ (since $\sqrt{x} \geq 2$). So $\dfrac{1}{\sqrt{x}-1} \leq \dfrac{2}{\sqrt{x}} = 2x^{-1/2}$.

$\int_4^{\infty} 2x^{-1/2}\,dx$ diverges ($p = 1/2 \leq 1$). However, $f \leq 2x^{-1/2}$ and the larger function diverges, so direct comparison gives no conclusion.

Try from the other direction: $\sqrt{x} - 1 \leq \sqrt{x}$, so $\dfrac{1}{\sqrt{x}-1} \geq \dfrac{1}{\sqrt{x}} = x^{-1/2}$.

Now $f(x) \geq x^{-1/2}$ and $\int_2^{\infty} x^{-1/2}\,dx$ diverges. The smaller function $x^{-1/2}$ diverges, so the larger function $1/(\sqrt{x}-1)$ also diverges.


Common Errors Summary

Error Example Correction
Wrong direction of inequality for divergence $f < g$ and $\int g$ diverges, concluding $\int f$ diverges Only: $f > g \geq 0$ and $\int g$ diverges $\Rightarrow$ $\int f$ diverges
Choosing a comparison that points the wrong way Comparing $\int e^{-x^2}$ with $\int e^x$ (which diverges) Choose a convergent function that is larger: $e^{-x^2} \leq e^{-x}$ works
Using limit comparison with $L = 0$ and claiming convergence $f/g \to 0$ and $\int g$ converges, concluding $\int f$ converges $L = 0$ means $f$ grows slower than $g$; can still conclude convergence if $g$ converges and $f$ is smaller. BUT the formal LCT requires $0 < L < \infty$; for $L = 0$, use direct comparison instead

Leveled Practice

Level 1 -- Direct Comparison

Problem 1. Use direct comparison to determine whether $\displaystyle\int_1^{\infty}\frac{\cos^2 x}{x^2}\,dx$ converges.

Show answer

$0 \leq \cos^2 x \leq 1$, so $0 \leq \dfrac{\cos^2 x}{x^2} \leq \dfrac{1}{x^2}$.

$\displaystyle\int_1^{\infty}\frac{1}{x^2}\,dx$ converges ($p = 2 > 1$).

By direct comparison, $\displaystyle\int_1^{\infty}\frac{\cos^2 x}{x^2}\,dx$ converges.


Level 2 -- Limit Comparison

Problem 2. Determine whether $\displaystyle\int_1^{\infty}\frac{2+\sin x}{x}\,dx$ converges.

Show answer

Compare with $g(x) = 1/x$. $\sin x \in [-1, 1]$, so $f(x) = \dfrac{2+\sin x}{x} \geq \dfrac{1}{x}$ (since $2 + \sin x \geq 1$).

$\displaystyle\int_1^{\infty}\frac{1}{x}\,dx$ diverges. Since $f \geq 1/x$ and $\int 1/x$ diverges, $\displaystyle\int_1^{\infty}f\,dx$ diverges.


Mastery Checklist


Mental Model

Think of the comparison test like a budget analogy. If your expenses (the smaller function) are always less than your income (the larger function), and your income is finite, then your expenses are certainly finite. Conversely, if your expenses are always more than some known minimum that already exceeds your income, you are overspending.

The comparison function is your “reference budget” -- something you know everything about (a power function or exponential) that can be compared to the unfamiliar function.


Connections

Looking back

Looking ahead


Back to Techniques of Integration | Chapter 7 Complete