## Definite Integrals

This module moves from the indefinite integral, which is a class of functions, to the definite integral, which is a number. The relationship between these seemingly unrelated topics will be revealed in the next module.

The idea underlying the definite integral is that adding up local increments leads to a global total. Before getting into the details of what this means, consider a simple example.

**Example**

Consider

One can visualize this sum as the area of a triangular stack of boxes. The first column has 1 box, the second column has 2 boxes, and so on through the nth column with n boxes:

The area of this roughly triangular region can be found by splitting it into two regions: a right triangle of base and height , and the half boxes left over:

The total area is therefore , and so we find that

The point of this example is to compare the amount of computation (e.g. the number of additions) required to do the sum using local information (adding up the terms one by one), verses the global information (evaluating the product on the right above). It is much easier to simply evaluate the product.

The definite integral takes this type of idea and generalizes it to more difficult sums. Before we can define it, we need a few definitions.

## Partitions and Riemann sums

Given an interval , a *partition* of is a division of the interval into subintervals . Visually, think of placing hash marks along the interval and then labeling the subintervals from left to right:

Let be the width of the ith subinterval, .

Choose a *sample point* from the ith subinterval (this can be a point chosen at random from the subinterval or systematically; it does not matter).

Given a function , a partition for an interval , and sample points , the *Riemann sum* of on is given by

The Riemann sum can be interpreted as an approximation of the area under the curve of from to using rectangles. The width and height of the th rectangle are and , respectively. Note that in this area interpretation, a rectangle which is below the x-axis has negative area (since in this case). For an example with rectangles, consider the following figure:

## The definite integral

The definite integral

The *definite integral* of a function from to , denoted

is defined by

The function being integrated is called the *integrand*.

In other words, the definite integral is the limit of the Riemann sums as the lengths of the subintervals approach 0. In the area interpretation, the widths of all the rectangles are getting arbitrarily small, which ultimately gives the area under the curve:

Remember that when interpreting the definite integral as the area under the curve, any region which is below the x-axis contributes negative area to the total.

**Example**
Using the definition of the definite integral, compute

Let the partition divide the interval into equally sized subintervals. Then the ith subinterval of is given by , and . Choose the right endpoint of each subinterval to be its sample point, i.e. . Finally, note that as , . It follows that

We used the fact from earlier that

### Notation

**Sums** The integral sign and the summation sign are both short for sum. The integral sign looks like a stylized S, and the summation sign is the Greek sigma, short for sum.

**Limits** Including the variable in the limits of integration is not strictly necessary, but is a useful habit to develop for future courses where integration will be happening with respect to several variables. It is also fine to suppress the notation and just have :

**Variables** The variable used in the integrand does not matter; it is sometimes referred to as a dummy variable:

However, if there is a variable used in one of the limits of integration (as will happen from time to time), it is important to avoid using that as the dummy variable too. For example,

### Caveat

Note that, although their notation is similar, definite integrals are not the same as indefinite integrals! The indefinite integral of a function is a class of functions, whereas the definite integral of a function over an interval is a number.

That said, it is no accident that they have similar notations, because of their relationship, which is given by the Fundamental Theorem of Integral Calculus in the next module.

## Properties of definite integrals

### Linearity

The definite integral is linear, i.e.

The definite integral is defined as the limit of Riemann sums. Note that for any partition of the interval,

because of linearity of finite sums. Therefore, as one takes the limit as , one finds (by the linearity of limits) that

The argument for a constant multiple is almost identical: we can pull a constant out from a sum, and pull a constant out from a limit.

### Additivity

When integrating the same function over two adjacent intervals, we have additivity:

In the area interpretation, this can be thought of as taking the area under the curve from to and adding the area under the curve from to , which gives the area under the curve from to :

Another way of thinking about it is adding the intervals and together to get . It is important to note that the orientation of the interval matters, as discussed in the next subsection.

### Orientation

The orientation of the interval over which we integrate matters. Integrating from left to right is positive, and integrating from right to left is negative:

Consider what happens if one computes

By the additivity property (where has been replaced by ), this is

But this equals 0, which is intuitive in the area interpretation. (More formally, any partition of an interval with 0 width has subintervals of 0 width, so the Riemann sums equal 0). Therefore,

and rearranging gives

as desired.

### Dominance

This is another intuitive property. If for all in the interval , then

Also, if for all in the interval, then

For the first part, note that regardless of the partition of , the Riemann sum

because by the above assumption. Since each Riemann sum is non-negative, the limit is non-negative.

For the second part, note that

So applying the first part, we have

Then by linearity of the definite integral (above),

and rearranging gives

## More examples

There are a few definite integrals that we can compute directly from the definition. But for most functions, it is not easy to work directly with the definition.

**Example**

Compute

If we use the partition of into equal intervals, then

Also, note that for all . So

We could also see this by interpreting this definite integral as the area under the curve between and , which is simply a rectangle of base and height .

**Example**

Compute

Again using a partition into equal sized subintervals, we have that . If we take our sample point to be the right endpoint of each subinterval, then we have . So

This can also be found by interpreting the definite integral as the area under the curve , which can be broken into a rectangle with base and height and a triangle with base and height :

## Odd and even functions

There are a few final cases where certain definite integrals can be simplified by using properties of the integrand.

Odd and even functions

A function is called *odd* if

A function is called *even* if

The reason for the terminology comes from Taylor series. A function is odd if and only if every term in its Taylor series has *odd* power. Similarly, a function is even if and only if every term in its Taylor series has *even* power.

If only has odd powers in its Taylor series, then

for some constants . So evaluating and doing a little algebra, we find

as desired. Similarly, if has even powers, then

and it follows that

as desired.

**Example**

Sine and hyperbolic sine are both odd functions because they only have odd powers in their Taylor series.

Cosine and hyperbolic cosine are both even functions because they only have even powers in their Taylor series.

### Odd function over a symmetric domain

If an odd function is integrated over a domain that is symmetric about the origin (i.e., an interval of the form , then

Formally, any subinterval's on the left half of the interval will make a contribution to the Riemann sum which is equal and opposite to the contribution of the corresponding subinterval on the right half of the interval. These equal and opposite sums cancel, and so the definite integral over the entire interval is 0.

In terms of the area interpretation, the net area under the curve over the left half of the interval will be equal and opposite in sign to the net area under the curve over the right half of the interval. Therefore, the total area will be 0:

### Even function over a symmetric domain.

If an even function is integrated over a domain that is symmetric about the origin (i.e., an interval of the form ), then

Formally, each subinterval on the left half of the interval has a corresponding subinterval on the right with an equal contribution to the Riemann sum. So one can just take the Riemann sum on the right and double it.

Using the area interpretation, one can see that the region under the curve on the left will be the mirror image of the region under the curve on the right, so the total area is just twice the area on the right: