THE DEFINITE INTEGRAL A PRECISE DEFINITION OF THE DEFINITE INTEGRAL Recall from the previous section that the limit
n
lim ∑
(1)
f(xi *)∆ x
n→∞ i=1
consistently shows up whenever we want to compute the area under a curve or the distance covered by an object. This particular type of limit has several practical applications, such as work, volume, the length of a curve, just to mention a few. Because of its versatility, this limit has been given a special name: The Definite Integral. First, we’ll be dealing with a definite Integral, whose definition is given below (taken directly from my textbook):
If f is a continuous function defined for a ≤ x ≤ b, we divide the interval [a, b] into n subintervals of equal width ∆x
= (b – a)/n.
We let x0, x1, x2......xn be the endpoints of these subintervals (where x0 = a, xn = b) and we choose sample points x1*, x2*.....xn* in these subintervals. Therefore the definite integral of f from a to b is
∫ The symbol
b
f(x) d(x)
a
n
lim ∑
=
n→∞ i=1
f(x*i ) ∆x
(2)
∫ was introduced by Gottfried Wilhelm Leibniz and it's called the Integral Sign. This choice of symbol
is much appreciated especially when we see Integration as a process of summation (the integral sign is basically a “stretched” S and is chosen specifically because an Integral is a limit of sums). The process of computing an Integral is called Integration. A definite integral is generally represented by the symbol
∫
b a
f(x) d(x)
where
∫
is the Integral sign,
b
is the upper limit of Integration
a
is the lower limit of Integration
f(x)
is the Integrand
d(x)
HAS NO MEANING BY ITSELF.
Note that the definite integral is actually a finite number, not a function (unlike an indefinite integral which can represent an entire family of functions). This means it does not depend on x. The definition of a definite integral could take any of these three forms (which basically depends on which sample points we choose to use; left endpoints, right endpoints or midpoints): If we take sample points to be right hand endpoints, then the definite integral would be defined as:
∫
b a
f(x) d(x)
=
n
lim ∑
n→∞ i=1
f(xi ) ∆x
(3)