Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A simple question which I came across recently. Just wanted to confirm if my logic on it is right....

Suppose $f(x)$ is a function and it's given that it's differentiable everywhere except possibly at $0$, but for the point "$0$", it's given that $\lim_{x\to 0} f'(x) = 0.$ We need to prove that its differentiable everywhere.

What I think is the left hand derivative will be equal to $\lim_{x\to 0^-} f'(x) = 0$ and similarly right hand derivative will be equal to $0$ too on similar lines.

Is this right? I thought of the question myself as I was working on some other question and this bumped in my head. Can we do it this way or there should be some more condition given in the question to work our proof? Thanks.

share|improve this question
2  
Yes, but you'll need to prove the one-sided derivatives (the limit of the difference quotients) actually exist and equal $0$. Also, for your statement to be true, you need to assume that $f$ is continuous at $0$. See this post and this post for ideas. –  David Mitra Jun 17 '13 at 2:05
1  
Consider the function that is $1$ at $0$ and $0$ everywhere else. –  Javier Badia Jun 17 '13 at 2:39
    
Thanks David for the links... got the concept! –  under-root Jun 17 '13 at 12:18

2 Answers 2

up vote 4 down vote accepted

Suppose $f$ is continuous at $0$. Without this assumption, user math_man's answer shows that the statement is not true.

We need to argue that $\displaystyle f'(0)=\lim_{h\to 0}\frac{f(h)-f(0)}h$ exists. But this is now immediate from L'Hôpital's rule: The assumptions that $f$ is continuous at $0$ (and therefore everywhere), and differentiable away from $0$ give us that we can apply the mean-value theorem. This allows us to conclude that for any $h$ there is a $\xi_h$ in between $0$ and $h$ such that $$ \frac{f(h)-f(0)}h=\frac{f'(\xi_h)}1=f'(\xi_h). $$ Now note that $\xi_h\to0$ as $h\to 0$. Since we are given that $\lim_{t\to0}f'(t)=0$, it follows that $\lim_{h\to0}f'(\xi_h)=0$ as well, so $f'(0)$ exists and is $0$.

share|improve this answer
    
this cleared everything...thanks a lot! :) –  under-root Jun 17 '13 at 12:00

Well, if you imagine the function $f(x)=1 \;\;x\in [0,\infty)$ and $f(x)=-1\;\;x\in(-\infty,0)$ then it is differentiable everywhere except in $0$ and $f'(x)=0\;\forall x\neq 0$. Anda $\lim_{x\to 0}f'(x)=0$. And this functions is not continuous in $0$, and so it is not differentiable.

share|improve this answer
    
thanks for your feedback...got the visualization now... –  under-root Jun 17 '13 at 12:01

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.