Tetration Forum

Full Version: Theorem on tetration.
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
Hey everyone. I thought I'd post this theorem, perhaps someone has some uses for it.


A.) If is holomorphic for for some and for and .

B.) for some and we have

Then, for we have


Well this is rather easy:

Which follows by cauchy's residue formula and the bounds of F (the gamma function along with x small enough pulls the arc next to our line integral to zero at infinity). For those who don't see,

where the right term is entire in z and only contribute asymptotics, observe stirlings asymptotic formula

Therefore this holds.

Now observe that by a similar argument:

And of course, by another similar argument:

Therefore since the kernel of this integral transform is zero (its a modified fourier transform). On the line we have . Therefore since both functions are analytic we get the desired.

I'm wondering, does anyone see any uses for this?

I know with some formal manipulation we can say that, if and and is holo and is invertible which satisfies the bounds above. Then