Calculus II: The Integral Test for Infinite Series Convergence

Administrative Information and Course Logistics

  • Weekly Schedule and Deadlines:

    • Homework is due on Thursday.
    • There is no quiz on Thursday.
    • Attendance at discussion section is strongly advised regardless of the lack of a quiz, as active problem solving is essential for mastering mathematics and teaching assistants provide dedicated support.
    • Module 2 is due on Sunday.
  • Exam Performance and Statistics:

    • Exam grades are released via Gradescope in the afternoon.
    • The exam median score is approximately 8686.
    • The exam mean score is slightly lower than the median, located in the mid-85s85\text{s}.
  • Regrade Policy and Procedures:

    • Regrade requests open on Gradescope immediately after grades are published.
    • Students who identify rubric discrepancies (such as losing points despite correctly stating an expression like x=3sin⁡(x)x = 3\sin(x)) may submit a formal request for the grader to review the submission.
    • All regrade communication must remain professional, kind, and polite toward the human grader, clearly articulating the mathematical justification for why credit should be awarded.

Introduction to Infinite Series Convergence

  • The Nature of Series in Chapter 11:

    • For the vast majority of infinite series, determining the exact value to which the series converges is impossible with standard tools.
    • The primary objective in Chapter 11 is to answer the binary question: does the series converge, or does the series diverge?
    • Chapter 11 introduces a comprehensive suite of convergence tests designed to definitively determine convergence or divergence without necessarily finding the sum.
  • Inventory of Known Convergence Tools Prior to the Integral Test:

    • Geometric series
    • Harmonic series
    • Alternating series
    • Divergence test (Test for Divergence)

The Integral Test: Definitions, Conditions, and Framework

  • Fundamental Concept:

    • The Integral Test provides a direct connection between the convergence of an infinite series and the convergence of an improper integral.
    • Given an infinite series ∑n=1∞an\sum_{n=1}^{\infty} a_n, an associated continuous real-valued function f(x)f(x) is constructed such that f(n)=anf(n) = a_n at all integer points nn.
    • The transformation from a discrete series term to a continuous function typically involves replacing the discrete index variable nn with the continuous real variable xx.
  • The Three Mandatory Hypotheses:

    • For the Integral Test to be valid, the corresponding function f(x)f(x) on the interval of interest (typically [1,∞)[1, \infty)) must satisfy three conditions:
    1. Continuous: The function must have no discontinuities, vertical asymptotes, or undefined values on the integration interval.
    2. Positive: f(x)>0f(x) > 0 across the entire integration interval.
    3. Decreasing: The function values must decrease as xx increases.
  • Rigorous Theorem Statement:

    • Let f(x)f(x) be a continuous, positive, and decreasing function on [1,∞)[1, \infty), and let an=f(n)a_n = f(n).
    • If the improper integral ∫1∞f(x) dx\int_{1}^{\infty} f(x)\,dx converges, then the series ∑n=1∞an\sum_{n=1}^{\infty} a_n converges.
    • If the improper integral ∫1∞f(x) dx\int_{1}^{\infty} f(x)\,dx diverges, then the series ∑n=1∞an\sum_{n=1}^{\infty} a_n diverges.
  • Key Strengths and Structural Properties of the Test:

    • Decisiveness: Unlike certain tests that can yield inconclusive results, the Integral Test always produces a definitive conclusion (convergence or divergence), provided that the function satisfies the hypotheses and an antiderivative can be evaluated.
    • Three-Part Analytical Protocol: Every application of the Integral Test must formally include:
    1. Explicit statement and verification of the three hypotheses (continuous, positive, decreasing).
    2. Execution of the improper integral using formal limit notation.
    3. A clear conclusion explicitly naming the Integral Test and stating whether the original infinite series converges or diverges.
  • Critical Caveats and Flexibility Rules:

    • Non-Unit Starting Indices:
    • The lower index does not need to be 11.
    • If a series begins at any arbitrary positive integer aa (such as ∑n=2∞an\sum_{n=2}^{\infty} a_n, ∑n=5∞an\sum_{n=5}^{\infty} a_n, or ∑n=15∞an\sum_{n=15}^{\infty} a_n), the Integral Test applies directly using the corresponding lower limit of integration: ∫a∞f(x) dx\int_{a}^{\infty} f(x)\,dx.
    • Eventual Decreasing Requirement:
    • A function does not need to decrease across its entire initial domain; it only needs to be eventually decreasing.
    • If a function increases initially over a finite interval and begins decreasing permanently past some critical threshold x=cx = c, the Integral Test remains fully valid.
    • The initial non-decreasing portion represents a finite region with a finite, positive area that cannot cause an integral to diverge.
    • Oscillating functions that alternate infinitely between increasing and decreasing (such as sin⁡(x)\sin(x)) fail this condition and cannot be evaluated with the Integral Test.
    • Sum Value vs. Integral Value:
    • The numerical value of the improper integral does not equal the sum of the series.
    • If ∫1∞f(x) dx=L\int_{1}^{\infty} f(x)\,dx = L, the series converges, but its sum is generally not equal to LL.

Fully Worked Example: Inverse Tangent Series

  • Problem Statement:

    • Determine whether the series ∑n=1∞1n2+1\sum_{n=1}^{\infty} \frac{1}{n^2 + 1} converges or diverges.
  • Step 1: Function Definition:

    • Define the continuous real function: f(x)=1x2+1f(x) = \frac{1}{x^2 + 1}.
  • Step 2: Verification of Conditions:

    • Continuity: The denominator x2+1x^2 + 1 is strictly positive for all real xx, having no real zeros (x2+1≥1x^2 + 1 \ge 1). Thus, f(x)f(x) is continuous on [1,∞)[1, \infty).
    • Positivity: For all x≥1x \ge 1, the numerator is 1>01 > 0 and the denominator x2+1>0x^2 + 1 > 0. Hence, f(x)>0f(x) > 0.
    • Decreasing: The numerator is a constant (11), while the denominator x2+1x^2 + 1 increases monotonically as xx increases for all x≥1x \ge 1. Because the denominator grows larger while the numerator remains fixed, the fraction decreases. Thus, f(x)f(x) is decreasing.
  • Step 3: Setup and Evaluation of the Improper Integral:

    • Express the improper integral using formal limit notation:     ∫1∞1x2+1 dx=lim⁡t→∞∫1t1x2+1 dx\int_{1}^{\infty} \frac{1}{x^2 + 1}\,dx = \lim_{t \to \infty} \int_{1}^{t} \frac{1}{x^2 + 1}\,dx
    • Recognize the standard antiderivative:     ∫1x2+1 dx=arctan⁡(x)\int \frac{1}{x^2 + 1}\,dx = \arctan(x)
    • Apply the Fundamental Theorem of Calculus:     lim⁡t→∞[arctan⁡(x)]1t=lim⁡t→∞(arctan⁡(t)−arctan⁡(1))\lim_{t \to \infty} \left[ \arctan(x) \right]_{1}^{t} = \lim_{t \to \infty} \left( \arctan(t) - \arctan(1) \right)
    • Evaluate the individual limits and trigonometric values:
    • As t→∞t \to \infty, arctan⁡(t)→π2\arctan(t) \to \frac{\pi}{2}.
    • For arctan⁡(1)\arctan(1), find the angle whose tangent is 11: arctan⁡(1)=π4\arctan(1) = \frac{\pi}{4}.
    • Compute the result:     lim⁡t→∞(arctan⁡(t)−arctan⁡(1))=π2−π4=π4\lim_{t \to \infty} \left( \arctan(t) - \arctan(1) \right) = \frac{\pi}{2} - \frac{\pi}{4} = \frac{\pi}{4}
  • Step 4: Formal Conclusion:

    • Because the improper integral converges to π4\frac{\pi}{4}, by the Integral Test, the series ∑n=1∞1n2+1\sum_{n=1}^{\infty} \frac{1}{n^2 + 1} converges.

Methodological Rules for Substitution and Justification

  • Justifying Decreasing Behavior:

    • When the variable appears exclusively in the denominator and the numerator is a constant, stating that the denominator increases is sufficient to establish that the function decreases.
    • When the variable appears in both the numerator and the denominator, verbal or intuitive arguments regarding relative growth rates are insufficient; explicit algebraic justification via the First Derivative Test (f′(x)<0f'(x) < 0) is required.
  • Rigorous Handling of uu-Substitution in Improper Integrals:

    • When performing a uu-substitution within an improper integral, mixing xx-bounds with a uu-differential (e.g., writing lim⁡t→∞∫1tu du\lim_{t \to \infty} \int_{1}^{t} u\,du when 11 and tt are bounds for xx) is mathematically invalid.
    • Two acceptable procedural paths exist:
    1. Transform the Bounds: Convert the limits of integration directly into values of uu using the substitution equation before integrating.
    2. Indefinite Integral Route: Treat the antiderivative as a separate indefinite integral, compute the antiderivative in terms of uu, add +C+ C, substitute back into the original variable xx, and then evaluate the definite integral across the original bounds using limit notation.
  • Integration Mechanics of Linear Compositions:

    • In substitutions involving an expression of the form u=ax+bu = ax + b, the differential du=a dxdu = a\,dx introduces a scaling factor of 1a\frac{1}{a}.
    • Integrating terms such as u−4u^{-4} yields u−3−3\frac{u^{-3}}{-3}, introducing a denominator factor of −3-3.
    • Combining a differential factor of 13\frac{1}{3} and an integration factor of 1−3\frac{1}{-3} produces an overall coefficient denominator of 99 (specifically −19-\frac{1}{9}).

Advanced Worked Example: First Derivative Test and Logarithmic Series

  • Problem Statement:

    • Determine whether the series ∑n=1∞ln⁡(n)n\sum_{n=1}^{\infty} \frac{\ln(n)}{n} converges or diverges.
  • Step 1: Function Definition:

    • Define the continuous real function: f(x)=ln⁡(x)xf(x) = \frac{\ln(x)}{x}.
  • Step 2: Verification of Conditions:

    • Continuity: The natural logarithm ln⁡(x)\ln(x) is continuous for all x>0x > 0, and the rational division by xx is continuous for all x≠0x \neq 0. Because the domain is [1,∞)[1, \infty), f(x)f(x) is continuous.
    • Positivity: For all x>1x > 1, ln⁡(x)>0\ln(x) > 0 and x>0x > 0, which means f(x)>0f(x) > 0. (At the initial point x=1x = 1, f(1)=ln⁡(1)1=0f(1) = \frac{\ln(1)}{1} = 0, but the terms are strictly positive for all x>1x > 1).
    • Decreasing (First Derivative Analysis):
    • Because both the numerator and the denominator contain xx, intuitive comparisons fail; the First Derivative Test must be applied.
    • Apply the Quotient Rule, where the low function is xx and the high function is ln⁡(x)\ln(x):       f′(x)=low⋅d(high)−high⋅d(low)(low)2=x⋅(1x)−ln⁡(x)⋅1x2f'(x) = \frac{\text{low} \cdot d(\text{high}) - \text{high} \cdot d(\text{low})}{(\text{low})^2} = \frac{x \cdot \left(\frac{1}{x}\right) - \ln(x) \cdot 1}{x^2}
    • Simplify the numerator:       f′(x)=1−ln⁡(x)x2f'(x) = \frac{1 - \ln(x)}{x^2}
    • Set f′(x)<0f'(x) < 0 to find where the function is decreasing:       1−ln⁡(x)x2<0\frac{1 - \ln(x)}{x^2} < 0
    • Because the denominator x2x^2 is strictly positive for all x≥1x \ge 1, the sign of f′(x)f'(x) is determined entirely by the numerator:       1−ln⁡(x)<01 - \ln(x) < 01<ln⁡(x)1 < \ln(x)
    • Apply the exponential base ee to both sides:       e1<eln⁡(x)  ⟹  x>ee^1 < e^{\ln(x)} \implies x > e
    • Because e≈2.718e \approx 2.718, the function is strictly decreasing for all x>ex > e.
    • The function satisfies the requirement of being eventually decreasing.
  • Step 3: Setup and Evaluation of the Improper Integral:

    • Maintain the original lower limit of integration from the series (x=1x = 1) rather than changing it to ee:     ∫1∞ln⁡(x)x dx=lim⁡t→∞∫1tln⁡(x)x dx\int_{1}^{\infty} \frac{\ln(x)}{x}\,dx = \lim_{t \to \infty} \int_{1}^{t} \frac{\ln(x)}{x}\,dx
    • Apply uu-substitution:
    • Let u=ln⁡(x)u = \ln(x).
    • Then du=1x dxdu = \frac{1}{x}\,dx.
    • Transform the integration bounds from xx to uu:
    • Lower bound: when x=1x = 1, u=ln⁡(1)=0u = \ln(1) = 0.
    • Upper bound: when x=tx = t, u=ln⁡(t)u = \ln(t).
    • Rewrite the integral entirely in terms of uu:     lim⁡t→∞∫0ln⁡(t)u du\lim_{t \to \infty} \int_{0}^{\ln(t)} u\,du
    • Evaluate the antiderivative:     lim⁡t→∞[u22]0ln⁡(t)=lim⁡t→∞((ln⁡(t))22−022)=lim⁡t→∞(ln⁡(t))22\lim_{t \to \infty} \left[ \frac{u^2}{2} \right]_{0}^{\ln(t)} = \lim_{t \to \infty} \left( \frac{(\ln(t))^2}{2} - \frac{0^2}{2} \right) = \lim_{t \to \infty} \frac{(\ln(t))^2}{2}
    • Compute the limit as t→∞t \to \infty:
    • As t→∞t \to \infty, ln⁡(t)→∞\ln(t) \to \infty, so (ln⁡(t))22→∞\frac{(\ln(t))^2}{2} \to \infty.
  • Step 4: Formal Conclusion:

    • The improper integral diverges to ∞\infty.
    • By the Integral Test, the series ∑n=1∞ln⁡(n)n\sum_{n=1}^{\infty} \frac{\ln(n)}{n} diverges.

Questions and Discussion

  • Exam Score Distributions:

    • Question: What was the class mean on the exam compared to the median?
    • Response: The median score was approximately 8686. The mean is consistently slightly lower than the median in these distributions, falling in the mid-85s85\text{s}. Full statistics are communicated formally via email.
  • Alternative Testing Methods (Comparison Test vs. Integral Test):

    • Question (from MJ): Could a series like ∑n=1∞1n2+1\sum_{n=1}^{\infty} \frac{1}{n^2 + 1} be evaluated using a pp-series test or a comparison test instead of evaluating an improper integral?
    • Response: Yes, multiple tests can often successfully evaluate the same series. Comparison tests (detailed in Section 11.4) allow series to be compared directly to known pp-series. The Integral Test is chosen here as a foundational tool, but alternative valid tests will expand throughout the unit.
  • Requirements for Demonstrating Decreasing Behavior:

    • Question (from Nina): What specific work must be shown to justify that a function is decreasing, and is it permissible to use the First Derivative Test?
    • Response: When an expression has a constant numerator and an increasing denominator, stating that the denominator grows larger is sufficient for justification. However, when both the numerator and denominator contain the independent variable, intuitive assertions about which part grows faster are not acceptable. The First Derivative Test must be performed algebraically by computing f′(x)f'(x), setting f′(x)<0f'(x) < 0, and solving for the domain of xx where the inequality holds.
  • Selecting Lower Bounds for Eventually Decreasing Integrals:

    • Question: Since the function f(x)=ln⁡(x)xf(x) = \frac{\ln(x)}{x} only begins decreasing once x>ex > e, should the lower bound of integration in the improper integral be adjusted from 11 to ee?
    • Response: No. The improper integral should always retain the original lower bound of the given series (here, from 11 to tt). The theoretical validity of the Integral Test requires only that the function be eventually decreasing; the integration bounds themselves remain aligned with the initial index of the summation.