# Thread: Taylor's Theorem problem 1

1. ## Taylor's Theorem problem 1

Let $\displaystyle g(x) = e^{\frac{-1}{x^{2}}}$ for $\displaystyle x \ne 0$ and $\displaystyle g(0) = 0$.

Show that $\displaystyle g^{n}(0) = 0$ for all $\displaystyle n\ge 0$ and show that the Taylor series for g about 0 agrees with $\displaystyle g$ only at $\displaystyle x=0$.

So yeah, I am completely lost now in my real analysis class and really don't understand much of anything going on now. It says to use induction to prove that there exist polynomials $\displaystyle p_{kn}$, $\displaystyle 1\le k \le n$ so that $\displaystyle g^{(n)}(x) = \sum_{k=1}^{n}f^{(k)}(x^{2})p_{kn}(x)$ for $\displaystyle x\in \mathbb{R}, n\ge 1$, where $\displaystyle f(x)=e^{\frac{-1}{x}}$. Don't really now where to begin, thanks.

2. Faà di Bruno's formula - Wikipedia, the free encyclopedia

(to the composition $\displaystyle g(x) = f(x^2)$)

3. Sorry, I don't understand. We have not learned anything that advanced yet. I don't understand what Bell polynomials are and how that relates to getting a polynomial of one variable. I don't understand how two superscripts $\displaystyle k,n$ come into play or what it means to have a polynomial called $\displaystyle p_{kn}$.

Faà di Bruno's formula - Wikipedia, the free encyclopedia

(to the composition $\displaystyle g(x) = f(x^2)$)
Originally Posted by Pinkk
Sorry, I don't understand. We have not learned anything that advanced yet. I don't understand what Bell polynomials are and how that relates to getting a polynomial of one variable. I don't understand how two superscripts $\displaystyle k,n$ come into play or what it means to have a polynomial called $\displaystyle p_{kn}$.
Faa di Bruno's formula is absolute overkill for this, I have only tangentially even heard of it by browsing MathWorld.com. Isn't only used in Umbral Calculus pretty much?

So, which part are you having trouble with?

So, we can prove by induction that $\displaystyle g^{(n)}(0)=0$. To do this, we prove as was suggested that $\displaystyle g^{(n)}(x)=p\left(\tfrac{1}{x}\right)e^{\frac{-1}{x^2}},\text{ }x\ne 0$.

To, see this we first note that $\displaystyle g^{(1)}(x)=\frac{2}{x^3}e^{\frac{-1}{x^2}}$ which clearly satisfies the conditions.

Next, we suppose that $\displaystyle g^{(n)}(x)=p\left(\frac{1}{x}\right)e^{\frac{-1}{x^2}}$ and so $\displaystyle g^{(n+1)}(x)=\frac{-1}{x^2}p'\left(\frac{1}{x}\right)e^{\frac{-1}{x^2}}+\frac{2}{x^3}p\left(\frac{1}{x}\right)e^{ \frac{-1}{x^2}}$, but a little factoring shows this is just a polynomial in $\displaystyle \frac{1}{x}$ times $\displaystyle e^{\frac{-1}{x^2}}$

5. I had an idea like that but I guess I got too caught up with the suggested hint because it says to consider that $\displaystyle g(x)=f(x^{2})$ where $\displaystyle f(x) = e^{-1/x}$ and then show that $\displaystyle g^{(n)}$ is actually a series of products, where each product is $\displaystyle f^{(k)}(x^{2})p_{kn}$. That notation of $\displaystyle p_{kn}$ completely through me off, never seen that before and not sure where to begin, but if it can be done more simply as a single polynomial of $\displaystyle 1/x$ times $\displaystyle e^{-1/x^{2}}$, I much rather do that.

6. Originally Posted by Pinkk
I had an idea like that but I guess I got too caught up with the suggested hint because it says to consider that $\displaystyle g(x)=f(x^{2})$ where $\displaystyle f(x) = e^{-1/x}$ and then show that $\displaystyle g^{(n)}$ is actually a series of products, where the each product is $\displaystyle f^{(k)}(x^{2})p_{kn}$. That notation of $\displaystyle p_{kn}$ completely through me off, never seen that before and not sure where to begin, but if it can be done more simply as a single polynomial of $\displaystyle 1/x$ times $\displaystyle e^{-1/x^{2}}$, I much rather do that.
Yeah, of course. Because you should know that $\displaystyle \lim_{x\to 0}p\left(\frac{1}{x}\right)e^{\frac{-1}{x^2}}=\lim_{z\to\infty}\frac{p(z)}{e^z}=0=f(0)$

7. Well, technically it should be $\displaystyle \frac{p(z)}{e^{z^{2}}}$ but that really doesn't make a difference since $\displaystyle e^{z^{2}}$ will still dominate any polynomial as $\displaystyle z$ tends to infinity, correct?

8. Originally Posted by Pinkk
Well, technically it should be $\displaystyle \frac{p(z)}{e^{z^{2}}}$ but that really doesn't make a difference since [tex]e^{z^{2}} will still dominate any polynomial as $\displaystyle z$ tends to infinity, correct?
Mhmm.