Intereting Posts

Another “can't use Alt. Series Conv. test” (How do I determine if it converges or diverges?)
Prime Numbers And Perfect Squares
A fiber bundle over Euclidean space is trivial.
Urysohn's function on a metric space
Proof of inequality $\sum\limits_{k=0}^{n}\binom n k\frac{5^k}{5^k+1}\ge\frac{2^n\cdot 5^n}{3^n+5^n}$
calculate for $r>0$ $\frac{1}{2\pi i} \int_{|z|=r}{f(z)g(z)dz}$
Is a bijective homotopy equivalence with bijective homotopy inverse a homeomorphism?
Unique ways to keep N balls into K Boxes?
New Elementary Function?
How to prove $\sum_{n=0}^{\infty} \frac{n^2}{2^n} = 6$?
Measurable functions and compositions
Derivation of factorization of $a^n-b^n$
How to evaluate the determinant
What are higher derivatives?
Book recommendation for analysis problems

Here’s the problem (from little Spivak):

Define $f:\mathbb{R}\rightarrow\mathbb{R}$ by

$$f(x)=\begin{cases}

e^{-x^{-2}} & x\ne 0 \\

0 & x=0

\end{cases}$$

- Integration of exponential with square
- Integral of $\log(\sin(x))$ using contour integrals
- Hydrostatic pressure on a square
- Why are the coefficients of the equation of a plane the normal vector of a plane?
- Is there a continuous function such that $\int_0^{\infty} f(x)dx$ converges, yet $\lim_{x\rightarrow \infty}f(x) \ne 0$?
- How to prove $\sum_{n=0}^{\infty} \frac {(2n+1)!} {2^{3n} \; (n!)^2} = 2\sqrt{2} \;$?

Show that $f$ is a $C^\infty$ function, and $f^{(i)}(0)=0$ for all $i$.

Anyhow, here’s my proof. It gets pretty ugly at the end and I do a little handwaving (every term is of the form … pretty much “because I say so”, and the last step should be a better form of induction instead of “successive applications of the rule…” but the exact way to say it correctly escapes me.

For arbitrary $p,q:\mathbb{R}\rightarrow\mathbb{R}$,

$$(e^{q(x)}p(x))’=e^{q(x)} q'(x)p(x) + e^{q(x)} p'(x)=e^{q(x)}(q'(x)p(x)+p'(x))$$

Let $q(x)=-x^{-2}$, $p_0(x)=1$, and $p_{n+1}(x)=q'(x)p_{n}(x)+p_n'(x)=\frac{2}{x^3} p_n(x) + p_n'(x)$. Every term of $p_n(x)$ is therefore of the form $a x^{-n}$ for some $a,n\in\mathbb{R}$ and $n>0$.

Then $f^{(n)}(x)=e^{q(x)} p_n(x)=e^{-x^{-2}}p_n(x)$

By the definition of derivative,

\begin{align*}

f^{(n+1)}(0) &= \lim_{h\rightarrow 0}\frac{f^{(n)}(h)}{h}\

&= \lim_{h\rightarrow 0}\frac{e^{-x^{-2}} p_n(h)}{h}\

&= \lim_{h\rightarrow 0}\frac{h^{-1} p_n(h)}{e^{h^{-2}}}\

\end{align*}

Since every term of $p_n(h)$ is of the form $a h^{-m}$ for some $a,m\in\mathbb{R},n>0$, it follows that every term of $h^{-1} p_n(h)$ is also of the same form. Thus if we can show that $\lim_{h\rightarrow 0}\frac{ah^{-m}}{e^{h^{-2}}}=0$, the result follows.

Applying L’Hopital’s rule results in

$$\lim_{h\rightarrow 0}\frac{-m h^{-m-1}}{e^{h^{-2}} (-\frac{2}{h^3})}=\lim_{h\rightarrow 0}\frac{2m h^{-m+2}}{e^{h^{-2}}}$$

Successive applications of L’Hopital’s rule result in multiplying numerator by some constant and increasing the exponent of $h$ by 2. Thus apply the rule $m/2+1$ times will give a positive exponent, and the limit will be clearly 0.

- Absolutely continuous maps measurable sets to measurable sets
- Inequality constraints in calculus of variations
- What is $\int_0^1\frac{x^7-1}{\log(x)}\mathrm dx$?
- In-Depth Explanation of How to Do Mathematical Induction Over the Set $\mathbb{R}$ of All Real Numbers?
- Definition of the total derivative.
- How to evaluate $\lim_{n\to\infty}\sqrt{\frac{1\cdot3\cdot5\cdot\ldots\cdot(2n-1)}{2\cdot4\cdot6\cdot\ldots\cdot2n}}$
- Doubling measure is absolutely continuous with respect to Lebesgue
- Find the limit points of the set $\{ \frac{1}{n} +\frac{1}{m} \mid n , m = 1,2,3,\dots \}$
- Proving a function is constant, under certain conditions?
- Construct a monotone function which has countably many discontinuities

You seem to have two main observations.

statement $A_{n}$ (for $n \ge 1$):

$$f^{n}(x) = e^{q(x)}p_{n}(x), x \neq 0$$

where $$p_{n}(x) = \sum \frac{a_{r}}{x^r}, x \neq 0$$

and

that

statement $B_{n}$ (for $n \ge -1$):

$$\lim_{h \to 0} \frac{1}{h^{n} e^{h^{-2}}} = 0$$

The result you have is that $A_{n-1}$ implies $A_{n}$ and that $B_{n-2}$ implies $B_{n}$.

Can you rewrite those formally using the right form of induction, with proper base cases?

Once you have those, you finally can prove the third statement $C_{n}$ (for $n \ge 1$) :

$$ f^{n}(0) = 0$$

You haven’t explicitly spelled this out in your proof, but you are showing that $C_{n}$ (combined with the $A_{i}$ and $B_{j}$) implies $C_{n+1}$ which can again be formalized by induction.

For instance the statement:

$$f^{(n+1)}(0) = \lim_{h\rightarrow 0}\frac{f^{(n)}(h)}{h}$$ is implicitly using the fact that $f^{n}(0) = 0$.

Hope that helps.

- if $f(n) \to g(n)$ then $\frac{\sum f(n)}{\sum g(n)} \to 1$?
- Two Representations of the Prime Counting Function
- Rule C (Introduction to mathematical logic by Mendelson fifth edition)
- Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?
- Deduce that the product of uncountably many copies of the real line $\mathbb{R}$ is not metrizable.
- Bijection between binary trees and plane trees?
- How to find $\lim_{n \to \infty} \int_0^1 \cdots \int_0^1 \sqrt{x_1+\sqrt{x_2+\sqrt{\dots+\sqrt{x_n}}}}dx_1 dx_2\dots dx_n$
- Gelfand Topology and C*-algebras
- What does the math notation $\sum$ mean?
- Why isn't there a continuously differentiable surjection from $I \to I \times I$?
- How to prove this curiosity that has to do with cubes of certain numbers?
- Manipulation of Bell Polynomials
- If $f,g:X \to Y$ are continuous and $Y$ is $T_2$, then $\{x \in X\,|\,f(x)=g(x)\}$ is closed
- Recursion: putting people into groups of 1 or 2
- What are the norms in Ito isometry?