Derivative of differentiable function need not be continuous
This article gives the statement and possibly, proof, of a non-implication relation between two function properties. That is, it states that every function satisfying the first function property (i.e., differentiable function) need not satisfy the second function property (i.e., continuously differentiable function)
View a complete list of function property non-implications | View a complete list of function property implications
Get more facts about differentiable function|Get more facts about continuously differentiable function
EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property differentiable function but not continuously differentiable function|View examples of subgroups satisfying property differentiable function and continuously differentiable function
- Derivative of differentiable function satisfies intermediate value property
- Intermediate value property not implies continuous
- Difference quotient: We can relate the continuity of the derivative to the joint continuity of the difference quotient.
Example with an isolated discontinuity
Consider the function:
Then, we have:
In particular, we note that but does not exist. Thus, is not a continuous function at 0.
For details, see square times sine of reciprocal function#First derivative.
Thinking to motivate the example
The basic idea for the example comes from the observation that derivative of differentiable function satisfies intermediate value property. This means that for any counterexample, the derivative would still satisfy the intermediate value property. The next step is to therefore look for examples showing that intermediate value property not implies continuous. We see that the example used there is .
Unfortunately we don't have an elementary expression for the antiderivative of the sine of reciprocal function. However, we don't quite need to get an antiderivative of that function -- we just need something whose derivative is a sum of something that clearly goes to zero, and something of the structure of (for instance, will also do).
The first attempt might be , since integration gets you one degree higher. However, for this function, the derivative at zero doesn't exist -- the challenge comes from the appearing when we apply chain rule to differentiate . We therefore need a higher degree to cancel that . We next try , and that works.