4
$\begingroup$

This question already has an answer here:

Based on this question: How to calculate $f(x)$ in $f(f(x)) = e^x$? I would like to know if I can get a function such that $f:\mathbb R \to \mathbb R^+$, defined by $f\circ f(x)=e^x$. My guess is no, but I can't prove it, I need help.

Note that different than the previous question, the function is from $\mathbb R$ to $\mathbb R^+$.

Thanks a lot

$\endgroup$

marked as duplicate by user17762, Clayton, Erick Wong, Namaste, Michael Albanese Feb 7 '13 at 1:21

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ I did this before. My result is that you can have a bunch of functions satisfy this formula, hint is that this fucntion must be strictly monotone, and you just need to define it on a little interval to get the whole function. $\endgroup$ – lee Feb 7 '13 at 0:24
  • $\begingroup$ @lee sorry it misses informations, I'm going to edit my question $\endgroup$ – user42912 Feb 7 '13 at 0:25
  • $\begingroup$ It appears this question has been asked before on math.SE, so this question will be closed as a duplicate. $\endgroup$ – Zev Chonoles Feb 7 '13 at 0:28
  • $\begingroup$ @ZevChonoles My question is defined differently than other posts. $\endgroup$ – user42912 Feb 7 '13 at 1:01
4
$\begingroup$

In fact, you can find such an $f$ that is analytic. From this answer on MathOverflow:

A real-analytic solution in this case was constructed by H. Kneser, "Reelle analytische Lösungen der Gleichung $φ(φ(x))=e^x$ und verwandter Funktional-gleichungen", J. Reine Angew. Math. 187 (1949), 56-67.

I'm afraid I don't know the details of the construction, but hopefully this reference is helpful.

Other relevant threads:

$\endgroup$
  • $\begingroup$ thank you for your answer, did you see my edition? $\endgroup$ – user42912 Feb 7 '13 at 0:51

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