Skip to main content

Section 5.4 Properties of Definite Integrals


Motivated by the properties of total accumulated change and of area, the definite integral inherits several significant properties. These properties are stated as theorems. We will be interested in applying the results of the theorems. However, to prove these properties is outside the scope of this text. We essentially think of these properties as the axioms of definite integrals, basic properties which must always be true.

Subsection 5.4.1 Integrability

The process of computing a definite integral is well-defined for simple functions. However, other functions have potential issues. One of the most significant developments of modern mathematics was developing an understanding of when functions can be integrated or not, even going so far as to create new definitions for integrals for different circumstances. For our purposes, we will focus on the more elementary Riemann integral which is based on Riemann sums.

Definition 5.4.1 Riemann Integrability

A function \(f : [a,b] \to \mathbb{R}\) is Riemann integrable (or, more simply, integrable) on \([a,b]\) if \(\displaystyle \int_{a}^{b} f(x) \, dx\) is defined. For our purposes, we will interpret this as saying that for every scheme of constructing a Riemann sum with partition of size \(n\) (i.e., any choices of evaluation points \(x_k^* \in [x_{k-1},x_k]\)), the limit of the Riemann sum is guaranteed to equal the same value:

\begin{equation*} \lim_{n \to \infty} \sum_{k=1}^{n} f(x_k^*) \Delta x = \int_{a}^{b} f(x) \, dx. \end{equation*}

The scope of mathematics for this text is not concerned with determining which functions are or are not integrable, with the exception of pointing out that continuous functions are integrable.

We introduced the idea of definite integrals using simple functions. Simple functions, which are piecewise constant, are clearly not continuous because of the jumps at points in the partition. Integrability must be more general than continuous functions. For our purposes, we will also include functions that are piecewise continuous and bounded, allowing a finite number of either removable discontinuities or jump discontinuities. This is based on the idea that including or excluding the endpoints of an interval does not change integrability.

The proof is outside the scope of this text. The idea of one-sided limits existing provides that if the end points were included, we would be back to the case of a continuous function on the closed interval \([a,b]\text{.}\) If the limits don't exist, then this reduction does not apply.

While talking about conditions where a function is integrable, we should also include some discussion about where a function is not integrable. The most common issue that prevents integrability is when a function is unbounded, such as at a vertical asymptote. Such a discontinuity is called an infinite discontinuity. Definite integrals generally do not behave well at such discontinuities and special techniques must be developed later in calculus to analyze how to address the discontinuity.

Subsection 5.4.2 Splitting and Linearity Properties

Splitting properties are motivated by considering adjacent intervals, say \([a,b]\) and \([b,c]\text{,}\) and requiring that the definite integral on \([a,c]\) is the sum of the integrals over the two pieces,

\begin{equation*} \int_{a}^{b} f(x) \, dx + \int_b^c f(x) \, dx = \int_{a}^{c} f(x) \, dx. \end{equation*}

However, this would seem to require that \(a \lt b \lt c\text{.}\) While this is certainly true, the definite integral is defined in a way that the order does not matter.

Recalling that the definite integral is motivated as the mathematical tool to compute the total change in a quantity as the accumulated change resulting from its rate of change, this result could be interpreted as saying, “The total change in \(Q\) as \(x\) goes from \(a\) to \(c\) is equal to the change in \(Q\) as \(x\) goes first from \(a\) to \(b\) plus the change as \(x\) then goes from \(b\) to \(c\text{.}\)”

Similarly, if \(x\) does not change, then the dependent quantity \(Q\) should also not change, regardless of the function defining the rate of change. This is the motivation for the next theorem.

Combining these theorems, we obtain a reversal property of definite integrals. If we switch the order of the limits of integration, then the value of the definite integral must change sign.

Because an integral starting and ending at \(a\) must equal zero, if we go from \(a\) to \(b\) and then back, there must be no overall change:

\begin{equation*} \int_{a}^{b} f(x) \, dx + \int_{b}^{a} f(x) \, dx = \int_{a}^{a} f(x) \, dx = 0. \end{equation*}

This means the two integrals are additive inverses to each other.

It is important to remember that the interpretation of a definite integral as signed area only applied when the limits of integration go from left to right. When the limits of integration go from right to left, we compute the signed area but need to reverse the sign because of the direction of integration.

Example 5.4.8

Suppose that we know \(\displaystyle \int_{0}^{4} f(x)\,dx = 6\) and \(\displaystyle \int_{3}^{4} f(x) \, dx = 10\text{.}\) Find \(\displaystyle \int_{0}^{3} f(x) \, dx\text{.}\)


We use the splitting property of definite integrals. The interval \([0,4]\) can be split into \([0,3]\) and \([3,4]\) so that

\begin{equation*} \int_{0}^{4} f(x)\, dx = \int_0^3 f(x)\,dx + \int_3^4 f(x)\,dx. \end{equation*}

We know two of the integrals and can solve for the third:

\begin{equation*} 6 = \int_0^3 f(x)\,dx + 10 \qquad \Leftrightarrow \qquad \int_0^3 f(x)\,dx = -4. \end{equation*}

An alternate approach for finding the integral is to start with the integral that is wanted, using the interval \([0,3]\text{,}\) so that we start at \(0\) and end at \(3\text{.}\) We will use the splitting property using out-of-order points and go from \(0\) to \(4\) and then from \(4\) to \(3\text{:}\)

\begin{equation*} \int_{0}^{3} f(x)\, dx = \int_0^4 f(x)\,dx + \int_4^3 f(x)\,dx. \end{equation*}

The second integral is in a reversed order. If we switch the order to go left-to-right, then the integral is subtracted instead of added:

\begin{equation*} \int_{0}^{3} f(x)\, dx = \int_0^4 f(x)\,dx - \int_3^4 f(x)\,dx = 6 - 10 = -4. \end{equation*}
Example 5.4.9

Suppose that the graph below shows \(y=f(x)\text{.}\) Use the graph to find \(\displaystyle \int_{0}^{-3} f(x) \, dx\text{.}\)


Because the graph consists of straight lines, we can use geometry to calculate areas and use signed area to determine values of definite integrals. Shading the region between the graph \(y=f(x)\) and the axis \(y=0\) and between \(x=-3\) and \(x=0\text{,}\) we get the figure shown below.

The region between \(x=-3\) and \(x=-1\) is a trapezoid that has area \(\frac{1}{2}(1+2)(3) = \frac{9}{2}\text{.}\) The region between \(x=-1\) and \(x=0\) is a triangle with area \(\frac{1}{2}(1)(3) = \frac{3}{2}\text{.}\) Signed area corresponds to an integral from left-to-right so that

\begin{equation*} \int_{-3}^{0} f(x)\,dx = -\frac{9}{2} + \frac{3}{2} = -\frac{6}{2} = -3. \end{equation*}

The integral of interest uses the opposite order, and so has the opposite sign:

\begin{equation*} \int_{0}^{-3} f(x)\, dx = -\int_{-3}^0 f(x)\,dx = -(-3) = 3. \end{equation*}

Because a definite integral is defined in terms of summation and summation has linearity properties, the definite integral inherits a constant multiple rule and a sum rule.

We often want to apply these two properties immediately after one another. The combination of the constant multiple rule and sum rule is called linearity.

These rules allows us to take elementary functions and combine them using linear combinations (sums and constant multiples) to create more complicated functions and compute the definite integral as the corresponding linear combination of the integrals of the components. The next subsection introduces some of these elementary functions and their corresponding accumulations defining definite integrals.

Example 5.4.13

Suppose that we know \(\displaystyle \int_{1}^{4} f(x) \, dx = 8\) and \(\displaystyle \int_{1}^{4} g(x) \, dx = -3\text{.}\) Find the values of the following definite integrals.

  1. \(\displaystyle \int_{1}^{4} 2 f(x) \, dx\)

  2. \(\displaystyle \int_{1}^{4} [f(x)-2g(x)] \, dx\)

  3. \(\displaystyle \int_{1}^{4} [3+g(x)] \, dx\)

  1. The first integral \(\displaystyle \int_{1}^{4} 2 f(x) \, dx\) has an integrand \(2f(x)\) that is a constant multiple of the function \(f(x)\text{.}\) The constant multiple rule guarantees that the definite integral is the same constant multiple as the integral of \(f(x)\) alone:

    \begin{equation*} \int_{1}^{4} 2 f(x) \, dx = 2 \int_{1}^{4} f(x)\, dx = 2(8) = 16. \end{equation*}
  2. The second integral \(\displaystyle \int_{1}^{4} [f(x)-2g(x)] \, dx\) has an integrand \(f(x)-2g(x)\) that is a linear combination of \(f(x)\) and \(g(x)\) with constant multiples \(\alpha = 1\) and \(\beta = -2\text{.}\) By linearity, the definite integral is the same linear combination of the corresponding integrals:

    \begin{equation*} \int_{1}^{4} [f(x)-2g(x)] \, dx = \int_{1}^{4} f(x)\, dx - 2 \int_{1}^{4} g(x) \, dx = 8 - 2(-3) = 14. \end{equation*}
  3. The third integral \(\displaystyle \int_{1}^{4} [3+g(x)] \, dx\) has an integrand \(3+g(x)\) that is a sum of the constant function \(3\) and \(g(x)\text{.}\) The integral of a constant function 5.2.1 is that constant times the the width of the interval. Consequently, the sum rule for definite integrals implies that the definite integral is given by

    \begin{equation*} \int_{1}^{4} [3+g(x)] \, dx = \int_{1}^{4} 3\, dx + \int_{1}^{4} g(x) \, dx = 3(4-1) + -3 = 6. \end{equation*}

The final property of definite integrals relates to inequality relationships.

Subsection 5.4.3 Elementary Accumulations

We introduce a few elementary functions for which definite integrals can be computed. Each of the definite integrals have a lower limit of integration at \(x=0\text{.}\) To compute definite integrals over other intervals, we use the splitting properties of definite integrals. You should notice in the proof how these definite integrals are closely related to elementary summation formulas.

We will prove these rules using the limit of Riemann sums. Because all four definite integrals have the same limits of integration, they use the same partition. A uniform partition of \([0,a]\) of size \(n\) has

\begin{equation*} \Delta x = \frac{a-0}{n} = \frac{a}{n} \end{equation*}

and the partition points are defined as

\begin{equation*} x_k = \frac{ak}{n}. \end{equation*}

In each case, we will use the right-hand rule with \(x_k^* = x_k\text{.}\)

The first integral is just a restatement of the accumulated change for a constant rate 5.2.1 \(c\text{.}\) However, we will show that Riemann sums are consistent with our original definition. The Riemann sum corresponding to \(\displaystyle \int_0^a c \, dx\) has an integrand \(f(x)=c\text{.}\) Consequently, the Riemann sum is given by

\begin{align*} \sum_{k=1}^{n} f(x_k^*) \Delta x & = \sum_{k=1}^{n} c \cdot \frac{a}{n} = \sum_{k=1}^{n} \frac{ca}{n}\\ & = (\frac{a}{n}) \cdot n = a, \end{align*}

since the final summation has a constant increment 3.4.8 \(\frac{ca}{n}\text{.}\) Because the Riemann sum does not depend on \(n\text{,}\) the definite integral, or limit of the Riemann sum, is

\begin{equation*} \int_{0}^{a} c \, dx = \lim_{n \to \infty} ca = ca. \end{equation*}

The Riemann sum corresponding to \(\displaystyle \int_0^a x \, dx\text{,}\) with integrand \(f(x)=x\) so that \(\displaystyle f(x_k^*) = \frac{ak}{n}\text{,}\) is given by

\begin{align*} \sum_{k=1}^{n} f(x_k^*) \Delta x & = \sum_{k=1}^{n} \frac{ak}{n} \cdot \frac{a}{n} = \sum_{k=1}^{n} \frac{a^2}{n^2}k\\ & = (\frac{a^2}{n^2}) \sum_{k=1}^n k = \frac{a^2}{n^2} \cdot \frac{n(n+1)}{2} = \frac{a^2 (n^2+n)}{2n^2} \\ & = \frac{a^2(1+\frac{1}{n})}{2}. \end{align*}

The definite integral is the limit of this sum,

\begin{equation*} \int_{0}^{a} x \, dx = \lim_{n \to \infty} \frac{a^2(1+\frac{1}{n})}{2} = \frac{1}{2}a^2. \end{equation*}

The other two statements are similarly proved, using \(f(x)=x^2\) and \(f(x)=x^3\text{.}\) The corresponding Riemann sums involve \(\sum k^2\) and \(\sum k^3\text{.}\) Try these out in the exercises.

Example 5.4.16

Compute \(\displaystyle \int_0^4 (3x-4) dx\)


The integral has the same lower limit as our elementary accumulation formulas. Using linearity with \(-4=-4 \cdot 1\text{,}\) we can rewrite our integral

\begin{align*} \int_{0}^{4} (3x-4) dx &= 3 \int_{0}^{4} x \, dx -4 \int_{0}^{4} 1 \, dx \\ &= 3 \cdot \frac{1}{2}(4)^2 - 4 \cdot 4 = 24-16 = 8. \end{align*}
Example 5.4.17

Compute \(\displaystyle \int_0^3 (2x+1)(x-3) dx\)


Again, the integral has the same lower limit as our elementary accumulation formulas. The integrand as written is not a sum, so we can not use linearity until we expand the multiplication as a sum.

\begin{equation*} (2x+1)(x-3) = 2x^2 -6x + x -3 = 2x^2-5x-3. \end{equation*}

Now we can rewrite our integral using linearity to find

\begin{align*} \int_{0}^{3} (2x+1)(x-3) dx &= \int_{0}^{3} (2x^2-5x-3)\, dx \\ &= 2 \int_{0}^{3} x^2 \, dx -5 \int_{0}^{3} x \, dx - 3 \int_{0}^{3} 1 \, dx\\ &= 2 \cdot \frac{1}{3}(3)^3 -5 \cdot \frac{1}{2}(3)^2 - 3 \cdot 3\\ &= 18 - \frac{45}{2} - 9 = -\frac{27}{2}. \end{align*}

When the lower limit is not zero, we need to use the splitting property of definite integrals.

Example 5.4.18

Compute \(\displaystyle \int_{2}^{5} 2x^2 \, dx\text{.}\)


The constant multiple rule allows us to factor out the constant \(2\) to obtain

\begin{equation*} \int_{2}^{5} 2x^2\, dx = 2\int_{2}^{5} x^2 \, dx. \end{equation*}

For any function that is integrable on \([0,5]\text{,}\) we can write

\begin{equation*} \int_{0}^{5} f(x) \, dx = \int_{0}^{2} f(x) \, dx + \int_{2}^{5} f(x) \, dx. \end{equation*}

Reordering the terms in this equation, we find

\begin{equation*} \int_{2}^{5} f(x) \, dx = \int_{0}^{5} f(x) \, dx - \int_{0}^{2} f(x) \, dx. \end{equation*}

Applying this to the function \(f(x)=x^2\text{,}\) we find

\begin{align*} \int_{2}^{5} 2x^2\, dx &= 2\int_{2}^{5} x^2 \, dx \\ &= 2 \Big(\int_{0}^{5} x^2 \, dx - \int_{0}^{2} x^2 \, dx \Big) \\ &= 2 \Big(\frac{1}{3} (5)^3 - \frac{1}{3} (2)^3\Big)\\ &= 2 \cdot \frac{125-8}{3} = 78. \end{align*}