Could be tetration if this integral converges
Hi everyone. I've been fiddling with this for a while and it looks like we should have some kind of convergence on an expression for tetration I've found. I'm not certain if i'm making mistakes or not but any help would be great. My mathematica is broke.

Lets take The mellin inversion theorem.


where and:

Then we get the result that, for :

We also have the imaginary asymptotics of the Gamma function:

and the real asymptotics:

We almost have everything, lets add one more condition.

We are going to analytically continue tetration in a few steps.

Let us say that for . Let us also say that it has uniform decay as and for . This function has a pole at negative one and is holomorphic everywhere else.

Then let us take the function for :

Then we know since this is a modified mellin transform:


So what right? We need an extension of tetration to solve this...

Nope. Lets do some more magic with the Gamma function and you'll see that's why it's in the kernel.

It is known that:

So we see that the Gamma function has poles at the negative integers. The rightmost term is entire as well, so its only contribution asymptotics. Now lets look at the modified mellin transform and talk about the contour

where is an arc to the left of the line.

Then we know, by Cauchy's theorem:

And by the asymptotics of as we get!

And we are left with:

But wait! This relies only on.... the discrete values.

Okay okay, does this satisfy recursion though?

Let's see, let us define, for :

It is not difficult to show that by our restrictions on that it has to grow only so fast at plus/minus imaginary infinity so that the gamma function can still cancel out. This means that will satisfy the same restrictions (since we also have the added condition that .

It is not difficult to show that:

But using a little math!:

We are allowed to take for because we can analytically continue it to

Therefore, Since the modified mellin transform is a modified fourier transform as well... It is one to one and so we just showed it satisfied recursion.

There we are. Analytic tetration for

This will work on probably all real numbers. Without the fixpoint theorems it has no problem with . I've done this more aggressively in a long paper justifying all the steps using the Taylor series more and more. I'm very skeptical about it working and my mathematica isn't working so I don't know how to check if the integral converges. If it does, we should be good. I hope at least. Any comments would mean a lot , thanks. I realize this is a very rough proof sketch. I'd be happy to show anyone my paper which has more research into the matter. It's almost complete. I took the liberty of completely avoiding talking about the Weyl differintegral here but that's all that I was doing Smile.

Messages In This Thread
Could be tetration if this integral converges - by JmsNxn - 04/03/2014, 02:14 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 5,358 03/03/2019, 08:55 AM
Last Post: Chenjesu
  [integral] How to integrate a fourier series ? tommy1729 1 5,540 05/04/2014, 03:19 PM
Last Post: tommy1729
  Some integral transforms related to tetration JmsNxn 0 3,741 05/02/2013, 07:54 PM
Last Post: JmsNxn
  (draft) integral idea tommy1729 0 4,475 06/25/2011, 10:17 PM
Last Post: tommy1729
  Cauchy integral also for b< e^(1/e)? bo198214 14 26,304 04/24/2009, 05:29 PM
Last Post: bo198214

Users browsing this thread: 1 Guest(s)