4.2.11 · D5Calculus II — Integration
Question bank — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)
First, so this page stands on its own, the two words that appear in almost every item:
Second, a one-line refresher of the two rules everything here leans on:
Recall The two
-rules (the spine of this whole bank) At infinity: converges . Near zero: converges . The exponent is the knife-edge that diverges in both worlds.
True or false — justify
An integral over an infinite interval always diverges because "infinity is too much area."
False — width is infinite but height can shrink fast enough that the total area is finite; e.g. . Convergence is a race between growing width and shrinking height.
If as , then must converge.
False — decay to zero is necessary-ish but nowhere near sufficient; yet diverges because it decays too slowly (, the knife-edge).
converges.
False — the exponent , so it diverges. Being a hair below the boundary is still on the "diverges at infinity" side.
converges.
True — near zero the rule flips, and is exactly the condition for convergence, giving a finite .
For a positive integrand, an improper integral can converge to a negative number.
False — area under a positive curve can only be positive (or ); a negative "answer" is a red flag that you applied the Fundamental Theorem of Calculus illegally across a blow-up.
If both and converge for a fixed point strictly between and , then converges.
True — once each piece is a finite number, their sum is finite; and for a proper splitting point the total is independent of which legal you pick. The subtlety is only that you must actually place so that each piece isolates its own bad endpoint.
by symmetry.
False — each half diverges, so the two-sided integral diverges; the "" is only the Cauchy principal value, not convergence.
The Comparison Test can prove divergence as well as convergence.
True — if and the smaller diverges, then diverges too; comparison works in both directions depending on which side you bound.
converges.
True — even though oscillates in sign, , and converges; absolute convergence forces convergence.
converges.
True — but only conditionally: it converges by Dirichlet's test (bounded oscillating against the monotone-to-zero factor ), while diverges. So it converges without converging absolutely.
Spot the error
Where is the mistake?
The integrand blows up at , which is inside , so the Fundamental Theorem of Calculus does not apply across it. You must split at and take limits — the right half alone is , so it diverges; the true value is , and the negative answer is impossible for a positive function.
, and the writer replaces the upper limit by the symbol directly. Why is that notation a trap even though the final number is right?
Because you cannot substitute into as if it were a number; you must write and observe . The habit of plugging in infinity is exactly what makes people mishandle divergent cases.
" converges because the antiderivative is a perfectly good function."
Having an antiderivative is not enough — you must evaluate its limit: , so it diverges. The unbounded growth of is exactly the divergence, and this is precisely why writing "" as a value is meaningless.
"To test I compare with , and since converges, so does mine."
The comparison direction is useless: bounding your function below by a convergent one proves nothing. You need (bound above by a convergent one) to conclude convergence.
" is fine because the interval is finite."
A finite interval does not make it proper — the integrand blows up at the endpoint , making it Type II; the limit diverges.
" is the definition of convergence."
No — that symmetric limit is the principal value; the true definition splits at some and requires each one-sided piece to converge independently.
Why questions
Why do we replace (or the blow-up point) with a variable instead of "plugging it in"?
Because the Fundamental Theorem of Calculus only works on a closed, bounded interval with a continuous integrand; keeps us on legal ground, and the limit then asks whether the area settles on a number.
Why is the boundary that diverges in both the Type I and Type II -integrals?
Because , and grows/shrinks without bound too slowly-yet-surely at both ends: as and as . It is the knife-edge where the power rule breaks.
Why does the convergence condition flip between (needs ) and (needs )?
Different enemies: at infinity you fight slow decay, so you want a big exponent to kill the tail; near zero you fight a tall spike, so you want a small exponent to keep the spike gentle.
Why must both halves of a two-sided improper integral converge, not just their sum?
Because "convergence" means the total area is a well-defined finite number regardless of how the two limits approach their bad points; if one half is , no legitimate cancellation with a separate half is allowed.
Why does the Comparison Test require the functions to be non-negative?
The logic "smaller area under bigger finite area is finite" only holds when there's no sign cancellation; with mixed signs a smaller-looking function could still oscillate and behave differently, so you compare magnitudes or use an oscillation test like Dirichlet's instead (see Comparison Test for Integrals).
Why can an oscillating integral like converge even though the Comparison Test says nothing?
Because convergence here comes from cancellation: consecutive positive and negative humps nearly cancel, and their leftover shrinks like . Dirichlet's test captures this — a bounded oscillation times a monotone factor decreasing to converges — a mechanism comparison, which ignores sign, simply cannot see.
Why does matter beyond calculus?
That finite area is exactly what makes a valid probability density on (it integrates to ), and the same convergence powers the Laplace Transform and Gamma Function.
Edge cases
Is convergent, given each factor individually looks "small"?
It diverges at the top. Substitute , so , turning the integral into which runs to — the divergent integral in disguise; the extra is too weak to save it. (It is also improper at where , so a careful treatment starts the integral at some .)
What happens to (over the whole half-line) for any single value of ?
It diverges for every — no can satisfy both " at infinity" and " at zero" simultaneously, so one end always kills it. You must split at and analyze each piece.
Can an integral be both Type I and Type II at once?
Yes — e.g. has an infinite upper limit (Type I) and a blow-up at (Type II); split at a convenient point like and check each end separately.
Does and tell the same story about ?
Yes and it's the punchline — diverges at both ends, near-zero and near-infinity, which is why is called the lonely loser: it fails on every front. See p-series and Integral Test for the discrete mirror image.
Consider (started at so there is no lower-end trouble). Convergent?
Yes — with , , and the lower limit becomes , so it turns into . The squared log is just enough to converge, where a single log failed; we deliberately start at so that and the only issue is the infinite upper limit.
Why is it wrong to claim "obviously converges" by the same substitution?
Because starting at makes , so there — the integral is also Type II at the lower end. The same substitution , turns it into , whose piece diverges. You must isolate and check the singularity at before celebrating the tail.
If converges, must as ?
Not necessarily. Concretely, let be everywhere except a triangular spike of height and base-width centred at each integer ; each spike has area , so the total area is (converges), yet for every , so does not tend to . For monotone or otherwise "nice" , however, convergence does force .
Why is it wrong to claim converges just because ?
Substitute , : it becomes , whose tail has and therefore diverges. A factor growing to infinity is not enough — it must grow like a power of (as did).