Derivative of differentiable function need not be continuous

From Calculus
Revision as of 19:58, 7 September 2011 by Vipul (talk | contribs) (Created page with "==Statement== It is possible to have a function <math>f</math> defined for real numbers such that math>f</math> is a differentiable function everywhere on its domain but...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

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

Proof

Example with an isolated discontinuity

Consider the function:

Then, we have:

Failed to parse (unknown function "\begin{array}"): {\displaystyle f'(x) = \left\lbrace\begin{array}{rl} 2x \sin(1/x) - \cos(1/x) & x \ne 0 \\ 0, & x = 0 \\\end{arrray}\right.}

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.