Skip to content
The book

Improper integrals and convergence tests

Why this is asked: Split at every singular point and at infinity, compare with 1/xᵖ, and distinguish convergence from absolute convergence — ∫ sin x/x is the standard example of the gap.

In one sentence

An improper integral must be split at every point where it misbehaves, and each piece compared with 1/xp1/x^p — where the threshold runs one way near zero and the other way near infinity.

Why the exam asks it

Because the two thresholds point in opposite directions, and a candidate who remembers only one of them will answer confidently and wrongly. Because conditional convergence gives a clean line to test. And because ∫sin⁡x/x\int \sin x / x is a single example that decides several options at once.

The idea

The two thresholds

∫01dxxp converges  ⟺  p<1,∫1∞dxxp converges  ⟺  p>1.\int_0^1 \frac{dx}{x^p} \text{ converges} \iff p < 1, \qquad \int_1^\infty \frac{dx}{x^p} \text{ converges} \iff p > 1.
near 0: ∫₀¹ dx/xᵖ p = 1 converges diverges near ∞: ∫₁^∞ dx/xᵖ p = 1 diverges converges the two ends want opposite things — which is why every improper integral must be split
The same family, opposite answers at the two ends. This is why an integral over (0,∞) must always be split — it can fail at one end while converging at the other.

The picture is worth more than the algebra here. Near zero, a mild singularity is survivable and a sharp one is not. Near infinity, you need decay fast enough that the tail has finite area, and 1/x1/x is not fast enough.

The consequence, which the paper leans on: ∫0∞dx/xp\int_0^\infty dx/x^p never converges, for any pp. Whatever value makes one end work breaks the other. Any option asserting convergence over the whole half-line without splitting is wrong before you compute anything.

The procedure

  1. Find every bad point: where the integrand is unbounded, and each infinite endpoint.
  2. Split so each piece has exactly one problem.
  3. Compare each piece with 1/xp1/x^p, choosing pp from the local behaviour.
  4. The whole converges only if every piece does.

Step 2 is where the marks are. An integral with a singularity at 00 and an infinite tail is two questions, and an option can be built so that one half converges and the other does not.

Conditional convergence

∫1∞sin⁡xx dx converges,∫1∞∣sin⁡xx∣dx diverges.\int_1^\infty \frac{\sin x}{x}\,dx \text{ converges}, \qquad \int_1^\infty \left|\frac{\sin x}{x}\right| dx \text{ diverges}.

The first converges by Dirichlet's test: sin⁡x\sin x has bounded partial integrals and 1/x1/x decreases to zero. The second diverges because ∣sin⁡x∣|\sin x| has average value 2/π2/\pi, so the integrand is comparable to 1/x1/x in the long run.

This is the integral analogue of ∑(−1)n/n\sum (-1)^n/n, and it plays the same role: the standard witness that convergence does not imply absolute convergence.

Where intuition breaks

"∫0∞f\int_0^\infty f converges, so f(x)→0f(x) \to 0." False, and the counterexample is worth being able to build rather than merely recall.

Put a spike at each integer nn: height nn, width 2/n32/n^3. Each spike has area n⋅2/n3=2/n2n \cdot 2/n^3 = 2/n^2, and ∑2/n2\sum 2/n^2 converges, so the total area is finite. But the function reaches height nn at x=nx = n, so it is unbounded and certainly does not tend to zero.

Why it is tempting: it is exactly true for series in the sense that ∑an\sum a_n convergent forces an→0a_n \to 0. Integrals have no such constraint, because area can be made small by making a spike thin rather than short. A converse assumed, imported from the wrong setting.

"f→0f \to 0, so ∫f\int f converges." f=1/xf = 1/x. The same failure as ∑1/n\sum 1/n, and equally reliable as a distractor.

"∫f\int f converges, so ∫∣f∣\int |f| converges." sin⁡x/x\sin x / x. Conditional convergence for integrals is as real as for series.

"∫f\int f and ∫g\int g converge, so ∫fg\int fg converges." Take f=g=1/xf = g = 1/\sqrt x on (0,1)(0,1). Each converges, since p=1/2<1p = 1/2 < 1. The product is 1/x1/x, which does not.

"It converges at infinity, so it converges." The question is whether it was split. ∫0∞e−x/x dx\int_0^\infty e^{-x}/\sqrt{x}\, dx converges at both ends and is fine; ∫0∞dx/x\int_0^\infty dx/x fails at both. An option naming only one end is testing whether you checked the other.

The exam's angle

  1. List the bad points before doing anything else. Zeros of the denominator, endpoints, infinity.
  2. Near a singularity at aa, ask what power of (x−a)(x-a) the integrand behaves like. Below 11 converges.
  3. Near infinity, ask what power of xx it decays like. Above 11 converges.
  4. If the integrand oscillates, separate convergence from absolute convergence. Dirichlet's test handles the first; comparison usually settles the second.
  5. Check the option's interval. Half these questions are the same integrand over (0,1)(0,1), (1,∞)(1,\infty) and (0,∞)(0,\infty), with different answers.

The night before

  • ∫01dx/xp\int_0^1 dx/x^p converges iff p<1p < 1. ∫1∞dx/xp\int_1^\infty dx/x^p converges iff p>1p > 1. Opposite directions.
  • Therefore ∫0∞dx/xp\int_0^\infty dx/x^p never converges. Always split.
  • ∫1∞sin⁡x/x\int_1^\infty \sin x / x converges; the absolute version diverges. The standard conditional-convergence witness.
  • Convergence of ∫f\int f does not force f→0f \to 0: thin tall spikes, height nn, width 2/n32/n^3.
  • f→0f \to 0 does not force convergence: 1/x1/x.
  • Products of convergent improper integrals can diverge: 1/x1/\sqrt x against itself on (0,1)(0,1).

See it move

The two exponents that decide most improper integralsinteractive

This visual is part of Trap Analysis

Why 1/x^p flips at p = 1 in opposite directions at 0 and at ∞ — and the integral that converges but not absolutely.

Unlock interactive visuals

The trap here

“If ∫0∞f\int_{0}^\infty f converges then f(x) → 0” — false

f with a spike of height n and width 2/n32/n^{3} at each integer n

The total area is finite but f is unbounded, so it does not tend to 0.

More on this →

Check yourself — select all that apply

For which values of p does ∫0∞\int_{0}^\infty xp−1/(1x^{p-1}/(1 + x) dx converge?

More in Integration

Take it further

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

Next: Pointwise vs uniform convergence, M-test, Dini

Create a free account to keep your place and have this feed your study plan.

ShareWhatsAppTelegram

Open this in the full syllabus view · Unit 1