Proving Non-Equivalence of e^(-1/x^2) and Maclaurin Series Graph Near Origin

[fk378]

Homework Statement

Show that the function defined by

(stepwise)
f(x)= e^(-1/x^2) if x =/ 0
= 0 if x=0

is NOT equal to its Maclauren series.

Then graph the function and comment on its behavior near the origin.

The Attempt at a Solution

Well, I honestly don't know how to prove this. I graphed it and noticed that as it approaches the origin, it concaves up, so f''(x)>0 at (0,0). Am I supposed to first u-substitute in order to differentiate the e^(-1/x^2)?

 

[morphism]

Show that the function is what?

 

[Dick]

The function may 'concave up' as x->0, but if you look carefully at the limit of f''(x) as x->0 you may find f''(0) is not positive. You should note f(x)=x^4 also 'concaves up' and f''(0)=0 for that function. And as morphism asks, you must have a more specific idea of what you are supposed to comment on.

 

[HallsofIvy]

As morphism pointed out, you didn't say what it is you want to prove! Because you title this "MacLaurin series", I assume you want to prove that the MacLaurin series of this function is a certain thing. I would think it would be obvious "how to prove" this: find the derivatives at x= 0 and construct the MacLaurin series. It shouldn't take more than a few derivatives to see what is happening.

I'll start you off. If
$$f(x)= e^{-\frac{1}{x^2}}$$
then, using the chain rule,
[tex]\frac{df}{dx}= e^{-\frac{1}{x^2}}(-2x^{-3})= -\frac{e^{-\frac{1}{x^2}}}{2x^3}[/itex]<br /> as long as x is not 0. To find the derivative at 0, take the limit as x goes to 0. As x goes to 0, the argument of the exponential goes to negative infinity so the exponential goes to 0. Both numerator and denominator of this derivative, separately, go to 0. Remembering that an exponential will go to 0 (or infinity) <b>faster</b> than any polynomial, only the numerator is relevant and the limit is 0. Hint: every derivative will be $e^{-\frac{1}{x^2}}$ over some polynomial.<br /> <br /> This is an example showing that a function may have a MacLaurin (Or Taylor) series that converges <b>everywhere</b> but <b>not</b> to the value of the function![/tex]

 

[fk378]

Sorry! I just edited in the rest of the question. It asks to show that the function does not equal the Maclauren series, but why wouldn't it?

 

[Dick]

Sorry! I just edited in the rest of the question. It asks to show that the function does not equal the Maclauren series, but why wouldn't it?

Figure out what the Maclauren series of the function is, and it will be pretty easy to figure out why it's not equal to the function. I promise.