Taylor series of a power tower

190 Views Asked by At

I recently proved that the Taylor Series of $\exp(\exp(x))$ is given by $$\exp(\exp(x))=\sum_{n=0}^\infty \frac{eB_n x^n}{n!}$$ where $B_n$ are the Bell Numbers.

However, I can't figure out a Taylor series for the function $$\exp(\exp(\exp(x))) = \text{ ?}$$ Does anyone know how to find this Taylor series, perhaps in terms of the Bell or Stirling numbers, or any other well-known sequences? The first couple terms are $$\frac{e^e}{0!}+\frac{e^{e+1}}{1!}x+\frac{e^{e+2}+2e^{e+1}}{2!}x^2 + \frac{e^{e+3}+6e^{e+2}+5e^{e+1}}{3!}x^3+\cdots$$

1

There are 1 best solutions below

0
On

It will be cleaner to instead compute the Taylor series of

$$\exp(t (\exp(\exp(x) - 1) - 1) )$$

where $t$ is a parameter, then set $t = e$ and multiply by $e^e$. This is because, like $\exp(\exp(x) - 1)$, whose coefficients are the Bell numbers, the coefficients of this Taylor series have a combinatorial interpretation. More precisely, the yoga of exponential generating functions can be used to show that they count the following:

The coefficient of $t^k \frac{x^n}{n!}$ is the number of ways to partition a set of size $n$ into $k$ nonempty subsets, then to further partition each of those subsets into some number of nonempty subsets. One might call these "2-level" set partitions.

Similarly $\exp(\exp(\exp(\exp(x)))$ is related to "3-level" set partitions, with a bunch of random $e$s around because you haven't subtracted $1$, and so forth.