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.
Discussion
💡 Discussion rules
- Ask and answer about this concept. Off-topic gets removed.
- No homework dumps. Show what you tried first.
- Corrections are welcome. Cite a source when you claim an error.
Loading discussion…
Related concepts
Practice in interviews
Further reading
- Stewart, Calculus, ch. 7.8
- Rudin, Principles of Mathematical Analysis, ch. 6