The Integral

The Riemann Integral

In a calculus class integration is introduced as 'finding the area under a curve'. While this interpretation is certainly useful, we instead want to think of 'integration' as more sophisticated form of summation. Geometric considerations, in our situation, will not be so fruitful, whereas the summation interpretation of integration will make many of its properties easy to remember.

First, as usual, we need to define integration before we can discuss its properties. We will start with defining the Riemann integral, and we will move to the Riemann-Stieltjes and the Lebesgue integral later.

Definition: Partition of an Interval

• A partition P of the closed interval [a, b] is a finite set of points P = { x₀, x₁, x₂, ..., x_n} such that
  • a = x₀ < x₁ < x₂ < ... < x_n-1 < x_n = b
• The maximum difference between any two consecutive points of the partition is called the norm or mesh of the partition and denoted as | P |, i.e.
  • | P | = max { x_j - x_j-1, j = 1 ... n }
• A refinement of the partition P is another partition P' that contains all the points from P and some additional points, again sorted in order of magnitude.

Examples:

• What is the norm of a partition of 10 equally spaced points in the interval [0, 2] ?
• What is the norm of a partition of n equally spaced points in the interval [a, b] ?
• Show that if P' is a refinement of P then | P' | | P |.

Using these partitions, we can define the following finite sum:

Definition: Riemann Sums

If P = { x₀, x₁, x₂, ..., x_n} is a partition of the closed interval [a, b] and f is a function defined on that interval, then the Riemann Sum of f with respect to the partition P is defined as:

• R(f, P) = f(t_j) (x_j - x_j-1)

where t_j is an arbitray number in the interval [x_j-1, x_j].

Note: If the function f is positive, a Riemann Sum geometrically corresponds to a summation of areas of rectangles with length xj - xj-1 and height f(tj).

Examples

• Suppose f(x) = x² on [0, 2]. Find
  1. the fifth Riemann sum for an equally spaced partition, taking always the left endpoint of each subinterval
  2. the fifth Riemann sum for an equally spaced partition, taking always the right endpoint of each subinterval
  3. the fifth Riemann sum for an equally spaced partition, taking always the midpoint of each subinterval.

Definition: Upper and Lower Sum

Let P = { x₀, x₁, x₂, ..., x_n} be a partition of the closed interval [a, b] and f a bounded function defined on that interval. Then:

• the upper sum of f with respect to the partition P is defined as:
  • U(f, P) = c_j (x_j - x_j-1)
  where c_j is the supremum of f(x) in the interval [x_j-1, x_j].
• the lower sum of f with respect to the partition P is defined as
  • L(f, P) = d_j (x_j - x_j-1)
  where d_j is the infimum of f(x) in the interval [x_j-1, x_j].

Here is an example where the upper sum in displayed in dark brown and the lower sum in light brown. The partition P = {0.5, 1, 1.5, 2}, and the numbers for the sums are chosen: for the upper sum: c1 = f(1), c2 = f(2), and c3 = f(1) for the lower sum: d1 = f(0.5), d2 = f(1), and d3 = f(2)

Examples:

• Suppose f(x) = x²-1 for x in the interval [-1, 1]. Find:
  1. The left and right sums where the interval [-1, 1] is subdivided into 10 equally spaced subintervals.
  2. The upper and lower sums where the interval [-1, 1] is subdivided into 10 equally spaced subintervals.
  3. The upper and lower sums where the interval [-1,1] is subdivided into n equally spaced subintervals.
• Why is, in general, an upper (or lower) sum not a special case of a Riemann sum ? Find a condition for a function f so that the upper and lower sums are actually special cases of Riemann sums.
• Find conditions for a function so that the upper sum can be computed by always taking the left endpoint of each subinterval of the partition, or conditions for always being able to take the right endpoints.
• Suppose f is the Dirichlet function, i.e. the function that is equal to 1 for every rational number and 0 for every irrational number. Find the upper and lower sums over the interval [0, 1] for an arbitrary partition.

Proposition: Size of Riemann Sums

Suppose P = { x₀, x₁, x₂, ..., x_n} is a partition of the closed interval [a, b], f a bounded function defined on that interval. Then we have:

• The lower sum is increasing with respect to refinements of partitions, i.e.
  L(f, P) L(f, P') for every refinement P' of the partition P
• The upper sum is decreasing with respect to refinements of partitions, i.e.
  U(f, P) U(f,P') for every refinement P' of the partition P
• L(f, P) R(f, P) U(f, P) for every partition P

In other words, the lower sum is always less than or equal to the upper sum, and the upper sum is decreasing with respect to a refinement of the partition while the lower sum is increasing with respect to a refinement of the partition. Hence, a natural question is: will the two quantities ever coincide ?

Definition: The Riemann Integral

Suppose f is a bounded function defined on a closed, bounded interval [a, b]. Define

• the upper integral I^*(f) = inf{ U(f,P): P a partition of [a, b]}
• the lower integral I_*(f) = sup{ L(f,P): P a partition of [a, b]}

Then if I^*(f) = I_*(f) the function f is called Riemann integrable and the Riemann integral of f over the interval [a, b] is denoted by f(x) dx

Examples

• Show that the constant function f(x) = c is Riemann integrable on any interval [a, b] and find the value of the integral.
• Is the function f(x) = x² Riemann integrable on the interval [0,1] ? If so, find the value of the Riemann integral. Do the same for the interval [-1, 1].
• Is the Dirichlet function Riemann integrable on the interval [0, 1] ?

Lemma: Riemann's Lemma

Suppose f is a bounded function defined on the closed, bounded interval [a, b]. Then f is Riemann integrable if and only if for every > 0 there exists at least one partition P such that
| U(f,P) - L(f,P) | <

Examples

• Is the function f(x) = x² Riemann integrable on the interval [0,1] ? If so, find the value of the Riemann integral. Do the same for the interval [-1, 1] (since this is the same example as before, using Riemann's Lemma will hopefully simplify the solution).
• Let f(x) = 0 if x is irrational and f(p/q) = 1/q if x = p/q is rational, p, q relatively prime and q > 0, and assume f is restricted to [0, 1]. Is f Riemann integrable ? If so, what is the value of the integral ?

Proposition: Properties of the Riemann Integral

Suppose f is a Riemann integrable function defined on [a, b]. Then

• c f(x) + d g(x) dx = c f(x) dx + d g(x) dx
• If a < b then f(x) dx = f(x) dx + f(x) dx
• | f(x) dx | | f(x) | dx
• If g is another function defined on [a, b] such that g(x) on [a, b], then g(x) dx f(x) dx
• If g is another Riemann integrable function on [a, b] then f(x) ^. g(x) is integrable on [a, b]

Examples

• Find an upper and lower estimate for x sin(x) dx over the interval [0, 4].
• Suppose f(x) = x² if x 1 and f(x) = 3 if x > 1. Find f(x) dx over the interval [-1, 2].
• If f is an integrable function defined on [a, b] which is bounded by M on that interval, prove that M (a - b) f(x) dx M (b - a)

Theorem: Riemann Integrals of Continuous Functions

Every continuous function on a closed, bounded interval is Riemann integrable. The converse is false.

Note that this theorem does not say anything about the actual value of the Riemann integral. Also, we can drop the explicit condition that f is bounded, since every continuous function on a compact set is automatically bounded.

Since differentiable functions are continuous, this result therefore implies that

• { integrable functions } { continuous functions } { differentiable functions}

Examples

• Find a function that is not integrable, a function that is integrable but not continuous, and a function that is continuous but not differentiable.

Theorem: Riemann Integrals of almost Continuous Functions

• If f is a bounded function defined on a closed, bounded interval [a, b] and f is continuous except at countably many points, then f is Riemann integrable.

The converse is also true:

• If f is a bounded function defined on a closed, bounded interval [a, b] and f is Riemann integrable, then f is continuous on [a, b] except possibly at countably many points.

Examples

• Show that every monotone function defined on [a, b] is Riemann integrable.

Theorem: Fundamental Theorem of Calculus

Suppose f is an integrable function defined on the closed, bounded interval [a, b], define a new function:

• F(x) = f(t) dt

Then F is continuous in [a, b]. Moreover, if f is also continous, then F is differentiable in (a, b) and

• F'(x) = f(x) for all x in [a, b].

Note that this theorem has an easy corollary that enables us to quickly find the value of an integral in many situations.

Corollary: Integral Evaluation Shortcut

Suppose f is an continuous function defined on the closed, bounded interval [a, b], and F is a function on [a, b] such that F'(x) = f(x) for all x in (a, b). Then

• f(x) dx = F(b) - F(a)

Before we look at several examples, we should rephrase these results in less rigorous notation. The first theorem says, basically:

f(x) dx = f(x)

f(x) dx = f(b) - f(a)

Examples

• Define a function F(x) = x² sin(x) dx for x in the interval [a, a + 10].
  1. Find F(a)
  2. Find F'(x)
  3. Find F''(x)
  4. Find all critical points of F(x) in [a, a + 10]
• Find the value of the following integrals:
  1. x⁵ - 4 x² dx on the interval [0, 2].
  2. 1/x² + cos(x) dx on the interval [1, 4].
  3. (1 + x²)^-1 dx on the interval [-1, 1].
• Show that if one starts with an integrable function f in the Fundamental Theorem of Calculus that is not continuous, the corresponding function F may not be differentiable.