Could be tetration if this integral converges

[mike3]

And on your point about uniqueness. I was being very brief but giving an over view of how we may be able to qualify uniqueness. In technical terms, "it's the only function that in the inverse mellin transform produces an entire function f that is Weyl differintegrable on the right half plane \( \sigma > -1 \)"

So you mean "the inverse Mellin transform of the tetrational", right? Or do you mean of the reciprocal? Also, what do you mean by "Weyl differintegrable"? According to here:

http://en.wikipedia.org/wiki/Weyl_differintegral

that is something that only functions with a Fourier series, i.e. periodic, can have. Tetration is not periodic (although it does have a pair of "pseudo periods").

However after seeing what you just posted I have to draw the same conclusion as you. \( \vartheta \) has no hope of converging in a mellin transform. Which is what I pretty much figured. BUT! we're not out of the woods yet.


IF we can find some entire function \( F(z) \) such that for \( 0 < \sigma < 1 \):

\( \int_0^\infty |\sum_{n=0}^\infty F(n)\frac{(-w)^n}{n!(^ne)}|w^{\sigma - 1} < \infty \)

we are back in the game

OR IF we can find some entire function \( F(z) \) such that for \( |\frac{F(-z)}{(^{-z} e)} |<C e^{\alpha|\Im(z)| + \rho|\Re(z)|} \) for \( 0 \le \alpha < \pi/2 \) and \( 0 \le \rho \)

we are back in the game.


By back in the game I mean I think I can provide an analytic expression for tetration. I'm just finishing the paper I'm working on at the moment and it contains a fair amount of what I'm talking about a lot more rigorously. I'll attach it once I know it's in it's final form. It shows what I am talking about more c learly when I am using fractional calculus on recursion.

Hmm. Given the nasty, chaotic behavior of tetration I've mentioned, it would seem the second kind of function would be more difficult than the first.

Actually, I think it might be possible to get a function of the first type (for the series). If we could find an entire function \( F(z) \) such that \( F(n) =\ ^n e \) when \( n \in \mathbb{N} \), then we should be in luck, for then your sum will just be \( e^{-w} \) and your integral \( \Gamma(\sigma) \). Such a function need not be a tetration extension, for it need not satisfy the functional equation for tetration, merely interpolate the values at the natural numbers.

However, it seems you can get a different \( \vartheta \) for every \( F \), indeed, I believe, with judicious choice of the \( F \), you can make \( \vartheta \) anything you want, indeed, any function which decays to 0 and is analytic. So it would seem that any tetration extension constructed with this method would be highly non-unique, unless I'm missing something. Does the final tetration result not depend on the choice of \( F \)?

According to this:
http://mathoverflow.net/questions/2944/w...anns-funct

there is a method to construct an entire interpolant of any increasing sequence, which would include \( {^n} e \). So this should provide (many!) suitable candidates \( F \) that will reduce your integral to the \( \Gamma \) function.