Properties of the Definite Integral
The properties of indefinite integrals apply to definite integrals as well. Definite integrals also have properties that relate to the limits of integration. These properties, along with the rules of integration that we examine later in this chapter, help us manipulate expressions to evaluate definite integrals.
Rule: Properties of the Definite Integral
- \[\int_{a}^{a} f \left(\right. x \left.\right) d x = 0\]
If the limits of integration are the same, the integral is just a line and contains no area. - \[\int_{b}^{a} f \left(\right. x \left.\right) d x = − \int_{a}^{b} f \left(\right. x \left.\right) d x\]
If the limits are reversed, then place a negative sign in front of the integral. - \[\int_{a}^{b} \left[\right. f \left(\right. x \left.\right) + g \left(\right. x \left.\right) \left]\right. d x = \int_{a}^{b} f \left(\right. x \left.\right) d x + \int_{a}^{b} g \left(\right. x \left.\right) d x\]
The integral of a sum is the sum of the integrals. - \[\int_{a}^{b} \left[\right. f \left(\right. x \left.\right) - g \left(\right. x \left.\right) \left]\right. d x = \int_{a}^{b} f \left(\right. x \left.\right) d x - \int_{a}^{b} g \left(\right. x \left.\right) d x\]
The integral of a difference is the difference of the integrals. - \[\int_{a}^{b} c f \left(\right. x \left.\right) d x = c \int_{a}^{b} f \left(\right. x \left.\right) d x\]
for constant c. The integral of the product of a constant and a function is equal to the constant multiplied by the integral of the function. - \[\int_{a}^{b} f \left(\right. x \left.\right) d x = \int_{a}^{c} f \left(\right. x \left.\right) d x + \int_{c}^{b} f \left(\right. x \left.\right) d x\]
Although this formula normally applies when c is between a and b, the formula holds for all values of a, b, and c, provided \(f \left(\right. x \left.\right)\) is integrable on the largest interval.
Example 5.11
Using the Properties of the Definite Integral
Use the properties of the definite integral to express the definite integral of \(f \left(\right. x \left.\right) = −3 x^{3} + 2 x + 2\) over the interval \(\left[\right. −2 , 1 \left]\right.\) as the sum of three definite integrals.
Solution
Using integral notation, we have \(\int_{−2}^{1} \left(\right. −3 x^{3} + 2 x + 2 \left.\right) d x .\) We apply properties 3. and 5. to get
Checkpoint 5.11
Use the properties of the definite integral to express the definite integral of \(f \left(\right. x \left.\right) = 6 x^{3} - 4 x^{2} + 2 x - 3\) over the interval \(\left[\right. 1 , 3 \left]\right.\) as the sum of four definite integrals.
Example 5.12
Using the Properties of the Definite Integral
If it is known that \(\int_{0}^{8} f \left(\right. x \left.\right) d x = 10\) and \(\int_{0}^{5} f \left(\right. x \left.\right) d x = 5 ,\) find the value of \(\int_{5}^{8} f \left(\right. x \left.\right) d x .\)
Solution
By property 6.,
Thus,
Checkpoint 5.12
If it is known that \(\int_{1}^{5} f \left(\right. x \left.\right) d x = −3\) and \(\int_{2}^{5} f \left(\right. x \left.\right) d x = 4 ,\) find the value of \(\int_{1}^{2} f \left(\right. x \left.\right) d x .\)
Comparison Properties of Integrals
A picture can sometimes tell us more about a function than the results of computations. Comparing functions by their graphs as well as by their algebraic expressions can often give new insight into the process of integration. Intuitively, we might say that if a function \(f \left(\right. x \left.\right)\) is above another function \(g \left(\right. x \left.\right) ,\) then the area between \(f \left(\right. x \left.\right)\) and the x-axis is greater than the area between \(g \left(\right. x \left.\right)\) and the x-axis. This is true depending on the interval over which the comparison is made. The properties of definite integrals are valid whether \(a < b , a = b ,\) or \(a > b .\) The following properties, however, concern only the case \(a \leq b ,\) and are used when we want to compare the sizes of integrals.
Theorem 5.2
Comparison Theorem
- If \(f \left(\right. x \left.\right) \geq 0\) for \(a \leq x \leq b ,\) then
\[\int_{a}^{b} f \left(\right. x \left.\right) d x \geq 0 .\] - If \(f \left(\right. x \left.\right) \geq g \left(\right. x \left.\right)\) for \(a \leq x \leq b ,\) then
\[\int_{a}^{b} f \left(\right. x \left.\right) d x \geq \int_{a}^{b} g \left(\right. x \left.\right) d x .\] - If m and M are constants such that \(m \leq f \left(\right. x \left.\right) \leq M\) for \(a \leq x \leq b ,\) then
\[\begin{aligned} m \left(\right. b - a \left.\right) & \leq \int_{a}^{b} f \left(\right. x \left.\right) d x \\ & \leq M \left(\right. b - a \left.\right) . \end{aligned}\]
Example 5.13
Comparing Two Functions over a Given Interval
Compare \(f \left(\right. x \left.\right) = \sqrt{1 + x^{2}}\) and \(g \left(\right. x \left.\right) = \sqrt{1 + x}\) over the interval \(\left[\right. 0 , 1 \left]\right. .\)
Solution
Graphing these functions is necessary to understand how they compare over the interval \(\left[\right. 0 , 1 \left]\right. .\) Initially, when graphed on a graphing calculator, \(f \left(\right. x \left.\right)\) appears to be above \(g \left(\right. x \left.\right)\) everywhere. However, on the interval \(\left[\right. 0 , 1 \left]\right. ,\) the graphs appear to be on top of each other. We need to zoom in to see that, on the interval \(\left[\right. 0 , 1 \left]\right. , g \left(\right. x \left.\right)\) is above \(f \left(\right. x \left.\right) .\) The two functions intersect at \(x = 0\) and \(x = 1\) (Figure 5.23).
We can see from the graph that over the interval \(\left[\right. 0 , 1 \left]\right. , g \left(\right. x \left.\right) \geq f \left(\right. x \left.\right) .\) Comparing the integrals over the specified interval \(\left[\right. 0 , 1 \left]\right. ,\) we also see that \(\int_{0}^{1} g \left(\right. x \left.\right) d x \geq \int_{0}^{1} f \left(\right. x \left.\right) d x\) (Figure 5.24). The thin, red-shaded area shows just how much difference there is between these two integrals over the interval \(\left[\right. 0 , 1 \left]\right. .\)
This lesson is part of:
Integration