forked from APEXCalculus/APEXCalculus_Source
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path03_Concavity.tex
323 lines (260 loc) · 23.7 KB
/
03_Concavity.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
\section{Concavity and the Second Derivative}\label{sec:concavity}
Our study of ``nice'' functions continues. The previous section showed how the first derivative of a function, \fp, can relay important information about $f$. We now apply the same technique to \fp\ itself, and learn what this tells us about $f$.
The key to studying $\fp$ is to consider its derivative, namely $\fp'$, which is the second derivative of $f$. When $\fp'>0$, $\fp$ is increasing. When $\fp'<0$, \fp\ is decreasing. As with $f$, $\fp$ has relative maxima and minima where $\fp'=0$ or is undefined.
This section explores how knowing information about \fpp\ gives information about $f$.
%reaches its maximum rate of increase or decrease, in other words, when the function is changing at its most rapid rate, we usually have $\fpp=0$.
\subsection{Concavity}
We begin with a definition, then explore its meaning.
\mnote{\textbf{Note:} We often state that ``$f$ is concave up'' instead of ``the graph of $f$ is concave up'' for simplicity.}
\begin{definition}[Concave Up and Concave Down]\label{def:concavity}
Let $f$ be differentiable on an interval $I$.
The graph of $f$ is \textbf{concave up} on $I$ if $\fp$ is increasing. The graph of $f$ is \textbf{concave down} on $I$ if $\fp$ is decreasing. If $\fp$ is constant then the graph of $f$ is said to have \textbf{no concavity}.\index{concavity}\index{concave up}\index{concave down}
\end{definition}
\mtable[-0in]{A function $f$ with a graph that is (a) concave up and (b) concave down. Notice how the slopes of the tangent lines, when looking from left to right, are (a) increasing and (b) decreasing.}{fig:concavity1}{%
\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,ymin=-1,ymax=35,xmin=-3.5,xmax=3.5]
\addplot [thick, draw={\colorone},smooth,domain=-3:3] {3*x^2+5};
\addplot [thick,draw={\colortwo}, domain =-3:-1] {-12*(x+2)+17};
\addplot [thick,draw={\colortwo}, domain =1:3] {12*(x-2)+17} ;
\addplot [thick,draw={\colortwo}, domain =-2.5:.5] {-6*(x+1)+8};
\addplot [thick,draw={\colortwo}, domain =-.5:2.5] {6*(x-1)+8} ;
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}
\\ (a) \\
\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,ymin=-1,ymax=35,xmin=-3.5,xmax=3.5]
\addplot [thick, draw={\colorone},smooth,domain=-3:3] {-3*x^2+31};
\addplot [thick,draw={\colortwo}, domain =-3:-1] {12*(x+2)+19};
\addplot [thick,draw={\colortwo}, domain =1:3] {-12*(x-2)+19} ;
\addplot [thick,draw={\colortwo}, domain =-2.5:-.2] {6*(x+1)+28};
\addplot [thick,draw={\colortwo}, domain =.2:2.5] {-6*(x-1)+28} ;
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}
\\ (b)}
Geometrically, a function is concave up if its graph lies above its tangent lines, so that it curves upward. A function is concave down if its graph lies below its tangent lines, so that it curves downward.
The graph of a function $f$ is concave up when \fp\ 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 \autoref{fig:concavity1}(a), 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 \fp. On the right, the tangent line is steep, upward, corresponding to a large value of \fp.
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 \emph{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 \fp\ 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 \autoref{fig:concavity1}(b), 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 \fp. On the right, the tangent line is steep, downward, corresponding to a small value of \fp.
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 \emph{rate} of decrease is decreasing. The function is decreasing at a faster and faster rate.
\mnote{\textbf{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.%
%
%A mnemonic for remembering how to pronounce ``mnemonic'' is to recall it begins with the same sound as ``mnemotechnic.''
}
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 $\fp$ is increasing when $\fpp>0$, etc.
\begin{theorem}[Test for Concavity]\label{thm:concavity}
Let $f$ be twice differentiable on an interval $I$. The graph of $f$ is concave up if $\fpp>0$ on $I$, and is concave down if $\fpp<0$ on $I$. \index{concavity!test for}\index{concavity!inflection point}
\end{theorem}
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.
\begin{definition}[Point of Inflection]\label{def:infl}
A \textbf{point of inflection} is a point on the graph of $f$ at which the concavity of $f$ changes.\index{point of inflection}\index{inflection point}
\end{definition}
\autoref{fig:concavity4} shows a graph of a function with inflection points labeled.
\mtable{A graph of a function with its inflection points marked. The intervals where concave up/down are also indicated.}{fig:concavity4}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,xtick={1,2,3,4},
ymin=-1,ymax=16,xmin=-.5,xmax=4.5]
%
\addplot [thick, draw={\colorone},smooth,domain=.5:4.5] {2*(x-1)*(x-2)*(x-3)*(x-4)+5};
\filldraw (axis cs:1.85,4.39) circle (1pt);
\filldraw (axis cs:3.15,4.39) circle (1pt);
\draw (axis cs:1.5,8) node {\tiny \parbox{30pt}{\centering$\fpp>0$\\[2pt]c. up}};
\draw (axis cs:3.5,8) node {\tiny \parbox{30pt}{\centering$\fpp>0$\\[2pt]c. up}};
\draw (axis cs:2.5,4) node {\tiny \parbox{30pt}{\centering$\fpp<0$\\[2pt]c. down}};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
If the concavity of $f$ changes at a point $(c,f(c))$, then \fp\ is changing from increasing to decreasing (or, decreasing to increasing) at $x=c$. That means that the sign of \fpp\ is changing from positive to negative (or, negative to positive) at $x=c$. This leads to the following theorem.
\begin{theorem}[Points of Inflection]\label{thm:inflection}
If $(c,f(c))$ is a point of inflection on the graph of $f$, then either $\fpp=0$ or $\fpp$ is not defined at $c$.
\end{theorem}
%The interesting parts of a graph are when \fp\ or \fpp\ change sign. At that point, we have the following:
%
%\begin{center}
%\begin{tikzpicture}%[scale=2]
%%\draw (-4,-3) grid (4,2);
%%\fill (0,0) circle (.1);
%%
%\draw [thick,->] (-4,0) arc (180:90:2);
%\draw (-2.5,1) node [] {\parbox{50pt}{\small$\fp>0$\\$\fpp<0$}};
%
%\draw [thick,<-] (-2,-3) arc (0:90:2);
%\draw (-2.5,-2) node [] {\parbox{50pt}{\small$\fp<0$\\$\fpp<0$}};
%
%\draw [thick,<-] (2,2) arc (0:-90:2);
%\draw (1.5,1.25) node [] {\parbox{50pt}{\small$\fp>0$\\$\fpp>0$}};
%
%\draw [thick,->] (0,-1) arc (180:270:2);
%\draw (2,-2.25) node [] {\parbox{50pt}{\small$\fp<0$\\$\fpp>0$}};
%
%\draw [thick,->] (-3,0) -- (-3,-1);
%\draw (-2.5,-.5) node [] {\small max};
%
%\draw [thick,->] (1,-1) -- (1,0);
%\draw (1.5,-.5) node [] {\small min};
%
%\draw [thick,<->] (-1.5,-2) -- (-.5,-2);
%\draw (-1,-1.5) node [] {\small i.p.};
%
%\draw [thick,<->] (-1.5,1) -- (-.5,1);
%\draw (-1,1.3) node [] {\small i.p.};
%\end{tikzpicture}
%\end{center}
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.
\youtubeVideo{QtXCIxB6kW8}{Finding Local Maximums/Minimums --- Second Derivative Test}
\begin{example}[Finding intervals of concave up/down, inflection points]\label{ex_conc1}
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 $\fp(x)=3x^2-3$ and $\fpp(x)=6x$. To find the inflection points, we use \autoref{thm:inflection} and find where $\fpp(x)=0$ or where \fpp\ is undefined. We find \fpp\ is always defined, and is 0 only when $x=0$. So the point $(0,1)$ is the only possible point of inflection.
\mtable{A number line determining the concavity of $f$ and a graph of $f$ used in \autoref{ex_conc1}.}{fig:concline1}{\includecodegraphics{figures/matrices/concline1}
\\ (a) \\
\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,
ymin=-3.5,ymax=3.5,xmin=-2.2,xmax=2.2]
\addplot [thick, draw={\colorone},smooth,samples=50] {x^3-x*3+1};
\addplot [draw={\colortwo},thick,smooth] {6*x};
\draw (axis cs: -.8,2) node {\scriptsize $f(x)$};
\draw (axis cs: .8,2) node {\scriptsize $\fp'(x)$};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}
\\ (b)}
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$; $\fpp(c)<0$ so $f$ is concave down on $(-\infty,0)$. Pick any $c>0$; $\fpp(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.
The number line in \autoref{fig:concline1}(a) illustrates the process of determining concavity (to save space, we will abbreviate ``concave down'', ``concave up'', and ``inflection point'' to ``CD'', ``CU'', and ``IP'', respectively). \autoref{fig:concline1}(b) shows a graph of $f$ and \fpp, confirming our results. Notice how $f$ is concave down precisely when $\fpp(x)<0$ and concave up when $\fpp(x)>0$.
\end{example}
\begin{example}[Finding intervals of concave up/down, inflection points]\label{ex_conc2}
Let $f(x)=x/(x^2-1)$. Find the inflection points of $f$ and the intervals on which it is concave up/down.
\solution
The first thing we see is 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 cannot say that $f$ has points 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.
We need to find \fp\ and \fpp. Using the Quotient Rule and simplifying, we find
\[
\fp(x)=\frac{-(1+x^2)}{(x^2-1)^2}
\quad \text{and}\quad
\fpp(x) = \frac{2x(x^2+3)}{(x^2-1)^3}.
\]
To find the possible points of inflection, we seek to find where $\fpp(x)=0$ and where $\fpp$ is not defined. Solving $\fpp(x)=0$ reduces to solving $2x(x^2+3)=0$; we find $x=0$. We find that \fpp\ is not defined when $x=\pm 1$, for then the denominator of \fpp\ is 0 (of course, $f$ is not defined at these points either).
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 our sign chart below. We determine the concavity on each. Keep in mind that all we are concerned with is the \emph{sign} of \fpp\ on the interval.\bigskip
\begin{description}[leftmargin=0pt]
\item[Interval 1,] $(-\infty,-1)$: Select a number $c$ in this interval with a large magnitude (for instance, $c=-100$). The denominator of $\fp'(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 $\fpp(c)$ is negative. We conclude $f$ is concave down on $(-\infty,-1)$.
\item[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 $\fpp(c)>0$ and $f$ is concave up on this interval.
\item[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 $\fpp(c)<0$ and $f$ is concave down on this interval.
\item[Interval 4,] $(1,\infty)$: Choose a large value for $c$. It is evident that $\fpp(c)>0$, so we conclude that $f$ is concave up on $(1,\infty)$.
\end{description}
\mtable{A graph of $f(x)$ and $\fpp(x)$ in \autoref{ex_conc2}.}{fig:conc2}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,
ymin=-11,ymax=11,xmin=-3.2,xmax=3.2]
\addplot [thick,draw={\colorone},smooth,samples=25,domain=-3.2:-1.047] {x/(x^2-1)};
\addplot [thick,draw={\colorone},smooth,samples=25,domain=-.955:.955] {x/(x^2-1)};
\addplot [thick,draw={\colorone},smooth,samples=25,domain=1.047:3.2] {x/(x^2-1)}
node[pos=.5,left,color=black] {\scriptsize $f(x)$};
\addplot [draw={\colortwo},thick,smooth,samples=25,domain=-3.2:-1.45]
{(2*x*(x^2+3))/((x^2-1)^3)};
\addplot [draw={\colortwo},thick,smooth,samples=25,domain=-.553:.553]
{(2*x*(x^2+3))/((x^2-1)^3)};
\addplot [draw={\colortwo},smooth,thick,samples=25,domain=1.45:3.2]
{(2*x*(x^2+3))/((x^2-1)^3)} node[pos=.5,right,color=black] {\scriptsize $\fpp(x)$};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
\begin{center}
\includecodegraphics{figures/matrices/concline2}
\end{center}
We conclude that $f$ is concave up on $(-1,0)$ and $(1,\infty)$ and concave down on $(-\infty,-1)$ and $(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 \autoref{fig:conc2}. Notice how $f$ is concave up whenever \fpp\ is positive, and concave down when \fpp\ is negative.
\end{example}
Recall that relative maxima and minima of $f$ are found at critical points of $f$; that is, they are found when $\fp(x)=0$ or when $\fp$ is undefined. Likewise, the relative maxima and minima of \fp\ are found when $\fpp(x)=0$ or when \fpp\ is undefined; note that these are the inflection points of $f$.
What does a ``relative maximum of \fp\ '' \emph{mean}? The derivative measures the rate of change of $f$; maximizing \fp\ means finding where $f$ is increasing the most --- where $f$ has the steepest tangent line. A similar statement can be made for minimizing \fp; it corresponds to where $f$ has the steepest negatively-sloped tangent line.
We utilize this concept in the next example.
\mtable{A graph of $S(t)$ in \autoref{ex_conc3}, modeling the sale of a product over time.}{fig:conc3}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,ymin=-1,ymax=21,xmin=-.2,xmax=3.2]
\addplot [thick, draw={\colorone},smooth,domain=0:3] {x^4-8*x^2+20};
\draw (axis cs:1,16) node {\scriptsize $S(t)$};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $t$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
\begin{example}[Understanding inflection points]\label{ex_conc3}
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 \autoref{fig:conc3}. Over the first two years, sales are decreasing. Find the point at which sales are decreasing at their greatest rate.
\solution
We want to maximize the rate of decrease, which is to say, we want to find where $S\primeskip'$ has a minimum. To do this, we find where $S\primeskip''$ is 0. We find $S\primeskip'(t)=4t^3-16t$ and $S\primeskip''(t)=12t^2-16$. Setting $S\primeskip''(t)=0$ and solving, we get $t=2/\sqrt3\approx 1.16$ (we ignore the negative value of $t$ since it does not lie in the domain of our function $S$).
\mtable[.5in]{A graph of $S(t)$ in \autoref{ex_conc3} along with $S\primeskip'(t)$.}{fig:conc3b}{\begin{tikzpicture}
\begin{axis}[width=\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,ymin=-16,ymax=22,xmin=-.2,xmax=3.2]
\addplot [thick, draw={\colortwo},smooth,domain=0:3] {4*x^3-16*x};
\addplot [thick, draw={\colorone},smooth,domain=0:3] {x^4-8*x^2+20};
\filldraw (axis cs:1.16,11.04) circle (1pt);
\draw (axis cs:1.9,-10) node {\scriptsize $S\hskip.75pt'(t)$};
\draw (axis cs:1,16) node {\scriptsize $S(t)$};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $t$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
\begin{center}
\includecodegraphics{figures/matrices/concline3}
\end{center}
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\primeskip'(t)$ is given in \autoref{fig:conc3b}. When $S\primeskip'(t)<0$, sales are decreasing; note how at $t\approx 1.16$, $S\primeskip'(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.''
\end{example}
Not every critical point corresponds to a relative extrema; $f(x)=x^3$ has a critical point at $x=0$ but no relative maximum or minimum. Likewise, just because $\fpp(x)=0$ we cannot conclude concavity changes at that point. We were careful before to use terminology ``\emph{possible} point of inflection'' since we needed to check to see if the concavity changed. The canonical example of $\fpp(x)=0$ \emph{without} concavity changing is $f(x)=x^4$. At $x=0$, $\fpp(x)=0$ but $f$ is always concave up, as shown in \autoref{fig:concavity5}.
\mtable[-2\baselineskip]{A graph of $f(x) = x^4$. Clearly $f$ is always concave up, despite the fact that $\fpp(x) = 0$ when $x=0$. It this example, the \emph{possible} point of inflection $(0,0)$ is not a point of inflection.}{fig:concavity5}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,
ymin=-.1,ymax=1.1,xmin=-1.1,xmax=1.1]
\addplot [thick, draw={\colorone},smooth,domain=-1:1] {x^4};
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
\subsection{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 \autoref{fig:concavity6} for a visualization of this.
\mtable[.5in]{Demonstrating the fact that relative maxima occur when the graph is concave down and relative minima occur when the graph is concave up.}{fig:concavity6}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,
ymin=-11,ymax=11,xmin=-2.1,xmax=2.1]
\addplot [thick,draw={\colorone},smooth,domain=-2.021:2.021] {5*x^3-15*x};
\filldraw (axis cs:-1,10) node [shift={(0pt,-20pt)}] {\tiny \parbox{50pt}{\centering CD $\Rightarrow$ \\ rel.\ max}} circle (1pt);
\filldraw (axis cs:1,-10) node [shift={(0pt,20pt)}] {\tiny \parbox{50pt}{\centering CU $\Rightarrow$ \\ rel min}} circle (1pt);
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
\begin{theorem}[The Second Derivative Test]\label{thm:second_der}
Let $c$ be a critical point of $f$ where $\fpp(c)$ is defined. \index{derivative!Second Deriv.\ Test}\index{Second Derivative Test}\index{extrema!and Second Deriv.\ Test}\index{maximum!and Second Deriv.\ Test}\index{minimum!and First Deriv.\ Test}
\begin{enumerate}
\item If $\fpp(c)>0$, then $f$ has a local minimum at $(c,f(c))$.
\item If $\fpp(c)<0$, then $f$ has a local maximum at $(c,f(c))$.
\end{enumerate}
\end{theorem}
Note that if $\fpp(c)=0$, then the Second Derivative Test is inconclusive. The Second Derivative Test relates to the First Derivative Test in the following way. If $\fpp(c)>0$, then the graph is concave up at a critical point $c$ and $\fp$ itself is growing. Since $\fp(c)=0$ and $\fp$ 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$.
\begin{example}[Using the Second Derivative Test]\label{ex_conc4}
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
%
\mtable{A graph of $f(x)$ in \autoref{ex_conc4}. 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.}{fig:conc4}{\begin{tikzpicture}
\begin{axis}[width=1.16\marginparwidth,tick label style={font=\scriptsize},
axis y line=middle,axis x line=middle,name=myplot,ymin=-51,ymax=51,xmin=-21,xmax=21]
\addplot [thick, draw={\colorone},smooth,domain=-20:-.5] {100/x+x};
\addplot [thick, draw={\colorone},smooth,domain=.5:20] {100/x+x};
\filldraw (axis cs:10,20) node [shift={(2pt,10pt)}] {\tiny $\fpp(10)>0$} circle (1pt);
\filldraw (axis cs:-10,-20) node [shift={(-2pt,-10pt)}] {\tiny $\fpp(-10)<0$} circle (1pt);
\end{axis}
\node [right] at (myplot.right of origin) {\scriptsize $x$};
\node [above] at (myplot.above origin) {\scriptsize $y$};
\end{tikzpicture}}
%
We find $\fp(x)=-100/x^2+1$ and $\fpp(x) = 200/x^3.$ We set $\fp(x)=0$ and solve for $x$ to find the critical points (note that \fp\ is not defined at $x=0$, but neither is $f$ so this is not a critical point.) We find the critical points are $x=\pm 10$. Evaluating \fpp\ at $x=10$ gives $0.1>0$, so there is a local minimum at $x=10$. Evaluating $\fpp(-10)=-0.1<0$, determining a relative maximum at $x=-10$. These results are confirmed in \autoref{fig:conc4}.
\end{example}
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 \autoref{chapter:limits} we saw how limits explained asymptotic behavior. In the next section we combine all of this information to produce accurate sketches of functions.
\printexercises{exercises/03-04-exercises}
% todo write more problems