Variation of first derivative test for discontinuous function with one-sided limits
From Calculus
This article describes a test that can be used to determine whether a point in the domain of a function gives a point of local, endpoint, or absolute (global) maximum or minimum of the function, and/or to narrow down the possibilities for points where such maxima or minima occur.
View a complete list of such tests
This article describes a variation of first derivative test that is intended to remedy a specific defect, namely first derivative test fails for function that is discontinuous at the critical point.
Statement
Suppose is a function and
is a point in the domain of
. This statement is a variation of the first derivative test that helps deal with situations where a function has one-sided limits but is not necessarily continuous at the critical point of interest. It can be viewed as a remedy for the fact that the first derivative test fails for function that is discontinuous at the critical point.
One-sided version
Limit existence assumption | Comparison of one-sided limit and value | Conclusion |
---|---|---|
Left hand limit of ![]() ![]() |
Left-hand limit is less than the value, i.e., ![]() |
![]() ![]() ![]() ![]() |
Left hand limit of ![]() ![]() |
Left-hand limit is greater than the value, i.e., ![]() |
![]() ![]() ![]() ![]() |
Left hand limit of ![]() ![]() |
Left-hand limit equals value, i.e., ![]() ![]() |
We can try to use the one-sided version of the first derivative test: If ![]() If ![]() |
Right hand limit of ![]() ![]() |
Right-hand limit is less than the value, i.e., ![]() |
![]() ![]() ![]() ![]() |
Right hand limit of ![]() ![]() |
Right-hand limit is greater than the value, i.e., ![]() |
![]() ![]() ![]() ![]() |
Right hand limit of ![]() ![]() |
Right-hand limit equals value, i.e., ![]() ![]() |
We can try to use the one-sided version of the first derivative test: If ![]() If ![]() |
Two-sided version
We list the strict cases:
Case for left side behavior | Case for right side behavior | Conclusion for behavior of ![]() ![]() |
---|---|---|
Either ![]() ![]() ![]() ![]() ![]() ![]() |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
strict local maximum |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
strict local minimum |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
neither local maximum nor local minimum |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
Either ![]() ![]() ![]() ![]() ![]() ![]() |
neither local maximum nor local minimum |