Daniel Wrote:The other values of have hyperbolic fixed points and could be solved using Schroeder's functional equation, Bell matrices or other equivalent methods.

For all values of in the function is strictly decreasing and has a fixed point with . So Schroeder, Bell and equivalent methods do not fit.

Strictly increasing and decrasing functions can be seen a bit in similarity with negative and positive numbers. For example

is strictly increasing and is strictly decreasing for being strictly decreasing.

Which is similar to and for .

Accordingly there are no strictly monotonic iterative square roots (or generally even roots) of strictly decreasing functions. (regardless whether the square root is increasing or decreasing, the iterative square must be increasing, but it is decreasing).

Now you can say: Ok, then we allow non-monotonic functions (perhaps in analogy to the complex numbers, where we can extract square roots). But there is another thing:

Proposition. The iterative root of a strictly monotonic continuous function (on an open interval X) is continuous if and only if it is strictly monotonic.

So if we give up strict monotony of the root we also give up continuity, which then makes no more sense.

Hence all the exponents are lacking for tetration with and so we have no appropriate .

If we use the analogy with real numbers then , , can be defined as if but it can not be defined for the cancelled fraction .

(At this place I also want to correct some nonsense that I stated in my first post. It has to be: "because is not surjective for , can not be defined. This gives also trouble with .")

So on the reals there is no way to continuously define for . However if we extend our domain to the complex numbers there is the way, or rather the ways . Here for each there is a such that indeed :

.

However there is no function that for all n.

The suggestion of Daniel to simply iterate the strictly increasing does not really help about our problem as we still can not define the fractional iterates .

The only possibility I see is to extend the tetration for bases in to complex values. I think there are possibilities for (multiple) continuous iterative square roots there from which we can define a family of super exponentials such that for each , we have , where the reciprocal is surely wrong, but just there to give a rough idea.