# 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) neednotsatisfy 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

## Contents

## Statement

It is possible to have a function defined for real numbers such that is a differentiable function everywhere on its domain but the derivative is not a continuous function.

Equivalently, a differentiable function on the real numbers need not be a continuously differentiable function.

## Related facts

- Derivative of differentiable function satisfies intermediate value property
- Intermediate value property not implies continuous

## See also

- Difference quotient: We can relate the continuity of the derivative to the joint continuity of the difference quotient.

## Proof

### 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.