Let $f,g:I\to\mathbb{R}$ be two real, non-constant, analytic functions on an open interval $I\subset\mathbb{R}$. If there is a smooth function $h:I\to\mathbb{R}$ (i.e. $h\in C^{\infty}(I)$) such that: $(f\circ h)(t)=g(t),\ \forall\ t\in I$, is it true that $h$ is also analytic on $I$?

  • $\begingroup$ Take $f = g$ as constant functions. $\endgroup$ – Daniel Fischer Oct 20 '14 at 20:39
  • $\begingroup$ I've edited my post. Yes, it would be obvious indeed... $\endgroup$ – Bogdan Oct 20 '14 at 20:45

If we add that $f'$ does not vanish nowhere, then the answer is yes.

It can be checked locally. As $f$ is real-analytic, it extends analytically in an neighbourhood of $h(I)$ in $\mathbb C$ - We assume that $f$ is real analytic on an interval $J$, with $h(I)\subset J$.

Let now $h(t_0)=w_0\in h(I)$.

As $f'(w_0)\ne 0$, then $f$ possesses an analytic inverse $F$ in a neighbourhood $D(w_0,r)\subset \mathbb C$ of $t_0$, and hence $h=F\circ g$, for $t\in I$, such that $h(t)\in (w_0-r,w_0+r)$, and therefore $h$ is analytic in a neighboorhood of $t_0$.

However, if $f'$ vanishes, then it DOES NOT hold. For example $h(x)=\lvert x\rvert$ and $f(x)=x^2$.

  • $\begingroup$ Thanks for your answer! I put that question trying to solve this:math.stackexchange.com/questions/978462/…. There $f=\cos$. Do you think that maybe it's not true what is asked at that topic? $\endgroup$ – Bogdan Oct 20 '14 at 21:38
  • $\begingroup$ @Bogdan There you have two functions, $\cos$ and $\sin$, and their derivatives don't vanish at the same points, so everywhere one of the two is locally invertible. $\endgroup$ – Daniel Fischer Oct 20 '14 at 22:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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