7
$\begingroup$

I'm stuck on the following part of a proof:

Let $\phi: \mathbb R^m \to \mathbb R^n$ be a function such that \gamma'(t) := \phi(\gamma(t)) is smooth for every smooth function $\gamma: \mathbb R \to \mathbb R^m$.

I want to show that $\phi$ is smooth under these assumptions.

Could someone give me a pointer?

Thanks in advance!

S.L.

  • 0
    This is fantastic! I was about to ask this very question :D2012-12-03

1 Answers 1

6

This was proved by Jan Boman in the paper "Differentiability of a function and of its compositions with functions of one variable", Math. Scand. 20 (1967), 249-268. (The theorem as stated is for the case $n=1$, but that is no problem as Jason DeVito already mentioned in a comment.) Here's an online version, and here's the MathSciNet link. According to the article and review, it had been an unpublished conjecture of Rådström.

  • 0
    The old links to the article died. Currently the following work: http://www.digizeitschriften.de/en/dms/toc/?PPN=PPN35397434X_0020 for Math. Scand. 20 (1967), and http://www.digizeitschriften.de/en/dms/img/?PPN=PPN35397434X_0020&DMDID=dmdlog25 for the article. (These may be added to the answer at some point if it seems worth it to "front page" the thread.)2015-03-31