$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\kernel}{\mathrm{null}\,}$$ $$\newcommand{\range}{\mathrm{range}\,}$$ $$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$ $$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}{\| #1 \|}$$ $$\newcommand{\inner}{\langle #1, #2 \rangle}$$ $$\newcommand{\Span}{\mathrm{span}}$$

# 3.1: Extreme Values

$$\newcommand{\vecs}{\overset { \rightharpoonup} {\mathbf{#1}} }$$ $$\newcommand{\vecd}{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\kernel}{\mathrm{null}\,}$$ $$\newcommand{\range}{\mathrm{range}\,}$$ $$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$ $$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}{\| #1 \|}$$ $$\newcommand{\inner}{\langle #1, #2 \rangle}$$ $$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\kernel}{\mathrm{null}\,}$$ $$\newcommand{\range}{\mathrm{range}\,}$$ $$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$ $$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}{\| #1 \|}$$ $$\newcommand{\inner}{\langle #1, #2 \rangle}$$ $$\newcommand{\Span}{\mathrm{span}}$$

Our study of limits led to continuous functions, which is a certain class of functions that behave in a particularly nice way. Limits then gave us an even nicer class of functions, functions that are differentiable.

This chapter explores many of the ways we can take advantage of the information that continuous and differentiable functions provide.

Given any quantity described by a function, we are often interested in the largest and/or smallest values that quantity attains. For instance, if a function describes the speed of an object, it seems reasonable to want to know the fastest/slowest the object traveled. If a function describes the value of a stock, we might want to know how the highest/lowest values the stock attained over the past year. We call such values extreme values.

Definition $$\PageIndex{1}$$: Minima and Maxima

Let $$f$$ be defined on an interval $$I$$ containing $$c$$.

• $$f(c)$$ is the minimum (also, absolute minimum) of $$f$$ on $$I$$ if $$f(c) \leq f(x)$$ for all $$x$$ in $$I$$.
• $$f(c)$$ is the maximum} (also, absolute maximum) of $$f$$ on $$I$$ if $$f(c) \geq f(x)$$ for all $$x$$ in $$I$$.

The maximum and minimum values are the extreme values, or extrema, of $$f$$ on $$I$$.

The extreme values of a function are "$$y$$'' values, values the function attains, not the input values.

Consider Figure $$\PageIndex{1}$$. The function displayed in (a) has a maximum, but no minimum, as the interval over which the function is defined is open. In (b), the function has a minimum, but no maximum; there is a discontinuity in the "natural'' place for the maximum to occur. Finally, the function shown in (c) has both a maximum and a minimum; note that the function is continuous and the interval on which it is defined is closed.   Figure $$\PageIndex{1}$$: Graphs of functions with and without extreme values

It is possible for discontinuous functions defined on an open interval to have both a maximum and minimum value, but we have just seen examples where they did not. On the other hand, continuous functions on a closed interval \textit{always} have a maximum and minimum value.

Theorem $$\PageIndex{1}$$: The Extreme Value Theorem

Let $$f$$ be a continuous function defined on a closed interval $$I$$. Then $$f$$ has both a maximum and minimum value on $$I$$.

This theorem states that $$f$$ has extreme values, but it does not offer any advice about how/where to find these values. The process can seem to be fairly easy, as the next example illustrates. After the example, we will draw on lessons learned to form a more general and powerful method for finding extreme values.

Example $$\PageIndex{1}$$: Approximating extreme values

Consider $$f(x) = 2x^3-9x^2$$ on $$I=[-1,5]$$, as graphed in Figure $$\PageIndex{2}$$. Approximate the extreme values of $$f$$. Figure $$\PageIndex{2}$$: A graph of $$f(x) = 2x^3-9x^2$$ as in Example $$\PageIndex{1}$$

Solution

The graph is drawn in such a way to draw attention to certain points. It certainly seems that the smallest $$y$$ value is $$-27$$, found when $$x=3$$. It also seems that the largest $$y$$ value is 25, found at the endpoint of $$I$$, $$x=5$$. We use the word \textit{seems}, for by the graph alone we cannot be sure the smallest value is not less than $$-27$$. Since the problem asks for an approximation, we approximate the extreme values to be $$25$$ and $$-27$$.

Notice how the minimum value came at "the bottom of a hill," and the maximum value came at an endpoint. Also note that while $$0$$ is not an extreme value, it would be if we narrowed our interval to $$[-1,4]$$. The idea that the point $$(0,0)$$ is the location of an extreme value for some interval is important, leading us to a definition.

Local and Relative extrema

The terms local minimum and local maximum are often used as synonyms for relative minimum and relative maximum.We briefly practice using these definitions.

Definition $$\PageIndex{2}$$: Relative Minimum and Relative Maximum

Let $$f$$ be defined on an interval $$I$$ containing $$c$$.

1. If there is an open interval containing $$c$$ such that $$f(c)$$ is the minimum value, then $$f(c)$$ is a relative minimum of $$f$$. We also say that $$f$$ has a relative minimum at $$(c,f(c))$$. \index{minimum!relative/local}
2. If there is an open interval containing $$c$$ such that $$f(c)$$ is the maximum value, then $$f(c)$$ is a relative maximum of $$f$$. We also say that $$f$$ has a relative maximum at $$(c,f(c))$$. \index{maximum!relative/local}\index{extrema!relative}

The relative maximum and minimum values comprise the relative extrema of $$f$$.

Example $$\PageIndex{2}$$: Approximating relative extrema

Consider $$f(x) = (3x^4-4x^3-12x^2+5)/5$$, as shown in Figure $$\PageIndex{3}$$. Approximate the relative extrema of $$f$$. At each of these points, evaluate $$f'$$. Figure $$\PageIndex{3}$$: A graph of $$f(x) = (3x^4-4x^3-12x^2+5)/5$$ as in Example $$\PageIndex{2}$$.

Solution

We still do not have the tools to exactly find the relative extrema, but the graph does allow us to make reasonable approximations. It seems $$f$$ has relative minima at $$x=-1$$ and $$x=2$$, with values of $$f(-1)=0$$ and $$f(2) = -5.4$$. It also seems that $$f$$ has a relative maximum at the point $$(0,1)$$.

We approximate the relative minima to be $$0$$ and $$-5.4$$; we approximate the relative maximum to be $$1$$.

It is straightforward to evaluate $$f'(x) =\frac15(12x^3-12x^2-24x)$$ at $$x=0, 1$$ and $$2$$. In each case, $$f'(x) = 0$$.

Example $$\PageIndex{3}$$: Approximating relative extrema

Approximate the relative extrema of $$f(x) = (x-1)^{2/3}+2$$, shown in Figure $$\PageIndex{4}$$. At each of these points, evaluate $$f'$$. Figure $$\PageIndex{4}$$: A graph of $$f(x) = (x-1)^{2/3}+2$$ as in Example $$\PageIndex{3}$$.

Solution

The figure implies that $$f$$ does not have any relative maxima, but has a relative minimum at $$(1,2)$$. In fact, the graph suggests that not only is this point a relative minimum, $$y=f(1)=2$$ the minimum value of the function.

We compute $$f'(x) = \frac{2}{3}(x-1)^{-1/3}$$. When $$x=1$$, $$f'$$ is undefined.

What can we learn from the previous two examples? We were able to visually approximate relative extrema, and at each such point, the derivative was either 0 or it was not defined. This observation holds for all functions, leading to a definition and a theorem.

Definition $$\PageIndex{3}$$: Critical Numbers and Critical Points

Let $$f$$ be defined at $$c$$. The value $$c$$ is a critical number (or critical value) of $$f$$ if $$f'(c)=0$$ or $$f'(c)$$ is not defined.

If $$c$$ is a critical number of $$f$$, then the point $$(c,f(c))$$ is a critical point of $$f$$.

Theorem $$\PageIndex{1}$$: Relative Extrema and Critical Points

Let a function $$f$$ have a relative extrema at the point $$(c,f(c))$$. Then $$c$$ is a critical number of $$f$$.

Be careful to understand that this theorem states "All relative extrema occur at critical points." It does not say "All critical numbers produce relative extrema." For instance, consider $$f(x) = x^3$$. Since $$f'(x) = 3x^2$$, it is straightforward to determine that $$x=0$$ is a critical number of $$f$$. However, $$f$$ has no relative extrema, as illustrated in Figure $$\PageIndex{5}$$. Figure $$\PageIndex{5}$$: A graph of $$f(x)=x^3$$ which has a critical value of $$x=0$$, but no relative extrema.

Theorem $$\PageIndex{1}$$ states that a continuous function on a closed interval will have absolute extrema, that is, both an absolute maximum and an absolute minimum. These extrema occur either at the endpoints or at critical values in the interval. We combine these concepts to offer a strategy for finding extrema.

Key IDea 2: Finding Extrema on a Closed Interval

Let $$f$$ be a continuous function defined on a closed interval $$[a,b]$$. To find the maximum and minimum values of $$f$$ on $$[a,b]$$

1. Evaluate $$f$$ at the endpoints $$a$$ and $$b$$ of the interval.
2. Find the critical numbers of $$f$$ in $$[a,b]$$.
3. Evaluate $$f$$ at each critical number.
4. The absolute maximum of $$f$$ is the largest of these values, and the absolute minimum of $$f$$ is the least of these values.

We practice these ideas in the next examples.

Example $$\PageIndex{4}$$: Finding extreme values

Find the extreme values of $$f(x) = 2x^3+3x^2-12x$$ on $$[0,3]$$, graphed in Figure $$\PageIndex{6}$$ .

We follow the steps outlined in the Key Idea 2. We first evaluate $$f$$ at the endpoints:

$$f(0) = 0 \quad \text{and}\quad f(3) =45.$$ Figure $$\PageIndex{6}$$: A graph of $$f(x) = 2x^3+3x^2-12x$$ on $$[0,3]$$ as in Example $$\PageIndex{4}$$.

Next, we find the critical values of $$f$$ on $$[0,3]$$. $$f'(x) = 6x^2+6x-12 = 6(x+2)(x-1)$$; therefore the critical values of $$f$$ are $$x=-2$$ and $$x=1$$. Since $$x=-2$$ does not lie in the interval $$[0,3]$$, we ignore it. Evaluating $$f$$ at the only critical number in our interval gives: $$f(1) = -7$$.

Table $$\PageIndex{1}$$ gives $$f$$ evaluated at the "important" $$x$$ values in $$[0,3]$$. We can easily see the maximum and minimum values of $$f$$: the maximum value is $$45$$ and the minimum value is $$-7$$.

Table $$\PageIndex{1}$$: Finding the extreme values of $$f$$ in Example $$\PageIndex{4}$$
$$x$$ $$f(x)$$
0 0
1 -7
3 45

Note that all this was done without the aid of a graph; this work followed an analytic algorithm and did not depend on any visualization. Figure $$\PageIndex{6}$$ shows $$f$$ and we can confirm our answer, but it is important to understand that these answers can be found without graphical assistance.

We practice again.

Example $$\PageIndex{5}$$: Finding extreme values

Find the maximum and minimum values of $$f$$ on $$[-4,2]$$, where

$$f(x) = \left\{\begin{array}{cc} (x-1)^2 & x\leq 0 \\ x+1 & x>0 \end{array}\right. .$$

Solution

Here $$f$$ is piecewise--defined, but we can still apply the Key Idea 2. Evaluating $$f$$ at the endpoints gives:

$$f(-4) = 25 \quad \text{and} \quad f(2) = 3.$$

We now find the critical numbers of $$f$$. We have to define $$f'$$ in a piecewise manner; it is

$$f'(x) =\left\{\begin{array}{cc} 2(x-1) & x < 0 \\ 1 & x>0 \end{array}\right. .$$

Note that while $$f$$ is defined for all of $$[-4,2]$$, $$f'$$ is not, as the derivative of $$f$$ does not exist when $$x=0$$. (From the left, the derivative approaches $$-2$$; from the right the derivative is 1.) Thus one critical number of $$f$$ is $$x=0$$.

We now set $$f'(x) = 0$$. When $$x >0$$, $$f'(x)$$ is never 0. When $$x<0$$, $$f'(x)$$ is also never 0. (We may be tempted to say that $$f'(x) = 0$$ when $$x=1$$. However, this is nonsensical, for we only consider $$f'(x) = 2(x-1)$$ when $$x<0$$, so we will ignore a solution that says $$x=1$$.)

So we have three important $$x$$ values to consider: $$x= -4, 2$$ and $$0$$. Evaluating $$f$$ at each gives, respectively, $$25$$, $$3$$ and $$1$$, shown in Table $$\PageIndex{2}$$. Thus the absolute minimum of $$f$$ is 1; the absolute maximum of $$f$$ is $$25$$. Our answer is confirmed by the graph of $$f$$ in Figure $$\PageIndex{7}$$.

 $$x$$ $$f(x)$$ -4 25 0 1 2 3

Table $$\PageIndex{2}): Finding the extreme values of \(f$$ in Example $$\PageIndex{5}$$ Figure (\PageIndex{7}): A graph of $$f(x)$$ on $$[-4,2]$$ as in Example $$\PageIndex{5}$$.

Example $$\PageIndex{6}$$: Finding extreme values

Find the extrema of $$f(x) = \cos (x^2)$$ on $$[-2,2]$$.

Solution

We again use Key Idea 3. Evaluating $$f$$ at the endpoints of the interval gives: $$f(-2) = f(2) = \cos (4) \approx -0.6536.$$ We now find the critical values of $$f$$.

Applying the Chain Rule, we find $$f'(x) = -2x\sin (x^2)$$. Set $$f'(x) = 0$$ and solve for $$x$$ to find the critical values of $$f$$.

We have $$f'(x) = 0$$ when $$x = 0$$ and when $$\sin (x^2) = 0$$. In general, $$\sin t = 0$$ when $$t = \ldots -2\pi, -\pi, 0, \pi, \ldots$$ Thus $$\sin (x^2) = 0$$ when $$x^2 = 0, \pi, 2\pi, \ldots$$ ($$x^2$$ is always positive so we ignore $$-\pi$$, etc.) So $$\sin (x^2)=0$$ when $$x= 0, \pm \sqrt{\pi}, \pm\sqrt{2\pi}, \ldots$$. The only values to fall in the given interval of $$[-2,2]$$ are $$-\sqrt{\pi}$$ and $$\sqrt{\pi}$$, approximately $$\pm 1.77$$.

We again construct a table of important values in Table $$\PageIndex{3}$$ . In this example we have 5 values to consider: $$x= 0, \pm 2, \pm\sqrt{\pi}$$.

Table $$\PageIndex{3}$$: Finding the extrema of $$f(x)= \cos (x^2)$$ in Example $$\PageIndex{5}$$
$$x$$ $$f(x)$$
-2 -0.65
$$-\sqrt{\pi}$$ -1
0 1
$$\sqrt{\pi}$$ -1
2 -0.65

From the table it is clear that the maximum value of $$f$$ on $$[-2,2]$$ is 1; the minimum value is $$-1$$. The graph in Figure $$\PageIndex{8}$$ confirms our results. Figure $$\PageIndex{8}$$: A graph of $$f(x)=\cos(x^2)$$ on $$[-2,2]$$ as in Example $$\PageIndex{5}$$.

We consider one more example.

Example $$\PageIndex{7}$$: Finding extreme values

Find the extreme values of $$f(x) = \sqrt{1-x^2}$$.}

Solution

A closed interval is not given, so we find the extreme values of $$f$$ on its domain. $$f$$ is defined whenever $$1-x^2\geq 0$$; thus the domain of $$f$$ is $$[-1,1]$$. Evaluating $$f$$ at either endpoint returns 0.

Table $$\PageIndex{4}$$: Finding the extrema of the half--circle in Example $$\PageIndex{7}$$
$$x$$ $$f(x)$$
-1 0
0 1
1 0

Using the Chain Rule, we find $$f'(x) = \frac{-x}{\sqrt{1-x^2}}$$. The critical points of $$f$$ are found when $$f'(x) = 0$$ or when $$f'$$ is undefined. It is straightforward to find that $$f'(x) = 0$$ when $$x=0$$, and $$f'$$ is undefined when $$x=\pm 1$$, the endpoints of the interval. The table of important values is given in Figure \ref{table:ext7}. The maximum value is 1, and the minimum value is 0. Figure $$\PageIndex{9}$$: A graph of $$f(x)=\sqrt{1-x^2}$$ on $$[-1,1]$$ as in Example $$\PageIndex{7}$$

Note: We implicitly found the derivative of $$x^2+y^2=1$$, the unit circle, in Example 71 as $$\frac{dy}{dx} = -x/y$$. In Example $$\PageIndex{7}$$, half of the unit circle is given as $$y=f(x) = \sqrt{1-x^2}$$. We found $$f'(x) = \frac{-x}{\sqrt{1-x^2}}$$. Recognize that the denominator of this fraction is $$y$$; that is, we again found $$f'(x) = \frac{dy}{dx} = -x/y.$$}

We have seen that continuous functions on closed intervals always have a maximum and minimum value, and we have also developed a technique to find these values. In the next section, we further our study of the information we can glean from "nice" functions with the Mean Value Theorem. On a closed interval, we can find the average rate of change of a function (as we did at the beginning of Chapter 2). We will see that differentiable functions always have a point at which their instantaneous rate of change is same as the average rate of change. This is surprisingly useful, as we'll see.

## Contributors

• 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.