Improper Integrals
How to make sense of 'area under a curve' when the curve runs off to infinity or blows up somewhere — and why checking convergence first is not optional.
Prerequisites: Limits and Continuity, Sequences and Series Convergence
A perpetual bond pays a coupon forever — there's no maturity date to stop the clock. To value it you'd want to add up every discounted future coupon: today's, next year's, the one in year 500, the one in year 5,000, on and on with no end. An ordinary integral assumes you're summing area over a finite, well-behaved strip. Here the strip has no right edge. An improper integral is the tool that asks: does that endless sum settle down to a finite number, or does it blow up? Sometimes an infinitely long region holds a finite amount of "area," the way an infinitely long trough that narrows fast enough still holds a finite amount of water.
The analogy: a trough that narrows fast enough
Picture pouring water into a trough that stretches out to infinity but gets thinner and thinner the further out you go. If it thins out fast enough, the total water it can hold is finite — even though the trough itself has no end. If it thins too slowly, the trough can hold an infinite amount. Improper integrals are exactly this question applied to area under a curve: does the curve shrink toward zero fast enough, far enough out (or near enough to a spike), that the total area is finite?
The mechanics, one symbol at a time
An integral is "improper" when either the interval is unbounded (, or ) or the function itself becomes unbounded somewhere in . You handle both the same way: replace the problem spot with a variable, take the ordinary integral up to that variable, then let the variable slide toward the trouble point as a limit.
In words: integrate normally up to some finite cutoff , then ask what happens to that finite answer as you push further and further out. If the limit exists and is a finite number, the integral converges; if it grows without bound or oscillates forever, it diverges — and in that case, the "area" is simply not a well-defined finite quantity, no matter how the calculation looks on paper.
Worked example 1: valuing a perpetuity
A perpetual bond pays a continuous coupon at rate $50 per year, discounted at . Its value is the improper integral
As , , so the limit is : the perpetuity is worth $1,000. The discounting shrinks each future coupon's present value fast enough that the infinite stream sums to a finite price — exactly the "trough narrows fast enough" case.
Worked example 2: a spike that's still finite, and one that isn't
Consider . The integrand blows up as , so this is improper at the left endpoint.
The spike near zero is tall but thin enough to have finite area. Compare , and as : this one diverges. The exponent is the razor's edge between finite and infinite area — a fact that reappears constantly wherever power-law tails show up in finance.
Drag the exponent above and watch the curve near zero and near infinity: small changes in how fast a curve decays are the entire difference between a convergent and a divergent improper integral.
What this means in practice
Improper integrals show up whenever a quant integrates over an infinite horizon (perpetuities, infinite-maturity credit spreads) or across the full real line (the normal density in Black-Scholes pricing, characteristic-function methods, Laplace and Fourier transforms of payoff functions). Expected shortfall and other tail-risk measures are themselves improper integrals of a loss density over an unbounded region, and whether they're even finite depends on how fat the tail is — this is precisely why some heavy-tailed distributions have no finite mean or variance.
An improper integral is defined as a limit of ordinary integrals approaching the problem point; it has a finite value only if that limit exists, which depends entirely on how fast the integrand decays.
The classic mistake is computing a Cauchy principal value — like symmetrically canceling and contributions in — and treating the finite answer (zero, here) as if the integral genuinely converges. It doesn't: each one-sided piece diverges on its own, so the "integral" has no value in the standard sense, even though a symmetric shortcut happens to produce a clean number. Always check that both halves converge independently before combining limits.
Related concepts
Practice in interviews
Further reading
- Stewart, Calculus, ch. 7.8
- Rudin, Principles of Mathematical Analysis, ch. 6