Difference between revisions of "Second derivative test"
(→Situations when the test is inconclusive) |
(→Inconclusive cases) |
||
(17 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | {{maxmin test}} | ||
==Statement== | ==Statement== | ||
Line 10: | Line 11: | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
− | ! Hypothesis !! Conclusion | + | ! Hypothesis on <math>f'(c)</math> !! Hypothesis on <math>f''(c)</math>!! Conclusion |
|- | |- | ||
− | | <math>f''(c) < 0</math> || <math>f</math> attains a local maximum value at <math>c</math> (the ''value'' is <math>f(c)</math>) | + | | <math>f'(c) =0</math> || <math>f''(c) < 0</math> || <math>f</math> attains a strict local maximum value at <math>c</math> (the ''value'' is <math>f(c)</math>) |
|- | |- | ||
− | | <math>f''(c) > 0</math> || <math>f</math> attains a local minimum value at <math>c</math> (the ''value'' is <math>f(c)</math>) | + | | <math>f'(c) = 0</math> || <math>f''(c) > 0</math> || <math>f</math> attains a strict local minimum value at <math>c</math> (the ''value'' is <math>f(c)</math>) |
|- | |- | ||
− | | <math>f''(c) = 0</math> || The test is inconclusive. <math>f</math> may attain a local maximum value, a local minimum value, have a [[point of inflection]], or have some different behavior at the point <math>c</math>. | + | | <math>f'(c) = 0</math> || <math>f''(c) = 0</math> || The test is inconclusive. <math>f</math> may attain a local maximum value, a local minimum value, have a [[point of inflection]], or have some different behavior at the point <math>c</math>. |
|} | |} | ||
+ | |||
+ | <center>{{#widget:YouTube|id=5ST_nASqk_0}}</center> | ||
===Relation with critical points=== | ===Relation with critical points=== | ||
Line 26: | Line 29: | ||
* Since [[point of local extremum implies critical point]], we don't have to worry about points that are not critical points -- none of them will give local extrema. | * Since [[point of local extremum implies critical point]], we don't have to worry about points that are not critical points -- none of them will give local extrema. | ||
− | == | + | ==Facts used== |
+ | |||
+ | # [[uses::One-sided version of second derivative test]] | ||
+ | |||
+ | ==Proof== | ||
− | + | The proof follows directly from Fact (1). | |
− | |||
− | == | + | ==Relation with other tests== |
− | === | + | ===Other tests to determine whether critical points give local extreme values=== |
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Test !! Quick description of how it differs from the second derivative test !! Relation with second derivative test | ||
+ | |- | ||
+ | | [[one-sided version of second derivative test]] || We compute one-sided second derivatives instead of the usual two-sided second derivative. || It is somewhat stronger and more general, i.e., it is applicable and conclusive in a somewhat wider range of circumstances. | ||
+ | |- | ||
+ | | [[first derivative test]] || We compute the sign of the ''first'' derivative instead of the ''second'' derivative and perform the sign computation on the ''immediate left'' and ''immediate right'' of the point rather than ''at'' the point. || It is stronger: [[second derivative test operates via first derivative test]], [[second derivative test is not stronger than first derivative test]] | ||
+ | |- | ||
+ | | [[higher derivative test]] || This ''begins'' with the second derivative test but computes higher derivatives ''at'' the point if the second derivative turns out to be zero, looking for the lowest order nonzero-valued derivative at the point. || It is conclusive in a somewhat wider range of circumstances. Note that the test ''begins'' the same way as the second derivative test, and we use higher derivatives only if necessary. | ||
+ | |- | ||
+ | | [[One-sided derivative test]] || We compute the signs of one-sided ''first'' derivatives at the point. || Not directly comparable. | ||
+ | |} | ||
+ | |||
+ | ==Requirement of twice differentiability== | ||
The second derivative test can be applied at a critical point <math>c</math> for a function <math>f</math> only if <math>f</math> is ''twice'' differentiable at <math>c</math>. This in particular forces <math>f</math> to be once differentiable ''around'' <math>c</math>. | The second derivative test can be applied at a critical point <math>c</math> for a function <math>f</math> only if <math>f</math> is ''twice'' differentiable at <math>c</math>. This in particular forces <math>f</math> to be once differentiable ''around'' <math>c</math>. | ||
Line 39: | Line 59: | ||
However, the test does ''not'' require the second derivative <math>f''</math> to be defined around <math>c</math> or to be continuous at <math>c</math>. | However, the test does ''not'' require the second derivative <math>f''</math> to be defined around <math>c</math> or to be continuous at <math>c</math>. | ||
− | == | + | ==Ease of use== |
− | + | The second derivative test is strictly less powerful than the [[first derivative test]], so why is it ever used? The main reason is that in cases where it is conclusive, the second derivative test is often easier to apply. This, in turn, is because the second derivative test only requires the computation of formal expressions for derivatives and evaluation of the signs of these expressions ''at a point'' rather than ''on an interval''. Evaluation at a point often requires less symbolic/algebraic manipulation. | |
− | + | ==Inconclusive and conclusive cases== | |
− | |||
− | == | ||
===The test can never be conclusive about the absence of local extrema=== | ===The test can never be conclusive about the absence of local extrema=== | ||
Line 51: | Line 69: | ||
The [[first derivative test]] can sometimes ''conclusively'' establish that a given critical point is not a point of local extremum. The second derivative test can ''never'' conclusively establish this. It can only conclusively establish affirmative results about local extrema. | The [[first derivative test]] can sometimes ''conclusively'' establish that a given critical point is not a point of local extremum. The second derivative test can ''never'' conclusively establish this. It can only conclusively establish affirmative results about local extrema. | ||
− | === | + | ===Inconclusive cases=== |
The second derivative test is inapplicable or inconclusive in the following situations. We denote the function by <math>f</math> and the critical point by <math>c</math>: | The second derivative test is inapplicable or inconclusive in the following situations. We denote the function by <math>f</math> and the critical point by <math>c</math>: | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
− | ! What problem do we run into? !! What kind of trouble do we have? !! Can we use the first derivative test? !! Remedy that may work (other than reverting to the first derivative test) | + | ! What problem do we run into? !! What kind of trouble do we have? !! Can we use the first derivative test? !! Link to example/explanation !! Remedy that may work (other than reverting to the first derivative test) |
|- | |- | ||
− | | The critical point is of the type where <math>f'</math> is undefined || We cannot take the second derivative, because even the first derivative doesn't exist. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || | + | | The critical point is of the type where <math>f'</math> is undefined || We cannot take the second derivative, because even the first derivative doesn't exist. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || [[second derivative test fails for function at critical point where it is not differentiable]] || |
|- | |- | ||
− | | <math>f'(c) = 0</math> but <math>f''(c)</math> is undefined || We cannot take the second derivative at the critical point. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || [[one-sided version of second derivative test]]: If the one-sided derivatives of <math>f'</math> exist at <math>c</math>, then we can try checking that ''both'' one-sided derivatives of <math>f'</math> have the stipulated sign for <math>f''</math>. | + | | <math>f'(c) = 0</math> but <math>f''(c)</math> is undefined || We cannot take the second derivative at the critical point. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || [[second derivative test fails for function at critical point where it is differentiable but not twice differentiable]] || [[one-sided version of second derivative test]]: If the one-sided derivatives of <math>f'</math> exist at <math>c</math>, then we can try checking that ''both'' one-sided derivatives of <math>f'</math> have the stipulated sign for <math>f''</math>. |
|- | |- | ||
− | | <math>f'(c) = 0</math> and <math>f''(c) = 0</math> || We are in the inconclusive case of the test as stated. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || [[higher derivative | + | | <math>f'(c) = 0</math> and <math>f''(c) = 0</math> || We are in the inconclusive case of the test as stated. || We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) || [[second derivative test is inconclusive for function at critical point where second derivative is zero]] || [[higher derivative test]] |
|} | |} | ||
+ | |||
+ | <center>{{#widget:YouTube|id=JbXhZSu5fnA}}</center> |
Latest revision as of 21:20, 7 March 2013
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
Contents
Statement
What this test is for
This test is a partial test (i.e., it may be inconclusive) for determining whether a given critical point for a function is a point of local minimum, point of local maximum, or neither.
What the test says
Suppose is a function and is a point in the interior of the domain of , i.e., is defined on some open interval containing . Suppose, further, that , i.e., the second derivative of , exists at . Suppose also that , so is a critical point for . Then:
Hypothesis on | Hypothesis on | Conclusion |
---|---|---|
attains a strict local maximum value at (the value is ) | ||
attains a strict local minimum value at (the value is ) | ||
The test is inconclusive. may attain a local maximum value, a local minimum value, have a point of inflection, or have some different behavior at the point . |
Relation with critical points
The second derivative test is specifically used only to determine whether a critical point where the derivative is zero is a point of local maximum or local minimum. Note in particular that:
- For the other type of critical point, namely that where is undefined, the second derivative test cannot be used.
- Since point of local extremum implies critical point, we don't have to worry about points that are not critical points -- none of them will give local extrema.
Facts used
Proof
The proof follows directly from Fact (1).
Relation with other tests
Other tests to determine whether critical points give local extreme values
Test | Quick description of how it differs from the second derivative test | Relation with second derivative test |
---|---|---|
one-sided version of second derivative test | We compute one-sided second derivatives instead of the usual two-sided second derivative. | It is somewhat stronger and more general, i.e., it is applicable and conclusive in a somewhat wider range of circumstances. |
first derivative test | We compute the sign of the first derivative instead of the second derivative and perform the sign computation on the immediate left and immediate right of the point rather than at the point. | It is stronger: second derivative test operates via first derivative test, second derivative test is not stronger than first derivative test |
higher derivative test | This begins with the second derivative test but computes higher derivatives at the point if the second derivative turns out to be zero, looking for the lowest order nonzero-valued derivative at the point. | It is conclusive in a somewhat wider range of circumstances. Note that the test begins the same way as the second derivative test, and we use higher derivatives only if necessary. |
One-sided derivative test | We compute the signs of one-sided first derivatives at the point. | Not directly comparable. |
Requirement of twice differentiability
The second derivative test can be applied at a critical point for a function only if is twice differentiable at . This in particular forces to be once differentiable around .
However, the test does not require the second derivative to be defined around or to be continuous at .
Ease of use
The second derivative test is strictly less powerful than the first derivative test, so why is it ever used? The main reason is that in cases where it is conclusive, the second derivative test is often easier to apply. This, in turn, is because the second derivative test only requires the computation of formal expressions for derivatives and evaluation of the signs of these expressions at a point rather than on an interval. Evaluation at a point often requires less symbolic/algebraic manipulation.
Inconclusive and conclusive cases
The test can never be conclusive about the absence of local extrema
The first derivative test can sometimes conclusively establish that a given critical point is not a point of local extremum. The second derivative test can never conclusively establish this. It can only conclusively establish affirmative results about local extrema.
Inconclusive cases
The second derivative test is inapplicable or inconclusive in the following situations. We denote the function by and the critical point by :
What problem do we run into? | What kind of trouble do we have? | Can we use the first derivative test? | Link to example/explanation | Remedy that may work (other than reverting to the first derivative test) |
---|---|---|---|---|
The critical point is of the type where is undefined | We cannot take the second derivative, because even the first derivative doesn't exist. | We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) | second derivative test fails for function at critical point where it is not differentiable | |
but is undefined | We cannot take the second derivative at the critical point. | We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) | second derivative test fails for function at critical point where it is differentiable but not twice differentiable | one-sided version of second derivative test: If the one-sided derivatives of exist at , then we can try checking that both one-sided derivatives of have the stipulated sign for . |
and | We are in the inconclusive case of the test as stated. | We may or may not be able to use the first derivative test. It is possible to construct examples of (local min + conclusive first derivative test), (local max + conclusive first derivative test), (neither + conclusive first derivative test), (local min + inconclusive first derivative test), (local max + inconclusive first derivative test), (neither + inconclusive first derivative test) | second derivative test is inconclusive for function at critical point where second derivative is zero | higher derivative test |