Using a family of asymptotic tetration functions...  Printable Version + Tetration Forum (https://math.eretrandre.org/tetrationforum) + Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) + Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) + Thread: Using a family of asymptotic tetration functions... (/showthread.php?tid=1314) Pages:
1
2

RE: Using a family of asymptotic tetration functions...  JmsNxn  04/27/2021 (04/26/2021, 02:11 AM)sheldonison Wrote: Thanks James, 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 roundoff 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 BTW I've added my primitive code on GitHub, so if anyone's interested in seeing how I ran the numbers, it's there. https://github.com/JmsNxn92/Recursive_Tetration/ And this is the link to the arXiv publication. https://arxiv.org/abs/2104.01990 RE: Using a family of asymptotic tetration functions...  Ember Edison  05/03/2021 (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? RE: Using a family of asymptotic tetration functions...  JmsNxn  05/03/2021 (05/03/2021, 01:58 PM)Ember Edison Wrote:(04/01/2021, 05:19 AM)JmsNxn Wrote: **Here's the arXiv link with everything** Hey, I assume the problem you are having is with the Omeganotation. The omeganotation isn't pivotal, but it saves a hell of a lot of space. Assume we have a sequene of holomorphic functions for domains . The Omeganotation has been developed repeatedly by me in about 6 papers now; and it can get a little repetitive reintroducing 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 reindexing 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 realvalued. I'm working on making some PariGP 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 Omeganotation 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 PS: 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 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 . RE: Using a family of asymptotic tetration functions...  JmsNxn  05/10/2021 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, Parigp/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 pointwise 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. RE: Using a family of asymptotic tetration functions...  Leo.W  08/05/2021 Hey James, I've lately been considering an anologous familt of asymptotic tetration functions, satisfying the recurrence with arbitrary constant a and b I simply take and solve term by term in series, which uses this code I wrote by wolfram mathematica 12, it iterates the recurrence to get the function converged Code: Clear[A, B, term, aa, IS, Z] and g(a) is only determined by a, exploding to infinity when a is getting closer to 1 Also, these functions are multivalued(Taken the relation between f(z) and f(z1)), maybe associated with Riemann surface? Leo RE: Using a family of asymptotic tetration functions...  JmsNxn  08/06/2021 (08/05/2021, 04:51 PM)Leo.W Wrote: Hey James, Hey, Leo I'm sorry; I don't think I follow. Would you mind elaborating? What is , particularly? Regards, James OHHHH WWAIT, nevermind, I get it. You meant to write . You are absolutely correct. What you have constructed here; using Sheldon's idea of a modified Schroder function; you've made, This function will be holomorphic for . This is similar to how I constructed the method, where I took . The conjecture that stands is that this can only construct a tetration on . And converges nowhere in when you apply iterated logs. You're construction method is perfectly valid though; it's how Sheldon justified my method; both ways are equivalent; his is more hands on with taylor series though. By this, I mean, you can construct a family of tetrations, It will probably diverge in though. It's going to look like the method. I'd suggest looking at something that solves the asymptotic equation; and keep and real. In such a sense, Which satisfies the equation, Or fiddle with Tommy's gaussian approach. Much of this paper extends to all ; I just kept it with to keep it simpler. Theoretically the beta method works for all . Not too sure about complex values yet. Regards, James 