Integral (mathematics)

The development of integral calculus was motivated by two seemingly disparate mathematical problems: finding a function whose derivative is known; and finding the area between the graph of a function and the x-axis over an interval [a,b]. The first is called the antiderivative problem, and the second is called the area problem.

Integral calculus, or integration, has been studied since the third century BC when Archimedes presented his method of exhaustion to calculate the area of a circle. Integral calculus, as it is known today, came into sharper focus in the seventeenth century AD with the works of Sir Isaac Newton and Gottfried Leibniz, who each developed modern calculus independently.

Leibniz' notation is the most widely used one today, and that is what will be used in this article. The indefinite integral, or antiderivative, of a function f(x) is denoted by:

98418322-97408.jpg

where ∫ is an integral sign, and dx is the differential of x. This integral arises in the first of the two problems mentioned above. For the definite integral of a function on an interval [a,b], the notation is:

98418322-97409.jpg

This integral arises in the second of the two aforementioned problems.

Overview

From differential calculus it is known that 2x is the unique derivative of x2. Antidifferentiation can be loosely thought of as an inverse operation to differentiation. This means that x2 is an antiderivative of 2x, because . However, x2 is not the only antiderivative of 2x, because also, so is also an antiderivative of 2x. In fact, for any constant C, is an antiderivative of 2x. This implies that antiderivatives are not unique, as derivatives are. In general terms the antiderivative problem can be stated as follows: Given f(x) , find a family of functions y = F(x) + C such that . The problem is approached as follows.

98418322-97415.jpg

The solution is on the right, as . The final result is:

98418322-97417.jpg

Using (1), the earlier example can be rewritten as follows.

98418322-97418.jpg

Now consider the problem of finding the area A between the graph of and the x-axis on the interval [0,2]. The problem is attacked by filling the region with rectangles. See Figure 1.

98418322-97420.jpg

The base of each rectangle is

98418322-97421.jpg

and the heights of the rectangles are

98418322-97422.jpg

The area A is approximated by summing the areas of the rectangles.

98418322-97423.jpg

The exact area A is found by taking the limit as the number of rectangles , which gives precisely the definite integral of over [0,2]:

98418322-97426.jpg

In general, let f(x) be a function on [a,b], and let [a,b] be divided into n subintervals by a partition , given as follows.

98418322-97428.jpg

Let be any point in the subinterval, be the width of the subinterval, and be the width of the widest subinterval. Then the definite integral of f on [a,b] is defined as:

98418322-97434.jpg

provided the limit exists.

On the surface it appears that the indefinite and definite integrals have nothing to do with each other apart from the fact that they both have the integral sign. But the fundamental theorem of calculus teaches us otherwise. It states that if f is continuous on [a,b] and if F is an antiderivative of f on [a,b], then:

98418322-97435.jpg

The significance of this theorem is that it unites the concepts of definite and indefinite integration, and its importance cannot be overstated. As an example of an application of (2), the exact area of the region in the last paragraph is found as follows.

98418322-97436.jpg

Bibliography

Anton, Howard, Irl Bivens, and Stephen Davis. Calculus. Hoboken, NJ: Wiley, 2012.

Archimedes, and Thomas L. Heath. The Works of Archimedes. Mineola, NY: Dover, 2002.

LaTorre, D. R. Calculus Concepts : An Informal Approach to the Mathematics of Change. Boston: Cengage, 2012.

Larson, Ron, and Bruce H. Edwards. Calculus. Boston: Cengage, 2014.

Ross, Kenneth A. Elementary Analysis: The Theory of Calculus. New York: Springer, 2013.

Stewart, James. Calculus : Early Transcendentals. Belmont, CA: Cengage, 2012.