# Tetration Forum

Full Version: Some integral transforms related to tetration
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
Hey everybody, I've just been working on some integral transforms related to tetration and was wondering if anyone could help me out.

We first consider exponential space, which is the closure of the infinite linear span of exponential functions, so all functions of the form for and linear combinations of them over complex numbers.

We define the iterated derivative as
which is just a rewritten form of Riemann Liouville's differintegral with lower limit negative infinity.

It is clear one of its inverses is the taylor series so that

However it also possesses another expression for its inverse:

This took me a little while to prove but I've done it, and its in the following pdf [attachment=1007]
It's still a rough paper and I'm planning to add a lot more. I'm still wondering about the conditions of convergence and some info about what functions this is legal for. For example, if we take a periodic function with period one and put it in the integral transform it is unlikely it equals the series transform.
I.e:

This has given me some great baffling, and I was wondering if someone might be able to explain why this happens. I've calculated the equivalence of the Taylor series transformation with the continuous transformation for some functions so I'm wondering how to classify them.

Next I went on to define two transformations intimately related to tetration:

Defining we have and

Defining

We see they satisfy the same equations, and so I am wondering if the two are equivalent up to constant for at least some extension of tetration. This is algebraically equivalent to how the taylor series equals the equivalent continuous transformation. For at least some functions.

We also note that and so we are close to an inverse. My hypothesis is that the inverse of is But I have had little luck in finding such.

An interesting set of functions are the two sets of eigenvectors of If we define as the following:

They both satisfy and and they both converge for at least I'm wondering if it could be possible that they are equivalent.

We also find that if we can analytically continue these functions to all then they are the sets of functions that satisfy:

We can define, given the space of real exponential functions, the complex linear span of , an inner product which turns this in a Hilbert space:

This is very similar to the space of almost periodic functions insofar as it has the same inner product and orthonormal basis: . We find a very curious result, that We could say that is unitary but we run into some problems since by definition the kernel This is because is a closed operator, so:

for all and since we are considering these functions globally, zero for all s.

Of the most interest to me is the following relationship:

and so I was wondering if we could find a way of iterating we could arrive at a closed form expression for tetration, by example:

This reduces the problem of tetration to a problem in integral operators. So far I've had little luck with this problem. I thought expanding using the binomial theorem would work but that was to no avail. This does give an iterate but its solution does not satisfy the identity (1) I have a hunch that there is a way to iterate but it might involve using tetration rather than giving tetration, something that is slightly disappointing.