Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Using a family of asymptotic tetration functions...
(04/26/2021, 02:11 AM)sheldonison Wrote: Thanks James,

Your latest paper looks really impressive; I will comment more later; I've been too busy to spend any time on tetration over the last month and a half.
- Sheldon

Thank you, Sheldon, for doing that variable change,

And thinking of it as a weird Schroder equation. That was definitely the click I needed. Using obviously doesn't work because it solves,

Which is definitely not tetration at . Whereas, the function,

IS definitely tetration at because . Which isn't really obvious when you write it using the variable . They both go to infinity, and they both display chaotic behaviour; but one looks like and the other just looks like .

If you ever get the time to do Tetration again, I'm happy to answer any questions. A lot of this is very complicated, and especially when pasting the tetration functions together to get the tetration we actually want; I imagine it'll be very confusing. The key though, is that once you can do this uniformly in and ; you can talk about moving while iterating; and everything still works.

At this point, I can't think of anything to add to the paper. And as a disclaimer; I am a horrible programmer. I only ever did a bunch of C programming back in the glory days of XBOX mods; where I dealt with hex code as a primary. My piece de resistance was a hack for Capcom games that broke the encryption of picture files... to make girls naked on a certain Capcom game.  So I do not know how to even approach generating a Taylor Series. I imagine you, who has definitely dealt with constructing Taylor Series before; especially in exotic situations; may have some light to shed.  The trouble I'm having is approaching the function, without it blowing up at other points -_-. And these blow ups (which I just call short circuits) are quite clearly artifacts of my code -_-. I'm trying to even think of a way of generating Taylor Series, and I have no F*n clue, lol.


You can see what I mean here; where it converges much better in some areas (the singularity is more obviously a singularity; the dip to zero is more prominent; and the imaginary arguments seem more dramatic), but then some singularities in the code appear (these spikes pop out of the wood work, which are definitely artifacts). Which is no doubt, because my iteration requires larger samples of to produce a more accurate result. But larger values of is producing overflow errors, because it looks like tetration... -_- A computer knows no difference between and --at least in MatLab.  Couple that with some round-off errors, and some poorly coded exponentials; and we get blow ups which follow a dynamic pattern. (A lot of the code errors look like Leau Petals, so at least that's kind of cool, lol.)

Honestly, this would be the easiest code on planet earth if we had a processor that could handle arbitrary large strings of binary digits. If it weren't for overflow errors, this problem would be elementary -_-. Sucks to live in a world of finite resources, lol.

Regards, James


I've added my primitive code on GitHub, so if anyone's interested in seeing how I ran the numbers, it's there.

And this is the link to the arXiv publication.
(04/01/2021, 05:19 AM)JmsNxn Wrote: **Here's the arXiv link with everything**

I hardly understand how to read your symbols. Did you complete a brand new holomorphic Tetration in base e? Where is your superlog?
(05/03/2021, 01:58 PM)Ember Edison Wrote:
(04/01/2021, 05:19 AM)JmsNxn Wrote: **Here's the arXiv link with everything**

I hardly understand how to read your symbols. Did you complete a brand new holomorphic Tetration in base e? Where is your superlog?

Hey, I assume the problem you are having is with the Omega-notation. The omega-notation isn't pivotal, but it saves a hell of a lot of space.

Assume we have a sequene of holomorphic functions for domains . The Omega-notation has been developed repeatedly by me in about 6 papers now; and it can get a little repetitive re-introducing it in each paper, so I just ran with it in this paper.

If I write,

Then this is interpreted as,

The bullet essentially binds the variable that we compose across. It's similar to how behaves in ; it binds the operation to a specific variable. And then the just means to compose these functions across the index from to . Attached in this paper is a proof of a specific type of "Infinite composition". An infinite composition is just when we let . These things can converge in many different ways; I only use a specific case in this paper.

This will converge to a holomorphic function in ; if the following sum converges. Let be an arbitrary compact set; and let be an arbitrary compact set. If there exists an such for all  that,

Then the sequence,

Converges uniformly on and ; to a holomorphic function in and a constant function in . The proof of this can be found in the appendix of this paper; but I've proven it a couple of times in other papers; specifically, it was used when I constructed the method before (which only made a tetration).

From here, I move pretty fast in the paper; again, I've done this so many times it can be exhausting to rewrite introductions in every paper.

If I define the set ; then the following sequence of functions is holomorphic on .

Additionally, for compact sets of and ; we know the sum converges,

From, this we can write that,

Is a holomorphic function for . We can write this more explicitly as;

Now, if I shift forward by then we get a re-indexing in our infinite composition, where we start from rather than .

But, this just equals,

To make a long story short; this means that,

I assume this is where you were having trouble; as I did just blaze through this part. The rest of the paper then focuses on solving the Abel equation at using this function. Where,

And we want to add in sequence of convergents , which solve,

And we show that the limit is holomorphic. This solves the Abel equation for any and large enough ; in which,

Then, the real trouble is that these tetrations are periodic and have a whole bunch of singularities; so you don't want them at all. Instead you want to take a limit where and this will give you a real valued tetration function; which is holomorphic and whose only singularities are at the negative integers less than -1.

At this point, I'm confident this constructs holomorphic tetration for the base point ; and that its real-valued. I'm working on making some Pari-GP code; but the trouble is, as I'm pulling back from infinity, we encounter overflow errors pretty quickly in the construction. But I can already achieve a precision of about 10 digits; but only when the argument is about . I am not the best programmer; so I don't think I'll be able to improve it unless I can think of a way of discovering Taylor series. I do not know how to generalize this result to other basis though; as the dynamics are particular to ; but it should work... I think, not certain.

As to the superlog; it only exists through the implicit function theorem; I have no effective way of constructing it other than just functionally inverting the tetration function.

If you have any more questions, just ask. I'm happy to answer. A lot of this is new math centering around the Omega-notation and it can be a little confusing, I understand. I have written a bunch of papers using it though; and it's just annoying to have to make a new section in each paper explaining what the notation means in depth. It's gotten to the point I assume no one really reads these things, that I just reference previous work at this point and give a quick run through.

Regards, James


If you are having trouble cognizing what looks like, you can always think of it how Tommy and Sheldon think of it.

Which is just pulling the iteration all the way back to infinity; where,


And we are solving this in a neighborhood of negative infinity; where the value is zero; and then just iterating forward to get the whole complex plane. I don't really like this way of thinking of it; largely because if you try and prove this converges from that way, it doesn't generalize to more complicated constructions. I prefer viewing it as, if a sum converges compactly normally, then the infinite composition converges compactly normally. This generalizes well for much more exotic constructions than .
So I've stumbled across coding this object better. I've managed to make some fairly flawless code; but for some reason I get too many errors when graphed. And as I saw these errors, I realized I've stumbled across numerical evidence that this tetration IS NOT Kneser's tetration.

The key identity you have to recall in Kneser's tetration is that,

And further more; that the principal branch of the logarithm; in the upper half plane ; satisfies,

Now, Pari-gp/Matlab always choose the principal branch. The fact is; my tetration is only stable about the principal branch of near the real axis. Everywhere else, my tetration chooses different logarithms. This is because, as I already suspected; my tetration is not normal in the upper half plane like Kneser's is. This can be summarized as,

So, although my tetration can be calculated perfectly point-wise using,

With the principal branch of . It cannot be holomorphic everywhere in if we only use the principal branch of . So the anomalies I'm seeing in my code are in fact evidence that this function is NOT Kneser's tetration. And coding this is going to be even harder.

I'm preparing a second paper proving that this tetration is not Kneser's. At this point, I'm certain everything works. But I'm scared this may just develop Kneser's tetration; which my gut says no. And I think I can prove it now.

This is a real valued tetration that is completely different from what we've seen before. There is no special fixed point involved at all.

Possibly Related Threads...
Thread Author Replies Views Last Post
  A Holomorphic Function Asymptotic to Tetration JmsNxn 2 373 03/24/2021, 09:58 PM
Last Post: JmsNxn
  An asymptotic expansion for \phi JmsNxn 1 452 02/08/2021, 12:25 AM
Last Post: JmsNxn
  Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 2,618 09/10/2019, 11:28 AM
Last Post: sheldonison
  Searching for an asymptotic to exp[0.5] tommy1729 191 296,207 03/15/2018, 01:23 PM
Last Post: tommy1729
  The AB functions ! tommy1729 0 2,692 04/04/2017, 11:00 PM
Last Post: tommy1729
  the inverse ackerman functions JmsNxn 3 8,579 09/18/2016, 11:02 AM
Last Post: Xorter
  Look-alike functions. tommy1729 1 3,491 03/08/2016, 07:10 PM
Last Post: hixidom
  Inverse power tower functions tommy1729 0 2,916 01/04/2016, 12:03 PM
Last Post: tommy1729
  [2014] composition of 3 functions. tommy1729 0 2,746 08/25/2014, 12:08 AM
Last Post: tommy1729
  Intresting functions not ? tommy1729 4 7,868 03/05/2014, 06:49 PM
Last Post: razrushil

Users browsing this thread: 1 Guest(s)