JmsNxn,
I am a little suspicious of this method. In particular, I'm not sure the integral
, 
converges. I have done some numerical tests and it seems that the sup of
for
grows to infinity as
and grows fast enough that the decay of
does not suppress it. This is just an experimental result, I'm not sure of the formal proof of divergence yet.
In addition to this, I am suspect of the method used to show uniqueness, in particular, the use of the 1-cyclic warping of the tetration. sheldonison had constructed here:
http://math.eretrandre.org/tetrationforu...p?pid=5019
an alternate tetration function which decays to a different, non-principal set of fixed points of the logarithm at
. Such a function (or its reciprocal
) has the asymptotic behavior you want, yet is different than the "usual" tetrational. That is, both
and the alternate
constructed have the property that their mirrored reciprocals
satisfy
for
in a vertical strip with
which does not include points arbitrarily close to
since they are bounded in such a strip.
I suspect these are related by a 1-cyclic mapping which is such that it is not entire but instead has branch singularities, and so the warping requires a more careful treatment. In particular, you can get the warping by restricting to the real axis, then applying the 1-cyclic map, then analytically continuing again to the plane. The branch nature precludes a simple substitution on the whole plane.
Also, are you sure you have that right, that a tetration function
should satisfy
for some
and
with  < 1)
? I believe that any tetration function
which is holomorphic for
must take on values arbitrarily close to
, so that its reciprocal is unbounded, and thus cannot satisfy the exponential bound on an entire half-plane (but it can on a strip, of course).
This can be shown from the chaos of the exponential map
. A tetration function (more correctly, a superfunction of the exponential function) satisfies
. The exponential map is topologically transitive, which means that if we have an open set
, and another
, we can find an integer n such that
contains at least one point of
. In particular, if we let
, which is open by the openness of the strip and the open mapping theorem, we have for any open
-disc
around
, no matter how small
, there is an n such that
, and thus
of the strip
contains a point in that disc, hence within
of 0, and so the reciprocal
must be unbounded on
, thus
on
and
is also so unbounded.
I am a little suspicious of this method. In particular, I'm not sure the integral
converges. I have done some numerical tests and it seems that the sup of
In addition to this, I am suspect of the method used to show uniqueness, in particular, the use of the 1-cyclic warping of the tetration. sheldonison had constructed here:
http://math.eretrandre.org/tetrationforu...p?pid=5019
an alternate tetration function which decays to a different, non-principal set of fixed points of the logarithm at
I suspect these are related by a 1-cyclic mapping which is such that it is not entire but instead has branch singularities, and so the warping requires a more careful treatment. In particular, you can get the warping by restricting to the real axis, then applying the 1-cyclic map, then analytically continuing again to the plane. The branch nature precludes a simple substitution on the whole plane.
Also, are you sure you have that right, that a tetration function
? I believe that any tetration function
This can be shown from the chaos of the exponential map