Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

4.1: The Definite Integral

( \newcommand{\kernel}{\mathrm{null}\,}\)

We shall begin our study ofthe integral calculus in the same way in which we began with the differential calculus—by asking a question about curves in the plane.

Suppose f is a real function continuous on an interval I and consider the curve y=f(x). Let a<b where a, b are two points in I, and let the curve be above the x-axis for x between a and b; that is, f(x)0. We then ask: What is meant by the area of the region bounded by the curve y=f(x), the x-axis, and the lines x=a and x=b? That is, what is meant by the area of the shaded region in Figure 4.1.1? We call this region the region under the curve y=f(x) between a and b.

A function f(x) is shown above the x-axis. The area under this curve but above the x-axis, bounded on the left by x=a and on the right by x=b, is shaded.
Figure 4.1.1: The region under a curve.

The simplest possible case is where f is a constant function; that is, the curve is a horizontal line f(x)=k, where k is a constant and k0, shown in Figure(\PageIndex{2}\). In this case the region under the curve is just a rectangle with height k and width ba, so the area is defined as Area=k(ba).The areas of certain other simple regions, such as triangles, trapezoids, and semicircles, are given by formulas from plane geometry.

Graph of a constant function f(x) = k, with k being greater than 0. The area under this curve between x = a and x = b is given by k times (b - a).
Figure 4.1.2: Area of a region under a constant function.

The area under any continuous curve y=f(x) will be given by the definite integral, which is written baf(x) dx.Before plunging into the detailed definition of the integral, we outline the main ideas.

First, the region under the curve is divided into infinitely many vertical strips of infinitesimal width dx. Next, each vertical strip is replaced by a vertical rectangle of height f(x), base dx, and area f(x) dx. The next step is to form the sum of the areas of all these rectangles, called the infinite Riemann sum (look ahead to Figures 4.1.3 and 4.1.11). Finally, the integral baf(x) dx is defined as the standard part of the infinite Riemann sum.

The infinite Riemann sum, being a sum of rectangles, has an infinitesimal error. This error is removed by taking the standard part to form the integral. 

It is often difficult to compute an infinite Riemann sum, since it is a sum of infinitely many infinitesimal rectangles. We shall first study finite Riemann sums, which can easily be computed on a hand calculator.

Suppose we slice the region under the curve between a and b into thin vertical strips of equal width. If there are n slices, each slice will have width Δx=(ba)/n. The interval [a,b] will be partitioned into n subintervals [x0,x1], [x1,x2], , [xn1,xn] where x0=a, x1=a+Δx, x2=a+2Δx, , xn=b.

The points x0, x1, , xn are called partition points. On each subinterval [xk1,xk], we form the rectangle of height f(xk1). The kth rectangle will have area f(xk1)Δx.

From Figure 4.1.3, we can see that the sum of the areas of all these rectangles will be fairly close to the area under the curve. This sum is called a Riemann sum and is equal to f(x0)Δx+f(x1)Δx++f(xn1)Δx.

It is the area of the shaded region in the picture. A convenient way of writing Riemann sums is the -notation" ( is the capital Greek letter sigma), baf(x) Δx=f(x0)Δx+f(x1)Δx++f(xn1)Δx.The a and b indicate that the first subinterval begins at a and the last subinterval ends at b.

A function f(x) is graphed on the interval [a, b], which is partitioned into 7 equal segments of length Delta x. A vertical line extends from each partition point, except for the rightmost, to the corresponding f(x) point and forms the top left corner of a rectangle whose base is the x-axis.
Figure 4.1.3: The Riemann Sum.

We can carry out the same process even when the subinterval length Δx does not divide evenly into the interval length ba. But then, as Figure 4.1.4 shows, there will be a remainder left over at the end of the interval [a,b], and the Riemann sum will have an extra rectangle whose width is this remainder. We let n be the largest integer such that a+nΔxb,and we consider the subintervals [x0,x1], , [xn1,xn], [xn,b],where the partition points are x0=a, x1=a+Δx, x2=a+2Δx, , xn=a+nΔx, b.

A function f(x) is graphed on the interval [a, b], which is partitioned into 5 equal segments of length Delta x with a remainder on the right end. A vertical line extends from each partition point, except for the fifth, to the corresponding f(x) point and forms the top left corner of a rectangle whose base is the x-axis and whose width is Delta x. The fifth partition point forms the top left corner of a rectangle whose base is the x-axis and whose width is the distance between that partition point and b.
Figure 4.1.1: Riemann Sum where interval does not evenly divide into subintervals.

xn will be less than or equal to b but xn+Δx will be greater than b. Then we define the Riemann sum to be the sum baf(x) Δx=f(x0) Δx+f(x1) Δx++f(xn1) Δx+f(xn)(bxn).

Thus given the function f, the interval [a, b], and the real number Δx>0, we have defined the Riemann sum baf(x) Δx. We repeat the definition more concisely.

Definition: Term

Let a<b and let Δx be a posltlve real number. Then the Riemann sum baf(x) Δx is defined as the sum baf(x) Δx=f(x0) Δx+f(x1) Δx++f(xn1) Δx+f(xn)(bxn)

where n is the largest integer such that a+nΔxb, and x0=a, x1=a+Δx, x2=a+2Δx, , xn=a+nΔx, b are the partition points.

If x0=b, the last term f(xn)(bxn) is zero. The Riemann sum baf(x) Δx is a real function of three variables a, b, and Δx, baf(x) Δx=S(a,b,Δx).The symbol x which appears in the expression is called a dummy variable (or bound variable), because the value of baf(x) Δx does not depend on x. The dummy variable allows us to use more compact notation, writing f(x) Δx just once instead of writing f(x0)Δx, f(x1)Δxf(x2)Δx, and so on.

From Figure 4.1.5 it is plausible that by making Δx smaller we can get the Riemann sum as close to the area as we wish.

The area under the curve of the same function can be approximated by a Riemann sum of only a few large rectangles or of a large number of small rectangles.
Figure 4.1.5: Accuracy of approximation by Riemann sum varies based on the number of partitions.
Example 4.1.1

Let f(x)=12x. In Figure 4.1.6, the region under the curve from x=0 to x=2 is a triangle with base 2 and height 1, so its area should be A=12bh=1.

The area under the curve of f(x) = 1/2 x on the interval [0, 2] is a triangle of area 1.
Figure 4.1.6: Exact area of f(x)=12x on [0,2].

Let us compare this value for the area with some Riemann sums. In Figure 4.1.7, we take Δx=12. The interval [0,2] divides into four subintervals [0,12], [12,1], [1,32] and [32,2]. We make a table of values of f(x) at the lower endpoints.

xk 0 12 1 32
f(xk) 0 14 12 34
Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 4 subintervals, with heights of each rectangle measured from the function value at its left endpoint.
Figure 4.1.7: Riemann sum with 4 equal subintervals and function values measured at lower endpoints.

The Riemann sum is then 20f(x) Δx=012+1412+1212+3412=68.

In Figure 4.1.8, we take Δx=14. The table of values is as follows.

xk 0 14 24 34 44 54 64 74
f(xk) 0 18 28 38 48 58 68 78

The Riemann sum is 20f(x) Δx=014+1814+2814+3814+4814+5814+6814+7814=78We see that the value is getting closer to one.

Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 8 subintervals, with heights of each rectangle measured from the function value at its left endpoint.
Figure 4.1.8: Riemann sum with 8 equal subintervals and function values measured at lower endpoints.

Finally, let us take a value of Δx that does not divide evenly into the interval length 2. Let Δx=0.6. We see in Figure 4.1.9 that the interval then divides into three subintervals of length 0.6 and one of length 0.2, namely [0,0.6], [0.6,1.2], [1.2,1.8], [1.8,2.0].

xk 0 0.6 1.2 1.8
f(xk) 0 0.3 0.6 0.9

The Riemann sum is 20f(x) Δ(x)=0(.6)+(.3)(.6)+(.6)(.6)+(.9)(.2)=.72.

Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 3 subintervals of length 0.6 and a remainder, with heights of each rectangle measured from the function value at its left endpoint.
Figure 4.1.9: Riemann sum with 4 unequal subintervals and function values measured at lower endpoints.
Example 4.1.1

Let f(x)=1x2, defined on the closed interval I=[1,1]. The region under the curve is a semicircle of radius 1. We know from plane geometry that the area is π/2, or approximately 3.14/2=1.57. Let us compute the values of some Riemann sums for this function to see how close they are to 1.57. First take Δx=12 as in Figure 4.1.10(a). We make a table of values.

xk 1 1/2 0 1/2
f(xk) 0 3/4 1 3/4

The Riemann sum is then 11f(x) Δx=01/2+3/41/2+11/2+3/41/2=1+321.37

Next we take Δx=15. Then the interval [1,1] is divided into ten subintervals as in Figure 4.1.10(b). Our table of values is as follows.

xk 1 45 35 25 15 0 15 25 35 45
f(xk) 0 35 45 215 245 1 245 215 45 35
Area under the semicircular curve of radius 1 on [-1, 1] is approximated by Riemann sums. Graph (a) shows 4 equal subintervals and Graph (b) shows 10 equal subintervals, with heights of each rectangle measured from the function value at its left endpoint.
Figure 4.1.10: Riemann sum approximated with (a) 4 subintervals and (b) 10 subintervals.

The Riemann sum is 11f(x) Δx=15[0+35+45+215+245+1+245+215+45+35]=19+221+224251.52.

Thus we are getting closer to the actual area π/21.57.

By taking Δx small we can get the Riemann sum to be as close to the area as we wish.

Our next step is to take Δx to be infinitely small and have an infinite Riemann sum. How can we do this? We observe that if the real numbers a and b are held fixed, then the Riemann sum baf(x) Δx=S(Δx)is a real function of the single variable Δx. (The symbol x which appears in the expression is a dummy variable, and the value of baf(x)depends only on Δx and not on x.) Furthermore, the term baf(x) Δx=S(Δx) is defined for all real Δx>0. Therefore by the Transfer Principle baf(x) dx=S(dx)is defined for all hyperreal dx>0. When dx>0 is infinitesimal, there are infinitely many subintervals of length dx, and we call baf(x) dxan infinite Riemann sum (Figure 4.1.11).

Area under a curve is approximated with Riemann sums of infinitely small subintervals of width dx. Area of each rectangle with left endpoint at point x is given by f(x) dx.
Figure 4.1.11: Infinite Riemann Sum.

We may think intuitively of the Riemann sum baf(x) dxas the infinite sum f(x0) dx+f(x1) dx++f(xH1) dx+f(xH)(bxH)where H is the greatest hyperinteger such that a+H dxb. (Hyperintegers are discussed in Section 3.8.) H is positive infinite, and there are H+2 partition points x0, x1, , xH, b. A typical term in this sum is the infinitely small quantity f(xK) dx where K is a hyperinteger, 0K<H, and xK=a+K dx.

The infinite Riemann sum is a hyperreal number. We would next like to take the standard part of it. But first we must show that it is a finite hyperreal number and thus has a standard part.

Theorem 4.1.1

Let f be a continuous function on an interval I, let a<b be two points in I, and let dx be a positive infinitesimal. Then the infinite Riemann sum baf(x) dxis a finite hyperreal number.

Proof

Let B be a real number greater than the maximum value of f on [a,b]. Consider first a real number Δx>0. We can see from Figure 4.1.12 that the finite Riemann sum is less than the rectangular area B(ba); baf(x) Δx<B(ba).

The area under the curve of a function f(x) on an interval [a, b] is approximated with a Riemann sum of n intervals of width Delta x, and a remainder between the rightmost of these interval partition points and point b. A horizontal line y=B is drawn above the greatest height of f(x) on this interval.
Figure 4.1.12: Proof of the finite Riemann sum.

Therefore by the Transfer Principle, baf(x) dx<B(ba).

In a similar way we let C be less than the minimum of f on [a,b] and show that baf(x) dx>C(ba).

Thus the Riemann sum baf(x) dx is finite.

We are now ready to define the central concept of this chapter, the definite integral. Recall that the derivative was defined as the standard part of the quotient Δy/Δx and was written dy/dx. The "definite integral" will be defined as the standard part of the infinite Riemann sum baf(x) dx, and is written baf(x) dx. Thus the Δx is changed to dx in analogy with our differential notation. The  is changed to the long thin S, i.e., , to remind us that the integral is obtained from an infinite sum. We now state the definition carefully.

Definition:

Let f be a continuous function on an interval I and let a<b be two points in I. Let dx be a positive infinitesimal. Then the definite integral of f from a to b with respect to dx is defined to be the standard part of the infinite Riemann sum with respect to dx, in symbols baf(x) dx=st(baf(x) dx).

We also define aaf(x) dx=0,abf(x) dx=baf(x) dx.

By this definition, for each positive infinitesimal dx the definite integral wuf(x) dxis a real function of two variables defined for all pairs (u,w) of elements of I. The symbol x is a dummy variable since the value of wuf(x) dxdoes not depend on x.

In the notation baf(x) dx for the Riemann sum and baf(x) dx for the integral, we always use matching symbols for the infinitesimal dx and the dummy variable x. Thus when there are two or more variables we can tell which one is the dummy variable in an integral. For example, x2t can be integrated from 0 to 1 with respect to either x or t. With respect to x, 10x2t dx=x20t dx+x21t dx++x2H1t dx(where dx=1/H), and we shall see later that 10x2t dx=st(x20t dx+x21t dx++x2H1t dx)=13t.

With respect to t, however, 10x2t dt=x2t0 dt+x2t1 dt++x2tK1 dt,and we shall see later that 10x2t dt=12x2.

The next two examples evaluate the simplest definite integrals. These examples do it the hard way. A much better method will be developed in Section 4.2.

Example 4.1.3

Given a constant c>0, evaluate the integral bac dx.

Figure 4.1.13 shows that for every positive real number Δx, the finite Riemann sum is bac Δx=c(ba).

By the Transfer Principle, the infinite Riemann sum in Figure 4.1.14 has the same value, bac dx=c(ba).

Taking standard parts, bac dx=c(ba).This is the familiar formula for the area of a rectangle.

A constant function f(x) = c on the interval [a, b] is partitioned into n subintervals of finite width Delta x, going from a to x_n, which is a point less than b.
Figure 4.1.13: Finite Riemann sum for any positive real subinterval length Δx.
A constant function f(x) = c on the interval [a, b] is partitioned into an infinite number of subintervals of width dx.
Figure 4.1.14: Infinite Riemann sum.
Example 4.1.4

Given b>0, evaluate the integral b0x dx.

The area under the line y=x is divided into vertical strips of width dx. Study Figure 4.1.15. The area of the lower region A is the infinite Riemann sum area of A=b0x dx.

By symmetry, the upper region B has the same area as A; area of A=area of B.

Call the remaining region C, formed by the infinitesimal squares along the diagonal. Thus area of A+area of B+area of C=b2.

Each square in C has height dx except the last one, which may be smaller, and the widths add up to b, so 0area of Cb dx.

Putting equations (4.1.1) through (4.1.4) together, 2b0x dxb2(2b0x dx)+x dx.

Since b dx is infinitesimal, 2b0x dxb2,b0x dxb22.

Taking standard parts, we have b0x dx=b22.

A square lies in the first quadrant of the coordinate plane with two of its sides sharing the x- and y-axes. The square is bisected along its diagonal by the line y = x. The area under the line is given by A, the area above the line is given by B, and the area of the infinitesimal squares along the diagonal is given by C.
Figure 4.1.15: Division of the area of a square bisected by y=x.

Problems for Section 4.1

Compute the following finite Riemann sums. If a hand calculator is available, the Riemann sums can also be computed with Δx=110.

1. 10(3x+1) Δx,Δx=13 2. 10(3x+1) Δx,Δx=25
3. 11(3x+1) Δx,Δx=14 4. 102x2 Δx,Δx=14
5. 112x2 Δx,Δx=14 6. 50(2x1) Δx,Δx=1
7. 50(2x1) Δx,Δx=2 8. 11(x21) Δx,Δx=12
9. 20(x21) Δx,Δx=12 10. 11(x21) Δx,Δx=310
11. 34(5x212) Δx,Δx=2 12. 34(5x212) Δx,Δx=1
13. 31(1+1/x) Δx,Δx=13 14. 50102x Δx,Δx=12
15. 01x4 Δx,Δx=14 16. 112x3 Δx,Δx=12
17. π0x Δx,Δx=1 18. 92|x4| Δx,Δx=2
19. π0sinx Δx,Δx=π4 20. π0sin2x Δx,Δx=π4
21. 10ex Δx,Δx=15 22. 10xex Δx,Δx=15
23. 51lnx Δx,Δx=1 24. 51lnxx Δx,Δx=1
25. Let b be a positive real number and n a positive integer. Prove that if Δx=b/n, b0x Δx=(1+2++(n1))Δx2.Using the formula 1+2++(n1)=n(n1)2, prove that b0x Δx=(11/n)b2/2.
26. Let H be a positive infinite hyperinteger and dx=b/H. Using the Transfer Principle and Problem 25, prove that b0x dx=b2/2.
27. Let b be a positive real number, n a positive integer, and Δx=b/n. Using the formula 12+22+32++(n1)2=n(n1)(2n1)6,prove that b0x2Δx=n(n1)(2n1)6b3n3.
28. Use Problem 27 to show that b0x2 dx=b3/3.

This page titled 4.1: The Definite Integral is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by H. Jerome Keisler.

Support Center

How can we help?