§ Flat functions

Define
f(x){0x<=0e1/xx>0 f(x) \equiv \begin{cases} 0 & x <= 0 \\ e^{-1/x} & x > 0 \end{cases}
This is smooth, but is badly non-analytic. Any taylor expansion around x=0x=0 is going to be identically zero. So we're going to prove that it possesses all derivatives. This implies that the derivative at zero is equal to zero, because the left derivative is always equal to zero.
  • f(x)e1/xf(x) \equiv e^{-1/x}. Differentiate to get f(x)=e1/x/x2f'(x) = e^{-1/x}/x^2. Changey1/xy \equiv 1/x to get y2eyy^2 e^{-y}. As yy \mapsto \infty, eye^{-y}decays more rapidly than y2y^2 increases, thus the limit is zero.Hence, f(x)=0f'(x) = 0.
  • For higher derivatives, let f(n)(x)pn(1/x)e1/xf^{(n)}(x) \equiv p_n(1/x) e^{-1/x} for some polynomial pnp_n.See that f(n+1)(x)=d/dx[pn(1/x)e1/x)]f^{(n+1)}(x) = d/dx [p_n(1/x) e^{-1/x})]. To compute this, set y1/xy \equiv 1/xand compute d/dy[pn(y)ey]dy/dxd/dy [p_n(y) e^{-y}] dy/dx which is:
=d/dy[pn(y)ey]dy/dx=pn(y)ey+pn(y)(ey)1/x2=e1/x(pn(1/x)pn(1/x))1/x2=e1/x(qn(1/x)qn(1/x))let rn+1(x)(qn(t)qn(t))t2=rn+1(1/x)e1/x \begin{aligned} & = d/dy [p_n(y) e^{-y}] dy/dx \\ & = p_n'(y) e^{-y} + p_n(y) (- e^{-y}) \cdot 1/x^2 \\ & = e^{-1/x} (p_n'(1/x) - p_n(1/x)) 1/x^2 \\ & = e^{-1/x} (q_n'(1/x) - q_n(1/x)) \\ & \text{let $r_{n+1}(x) (\equiv q_n'(t) - q_n(t))t^2$} \\ & = r_{n+1}(1/x) e^{-1/x} \end{aligned}
  • So we can write higher derivatives too as poly(1/x)poly(1/x) times exp(1/x)exp(-1/x) which also decaysrapidly to 00.
- Flat functions on wikipedia