Improper Integrals & Convergence

⚡ Key Takeaways

Improper integrals extend the Riemann integral to unbounded intervals (e.g. $\int_a^\infty$ ) or unbounded integrands (e.g. $\int_0^1 x^{-1/2}\,dx$ ) by taking limits of proper integrals. An improper integral converges if the relevant limit exists and is finite; otherwise it diverges. Central tools: the $p$ -test, the comparison and limit-comparison tests, and absolute convergence. Used throughout analysis, probability (densities), and physics (potentials, transforms). Formalized in the 19th century by Cauchy and Riemann.

💡 The Core Insight

You cannot directly "add up" infinitely many contributions or integrate through a singularity. Instead you truncate the offending feature — cut the interval at a finite point, or stop short of the singularity — compute an ordinary integral as a function of the cutoff, and then let the cutoff approach the bad point. Convergence is entirely a statement about whether that one-variable limit exists. Everything else — the $p$ -test, comparison theorems, absolute convergence — is machinery for deciding the existence of that limit without computing the antiderivative.

DefinitionImproper Integral of the First Kind (unbounded interval)

Let $f$ be (Riemann) integrable on $[a,t]$ for every $t \ge a$ . The improper integral of the first kind is defined by

1

\quad \int_a^{\infty} f(x)\,dx \;=\; \lim_{t\to\infty}\int_a^{t} f(x)\,dx .

Derivation hint: Replace the infinite upper bound by a finite parameter $t$ , integrate properly, then send $t\to\infty$ . Here $a\in\mathbb{R}$ is the fixed lower limit, $t$ the variable cutoff, and $f$ the integrand. If the limit exists and is finite the integral converges; otherwise it diverges (to $\pm\infty$ or by oscillation). Symmetrically,

2

\quad \int_{-\infty}^{b} f(x)\,dx \;=\; \lim_{s\to-\infty}\int_{s}^{b} f(x)\,dx .

Derivation hint: Mirror equation [1] with the lower limit as the moving parameter. For a doubly infinite interval one splits at any finite $c$ and requires both halves to converge independently:

3

\quad \int_{-\infty}^{\infty} f(x)\,dx \;=\; \lim_{s\to-\infty}\int_{s}^{c} f + \lim_{t\to\infty}\int_{c}^{t} f .

Derivation hint: Additivity of the integral over $(-\infty,c]\cup[c,\infty)$ ; the value is independent of $c$ when both limits exist.

DefinitionImproper Integral of the Second Kind (unbounded integrand)

Suppose $f$ is integrable on $[a,t]$ for every $t<b$ but unbounded near the endpoint $b$ (a singularity at $b$ ). Then

4

\quad \int_a^{b} f(x)\,dx \;=\; \lim_{t\to b^-}\int_a^{t} f(x)\,dx .

Derivation hint: Approach the singular endpoint from inside the interval with a parameter $t\to b^-$ . If the singularity is at the lower limit $a$ one takes $\lim_{s\to a^+}\int_s^b f$ . If a singularity occurs at an interior point $c\in(a,b)$ , the integral is split and each piece must converge separately:

5

\quad \int_a^{b} f \;=\; \lim_{t\to c^-}\int_a^{t} f \;+\; \lim_{s\to c^+}\int_s^{b} f .

Derivation hint: Isolate the singularity by splitting at $c$ ; never let the two one-sided limits be coupled.

⚠️ Common mistake

In equation [3] and [5] the two limits must be taken independently. Taking a single symmetric limit instead — e.g. $\lim_{R\to\infty}\int_{-R}^{R}$ — defines the Cauchy principal value (PV), which can exist even when the genuine improper integral diverges. For example $\int_{-\infty}^\infty x\,dx$ diverges, yet its PV is $0$ . PV $\ne$ convergence.

TheoremThe

p

-Integral Tests

Type I (tail): For $a>0$ ,

6

\quad \int_a^{\infty}\frac{dx}{x^{p}} \text{ converges } \iff p>1, \qquad \int_a^{\infty}\frac{dx}{x^{p}} = \frac{a^{1-p}}{p-1}\ (p>1).

Derivation hint: Antiderivative $\frac{x^{1-p}}{1-p}$ for $p\ne1$ ; the boundary term $t^{1-p}$ vanishes iff $1-p<0$ . For $p=1$ get $\ln t \to\infty$ .

Type II (endpoint singularity): For $b>0$ ,

7

\quad \int_0^{b}\frac{dx}{x^{p}} \text{ converges } \iff p<1, \qquad \int_0^{b}\frac{dx}{x^{p}} = \frac{b^{1-p}}{1-p}\ (p<1).

Derivation hint: Same antiderivative; now the term $s^{1-p}$ as $s\to0^+$ vanishes iff $1-p>0$ .

🧠 Intuition

The two $p$ -tests are mirror images. Near a power singularity the danger comes from $x$ being small, so you need the singularity mild ( $p<1$ , not too steep). In the tail the danger comes from $x$ being large, so you need decay fast ( $p>1$ ). The crossover is exactly $p=1$ — the harmonic borderline — which diverges in both regimes. This is why $1/x$ is the universal "just barely too big" comparison function, and why logarithmic factors (e.g. $1/(x\ln x)$ ) sit on an even finer knife-edge.

TheoremComparison Test for Nonnegative Integrands

Let $0 \le f(x) \le g(x)$ on $[a,\infty)$ with both integrable on every $[a,t]$ .

8

\quad \int_a^\infty g \text{ converges} \;\Rightarrow\; \int_a^\infty f \text{ converges}; \qquad \int_a^\infty f \text{ diverges} \;\Rightarrow\; \int_a^\infty g \text{ diverges}.

Derivation hint: $F(t)=\int_a^t f$ is nondecreasing and bounded above by $\int_a^\infty g$ ; a bounded monotone function has a finite limit (monotone convergence).

TheoremLimit Comparison Test

Let $f,g>0$ on $[a,\infty)$ and suppose

9

\quad L=\lim_{x\to\infty}\frac{f(x)}{g(x)}, \qquad 0<L<\infty.

Derivation hint: For large $x$ , $\tfrac{L}{2}g < f < \tfrac{3L}{2}g$ ; apply the comparison test [8] in both directions. Then $\int_a^\infty f$ and $\int_a^\infty g$ converge or diverge together. (If $L=0$ , convergence of $\int g$ implies that of $\int f$ ; if $L=\infty$ , divergence of $\int g$ implies that of $\int f$ .)

DefinitionAbsolute and Conditional Convergence

The integral $\int_a^\infty f$ is absolutely convergent if $\int_a^\infty |f|$ converges. It is conditionally convergent if it converges but $\int_a^\infty |f|$ diverges.

10

\quad \int_a^\infty |f|\ \text{converges} \;\Rightarrow\; \int_a^\infty f\ \text{converges}, \qquad \left|\int_a^\infty f\right| \le \int_a^\infty |f|.

Derivation hint: Write $f = f^+ - f^-$ with $0\le f^\pm \le |f|$ ; both $\int f^\pm$ converge by comparison [8], hence so does their difference. The inequality is the integral triangle inequality in the limit.

ProofCauchy Criterion for Improper Integrals

Claim. $\int_a^\infty f$ converges $\iff$ for every $\varepsilon>0$ there exists $M$ such that for all $t_2>t_1>M$ ,

11

\quad \left|\int_{t_1}^{t_2} f(x)\,dx\right| < \varepsilon.

Derivation hint: Apply the Cauchy criterion for limits of functions to $F(t)=\int_a^t f$ , using $\int_{t_1}^{t_2}f = F(t_2)-F(t_1)$ .

Steps. 1. Define $F(t)=\int_a^t f(x)\,dx$ , a well-defined real function for $t\ge a$ since $f$ is integrable on each bounded piece. 2. By definition [1], convergence of the integral is existence of $\lim_{t\to\infty}F(t)$ . 3. A real-valued function $F$ has a finite limit as $t\to\infty$ iff it is Cauchy at infinity: $\forall\varepsilon\,\exists M$ such that $|F(t_2)-F(t_1)|<\varepsilon$ for $t_1,t_2>M$ . This is the completeness of $\mathbb{R}$ . 4. Substitute $F(t_2)-F(t_1)=\int_{t_1}^{t_2} f$ to obtain [11]. $\blacksquare$

Consequence (absolute $\Rightarrow$ convergent). If $\int_a^\infty|f|$ converges, then $\left|\int_{t_1}^{t_2}f\right|\le \int_{t_1}^{t_2}|f|<\varepsilon$ for large $t_1,t_2$ , so $f$ satisfies [11] and $\int_a^\infty f$ converges. This proves the implication in [10] without any sign hypothesis on $f$ .

∎

Figure

Truncation defines the improper integral: the shaded area under

f(x)=1/x^{1.5}

approaches a finite limit as the cutoff

t\to\infty

.

mathematician · Augustin-Louis Cauchy | 1789–1857

Cauchy gave the integral its first rigorous limit-based foundation in his Cours d'analyse (1821) and Résumé des leçons (1823), defining the definite integral as a limit of sums and explicitly treating integrals over infinite intervals and through singularities. He introduced the principal value to assign meaning to otherwise divergent integrals (notably in the theory of residues and Fourier analysis) and formulated convergence in terms of what we now call the Cauchy criterion. His careful separation of existence of a limit from formal manipulation of an antiderivative is precisely the conceptual move that makes improper integrals well-posed.

🧠 Intuition

Think of an improper integral as a race between accumulation and decay. As you extend the interval you keep adding area; whether the total stays finite depends on how fast the integrand's contribution shrinks. The $p$ -test pins down the exact threshold rate: decay faster than $1/x$ wins (converges), slower loses (diverges), and exactly $1/x$ ties and loses. The same picture inverted handles singularities: a singularity integrates to something finite only if it is "mild enough" that the area near the spike doesn't blow up. Conditional convergence is the subtle case where positive and negative areas cancel faster than they individually accumulate — the integral converges by cancellation even though the raw area $\int|f|$ is infinite, exactly as in the alternating harmonic series.

ExampleGamma-type tail:

\int_1^\infty x^2 e^{-x}\,dx

Given: $f(x)=x^2 e^{-x}$ on $[1,\infty)$ — a first-kind improper integral.

Step 1 — truncate. Compute $I(t)=\int_1^t x^2 e^{-x}\,dx$ by integration by parts twice:

\int x^2 e^{-x}\,dx = -(x^2+2x+2)e^{-x}.

Step 2 — evaluate at the cutoff.

I(t) = \big[-(x^2+2x+2)e^{-x}\big]_1^t = -(t^2+2t+2)e^{-t} + 5e^{-1}.

Step 3 — take the limit. Since polynomials are dominated by $e^{-t}$ , $\lim_{t\to\infty}(t^2+2t+2)e^{-t}=0$ . Therefore

\int_1^\infty x^2 e^{-x}\,dx = 5e^{-1}.

Answer:

\boxed{\,\int_1^\infty x^2 e^{-x}\,dx = \dfrac{5}{e} \approx 1.8394\,}

(dimensionless). Convergence was guaranteed in advance by limit comparison with $1/x^2$ since $x^2 e^{-x}/(1/x^2)=x^4 e^{-x}\to0$ .

ExampleSingular endpoint:

\int_0^1 \dfrac{dx}{\sqrt{1-x^2}}

Given: integrand blows up at $x=1$ — a second-kind improper integral with singularity at the upper limit.

Step 1 — confirm it is improper. As $x\to1^-$ , $\sqrt{1-x^2}\to0^+$ , so $f\to+\infty$ . Singularity at $b=1$ .

Step 2 — truncate and integrate. The antiderivative is $\arcsin x$ :

\int_0^t \frac{dx}{\sqrt{1-x^2}} = \arcsin t - \arcsin 0 = \arcsin t.

Step 3 — limit at the singularity.

\lim_{t\to1^-}\arcsin t = \arcsin 1 = \frac{\pi}{2}.

Convergence check (independent of antiderivative): near $x=1$ , $\sqrt{1-x^2}=\sqrt{(1-x)(1+x)}\sim\sqrt{2}\,(1-x)^{1/2}$ , so $f\sim \tfrac{1}{\sqrt2}(1-x)^{-1/2}$ . With $p=\tfrac12<1$ the type-II $p$ -test [7] guarantees convergence.

Answer:

\boxed{\,\int_0^1 \dfrac{dx}{\sqrt{1-x^2}} = \dfrac{\pi}{2} \approx 1.5708\,}

(dimensionless).

⚠️ Common mistake

"If $f(x)\to 0$ as $x\to\infty$ , then $\int_a^\infty f$ converges." False. The harmonic integral $\int_1^\infty dx/x$ has integrand $\to0$ yet diverges (to $\infty$ ). Decay to zero is necessary in spirit but not sufficient; you need decay faster than $1/x$ . Conversely, the integrand need not even tend to zero: $\int_0^\infty \sin(x^2)\,dx$ converges (a Fresnel integral) even though $\sin(x^2)$ keeps oscillating between $\pm1$ — the oscillations get faster, producing cancellation.

CounterexampleAn interior singularity that "looks" finite

Consider $\displaystyle\int_{-1}^{1}\frac{dx}{x}$ . A careless application of the Fundamental Theorem gives $[\ln|x|]_{-1}^{1}=0-0=0$ — but this is wrong, because the integrand is singular at the interior point $x=0$ . By definition [5] one must split:

\int_{-1}^1\frac{dx}{x}=\lim_{t\to0^-}\int_{-1}^t\frac{dx}{x}+\lim_{s\to0^+}\int_s^1\frac{dx}{x}=\lim_{t\to0^-}\ln|t|+\lim_{s\to0^+}(-\ln s).

Each one-sided limit is $-\infty$ and $+\infty$ respectively; neither exists finitely, so the integral diverges. Its Cauchy principal value $\lim_{\epsilon\to0^+}\big(\int_{-1}^{-\epsilon}+\int_{\epsilon}^1\big)=0$ exists, but PV $\ne$ convergence.

connection

Improper integrals are the continuous analogue of Infinite Series: the Integral Test turns convergence of $\sum_{n\ge1} f(n)$ for positive decreasing $f$ into convergence of $\int_1^\infty f$ , and the $p$ -integral mirrors the $p$ -series exactly. Absolute vs. conditional convergence parallels the same dichotomy for series (and the failure of Fubini's Theorem / rearrangement in the conditional case). They are the gateway to Improper Integrals Depending on a Parameter and to the Lebesgue Integral, which absorbs first-kind improper integrals of nonnegative functions automatically but treats conditionally convergent ones differently. The Laplace Transform, Fourier Transform, Gamma Function, and Beta Function are all defined by improper integrals, and the Comparison Test / Limit Comparison Test are the workhorses for establishing where those transforms exist.

🔬 Where this appears

⏳ History

- 1665–1690: Newton and Leibniz develop the calculus; integrals over infinite domains appear informally (e.g. quadrature of unbounded regions) without convergence theory.

- 1731: Euler computes many improper integrals (including early forms of

\Gamma

and the Basel-type sums), treating them as formal limits with great success but limited rigor.

- 1812–1814: Gauss and Legendre study the Gamma/Beta integrals systematically; Legendre coins the notation

\Gamma

.

- 1821–1823: Cauchy rigorously founds the integral as a limit of sums (Cours d'analyse, Résumé des leçons), introduces the principal value, and frames convergence via the completeness/Cauchy criterion.

- 1854: Riemann, in his Habilitationsschrift on trigonometric series, defines the Riemann integral precisely and clarifies exactly which functions are integrable, sharpening the meaning of "proper" vs. "improper."

- 1875: Darboux develops upper/lower sums, giving the cleanest modern proof framework for Riemann integrability used in improper-integral arguments.

- 1894: Stieltjes generalizes integration (Riemann–Stieltjes), broadening the comparison machinery.

- 1902: Lebesgue introduces measure-theoretic integration, which subsumes absolutely convergent improper integrals and reorients the theory toward

L^1

; conditional convergence becomes a feature special to the Riemann/improper viewpoint.

- 20th century: Distribution theory (Schwartz, ~1945–1950) reinterprets divergent and principal-value integrals (e.g.

\operatorname{p.v.}\,1/x

) as well-defined functionals, completing the conceptual circle Cauchy began.

open-problem

The theory at the borderline is endlessly subtle. There is an infinite hierarchy of refinements at $p=1$ : $\int_2^\infty \frac{dx}{x(\ln x)^q}$ converges iff $q>1$ , then $\int \frac{dx}{x\ln x(\ln\ln x)^q}$ shifts the threshold again, ad infinitum — no single elementary comparison function detects all convergent integrals (this is the non-existence of a universal convergence test, analogous to du Bois-Reymond's results for series). Conditionally convergent integrals such as $\int_0^\infty \frac{\sin x}{x}\,dx=\frac{\pi}{2}$ resist absolute methods entirely and require oscillation arguments (Dirichlet's test, integration by parts on the tail); their values depend delicately on how limits are taken, and they fail to interchange freely with limits, sums, and other integrals. Deciding convergence of high-dimensional or oscillatory integrals (e.g. Feynman path integrals, oscillatory integrals in microlocal analysis) remains genuinely hard and is an active research frontier rather than a settled undergraduate matter.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also