Analytic View

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \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}} \DeclareMathOperator {\dx }{dx} \DeclareMathOperator {\dt }{dt} \DeclareMathOperator {\dy }{dy} \DeclareMathOperator {\dz }{dz} \DeclareMathOperator {\dr }{dr} \DeclareMathOperator {\dw }{dw} \DeclareMathOperator {\du }{du} \DeclareMathOperator {\dv }{dv} \DeclareMathOperator {\ds }{ds} \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 {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \newcommand {\bar }[0]{\overline } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We discuss how to determine where a function is concave up or concave down.

Video Lecture

Text and Additional Details

So we know generally what concavity is, and what it looks like, but how do we determine concavity of a function? In precalculus you likely discussed how to determine concavity from a graph, but what about when your function is too complicated to easily graph? This is what we tackle here.

Concavity can be best thought of as a force pulling at the graph trying to bend it in either the positive direction (for concave up) or the negative direction (for concave down). Importantly, this doesn’t necessarily (and in fact often doesn’t) correlate with the function being increasing or decreasing - meaning that the function can be increasing and concave up or down, and same for if the function is decreasing. Let’s see an example:

Notice that, for the entire span from A to B, the function is increasing - but also concave down. So as we can see, even though the function is increasing, the concavity is effecting how fast it increases. In particular, the rate at which the function is increasing is getting smaller and smaller. In essence the concavity is overpowering the rate the function is increasing. This observation, that concavity can be viewed as the rate of change of the function’s rate of change leads us to our algebraic breakthrough. The concavity is the derivative of the derivative, a.k.a. the second derivative.

Before we state the rules for concavity it is worth taking a moment to clarify the notation often used for derivatives, and especially taking multiple derivatives (also referred to as ’higher derivatives’).

Higher Derivative Notation When taking multiple derivatives there are several ways to notate repeated derivatives. In particular, if we wish to take multiple derivatives of $f(x)$ we may denote this as:

(a): $\displaystyle f''(x)$ This is the second derivative of $f(x)$ and is by far the most common way to write a second derivative.
(b): $\displaystyle f'''(x)$ This is the third derivative of $f(x)$ . This is about as common as the next form for writing a third derivative.
(c): $\displaystyle f^{(k)}(x)$ This is the $k^{\text {th}}$ derivative. For example writing a third derivative in this format would be $\displaystyle f^{(3)}(x)$ . Note that the parentheses around the exponent number are actually necessary here.
(d): $\displaystyle \frac {d^kf}{dx^k}$ This is the $k^{\text {th}}$ derivative of $f$ . For example writing the third derivative in this format would be $\displaystyle \frac {d^3f}{dx^3}$ . This format is mostly used when dealing with multivariable functions for reasons that are beyond the scope of this course.

Also note that all of these forms also apply to the first derivative, i.e., $f'(x)$ , $f^{(1)}(x)$ [which is never actually used], and $\displaystyle \frac {df}{dx}$ are all “the first derivative of $f$ with respect to $x$ .”

Now that we have the notation, we can state our second derivative result for concavity.

Let $f:[a,b]\rightarrow \mathbb {R}$ be a second differentiable function (i.e. the first and second derivative exist) on the interval $(a,b)$ . Fix $c$ such that $a < c < b$ . Then:

If $f''(c) > 0$ , $f$ is concave up at $c$ .
If $f''(c) < 0$ , $f$ is concave down at $c$ .

The above is a little dense, but let’s parse it into human speak. Essentially what the theorem says is that, as long as the second derivative makes sense at a point, then you can use the sign of the second derivative at that point to determine the concavity at that point. So, if you had the function $f(x) = x^3 - 2x^2 + 1$ , then you could take the second derivative to get $f''(x)=6x-4$ and then plug in a number, like $5$ to determine the concavity at $x=5$ - in this case $f''(5) = 26$ . Since $f''(5) > 0$ , we know that the function is concave up at $x=5$ .

So we have seen that concavity is really a way to measure the rate of change of the rate of change. In other words, concavity is measured using the second derivative. We outlined the common notation used for higher derivatives, and saw an example of computing the concavity at a point of a simple problem. There are separate example videos with more demonstrations and other types of concavity problems.