Definite Integrals - Theory & Concepts

Definite Integrals

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)

from an interval

a

b

, denoted as

\int_a^b f(x) \, dx

, geometrically represents the net signed area between the curve

y=f(x)

, the x-axis, and the vertical lines

x=a

and

x=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.

Simulation: Riemann Sums & Area

Rectangles (n)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.

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)

on the interval

[a, b]

by dividing the interval into

n

smaller subintervals. For simplicity, we often use subintervals of equal width, given by

\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.

$$
\\int_a^b f(x) \\, dx = \\lim_{n \\to \\infty} \\sum_{i=1}^n f(x_i^*) \\Delta x
$$

Checklist

$x_i^*$ is a sample point chosen in the $i$ -th subinterval $[x_{i-1}, x_i]$ . Common choices include: Left Endpoint Rule ( $x_i^* = x_{i-1}$ ), Right Endpoint Rule ( $x_i^* = x_i$ ), and Midpoint Rule ( $x_i^* = \frac{x_{i-1} + x_i}{2}$ ).
$\Delta x$ represents the width of each rectangle.
$f(x_i^*)$ represents the height of each rectangle at the sample point.

Rigorous Definition of Integrability: Darboux Sums

While Riemann sums use arbitrary sample points

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

M_i

be the maximum value of

f(x)

on the

i

-th subinterval, and

m_i

be the minimum value.

Upper Darboux Sum: $U_n = \sum_{i=1}^n M_i \Delta x$ (This overestimates the area).
Lower Darboux Sum: $L_n = \sum_{i=1}^n m_i \Delta x$ (This underestimates the area).
A function $f(x)$ is defined as strictly integrable on $[a, b]$ if and only if the limit of the upper sums equals the limit of the lower sums as $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^{-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

n

$$
\\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]
$$

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 (

n

$$
\\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]
$$

The Significance of the Limit

n \to \infty

, the width of the rectangles

\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)

that measures the total accumulated area under a curve

f(t)

from a fixed starting point

a

up to a variable point

x

Accumulation Function

The accumulation function calculates the total area up to

x

$$
g(x) = \\int_a^x f(t) \\, dt
$$

Part 1 of the FTC states that if

f

is continuous on

[a, b]

, then this accumulation function

g(x)

is continuous on

[a, b]

, differentiable on

(a, b)

, and its derivative is exactly the original function:

$$
g'(x) = \\frac{d}{dx} \\left[ \\int_a^x f(t) \\, dt \\right] = f(x)
$$

In plain English: The rate at which area is accumulating under the curve at point

x

is exactly equal to the height of the curve at point

x

. 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

f

is continuous on the closed interval

[a, b]

, and

F

is any antiderivative of

f

on that interval (meaning

F'(x) = f(x)

), then the definite integral evaluates simply to the difference of the antiderivative's values at the upper bound

b

and the lower bound

a

$$
\\int_a^b f(x) \\, dx = F(b) - F(a)
$$

Evaluator Notation

We commonly use a vertical bar or square brackets to denote the intermediate evaluation step before calculating the final subtraction:

\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

Q'(t)

represents the rate of change of a quantity

Q

with respect to time

t

, then the definite integral of

Q'(t)

from time

a

to time

b

gives the net change in the quantity

Q

over that time interval.

Physical Examples:

If $v(t)$ is the velocity of an object (rate of change of position), then $\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: $\int_a^b |v(t)| \, dt$ .
If $\rho(x)$ is the linear density of a rod (mass per unit length at position $x$ ), then $\int_a^b \rho(x) \, dx = m(b) - m(a)$ represents the total mass of the segment of the rod from $x=a$ to $x=b$ .
If $C'(x)$ is the marginal cost of producing $x$ units, then $\int_a^b C'(x) \, dx = C(b) - C(a)$ represents the increase in cost when production increases from $a$ units to $b$ units.

$$
\\int_a^b Q'(t) \\, dt = Q(b) - Q(a)
$$

Essential Properties of Definite Integrals

Understanding the properties of definite integrals simplifies calculations and aids in manipulating integral expressions. Assuming

f

and

g

are continuous functions:

Checklist

Zero Width Interval (Point Integral): Integrating over a point yields zero area. $\int_a^a f(x) \, dx = 0$
Reversing Limits: Swapping the upper and lower bounds changes the sign of the integral. $\int_b^a f(x) \, dx = -\int_a^b f(x) \, dx$
Constant Multiple: Constants can be pulled outside the integral. $\int_a^b k \cdot f(x) \, dx = k \int_a^b f(x) \, dx$
Sum/Difference: The integral of a sum is the sum of integrals. $\int_a^b [f(x) \pm g(x)] \, dx = \int_a^b f(x) \, dx \pm \int_a^b g(x) \, dx$
Additivity of Intervals: You can split an integral at a point $c$ . This is useful for piecewise functions or absolute values. $\int_a^c f(x) \, dx + \int_c^b f(x) \, dx = \int_a^b f(x) \, dx$
Comparison Properties: If $f(x) \ge 0$ for $a \le x \le b$ , then $\int_a^b f(x) \, dx \ge 0$ . If $f(x) \ge g(x)$ for $a \le x \le b$ , then $\int_a^b f(x) \, dx \ge \int_a^b g(x) \, dx$ .

Symmetry Properties: Even and Odd Functions

Integrating symmetric functions over symmetric intervals

[-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)$ (symmetric about the y-axis, like $x^2$ or $\cos x$ ). The area on the left mirrors the right.
Odd Functions: A function is odd if $f(-x) = -f(x)$ (symmetric about the origin, like $x^3$ or $\sin x$ ). The positive area perfectly cancels the negative area.

$$
\\int_{-a}^a f(x) \\, dx = 2 \\int_0^a f(x) \\, dx \\quad \\text{(Even Function)}
$$

$$
\\int_{-a}^a f(x) \\, dx = 0 \\quad \\text{(Odd Function)}
$$

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

f_{avg}

of a continuous function

f

on the interval

[a, b]

is given by:

f_{avg} = \frac{1}{b - a} \int_a^b f(x) \, dx

Mean Value Theorem for Integrals: If

f

is continuous on

[a, b]

, then there exists a number

c

[a, b]

such that

f(c) = f_{avg}

. That is:

\int_a^b f(x) \, dx = f(c)(b - a)

Geometric Interpretation: There is at least one point

c

between

a

and

b

where the height of the curve

f(c)

multiplied by the width

(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:

$\int_a^{\infty} f(x) \, dx = \lim_{t \to \infty} \int_a^t f(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 $c$ (often 0): $\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)

approaches infinity at one or more points within the interval of integration

[a, b]

If $f$ is continuous on $[a, b)$ and has an infinite discontinuity at $b$ : $\int_a^b f(x) \, dx = \lim_{t \to b^-} \int_a^t f(x) \, dx$
If $f$ is continuous on $(a, b]$ and has an infinite discontinuity at $a$ : $\int_a^b f(x) \, dx = \lim_{t \to a^+} \int_t^b f(x) \, dx$
If $f$ has an infinite discontinuity at $c$ , where $a \lt c \lt b$ , we must split the integral: $\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

p

-test provides a quick way to determine the convergence or divergence of specific improper integrals of the form

\int_a^\infty \frac{1}{x^p} \, dx

without having to explicitly evaluate the limit.

The p-Test

For integrals of the form

\int_1^\infty \frac{1}{x^p} \, dx

, where

p \gt 0

The integral converges if $p \gt 1$ .
The integral diverges if $p \le 1$ .

The Comparison Test for Improper Integrals

Sometimes an improper integral cannot be easily evaluated or directly subjected to the

p

-test. However, if the integrand is positive and can be bounded by another function whose convergence is known (like a

p

-test function), we can determine its behavior using the Direct Comparison Test.

Direct Comparison Test

Suppose

f

and

g

are continuous functions such that

0 \le f(x) \le g(x)

for all

x \ge a

Convergence: If the larger integral $\int_a^\infty g(x) \, dx$ converges, then the smaller integral $\int_a^\infty f(x) \, dx$ must also converge.
Divergence: If the smaller integral $\int_a^\infty f(x) \, dx$ diverges, then the larger integral $\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

-\infty

, or oscillates), the improper integral is said to diverge.

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

Upper bound t: 2.0

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)$ ).
Utilize symmetry (Even/Odd functions) to dramatically simplify integrating over bounds $[-a, a]$ .
The Mean Value Theorem guarantees a point $c$ where a rectangle of height $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 $p$ -test and Direct Comparison Test are invaluable tools for quickly determining if an improper integral yields a finite area without performing the complete integration.

PreviousAntiderivatives and Indefinite Integrals - Examples & Applications

Quiz Me

NextDefinite Integrals - Examples & Applications