6.4 Definite & Indefinite Integrals, Riemann Sums & FTC

6.4 Definite & Indefinite Integrals, Riemann Sums & FTC

Integral calculus completes the fundamental duality of infinitesimal analysis. Where differential calculus decomposes curves into instantaneous rates of change, integral calculus accumulates continuous quantities across domains to determine total accumulation, net signed areas, volumes, and physical work. For secondary mathematics educators, mastering the conceptual architecture of the definite integral—from finite Riemann partitions to the Fundamental Theorem of Calculus—is essential for guiding students from discrete summation to continuous integration.

---

1. Antiderivatives, Families of Functions & Indefinite Integrals

The Concept of an Antiderivative

A function $F$ is an antiderivative of $f$ on an open interval $I$ if and only if: $F'(x) = f(x) \quad \text{for all } x \in I$

Because the derivative of any constant is zero, antidifferentiation does not produce a unique function. If $F(x)$ is an antiderivative of $f(x)$, then for any constant $C \in \mathbb{R}$, the function $G(x) = F(x) + C$ is also an antiderivative. The indefinite integral denotes this entire family of functions: $\int f(x) \, dx = F(x) + C$ where $\int$ is the integral sign, $f(x)$ is the integrand, $x$ is the variable of integration, and $C$ is the arbitrary constant of integration.

Why the Constant $C$ is Essential: By the Mean Value Theorem, if two differentiable functions have identical derivatives on an interval ($F'(x) = G'(x)$), then their difference $H(x) = F(x) - G(x)$ has derivative $H'(x) = 0$, requiring $H(x) = C$. Thus, adding $+C$ captures every possible antiderivative.

Core Indefinite Integral Formulas

Reversing foundational differentiation rules yields standard integration formulas:

• Power Rule for Integration: $\int x^n , dx = \frac{x^{n+1}}{n + 1} + C \quad (n \ne -1)$
• Logarithmic Integration: $\int \frac{1}{x} , dx = \ln |x| + C \quad (x \ne 0)$
• Exponential Functions: $\int e^x , dx = e^x + C$ and $\int a^x , dx = \frac{a^x}{\ln a} + C$
• Trigonometric Functions:
  • $\int \cos x , dx = \sin x + C$
  • $\int \sin x , dx = -\cos x + C$
  • $\int \sec^2 x , dx = \tan x + C$
  • $\int \sec x \tan x , dx = \sec x + C$

---

2. Definite Integrals as Net Signed Area & The Limit of Riemann Sums

While the indefinite integral represents a family of functions, the definite integral $\int_a^b f(x) , dx$ evaluates to a single real number representing continuous accumulation.

Construction of Riemann Sums

To define the area under $y = f(x)$ on $[a, b]$:

1. Partition the interval $[a, b]$ into $n$ subintervals by selecting points $a = x_0 < x_1 < x_2 < \dots < x_n = b$. For a uniform partition, each subinterval has width: $\Delta x = \frac{b - a}{n}$
2. Within each subinterval $[x_{i-1}, x_i]$, choose an arbitrary sample point $x_i^*$.
3. Form the Riemann sum by summing the areas of $n$ approximating rectangles: $S_n = \sum_{i=1}^n f(x_i^*) \, \Delta x$

The Definite Integral Definition

[!IMPORTANT] Definition (The Definite Integral): If $f$ is continuous on $[a, b]$, the limit of the Riemann sums as $n \to \infty$ (or as the partition mesh $\max \Delta x_i \to 0$) exists and is independent of the choice of sample points $x_i^*$: $\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^n f(x_i^*) \, \Delta x$

Geometric Interpretation: Net Signed Area

The definite integral measures net signed area between the curve $y = f(x)$ and the $x$-axis from $x = a$ to $x = b$:

• Regions where $f(x) > 0$ (above the $x$-axis) contribute positive area ($A_{\text{above}} > 0$).
• Regions where $f(x) < 0$ (below the $x$-axis) contribute negative area ($A_{\text{below}} < 0$). $\int_a^b f(x) \, dx = A_{\text{above}} - A_{\text{below}}$ To compute the total geometric area enclosed between the curve and the $x$-axis, one must integrate the absolute value: $\text{Total Area} = \int_a^b |f(x)| , dx$.

---

3. Numerical Approximations & Error/Bounding Behavior

When an antiderivative cannot be expressed in elementary terms (such as $\int e^{-x^2} dx$), numerical integration provides controlled approximations.

Standard Approximation Methods

For a uniform partition of $[a, b]$ with width $\Delta x = \frac{b - a}{n}$:

• Left Riemann Sum ($L_n$): Chooses left endpoints $x_i^* = x_{i-1}$: $L_n = \Delta x \sum_{i=0}^{n-1} f(x_i)$
• Right Riemann Sum ($R_n$): Chooses right endpoints $x_i^* = x_i$: $R_n = \Delta x \sum_{i=1}^n f(x_i)$
• Midpoint Rule ($M_n$): Chooses midpoints $m_i = \frac{x_{i-1} + x_i}{2}$: $M_n = \Delta x \sum_{i=1}^n f(m_i)$
• Trapezoidal Rule ($T_n$): Approximates the region with trapezoids whose parallel bases are $f(x_{i-1})$ and $f(x_i)$: $T_n = \frac{L_n + R_n}{2} = \frac{\Delta x}{2} \left[ f(x_0) + 2f(x_1) + 2f(x_2) + \dots + 2f(x_{n-1}) + f(x_n) \right]$

Over- and Under-Estimate Criteria

Understanding how function geometry dictates approximation errors is a high-frequency topic on advanced assessments:

Notice that monotonicity dictates over/under-estimates for Left and Right sums, whereas concavity dictates over/under-estimates for Trapezoidal and Midpoint sums.

---

4. The Fundamental Theorem of Calculus (FTC Parts 1 & 2)

The Fundamental Theorem of Calculus connects differential and integral calculus into a single unified discipline.

FTC Part 1: The Accumulation Function

[!IMPORTANT] Theorem (FTC Part 1 - Derivative of an Integral): If $f$ is continuous on $[a, b]$, then the function $g$ defined by $g(x) = \int_a^x f(t) \, dt, \quad a \le x \le b$ is continuous on $[a, b]$, differentiable on $(a, b)$, and its derivative is: $g'(x) = \frac{d}{dx} \left[ \int_a^x f(t) \, dt \right] = f(x)$

Proof Sketch via Difference Quotient: By definition: $g'(x) = \lim_{h \to 0} \frac{g(x+h) - g(x)}{h} = \lim_{h \to 0} \frac{1}{h} \left[ \int_a^{x+h} f(t)dt - \int_a^x f(t)dt \right] = \lim_{h \to 0} \frac{1}{h} \int_x^{x+h} f(t)dt$ By the Mean Value Theorem for Integrals, $\frac{1}{h} \int_x^{x+h} f(t)dt = f(c_h)$ for some $c_h \in [x, x+h]$. As $h \to 0$, $c_h \to x$. Because $f$ is continuous, $\lim_{h \to 0} f(c_h) = f(x)$. Thus, $g'(x) = f(x)$.

Extension via Leibniz Rule and Chain Rule

When the limits of integration are differentiable functions $u(x)$ and $v(x)$, applying the Chain Rule produces the Leibniz Integral Rule: $\frac{d}{dx} \left[ \int_{u(x)}^{v(x)} f(t) \, dt \right] = f(v(x)) \cdot v'(x) - f(u(x)) \cdot u'(x)$

FTC Part 2: The Evaluation Theorem

[!IMPORTANT] Theorem (FTC Part 2 - The Evaluation Theorem): If $f$ is continuous on $[a, b]$, and $F$ is any antiderivative of $f$ on $[a, b]$ (so $F'(x) = f(x)$), then: $\int_a^b f(x) \, dx = F(b) - F(a) = \Big[ F(x) \Big]_a^b$

This theorem eliminates the need to compute complex infinite limits of Riemann sums, reducing definite integration to finding an antiderivative and taking the difference across boundaries.

---

5. Integration by $u$-Substitution & Area Between Curves

Reversing the Chain Rule ($u$-Substitution)

Integration by substitution is the integral counterpart of the Chain Rule. If $u = g(x)$ is a differentiable function whose range is an interval $I$, and $f$ is continuous on $I$: $\int f(g(x)) g'(x) \, dx = \int f(u) \, du = F(u) + C = F(g(x)) + C$

Transforming Bounds for Definite Integrals

For definite integrals, transforming the integration bounds from $x$-values to corresponding $u$-values establishes a clean, fully transformed integral: $\int_a^b f(g(x)) g'(x) \, dx = \int_{g(a)}^{g(b)} f(u) \, du$ Transforming bounds immediately eliminates the need to back-substitute $u = g(x)$ at the conclusion of the evaluation.

Area Between Two Curves

If $f$ and g are continuous functions with $f(x) \ge g(x)$ on $[a, b]$, the area $A$ of the region bounded above by $y = f(x)$, below by $y = g(x)$, and on the sides by $x = a$ and $x = b$ is: $A = \int_a^b \left[ f(x) - g(x) \right] \, dx = \int_a^b \left[ y_{\text{top}} - y_{\text{bottom}} \right] \, dx$ If the curves intersect, the total area is given by $\int_a^b |f(x) - g(x)| , dx$, splitting the integral at each point of intersection. When curves are more naturally expressed as functions of $y$ ($x = f(y)$ and $x = g(y)$ with $f(y) \ge g(y)$ on $[c, d]$): $A = \int_c^d \left[ x_{\text{right}} - x_{\text{left}} \right] \, dy$

---

6. Secondary Pedagogical Traps & Instructional Interventions

Misconception 1: Confusing Net Signed Area with Total Geometric Area

When asked to compute the area bounded between $f(x) = x^3$ and the $x$-axis on $[-2, 2]$, students frequently write $\int_{-2}^2 x^3 dx = [\frac{x^4}{4}]_{-2}^2 = 4 - 4 = 0$, concluding that the enclosed area is zero.

• Pedagogical Intervention: Explicitly contrast definite integration (which tracks net accumulation, balancing positive and negative areas) with geometric area (which is strictly non-negative). Illustrate graphically that the region on $[-2, 0]$ lies below the axis, contributing $-4$, while the region on $[0, 2]$ lies above, contributing $+4$. To find total physical area, students must set up two separate integrals or integrate the absolute value: $\int_{-2}^0 (-x^3)dx + \int_0^2 x^3 dx = 4 + 4 = 8$.

Misconception 2: Forgetting to Transform Limits of Integration in $u$-Substitution

When evaluating $\int_0^{\sqrt{\pi}} x \sin(x^2) dx$, students frequently write $\int_0^{\sqrt{\pi}} \frac{1}{2} \sin(u) du$, leaving the original $x$-limits attached to the transformed $u$-variable.

• Pedagogical Intervention: Point out that writing $\int_0^{\sqrt{\pi}} \frac{1}{2} \sin(u) du$ is mathematically false because the upper limit is an $x$-value ($x = \sqrt{\pi}$), whereas the differential is $du$. Establish a strict two-column workspace protocol where $u = g(x)$ and $du = g'(x)dx$ are defined alongside explicit boundary conversions: $u(a) = g(a)$ and $u(b) = g(b)$. Reinforce that once bounds are converted to $u$, one never needs to back-substitute to $x$.

Misconception 3: Conflating Monotonicity and Concavity in Riemann Sum Errors

Students frequently believe that whether a Trapezoidal sum is an overestimate or underestimate depends on whether the function is increasing or decreasing.

• Pedagogical Intervention: Draw four simple graphs side-by-side: (1) increasing & concave up, (2) increasing & concave down, (3) decreasing & concave up, (4) decreasing & concave down. Draw secant lines across each curve. Show that secant lines always lie strictly above a concave-up curve regardless of whether the function is rising or falling, proving that the Trapezoidal Rule is an overestimate whenever $f'' > 0$. Contrast this with Left/Right sums, whose rectangle tops cross the curve based entirely on monotonicity.