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 f defined for real numbers such that math>f</math> is a differentiable function everywhere on its domain but the derivative f is not a continuous function.

Proof

Example with an isolated discontinuity

Consider the function:

f(x):={x2sin(1/x),x00,x=0

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 f(0)=0 but limx0f(x) does not exist. Thus, f is not a continuous function at 0.

For details, see square times sine of reciprocal function#First derivative.