Intuition
A derivative need not be continuous. That is worth saying slowly, because every derivative met so far has been, and because the natural guess — that differentiating a differentiable function gives a continuous one — is false. What is true is stranger: a derivative cannot have a jump, because it always has the intermediate value property, whether or not it is continuous. So the ways a derivative can misbehave are limited, and none of them is a jump.
A speedometer that never reads a value between twenty and thirty would have to jump between them, which no speed can do. But a speed can still oscillate violently, reading every value in a range infinitely often over any interval however short — which is not continuous behaviour and breaks nothing.
One counterexample and one theorem
The function for with is differentiable everywhere, and is not continuous at : the derivative there is , while near the derivative oscillates between values close to and . Darboux's theorem nonetheless says that takes every value between any two of its values, exactly as a continuous function does.
What is ruled out and what is not
- A derivative has no jump discontinuity, by Darboux. So a function with a jump is the derivative of nothing.
- A derivative may still be discontinuous, and the oscillating example shows it; the discontinuity is essential rather than a jump.
- A function whose derivative is continuous is called continuously differentiable, and it is a strictly stronger condition than differentiability.
- Darboux is proved from the interior extremum result and not from the Intermediate Value Theorem, which needs continuity that is not available.
- At the oscillating example has , computed from the quotient , which the squeeze sends to zero.
Darboux's theorem
Subtract the level from the derivative by subtracting a linear function from the original, so that the question becomes finding a point where the new derivative is zero. The new function has derivative of one sign at one end and the other sign at the other, so at each end it is moving away from the end value into the interval. Its smallest value is therefore not at either endpoint, and the Extreme Value Theorem puts it at an interior point, where the interior extremum result makes the derivative vanish.
Proof steps
Subtract the level, so that the wanted point becomes a zero of the new derivative.
The hypothesis says the new derivative has opposite signs at the two ends.
So near each end the values inside are below the end value.
The Extreme Value Theorem applies and the minimum cannot be at either end.
The interior extremum result makes the derivative vanish there.
Applications
Practice
No Jumps, But Not Continuous Either
A derivative has the intermediate value property, whether or not it is continuous.
Try it
Which function cannot be the derivative of any differentiable function?
Try it
The derivative of a differentiable function is continuous.
Try it
For with , what is ?
Try it
Why is Darboux's theorem not just the Intermediate Value Theorem applied to ?
Try it
Continuously differentiable is a strictly stronger condition than differentiable.
Try it
Is the function that is for and for the derivative of some function?
Try it
Which result does the proof of Darboux's theorem use?
What You Learned
- A derivative need not be continuous.
- A derivative always has the intermediate value property, by Darboux.
- So a function with a jump is the derivative of nothing.
- Continuously differentiable is strictly stronger than differentiable.
Final checkpoint
Try it
A derivative can have a removable discontinuity.
Try it
For with , what is true?
Completion
Lesson complete
Great work! You now know how to:
- Give a differentiable function whose derivative is not continuous
- State Darboux's theorem and say what it forbids
- Show that a given function is the derivative of nothing
- Say why continuously differentiable is named separately