Concavity

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \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 {\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]{\,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 {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\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 examine what the second derivative tells us about the geometry of functions.

The graphs of two functions, $f$ and $g$ , both increasing on the given interval, are given below.

Let $f$ be a function differentiable on an open interval $I$ .

We say that the graph of $f$ is concave up on $I$ if $f'$ , the derivative of $f$ , is increasing on $I$ .
We say that the graph of $f$ is concave down on $I$ if $f'$ , the derivative of $f$ , is decreasing on $I$ .

We know that the sign of the derivative tells us whether a function is increasing or decreasing at some point. Likewise, the sign of the second derivative $f''(x)$ tells us whether $f'(x)$ is increasing or decreasing at $x$ . If we are trying to understand the shape of the graph of a function, knowing where it is concave up and concave down helps us to get a more accurate picture. This is summarized in a single theorem.

Test for Concavity Let $I$ be an open interval.

If $f''(x)>0$ for all $x$ in $I$ , then the graph of $f$ is concave up on $I$ .
If $f''(x)<0$ for all $x$ in $I$ , then the graph of $f$ is concave down on $I$ .

We summarize the consequences of this theorem in the table below:

Let $f$ be a continuous function and suppose that:

$f'(x) > 0$ for $-1< x<1$ .
$f'(x) < 0$ for $-2< x<-1$ and $1<x<2$ .
$f''(x) > 0$ for $-2<x<0$ and $1<x< 2$ .
$f''(x) < 0$ for $0<x< 1$ .

Sketch a possible graph of $f$ .

Start by marking points in the domain where the derivative changes sign and indicate intervals where $f$ is increasing and intervals $f$ is decreasing. The function $f$ has a negative derivative from $-2$ to $x=\answer [given]{-1}$ . This means that $f$ is increasingdecreasing on this interval. The function $f$ has a positive derivative from $x=\answer [given]{-1}$ to $x=\answer [given]{1}$ . This means that $f$ is increasingdecreasing on this interval. Finally, The function $f$ has a negative derivative from $x=\answer [given]{1}$ to $2$ . This means that $f$ is increasingdecreasing on this interval.

Now we should sketch the concavity: concave upconcave down when the second derivative is positive, concave upconcave down when the second derivative is negative.

Finally, we can sketch our curve: