Consider the flat functionAway from zero every derivative has the form for a polynomial : differentiating preserves this form. For every ,because an exponential function decays faster than any power. Inductively, extend each displayed derivative by zero at zero. It is continuous there, and its difference quotient at zero also tends to zero by the same estimate with one extra power of . Thus each extension is the derivative of the preceding extension. This proves and for all .
Its Taylor series at zero is identically zero, whereas for every . It is smooth everywhere but not real analytic at zero.
Articles by others on the same topic
There are currently no matching articles.