statement proposition
Second derivative test
Statement
Let be a real function differentiable on an open interval around , with . Assume that the second derivative exists. If , then has a strict local minimum at . If , then has a strict local maximum at .
Remarks
If , then . So is negative just left of and positive just right of , and the first derivative test applies.
If , the test gives no answer. The functions , , and at show all three cases.
Mathlib states the minimum case as isLocalMin_of_deriv_deriv_pos.
Explanations
L1 human
At a stationary point where the graph bends upward, the point is the bottom of a valley. Where it bends downward, it is a hilltop.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 29 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Limit point of a set definition
- Local maximum definition
- Sequence definition
- Limit of a function definition
- Local minimum definition
- Real sequence definition
- Subsequence definition
- Continuity at a point definition
- Derivative definition
- Bounded sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Continuous function definition
- Differentiable function definition
- Fermat's theorem on stationary points statement
- Convergent sequence definition
- Monotone convergence theorem for sequences statement
- Every sequence has a monotone subsequence statement
- Derivative function definition
- Bolzano–Weierstrass theorem statement
- Higher derivative definition
- Boundedness theorem statement
- Second derivative definition
- Extreme value theorem statement
- Rolle's theorem statement
- Mean value theorem statement
- A function with nonnegative derivative is increasing statement
- First derivative test statement
- Second derivative test statement
Sources
- Web https://en.wikipedia.org/wiki/Derivative_test, Second-derivative test (single variable)
What links here
No node links to this node yet.