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 — 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 is a single example that decides several options at once.
The idea
The two thresholds
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 is not fast enough.
The consequence, which the paper leans on: never converges, for any . 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
- Find every bad point: where the integrand is unbounded, and each infinite endpoint.
- Split so each piece has exactly one problem.
- Compare each piece with , choosing from the local behaviour.
- The whole converges only if every piece does.
Step 2 is where the marks are. An integral with a singularity at 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
The first converges by Dirichlet's test: has bounded partial integrals and decreases to zero. The second diverges because has average value , so the integrand is comparable to in the long run.
This is the integral analogue of , and it plays the same role: the standard witness that convergence does not imply absolute convergence.
Where intuition breaks
" converges, so ." False, and the counterexample is worth being able to build rather than merely recall.
Put a spike at each integer : height , width . Each spike has area , and converges, so the total area is finite. But the function reaches height at , 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 convergent forces . 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.
", so converges." . The same failure as , and equally reliable as a distractor.
" converges, so converges." . Conditional convergence for integrals is as real as for series.
" and converge, so converges." Take on . Each converges, since . The product is , which does not.
"It converges at infinity, so it converges." The question is whether it was split. converges at both ends and is fine; fails at both. An option naming only one end is testing whether you checked the other.
The exam's angle
- List the bad points before doing anything else. Zeros of the denominator, endpoints, infinity.
- Near a singularity at , ask what power of the integrand behaves like. Below converges.
- Near infinity, ask what power of it decays like. Above converges.
- If the integrand oscillates, separate convergence from absolute convergence. Dirichlet's test handles the first; comparison usually settles the second.
- Check the option's interval. Half these questions are the same integrand over , and , with different answers.
The night before
- converges iff . converges iff . Opposite directions.
- Therefore never converges. Always split.
- converges; the absolute version diverges. The standard conditional-convergence witness.
- Convergence of does not force : thin tall spikes, height , width .
- does not force convergence: .
- Products of convergent improper integrals can diverge: against itself on .
See it move
The trap here
“If converges then f(x) → 0” — false
f with a spike of height n and width at each integer n
The total area is finite but f is unbounded, so it does not tend to 0.
Check yourself — select all that apply
For which values of p does + x) dx converge?
More in Integration
Take it further
- The mistake this prevents: boundary and endpoint → real wrong options, and why each one tempts
- The mistake this prevents: hypothesis dropped → real wrong options, and why each one tempts
- Previous-year questions set on this — every option and the answer, free:December 2025 · Part CDecember 2025 · Part CJune 2024 · Part C
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.
Open this in the full syllabus view · Unit 1