5
$\begingroup$

I found this problem on an Italian forum and since then I struggled to solve it. The autor there claims it was proposed by Borel. At any rate the problem is as follows

(Borel?) For any $\{a_n\}_{n=0}^{\infty}\subseteq \mathbb R,\: x_0\in\mathbb R\,$ and $\,\varepsilon>0$ does there exist a $C^\infty$ function $f\colon\mathbb R\to\mathbb R$ such that $f^{(n)}(x_0)=a_n,\; \forall n\in\mathbb N\cup\{0\}\tag{1}$ and moreover $\left|f(x)-a_0\right|<\varepsilon,\;\forall x\in\mathbb R?$

Clearly even reference about problem are welcomed, but I strongly encourage anybody to think about it because really, when I met it for the first time, I thought: "this is a wonderful problem".

I do not have any clue towards the solution. I hope you will have fun with this.

Cheers.

  • 0
    See also: http://ncatlab.org/nlab/show/Borel's+theorem2012-09-26

1 Answers 1

4

Here is a counterexample.

For arbitrary interval $I\subset\mathbb{R}$ denote $M_k(f,I)=\max_{t\in I}|f^{(k)}(t)|$, then from exercise 14 Chapter 5 in Rudin's Principles of Mathematical analysis we know that $ M_1^2(f,I)\leq 4M_0(f,I)M_2(f,I) $ for any interval $I$ and $f\in C^3(I)$

Let's take $a_1>2\sqrt{(|a_0|+\varepsilon)(|a_2|+\varepsilon)}$ and the rest whatever you want. Assume that there exist a smooth function $f$ with predescribed properties. Since $f\in C^\infty(\mathbb{R})$ then we can find neighbourhood $U$ of $x_0$ where $ M_2(f,U)<|f^{(2)}(x_0)|+\varepsilon=|a_2|+\varepsilon $ By construction $|f(x)-a_0|<\varepsilon$ for all $x\in\mathbb{R}$, so $ M_0(f,U)<|a_0|+\varepsilon $ Finally $ M_1^2(f,U)>|f'(x_0)|^2=a_1^2>4(|a_0|+\varepsilon)(|a_2|+\varepsilon)>4M_0(f,U)M_2(f,U) $ Contradiction.

  • 0
    @Norbert I see your point. I was aware of that result you quoted however I never linked it to the solution of this problem. Thank you.2012-09-27