Unit 5, lesson 50

Introduction to Definite Integrals

What the definite integral is as the limit of Riemann sums when the mesh goes to zero, which functions have one, how to read its notation, and why it measures signed area.

  • Theory part 99
  • Practice part 100
  • Definite Integrals

Theory, part 99

Practice, part 100

Riemann sums give approximations, and every approximation invites the question of what it approximates. When all Riemann sums of a function settle on one number as the pieces get thin, that number is the definite integral. It is the exact area under a curve, the exact distance from a speed record, the exact total from any rate.

Key terms

The Riemann integral

Definition Let ff be defined on [a,b][a, b] with a<ba < b. We say ff is Riemann integrable on [a,b][a, b] if there is a number II with the following property. For every ε>0\varepsilon > 0 there is a δ>0\delta > 0 such that

∣∑i=1nf(xi∗) Δxi−I∣<ε\left\lvert \sum_{i=1}^{n} f(x_i^*) \, \Delta x_i - I \right\rvert < \varepsilon

for every partition PP of [a,b][a, b] with ∥P∥<δ\lVert P \rVert < \delta and every choice of tags xi∗∈[xi−1,xi]x_i^* \in [x_{i-1}, x_i]. The number II is unique when it exists. It is called the definite integral of ff from aa to bb and written

∫abf(x) dx=lim⁡∥P∥→0∑i=1nf(xi∗) Δxi.\int_a^b f(x) \, dx = \lim_{\lVert P \rVert \to 0} \sum_{i=1}^{n} f(x_i^*) \, \Delta x_i.

In plain words The integral is the single number that all Riemann sums approach once every piece of the partition is thin enough, no matter how the pieces are cut or where the sample points sit.

Example For the constant f(x)=3f(x) = 3 on [0,2][0, 2] every Riemann sum equals ∑3 Δxi=3⋅2=6\sum 3 \, \Delta x_i = 3 \cdot 2 = 6, whatever the partition and tags. So

∫023 dx=6,\int_0^2 3 \, dx = 6,

the area of a 22 by 33 rectangle.

Integrability

Definition A function is integrable on [a,b][a, b] when the limit above exists. Every integrable function is bounded on [a,b][a, b]. An equivalent test, due to Darboux, says that a bounded ff is integrable on [a,b][a, b] if and only if for every ε>0\varepsilon > 0 there is a partition PP with

U(f,P)−L(f,P)<ε.U(f, P) - L(f, P) < \varepsilon.

In that case ∫abf(x) dx\int_a^b f(x) \, dx is the one number lying between all lower sums and all upper sums.

In plain words A function is integrable when the lower and upper sums can be squeezed as close together as you like. If they stay apart, Riemann sums keep jumping around and there is no single answer.

Example Let f(x)=1f(x) = 1 for rational xx and f(x)=0f(x) = 0 for irrational xx, on [0,1][0, 1]. Every subinterval of every partition contains both kinds of numbers, so mi=0m_i = 0 and Mi=1M_i = 1. Then L(f,P)=0L(f, P) = 0 and U(f,P)=1U(f, P) = 1 for every PP, the gap never shrinks, and ff is not integrable.

Continuity implies integrability

Definition If ff is continuous on the closed interval [a,b][a, b], then ff is integrable on [a,b][a, b]. More generally, a function that is bounded on [a,b][a, b] and has only finitely many discontinuities there is integrable, and so is every monotonic function on [a,b][a, b].

In plain words For the functions you meet most often, the integral exists and you may compute it with whatever convenient Riemann sums you like, for example equal pieces with right endpoints.

Example The function f(x)=x2f(x) = x^2 is continuous on [0,1][0, 1], so the integral exists and equals the limit of any particular family of Riemann sums with mesh tending to zero. Right endpoints with nn equal pieces give

Rn=(n+1)(2n+1)6n2→13,R_n = \frac{(n+1)(2n+1)}{6n^2} \to \frac{1}{3},

so ∫01x2 dx=13\int_0^1 x^2 \, dx = \frac{1}{3}.

Integrand and bounds

Definition In ∫abf(x) dx\int_a^b f(x) \, dx the function ff is the integrand. The numbers aa and bb are the lower and upper bounds, also called the limits of integration, and [a,b][a, b] is the interval of integration. The value depends only on ff, aa and bb.

In plain words The integrand is what you add up, and the bounds say where you start and stop.

Example In ∫14x dx\int_1^4 \sqrt{x} \, dx the integrand is x\sqrt{x}, the lower bound is 11 and the upper bound is 44. The value is a number, here 143\frac{14}{3}, not a function of xx.

Dummy variable

Definition The letter used for the variable of integration is a dummy variable. Renaming it does not change the value,

∫abf(x) dx=∫abf(t) dt=∫abf(u) du.\int_a^b f(x) \, dx = \int_a^b f(t) \, dt = \int_a^b f(u) \, du.

The dummy variable has no meaning outside the integral.

In plain words It works like the index ii in a sum. You could call it anything, and the result is the same number.

Example The integrals ∫01x2 dx\int_0^1 x^2 \, dx and ∫01t2 dt\int_0^1 t^2 \, dt are both 13\frac{1}{3}. Writing ∫0xx2 dx\int_0^x x^2 \, dx is confusing, because the letter xx plays two roles, so one writes ∫0xt2 dt\int_0^x t^2 \, dt instead.

Differential notation

Definition The symbol dxdx in ∫abf(x) dx\int_a^b f(x) \, dx marks the variable of integration and comes from the width Δxi\Delta x_i in the Riemann sum. The integral sign is a stretched S for sum. The notation records the passage

∑i=1nf(xi∗) Δxi⟶∫abf(x) dx.\sum_{i=1}^{n} f(x_i^*) \, \Delta x_i \quad \longrightarrow \quad \int_a^b f(x) \, dx.

In plain words Read f(x) dxf(x) \, dx as a height times a very thin width. The integral adds up these thin products.

Example In ∫02ax dx\int_0^2 a x \, dx the dxdx tells you that xx varies and aa is a constant. The value is 2a2a. In ∫02ax da\int_0^2 a x \, da the roles swap, aa varies from 00 to 22, and the value is 2x2x.

Signed net area

Definition For ff integrable on [a,b][a, b], the integral counts area above the xx-axis as positive and area below it as negative,

∫abf(x) dx=Aabove−Abelow,\int_a^b f(x) \, dx = A_{\text{above}} - A_{\text{below}},

where AaboveA_{\text{above}} is the area between the graph and the axis where f≥0f \ge 0 and AbelowA_{\text{below}} is the area where f≤0f \le 0. If f≥0f \ge 0 on [a,b][a, b] the integral is the area under the graph.

In plain words Parts of the graph below the axis subtract. The integral is a net amount, not a total amount.

Example On [−1,2][-1, 2] the graph of f(x)=xf(x) = x is below the axis on [−1,0][-1, 0], a triangle of area 12\frac{1}{2}, and above it on [0,2][0, 2], a triangle of area 22. So

∫−12x dx=2−12=32.\int_{-1}^{2} x \, dx = 2 - \frac{1}{2} = \frac{3}{2}.

Midpoint sums

Definition For nn equal subintervals of [a,b][a, b] with Δx=b−an\Delta x = \frac{b - a}{n} and midpoints xˉi=xi−1+xi2\bar{x}_i = \frac{x_{i-1} + x_i}{2}, the midpoint sum is

Mn=∑i=1nf(xˉi) Δx.M_n = \sum_{i=1}^{n} f(\bar{x}_i) \, \Delta x.

If f′′f'' is continuous on [a,b][a, b] and ∣f′′(x)∣≤K\lvert f''(x) \rvert \le K there, the error satisfies

∣∫abf(x) dx−Mn∣≤K(b−a)324n2.\left\lvert \int_a^b f(x) \, dx - M_n \right\rvert \le \frac{K (b - a)^3}{24 n^2}.

In plain words Sampling at the middle of each piece usually beats both ends, because the overshoot on one half of the piece partly cancels the undershoot on the other.

Example For ∫01x2 dx\int_0^1 x^2 \, dx with n=4n = 4 the midpoints are 0.125,0.375,0.625,0.8750.125, 0.375, 0.625, 0.875.

M4=0.25 (0.015625+0.140625+0.390625+0.765625)=0.328125.M_4 = 0.25 \, (0.015625 + 0.140625 + 0.390625 + 0.765625) = 0.328125.

The error is 13−0.328125=1192\frac{1}{3} - 0.328125 = \frac{1}{192}. With K=2K = 2, b−a=1b - a = 1 and n=4n = 4 the bound is

2⋅1324⋅42=1192,\frac{2 \cdot 1^3}{24 \cdot 4^2} = \frac{1}{192},

met exactly here. Compare L4=0.21875L_4 = 0.21875 and R4=0.46875R_4 = 0.46875.

Check yourself

  1. Use geometry to find ∫−224−x2 dx\int_{-2}^{2} \sqrt{4 - x^2} \, dx.
Show the answer

The graph is the upper half of the circle of radius 22, so the integral is half of π⋅22\pi \cdot 2^2, which is 2π2\pi.

  1. Find ∫03(x−1) dx\int_0^3 (x - 1) \, dx as signed area.
Show the answer

Below the axis on [0,1][0, 1] there is a triangle of area 12\frac{1}{2}. Above on [1,3][1, 3] there is a triangle of area 12⋅2⋅2=2\frac{1}{2} \cdot 2 \cdot 2 = 2. The integral is 2−12=322 - \frac{1}{2} = \frac{3}{2}.

  1. Estimate ∫131x dx\int_1^3 \frac{1}{x} \, dx with the midpoint sum M2M_2.
Show the answer

Here Δx=1\Delta x = 1 and the midpoints are 1.51.5 and 2.52.5, so

M2=11.5+12.5=23+25≈1.067.M_2 = \frac{1}{1.5} + \frac{1}{2.5} = \frac{2}{3} + \frac{2}{5} \approx 1.067.

The exact value is ln⁡3≈1.099\ln 3 \approx 1.099.

How this lesson connects

It also uses signed area.

Used later in

Resources for this lesson