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.

Possible Duplicate:
Infinitely differentiable function.

Consider the function $f$ defined on $\mathbb{R}$ by

$f(x)= \begin{cases} 0 & \text{if $x \le 0$} \\ e^{-1/x^2} & \text{if $x > 0$} \end{cases}$

Prove that $f$ is indefinitely differentiable on $\mathbb{R}$, and that $f^{(n)}(0)=0$ for all $n \ge 1$. Conclude that $f$ does not have a converging power series expansion for $x$ near the origin.

share|improve this question

marked as duplicate by Martin Sleziak, Thomas, Nate Eldredge, Norbert, Henry T. Horton Oct 7 '12 at 18:02

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1  
related, related and very the same –  leo Sep 27 '12 at 4:40
1  
After you ask a question here, if you get an acceptable answer, you should "accept" the answer by clicking the check mark ✓ next to it. This scores points for you and for the person who answered your question. If you don't do this, people are less likely to answer your later questions. You can find out more about accepting answers here: How do I accept an answer?, Why should we accept answers?, How does accept rate work?. –  Asaf Karagila Sep 30 '12 at 9:29
add comment

2 Answers 2

Hint: If $P$ is a polynomial and $g(x)=P(\frac1x) e^{-\frac1{x^2}}$, show that $g'(x)=Q(\frac1x) e^{-\frac1{x^2}}$ with a possibly different polynomial $Q$. Conclude that all derivatives of $f$ have this form and show that they all vanish as $x\to 0^+$, thus matching the $0$ from the negative axis.

share|improve this answer
add comment

Idea on how to get started: clearly $f$ is differentiable for all $x\neq 0$, so you need just consider whether $f'(0)$ exists. That is, you need to consider whether the limit $$ \lim_{h \to 0} \frac{f(0 + h) - f(0) }{h}. $$ Consider the left-hand and the right-hand limits. Consider for example: $$ \lim_{h \to 0+} \frac{f(0 + h) - f(0) }{h} = \lim_{h \to 0^+} \frac{e^{-\frac{1}{h^2}}}{h}. $$

Can you prove that this limit is equal to the left hand limit?

After you have done this, you know what the derivative is on all $\mathbb{R}$. So you can try to compute the process with a new limit. Hopefully you see a pattern.

share|improve this answer
add comment

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