Prove Derivatives of All Orders Exist for g(x)

[sparkster]

Let g(x)=e^{-\frac{1}{x}} for x > 0 and g(x)=9 for x \le 0. I want to prove that derivatives of all orders exist.

Now I know that the only possible problem is at 0. The limit of the difference quotient from the left is obviously going to be 0. The limit from the right is going to be \frac{1}{x^2}e^{-\frac{1}{x}}.

But I don't see how this limit exists.

edit: I just checked on maple and it says the limit as x->0 of the above derivative is undefined. What am I doing wrong?

Also, I figure I'm going to use induction to prove f^n, but I can't even get the case where n=1.

 

[mathman]

x^-2e^-1/x=e^-2ln(x)-1/x.

The exponent ->-oo, so the exponential goes to 0. This will be true for any inverse power of x as a coefficient.

 

[DeadWolfe]

Let g(x)=e^{-\frac{1}{x}} for x > 0 and g(x)=9 for x \le 0
edit: I just checked on maple and it says the limit as x->0 of the above derivative is undefined. What am I doing wrong?

Taking the limit from both sides, when the above expression is only the correct value for f one side.

 

[sparkster]

x^-2e^-1/x=e^-2ln(x)-1/x.

The exponent ->-oo, so the exponential goes to 0. This will be true for any inverse power of x as a coefficient.

Can you elaborate? As x goes to 0, -2ln(x)-1/x gives the indeterminate oo-oo. I don't see how to manipulate it to get -oo.

Taking the limit from both sides, when the above expression is only the correct value for f one side.

I already know the left side derivative is 0. I just need to show the right side is also 0.

 

[mathman]

-2ln(x)-1/x=(-2xln(x)-1)/x.
Since xln(x)->0 as x->0, my assertion follows.

 

[ObsessiveMathsFreak]

\lim_{x\rightarrow 0}\frac{1}{x^2}e^{-\frac{1}{x}}

To evaluate this, let y=\frac{1}{x} and then you have

\lim_{x\rightarrow 0}\frac{1}{x^2}e^{-\frac{1}{x}}=\lim_{y\rightarrow \infty}y^2 e^{-y}=\lim_{y\rightarrow \infty}\frac{y^2}{ e^{y}}

Which I think you can see does go to zero. If you still need something even more solid, you can use l'Hopital's rule twice for the y limit