Differentiability and continuity

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
7 replies · 5K views
metalbec
Messages
6
Reaction score
0
Hi. How do I show that f is differentiable, but f' is discontinuous at 0? I guess I'm just looking for a general idea to show discontinuity.
Thanks
 
Physics news on Phys.org
metalbec said:
How do I show that f is differentiable, but f' is discontinuous at 0?

First you will have to get clear about what f you have been given. If you are looking at some exercise, it must have given some definition f(x)=...
 
well. f(x)= x^2sin(1/x). I can define f(0) to be 0.
 
metalbec said:
well. f(x)= x^2sin(1/x). I can define f(0) to be 0.

The derivative becomes a function itself, [itex]f':\mathbb{R}\to\mathbb{R}[/itex]. If you want to prove that it is not continuous, you should first solve its values [itex]f'(x)[/itex] for all x. In this case it is easiest to solve the derivative for [itex]x=0[/itex] and for [itex]x\neq 0[/itex] separately. For [itex]x\neq 0[/itex], you can solve [itex]f'(x)[/itex] by using the usual derivation rules. To solve [itex]f'(0)[/itex] it is best to use the definition of the derivative.
 
Would I use the Pinching Theorem to show that because the limit as h approaches 0 from both sides is 0, then the limit of hsin (1/h) is also 0?
 
metalbec said:
Would I use the Pinching Theorem to show that because the limit as h approaches 0 from both sides is 0, then the limit of hsin (1/h) is also 0?

yes! This is how you prove [itex]f'(0)=0[/itex].
 
Okay, I think I've done that. But I'm having a hard time grasping it. If I have already established that f'(0) does not exist, how did I just show that it is zero? Or does the fact that its limit is zero in itself show that it is discontinuous at 0?
 
metalbec said:
If I have already established that f'(0) does not exist

You have done a mistake here. f'(0) exists.