A Holomorphic Function Asymptotic to Tetration
Hey Everyone,

After the stunning defeat of my function when trying to construct holomorphic tetration, I've gone back to the drawing board. And instead of producing Tetration, I've focused on producing an asymptotic function to tetration. Or rather, functions which satisfy an asymptotic relationship similar to the functional equation of tetration. Enter in the function,

Which is holomorphic for where . Of which satisfies the identity,

Wherein, this relationship will also look like,

I have a proof the iterated log procedure will work on the real-line, as it does with . I also can't see this producing as many errors in the complex plane, because the functional equation is eventually tetration. This would mean,

May have a better chance at converging. Plus the differential relationship will be better satisfied (I think; at least better than where it wasn't with ), which is,

And somewhat similarly for higher order derivatives. The trouble with being it isn't entire. And it has poles which will show up in the limit formula, unless we're careful. I do have hope though that this might construct a function tetration function in some domain in the complex plane (think ).

Anyway, I think this guy might actually work. I'm not going to get ahead of myself though; at the moment all I can do is produce a proof on the real line, but this seems far more hopeful. As it has to solve the functional equation minus an error which drops off exponentially.

Regards, James

PS: As a manner of avoiding the poles and avoiding the periodic problem, it may make sense to take a function,

And assuming we choose such that it satisfies for in some domain (thinking a domain which may look like ), then,

Still satisfies the functional equation/asymptotic relationship (though slightly weaker),

Then through logarithms, again, try to define this tetration on . I'd have to play with this more though.... Anyways.

To clarify, I'll use the mobius map as a starting point,

Where are the unit disk and the upper half plane, respectively. The boundary of is sent to the real line including the point at infinity. If we take,

Then , where on the real line, it hits the boundary values of which includes the anomalous points and --which we'll some how have to work around. But otherwise, in the complex plane, we should get a well behaved which has an asymptotic relationship to tetration at infinity (wherever ). Where now the singularities are almost voided because they'll begin to appear less sporadically as the real argument grows (in the complex plane), and it's still real valued; minusing the most anomalous points . Taking the conjugate shouldn't pose a problem. Upon which, after taking our iterated logs, we're reduced to showing the singularities are removable at --which is saying a lot, lol.

And then, what we want is definitely not ; that would be far too easy. We want a NICE enough Riemann mapping that takes so that,

Or at least, something close enough to this situation; or something similarly well controlled. Even might have a hope of working. So long as we choose our Riemann mapping to be real valued, and well enough for the log process to work, ; I think we may have a chance in hell.

For instance, the function may be a hopeful solution; but what I want is something like this, without being this exactly.


Last edit, I swear; I'm not going to touch this anymore. I've already done like 15 edits. It may be better to use , and just go along with the log construction. Because in this case we can still have,

But the exponential drop off may be more like in this case.

PPS: A BIG thank you goes to Tommy for this one. He didn't give up on how to construct tetration in this manner; and I think we might be able to do it with a switched up difference relation than , largely because of Tommy's weird choices for . He was definitely right when he said is the wrong asymptotic solution. And his talking points are the main reason I think might work.
Hey, everyone.

I'm going to run through a proof of uniform convergence of ; to get a feel for what it might look like. I might make some errors, but this is looking like it might work.

Let's start by considering and as variables; assume that and for some ; and with . We'll call this set . As such, . We have a holomorphic function for given by,

This satisfies the functional equation,

And the way we've constructed is such that for any compact subset we must have,

This is all that's needed to prove holomorphy of by the same proof which constructed . In which,

And just as well by Taylor's theorem,

Which holds as by construction. So in defining a sequence of convergents where,

As for , we get by induction as . We may expect a swift enough convergence in this manner. Then,

To which,

So at infinity we have a normality condition, in which is bounded for large enough . Where convergence should follow for when .  And here is where we need a Riemann mapping on ...

Please, I need help at this point of the proof. But I think I have it.
Start by taking the function , and define a sequence of functions such that,

We aren't too concerned about where is holomorphic at the moment. We know that,

Assume that,

And we are reduced to the equation,

Now we can calculate inductively on . Assuming we know for ; then we can find by,

Of which this limit necessarily exists; and constructs a sequence . And now our problem is reduced to solving .

We are also given the quick relation,

Then since we know that we know that,

Because, , this implies that,

This gives us hope we can devise a normality condition on as it controls how fast can dip to zero; which is the exact problem we had with . This can be more aptly written,

But we can say something stronger. We know that and this means that,

As this is the term in the logarithm, and in order for to tend to zero exponentially the term in the logarithm has to as well. Therefore we can say that,

Where for any we have as . Which tells us that,

Which informs us asymptotically how approaches zero at infinity... slower than any exponential. This should help us with the limit; in the end, and making sure we stay away from zero when defining our function .

As to the second part, when we actually go about and take this limit we want to be a function of . And in this sense, we want where  and . This would mean for every imaginary part of there is a large enough in which exists for . This is where we'll need a clever Riemann mapping on over some simply connected domain ; which I'm not sure how to do; especially as this requires a two variable ideation.

Forget I said anything about periodic functions, I don't think that's necessary here. I'm going to keep plugging and playing with this, but the more I fiddle the more this has none of the problems has.

Regards, James.


Some even more evidence this is doable. Let be an implicitly defined function such that,

Which would require an implicit solution ; hinting that the logarithm trick might work for correctly chosen ; as it's idempotent in this case.

Possibly Related Threads…
Thread Author Replies Views Last Post
  [MSE] Mick's function Caleb 1 59 03/08/2023, 02:33 AM
Last Post: Caleb
  [special] binary partition zeta function tommy1729 1 72 02/27/2023, 01:23 PM
Last Post: tommy1729
  [NT] Extending a Jacobi function using Riemann Surfaces JmsNxn 2 88 02/26/2023, 08:22 PM
Last Post: tommy1729
  toy zeta function tommy1729 0 109 01/20/2023, 11:02 PM
Last Post: tommy1729
  geometric function theory ideas tommy1729 0 145 12/31/2022, 12:19 AM
Last Post: tommy1729
  Iterated function convergence Daniel 1 246 12/18/2022, 01:40 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 5,892 09/14/2022, 08:05 AM
Last Post: Gottfried
  Searching for an asymptotic to exp[0.5] tommy1729 204 403,090 09/10/2022, 12:28 PM
Last Post: tommy1729
  Constructing an analytic repelling Abel function JmsNxn 0 443 07/11/2022, 10:30 PM
Last Post: JmsNxn
Question Tetration Asymptotic Series Catullus 18 2,475 07/05/2022, 01:29 AM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)