# 3.4: Concavity and the Second Derivative

- Page ID
- 4167

Our study of "nice" functions continues. The previous section showed how the first derivative of a function, \(f'\), can relay important information about \(f\). We now apply the same technique to \(f'\) itself, and learn what this tells us about \(f\). The key to studying \(f'\) is to consider its derivative, namely \(f''\), which is the second derivative of \(f\). When \(f''>0\), \(f'\) is increasing. When \(f''<0\), \(f'\) is decreasing. \(f'\) has relative maxima and minima where \(f''=0\) or is undefined. This section explores how knowing information about \(f''\) gives information about \(f\).

## Concavity

We begin with a definition, then explore its meaning.

Definition Concave Up and Concave Down

Let \(f\) be differentiable on an interval \(I\). The graph of \(f\) is **concave up** on \(I\) if \(f'\) is increasing. The graph of \(f\) is **concave down** on \(I\) if \(f'\) is decreasing. If \(f'\) is constant then the graph of \(f\) is said to have **no concavity.**

Note: We often state that "\(f\) is concave up" instead of "the graph of \(f\) is concave up" for simplicity.

The graph of a function \(f\) is *concave up* when \(f'\) is *increasing.* That means as one looks at a concave up graph from left to right, the slopes of the tangent lines will be increasing. Consider Figure \(\PageIndex{1}\), where a concave up graph is shown along with some tangent lines. Notice how the tangent line on the left is steep, downward, corresponding to a small value of \(f'\). On the right, the tangent line is steep, upward, corresponding to a large value of \(f'\).

**Figure \(\PageIndex{1}\):** A function \(f\) with a concave up graph. Notice how the slopes of the tangent lines, when looking from left to right, are increasing.

If a function is decreasing and concave up, then its rate of decrease is slowing; it is "leveling off." If the function is increasing and concave up, then the *rate* of increase is increasing. The function is increasing at a faster and faster rate.

Now consider a function which is concave down. We essentially repeat the above paragraphs with slight variation.

The graph of a function \(f\) is *concave down* when \(f'\) is *decreasing*. That means as one looks at a concave down graph from left to right, the slopes of the tangent lines will be decreasing. Consider Figure \(\PageIndex{2}\), where a concave down graph is shown along with some tangent lines. Notice how the tangent line on the left is steep, upward, corresponding to a large value of \(f'\). On the right, the tangent line is steep, downward, corresponding to a small value of \(f'\).

**Figure \(\PageIndex{2}\):** A function \(f\) with a concave down graph. Notice how the slopes of the tangent lines, when looking from left to right, are decreasing.

If a function is increasing and concave down, then its rate of increase is slowing; it is "leveling off." If the function is decreasing and concave down, then the *rate* of decrease is decreasing. The function is decreasing at a faster and faster rate.

Note: A mnemonic for remembering what concave up/down means is: "Concave up is like a cup; concave down is like a frown." It is admittedly terrible, but it works.

Our definition of concave up and concave down is given in terms of when the first derivative is increasing or decreasing. We can apply the results of the previous section and to find intervals on which a graph is concave up or down. That is, we recognize that \(f'\) is increasing when \(f''>0\), etc.

THeorem \(\PageIndex{1}\): Test for Concavity

Let \(f\) be twice differentiable on an interval \(I\). The graph of \(f\) is concave up if \(f''>0\) on \(I\), and is concave down if \(f''<0\) on \(I\).

**Figure \(\PageIndex{3}\):** Demonstrating the 4 ways that concavity interacts with increasing/decreasing, along with the relationships with the first and second derivatives.

Note: Geometrically speaking, a function is concave up if its graph lies above its tangent lines. A function is concave down if its graph lies below its tangent lines.

If knowing where a graph is concave up/down is important, it makes sense that the places where the graph changes from one to the other is also important. This leads us to a definition.

Definition: Point of Inflection

A **point of inflection** is a point on the graph of \(f\) at which the concavity of \(f\) changes.

Figure \(\PageIndex{4}\) shows a graph of a function with inflection points labeled.

**Figure \(\PageIndex{4}\): **A graph of a function with its inflection points marked. The intervals where concave up/down are also indicated.* *

If the concavity of \(f\) changes at a point \((c,f(c))\), then \(f'\) is changing from increasing to decreasing (or, decreasing to increasing) at \(x=c\). That means that the sign of \(f''\) is changing from positive to negative (or, negative to positive) at \(x=c\). This leads to the following theorem.

THeorem \(\PageIndex{2}\): Points of Inflection

If \((c,f(c))\) is a point of inflection on the graph of \(f\), then either \(f''=0\) or \(f''\) is not defined at \(c\).

We have identified the concepts of concavity and points of inflection. It is now time to practice using these concepts; given a function, we should be able to find its points of inflection and identify intervals on which it is concave up or down. We do so in the following examples.

Example \(\PageIndex{1}\): Finding intervals of concave up/down, inflection points

Let \(f(x)=x^3-3x+1\). Find the inflection points of \(f\) and the intervals on which it is concave up/down.

**Solution**

We start by finding \(f'(x)=3x^2-3\) and \(f''(x)=6x\). To find the inflection points, we use Theorem \(\PageIndex{2}\) and find where \(f''(x)=0\) or where \(f''\) is undefined. We find \(f''\) is always defined, and is 0 only when \(x=0\). So the point \((0,1)\) is the only possible point of inflection.

This possible inflection point divides the real line into two intervals, \((-\infty,0)\) and \((0,\infty)\). We use a process similar to the one used in the previous section to determine increasing/decreasing. Pick any \(c<0\); \(f''(c)<0\) so \(f\) is concave down on \((-\infty,0)\). Pick any \(c>0\); \(f''(c)>0\) so \(f\) is concave up on \((0,\infty)\). Since the concavity changes at \(x=0\), the point \((0,1)\) is an inflection point.

**Figure \(\PageIndex{5}\): **A number line determining the concavity of \(f\) in Example \(\PageIndex{1}\).

The number line in Figure \(\PageIndex{5}\) illustrates the process of determining concavity; Figure \(\PageIndex{6}\) shows a graph of \(f\) and \(f''\), confirming our results. Notice how \(f\) is concave down precisely when \(f''(x)<0\) and concave up when \(f''(x)>0\).

**Figure \(\PageIndex{6}\):** A graph of \(f(x)\) used in Example\(\PageIndex{1}\)

Example \(\PageIndex{2}\): Finding intervals of concave up/down, inflection points

Let \(f(x)=x/(x^2-1)\). Find the inflection points of \(f\) and the intervals on which it is concave up/down.

**Solution**

We need to find \(f'\) and \(f''\). Using the Quotient Rule and simplifying, we find

\[f'(x)=\frac{-(1+x^2)}{(x^2-1)^2} \quad \text{and}\quad f''(x) = \frac{2x(x^2+3)}{(x^2-1)^3}.\]

To find the possible points of inflection, we seek to find where \(f''(x)=0\) and where \(f''\) is not defined. Solving \(f''x)=0\) reduces to solving \(2x(x^2+3)=0\); we find \(x=0\). We find that \(f''\) is not defined when \(x=\pm 1\), for then the denominator of \(f''\) is 0. We also note that \(f\) itself is not defined at \(x=\pm1\), having a domain of \((-\infty,-1)\cup(-1,1)\cup(1,\infty)\). Since the domain of \(f\) is the union of three intervals, it makes sense that the concavity of \(f\) could switch across intervals. We technically cannot say that \(f\) has a point of inflection at \(x=\pm1\) as they are not part of the domain, but we must still consider these \(x\)-values to be important and will include them in our number line.

The important \(x\)-values at which concavity might switch are \(x=-1\), \(x=0\) and \(x=1\), which split the number line into four intervals as shown in Figure \(\PageIndex{7}\). We determine the concavity on each. Keep in mind that all we are concerned with is the *sign* of \(f''\) on the interval.

**Interval 1, **\((-\infty,-1)\): Select a number \(c\) in this interval with a large magnitude (for instance, \(c=-100\)). The denominator of \(f''(x)\) will be positive. In the numerator, the \((c^2+3)\) will be positive and the \(2c\) term will be negative. Thus the numerator is negative and \(f''(c)\) is negative. We conclude \(f\) is concave down on \((-\infty,-1)\).

**Interval 2, **\((-1,0)\): For any number \(c\) in this interval, the term \(2c\) in the numerator will be negative, the term \((c^2+3)\) in the numerator will be positive, and the term \((c^2-1)^3\) in the denominator will be negative. Thus \(f''(c)>0\) and \(f\) is concave up on this interval.

**Interval 3, **\((0,1)\): Any number \(c\) in this interval will be positive and "small." Thus the numerator is positive while the denominator is negative. Thus \(f''(c)<0\) and \(f\) is concave down on this interval.

**Interval 4, **\((1,\infty)\): Choose a large value for \(c\). It is evident that \(f''(c)>0\), so we conclude that \(f\) is concave up on \((1,\infty)\).

**Figure \(\PageIndex{7}\):** Number line for \(f\) in Example \(\PageIndex{2}\)

We conclude that \(f\) is concave up on \((-1,0)\cup(1,\infty)\) and concave down on \((-\infty,-1)\cup(0,1)\). There is only one point of inflection, \((0,0)\), as \(f\) is not defined at \(x=\pm 1\). Our work is confirmed by the graph of \(f\) in Figure \(\PageIndex{8}\). Notice how \(f\) is concave up whenever \(f''\) is positive, and concave down when \(f''\) is negative.

**Figure \(\PageIndex{8}\):** A graph of \(f(x)\) and \(f''(x)\) in Example \(\PageIndex{2}\)

Recall that relative maxima and minima of \(f\) are found at critical points of \(f\); that is, they are found when \(f'(x)=0\) or when \(f'\) is undefined. Likewise, the relative maxima and minima of \(f'\) are found when \(f''(x)=0\) or when \(f''\) is undefined; note that these are the inflection points of \(f\).

What does a "relative maximum of \(f'\)" *mean*? The derivative measures the rate of change of \(f\); maximizing \(f'\) means finding the where \(f\) is increasing the most -- where \(f\) has the steepest tangent line. A similar statement can be made for minimizing \(f'\); it corresponds to where \(f\) has the steepest negatively--sloped tangent line.

We utilize this concept in the next example.

Example \(\PageIndex{3}\): Understanding inflection points

The sales of a certain product over a three-year span are modeled by \(S(t)= t^4-8t^2+20\), where \(t\) is the time in years, shown in Figure \(\PageIndex{9}\). Over the first two years, sales are decreasing. Find the point at which sales are decreasing at their greatest rate.

**Figure \(\PageIndex{9}\):** A graph of \(S(t)\) in Example \(\PageIndex{3}\), modeling the sale of a product over time.

We want to maximize the rate of decrease, which is to say, we want to find where \(S'\) has a minimum. To do this, we find where \(S''\) is 0. We find \(S'(t)=4t^3-16t\) and \(S''(t)=12t^2-16\). Setting \(S''(t)=0\) and solving, we get \(t=\sqrt{4/3}\approx 1.16\) (we ignore the negative value of \(t\) since it does not lie in the domain of our function \(S\)).

This is both the inflection point and the point of maximum decrease. This is the point at which things first start looking up for the company. After the inflection point, it will still take some time before sales start to increase, but at least sales are not decreasing quite as quickly as they had been.

A graph of \(S(t)\) and \(S'(t)\) is given in Figure \(\PageIndex{10}\). When \(S'(t)<0\), sales are decreasing; note how at \(t\approx 1.16\), \(S'(t)\) is minimized. That is, sales are decreasing at the fastest rate at \(t\approx 1.16\). On the interval of \((1.16,2)\), \(S\) is decreasing but concave up, so the decline in sales is "leveling off."

**Figure \(\PageIndex{10}\):** A graph of \(S(t)\) in Example \(\PageIndex{3}\) along with \(S'(t)\).

Not every critical point corresponds to a relative extrema; \(f(x)=x^3\) has a critical point at \((0,0)\) but no relative maximum or minimum. Likewise, just because \(f''(x)=0\) we cannot conclude concavity changes at that point. We were careful before to use terminology "*possible* point of inflection'' since we needed to check to see if the concavity changed. The canonical example of \(f''(x)=0\) *without* concavity changing is \(f(x)=x^4\). At \(x=0\), \(f''(x)=0\) but \(f\) is always concave up, as shown in Figure \(\PageIndex{11}\).

**Figure \(\PageIndex{11}\):** A graph of \(f(x) = x^4\). Clearly \(f\) is always concave up, despite the fact that \(f''(x) = 0\) when \(x=0\). It this example, the possible point of inflection \((0,0)\) is not a point of inflection.

Note: A note about concavity:

In general, concavity can change only where either the second derivative is 0, where there is a vertical asymptote, or (rare in practice) where the second derivative is undefined. But concavity doesn't \emph{have} to change at these places. For instance, if \(f(x)=x^4\), then \(f''(0)=0\), but there is no change of concavity at 0 and also no inflection point there. Moreover, if \(f(x)=1/x^2\), then \(f\) has a vertical asymptote at 0, but there is no change in concavity at 0.

## The Second Derivative Test

The first derivative of a function gave us a test to find if a critical value corresponded to a relative maximum, minimum, or neither. The second derivative gives us another way to test if a critical point is a local maximum or minimum. The following theorem officially states something that is intuitive: if a critical value occurs in a region where a function \(f\) is concave up, then that critical value must correspond to a relative minimum of \(f\), etc. See Figure \(\PageIndex{12}\) for a visualization of this.

**Figure \(\PageIndex{12}\):** Demonstrating the fact that relative maxima occur when the graph is concave down and relatve minima occur when the graph is concave up.

THeorem \(\PageIndex{3}\): The Second Derivative Test

Let \(c\) be a critical value of \(f\) where \(f''(c)\) is defined.

- If \(f''(c)>0\), then \(f\) has a local minimum at \((c,f(c))\).
- If \(f''(c)<0\), then \(f\) has a local maximum at \((c,f(c))\).

The Second Derivative Test relates to the First Derivative Test in the following way. If \(f''(c)>0\), then the graph is concave up at a critical point \(c\) and \(f'\) itself is growing. Since \(f'(c)=0\) and \(f'\) is growing at \(c\), then it must go from negative to positive at \(c\). This means the function goes from decreasing to increasing, indicating a local minimum at \(c\).

Example \(\PageIndex{4}\): Using the Second Derivative Test

Let \(f(x)=100/x + x\). Find the critical points of \(f\) and use the Second Derivative Test to label them as relative maxima or minima.

**Solution**

We find \(f'(x)=-100/x^2+1\) and \(f''(x) = 200/x^3.\) We set \(f'(x)=0\) and solve for \(x\) to find the critical values (note that f'\ is not defined at \(x=0\), but neither is \(f\) so this is not a critical value.) We find the critical values are \(x=\pm 10\). Evaluating \(f''\) at \(x=10\) gives \(0.1>0\), so there is a local minimum at \(x=10\). Evaluating \(f''(-10)=-0.1<0\), determining a relative maximum at \(x=-10\). These results are confirmed in Figure \(\PageIndex{13}\).

**Figure \(\PageIndex{13}\):** A graph of \(f(x)\) in Example \(\PageIndex{4}\). The second derivative is evaluated at each critical point. When the graph is concave up, the critical point represents a local minimum; when the graph is concave down, the critical point represents a local maximum.

We have been learning how the first and second derivatives of a function relate information about the graph of that function. We have found intervals of increasing and decreasing, intervals where the graph is concave up and down, along with the locations of relative extrema and inflection points. In Chapter 1 we saw how limits explained asymptotic behavior. In the next section we combine all of this information to produce accurate sketches of functions.

## Contributors and Attributions

Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/

Integrated by Justin Marshall.