# Procedure for finding local and endpoint extrema using the first derivative test

This article describes the procedure for finding local and endpoint extreme values for a function using the first derivative test. We make the following assumptions:

- The domain of the function is a union of finitely many intervals each of which may be open, closed, or half-open half-closed.
- The set of critical points for the function is discrete, i.e., every critical point is an isolated critical point. In other words, given any critical point, there is an open interval containing it that has no other critical point. In particular, this also tells us that the function is differentiable everywhere except at isolated points. Note that it will also follow from this that one-sided limits at all points are either finite or infinite, and it's not possible to have oscillatory one-sided limits for the function.

The first part discusses in detail the case of a continuous function on a single interval. The second part discusses how the idea can be generalized to functions that are discontinuous at isolated points, or whose domain of definition involves multiple endpoints.

## Contents

## Background information

- Point of local extremum implies critical point
- First derivative test
- Variation of first derivative test for discontinuous function with one-sided limits
- Derivative of differentiable function satisfies intermediate value property
- First derivative test is conclusive for differentiable function at isolated critical point

## Procedure for continuous function on an interval

Suppose is a continuous function on an interval (may be open, closed, half-closed, or infinite in one or both directions). Then the procedure is as follows:

- Compute the formal expression for the derivative using the rules for differentiation. In case of piecewise definition by interval, use the differentiation rule for piecewise definition by interval.
- Based on the above, determine the points where is not defined. For piecewise definitions, this may include transition points between pieces. Also, it may include points where the denominator of becomes zero. Note that we are specifically concerned about points where is not defined but is.
- Also, compute the points where takes the value zero.
- Combining (2) and (3) gives all the critical points for .
- The critical points subdivide the original interval of definition of into sub-intervals. On each sub-interval, must be either positive throughout or negative throughout. Determine the sign of on each interval.
- Now, at each critical point, use the first derivative test to determine whether we have a point of local maximum, point of local minimum, or neither.
- If the domain of has a finite left endpoint, right endpoint, or both, use the one-sided version of the first derivative test to determine, for each endpoint, whether it is a one-sided local maximum, one-sided local minimum, or neither.

The last two steps give a list of points of local maximum, points of local minimum, points of endpoint maximum, and points of endpoint minimum. To determine the values, simply evaluate the original function at each point.

### Determination of sign of derivative on intervals between critical points

The hardest step is usually the determination of the sign of the derivative. Here are some ways:

- If the derivative can be evaluated easily at any point, we can just
*pick a point*in the interval and evaluate the sign of the derivative there. - If the derivative can be factored with the zeros of the factors corresponding to the critical points, we can perform sign analysis on each of the factors and combine. This is most useful for algebraic functions, particularly polynomials and rational functions.

### Case of functions with periodic derivative and infinitely many critical points

If is a periodic function, say with period , then its set of critical points is invariant under translation by . This means that if is a critical point, so is for any .

In this case, it is obviously not feasible to do a sign analysis of separately for any pair of adjacent critical points. However, the good news is that we do not need to. It suffices to do the sign analysis of over a *single* period and then extrapolate to the entire domain. This is because the sign of is the same as the sign of for any .

Note that this remark applies even if *itself* is not a periodic function. For instance, it applies to the study of functions of the form (linear) + (trigonometric), such as .

### Example of a polynomial function

Consider the function:

We follow the procedure:

- Formal computation of derivative: The derivative function is .
- Points where is not defined: There are no such points, because is a polynomial function and is defined everywhere.
- Points where takes the value zero: Factoring, we get , so its roots are 0,1,-1. All of these are in the interval .
- All the critical points for : Combining the previous two steps, we get that the critical points for are -1,0,1.
- We are interested in the sign of on the intervals . To determine these signs, we examine the expression .
- For , all the factors are negative, so the product is positive ( being multiplied twice). Thus, for all in this interval.
- For , the factors are negative but the factor is positive. So, the product is negative. Thus, for all in this interval. Note that there is a sign change here compared to the preceding interval because the sign of got switched but none of the other signs got switched.
- For , the factors are positive whereas the factor is negative. So, the product is negative. Thus, for all in this interval. Note that there is no sign change here compared to the preceding interval -- although the sign of does change, it is squared, hence the change does not affect the sign of the overall derivative.
- For , all the factors are positive. So, the product is positive. Thus, for all in this interval. Note that there is a sign change here compared to the preceding interval because of a change in the sign of .

- Finally, we can determine the nature of local extreme values:
- The point is a point of local maximum because on its immediate left and on its immediate right.
- The point is neither a point of local minimum nor a point of local maximum. This is because both on its immediate left and on its immediate right.
- The point is a point of local minimum because on its immediate left and on its immediate right.

- We can also compute the nature of endpoint extreme values:
- The left endpoint is a point of endpoint minimum because on its immediate right.
- The point is a point of endpoint maximum because on its immediate left.

If we wish, we can also compute the actual *function values* at the local and endpoint extrema:

- The value at (endpoint minimum) is .
- The value at (local maximum) is .
- The value at (local minimum) is .
- The value at (endpoint maximum) is .

### Example of a function with periodic derivative

Consider the function:

We follow the procedure:

- Computation of derivative: We have . This is periodic with period . Thus, the pattern of points of local extrema and intervals of increase/decrease repeats after every interval of length .
- Points where is not defined: This problem doesn't arise because is defined everywhere in the interior of the domain.
- Points where takes the value zero: We need to solve . The only solution in is , hence the only solutions in are and . Translating these by , we see that there are six points in the interval where is zero: .
- Critical points for : Combining (2) and (3), the list is .
- We are interested in the sign of on two types of intervals: intervals that are -translates of and intervals that are -translates of (Note that although is not in the domain of the original function, we can extend the function to it using the same definition to make our sign analysis smoother).
- On intervals that are -translates of , we have , so .
- On intervals that are -translates of , we have , so .

- Nature of local extreme values:
- The points all have on the immediate left and on the immediate right, so each of these is a point of local minimum for the function .
- The points all have on the immediate left and on the immediate right, so each of these is a point of local maximum for the function .

- Nature of endpoint extreme values:
- The endpoint 0 is a point of endpoint maximum because on its immediate right. This is because 0 is in the interval , which, as noted above, is an interval where the derivative expression is negative.
- The endpoint is a point of endpoint minimum because on its immediate left. This is because is in the interval , which, as noted above, is an interval where the derivative expression is negative.

Here are the local and endpoint extreme *values*:

- Endpoint (endpoint maximum):
- Point (local minimum):
- Point (local maximum):
- Point (local minimum):
- Point (local maximum):
- Point (local minimum):
- Point (local maximum):
- Endpoint (endpoint minimum):

## Procedure for piecewise continuous function with finite one-sided limits or whose domain of definition is not a single interval

We need to use the variation of first derivative test for discontinuous function with one-sided limits.