05-08 - Improper Integrals
Phase: 5 | Subject: 05-08 Prerequisites: 05-02-the-definite-integral.md (definite integrals), 05-03-the-fundamental-theorem-of-calculus.md Next subject: 05-09-applications-of-integration.md
Learning Objectives
By the end of this subject, you will be able to:
- Recognise improper integrals with infinite limits
- Recognise improper integrals with discontinuous integrands
- Evaluate improper integrals as limits
- Apply the comparison test for convergence
Core Content
What is an Improper Integral?
An improper integral has either: 1. Infinite limit of integration (âŤ[a to â] or âŤ[-â to b] or âŤ[-â to â]) 2. Discontinuous integrand at an endpoint or inside the interval
Type 1: Infinite Limits
$âŤ[a to â] f(x)dx = $lim(tââ)$ âŤ[a to t] f(x)dx âŤ[-â to b] f(x)dx = $lim(tâ-â)$ âŤ[t to b] f(x)dx âŤ[-â to â] f(x)dx = âŤ[-â to c] + âŤ[c to â] $
Convergent if the limit exists (finite). Divergent if the limit is Âąâ or doesn't exist.
Example: âŤ[1 to â] (1/x²)dx = $lim(tââ)$ [-1/x][1 to t] = $lim(tââ)$ (-1/t + 1) = 1
Convergent (to 1).
Example: âŤ[1 to â] (1/x)dx = $lim(tââ)$ [ln(x)][1 to t] = $lim(tââ)$ ln(t) = â
Divergent.
Type 2: Discontinuous Integrand
If f has a discontinuity at c where a < c < b:
$âŤ[a to b] f(x)dx = âŤ[a to c] f(x)dx + âŤ[c to b] f(x)dx $
Each part is evaluated as a limit.
Example: âŤ[0 to 2] (1/âx)dx f(x) = 1/âx has discontinuity at x = 0. = $lim(tâ0âş)$ âŤ[t to 2] x^(-1/2)dx = $lim(tâ0âş)$ [2âx][t to 2] = $lim(tâ0âş)$ (2â2 - 2ât) = 2â2
Convergent.
Comparison Test
If 0 ⤠f(x) ⤠g(x) for x ⼠a: - If âŤ[a to â] g(x)dx converges, then âŤ[a to â] f(x)dx converges - If âŤ[a to â] f(x)dx diverges, then âŤ[a to â] g(x)dx diverges
Example: Show âŤ[1 to â] (1/(x² + 1))dx converges. 0 < 1/(x² + 1) < 1/x² for x ⼠1. Since âŤ[1 to â] (1/x²)dx converges (to 1), so does âŤ[1 to â] 1/(x²+1)dx.
Key Terms
- Convergent
- Divergent
Worked Examples
Example 1: Infinite limit, convergent
âŤ[0 to â] e^(-x)dx = $lim(tââ)$ [-e^(-x)][0 to t] = $lim(tââ)$ (-e^(-t) + 1) = 1
Example 2: Infinite limit, divergent
âŤ[1 to â] (1/âx)dx = $lim(tââ)$ [2âx][1 to t] = $lim(tââ)$ (2ât - 2) = â
Divergent.
Example 3: Discontinuous at endpoint
âŤ[0 to 1] (1/â(1 - x))dx Discontinuity at x = 1. = $lim(tâ1âť)$ âŤ[0 to t] (1 - x)^(-1/2)dx = $lim(tâ1âť)$ [-2â(1 - x)][0 to t] = $lim(tâ1âť)$ (-2â(1 - t) + 2) = 2
Convergent.
Practice Problems
Problem 1: âŤ[1 to â] (1/xÂł)dx
Answer
Convergent. [-1/(2x²)][1 to â] = 0 + 1/2 = 1/2.Problem 2: âŤ[0 to â] e^(-2x)dx
Answer
Convergent. [-e^(-2x)/2][0 to â] = 0 + 1/2 = 1/2.Problem 3: âŤ[-1 to 1] (1/x²)dx
Answer
Divergent. Discontinuity at x = 0. âŤ[-1 to 0] diverges (goes to â).Problem 4: âŤ[0 to 1] ln(x)dx
Answer
Convergent. [x¡ln(x) - x][0 to 1] = (0 - 1) - (0 - 0) = -1.Problem 5: Use comparison: does âŤ[1 to â] e^(-x)/x dx converge?
Answer
For x ⼠1: 0 < e^(-x)/x < e^(-x). Since âŤ[1 to â] e^(-x)dx = 1/e converges, by the Comparison Test, âŤ[1 to â] e^(-x)/x dx also converges.Summary
Key takeaways:
- Type 1: infinite limits â evaluate as limit
- Type 2: discontinuous integrand â split at discontinuity, evaluate each limit
- Convergent if limit is finite, divergent otherwise
- Comparison test: compare with known convergent/divergent integral
Pitfalls
- Treating improper integrals as ordinary definite integrals. For âŤ[1 to â] (1/x)dx, plugging â directly into the antiderivative gives a meaningless expression. You must write the limit explicitly: lim_{tââ} âŤ[1 to t] (1/x)dx and evaluate the limit properly.
- Not checking for interior discontinuities. For âŤ[â1 to 1] (1/x²)dx, the discontinuity at x = 0 lies inside the interval. Evaluating as a single integral without splitting at x = 0 misses the divergence â each piece must be checked independently.
- Misapplying the comparison test direction. To prove convergence, you need 0 ⤠f(x) ⤠g(x) with âŤg convergent â the larger function bounds from above. To prove divergence, you need 0 ⤠g(x) ⤠f(x) with âŤg divergent. Using the wrong inequality direction invalidates the conclusion.
- Assuming convergence implies the integrand must approach zero. While f(x) â 0 is necessary for convergence of a positive, eventually monotone function (like p-integrals and exponentials), it is not a general theorem. Some pathological oscillating functions can have convergent improper integrals without pointwise limits.
- Forgetting to handle both tails in doubly-infinite integrals. For âŤ[ââ to â] f(x)dx, you must split at some c: âŤ[ââ to c] + âŤ[c to â]. Both limits must exist independently. Using a single symmetric limit lim_{tââ} âŤ[ât to t] may give a finite Cauchy principal value even when the improper integral actually diverges.
Quiz
Q1: âŤ[1 to â] (1/x²)dx is:
A) Convergent, value = 1 B) Divergent C) Convergent, value = 0 D) Convergent, value = â
Answer and Explanations
**Correct: A)** - If you chose A: [-1/x][1 to â] = 0 - (-1) = 1. Convergent. Correct! - If you chose B: 1/x² actually converges (p = 2 > 1). Only 1/x^p with p ⤠1 diverges. - If you chose C: The value is 1, not 0. - If you chose D: Convergent means finite value. â means divergent.Q2: âŤ[1 to â] (1/x)dx is:
A) Convergent B) Divergent C) Convergent to ln(2) D) Convergent to 1
Answer and Explanations
**Correct: B)** - If you chose B: [ln(x)][1 to â] = â. Diverges. Correct! - If you chose A: 1/x diverges on [1, â). This is the harmonic series integral. - If you chose C: ln(2) is the value on [1, 2], not [1, â). - If you chose D: That's the value for 1/x², not 1/x.Q3: âŤ[0 to 1] (1/âx)dx is:
A) Divergent B) Convergent to 2 C) Convergent to 1 D) Convergent to 1/2
Answer and Explanations
**Correct: B)** - If you chose B: [2âx][0 to 1] = 2. Convergent. Correct! - If you chose A: 1/âx = x^(-1/2) with p = 1/2 < 1, but the singularity is at the endpoint x = 0, and the integral from Îľ to 1 gives 2 - 2âÎľ â 2. It converges. - If you chose C: 1 would be for âŤ[0 to 1] âx dx = 2/3, not 1. - If you chose D: That's âŤ[0 to 1] x dx = 1/2.Q4: For âŤ[a to â] f(x)dx, if f(x) > 0 and the integral converges, then:
A) f(x) must approach 0 as x â â B) f(x) can approach any value C) f(x) must be bounded D) f(x) must be decreasing
Answer and Explanations
**Correct: A)** - If you chose A: If âŤ[a to â] f(x)dx converges and f(x) ⼠0, then $lim(xââ)$ f(x) = 0. Otherwise the area wouldn't shrink to zero. Correct! - If you chose B: f(x) must approach 0. If it approached a positive constant, the integral would diverge. - If you chose C: Boundedness is necessary but not sufficient. f(x) = 1/x is bounded but its integral diverges on [1, â). - If you chose D: f(x) doesn't need to be decreasing (e.g., oscillating but decaying).Q5: âŤ[0 to â] e^(-x²)dx:
A) Diverges B) Equals âĎ/2 C) Equals 1 D) Equals Ď
Answer and Explanations
**Correct: B)** - If you chose B: The Gaussian integral âŤ[0 to â] e^(-x²)dx = âĎ/2. (The full integral from ââ to â equals âĎ; by symmetry, half of that from 0 to â.) Correct! - If you chose A: e^(-x²) decays faster than any polynomial â the integral converges. - If you chose C: 1 would be for âŤ[0 to â] e^(-x)dx = 1. - If you chose D: Ď = (âĎ)². The integral is âĎ/2, not Ď.Next Steps
Next up: 05-09-applications-of-integration.md