03/17/2021, 11:15 PM

Hey, everyone.

I made a post last night, but it really wasn't what I wanted, so I deleted it today and decided to write it out better this time. I'll begin by constructing tetration base and proving some properties about it, and then branch off into how I envision a base-change method looking. This is intended as a manner to use hyper-operations base to construct hyper-operations base .

Start with the function which has a neutral fixed point at . There is an attractive petal which includes the line . We can define an Abel function on this petal such that,

Let, be a neighborhood of the point in the attracting petal . The function is univalent on (for a small enough ) in this neighborhood. Further, as in this neighborhood --which corresponds to iterating which converts to right translations. This allows us to define a function,

Which can be written,

Upon which, as while we get that ; as this relates to right translations which eventually approach the fixed point and approaches in the manner . What we want now, is to know what happens as ; upon which it can't grow faster than by nature of Abel functions on neutral fixed points (this is an argument from John Milnor and the manner of constructing ), where at infinity it looks like the identity function through a substitution.

So now we are safe and have the following bounds (which are fairly weak from what we can say, but all we need),

For, and --which is again, a very weak bound. And now we enter the inverse mellin transform. Let then,

The poles of this integrand in the left half plane are at and their residues are,

Since we have the exponential bounds of and that,

By a standard exercise in contour integration, we get,

And also, by Mellin's inversion theorem, we know that,

Since is entire, we can analyticially continue this expression by breaking the integral into --and we make the substitution so that,

Which provides a formula for depending solely on the natural iterates . Now since, there exists such that , which implies the function is holomorphic for . And now we extend this function to its maximal domain . To do this, we go by induction.

Assume that is holomorphic for and . Assume that,

Then certainly for all ,

Take such that is holomorphic for . Then, for all ,

Now the function is exponentially bounded as above. And therefore it's inverse mellin transform is,

But, by the invertibility of the mellin transform, when we take the mellin transform we must get that it is zero while also equaling . And therefore,

This then implies that for all . This implies that is a period of ; but has no period, therefore . Therefore, since there can be no other point where . Therefore the logarithm of is always defined for . A similar analysis works for . Therefore,

Further, on the attractive petal we have that,

This implies a couple thing. First of all, if then because and this is impossible by injectivity of tetration. We have a holomorphic slog function which is very well behaved, --which is equally as bijective.

When we use which is the functional inverse of , we know that is repelling on the petal and tends to infinity. This implies that while for .

Now here is where we start for constructing a basechange function. Typically as I've seen attempts, we would use the unbounded branch of (the chi function, I believe we called it)--I want to use the bounded tetration to construct unbounded tetration.

Let's try to look for a function such that,

So we really only care about for . Now, it's obvious there are many functions which satisfy these properties; of which the goal I have in mind, is to sequentially approximate with in which,

Now the existence of these functions are ABSOLUTELY guaranteed. The example I have in mind is to use Kneser's tetration, and simply take,

But, as the reader may guess, this is cheating. We use Kneser's solution to get , which is putting the cart before the horse really. But I'm wondering if we can use what we know about Kneser's tetration, to attempt to construct independently.

Usually the constructive manner of creating this function is to use iterated logs. This won't work in this case because we are using the bounded branch of 's iteration. And largely, by this point, I believe the iterated log method has become sort of hopeless to produce holomorphy. Instead, we want to look at the behaviour of as for where a complex fixed point, and use this to approximate way off in the left half plane. I am not certain how to do this, but I'm experimenting with certain processes.

For example,

satisfies,

For a function . If we were able to choose this properly so that, convergence is guaranteed and the properties of are satisfied for each , we may have an approach as solving these equations. Finding a function will be the difficult part here. The alternative way I think we might be able to do this; rather than dealing directly with iterated exponentials, we look at the Inverse Schroder function of .

Where,

Where is a -periodic function. Let's let this be holomorphic for . This function will satisfy the identity, and,

This function will pretty much satisfy all our requirements of except for the real-valued requirement, unless we choose properly. Where, spoiler alert, Kneser's choice is the right choice. Now, we have restricted our attention to the function ; but now we are asking for a function which is invariant under the operator . Which is for . And I wonder if we can find a suitable function by using a sequence of functions .

Now, the main reason I chose to write all this out, is a question about hyper-operators. Does there exist a tetration base such that,

Such that,

If there is, we can construct a pentation function which satisfies pretty much all the above properties that satisfy--except we change the domains of holomorphy to suit pentation. But the mellin transform identity will still hold, and therefore so will the injectivity (which is crucial), non-periodicity will occur, so the inverse function will be unbounded; when using periodic functions the inverse function will be restricted to a horizontal strip the length of periodicity (why we didn't use and we used ).

All in all, I'm not quite too sure if this is doable. But upon which we'd have the function,

Any comments, suggested reading, questions regarding my construction, would be greatly appreciated,

Regards, James

I made a post last night, but it really wasn't what I wanted, so I deleted it today and decided to write it out better this time. I'll begin by constructing tetration base and proving some properties about it, and then branch off into how I envision a base-change method looking. This is intended as a manner to use hyper-operations base to construct hyper-operations base .

Start with the function which has a neutral fixed point at . There is an attractive petal which includes the line . We can define an Abel function on this petal such that,

Let, be a neighborhood of the point in the attracting petal . The function is univalent on (for a small enough ) in this neighborhood. Further, as in this neighborhood --which corresponds to iterating which converts to right translations. This allows us to define a function,

Which can be written,

Upon which, as while we get that ; as this relates to right translations which eventually approach the fixed point and approaches in the manner . What we want now, is to know what happens as ; upon which it can't grow faster than by nature of Abel functions on neutral fixed points (this is an argument from John Milnor and the manner of constructing ), where at infinity it looks like the identity function through a substitution.

So now we are safe and have the following bounds (which are fairly weak from what we can say, but all we need),

For, and --which is again, a very weak bound. And now we enter the inverse mellin transform. Let then,

The poles of this integrand in the left half plane are at and their residues are,

Since we have the exponential bounds of and that,

By a standard exercise in contour integration, we get,

And also, by Mellin's inversion theorem, we know that,

Since is entire, we can analyticially continue this expression by breaking the integral into --and we make the substitution so that,

Which provides a formula for depending solely on the natural iterates . Now since, there exists such that , which implies the function is holomorphic for . And now we extend this function to its maximal domain . To do this, we go by induction.

Assume that is holomorphic for and . Assume that,

Then certainly for all ,

Take such that is holomorphic for . Then, for all ,

Now the function is exponentially bounded as above. And therefore it's inverse mellin transform is,

But, by the invertibility of the mellin transform, when we take the mellin transform we must get that it is zero while also equaling . And therefore,

This then implies that for all . This implies that is a period of ; but has no period, therefore . Therefore, since there can be no other point where . Therefore the logarithm of is always defined for . A similar analysis works for . Therefore,

Further, on the attractive petal we have that,

This implies a couple thing. First of all, if then because and this is impossible by injectivity of tetration. We have a holomorphic slog function which is very well behaved, --which is equally as bijective.

When we use which is the functional inverse of , we know that is repelling on the petal and tends to infinity. This implies that while for .

Now here is where we start for constructing a basechange function. Typically as I've seen attempts, we would use the unbounded branch of (the chi function, I believe we called it)--I want to use the bounded tetration to construct unbounded tetration.

Let's try to look for a function such that,

So we really only care about for . Now, it's obvious there are many functions which satisfy these properties; of which the goal I have in mind, is to sequentially approximate with in which,

Now the existence of these functions are ABSOLUTELY guaranteed. The example I have in mind is to use Kneser's tetration, and simply take,

But, as the reader may guess, this is cheating. We use Kneser's solution to get , which is putting the cart before the horse really. But I'm wondering if we can use what we know about Kneser's tetration, to attempt to construct independently.

Usually the constructive manner of creating this function is to use iterated logs. This won't work in this case because we are using the bounded branch of 's iteration. And largely, by this point, I believe the iterated log method has become sort of hopeless to produce holomorphy. Instead, we want to look at the behaviour of as for where a complex fixed point, and use this to approximate way off in the left half plane. I am not certain how to do this, but I'm experimenting with certain processes.

For example,

satisfies,

For a function . If we were able to choose this properly so that, convergence is guaranteed and the properties of are satisfied for each , we may have an approach as solving these equations. Finding a function will be the difficult part here. The alternative way I think we might be able to do this; rather than dealing directly with iterated exponentials, we look at the Inverse Schroder function of .

Where,

Where is a -periodic function. Let's let this be holomorphic for . This function will satisfy the identity, and,

This function will pretty much satisfy all our requirements of except for the real-valued requirement, unless we choose properly. Where, spoiler alert, Kneser's choice is the right choice. Now, we have restricted our attention to the function ; but now we are asking for a function which is invariant under the operator . Which is for . And I wonder if we can find a suitable function by using a sequence of functions .

Now, the main reason I chose to write all this out, is a question about hyper-operators. Does there exist a tetration base such that,

Such that,

If there is, we can construct a pentation function which satisfies pretty much all the above properties that satisfy--except we change the domains of holomorphy to suit pentation. But the mellin transform identity will still hold, and therefore so will the injectivity (which is crucial), non-periodicity will occur, so the inverse function will be unbounded; when using periodic functions the inverse function will be restricted to a horizontal strip the length of periodicity (why we didn't use and we used ).

All in all, I'm not quite too sure if this is doable. But upon which we'd have the function,

Any comments, suggested reading, questions regarding my construction, would be greatly appreciated,

Regards, James