Definite Integrals

Learning Objectives

  • Define and geometric interpret definite integrals.
  • Explain Riemann sums, Darboux sums, and integrability.
  • State and apply the Fundamental Theorem of Calculus (Part 1 and Part 2).
  • Apply essential properties of definite integrals, including symmetry.
  • State and utilize the Mean Value Theorem for Definite Integrals.
  • Evaluate improper integrals and determine their convergence or divergence.

Unlike the indefinite integral, which represents a family of functions, a definite integral represents a specific numerical value: the net signed area bounded by the graph of a function and the x-axis over a given interval. The formal definition of this area, rigorous bounds, and conditions of integrability were historically formalized by mathematicians such as Bernhard Riemann and Jean Gaston Darboux in the 19th century.

Definite Integral

The definite integral of a continuous function f(x)f(x) from an interval aa to bb, denoted as ∫abf(x) dx\int_a^b f(x) \, dx, geometrically represents the net signed area between the curve y=f(x)y=f(x), the x-axis, and the vertical lines x=ax=a and x=bx=b.

"Signed area" means that areas above the x-axis are considered positive (adding to the total), while areas below the x-axis are considered negative (subtracting from the total). For example, integrating a sine wave over one full period yields zero because the positive area perfectly cancels the negative area.

Interactive Simulation

Explore how increasing the number of rectangles in a Riemann sum improves the approximation of the true area under the curve using the simulation below.

Simulation: Riemann Sums & Area

4
Coarse (2)Fine (100)

Area Analysis

Approximation:1.7500
Exact Integral:2.6666
Absolute Error:0.9166

As $n \to \infty$, the width $\Delta x \to 0$, and the Riemann sum converges precisely to the definite integral.

0.000.251.002.25a=0b=2

Riemann Sums, Darboux Sums, and Integrability

Before the powerful analytical tools of the Fundamental Theorem were developed, mathematicians relied on exhaustive geometric approximations to find areas under arbitrary curves. The core idea of integral calculus is to break a complex shape into simpler pieces whose area we already know how to calculateβ€”like rectangles.

We can estimate the area under a curve f(x)f(x) on the interval [a,b][a, b] by dividing the interval into nn smaller subintervals. For simplicity, we often use subintervals of equal width, given by Ξ”x=bβˆ’an\Delta x = \frac{b-a}{n}.

By constructing rectangles over these subintervals, where the height of each rectangle is determined by the function's value at a specific sample point within the subinterval, the sum of the rectangular areas approximates the total area under the curve. This mathematical construction is known as a Riemann sum, named after Bernhard Riemann.

Definite Integral via Riemann Sums

The exact area is the limit of the Riemann sum.

Definite Integral Definition

Limit of a Riemann sum.

∫abf(x) dx=lim⁑nβ†’βˆžβˆ‘i=1nf(xiβˆ—)Ξ”x\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^n f(x_i^*) \Delta x

Variables

SymbolDescriptionUnit
aaLower limit of integration-
bbUpper limit of integration-
f(x)f(x)Integrand function-
nnNumber of subintervals-
Ξ”x\Delta xWidth of each subinterval-

Components of a Riemann Sum

Rigorous Definition of Integrability: Darboux Sums

While Riemann sums use arbitrary sample points xiβˆ—x_i^*, a more rigorous way to define integrability is through Darboux sums, which use the absolute maximum (supremum) and minimum (infimum) values of the function within each subinterval.

Upper and Lower Darboux Sums

Let MiM_i be the maximum value of f(x)f(x) on the ii-th subinterval, and mim_i be the minimum value.

  • Upper Darboux Sum: Un=βˆ‘i=1nMiΞ”xU_n = \sum_{i=1}^n M_i \Delta x (This overestimates the area).

  • Lower Darboux Sum: Ln=βˆ‘i=1nmiΞ”xL_n = \sum_{i=1}^n m_i \Delta x (This underestimates the area).

    A function f(x)f(x) is defined as strictly integrable on [a,b][a, b] if and only if the limit of the upper sums equals the limit of the lower sums as nβ†’βˆžn \to \infty. This shared limit is the true value of the definite integral. Not all functions are integrable; typically, a function must be bounded and continuous (or have only a finite number of jump discontinuities) to be Riemann integrable.

Numerical Integration Techniques

In engineering practice, we often encounter integrands that do not have an elementary antiderivative (like eβˆ’x2e^{-x^2}), or we may only have discrete data points rather than a continuous function formula. In these cases, analytical integration using the Fundamental Theorem is impossible, and we must rely on numerical approximation methods. The two most common methods are the Trapezoidal Rule and Simpson's Rule.

The Trapezoidal Rule

Instead of rectangles, this rule approximates the area using trapezoids connecting the endpoints of each subinterval. It generally provides a better estimate than Riemann sums for a given number of subintervals nn.

Trapezoidal Rule

Numerical integration using trapezoids.

∫abf(x) dxβ‰ˆΞ”x2[f(x0)+2f(x1)+2f(x2)+β‹―+2f(xnβˆ’1)+f(xn)]\int_a^b f(x) \, dx \approx \frac{\Delta x}{2} \left[ f(x_0) + 2f(x_1) + 2f(x_2) + \dots + 2f(x_{n-1}) + f(x_n) \right]

Variables

SymbolDescriptionUnit
Ξ”x\Delta xWidth of each subinterval-
f(xi)f(x_i)Function evaluated at the i-th point-

Simpson's Rule

Simpson's Rule provides a highly accurate approximation by fitting parabolas (quadratic curves) through groups of three adjacent points, rather than straight lines. It requires an even number of subintervals (nn).

Simpson's Rule

Numerical integration using parabolas.

∫abf(x) dxβ‰ˆΞ”x3[f(x0)+4f(x1)+2f(x2)+4f(x3)+β‹―+2f(xnβˆ’2)+4f(xnβˆ’1)+f(xn)]\int_a^b f(x) \, dx \approx \frac{\Delta x}{3} \left[ f(x_0) + 4f(x_1) + 2f(x_2) + 4f(x_3) + \dots + 2f(x_{n-2}) + 4f(x_{n-1}) + f(x_n) \right]

Variables

SymbolDescriptionUnit
Ξ”x\Delta xWidth of each subinterval-
f(xi)f(x_i)Function evaluated at the i-th point-

The Significance of the Limit

As nβ†’βˆžn \to \infty, the width of the rectangles Ξ”xβ†’0\Delta x \to 0. The approximation becomes infinitely precise, transitioning from a discrete sum to a continuous integral.

The Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus (FTC) is arguably the most important theorem in calculus. It elegantly connects the two main branches: differential calculus and integral calculus, showing they are inverse processes.

Part 1: The Accumulation Function

Imagine an "accumulation function" g(x)g(x) that measures the total accumulated area under a curve f(t)f(t) from a fixed starting point aa up to a variable point xx.

Accumulation Function

The accumulation function calculates the total area up to xx.

Accumulation Function

Function defined by an integral.

g(x)=∫axf(t) dtg(x) = \int_a^x f(t) \, dt

Variables

SymbolDescriptionUnit
g(x)g(x)Accumulation function-
aaLower limit of integration-
xxUpper limit of integration (variable)-
f(t)f(t)Integrand function in terms of t-
dtdtDifferential of t-

Part 1 of the FTC states that if ff is continuous on [a,b][a, b], then this accumulation function g(x)g(x) is continuous on [a,b][a, b], differentiable on (a,b)(a, b), and its derivative is exactly the original function:

Fundamental Theorem of Calculus Part 1

Derivative of an accumulation function.

gβ€²(x)=ddx[∫axf(t) dt]=f(x)g'(x) = \frac{d}{dx} \left[ \int_a^x f(t) \, dt \right] = f(x)

Variables

SymbolDescriptionUnit
gβ€²(x)g'(x)Derivative of the accumulation function-
f(x)f(x)Integrand evaluated at upper limit x-

In plain English: The rate at which area is accumulating under the curve at point xx is exactly equal to the height of the curve at point xx. This profound statement proves that integration (accumulation) and differentiation (rate of change) are inverse operations.

Part 2: The Evaluation Theorem

While Part 1 provides the theoretical bridge, Part 2 provides the practical computational tool. It is the reason we do not have to calculate infinite Riemann sum limits by hand for most problems.

Fundamental Theorem of Calculus, Part 2

If ff is continuous on the closed interval [a,b][a, b], and FF is any antiderivative of ff on that interval (meaning Fβ€²(x)=f(x)F'(x) = f(x)), then the definite integral evaluates simply to the difference of the antiderivative's values at the upper bound bb and the lower bound aa.

Fundamental Theorem of Calculus Part 2

Evaluating a definite integral using an antiderivative.

∫abf(x) dx=F(b)βˆ’F(a)\int_a^b f(x) \, dx = F(b) - F(a)

Variables

SymbolDescriptionUnit
aaLower limit of integration-
bbUpper limit of integration-
F(x)F(x)Antiderivative of f(x)-

Evaluator Notation

We commonly use a vertical bar or square brackets to denote the intermediate evaluation step before calculating the final subtraction: ∫abf(x) dx=[F(x)]ab=F(b)βˆ’F(a)\int_a^b f(x) \, dx = \left[ F(x) \right]_a^b = F(b) - F(a).

The Net Change Theorem

The Net Change Theorem is an alternative formulation of the Fundamental Theorem of Calculus (Part 2). It states that the integral of a rate of change of a quantity over an interval yields the total net change of that quantity.

Net Change Theorem

If Qβ€²(t)Q'(t) represents the rate of change of a quantity QQ with respect to time tt, then the definite integral of Qβ€²(t)Q'(t) from time aa to time bb gives the net change in the quantity QQ over that time interval.

Physical Examples:

  • If v(t)v(t) is the velocity of an object (rate of change of position), then ∫abv(t) dt=s(b)βˆ’s(a)\int_a^b v(t) \, dt = s(b) - s(a) represents the net displacement. To find the total distance traveled, you must integrate the absolute value: ∫ab∣v(t)βˆ£β€‰dt\int_a^b |v(t)| \, dt.
  • If ρ(x)\rho(x) is the linear density of a rod (mass per unit length at position xx), then ∫abρ(x) dx=m(b)βˆ’m(a)\int_a^b \rho(x) \, dx = m(b) - m(a) represents the total mass of the segment of the rod from x=ax=a to x=bx=b.
  • If Cβ€²(x)C'(x) is the marginal cost of producing xx units, then ∫abCβ€²(x) dx=C(b)βˆ’C(a)\int_a^b C'(x) \, dx = C(b) - C(a) represents the increase in cost when production increases from aa units to bb units.

Net Change Theorem

Integral of a rate of change.

∫abQβ€²(t) dt=Q(b)βˆ’Q(a)\int_a^b Q'(t) \, dt = Q(b) - Q(a)

Variables

SymbolDescriptionUnit
Qβ€²(t)Q'(t)Rate of change function-
Q(b)Q(b)Final quantity-
Q(a)Q(a)Initial quantity-

Essential Properties of Definite Integrals

Understanding the properties of definite integrals simplifies calculations and aids in manipulating integral expressions. Assuming ff and gg are continuous functions:

Essential Properties of Definite Integrals

Symmetry Properties: Even and Odd Functions

Integrating symmetric functions over symmetric intervals [βˆ’a,a][-a, a] can significantly reduce computation time. This geometric property is immensely useful in engineering mechanics.

Integrals of Even and Odd Functions

  • Even Functions: A function is even if f(βˆ’x)=f(x)f(-x) = f(x) (symmetric about the y-axis, like x2x^2 or cos⁑x\cos x). The area on the left mirrors the right.
  • Odd Functions: A function is odd if f(βˆ’x)=βˆ’f(x)f(-x) = -f(x) (symmetric about the origin, like x3x^3 or sin⁑x\sin x). The positive area perfectly cancels the negative area.

Even Function Property

Integrating an even function over a symmetric interval.

βˆ«βˆ’aaf(x) dx=2∫0af(x) dx(EvenΒ Function)\int_{-a}^a f(x) \, dx = 2 \int_0^a f(x) \, dx \quad \text{(Even Function)}

Variables

SymbolDescriptionUnit
aaBound of symmetric interval-

Odd Function Property

Integrating an odd function over a symmetric interval.

βˆ«βˆ’aaf(x) dx=0(OddΒ Function)\int_{-a}^a f(x) \, dx = 0 \quad \text{(Odd Function)}

Variables

SymbolDescriptionUnit
aaBound of symmetric interval-

Mean Value Theorem for Definite Integrals

The Mean Value Theorem for Definite Integrals guarantees that for any continuous function over a closed interval, there exists at least one point where the function attains its average value. Geometrically, this means there is a rectangle with the same area as the region under the curve.

Average Value and Mean Value Theorem

Average Value of a Function: The average value favgf_{avg} of a continuous function ff on the interval [a,b][a, b] is given by: favg=1bβˆ’a∫abf(x) dxf_{avg} = \frac{1}{b - a} \int_a^b f(x) \, dx

Mean Value Theorem for Integrals: If ff is continuous on [a,b][a, b], then there exists a number cc in [a,b][a, b] such that f(c)=favgf(c) = f_{avg}. That is: ∫abf(x) dx=f(c)(bβˆ’a)\int_a^b f(x) \, dx = f(c)(b - a)

Geometric Interpretation: There is at least one point cc between aa and bb where the height of the curve f(c)f(c) multiplied by the width (bβˆ’a)(b - a) forms a rectangle whose area is exactly equal to the total area under the curve.

Improper Integrals

Improper integrals are definite integrals where either one or both of the limits of integration are infinite, or the integrand has a vertical asymptote within the interval of integration.

Type 1: Infinite Intervals of Integration

These occur when one or both of the limits of integration are infinite. We define these using limits:

  • ∫a∞f(x) dx=lim⁑tβ†’βˆžβˆ«atf(x) dx\int_a^{\infty} f(x) \, dx = \lim_{t \to \infty} \int_a^t f(x) \, dx
  • βˆ«βˆ’βˆžbf(x) dx=lim⁑tβ†’βˆ’βˆžβˆ«tbf(x) dx\int_{-\infty}^b f(x) \, dx = \lim_{t \to -\infty} \int_t^b f(x) \, dx
  • If both limits are infinite, we split the integral at any convenient real number cc (often 0): βˆ«βˆ’βˆžβˆžf(x) dx=βˆ«βˆ’βˆžcf(x) dx+∫c∞f(x) dx\int_{-\infty}^{\infty} f(x) \, dx = \int_{-\infty}^c f(x) \, dx + \int_c^{\infty} f(x) \, dx (Note: Both integrals on the right must converge for the entire integral to converge).

Type 2: Infinite Discontinuities (Vertical Asymptotes)

These occur when the integrand f(x)f(x) approaches infinity at one or more points within the interval of integration [a,b][a, b].

  • If ff is continuous on [a,b)[a, b) and has an infinite discontinuity at bb: ∫abf(x) dx=lim⁑tβ†’bβˆ’βˆ«atf(x) dx\int_a^b f(x) \, dx = \lim_{t \to b^-} \int_a^t f(x) \, dx
  • If ff is continuous on (a,b](a, b] and has an infinite discontinuity at aa: ∫abf(x) dx=lim⁑tβ†’a+∫tbf(x) dx\int_a^b f(x) \, dx = \lim_{t \to a^+} \int_t^b f(x) \, dx
  • If ff has an infinite discontinuity at cc, where a<c<ba \lt c \lt b, we must split the integral: ∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx\int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx

The p-Test for Improper Integrals

The pp-test provides a quick way to determine the convergence or divergence of specific improper integrals of the form ∫a∞1xp dx\int_a^\infty \frac{1}{x^p} \, dx without having to explicitly evaluate the limit.

The p-Test

For integrals of the form ∫1∞1xp dx\int_1^\infty \frac{1}{x^p} \, dx, where p>0p \gt 0:

  • The integral converges if p>1p \gt 1.
  • The integral diverges if p≀1p \le 1.

The Comparison Test for Improper Integrals

Sometimes an improper integral cannot be easily evaluated or directly subjected to the pp-test. However, if the integrand is positive and can be bounded by another function whose convergence is known (like a pp-test function), we can determine its behavior using the Direct Comparison Test.

Direct Comparison Test

Suppose ff and gg are continuous functions such that 0≀f(x)≀g(x)0 \le f(x) \le g(x) for all xβ‰₯ax \ge a.

  • Convergence: If the larger integral ∫a∞g(x) dx\int_a^\infty g(x) \, dx converges, then the smaller integral ∫a∞f(x) dx\int_a^\infty f(x) \, dx must also converge.
  • Divergence: If the smaller integral ∫a∞f(x) dx\int_a^\infty f(x) \, dx diverges, then the larger integral ∫a∞g(x) dx\int_a^\infty g(x) \, dx must also diverge.

Convergence vs. Divergence

If the limit evaluated in an improper integral exists and yields a finite, real number, the improper integral is said to converge to that value. If the limit does not exist (e.g., it approaches ∞\infty or βˆ’βˆž-\infty, or oscillates), the improper integral is said to diverge.

Interactive Simulation

Use the simulation below to explore the convergence and divergence of improper integrals visually as the integration bounds approach infinity.

Improper Integral Visualization: ∫ (1/x²) dx from 1 to t

Loading chart...

Area Calculation:

Area(t) = 1 - 1/t

Current Area = 0.5000

As t β†’ ∞, the area approaches 1. The integral converges to 1.

Key Takeaways
  • The exact definite integral is formally defined by limits of Darboux sums or Riemann sums.
  • The Fundamental Theorem of Calculus (Part 2) evaluates definite integrals by taking the difference of an antiderivative evaluated at the upper and lower bounds (F(b)βˆ’F(a)F(b) - F(a)).
  • Utilize symmetry (Even/Odd functions) to dramatically simplify integrating over bounds [βˆ’a,a][-a, a].
  • The Mean Value Theorem guarantees a point cc where a rectangle of height f(c)f(c) has the exact same area as the region under the curve.
  • When analytical integration fails, numerical methods like the Trapezoidal Rule and Simpson's Rule provide robust approximations.
  • Improper integrals involving infinite bounds or discontinuities must be strictly evaluated using limits to check for convergence.
  • The pp-test and Direct Comparison Test are invaluable tools for quickly determining if an improper integral yields a finite area without performing the complete integration.