Jump to content

Non-analytic smooth function

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Michael Hardy (talk | contribs) at 17:39, 5 January 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Consider the real function

One can show that f has derivatives of all orders at every point including 0. To show this at x = 0, use L'Hopital's rule, mathematical induction, and some simple substitutions. But in proving this, one will find that f(n)(0) = 0 for all n. Therefore, the Taylor series of f is zero at every point! Consequently f is not analytic at 0. This pathology cannot occur with functions of a complex variable rather than of a real variable.