The First Fundamental Theorem of Calculus

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\CancelColor }[0]{} \newcommand {\cancelto }[0]{1} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$ $% This file was *autogenerated* from digInFirstFundamentalTheoremOfCalculus.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %9c613e759a506f200e52698b8d0128e5% md5sum of corresponding .sage file (minus "goboom","current_tex_line",and pause/unpause lines)$

The rate that accumulated area under a curve grows is described identically by that curve.

Accumulation functions

While the definite integral computes a signed area, which is a fixed number, there is a way to turn it into a function.

A given a function $f$ , an accumulation function is $F(x) = \int _a^x f(t) \d t.$

One thing that you might notice is that an accumulation function seems to have two variables: $x$ and $t$ . Let’s see if we can explain this. Consider the following graph:

An accumulation function $F$ measures the signed area in the region $[a,x]$ between $f$ and the $t$ -axis. Hence $t$ is playing the role of a ‘‘place-holder’’ that allows us to evaluate $f$ . On the other hand, $x$ is the specific number that we are using to bound the region that will determine the area between $f$ and the $t$ -axis, and hence the value of $F$ .

Given $F(x) = \int _{-3}^x 4 \d t,$ what is $F(5)$ ? $F(5) = \answer {32}$

What is $F(-5)$ ? $F(-5) = \answer {-8}$

Consider the following accumulation function for $f(x) = x^3$ . $F(x) = \int _{-1}^x t^3 \d t.$ Considering the interval $[-1,1]$ , where is $F$ increasing? Where is $F$ decreasing? When does $F$ have local extrema?

We can see a graph of $f$ along with the signed area measured by the accumulation function below

The accumulation function starts off at zero, and then as $x$ grows, $F$ is increasingdecreasing as the function accumulates negatively signed area.

However when $x>0$ , $F$ starts to accumulate positively signed area, and hence is

increasingdecreasing . Thus $F$ is increasing on $(0,1)$ , decreasing on $(-1,0)$ and hence has a local minimum at $(0,0)$ .

Working with the accumulation function leads us to a question, what is $\int _a^x f(x) \d x$ when $x< a$ ? The general convention is that $\int _a^b f(x) \d x = -\int _b^a f(x) \d x.$ With this in mind, let’s consider one more example.

Consider the following accumulation function for $f(x) = x^3$ . $F(x) = \int _{-1}^x t^3 \d t.$ Where is $F$ increasing? Where is $F$ decreasing? When does $F$ have local extrema?

From our previous example, we know that $F$ is increasing on $(0,1)$ . Since $f$ continues to be positive at $t=1$ and beyond, $F$ is increasingdecreasing on $(0,\infty )$ . On the other hand, we know from our previous example that $F$ is increasingdecreasing on $(-1,0)$ .

For values to the left of $t=-1$ , $F$ is still decreasing, as less and less positively signed area is accumulated. Hence $F$ is increasing on $(0,\infty )$ , decreasing on $(-\infty ,0)$ and hence has an absolute minimum at $(0,0)$ .

The key point to take from these examples is that an accumulation function $F(x) = \int _a^x f(t) \d t$ is increasing precisely when $f$ is positive and is decreasing precisely when $f$ is negative. In short, it seems that $f$ is behaving in a similar fashion to $F'$ .

The First Fundamental Theorem of Calculus

Let $f$ be a continuous function on the real numbers and consider $F(x) = \int _a^x f(t)\d t.$ From our previous work we know that $F$ is increasing when $f$ is positive and $F$ is decreasing when $f$ is negative. Moreover, with careful observation, we can even see that $F$ is concave up when $f'$ is positive and that $F$ is concave down when $f'$ is negative. Thinking about what we have learned about the relationship of a function to its first and second derivatives, it is not too hard to guess that there must be a connection between $F'$ and the function $f$ . This is a good guess, check out our next theorem:

First Fundamental Theorem of Calculus Suppose that $f$ is continuous on the real numbers and let $F(x)=\int _a^x f(t)\d t.$ Then $F'(x)=f(x)$ .

The First Fundamental Theorem of Calculus says that an accumulation function of $f$ is an antiderivative of $f$ . Another way of saying this is:

This could be read as:

The greenrate that blackblueaccumulated area under a blueblackcurve grows is described identically by that curve.

Now that we are working with accumulation functions, let’s see what happens when we compose them with other functions.

Find the derivative of $F(x) = \int _2^{x^2} \ln t \d t.$

Consider $G(x) = \int _2^x \ln t \d t$ and set $h(x) = \answer [given]{x^2}$ . Now $F(x) = G(h(x)).$ The First Fundamental Theorem of Calculus states that $G'(x) = \ln x$ . The chain rule gives us $\begin{align*} F'(x) &= G'(h(x)) h'(x) \\ &= \ln (h(x)) h'(x) \\ &= \answer[given]{\ln (x^2) 2x}. \end{align*}$

Let’s practice this once more.

Find the derivative of $F(x) = \int _{\ln x}^5 t^3\d t.$

Consider $G(x) = - \int _5^x t^3 \d t$ and set $h(x) = \answer [given]{\ln x}$ . Now $F(x) = G(h(x)).$ The First Fundamental Theorem of Calculus states that $G'(x) = -x^3$ . The chain rule gives us $\begin{align*} F'(x) &= G'(h(x))h'(x)\\ &=-h(x)^3 h'(x)\\ &=\answer[given]{-(\ln x)^3 \left( \frac{1}{x} \right)}. \end{align*}$