MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The equation $f(f(x))=xe^x=x+x^2+\frac{x^3}{2}+\frac{x^4}{6}+\dots$ has a unique formal powerseries solution. Is its convergence radius 0 as was shown by Baker for the equation $f(f(x))=e^x-1$? Or more generally: Let $F(x)=xe^x$ does the unique formal powerseries solution of $F(f_t(x))=f_t(F(x))$ with $f_t(x)=x+t x^2 +\dots$ have convergence radius 0 for all non-integer numbers $t$?

share|cite|improve this question

I don't have an analytically founded answer, but like in the thread on the iteration of sin(x) formal power series convergence I've plotted the characteristics of the coefficients of the powerseries for the half-iterate of x*exp(x). In the first plot we see, that the log of the absolute values of the coefficients grow nearly linearly with their index, so this is a hypergeometric series. See growth.
Also look at the differences of that values; this is even more suggestive because of the typical pattern which suggests, that the differences of the logs grow asymptotic linearly with the logs of the index, which is just another expression for hypergeometric growthrate. So the convergence-radius for the half-iterate seems to be zero as is for the half-iterate of $ exp(x)-1 $ .

share|cite|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.