May 26, 2026 - Comprehensive Guide to Improper Integrals and Advanced Integration Techniques

Core Concepts of Improper Integrals

• Definition and Structural Change: An improper integral occurs when the interval of integration is infinite or when the function has a discontinuity within the interval of integration.
• Notation and Limits: To evaluate an improper integral involving infinity, we replace the infinity symbol with a variable (e.g., $t$) and take the limit as that variable approaches infinity.
  • For an upper bound of infinity:         $\int_a^\infty f(x)\,dx = \lim_{t \rightarrow \infty} \int_a^t f(x)\,dx$
• Continuity Requirement: For this method to be valid, the function $f(x)$ must be continuous on the interval $[a, \infty)$. If there are breaks, jumps, or discontinuities in the function, it is treated as a separate type of improper integral.
• Convergence vs. Divergence:
  • Convergent: If the limit exists and equals a finite number, the integral is said to converge.
  • Divergent: If the limit does not exist (e.g., it goes to positive or negative infinity), the integral is said to diverge.

Integration over Infinite Intervals (Type I)

• Evaluation from Negative Infinity: If the lower bound is negative infinity, we replace it with a variable and take the limit as that variable approaches negative infinity.
  • $\int_{-\infty}^b f(x)\,dx = \lim_{t \rightarrow -\infty} \int_t^b f(x)\,dx$
• Evaluation over the Entire Real Line: If the integral spans from $-\infty$ to $\infty$, the integral must be split at an arbitrary point in its domain (standard practice uses $0$).
  • $\int_{-\infty}^{\infty} f(x)\,dx = \int_{-\infty}^0 f(x)\,dx + \int_0^{\infty} f(x)\,dx$
  • Stipulation: The original integral converges only if both separate integrals converge. If one part diverges, the entire integral diverges.

Case Study: The Divergence of 1/x

• Problem Statement: Determine if the area under $f(x) = \frac{1}{x}$ from $1$ to $\infty$ converges.
• Setup:     $\lim_{t \rightarrow \infty} \int_1^t \frac{1}{x}\,dx$
• Anti-derivative: The anti-derivative of $\frac{1}{x}$ is $\ln|x|$. Since we are working with the interval $[1, \infty)$, the absolute value can be dropped.
• Evaluation:     $\lim_{t \rightarrow \infty} [\ln(x)]_1^t = \lim_{t \rightarrow \infty} (\ln(t) - \ln(1))$$\ln(1) = 0$
• Result: The graph of $\ln(t)$ grows indefinitely as $t \rightarrow \infty$; it does not have a horizontal asymptote. Therefore, the area is infinite, and the integral diverges.

Gabriel's Horn: A Mathematical Paradox

• Physical Description: Gabriel’s Horn is a geometric figure created by revolving the function $f(x) = \frac{1}{x}$ around the $x$-axis for the interval $x \in [1, \infty)$.
• Volume Calculation (Disc Method):
  • The radius of any given disc is the $y$-value, which is $f(x) = \frac{1}{x}$.
  • The area of a circle is $A = \pi r^2$, so the area function for a slice is $A(x) = \pi \left(\frac{1}{x}\right)^2 = \frac{\pi}{x^2}$.
  • $\text{Volume} = \pi \int_1^\infty \frac{1}{x^2}\,dx = \pi \lim_{t \rightarrow \infty} \int_1^t x^{-2}\,dx$
  • Using the power rule:         $\pi \lim_{t \rightarrow \infty} \left[ -\frac{1}{x} \right]_1^t = \pi \lim_{t \rightarrow \infty} \left( -\frac{1}{t} - (-1) \right)$
  • As $t \rightarrow \infty$, $\frac{1}{t} \rightarrow 0$.
  • $\text{Volume} = \pi(0 + 1) = \pi$
• The Paradox:
  • The Volume is finite and equal to $\pi$.
  • The Surface Area of the same object is infinite.
  • The Paint Paradox: This implies one could fill the inside of the horn with a finite amount of paint ($\pi$ units), but one could never paint the entire outside surface of the horn, as the surface area is infinite. This is a classic contradiction in calculus.
• Relationship between Exponents:
  • $\int_1^\infty \frac{1}{x}\,dx$ diverges.
  • $\int_1^\infty \frac{1}{x^2}\,dx$ converges.
  • General Rule: For $\int_1^\infty \frac{1}{x^p}\,dx$, the integral converges if $p > 1$ and diverges if $p \leq 1$.

Worked Example: Arc Tangent and Infinite Bounds

• Problem: Find the area under $f(x) = \frac{1}{x^2 + 4}$ from $-\infty$ to $0$.
• Setup:     $\lim_{t \rightarrow -\infty} \int_t^0 \frac{1}{x^2 + 4}\,dx$
• Formula Reference: The integral of $\frac{1}{x^2 + a^2}$ is $\frac{1}{a} \arctan\left(\frac{x}{a}\right)$. Here, $a^2 = 4$, so $a = 2$.
• Evaluation:     $\lim_{t \rightarrow -\infty} \left[ \frac{1}{2} \arctan\left(\frac{x}{2}\right) \right]_t^0$$\frac{1}{2} \arctan(0) - \lim_{t \rightarrow -\infty} \frac{1}{2} \arctan\left(\frac{t}{2}\right)$
• Horizontal Asymptotes of Arc Tan:
  • The graph of $\arctan(x)$ has horizontal asymptotes at $y = \frac{\pi}{2}$ and $y = -\frac{\pi}{2}$.
  • As $t \rightarrow \infty$, $\arctan(t) \rightarrow \frac{\pi}{2}$.
  • As $t \rightarrow -\infty$, $\arctan(t) \rightarrow -\frac{\pi}{2}$.
• Final Calculation:     $0 - \frac{1}{2} \left(-\frac{\pi}{2}\right) = \frac{\pi}{4}$
• Conclusion: The integral converges to $\frac{\pi}{4}$.

Worked Example: Integration by Parts and L'Hôpital's Rule

• Problem: Evaluate $\int_{-\infty}^\infty x e^x\,dx$.
• Step 1: Splitting the Integral:     $\int_{-\infty}^0 x e^x\,dx + \int_0^\infty x e^x\,dx$
• Step 2: Identifying Divergence (Right Side):     Looking at the limit as $t \rightarrow \infty$ for $x e^x$. Since both $x$ and $e^x$ grow toward infinity, the integral $\int_0^\infty x e^x\,dx$ will grow forever ($+\infty$) and diverge. By definition, if one part diverges, the whole integral diverges.
• Step 3: Calculating Anti-derivative (Integration by Parts):
  • Let $u = x$, then $du = dx$.
  • Let $dv = e^x\,dx$, then $v = e^x$.
  • $\int x e^x\,dx = uv - \int v\,du = x e^x - e^x$
• Step 4: Evaluating the Left Limit ($t \rightarrow -\infty$):     $\int_t^0 x e^x\,dx = [x e^x - e^x]_t^0 = (0 - e^0) - (t e^t - e^t) = -1 - t e^t + e^t$
  • As $t \rightarrow -\infty$, $e^t \rightarrow 0$.
  • For the term $t e^t$, we have an indeterminate form ($-\infty \times 0$). Rewrite as $\lim_{t \rightarrow -\infty} \frac{t}{e^{-t}}$.
  • Applying L'Hôpital's Rule:         $\lim_{t \rightarrow -\infty} \frac{\frac{d}{dt}(t)}{\frac{d}{dt}(e^{-t})} = \lim_{t \rightarrow -\infty} \frac{1}{-e^{-t}} = 0$
  • Therefore, the first half converges to $-1$. However, because the right half diverges, the entire integral diverges.

Even and Odd Function Properties

• Even Functions: If $f(x)$ is even ($f(x) = f(-x)$), the area is symmetric across the $y$-axis.
  • $\int_{-\infty}^{\infty} f(x)\,dx = 2 \int_0^{\infty} f(x)\,dx$
  • Example: $\int_{-\infty}^{\infty} (x^2 + 7)\,dx$. This will diverge because both sides go to infinity, but it can be simplified as twice the area of one side.
• Odd Functions: If $f(x)$ is odd ($f(-x) = -f(x)$), the areas on either side of the $y$-axis have opposite signs.
  • Example: $\int_{-\infty}^{\infty} x^3\,dx$. The area from $-\infty$ to $0$ is negative, and from $0$ to $\infty$ is positive.
  • Note: While it looks like it would cancel to $0$, in the context of improper integrals, if the parts separately go to infinity, the integral technically diverges mathematically unless specific Cauchy Principal Value methods are applied (though standard undergrad calculus defines it as divergent).

Discontinuities at Boundaries (Type II)

• Vertical Asymptotes: If a function has a horizontal asymptote at a vertical line (e.g., $x=b$), we take a limit approaching that value.
• Case 1: Discontinuity at the Upper Bound ($b$):
  • If $f(x)$ is continuous on $[a, b)$, but discontinuous at $b$:         $\int_a^b f(x)\,dx = \lim_{t \rightarrow b^-} \int_a^t f(x)\,dx$
• Case 2: Discontinuity at the Lower Bound ($a$):
  • If $f(x)$ is continuous on $(a, b]$, but discontinuous at $a$:         $\int_a^b f(x)\,dx = \lim_{t \rightarrow a^+} \int_t^b f(x)\,dx$
• Case 3: Internal Discontinuity ($c$):
  • If $f(x)$ is discontinuous at point $c$ where $a < c < b$:         $\int_a^b f(x)\,dx = \lim_{t \rightarrow c^-} \int_a^t f(x)\,dx + \lim_{s \rightarrow c^+} \int_s^b f(x)\,dx$

Worked Example: Type II Discontinuity

• Problem: $\int_0^4 \frac{1}{\sqrt{4-x}}\,dx$
• Identify Problem: At $x=4$, the denominator is zero. This is an improper integral at the upper bound.
• Setup:     $\lim_{t \rightarrow 4^-} \int_0^t (4-x)^{-\frac{1}{2}}\,dx$
• Antiderivative: Using a simple u-substitution ($u = 4-x, du = -dx$):     $\int (4-x)^{-\frac{1}{2}}\,dx = -2\sqrt{4-x}$
• Evaluation:     $\lim_{t \rightarrow 4^-} \left[ -2\sqrt{4-x} \right]_0^t = \lim_{t \rightarrow 4^-} (-2\sqrt{4-t} - (-2\sqrt{4-0}))$$\lim_{t \rightarrow 4^-} (-2\sqrt{0} + 2\sqrt{4}) = 0 + 2(2) = 4$
• Conclusion: The integral converges to $4$.

Worked Example: Logarithmic Discontinuity

• Problem: $\int_0^2 x \ln(x)\,dx$
• Identify Problem: Natural log is undefined at $x=0$. This is improper at the lower bound.
• Setup:     $\lim_{t \rightarrow 0^+} \int_t^2 x \ln(x)\,dx$
• Integration by Parts:
  • Let $u = \ln(x)$, then $du = \frac{1}{x}dx$.
  • Let $dv = x\,dx$, then $v = \frac{x^2}{2}$.
  • $\int x \ln(x)\,dx = \frac{x^2 \ln(x)}{2} - \int \frac{x}{2}\,dx = \frac{x^2 \ln(x)}{2} - \frac{x^2}{4}$
• Evaluation:     $\left[ \frac{x^2 \ln(x)}{2} - \frac{x^2}{4} \right]_t^2 = \left( \frac{4 \ln(2)}{2} - \frac{4}{4} \right) - \left( \frac{t^2 \ln(t)}{2} - \frac{t^2}{4} \right)$$(2 \ln(2) - 1) - \lim_{t \rightarrow 0^+} \left( \frac{t^2 \ln(t)}{2} - \frac{t^2}{4} \right)$
• L'Hôpital's Rule for $t^2 \ln(t)$:
  • Form: $0 \times -\infty$. Rewrite as $\frac{\ln(t)}{2/t^2}$.
  • Derivative of numerator: $\frac{1}{t}$.
  • Derivative of denominator: $-4 t^{-3}$.
  • $\lim_{t \rightarrow 0^+} \frac{1/t}{-4/t^3} = \lim_{t \rightarrow 0^+} -\frac{t^2}{4} = 0$
• Final Result: The integral converges to $2 \ln(2) - 1$.

Administrative and Review Notes

• Schedule: Tuesday was the lecture on improper integrals. Wednesday is a review session. Thursday and the following Monday will transition into testing or more reviews.
• Test Material: The first test covers everything up to these integration techniques. Specific focus is on the "Techniques of Integration" homework, which serves as a practice test.
• Homework:
  • Homework on Rational Functions (Partial Fraction Decomposition) will be combined with today's homework on Improper Integrals.
  • The practice test/review will be renamed "Techniques of Integration Review."