Improper Integrals

Integrals over intervals that run forever or blow up. The exponent p decides convergence against divergence.

An endless region can still have finite area. Its tail just has to thin out fast enough. Too thick a tail piles area up forever.

For example, a πŸ’§ water leak that slows down quickly spills only one bucketful, even leaking forever. A leak that slows too little overflows the bucket in the end.

∫1∞dxxp=1pβˆ’1Β Β (p>1)\int_1^{\infty}\frac{dx}{x^p} = \frac{1}{p-1}\ \ (p>1)
∫01dxx=2\int_0^1\frac{dx}{\sqrt{x}} = 2

Part of these learning paths

Examples & Exercises

Compute ∫1∞dxx2=1\int_1^\infty \frac{dx}{x^2} = 1 directly.

∫1Rdxx2=1βˆ’1Rβ†’1\int_1^R \frac{dx}{x^2} = 1 - \frac{1}{R} \to 1
p=2,R=20p=2, R=20: area 0.950.95 approaches 11.
Show proof
  1. ∫1Rxβˆ’2 dx=[βˆ’xβˆ’1]1R=1βˆ’1R\int_1^R x^{-2}\,dx = \left[-x^{-1}\right]_1^R = 1 - \frac{1}{R}.

  2. As Rβ†’βˆžR \to \infty, 1Rβ†’0\frac{1}{R} \to 0, so the area tends to 11. At R=20R = 20: 1βˆ’120=0.951 - \frac{1}{20} = 0.95 β€” matching the caption's figure.

Prove ∫1∞dxxp\int_1^\infty \frac{dx}{x^p} diverges for p≀1p \leq 1.

∫1Rdxx=ln⁑Rβ†’βˆž\int_1^R \frac{dx}{x} = \ln R \to \infty
p=1p=1: the area grows like ln⁑R\ln R without bound.
Show proof
  1. p=1p = 1: ∫1Rdxx=ln⁑Rβ†’βˆž\int_1^R \frac{dx}{x} = \ln R \to \infty as Rβ†’βˆžR \to \infty. At R=50R = 50 the area is ln⁑50β‰ˆ3.912\ln 50 \approx 3.912.

  2. p<1p < 1: ∫1Rxβˆ’p dx=R1βˆ’pβˆ’11βˆ’p\int_1^R x^{-p}\,dx = \frac{R^{1-p}-1}{1-p}, and since 1βˆ’p>01 - p > 0 this diverges to ∞\infty as Rβ†’βˆžR \to \infty.

Compute ∫01dxx=2\int_0^1 \frac{dx}{\sqrt{x}} = 2 as a limit at the singularity.

∫Ρ1xβˆ’1/2 dx=2βˆ’2Ξ΅β†’2\int_\varepsilon^1 x^{-1/2}\,dx = 2 - 2\sqrt{\varepsilon} \to 2
p=1/2,Ξ΅=0.01p=1/2, \varepsilon=0.01: area 1.81.8 approaches 22.
Show proof
  1. ∫Ρ1xβˆ’1/2 dx=[2x]Ξ΅1=2βˆ’2Ξ΅\int_\varepsilon^1 x^{-1/2}\,dx = \left[2\sqrt{x}\right]_\varepsilon^1 = 2 - 2\sqrt{\varepsilon}.

  2. As Ξ΅β†’0+\varepsilon \to 0^+, Ξ΅β†’0\sqrt{\varepsilon} \to 0, so the area tends to 22. At Ξ΅=0.01\varepsilon = 0.01: 2βˆ’20.01=2βˆ’0.2=1.82 - 2\sqrt{0.01} = 2 - 0.2 = 1.8 β€” matching the caption's figure.

11. Integration