The Definite Integral

Learning Objectives

State the definition of the definite integral.
Explain the terms integrand, limits of integration, and variable of integration.
Explain when a function is integrable.
Describe the relationship between the definite integral and net area.
Use geometry and the properties of definite integrals to evaluate them.
Calculate the average value of a function.

In the preceding section we defined the area under a curve in terms of Riemann sums:

[latex]A=\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\text{Δ}x.[/latex]

However, this definition came with restrictions. We required [latex]f\left(x\right)[/latex] to be continuous and nonnegative. Unfortunately, real-world problems don’t always meet these restrictions. In this section, we look at how to apply the concept of the area under the curve to a broader set of functions through the use of the definite integral.

Definition and Notation

The definite integral generalizes the concept of the area under a curve. We lift the requirements that [latex]f\left(x\right)[/latex] be continuous and nonnegative, and define the definite integral as follows.

Definition

If [latex]f\left(x\right)[/latex] is a function defined on an interval [latex]\left[a,b\right],[/latex] the definite integral of f from a to b is given by

[latex]{\int }_{a}^{b}f\left(x\right)dx=\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\text{Δ}x,[/latex]

provided the limit exists. If this limit exists, the function [latex]f\left(x\right)[/latex] is said to be integrable on [latex]\left[a,b\right],[/latex] or is an integrable function.

The integral symbol in the previous definition should look familiar. We have seen similar notation in the chapter on Applications of Derivatives, where we used the indefinite integral symbol (without the a and b above and below) to represent an antiderivative. Although the notation for indefinite integrals may look similar to the notation for a definite integral, they are not the same. A definite integral is a number. An indefinite integral is a family of functions. Later in this chapter we examine how these concepts are related. However, close attention should always be paid to notation so we know whether we’re working with a definite integral or an indefinite integral.

Integral notation goes back to the late seventeenth century and is one of the contributions of Gottfried Wilhelm Leibniz, who is often considered to be the codiscoverer of calculus, along with Isaac Newton. The integration symbol ∫ is an elongated S, suggesting sigma or summation. On a definite integral, above and below the summation symbol are the boundaries of the interval, [latex]\left[a,b\right].[/latex] The numbers a and b are x-values and are called the limits of integration; specifically, a is the lower limit and b is the upper limit. To clarify, we are using the word limit in two different ways in the context of the definite integral. First, we talk about the limit of a sum as [latex]n\to \infty .[/latex] Second, the boundaries of the region are called the limits of integration.

We call the function [latex]f\left(x\right)[/latex] the integrand, and the dx indicates that [latex]f\left(x\right)[/latex] is a function with respect to x, called the variable of integration. Note that, like the index in a sum, the variable of integration is a dummy variable, and has no impact on the computation of the integral. We could use any variable we like as the variable of integration:

[latex]{\int }_{a}^{b}f\left(x\right)dx={\int }_{a}^{b}f\left(t\right)dt={\int }_{a}^{b}f\left(u\right)du[/latex]

Previously, we discussed the fact that if [latex]f\left(x\right)[/latex] is continuous on [latex]\left[a,b\right],[/latex] then the limit [latex]\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\text{Δ}x[/latex] exists and is unique. This leads to the following theorem, which we state without proof.

Continuous Functions Are Integrable

If [latex]f\left(x\right)[/latex] is continuous on [latex]\left[a,b\right],[/latex] then f is integrable on [latex]\left[a,b\right].[/latex]

Functions that are not continuous on [latex]\left[a,b\right][/latex] may still be integrable, depending on the nature of the discontinuities. For example, functions with a finite number of jump discontinuities on a closed interval are integrable.

It is also worth noting here that we have retained the use of a regular partition in the Riemann sums. This restriction is not strictly necessary. Any partition can be used to form a Riemann sum. However, if a nonregular partition is used to define the definite integral, it is not sufficient to take the limit as the number of subintervals goes to infinity. Instead, we must take the limit as the width of the largest subinterval goes to zero. This introduces a little more complex notation in our limits and makes the calculations more difficult without really gaining much additional insight, so we stick with regular partitions for the Riemann sums.

Evaluating an Integral Using the Definition

Use the definition of the definite integral to evaluate [latex]{\int }_{0}^{2}{x}^{2}dx.[/latex] Use a right-endpoint approximation to generate the Riemann sum.

We first want to set up a Riemann sum. Based on the limits of integration, we have [latex]a=0[/latex] and [latex]b=2.[/latex] For [latex]i=0,1,2\text{,…,}\phantom{\rule{0.2em}{0ex}}n,[/latex] let [latex]P=\left\{{x}_{i}\right\}[/latex] be a regular partition of [latex]\left[0,2\right].[/latex] Then

[latex]\text{Δ}x=\frac{b-a}{n}=\frac{2}{n}.[/latex]

Since we are using a right-endpoint approximation to generate Riemann sums, for each i, we need to calculate the function value at the right endpoint of the interval [latex]\left[{x}_{i-1},{x}_{i}\right].[/latex] The right endpoint of the interval is [latex]{x}_{i},[/latex] and since P is a regular partition,

[latex]{x}_{i}={x}_{0}+i\text{Δ}x=0+i\left[\frac{2}{n}\right]=\frac{2i}{n}.[/latex]

Thus, the function value at the right endpoint of the interval is

[latex]f\left({x}_{i}\right)={x}_{i}^{2}={\left(\frac{2i}{n}\right)}^{2}=\frac{4{i}^{2}}{{n}^{2}}.[/latex]

Then the Riemann sum takes the form

[latex]\sum _{i=1}^{n}f\left({x}_{i}\right)\text{Δ}x=\sum _{i=1}^{n}\left(\frac{4{i}^{2}}{{n}^{2}}\right)\frac{2}{n}=\sum _{i=1}^{n}\frac{8{i}^{2}}{{n}^{3}}=\frac{8}{{n}^{3}}\sum _{i=1}^{n}{i}^{2}.[/latex]

Using the summation formula for [latex]\sum _{i=1}^{n}{i}^{2},[/latex] we have

[latex]\begin{array}{cc}\sum _{i=1}^{n}f\left({x}_{i}\right)\text{Δ}x\hfill & =\frac{8}{{n}^{3}}\sum _{i=1}^{n}{i}^{2}\hfill \\ \\ \\ \\ & =\frac{8}{{n}^{3}}\left[\frac{n\left(n+1\right)\left(2n+1\right)}{6}\right]\hfill \\ & =\frac{8}{{n}^{3}}\left[\frac{2{n}^{3}+3{n}^{2}+n}{6}\right]\hfill \\ & =\frac{16{n}^{3}+24{n}^{2}+n}{6{n}^{3}}\hfill \\ & =\frac{8}{3}+\frac{4}{n}+\frac{1}{6{n}^{2}}.\hfill \end{array}[/latex]

Now, to calculate the definite integral, we need to take the limit as [latex]n\to \infty .[/latex] We get

[latex]\begin{array}{cc}{\int }_{0}^{2}{x}^{2}dx\hfill & =\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}\right)\text{Δ}x\hfill \\ \\ \\ & =\underset{n\to \infty }{\text{lim}}\left(\frac{8}{3}+\frac{4}{n}+\frac{1}{6{n}^{2}}\right)\hfill \\ & =\underset{n\to \infty }{\text{lim}}\left(\frac{8}{3}\right)+\underset{n\to \infty }{\text{lim}}\left(\frac{4}{n}\right)+\underset{n\to \infty }{\text{lim}}\left(\frac{1}{6{n}^{2}}\right)\hfill \\ & =\frac{8}{3}+0+0=\frac{8}{3}.\hfill \end{array}[/latex]

Use the definition of the definite integral to evaluate [latex]{\int }_{0}^{3}\left(2x-1\right)dx.[/latex] Use a right-endpoint approximation to generate the Riemann sum.

Hint

Use the solving strategy from [link].

Evaluating Definite Integrals

Evaluating definite integrals this way can be quite tedious because of the complexity of the calculations. Later in this chapter we develop techniques for evaluating definite integrals without taking limits of Riemann sums. However, for now, we can rely on the fact that definite integrals represent the area under the curve, and we can evaluate definite integrals by using geometric formulas to calculate that area. We do this to confirm that definite integrals do, indeed, represent areas, so we can then discuss what to do in the case of a curve of a function dropping below the x-axis.

Using Geometric Formulas to Calculate Definite Integrals

Use the formula for the area of a circle to evaluate [latex]{\int }_{3}^{6}\sqrt{9-{\left(x-3\right)}^{2}}dx.[/latex]

The function describes a semicircle with radius 3. To find

[latex]{\int }_{3}^{6}\sqrt{9-{\left(x-3\right)}^{2}}dx,[/latex]

we want to find the area under the curve over the interval [latex]\left[3,6\right].[/latex] The formula for the area of a circle is [latex]A=\pi {r}^{2}.[/latex] The area of a semicircle is just one-half the area of a circle, or [latex]A=\left(\frac{1}{2}\right)\pi {r}^{2}.[/latex] The shaded area in [link] covers one-half of the semicircle, or [latex]A=\left(\frac{1}{4}\right)\pi {r}^{2}.[/latex] Thus,

[latex]\begin{array}{}\\ \\ {\int }_{3}^{6}\sqrt{9-{\left(x-3\right)}^{2}}\hfill & =\frac{1}{4}\pi {\left(3\right)}^{2}\hfill \\ & =\frac{9}{4}\pi \hfill \\ & \approx 7.069.\hfill \end{array}[/latex]

The value of the integral of the function [latex]f\left(x\right)[/latex] over the interval [latex]\left[3,6\right][/latex] is the area of the shaded region.

A graph of a semi circle in quadrant one over the interval [0,6] with center at (3,0). The area under the curve over the interval [3,6] is shaded in blue.

Use the formula for the area of a trapezoid to evaluate [latex]{\int }_{2}^{4}\left(2x+3\right)dx.[/latex]

18 square units

Hint

Graph the function [latex]f\left(x\right)[/latex] and calculate the area under the function on the interval [latex]\left[2,4\right].[/latex]

Area and the Definite Integral

When we defined the definite integral, we lifted the requirement that [latex]f\left(x\right)[/latex] be nonnegative. But how do we interpret “the area under the curve” when [latex]f\left(x\right)[/latex] is negative?

Net Signed Area

Let us return to the Riemann sum. Consider, for example, the function [latex]f\left(x\right)=2-2{x}^{2}[/latex] (shown in [link]) on the interval [latex]\left[0,2\right].[/latex] Use [latex]n=8[/latex] and choose [latex]\left\{{x}_{i}^{*}\text{}}[/latex] as the left endpoint of each interval. Construct a rectangle on each subinterval of height [latex]f\left({x}_{i}^{*}\right)[/latex] and width Δx. When [latex]f\left({x}_{i}^{*}\right)[/latex] is positive, the product [latex]f\left({x}_{i}^{*}\right)\text{Δ}x[/latex] represents the area of the rectangle, as before. When [latex]f\left({x}_{i}^{*}\right)[/latex] is negative, however, the product [latex]f\left({x}_{i}^{*}\right)\text{Δ}x[/latex] represents the negative of the area of the rectangle. The Riemann sum then becomes

[latex]\sum _{i=1}^{8}f\left({x}_{i}^{*}\right)\text{Δ}x=\left(\text{Area of rectangles above the}\phantom{\rule{0.2em}{0ex}}x\text{-axis}\right)-\left(\text{Area of rectangles below the}\phantom{\rule{0.2em}{0ex}}x\text{-axis}\right)[/latex]

For a function that is partly negative, the Riemann sum is the area of the rectangles above the x-axis less the area of the rectangles below the x-axis.

A graph of a downward opening parabola over [-1, 2] with vertex at (0,2) and x-intercepts at (-1,0) and (1,0). Eight rectangles are drawn evenly over [0,2] with heights determined by the value of the function at the left endpoints of each.

Taking the limit as [latex]n\to \infty ,[/latex] the Riemann sum approaches the area between the curve above the x-axis and the x-axis, less the area between the curve below the x-axis and the x-axis, as shown in [link]. Then,

[latex]\begin{array}{cc}{\int }_{0}^{2}f\left(x\right)dx\hfill & =\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({c}_{i}\right)\text{Δ}x\hfill \\ & ={A}_{1}-{A}_{2}.\hfill \end{array}[/latex]

The quantity [latex]{A}_{1}-{A}_{2}[/latex] is called the net signed area.

In the limit, the definite integral equals area A₁ less area A₂, or the net signed area.

A graph of a downward opening parabola over [-2, 2] with vertex at (0,2) and x-intercepts at (-1,0) and (1,0). The area in quadrant one under the curve is shaded blue and labeled A1. The area in quadrant four above the curve and to the left of x=2 is shaded blue and labeled A2.

Notice that net signed area can be positive, negative, or zero. If the area above the x-axis is larger, the net signed area is positive. If the area below the x-axis is larger, the net signed area is negative. If the areas above and below the x-axis are equal, the net signed area is zero.

Finding the Net Signed Area

Find the net signed area between the curve of the function [latex]f\left(x\right)=2x[/latex] and the x-axis over the interval [latex]\left[-3,3\right].[/latex]

The function produces a straight line that forms two triangles: one from [latex]x=-3[/latex] to [latex]x=0[/latex] and the other from [latex]x=0[/latex] to [latex]x=3[/latex] ([link]). Using the geometric formula for the area of a triangle, [latex]A=\frac{1}{2}bh,[/latex] the area of triangle A₁, above the axis, is

[latex]{A}_{1}=\frac{1}{2}3\left(6\right)=9,[/latex]

where 3 is the base and [latex]2\left(3\right)=6[/latex] is the height. The area of triangle A₂, below the axis, is

[latex]{A}_{2}=\frac{1}{2}\left(3\right)\left(6\right)=9,[/latex]

where 3 is the base and 6 is the height. Thus, the net area is

[latex]{\int }_{-3}^{3}2xdx={A}_{1}-{A}_{2}=9-9=0.[/latex]

The area above the curve and below the x-axis equals the area below the curve and above the x-axis.

A graph of an increasing line over [-6, 6] going through the origin and (-3, -6) and (3,6). The area under the line in quadrant one over [0,3] is shaded blue and labeled A1, and the area above the line in quadrant three over [-3,0] is shaded blue and labeled A2.

Analysis

If A₁ is the area above the x-axis and A₂ is the area below the x-axis, then the net area is [latex]{A}_{1}-{A}_{2}.[/latex] Since the areas of the two triangles are equal, the net area is zero.

Find the net signed area of [latex]f\left(x\right)=x-2[/latex] over the interval [latex]\left[0,6\right],[/latex] illustrated in the following image.

A graph of an increasing line going through (-2,-4), (0,-2), (2,0), (4,2) and (6,4). The area above the curve in quadrant four is shaded blue and labeled A2, and the area under the curve and to the left of x=6 in quadrant one is shaded and labeled A1.

Hint

Use the solving method described in [link].

Total Area

One application of the definite integral is finding displacement when given a velocity function. If [latex]v\left(t\right)[/latex] represents the velocity of an object as a function of time, then the area under the curve tells us how far the object is from its original position. This is a very important application of the definite integral, and we examine it in more detail later in the chapter. For now, we’re just going to look at some basics to get a feel for how this works by studying constant velocities.

When velocity is a constant, the area under the curve is just velocity times time. This idea is already very familiar. If a car travels away from its starting position in a straight line at a speed of 75 mph for 2 hours, then it is 150 mi away from its original position ([link]). Using integral notation, we have

[latex]{\int }_{0}^{2}75dt=150.[/latex]

The area under the curve [latex]v\left(t\right)=75[/latex] tells us how far the car is from its starting point at a given time.

A graph in quadrant 1 with the x-axis labeled as t (hours) and y-axis labeled as v (mi/hr). The area under the line v(t) = 75 is shaded blue over [0,2].

In the context of displacement, net signed area allows us to take direction into account. If a car travels straight north at a speed of 60 mph for 2 hours, it is 120 mi north of its starting position. If the car then turns around and travels south at a speed of 40 mph for 3 hours, it will be back at it starting position ([link]). Again, using integral notation, we have

[latex]\begin{array}{cc}{\int }_{0}^{2}60dt+{\int }_{2}^{5}-40dt\hfill & =120-120\hfill \\ & =0.\hfill \end{array}[/latex]

In this case the displacement is zero.

The area above the axis and the area below the axis are equal, so the net signed area is zero.

A graph in quadrants one and four with the x-axis labeled as t (hours) and the y axis labeled as v (mi/hr). The first part of the graph is the line v(t) = 60 over [0,2], and the area under the line in quadrant one is shaded. The second part of the graph is the line v(t) = -40 over [2,5], and the area above the line in quadrant four is shaded.

Suppose we want to know how far the car travels overall, regardless of direction. In this case, we want to know the area between the curve and the x-axis, regardless of whether that area is above or below the axis. This is called the total area.

Graphically, it is easiest to think of calculating total area by adding the areas above the axis and the areas below the axis (rather than subtracting the areas below the axis, as we did with net signed area). To accomplish this mathematically, we use the absolute value function. Thus, the total distance traveled by the car is

[latex]\begin{array}{cc}{\int }_{0}^{2}|60|dt+{\int }_{2}^{5}|-40|dt\hfill & ={\int }_{0}^{2}60dt+{\int }_{2}^{5}40dt\hfill \\ & =120+120\hfill \\ & =240.\hfill \end{array}[/latex]

Bringing these ideas together formally, we state the following definitions.

Definition

Let [latex]f\left(x\right)[/latex] be an integrable function defined on an interval [latex]\left[a,b\right].[/latex] Let A₁ represent the area between [latex]f\left(x\right)[/latex] and the x-axis that lies above the axis and let A₂ represent the area between [latex]f\left(x\right)[/latex] and the x-axis that lies below the axis. Then, the net signed area between [latex]f\left(x\right)[/latex] and the x-axis is given by

[latex]{\int }_{a}^{b}f\left(x\right)dx={A}_{1}-{A}_{2}.[/latex]

The total area between [latex]f\left(x\right)[/latex] and the x-axis is given by

[latex]{\int }_{a}^{b}|f\left(x\right)|dx={A}_{1}+{A}_{2}.[/latex]

Finding the Total Area

Find the total area between [latex]f\left(x\right)=x-2[/latex] and the x-axis over the interval [latex]\left[0,6\right].[/latex]

Calculate the x-intercept as [latex]\left(2,0\right)[/latex] (set [latex]y=0,[/latex] solve for x). To find the total area, take the area below the x-axis over the subinterval [latex]\left[0,2\right][/latex] and add it to the area above the x-axis on the subinterval [latex]\left[2,6\right][/latex] ([link]).

The total area between the line and the x-axis over [latex]\left[0,6\right][/latex] is A₂ plus A₁.

A graph of a increasing line f(x) = x-2 going through the points (-2,-4), (0,2), (2,0), (4,2), and (6,4). The area under the line in quadrant one and to the left of the line x=6 is shaded and labeled A1. The area above the line in quadrant four is shaded and labeled A2.

We have

[latex]{\int }_{0}^{6}|\left(x-2\right)|dx={A}_{2}+{A}_{1}.[/latex]

Then, using the formula for the area of a triangle, we obtain

[latex]{A}_{2}=\frac{1}{2}bh=\frac{1}{2}·2·2=2[/latex]

[latex]{A}_{1}=\frac{1}{2}bh=\frac{1}{2}·4·4=8.[/latex]

The total area, then, is

[latex]{A}_{1}+{A}_{2}=8+2=10.[/latex]

Find the total area between the function [latex]f\left(x\right)=2x[/latex] and the x-axis over the interval [latex]\left[-3,3\right].[/latex]

Hint

Review the solving strategy in [link].

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

[latex]{\int }_{a}^{a}f\left(x\right)dx=0[/latex]

If the limits of integration are the same, the integral is just a line and contains no area.
[latex]{\int }_{b}^{a}f\left(x\right)dx=\text{−}{\int }_{a}^{b}f\left(x\right)dx[/latex]

If the limits are reversed, then place a negative sign in front of the integral.
[latex]{\int }_{a}^{b}\left[f\left(x\right)+g\left(x\right)\right]dx={\int }_{a}^{b}f\left(x\right)dx+{\int }_{a}^{b}g\left(x\right)dx[/latex]

The integral of a sum is the sum of the integrals.
[latex]{\int }_{a}^{b}\left[f\left(x\right)-g\left(x\right)\right]dx={\int }_{a}^{b}f\left(x\right)dx-{\int }_{a}^{b}g\left(x\right)dx[/latex]

The integral of a difference is the difference of the integrals.
[latex]{\int }_{a}^{b}cf\left(x\right)dx=c{\int }_{a}^{b}f\left(x\right)[/latex]

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.
[latex]{\int }_{a}^{b}f\left(x\right)dx={\int }_{a}^{c}f\left(x\right)dx+{\int }_{c}^{b}f\left(x\right)dx[/latex]

Although this formula normally applies when c is between a and b, the formula holds for all values of a, b, and c, provided [latex]f\left(x\right)[/latex] is integrable on the largest interval.

Using the Properties of the Definite Integral

Use the properties of the definite integral to express the definite integral of [latex]f\left(x\right)=-3{x}^{3}+2x+2[/latex] over the interval [latex]\left[-2,1\right][/latex] as the sum of three definite integrals.

Using integral notation, we have [latex]{\int }_{-2}^{1}\left(-3{x}^{3}+2x+2\right)dx.[/latex] We apply properties 3. and 5. to get

[latex]\begin{array}{cc}{\int }_{-2}^{1}\left(-3{x}^{3}+2x+2\right)dx\hfill & ={\int }_{-2}^{1}-3{x}^{3}dx+{\int }_{-2}^{1}2xdx+{\int }_{-2}^{1}2dx\hfill \\ & =-3{\int }_{-2}^{1}{x}^{3}dx+2{\int }_{-2}^{1}xdx+{\int }_{-2}^{1}2dx.\hfill \end{array}[/latex]

Use the properties of the definite integral to express the definite integral of [latex]f\left(x\right)=6{x}^{3}-4{x}^{2}+2x-3[/latex] over the interval [latex]\left[1,3\right][/latex] as the sum of four definite integrals.

[latex]6{\int }_{1}^{3}{x}^{3}dx-4{\int }_{1}^{3}{x}^{2}dx+2{\int }_{1}^{3}xdx-{\int }_{1}^{3}3dx[/latex]

Hint

Use the solving strategy from [link] and the properties of definite integrals.

Using the Properties of the Definite Integral

If it is known that [latex]{\int }_{0}^{8}f\left(x\right)dx=10[/latex] and [latex]{\int }_{0}^{5}f\left(x\right)dx=5,[/latex] find the value of [latex]{\int }_{5}^{8}f\left(x\right)dx.[/latex]

By property 6.,

[latex]{\int }_{a}^{b}f\left(x\right)dx={\int }_{a}^{c}f\left(x\right)dx+{\int }_{c}^{b}f\left(x\right)dx.[/latex]

Thus,

[latex]\begin{array}{ccc}{\int }_{0}^{8}f\left(x\right)dx\hfill & =\hfill & {\int }_{0}^{5}f\left(x\right)dx+{\int }_{5}^{8}f\left(x\right)dx\hfill \\ \hfill 10& =\hfill & 5+{\int }_{5}^{8}f\left(x\right)dx\hfill \\ \hfill 5& =\hfill & {\int }_{5}^{8}f\left(x\right)dx.\hfill \end{array}[/latex]

If it is known that [latex]{\int }_{1}^{5}f\left(x\right)dx=-3[/latex] and [latex]{\int }_{2}^{5}f\left(x\right)dx=4,[/latex] find the value of [latex]{\int }_{1}^{2}f\left(x\right)dx.[/latex]

−7

Hint

Use the solving strategy from [link] and the rule on properties of definite integrals.

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 [latex]f\left(x\right)[/latex] is above another function [latex]g\left(x\right),[/latex] then the area between [latex]f\left(x\right)[/latex] and the x-axis is greater than the area between [latex]g\left(x\right)[/latex] 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 [latex]a<b,a=b,[/latex] or [latex]a>b.[/latex] The following properties, however, concern only the case [latex]a\le b,[/latex] and are used when we want to compare the sizes of integrals.

Comparison Theorem

If [latex]f\left(x\right)\ge 0[/latex] for [latex]a\le x\le b,[/latex] then

[latex]{\int }_{a}^{b}f\left(x\right)dx\ge 0.[/latex]
If [latex]f\left(x\right)\ge g\left(x\right)[/latex] for [latex]a\le x\le b,[/latex] then

[latex]{\int }_{a}^{b}f\left(x\right)dx\ge {\int }_{a}^{b}g\left(x\right)dx.[/latex]
If m and M are constants such that [latex]m\le f\left(x\right)\le M[/latex] for [latex]a\le x\le b,[/latex] then

[latex]\begin{array}{cc}\\ \\ m\left(b-a\right)\hfill & \le {\int }_{a}^{b}f\left(x\right)dx\hfill \\ & \le M\left(b-a\right).\hfill \end{array}[/latex]

Comparing Two Functions over a Given Interval

Compare [latex]f\left(x\right)=\sqrt{1+{x}^{2}}[/latex] and [latex]g\left(x\right)=\sqrt{1+x}[/latex] over the interval [latex]\left[0,1\right].[/latex]

Graphing these functions is necessary to understand how they compare over the interval [latex]\left[0,1\right].[/latex] Initially, when graphed on a graphing calculator, [latex]f\left(x\right)[/latex] appears to be above [latex]g\left(x\right)[/latex] everywhere. However, on the interval [latex]\left[0,1\right],[/latex] the graphs appear to be on top of each other. We need to zoom in to see that, on the interval [latex]\left[0,1\right],g\left(x\right)[/latex] is above [latex]f\left(x\right).[/latex] The two functions intersect at [latex]x=0[/latex] and [latex]x=1[/latex] ([link]).

(a) The function [latex]f\left(x\right)[/latex] appears above the function [latex]g\left(x\right)[/latex] except over the interval [latex]\left[0,1\right][/latex] (b) Viewing the same graph with a greater zoom shows this more clearly.

A graph of the function f(x) = sqrt(1 + x^2) in red and g(x) = sqrt(1 + x) in blue over [-2, 3]. The function f(x) appears above g(x) except over the interval [0,1]. A second, zoomed-in graph shows this interval more clearly.

We can see from the graph that over the interval [latex]\left[0,1\right],g\left(x\right)\ge f\left(x\right).[/latex] Comparing the integrals over the specified interval [latex]\left[0,1\right],[/latex] we also see that [latex]{\int }_{0}^{1}g\left(x\right)dx\ge {\int }_{0}^{1}f\left(x\right)dx[/latex] ([link]). The thin, red-shaded area shows just how much difference there is between these two integrals over the interval [latex]\left[0,1\right].[/latex]

(a) The graph shows that over the interval [latex]\left[0,1\right],g\left(x\right)\ge f\left(x\right),[/latex] where equality holds only at the endpoints of the interval. (b) Viewing the same graph with a greater zoom shows this more clearly.

A graph showing the functions f(x) = sqrt(1 + x^2) and g(x) = sqrt(1 + x) over [-3, 3]. The area under g(x) in quadrant one over [0,1] is shaded. The area under g(x) and f(x) is included in this shaded area. The second, zoomed-in graph shows more clearly that equality between the functions only holds at the endpoints.

Average Value of a Function

We often need to find the average of a set of numbers, such as an average test grade. Suppose you received the following test scores in your algebra class: 89, 90, 56, 78, 100, and 69. Your semester grade is your average of test scores and you want to know what grade to expect. We can find the average by adding all the scores and dividing by the number of scores. In this case, there are six test scores. Thus,

[latex]\frac{89+90+56+78+100+69}{6}=\frac{482}{6}\approx 80.33.[/latex]

Therefore, your average test grade is approximately 80.33, which translates to a B− at most schools.

Suppose, however, that we have a function [latex]v\left(t\right)[/latex] that gives us the speed of an object at any time t, and we want to find the object’s average speed. The function [latex]v\left(t\right)[/latex] takes on an infinite number of values, so we can’t use the process just described. Fortunately, we can use a definite integral to find the average value of a function such as this.

Let [latex]f\left(x\right)[/latex] be continuous over the interval [latex]\left[a,b\right][/latex] and let [latex]\left[a,b\right][/latex] be divided into n subintervals of width [latex]\text{Δ}x=\left(b-a\right)\text{/}n.[/latex] Choose a representative [latex]{x}_{i}^{*}[/latex] in each subinterval and calculate [latex]f\left({x}_{i}^{*}\right)[/latex] for [latex]i=1,2\text{,…,}\phantom{\rule{0.2em}{0ex}}n.[/latex] In other words, consider each [latex]f\left({x}_{i}^{*}\right)[/latex] as a sampling of the function over each subinterval. The average value of the function may then be approximated as

[latex]\frac{f\left({x}_{1}^{*}\right)+f\left({x}_{2}^{*}\right)+\text{⋯}+f\left({x}_{n}^{*}\right)}{n},[/latex]

which is basically the same expression used to calculate the average of discrete values.

But we know [latex]\text{Δ}x=\frac{b-a}{n},[/latex] so [latex]n=\frac{b-a}{\text{Δ}x},[/latex] and we get

[latex]\frac{f\left({x}_{1}^{*}\right)+f\left({x}_{2}^{*}\right)+\text{⋯}+f\left({x}_{n}^{*}\right)}{n}=\frac{f\left({x}_{1}^{*}\right)+f\left({x}_{2}^{*}\right)+\text{⋯}+f\left({x}_{n}^{*}\right)}{\frac{\left(b-a\right)}{\text{Δ}x}}.[/latex]

Following through with the algebra, the numerator is a sum that is represented as [latex]\sum _{i=1}^{n}f\left({x}_{i}^{*}\right),[/latex] and we are dividing by a fraction. To divide by a fraction, invert the denominator and multiply. Thus, an approximate value for the average value of the function is given by

[latex]\begin{array}{cc}\frac{\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)}{\frac{\left(b-a\right)}{\text{Δ}x}}\hfill & =\left(\frac{\text{Δ}x}{b-a}\right)\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\hfill \\ \\ & =\left(\frac{1}{b-a}\right)\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\text{Δ}x.\hfill \end{array}[/latex]

This is a Riemann sum. Then, to get the exact average value, take the limit as n goes to infinity. Thus, the average value of a function is given by

[latex]\frac{1}{b-a}\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}\right)\text{Δ}x=\frac{1}{b-a}{\int }_{a}^{b}f\left(x\right)dx.[/latex]

Definition

Let [latex]f\left(x\right)[/latex] be continuous over the interval [latex]\left[a,b\right].[/latex] Then, the average value of the function [latex]f\left(x\right)[/latex] (or f_ave) on [latex]\left[a,b\right][/latex] is given by

[latex]{f}_{\text{ave}}=\frac{1}{b-a}{\int }_{a}^{b}f\left(x\right)dx.[/latex]

Finding the Average Value of a Linear Function

Find the average value of [latex]f\left(x\right)=x+1[/latex] over the interval [latex]\left[0,5\right].[/latex]

First, graph the function on the stated interval, as shown in [link].

The graph shows the area under the function [latex]f\left(x\right)=x+1[/latex] over [latex]\left[0,5\right].[/latex]

A graph in quadrant one showing the shaded area under the function f(x) = x + 1 over [0,5].

The region is a trapezoid lying on its side, so we can use the area formula for a trapezoid [latex]A=\frac{1}{2}h\left(a+b\right),[/latex] where h represents height, and a and b represent the two parallel sides. Then,

[latex]\begin{array}{cc}{\int }_{0}^{5}x+1dx\hfill & =\frac{1}{2}h\left(a+b\right)\hfill \\ & =\frac{1}{2}·5·\left(1+6\right)\hfill \\ & =\frac{35}{2}.\hfill \end{array}[/latex]

Thus the average value of the function is

[latex]\frac{1}{5-0}{\int }_{0}^{5}x+1dx=\frac{1}{5}·\frac{35}{2}=\frac{7}{2}.[/latex]

Find the average value of [latex]f\left(x\right)=6-2x[/latex] over the interval [latex]\left[0,3\right].[/latex]

Hint

Use the average value formula, and use geometry to evaluate the integral.

Key Concepts

The definite integral can be used to calculate net signed area, which is the area above the x-axis less the area below the x-axis. Net signed area can be positive, negative, or zero.
The component parts of the definite integral are the integrand, the variable of integration, and the limits of integration.
Continuous functions on a closed interval are integrable. Functions that are not continuous may still be integrable, depending on the nature of the discontinuities.
The properties of definite integrals can be used to evaluate integrals.
The area under the curve of many functions can be calculated using geometric formulas.
The average value of a function can be calculated using definite integrals.

Key Equations

Definite Integral

[latex]{\int }_{a}^{b}f\left(x\right)dx=\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}f\left({x}_{i}^{*}\right)\text{Δ}x[/latex]
Properties of the Definite Integral

[latex]{\int }_{a}^{a}f\left(x\right)dx=0[/latex]

[latex]{\int }_{b}^{a}f\left(x\right)dx=\text{−}{\int }_{a}^{b}f\left(x\right)dx[/latex]

[latex]{\int }_{a}^{b}\left[f\left(x\right)+g\left(x\right)\right]dx={\int }_{a}^{b}f\left(x\right)dx+{\int }_{a}^{b}g\left(x\right)dx[/latex]

[latex]{\int }_{a}^{b}\left[f\left(x\right)-g\left(x\right)\right]dx={\int }_{a}^{b}f\left(x\right)dx-{\int }_{a}^{b}g\left(x\right)dx[/latex]

[latex]{\int }_{a}^{b}cf\left(x\right)dx=c{\int }_{a}^{b}f\left(x\right)[/latex] for constant c

[latex]{\int }_{a}^{b}f\left(x\right)dx={\int }_{a}^{c}f\left(x\right)dx+{\int }_{c}^{b}f\left(x\right)dx[/latex]

In the following exercises, express the limits as integrals.

[latex]\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}\left({x}_{i}^{*}\right)\text{Δ}x[/latex] over [latex]\left[1,3\right][/latex]

[latex]\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}\left(5{\left({x}_{i}^{*}\right)}^{2}-3{\left({x}_{i}^{*}\right)}^{3}\right)\text{Δ}x[/latex] over [latex]\left[0,2\right][/latex]

[latex]{\int }_{0}^{2}\left(5{x}^{2}-3{x}^{3}\right)dx[/latex]

[latex]\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}{\text{sin}}^{2}\left(2\pi {x}_{i}^{*}\right)\text{Δ}x[/latex] over [latex]\left[0,1\right][/latex]

[latex]\underset{n\to \infty }{\text{lim}}\sum _{i=1}^{n}{\text{cos}}^{2}\left(2\pi {x}_{i}^{*}\right)\text{Δ}x[/latex] over [latex]\left[0,1\right][/latex]

[latex]{\int }_{0}^{1}{\text{cos}}^{2}\left(2\pi x\right)dx[/latex]

In the following exercises, given L_n or R_n as indicated, express their limits as [latex]n\to \infty [/latex] as definite integrals, identifying the correct intervals.

[latex]{L}_{n}=\frac{1}{n}\sum _{i=1}^{n}\frac{i-1}{n}[/latex]

[latex]{R}_{n}=\frac{1}{n}\sum _{i=1}^{n}\frac{i}{n}[/latex]

[latex]{\int }_{0}^{1}xdx[/latex]

[latex]{L}_{n}=\frac{2}{n}\sum _{i=1}^{n}\left(1+2\frac{i-1}{n}\right)[/latex]

[latex]{R}_{n}=\frac{3}{n}\sum _{i=1}^{n}\left(3+3\frac{i}{n}\right)[/latex]

[latex]{\int }_{3}^{6}xdx[/latex]

[latex]{L}_{n}=\frac{2\pi }{n}\sum _{i=1}^{n}2\pi \frac{i-1}{n}\text{cos}\left(2\pi \frac{i-1}{n}\right)[/latex]

[latex]{R}_{n}=\frac{1}{n}\sum _{i=1}^{n}\left(1+\frac{i}{n}\right)\text{log}\left({\left(1+\frac{i}{n}\right)}^{2}\right)[/latex]

[latex]{\int }_{1}^{2}x\phantom{\rule{0.1em}{0ex}}\text{log}\left({x}^{2}\right)dx[/latex]

In the following exercises, evaluate the integrals of the functions graphed using the formulas for areas of triangles and circles, and subtracting the areas below the x-axis.

A graph containing the upper half of three circles on the x axis. The first has center at (1,0) and radius one. It corresponds to the function sqrt(2x – x^2) over [0,2]. The second has center at (4,0) and radius two. It corresponds to the function sqrt(-12 + 8x – x^2) over [2,6]. The last has center at (9,0) and radius three. It corresponds to the function sqrt(-72 + 18x – x^2) over [6,12]. All three semi circles are shaded – the area under the curve and above the x axis.

A graph of three isosceles triangles corresponding to the functions 1 - |x-1| over [0,2], 2 - |x-4| over [2,4], and 3 - |x-9| over [6,12]. The first triangle has endpoints at (0,0), (2,0), and (1,1). The second triangle has endpoints at (2,0), (6,0), and (4,2). The last has endpoints at (6,0), (12,0), and (9,3). All three are shaded.

[latex]1+2·2+3·3=14[/latex]

A graph with three parts. The first is the upper half of a circle with center at (1, 0) and radius 1, which corresponds to the function sqrt(2x – x^2) over [0,2]. The second is a triangle with endpoints at (2, 0), (6, 0), and (4, -2), which corresponds to the function |x-4| - 2 over [2, 6]. The last is the upper half of a circle with center at (9, 0) and radius 3, which corresponds to the function sqrt(-72 + 18x – x^2) over [6,12]. All three are shaded.

A graph of three shaded triangles. The first has endpoints at (0, 0), (2, 0), and (1, 1) and corresponds to the function 1 - |x-1| over [0, 2]. The second has endpoints at (2, 0), (6, 0), and (4, -2) and corresponds to the function |x-4| - 2 over [2, 6]. The third has endpoints at (6, 0), (12, 0), and (9, 3) and corresponds to the function 3 - |x-9| over [6, 12].

[latex]1-4+9=6[/latex]

A graph with three shaded parts. The first is the upper half of a circle with center at (1, 0) and radius one. It corresponds to the function sqrt(2x – x^2) over [0, 2]. The second is the lower half of a circle with center at (4, 0) and radius two, which corresponds to the function -sqrt(-12 + 8x – x^2) over [2, 6]. The last is the upper half of a circle with center at (9, 0) and radius three. It corresponds to the function sqrt(-72 + 18x – x^2) over [6, 12].

A graph with three shaded parts. The first is a triangle with endpoints at (0, 0), (2, 0), and (1, 1), which corresponds to the function 1 - |x-1| over [0, 2] in quadrant 1. The second is the lower half of a circle with center at (4, 0) and radius two, which corresponds to the function –sqrt(-12 + 8x – x^2) over [2, 6]. The last is a triangle with endpoints at (6, 0), (12, 0), and (9, 3), which corresponds to the function 3 - |x-9| over [6, 12].

[latex]1-2\pi +9=10-2\pi [/latex]

In the following exercises, evaluate the integral using area formulas.

[latex]{\int }_{0}^{3}\left(3-x\right)dx[/latex]

[latex]{\int }_{2}^{3}\left(3-x\right)dx[/latex]

The integral is the area of the triangle, [latex]\frac{1}{2}[/latex]

[latex]{\int }_{-3}^{3}\left(3-|x|\right)dx[/latex]

[latex]{\int }_{0}^{6}\left(3-|x-3|\right)dx[/latex]

The integral is the area of the triangle, 9.

[latex]{\int }_{-2}^{2}\sqrt{4-{x}^{2}}dx[/latex]

[latex]{\int }_{1}^{5}\sqrt{4-{\left(x-3\right)}^{2}}dx[/latex]

The integral is the area [latex]\frac{1}{2}\pi {r}^{2}=2\pi .[/latex]

[latex]{\int }_{0}^{12}\sqrt{36-{\left(x-6\right)}^{2}}dx[/latex]

[latex]{\int }_{-2}^{3}\left(3-|x|\right)dx[/latex]

The integral is the area of the “big” triangle less the “missing” triangle, [latex]9-\frac{1}{2}.[/latex]

In the following exercises, use averages of values at the left (L) and right (R) endpoints to compute the integrals of the piecewise linear functions with graphs that pass through the given list of points over the indicated intervals.

[latex]\left\{\left(0,0\right),\left(2,1\right),\left(4,3\right),\left(5,0\right),\left(6,0\right),\left(8,3\right)\right\}[/latex] over [latex]\left[0,8\right][/latex]

[latex]\left\{\left(0,2\right),\left(1,0\right),\left(3,5\right),\left(5,5\right),\left(6,2\right),\left(8,0\right)\right\}[/latex] over [latex]\left[0,8\right][/latex]

[latex]L=2+0+10+5+4=21,R=0+10+10+2+0=22,\frac{L+R}{2}=21.5[/latex]

[latex]\left\{\left(-4,-4\right),\left(-2,0\right),\left(0,-2\right),\left(3,3\right),\left(4,3\right)\right\}[/latex] over [latex]\left[-4,4\right][/latex]

[latex]\left\{\left(-4,0\right),\left(-2,2\right),\left(0,0\right),\left(1,2\right),\left(3,2\right),\left(4,0\right)\right\}[/latex] over [latex]\left[-4,4\right][/latex]

[latex]L=0+4+0+4+2=10,R=4+0+2+4+0=10,\frac{L+R}{2}=10[/latex]

Suppose that [latex]{\int }_{0}^{4}f\left(x\right)dx=5[/latex] and [latex]{\int }_{0}^{2}f\left(x\right)dx=-3,[/latex] and [latex]{\int }_{0}^{4}g\left(x\right)dx=-1[/latex] and [latex]{\int }_{0}^{2}g\left(x\right)dx=2.[/latex] In the following exercises, compute the integrals.

[latex]{\int }_{0}^{4}\left(f\left(x\right)+g\left(x\right)\right)dx[/latex]

[latex]{\int }_{2}^{4}\left(f\left(x\right)+g\left(x\right)\right)dx[/latex]

[latex]{\int }_{2}^{4}f\left(x\right)dx+{\int }_{2}^{4}g\left(x\right)dx=8-3=5[/latex]

[latex]{\int }_{0}^{2}\left(f\left(x\right)-g\left(x\right)\right)dx[/latex]

[latex]{\int }_{2}^{4}\left(f\left(x\right)-g\left(x\right)\right)dx[/latex]

[latex]{\int }_{2}^{4}f\left(x\right)dx-{\int }_{2}^{4}g\left(x\right)dx=8+3=11[/latex]

[latex]{\int }_{0}^{2}\left(3f\left(x\right)-4g\left(x\right)\right)dx[/latex]

[latex]{\int }_{2}^{4}\left(4f\left(x\right)-3g\left(x\right)\right)dx[/latex]

[latex]4{\int }_{2}^{4}f\left(x\right)dx-3{\int }_{2}^{4}g\left(x\right)dx=32+9=41[/latex]

In the following exercises, use the identity [latex]{\int }_{\text{−}A}^{A}f\left(x\right)dx={\int }_{\text{−}A}^{0}f\left(x\right)dx+{\int }_{0}^{A}f\left(x\right)dx[/latex] to compute the integrals.

[latex]{\int }_{\text{−}\pi }^{\pi }\frac{\text{sin}\phantom{\rule{0.1em}{0ex}}t}{1+{t}^{2}}dt[/latex][latex]\text{(}Hint\text{:}\phantom{\rule{0.2em}{0ex}}\text{sin}\left(\text{−}t\right)=\text{−}\text{sin}\left(t\right)\text{)}[/latex]

[latex]{\int }_{\text{−}\sqrt{\pi }}^{\sqrt{\pi }}\frac{t}{1+\text{cos}\phantom{\rule{0.1em}{0ex}}t}dt[/latex]

The integrand is odd; the integral is zero.

[latex]{\int }_{1}^{3}\left(2-x\right)dx[/latex] (Hint: Look at the graph of f.)

[latex]{\int }_{2}^{4}{\left(x-3\right)}^{3}dx[/latex] (Hint: Look at the graph of f.)

The integrand is antisymmetric with respect to [latex]x=3.[/latex] The integral is zero.

In the following exercises, given that [latex]{\int }_{0}^{1}xdx=\frac{1}{2},{\int }_{0}^{1}{x}^{2}dx=\frac{1}{3},[/latex] and [latex]{\int }_{0}^{1}{x}^{3}dx=\frac{1}{4},[/latex] compute the integrals.

[latex]{\int }_{0}^{1}\left(1+x+{x}^{2}+{x}^{3}\right)dx[/latex]

[latex]{\int }_{0}^{1}\left(1-x+{x}^{2}-{x}^{3}\right)dx[/latex]

[latex]1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}=\frac{7}{12}[/latex]

[latex]{\int }_{0}^{1}{\left(1-x\right)}^{2}dx[/latex]

[latex]{\int }_{0}^{1}{\left(1-2x\right)}^{3}dx[/latex]

[latex]{\int }_{0}^{1}\left(1-2x+4{x}^{2}-8{x}^{3}\right)dx=1-1+\frac{4}{3}-2=-\frac{2}{3}[/latex]

[latex]{\int }_{0}^{1}\left(6x-\frac{4}{3}{x}^{2}\right)dx[/latex]

[latex]{\int }_{0}^{1}\left(7-5{x}^{3}\right)dx[/latex]

[latex]7-\frac{5}{4}=\frac{23}{4}[/latex]

In the following exercises, use the comparison theorem.

Show that [latex]{\int }_{0}^{3}\left({x}^{2}-6x+9\right)dx\ge 0.[/latex]

Show that [latex]{\int }_{-2}^{3}\left(x-3\right)\left(x+2\right)dx\le 0.[/latex]

The integrand is negative over [latex]\left[-2,3\right].[/latex]

Show that [latex]{\int }_{0}^{1}\sqrt{1+{x}^{3}}dx\le {\int }_{0}^{1}\sqrt{1+{x}^{2}}dx.[/latex]

Show that [latex]{\int }_{1}^{2}\sqrt{1+x}dx\le {\int }_{1}^{2}\sqrt{1+{x}^{2}}dx.[/latex]

[latex]x\le {x}^{2}[/latex] over [latex]\left[1,2\right],[/latex] so [latex]\sqrt{1+x}\le \sqrt{1+{x}^{2}}[/latex] over [latex]\left[1,2\right].[/latex]

Show that [latex]{\int }_{0}^{\pi \text{/}2}\text{sin}\phantom{\rule{0.1em}{0ex}}tdt\ge \frac{\pi }{4}.[/latex] [latex]\text{(}Hint\text{:}\phantom{\rule{0.2em}{0ex}}\text{sin}\phantom{\rule{0.1em}{0ex}}t\ge \frac{2t}{\pi }[/latex] over [latex]\left[0,\frac{\pi }{2}\right]\text{)}[/latex]

Show that [latex]{\int }_{\text{−}\pi \text{/}4}^{\pi \text{/}4}\text{cos}\phantom{\rule{0.1em}{0ex}}tdt\ge \pi \sqrt{2}\text{/}4.[/latex]

[latex]\text{cos}\left(t\right)\ge \frac{\sqrt{2}}{2}.[/latex] Multiply by the length of the interval to get the inequality.

In the following exercises, find the average value f_ave of f between a and b, and find a point c, where [latex]f\left(c\right)={f}_{\text{ave}}.[/latex]

[latex]f\left(x\right)={x}^{2},a=-1,b=1[/latex]

[latex]f\left(x\right)={x}^{5},a=-1,b=1[/latex]

[latex]{f}_{\text{ave}}=0;c=0[/latex]

[latex]f\left(x\right)=\sqrt{4-{x}^{2}},a=0,b=2[/latex]

[latex]f\left(x\right)=\left(3-|x|\right),a=-3,b=3[/latex]

[latex]\frac{3}{2}[/latex] when [latex]c=±\frac{3}{2}[/latex]

[latex]f\left(x\right)=\text{sin}\phantom{\rule{0.1em}{0ex}}x,a=0,b=2\pi [/latex]

[latex]f\left(x\right)=\text{cos}\phantom{\rule{0.1em}{0ex}}x,a=0,b=2\pi [/latex]

[latex]{f}_{\text{ave}}=0;c=\frac{\pi }{2},\frac{3\pi }{2}[/latex]

In the following exercises, approximate the average value using Riemann sums L₁₀₀ and R₁₀₀. How does your answer compare with the exact given answer?

[T][latex]y=\text{ln}\left(x\right)[/latex] over the interval [latex]\left[1,4\right];[/latex] the exact solution is [latex]\frac{\text{ln}\left(256\right)}{3}-1.[/latex]

[T][latex]y={e}^{x\text{/}2}[/latex] over the interval [latex]\left[0,1\right];[/latex] the exact solution is [latex]2\left(\sqrt{e}-1\right).[/latex]

[latex]{L}_{100}=1.294,{R}_{100}=1.301;[/latex] the exact average is between these values.

[T][latex]y=\text{tan}\phantom{\rule{0.1em}{0ex}}x[/latex] over the interval [latex]\left[0,\frac{\pi }{4}\right];[/latex] the exact solution is [latex]\frac{2\phantom{\rule{0.1em}{0ex}}\text{ln}\left(2\right)}{\pi }.[/latex]

[T][latex]y=\frac{x+1}{\sqrt{4-{x}^{2}}}[/latex] over the interval [latex]\left[-1,1\right];[/latex] the exact solution is [latex]\frac{\pi }{6}.[/latex]

[latex]{L}_{100}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{2}\right)=0.5178,{R}_{100}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{2}\right)=0.5294[/latex]

In the following exercises, compute the average value using the left Riemann sums L_N for [latex]N=1,10,100.[/latex] How does the accuracy compare with the given exact value?

[T][latex]y={x}^{2}-4[/latex] over the interval [latex]\left[0,2\right];[/latex] the exact solution is [latex]-\frac{8}{3}.[/latex]

[T][latex]y=x{e}^{{x}^{2}}[/latex] over the interval [latex]\left[0,2\right];[/latex] the exact solution is [latex]\frac{1}{4}\left({e}^{4}-1\right).[/latex]

[latex]{L}_{1}=0,{L}_{10}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{2}\right)=8.743493,{L}_{100}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{2}\right)=12.861728.[/latex] The exact answer [latex]\approx 26.799,[/latex] so L₁₀₀ is not accurate.

[T][latex]y={\left(\frac{1}{2}\right)}^{x}[/latex] over the interval [latex]\left[0,4\right];[/latex] the exact solution is [latex]\frac{15}{64\phantom{\rule{0.1em}{0ex}}\text{ln}\left(2\right)}.[/latex]

[T][latex]y=x\phantom{\rule{0.1em}{0ex}}\text{sin}\left({x}^{2}\right)[/latex] over the interval [latex]\left[\text{−}\pi ,0\right];[/latex] the exact solution is [latex]\frac{\text{cos}\left({\pi }^{2}\right)-1}{2\pi }.[/latex]

[latex]{L}_{1}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{\pi }\right)=1.352,{L}_{10}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{\pi }\right)=-0.1837,{L}_{100}\phantom{\rule{0.2em}{0ex}}×\phantom{\rule{0.2em}{0ex}}\left(\frac{1}{\pi }\right)=-0.2956.[/latex] The exact answer [latex]\approx -0.303,[/latex] so L₁₀₀ is not accurate to first decimal.

Suppose that [latex]A={\int }_{0}^{2\pi }{\text{sin}}^{2}tdt[/latex] and [latex]B={\int }_{0}^{2\pi }{\text{cos}}^{2}tdt.[/latex] Show that [latex]A+B=2\pi [/latex] and [latex]A=B\text{.}[/latex]

Suppose that [latex]A={\int }_{\text{−}\pi \text{/}4}^{\pi \text{/}4}{\text{sec}}^{2}tdt=\pi [/latex] and [latex]B={\int }_{\text{−}\pi \text{/}4}^{\pi \text{/}4}{\text{tan}}^{2}tdt.[/latex] Show that [latex]A-B=\frac{\pi }{2}.[/latex]

Use [latex]{\text{tan}}^{2}\theta +1={\text{sec}}^{2}\theta .[/latex] Then, [latex]B-A={\int }_{\text{−}\pi \text{/}4}^{\pi \text{/}4}1dx=\frac{\pi }{2}.[/latex]

Show that the average value of [latex]{\text{sin}}^{2}t[/latex] over [latex]\left[0,2\pi \right][/latex] is equal to 1/2 Without further calculation, determine whether the average value of [latex]{\text{sin}}^{2}t[/latex] over [latex]\left[0,\pi \right][/latex] is also equal to 1/2.

Show that the average value of [latex]{\text{cos}}^{2}t[/latex] over [latex]\left[0,2\pi \right][/latex] is equal to [latex]1\text{/}2.[/latex] Without further calculation, determine whether the average value of [latex]{\text{cos}}^{2}\left(t\right)[/latex] over [latex]\left[0,\pi \right][/latex] is also equal to [latex]1\text{/}2.[/latex]

[latex]{\int }_{0}^{2\pi }{\text{cos}}^{2}tdt=\pi ,[/latex] so divide by the length 2π of the interval. [latex]{\text{cos}}^{2}t[/latex] has period π, so yes, it is true.

Explain why the graphs of a quadratic function (parabola) [latex]p\left(x\right)[/latex] and a linear function [latex]\ell \left(x\right)[/latex] can intersect in at most two points. Suppose that [latex]p\left(a\right)=\ell \left(a\right)[/latex] and [latex]p\left(b\right)=\ell \left(b\right),[/latex] and that [latex]{\int }_{a}^{b}p\left(t\right)dt>{\int }_{a}^{b}\ell \left(t\right)dt.[/latex] Explain why [latex]{\int }_{c}^{d}p\left(t\right)>{\int }_{c}^{d}\ell \left(t\right)dt[/latex] whenever [latex]a\le c<d\le b.[/latex]

Suppose that parabola [latex]p\left(x\right)=a{x}^{2}+bx+c[/latex] opens downward [latex]\left(a<0\right)[/latex] and has a vertex of [latex]y=\frac{\text{−}b}{2a}>0.[/latex] For which interval [latex]\left[A,B\right][/latex] is [latex]{\int }_{A}^{B}\left(a{x}^{2}+bx+c\right)dx[/latex] as large as possible?

The integral is maximized when one uses the largest interval on which p is nonnegative. Thus, [latex]A=\frac{\text{−}b-\sqrt{{b}^{2}-4ac}}{2a}[/latex] and [latex]B=\frac{\text{−}b+\sqrt{{b}^{2}-4ac}}{2a}.[/latex]

Suppose [latex]\left[a,b\right][/latex] can be subdivided into subintervals [latex]a={a}_{0}<{a}_{1}<{a}_{2}<\text{⋯}<{a}_{N}=b[/latex] such that either [latex]f\ge 0[/latex] over [latex]\left[{a}_{i-1},{a}_{i}\right][/latex] or [latex]f\le 0[/latex] over [latex]\left[{a}_{i-1},{a}_{i}\right].[/latex] Set [latex]{A}_{i}={\int }_{{a}_{i-1}}^{{a}_{i}}f\left(t\right)dt.[/latex]

Explain why [latex]{\int }_{a}^{b}f\left(t\right)dt={A}_{1}+{A}_{2}+\text{⋯}+{A}_{N}.[/latex]
Then, explain why [latex]|{\int }_{a}^{b}f\left(t\right)dt|\le {\int }_{a}^{b}|f\left(t\right)|dt.[/latex]

Suppose f and g are continuous functions such that [latex]{\int }_{c}^{d}f\left(t\right)dt\le {\int }_{c}^{d}g\left(t\right)dt[/latex] for every subinterval [latex]\left[c,d\right][/latex] of [latex]\left[a,b\right].[/latex] Explain why [latex]f\left(x\right)\le g\left(x\right)[/latex] for all values of x.

If [latex]f\left({t}_{0}\right)>g\left({t}_{0}\right)[/latex] for some [latex]{t}_{0}\in \left[a,b\right],[/latex] then since [latex]f-g[/latex] is continuous, there is an interval containing t₀ such that [latex]f\left(t\right)>g\left(t\right)[/latex] over the interval [latex]\left[c,d\right],[/latex] and then [latex]{\int }_{d}^{d}f\left(t\right)dt>{\int }_{c}^{d}g\left(t\right)dt[/latex] over this interval.

Suppose the average value of f over [latex]\left[a,b\right][/latex] is 1 and the average value of f over [latex]\left[b,c\right][/latex] is 1 where [latex]a<c<b.[/latex] Show that the average value of f over [latex]\left[a,c\right][/latex] is also 1.

Suppose that [latex]\left[a,b\right][/latex] can be partitioned. taking [latex]a={a}_{0}<{a}_{1}<\text{⋯}<{a}_{N}=b[/latex] such that the average value of f over each subinterval [latex]\left[{a}_{i-1},{a}_{i}\right]=1[/latex] is equal to 1 for each [latex]i=1\text{,…,}\phantom{\rule{0.2em}{0ex}}N.[/latex] Explain why the average value of f over [latex]\left[a,b\right][/latex] is also equal to 1.

The integral of f over an interval is the same as the integral of the average of f over that interval. Thus, [latex]\begin{array}{c}{\int }_{a}^{b}f\left(t\right)dt={\int }_{{a}_{0}}^{{a}_{1}}f\left(t\right)dt+{\int }_{{a}_{1}}^{{a}_{2}}f\left(t\right)dt+\text{⋯}+{\int }_{{a}_{N+1}}^{{a}_{N}}f\left(t\right)dt={\int }_{{a}_{0}}^{{a}_{1}}1dt+{\int }_{{a}_{1}}^{{a}_{2}}1dt+\text{⋯}+{\int }_{{a}_{N+1}}^{{a}_{N}}1dt\hfill \\ =\left({a}_{1}-{a}_{0}\right)+\left({a}_{2}-{a}_{1}\right)+\text{⋯}+\left({a}_{N}-{a}_{N-1}\right)={a}_{N}-{a}_{0}=b-a.\hfill \end{array}[/latex] Dividing through by [latex]b-a[/latex] gives the desired identity.

Suppose that for each i such that [latex]1\le i\le N[/latex] one has [latex]{\int }_{i-1}^{i}f\left(t\right)dt=i.[/latex] Show that [latex]{\int }_{0}^{N}f\left(t\right)dt=\frac{N\left(N+1\right)}{2}.[/latex]

Suppose that for each i such that [latex]1\le i\le N[/latex] one has [latex]{\int }_{i-1}^{i}f\left(t\right)dt={i}^{2}.[/latex] Show that [latex]{\int }_{0}^{N}f\left(t\right)dt=\frac{N\left(N+1\right)\left(2N+1\right)}{6}.[/latex]

[latex]{\int }_{0}^{N}f\left(t\right)dt=\sum _{i=1}^{N}{\int }_{i-1}^{i}f\left(t\right)dt=\sum _{i=1}^{N}{i}^{2}=\frac{N\left(N+1\right)\left(2N+1\right)}{6}[/latex]

[T] Compute the left and right Riemann sums L₁₀ and R₁₀ and their average [latex]\frac{{L}_{10}+{R}_{10}}{2}[/latex] for [latex]f\left(t\right)={t}^{2}[/latex] over [latex]\left[0,1\right].[/latex] Given that [latex]{\int }_{0}^{1}{t}^{2}dt=0.\stackrel{–}{33},[/latex] to how many decimal places is [latex]\frac{{L}_{10}+{R}_{10}}{2}[/latex] accurate?

[T] Compute the left and right Riemann sums, L₁₀ and R₁₀, and their average [latex]\frac{{L}_{10}+{R}_{10}}{2}[/latex] for [latex]f\left(t\right)=\left(4-{t}^{2}\right)[/latex] over [latex]\left[1,2\right].[/latex] Given that [latex]{\int }_{1}^{2}\left(4-{t}^{2}\right)dt=1.\stackrel{–}{66},[/latex] to how many decimal places is [latex]\frac{{L}_{10}+{R}_{10}}{2}[/latex] accurate?

[latex]{L}_{10}=1.815,{R}_{10}=1.515,\frac{{L}_{10}+{R}_{10}}{2}=1.665,[/latex] so the estimate is accurate to two decimal places.

If [latex]{\int }_{1}^{5}\sqrt{1+{t}^{4}}dt=41.7133...,[/latex] what is [latex]{\int }_{1}^{5}\sqrt{1+{u}^{4}}du?[/latex]

Estimate [latex]{\int }_{0}^{1}tdt[/latex] using the left and right endpoint sums, each with a single rectangle. How does the average of these left and right endpoint sums compare with the actual value [latex]{\int }_{0}^{1}tdt?[/latex]

The average is [latex]1\text{/}2,[/latex] which is equal to the integral in this case.

Estimate [latex]{\int }_{0}^{1}tdt[/latex] by comparison with the area of a single rectangle with height equal to the value of t at the midpoint [latex]t=\frac{1}{2}.[/latex] How does this midpoint estimate compare with the actual value [latex]{\int }_{0}^{1}tdt?[/latex]

From the graph of [latex]\text{sin}\left(2\pi x\right)[/latex] shown:

Explain why [latex]{\int }_{0}^{1}\text{sin}\left(2\pi t\right)dt=0.[/latex]
Explain why, in general, [latex]{\int }_{a}^{a+1}\text{sin}\left(2\pi t\right)dt=0[/latex] for any value of a.

a. The graph is antisymmetric with respect to [latex]t=\frac{1}{2}[/latex] over [latex]\left[0,1\right],[/latex] so the average value is zero. b. For any value of a, the graph between [latex]\left[a,a+1\right][/latex] is a shift of the graph over [latex]\left[0,1\right],[/latex] so the net areas above and below the axis do not change and the average remains zero.

If f is 1-periodic [latex]\left(f\left(t+1\right)=f\left(t\right)\right),[/latex] odd, and integrable over [latex]\left[0,1\right],[/latex] is it always true that [latex]{\int }_{0}^{1}f\left(t\right)dt=0?[/latex]

If f is 1-periodic and [latex]{\int }_{0}^{1}f\left(t\right)dt=A,[/latex] is it necessarily true that [latex]{\int }_{a}^{1+a}f\left(t\right)dt=A[/latex] for all A?

Yes, the integral over any interval of length 1 is the same.

Glossary

average value of a function: (or f_ave) the average value of a function on an interval can be found by calculating the definite integral of the function and dividing that value by the length of the interval

definite integral: a primary operation of calculus; the area between the curve and the x-axis over a given interval is a definite integral

integrable function: a function is integrable if the limit defining the integral exists; in other words, if the limit of the Riemann sums as n goes to infinity exists

integrand: the function to the right of the integration symbol; the integrand includes the function being integrated

limits of integration: these values appear near the top and bottom of the integral sign and define the interval over which the function should be integrated

net signed area: the area between a function and the x-axis such that the area below the x-axis is subtracted from the area above the x-axis; the result is the same as the definite integral of the function

total area: total area between a function and the x-axis is calculated by adding the area above the x-axis and the area below the x-axis; the result is the same as the definite integral of the absolute value of the function

variable of integration: indicates which variable you are integrating with respect to; if it is x, then the function in the integrand is followed by dx

Study Guides > Calculus Volume 1

The Definite Integral

Learning Objectives

Definition and Notation

Evaluating Definite Integrals

Area and the Definite Integral

Net Signed Area

Total Area

Properties of the Definite Integral

Comparison Properties of Integrals

Average Value of a Function

Key Concepts

Key Equations

Glossary