Higher order derivatives and graphs

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \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 }$

Here we make a connection between a graph of a function and its derivative and higher order derivatives.

An important application of derivatives is in determining when a function is increasing or decreasing.

Consider the graph of the function $f$ below:

On which of the following intervals is $f$ increasing?

The function $f$ is not increasing on the interval $(-\infty ,b)$ , because if we pick a pair of numbers from $(-\infty ,b)$ , say, $x_{1}=a$ , and $x_{2}=0$ , then $x_{1}<x_{2}$ , but $f(x_{1})>f(x_{2})$ .

Think about the lines tangent to the graph of the function on those intervals you found in this question. Is there anything that the slopes of all of those tangent lines have in common? They are all POSITIVE! Look in the interval $(a,b)$ . The slopes of tangent lines are all NEGATIVE in that interval. Notice that the positive slopes occurred when the function was increasing and the negative slopes occurred when the function was decreasing? That was no accident.

Since the derivative gives us a formula for the slope of a tangent line to a curve, we can gain information about a function purely from the sign of the derivative. In particular, we have the following theorem

A function $f$ is increasing on any interval $I$ where $f'(x)>0$ , for all $x$ in $I$ .
A function $f$ is decreasing on any interval $I$ where $f'(x)<0$ , for all $x$ in $I$ .

Below we have graphed $y=f(x)$ :

Is the first derivative positive or negative on the interval $-1<x<1/2$ ?

Below we have graphed $y=f'(x)$ :

Is the graph of $f(x)$ increasing or decreasing as $x$ increases on the interval $-1<x<0$ ?

We call the derivative of the derivative the second derivative, the derivative of the derivative of the derivative the third derivative, and so on. We have special notation for higher derivatives, check it out:

First derivative:: $\ddx f(x) = f'(x) = f^{(1)}(x)$ .
Second derivative:: $\dd [~^2]{x^2} f(x) = f''(x) = f^{(2)}(x)$ .
Third derivative:: $\dd [~^3]{x^3} f(x) = f'''(x) = f^{(3)}(x)$ .

We use the facts above in our next example.

Here we have unlabeled graphs of $f$ , $f'$ , and $f''$ :

Identify each curve above as a graph of $f$ , $f'$ , or $f''$ .

Here we see three curves, $A$ , $B$ , and $C$ . Since $A$ is when $B$ is positive and when $B$ is negative, we see $A'=B.$ Since $B$ is increasing when $C$ is and decreasing when $C$ is , we see $B'=C.$ Hence $f=A$ , $f'=B$ , and $f''=C$ .

Here we have unlabeled graphs of $f$ , $f'$ , and $f''$ :

Identify each curve above as a graph of $f$ , $f'$ , or $f''$ .

Here we see three curves, $A$ , $B$ , and $C$ . Since $B$ is when $A$ is positive and when $A$ is negative, we see $B'=A.$ Since $A$ is increasing when $C$ is and decreasing when $C$ is , we see $A'=C.$ Hence $f=\answer [given]{B}$ , $f'=\answer [given]{A}$ , and $f''=\answer [given]{C}$ .

Here we have unlabeled graphs of $f$ , $f'$ , and $f''$ :

Identify each curve above as a graph of $f$ , $f'$ , or $f''$ .

Here we see three curves, $A$ , $B$ , and $C$ . Since $C$ is when $B$ is positive and when $B$ is negative, we see $C'=B.$ Since $B$ is increasing when $A$ is and decreasing when $A$ is , we see $B'=A.$ Hence $f=\answer [given]{C}$ , $f'=\answer [given]{B}$ , and $f''=\answer [given]{A}$ .

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Controls

Symbols

Settings