Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How would I calculate the power series of $f(x)$ if $f(f(x)) = e^x$? Is there a faster-converging method than power series for fractional iteration/functional square roots?

share|improve this question
Are you looking for an analytic function? Such a $f$ does not exist in the analytic category. –  Henri Aug 22 '11 at 16:03
I wasn't aware that $f$ wasn't analytic, but I'm looking for whatever I can graph. –  jnm2 Aug 22 '11 at 16:05
Aside: $f$ cannot be a function composed of basic arithmetic operations, exponentials, and logs: Scott Aaronson has a proof here (see Comment #52), that for any such function, $f(f(x))$ is either subexponential or superexponential. See also Mathoverflow where it is said that "there are analytic solutions in a neighborhood of the real line, but they are known not to be entire". –  ShreevatsaR Aug 22 '11 at 16:06
Also an answer at the above Mathoverflow question links to these discussions which are about precisely your question. –  ShreevatsaR Aug 22 '11 at 16:07
@Henri: An explanation of why no such analytic function can exist would probably be a good answer, even though it does not completely answer the question. –  Michael Hardy Aug 22 '11 at 17:27

3 Answers 3

up vote 11 down vote accepted

Here's the proof of a theorem due to Thron (1956), extracted from a article of Laurent Bonavero (available at his webpage).

Theorem. There is no entire function $f$ (that is $f:\mathbb C \to \mathbb C$ holomorphic) such that $\exp = f \circ f$.

Proof. If such a function $f$ exists, then $f(\mathbb C)= \mathbb C^*$. Indeed, $f(\mathbb C) \supset \exp(\mathbb C) = \mathbb C^*$, but $0$ can't be in the image of $f$: if $f(x)=0$, then as $x \neq 0$, there exists $y$ such that $x=f(y)$ so that $\exp(y)=0$, absurd.

Therefore $f$ can be lifted by the exponential, $f=\exp \circ g \,$ for $g$ entire. So $\exp = \exp(g \circ f)$, and there must exist a constant $C$ such that $g \circ f(z)=z+C$ for all $z\in \mathbb C$. It follows that $f$ is injective, so $\exp$ should be injective too, which is absurd!

share|improve this answer
Seems this post does not answer the question. The questioner did not look for an entire function and even for funtions on the complex plane at all. –  Anixx Dec 20 '12 at 14:40

Look at this answer:


In short, the analytic solution is

$$g^{[1/2]}(x)=\phi(x)=\sum_{m=0}^{\infty} \binom {1/2}m \sum_{k=0}^m\binom mk(-1)^{m-k}g^{[k]}(x)$$

$$g^{[1/2]}(x)=\lim_{n\to\infty}\binom {1/2}n\sum_{k=0}^n\frac{1/2-n}{1/2-k}\binom nk(-1)^{n-k}g^{[k]}(x)$$

$$g^{[1/2]}(x)=\lim_{n\to\infty}\frac{\sum_{k=0}^{n} \frac{(-1)^k g^{[k]}(x)}{(1/2-k)k!(n-k)!}}{\sum_{k=0}^{n} \frac{(-1)^k }{(1/2-k) k!(n-k)!}}$$

Insert here $g(x)=e^x$ The same way you can find not only square iterative root but iterative root of any power.

share|improve this answer

There is a lot of material about this question here and in mathoverflow. There is also a "Tetration forum", where someone has implemented a version of tetration due to Hellmuth Kneser, see some forum entries there: http://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=8" also in citizendium there is an extensive article of Dmitri Kousznetzov who claims he has a usable interpretation (and implementation) see http://en.citizendium.org/wiki/Tetration

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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