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.

  • 2
    Since $\phi$ is smooth iff each of the $n$ component functions of $\phi$ are smooth, you may as well assume $n=1$. (I wish I had more information to give you!)2011-01-03
  • 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
    Thanks a lot for these links!2011-01-03
  • 0
    @S.L.: You're welcome. Thank you for asking; I had fun finding the answer.2011-01-03
  • 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