3.3: The Fundamental Theorem and Antidifferentiation
- Page ID
- 71062
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)The Fundamental Theorem of Calculus
This section contains the most important and most used theorem of calculus, the Fundamental Theorem of Calculus. Discovered independently by Newton and Leibniz in the late 1600s, it establishes the connection between derivatives and integrals, provides a way of easily calculating many integrals, and was a key step in the development of modern mathematics to support the rise of science and technology. Calculus is one of the most significant intellectual structures in the history of human thought, and the Fundamental Theorem of Calculus is a most important brick in that beautiful structure.
If \(F(x)\) is a function where \(F'(x) = f(x)\), then
\[ \int\limits_a^b f(x) \,dx = F(b) - F(a) \nonumber \]
This is actually not new for us; we've been using this relationship for some time; we just haven’t written it this way. This says what we've said before: the definite integral of a rate from \(a\) to \(b\) is the net \(y\)-units, the change in \(y\), that accumulate between \(t = a\) and \(t = b\). Here we’ve just made it plain that that the rate is a derivative.
Thinking about the relationship this way gives us the key to finding exact answers for some definite integrals. If the integrand is the derivative of some \(F\), then maybe we could simply find \(F\) and subtract – that would be easier than approximating with rectangles. Going backwards through the differentiation process will help us evaluate definite integrals.
Find \(f(x)\) if \(f '(x) = 2x\).
Solution
Oooh, I know this one. It's \( f(x)=x^2+3 \). Oh, wait, you were thinking something else? Yes, I guess you're right, \( f(x)=x^2 \) works too. So does \( f(x)=x^2-\pi \), and \( f(x)=x^2+104,\!589.2 \). In fact, there are lots of answers.
In fact, there are infinitely many functions that all have the same derivative. And that makes sense – the derivative tells us about the shape of the function, but it doesn't tell about the location. We could shift the graph up or down and the shape wouldn't be affected, so the derivative would be the same.
This leads to one of the trickier definitions – pay careful attention to the articles (the
versus an
), because they're important.
An antiderivative of a function \(f(x)\) is any function \(F(x)\) where \(F'(x) = f(x)\).
The antiderivative of a function \(f(x)\) is a whole family of functions, written \(F(x) + C\), where \(F'(x) = f(x)\) and \(C\) represents any constant.
The antiderivative is also called the indefinite integral.
Notation for the Antiderivative
The antiderivative of \(f\) is written \[\int f(x) \,dx\nonumber \]
This notation resembles the definite integral, because the Fundamental Theorem of Calculus says antiderivatives and definite integrals are intimately related. But in this notation, there are no limits of integration.
The \( \int \) symbol is still called an integral sign; the \(dx\) on the end still must be included; you can still think of \( \int \) and \(dx\) as left and right parentheses. The function \(f\) is still called the integrand.
Verb Forms
We antidifferentiate, or integrate, or find the indefinite integral of a function. This process is called antidifferentiation or integration.
There are no small families in the world of antiderivatives: if \(f\) has one antiderivative \(F\), then \(f\) has an infinite number of antiderivatives and every one of them has the form \(F(x) + C\).
Find an antiderivative of \(2x\).
Solution
We can choose any function we like as long as its derivative is \(2x\), so we can pick, say, \( F(x)=x^2-5.2 \).
Find the antiderivative of \(2x\).
Solution
Now we need to write the entire family of functions whose derivatives are \(2x\). We can use the \( \int \) notation: \[\int 2x\, dx = x^2+C.\nonumber \] (Don't forget the \( +C \)
!)
Find \( \int e^x\, dx \).
Solution
This is likely one you remember: \( e^x \) is its own derivative, so it is also its own antiderivative. The integral sign tells us that we need to include the entire family of functions, so we need that \(+C\)
on the end: \[ \int e^x\, dx = e^x+C. \nonumber \]
Antiderivatives Graphically or Numerically
Another way to think about the Fundamental Theorem of Calculus is to solve the expression for \(F(b)\):
\[ \int\limits_a^b F'(x) \,dx=F(b) - F(a) \nonumber \] The definite integral of a derivative from \(a\) to \(b\) gives the net change in the original function.
\[F(b) = F(a) + \int\limits_a^b F'(x) \,dx \nonumber \] The amount we end up is the amount we start with plus the net change in the function.
This lets us get values for the antiderivative – as long as we have a starting point, and we know something about the area.
Suppose \(F(t)\) has the derivative \(f(t)\) shown below, and suppose that we know \(F(0) = 5\). Find values for \(F(1),\ F(2),\ F(3),\) and \(F(4)\).
Solution
Using the second way to think about the Fundamental Theorem of Calculus, \( F(b) = F(a) + \int\limits_a^b F'(x) \,dx \), we can see that \( F(1) = F(0) + \int\limits_0^1 f(x) \,dx \). We know the value of \(F(0)\), and we can easily find \( \int\limits_0^1 f(x) \,dx \) from the graph – it's just the area of a triangle. So \[ \begin{align*} F(1) & = \\ & = 5+0.5 =5.5\\ F(2) & = F(0) + \int\limits_0^2 f(x) \,dx \\ & = 5+1=6 \end{align*} \nonumber \]
Note that we can start from any place of which we know the value; for example, now that we know \(F(2)\), we can use that to find \[ \begin{align*} F(3) & = F(2) + \int\limits_2^3 f(x) \,dx \\ & = 6-0.5=5.5 \\ F(4) & = F(3) + \int\limits_3^4 f(x) \,dx \\ & = 5.5-1=4.5 \end{align*} \nonumber \]
Here is a copy of the applet used in this video:
\(F'(t) = f(t)\) is shown below. Where does \(F(t)\) have maximum and minimum values on the interval [0, 4]?
Solution
Since \( F(b) = F(a) + \int\limits_a^b F'(x) \,dx \), we know that \(F\) is increasing as long as the area accumulating under \(F' = f\) is positive (until \(t = 3\)), and then decreases when the curve dips below the \(x\)-axis so that negative area starts accumulating. The area between \(t = 3\) and \(t = 4\) is much smaller than the positive area that accumulates between 0 and 3, so we know that \(F(4)\) must be larger than \(F(0)\). The maximum value is when \(t = 3\); the minimum value is when \(t = 0\).
Note that this is a different way to look at a problem we already knew how to solve – in Chapter 2, we would have found critical points of \(F\), where \(f = 0\): there's only one, when \(t = 3\). \(f = F'\) goes from positive to negative there, so \(F\) has a local max at that point. It's the only critical point, so it must be a global max. Then we would look at the values of \(F\) at the endpoints to find which was the global min.
We can also attempt to sketch a function based on the graph of the derivative.
The graph below shows \(f'(x)\) – the rate of change of \(f(x)\). Use it to sketch a graph of \(f(x)\) that satisfies \(f(0) = 0\).
Solution
Recall from the last chapter the relationships between the function graph and the derivative graph:
\( f(x) \) | Increasing | Decreasing | Concave Up | Concave Down |
\( f'(x) \) | \( + \) | \( - \) | Increasing | Decreasing |
In the graph shown, we can see the derivative is positive on the interval (0, 1) and \((3, \infty)\), so the graph of \(f\) should be increasing on those intervals. Likewise, \(f\) should be decreasing on the interval (1,3).
In the graph, \(f'\) is decreasing on the interval (0, 2), so \(f\) should be concave down on that interval. Likewise, \(f\) should be concave up on the interval \((2, \infty)\).
The derivative itself is not enough information to know where the function \(f\) starts, since there are a family of antiderivatives, but in this case we are given a specific point at which to start.
To start the sketch, we might note first the shapes we need:
then sketch the basic shapes:
Now we can attempt to sketch the graph, starting at the point (0, 0). Notice we are very roughly sketching this, as we don't have much information to work with. We can tell, though, from the graph that the area from \(x = 0\) to \(x = 1\) is about the same as the area from \(x = 1\) to \(x = 3\), so we would expect the net area from \(x = 0 \)to \(x = 3\) to be close to 0.
It turns out this graph isn't horribly bad. Smoothing it out would give a graph closer to the actual antiderivative graph, shown below.
Derivative of the Integral
There is another important connection between the integral and derivative.
If \[ A(x)=\int\limits_a^x f(t) \,dt \nonumber \] then \[ A'(x)=\frac{d}{dx}\int\limits_a^x f(t) \,dt =f(x). \nonumber \]
I.e., the derivative of the accumulation function is the original function.
Let \( F(x)=\int\limits_0^x f(t)\,dt \), where \(f\) is graphed below. Estimate \( F'(3) \).
Solution
The function \(F(x)\) measures the area from \(t = 0\) to some \(t = x\). To estimate \( F'(3) \), we want to estimate how much the area is increasing when \(t = 3\). Since the value of the function \(f(t)\) is 0 at \(t = 3\), the area will not be increasing or decreasing, so we can estimate \( F'(3) = 0 \).
Directly using the fundamental theorem of calculus part 2, \[ F'(x) = \frac{d}{dx}\int\limits_a^x f(t) \,dt = f(x) \nonumber \] so \[ F'(x) = f(3) = 0. \nonumber \]