+- Tetration Forum (https://tetrationforum.org)
+-- Forum: Tetration and Related Topics (https://tetrationforum.org/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://tetrationforum.org/forumdisplay.php?fid=3)
+--- Thread: Laplace transform of tetration (/showthread.php?tid=298)
Laplace transform of tetration - BenStandeven - 06/01/2009
Let a be a base \( 1 < a < \e^{1/\e} \). Then we can build a regular tetration function \( tet_a \) around either of the fixed points. In either case, the function will be periodic, with period given by \( per(a) = 2 \pi \i / \log(\log(f)) \) for f the fixed point.
Thus the Laplace transform of sexp_a is:
\( tet_a(z) = \sum_{k \in Z} \e^{per(a) k z} c_k \)
Here, if we expand around the lower fixed point, all the positive coefficients will be zero, since the function tends to the fixed point at \( +\inf \). Similarly, if we expand around the upper fixed point, all the negative coefficients will be zero. In either case, \( c_0 \) is the chosen fixed point.
Now from the equation above, we have \( tet_a(z+1) = \sum_{k \in Z} \e^{per(a) k z} [\e^{per(a) k} c_k] \). But by definition, this is equal to \( \exp_a(tet_a(z)) = \sum_{n \in N} \frac{\(\sum_{k \in Z} e^{per(a) k z} c_k \log(a)\)^n}{n!} \).
By equating the terms of the resulting Laplace series, we get the equation \( c_k e^{per(a) k} = \sum_{n \in N} \frac{(\log a)^n}{n!} \sum_{\Sigma k_i = k} \[\prod_{i=1}^n c_{k_i}\] \). The inner sum is over all integer sequences of length n which sum to k. The finitude of this sum is ensured by the fact that either all positive or all negative coefficients are zero.
RE: Laplace transform of tetration - bo198214 - 06/01/2009
(06/01/2009, 06:14 PM)BenStandeven Wrote: Thus the Laplace transform of sexp_a is:Isnt that the Fourier deveopment?
Quote:By equating the terms of the resulting Laplace series, we get the equation \( c_k e^{per(a) k} = \sum_{n \in N} \frac{(\log a)^n}{n!} \sum_{\Sigma k_i = k} \[\prod_{i=1}^n c_{k_i}\] \). The inner sum is over all integer sequences of length n which sum to k. The finitude of this sum is ensured by the fact that either all positive or all negative coefficients are zero.
And actually the \( c_k \) are the coefficients of the inverse Schröder powerseries.
Incidentally Dmitrii and I just finished an article about exactly that topic, which I append.
RE: Laplace transform of tetration - andydude - 06/01/2009
Wow, nice article! I wept.
I think one of the parts that was new to me was the proof that the tetrations developed at the fixed points 2 and 4 are different. You show that their periods are different, thus they must be different. So simple!