4
$\begingroup$

Hi,

Does somebody know a proof (or a reference) for the following statement:

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an infinitely differentiable function. Suppose that for all $x$, $f^n(x)=0$ for almost all $n$ (i.e. for all but finitely many $n$), $f^n$ being the $n$-th derivative of $f$. Then $f$ is a polynomial function.

From what I remember, it is a result of Sunyer i Balaguer, and involves the use of Baire category theorem, but I cannot find any reference on the web.

Also, is the theorem still true if one replaces "almost all $n$" by "infinitely many $n$"?

Thanks!

$\endgroup$
1

1 Answer 1

4
$\begingroup$

For a proof of the much stronger result indicated above, see Page 53 here; the theorem states the following:

Let $f(x)$ be $C^\infty$ on $(c,d)$ such that for every point $x$ in the interval there exists an integer $N_x$ for which $f^{(N_x)}(x)=0$; then $f(x)$ is a polynomial.

$\endgroup$
1
  • $\begingroup$ Great thanks! Indeed the actual theorem is much stronger than what I thought was true. $\endgroup$ Jan 10, 2011 at 8:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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