guide:5bb6c120d2

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

In spite of the fact that we have thus far developed a sign)ficant amount of the theory of the definite integral, the actual evaluation of [math] \int_{a}^{b} f(x) dx[/math], for even a very simple function [math]f[/math], is generally an arduous task. For a wide class of functions, the problem of computation is solved by a theorem which relates the definite integral to the derivative and which has become known as the Fundamental Theorem of Calculus. To understand clearly our presentation of this important result, it is necessary to be aware of the following integrability theorem.

Theorem

If the function [math]f[/math] is continuous at every [math]x[/math] in the closed interval [math][a, b][/math], then [math]f[/math] is integrable over [math][a, b][/math].

We shall give only a brief outline of the proof, which shows that the result is plausible. Since [math]f[/math] is continuous, its values do not vary widely over a small interval. Recall that the [math]n[/math]th upper and lower sums are defined by

[[math]] \begin{array}{l} U_n = M_{1}(x_{1} - x_0) + ... + M_{n}(x_{n} - x_{n-1}), \\ \\ L_n = m_{1}(x_{1} - x_0) + ... + m_{n}(x_{n} - x_{n-1}), \end{array} [[/math]]

where [math]M_i[/math] and [math]m_i[/math] are, respectively, the maximum and minimum values of [math]f[/math] on the [math]i[/math]th subinterval. We assume that [math]n[/math] is large and each subinterval small. By the continuity of [math]f[/math], therefore, the difference [math]M_{i} - m_{i}[/math] is small for each [math]i = 1, . . ., n[/math]. This in turn implies that [math]U_{n} - L_{n}[/math] is small. In fact, [math]U_{n} - L_{n}[/math] can be made arbitrarily small by taking [math]n[/math] sufficiently large; i.e., [math]\lim_{n \rightarrow \infty} (U_{n} - L_{n}) = 0[/math]. This limit is sufficient to prove that [math]f[/math] is integrable over [math][a, b][/math], as shown in Theorem (3.2). To change this outline into a complete proof, it is necessary to introduce the concept of uniform continuity, which we shall not do in this book. We shall now show how the definite integral can be used to define a new function. Suppose that [math]f[/math] is a given function which is continuous at every [math]x[/math] in some interval [math]I[/math]. Let [math]a[/math] be an arbitrary number in [math]I[/math]. A new function [math]F[/math] is defined, for every number [math]t[/math] in [math]I[/math], by the equation

[[math]] F(t) = \int_{a}^{t} f(x) dx. [[/math]]

The existence of [math]\int_{a}^{t} f(x) dx[/math] follows from the continuity of [math]f[/math] and the integrability Theorem (5.1). Thus the function [math]F[/math] is well defined by the above equation. Using the interpretation of the integral as area, we can give geometric meaning to [math]F(t)[/math]. Suppose that [math]a \leq t[/math] and that [math]f(x) \geq 0[/math] for every [math]x[/math] in the interval [math][a, t][/math], as shown in Figure(a). The integral [math]\int_{a}^{t} f(x) dx[/math] is then equal to the area of the region [math]P[/math] bounded by the graph of [math]f[/math], the [math]x[/math]-axis, and the lines [math]x= a[/math] and [math]x= t[/math]. Thus

[[math]] F(t) = area(P). [[/math]]

On the other hand, if [math]t \leq a[/math] and [math]f(x) \geq 0[/math] for every [math]x[/math] in [math][t, a][/math], which is the situation shown in Figure(b), then the area of [math]P[/math] is equal to the integral [math]\int_{t}^{a} f(x) dx[/math]. Hence, in this case, we have

[[math]] F(t) = \int_{a}^{t} f(x) dx = -\int_{t}^{a} f(x) dx = -area(P). [[/math]]

File:Guide c5467 scanfig4 15.png

In the general case, of course, [math]f[/math] may take on both positive and negative values. If the region bounded by the graph of [math]f[/math], the [math]x[/math]-axis, and the lines [math]x = a[/math] and [math]x = t[/math] is expressed as the union of the part [math]P^{+}[/math] above the axis and the part [math]P^{-}[/math] below the axis, then

[[math]] F (t) = \pm [area(P^{+}) - area(P^{-})], [[/math]]

where we take + or - according as [math]a \leq t[/math] or [math]t \leq a[/math]. We come now to the main result of the section.

Proposition (The Fundamental Theorem of Calculus.)

Let [math]f[/math] be continuous at every [math]x[/math] in some interval [math]I[/math], and let [math]a[/math] be a number in [math]I[/math]. If the function [math]F[/math] is defined by

[[math]] F(t) = \int_{a}^{t} f(x) dx,\;\;\; \mbox{for every}\; t\; \mbox{in}\; I, [[/math]]

then [math]F[/math] is a differentiable function and

[[math]] F'(t) = f (t), \;\;\;\mbox{for every}\; t\; \mbox{in}\; I. [[/math]]

Show Proof

According to the definition of the derivative, we must prove that

[[math]] \lim_{h \rightarrow 0} \frac{F(t + h) - F(t)}{h} = f(t). [[/math]]

By the definition of the function [math]F[/math],

[[math]] F(t + h) = \int_{a}^{t + h} f(x) dx. [[/math]]

Hence

[[math]] F(t + h) - F(t) = \int_{a}^{t + h} f(x) dx - \int_{a}^{t} f(x) dx. [[/math]]

By Theorem (4.7) we have

[[math]] \int_{a}^{t} f(x) dx + \int_{t}^{t + h} f(x) dx = \int_{a}^{t + h} f(x) dx, [[/math]]

and the preceding two equations therefore imply that

[[math]] F(t + h) - F(t) = \int_{t}^{t + h} f(x) dx. [[/math]]

Consequently,

[[math]] \begin{equation} \frac{F(t + h) - F(t)}{h} = \frac{1}{h} \int_{t}^{t + h} f(x) dx. \label{eq4.5.1} \end{equation} [[/math]]

These steps are illustrated geometrically in Figure.

File:Guide c5467 scanfig4 16.png

Let the maximum and minimum values of [math]f[/math] between [math]t[/math] and [math]t + h[/math] be denoted by [math]f_{M}[/math] and [math]f_{m}[/math], respectively. Thus

[[math]] f_{m} \leq f(x) \leq f_{M}, [[/math]]

for every [math]x[/math] between [math]t[/math] and [math]t + h[/math]. If [math]h[/math] is positive (as it is in Figure), then it follows by Theorem (4.3) that

[[math]] \int_{t}^{t + h} f_{m} dx \leq \int_{t}^{t + h} f (x) dx \leq \int_{t}^{t + h} f_{M} dx. [[/math]]

Since [math]f_{m}[/math] and [math]f_{M}[/math] are constants, Theorem (4.1) implies that

[[math]] \begin{eqnarray*} \int_{t}^{t + h} f_{m} dx &=& f_{m} \cdot (t + h - t) = f_{m} \cdot h, \\ \int_{t}^{t + h} f_{M} dx &=& f_{M} \cdot (t + h - t) = f_{M} \cdot h. \end{eqnarray*} [[/math]]

Hence

[[math]] f_{m} \cdot h \leq \int_{t}^{t + h} f(x) dx \leq f_{M} \cdot h, [[/math]]

or, equivalently,

[[math]] \begin{equation} f_{m} \leq \frac{1}{h} \int_{t}^{t + h} f(x)dx \leq f_{M}. \label{eq4.5.2} \end{equation} [[/math]]

If, on the other hand, [math]h[/math] is negative, it is a straightforward (and logically necessary) matter to verify that the same inequalities (2) follow. Combining (1) and (2), we therefore obtain

[[math]] \begin{equation} f_{m} \leq \frac{ F(t + h) - F(t)}{h} \leq f_{M}. \label{eq4.5.3} \end{equation} [[/math]]

Finally, since [math]f[/math] is continuous at [math]t[/math], we know that

[[math]] \lim_{h \rightarrow 0} f_{m} = f(t) = \lim_{h \rightarrow 0} f_{M}. [[/math]]

The fraction [math]\frac{F(t + h) - F(t)}{h}[/math] is thus seen in (3) to be caught between two quantities both of which approach [math]f(t)[/math] as [math]h[/math] approaches zero. It, too, must therefore approach [math]f(t)[/math] as a limit. We conclude that

[[math]] F'(t) = \lim_{h \rightarrow 0} \frac{F(t + h) - F( t)}{h} = f(t), [[/math]]

and the proof of the Fundamental Theorem is completed.

■

Before reaping the computational rewards of this theorem, we give a concrete example to emphasize precisely what the theorem says.

Example

If [math]F(t) = \int_{0}^{t} \frac{1}{x^2 + 1}dx[/math], find [math]F'(1), F'(2)[/math], and [math]F'(x)[/math]. The integrand in this example is the continuous function [math]f[/math] defined by [math]f (x) = \frac{1}{x^2 + 1} [/math]. In this case, therefore, the interval [math]I[/math] can be taken to be the whole real line. By the Fundamental Theorem,

[[math]] F'(t) = f(t) = \frac{1}{t^2 + 1}. [[/math]]

In particular,

[[math]] \begin{eqnarray*} F'(1) = \frac{1}{1^2 + 1} = \frac{1}{ 2},\\ F'(2) = \frac{1}{2^2 + 1} = \frac{1}{5}, \end{eqnarray*} [[/math]]

and, in general,

[[math]] F'(x) = \frac{1}{x^2 + 1}, \;\;\; \mbox{for every real number}\; x. [[/math]]

As the preceding example illustrates, the conclusion of the Fundamental Theorem can equally well be written

[[math]] F' (x) = f(x), \;\;\; \mbox{for every $x$ in $I$}. [[/math]]

We used the letter [math]t[/math] in the statement of the theorem simply to avoid confusion with the dummy variable [math]x[/math] which appears in the integral. We might just as well have written

[[math]] \mbox{If}\; F(x) = \int_{a}^{x} f(t) dt, \;\mbox{then}\; F'(x) = f(x), [[/math]]

or, perhaps better yet,

[[math]] \mbox{If}\; F(x) = \int_{a}^{x} f, \;\mbox{then}\; F'(x) = f(x). [[/math]]

The important thing to remember is that the derivative of [math]F[/math] at any point in the given interval is equal to the value of the integrand [math]f[/math] at that same point. We now consider the implications of the Fundamental Theorem. By an antiderivative of a function [math]f[/math] is meant any differentiable function [math]F[/math] with the property that [math]F'(x) = f(x)[/math] for every [math]x[/math] in the domain of [math]f[/math]. Similarly, we shall say that a function [math]F[/math] is an antiderivative of [math]f[/math] on an interval [math]I[/math] if [math]F' (x) = f(x)[/math] for every [math]x[/math] in [math]I[/math]. Thus the function [math]\frac{x^3}{3}[/math] is an antiderivative of [math]x^2[/math] because

[[math]] \frac{d}{dx} \Bigl( \frac{x^3}{3} \Bigr) = \frac{3x^2}{3} = x^2. [[/math]]

Of course, [math]\frac{x^2}{3}[/math] is an antiderivative of [math]x^2[/math] on any interval we care to name. The Fundamental Theorem states that if [math]f[/math] is continuous at every point of [math]I[/math], then the function [math]F[/math] defined by

[[math]] F(x) = \int_{a}^{x} f [[/math]]

is an antiderivative of [math]f[/math] on [math]I[/math]. If a function [math]f[/math] has one antiderivative [math]F[/math], then it has infinitely many because, for every constant [math]c[/math],

[[math]] (F + c)' = F' + c' = F' + 0 = f. [[/math]]

Conversely, we have proved that any two functions which have the same derivative differ by a constant [see Theorem (5.4), page 114]. Hence, if [math]F' = f[/math], then the set of all antiderivatives of [math]f[/math] is the set of all functions [math]F + c[/math] for every real number [math]c[/math]. Combining these facts, we obtain

Corollary of the Fundamental Theorem

Let [math]f[/math] be a function which is continuous at every [math]x[/math] in some interval [math]I[/math]. Then [math]f[/math] has an antiderivative on [math]I[/math]. Furthermore, if [math]F[/math] is any antiderivative whatever of [math]f[/math] on [math]I[/math], then, for any [math]a[/math] and [math]b[/math] in [math]I[/math],

[[math]] \int_{a}^{b} f (x) dx = F(b) - F(a). [[/math]]

Show Proof

The assertion that [math]f[/math] has an antiderivative on [math]I[/math] is verified by the Fundamental Theorem. Let [math]G[/math] be the antiderivative defined by

[[math]] \begin{equation} G(x) = \int_{a}^{x} f,\;\;\;\mbox{for every $x$ in $I$}. \label{eq4.5.4} \end{equation} [[/math]]

Suppose now that [math]F[/math] is an arbitrary antiderivative of [math]f[/math] on [math]I[/math]. Then

[[math]] G'(x) = f(x) = F'(x), \;\;\;\mbox{for every $x$ in $I$}. [[/math]]

It follows by Theorem (5.4), page 114, that on the interval [math]I[/math] the two functions [math]G[/math] and [math]F[/math] differ by a constant. That is, there exists a real number [math]c[/math] such that

[[math]] G(x) = F(x) + c, \;\;\;\mbox{for every $x$ in $I$}. [[/math]]

Substituting [math]x = b[/math] in equation (4), we obtain

[[math]] G(b) = \int_{a}^{b} f. [[/math]]

Moreover, we know that [math]G(a) =\int_{a}^{a} f = 0[/math]. Hence

[[math]] \begin{eqnarray*} \int_{a}^{b} f(x)dx &=& \int_{a}^{b} f= G(b) - G(a) \\ &=& [F(b) + c] - [F(a) + c] \\ &=& F(b) - F(a), \end{eqnarray*} [[/math]]

and the proof is complete.

■

Example

Evaluate the definite integrals

• [math]\int_{0}^{2} x^2 dx,[/math]
• [math]\int_{1}^{4} (5 - x) dx.[/math]

Both integrands are obviously continuous functions. As already observed, the function [math]F[/math] defined by [math]F(x) = \frac{x^3}{3}[/math] is an antiderivative of [math]x^2[/math]. Hence, by Theorem

[[math]] \begin{eqnarray*} \int_{0}^{2} x^2 dx &=& F(2) - F(0) \\ &=& \frac{2^3}{3} - \frac{0^3}{3} = \frac{8}{3}. \end{eqnarray*} [[/math]]

Similarly, we can see by inspection that the function [math]G[/math] defined by [math]G(x) = 5x - \frac{x^2}{ 2}[/math] is an antiderivative of [math]5 - x[/math], since

[[math]] \frac{d}{dx} \Bigl( 5x - \frac{x^2}{2} \Bigr) = 5 - x. [[/math]]

It therefore follows by Theorem (5.3) that

[[math]] \begin{eqnarray*} \int_{1}^{4} (5 - x)dx &=& G(4) - G(1) \\ &=& \Bigl( 5 \cdot 4 - \frac{4^2}{2} \Bigr) - \Bigl( 5 \cdot 1 - \frac{1^2}{2} \Bigr) \\ &=& 12 - 4\frac{1}{2} = 7\frac{1}{2}. \end{eqnarray*} [[/math]]

These are the two integrals whose values were computed in Section 3 by finding the limits of upper and lower sums. The difference in the magnitude of the computations there and here should render unnecessary any comments on the significance of the results of the present section.

The following is an extremely useful notational device. For any realvalued function [math]F[/math] of one variable, we abbreviate [math]F(b) - F(a)[/math] by [math]F(x)|_{a}^{b}[/math]. If [math]F[/math] is an antiderivative of the continuous function [math]f[/math] on some interval containing the numbers [math]a[/math] and [math]b[/math], then we may write the value of the definite integral as

[[math]] \int_{a}^{b} f(x)dx = F(x) \Big|_{a}^{b} . [[/math]]

The advantage of this notation is that the order of writing is the same as the logical order in which the problem is done. Thus one first writes the antiderivative, and then indicates the numbers at which it is to be evaluated. As a result, the whole problem can frequently be done in a single line. For example,

[[math]] \int_{0}^{2} x^2 dx = \frac{x^3}{3} \Big|_{0}^{2} = \frac{2^3}{3} - \frac{0^3}{3} = \frac{8}{3}. [[/math]]

Example

Evaluate the definite integral [math]\int_{-1}^{1} (y^5 - 3y^2 + 2) dy[/math]. Note that we get the same answer whether the dummy variable of integration is [math]y[/math], [math]x[/math], or anything else. The integral is the function [math]f[/math] defined by [math]f(y) = y^5 - 3y^2 + 2[/math]. An antiderivative of [math]y^5[/math] is easily seen to be [math]\frac{y^6}{6}[/math] an antiderivative of [math]3y^2[/math] is [math]y^3[/math], and an antiderivative of 2 is obviously [math]2y[/math]. Hence [math]\frac{y^6}{6} - y^3 + 2y[/math] is an antiderivative of [math]f[/math]. We conclude that

[[math]] \begin{eqnarray*} \int_{-1}^{1} (y^5 - 3y^2 + 2) dy &=& \Bigl( \frac{y^6}{6} - y^3 + 2y \Bigr) \Big|_{-1}^{1}\\ &=& \Bigl( \frac{1^6}{6} - 1^3 + 2 \cdot 1 \Bigr) - \Bigl( \frac{( -1)^6}{6} - (- 1)^3 + 2(- 1) \Bigr) \\ &=& (\frac{1}{6} -1 + 2) - (\frac{1}{6} + 1 - 2)\\ &=& 2. \end{eqnarray*} [[/math]]

General references

Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.