Convexity forces the derivative to be continuous
Statement
Let be convex and differentiable on an interval . Prove that is continuous.
Hint
Use that is non-decreasing for a convex function, and Darboux's theorem: a derivative takes all the intermediate values. Show that a monotone function cannot have a jump if it takes all intermediate values.
Show solutionHide solution
Solution
Tools.
- If is convex and differentiable, is non-decreasing.
- Darboux's theorem: the derivative of a differentiable function satisfies the intermediate value property, even if it is not continuous.
Proof. Suppose is discontinuous at some point . Since is monotone, it has one-sided limits at , with
and at least one of the two inequalities is strict. Say (the other case is symmetric). Pick with .
- For we have (monotone and is the infimum of the values to the right).
- For we have .
So never takes the value . But Darboux's theorem, applied on with close enough that , says that , which lies between and , is attained. Contradiction.
Conclusion. is continuous on .
Remark. So a convex differentiable function is automatically . In general, derivatives can be discontinuous (see ), but never with jumps.