Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

To be precisely, let $f$ be a $C^\infty$ function defined on $(-\epsilon,\epsilon)$, where $\epsilon>0$.

Question: Can the power series $\sum_{n=0}^\infty\frac{f^{(n)}(0)}{n!}x^n$ have convergent radius $R=0$?

I think there might be some example satisfies $R=0$, but I cannot construct it, since it must be some non-elementary function and cannot be writen down in simple formula.

Any comments and ideas are welcome.

share|cite|improve this question
up vote 6 down vote accepted

There is a theorem by Borel that asserts that every formal power series is the MacLaurin series of some function that is $C^{\infty}$ all over $\mathbb{R}$, i.e. the map $C^{\infty}(\mathbb{R}) \to \mathbb{R}[[x]]$ defined by $$ f \mapsto \sum_{n \geq 0} \frac{f^{(n)}(0)}{n!}x^n $$ is surjective. See here.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.