4.2.11 · D2Calculus II — Integration

Visual walkthrough — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

1,621 words7 min readBack to topic

Step 1 — The forbidden question: area to forever

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Step 2 — Build a movable wall at

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Step 3 — Do the finite integral (the case )

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Step 4 — Slide the wall to infinity: the fork in the road

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Step 5 — The knife-edge up close

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Step 6 — The mirror world: Type II blow-up at

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

The one-picture summary

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)
Recall Feynman: the whole walkthrough in plain words

I want to paint under a curve, but the region is broken — either it runs to the right forever, or it shoots straight up at one spot. Either way I can't measure it directly. So I cheat: I build a movable wall at a real position . Between and my wall the region is normal, so I paint it and get an honest number that depends on . Then I slide the wall away (to infinity for Type I) or creep it toward the spike (to for Type II) and I just watch the number. If it calms down to a value — finite paint, converges. If it keeps climbing — leaks forever, diverges. When I do the algebra, all the drama collapses into one term , and its fate depends only on the sign of the exponent . Positive power of a huge blows up; negative power fades to nothing — and vice-versa for a tiny . The break-even is exponent zero, i.e. , which is exactly where the power rule died and I had to use . That crawls upward forever, so just barely loses — on both the far wall and the spike. That's why the two rules are perfect mirror images with the same lonely loser in the middle.

Recall Quick self-check

For , which term decides convergence? ::: The limit of as — its fate depends on the sign of . Why does need separate treatment? ::: The antiderivative divides by ; the true antiderivative of is . Value of ? ::: . Value of ? ::: .


Where this leads: the convergent case powers the Comparison Test for Integrals, the p-series and Integral Test, and — via — the Gamma Function, the Laplace Transform, and normalizing Probability Density Functions.