On to C^\inftyand attempts at C^\infty hyperoperations  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: On to C^\inftyand attempts at C^\infty hyperoperations (/showthread.php?tid=1297) Pages:
1
2

On to C^\inftyand attempts at C^\infty hyperoperations  JmsNxn  02/08/2021 As Sheldon has thoroughly convinced me of nonholomorphy of my tetration. I thought I'd provide the proof I have that it is on the line . I sat on this proof and didn't develop it much because I was too fixated on the holomorphy part. But, I thought it'd be nice to have a proof of . Now, the idea is to apply Banach's fixed point theorem, but it's a bit more symbol heavy now. We will go by induction on the degree of the derivative. So let's assume that, Where, And is the supnorm across some interval . As a forewarning, this is going to be very messy... Now to begin we can bound, And that next, Now, So, we ask you to put on your thinking cap, and excuse me if I write, And by the induction hypothesis, Which is because these terms are made up of finite sums and products of and these are said to be summable. Now the proof is a walk in the park. Where, we've continued the iteration and set and for , and for (but we're tossing this away because we know it's differentiable). Therefore, Of which, I've played a little fast and loose, but filling in the blanks would just require too much tex code. EDIT: I'll do it properly as I correct my paper and lower my expectations of the result. *********************** As to the second part of this postnow that we have out of the way, we ask if we can continue this iteration and get pentation. Now, will certainly be and so it's a well defined bijection of . So, first up to bat is to get another phi function, This will be (it'll be a bit trickier to prove because we aren't using analytic functions, but just bear with me). And it satisfies the equation, By now, I think you might know where i'm going with this. And now I'm going to focus on showing this converges... Wish me luck; after being trampled by this holomorphy I thought I'd stick to where things are niceno nasty dips to zero and the like... RE: On to C^\inftyand attempts at C^\infty hyperoperations  JmsNxn  02/10/2021 So I'm having trouble coming up with a general proof to give us pentation (or any hyperoperators), but certainly getting a continuous one is not that hard. We can start by taking, So that, Then the sequence of convergents, Satisfy, Because and, This certainly converges uniformly. So we have a continuous function, We can continue this for arbitrary order hyperoperators. The trouble comes from proving that this solution is . I haven't had the AHA moment yet to prove this. The way I proved tetration is is not very helpful here because we used properties of the logarithm. Anyway, God, I suck at real analysis, getting might take a while... RE: On to C^\inftyand attempts at C^\infty hyperoperations  sheldonison  02/10/2021 (02/08/2021, 12:12 AM)JmsNxn Wrote: As Sheldon has thoroughly convinced me of nonholomorphy of my tetration. I thought I'd provide the proof I have that it is on the line . I sat on this proof and didn't develop it much because I was too fixated on the holomorphy part. But, I thought it'd be nice to have a proof of . Hey James, I reposted your post, given the limitation that the forums Tex support has bugs with spaces. I don't know if it was always this bad I might write a oneline perl script to remove spaces or substiture a ~ and replace new lines with a new tex /tex pair and remove \\ at the end of a line. Of course if I do all that, then I could also have perl trivially replace $...$ combos with a tex /tex pair too and then I'd automatically convert Latex to math.eretandre Tex .... Anyhow, I'm reading your equations now; are you satisified with proving for the Tetration case? I've seen Walker's proof of , but I've always been curious about how to do it for other functions. RE: On to C^\inftyand attempts at C^\infty hyperoperations  JmsNxn  02/10/2021 Hey, Sheldon I had written a page long reply to what you just said; but somehow my computer deleted it and it didn't post (I don't know what happened there). I'm a little upset because I had written a fair amount of math, but in the meantime I'll give you the rundown. I am absolutely certain I can prove that this tetration is (I went on to relay how this is really no different than the construction of using infinite compositions). However, I can't quite prove it for hyperoperations; and I'm trying to abstract how I can do it for tetration, so that it works for pentation and the sort. So I don't have an essaylike proof for nature of . But trust me; it's not much more than the construction of . Just a whole load of infinite composition stuff. And I'm busy on generalizing the proof so it works for pentation, hexation, etc... Give me a couple weeks. I'm going to pull more all nighters than I should, and I'll have this. Like how every presidential secretary should respondgive me a week and I'll circle back to your question. Regards, James We'll circle back. EDIT: I also had written about how a perl script won't fix your problems. This forum needs to run on MathJax. Which is the javascript version of LaTeX. For god's sakes Henryk. Lol. RE: On to C^\inftyand attempts at C^\infty hyperoperations  JmsNxn  02/16/2021 So I posted a proof of before I started working todayI noticed a small expansion error, which I hastily fixedso I deleted the post. I figured I'd do a couple more run throughs of the result before I posted. It was a dumb mistake towards the end where I got ahead of myself, but everything still works; there was one download on the file, so whoever downloaded it I apologize in advance. (Unless the one download was my own download, not sure how it works here.) I am in the process of rewriting my entire paper to focus on hyperoperations; whereby it's a long proof by induction. But the initial step is to prove that this tetration is . Now I can most definitely show this tetration is ; the trouble I'm having is making the proof as general as possible; so that we can create a proof by induction showing is . The proof I'm posting now is intended to be abstract because I intend to use it as a template for the inductive process. Now, the proof is a little rough around the edges. I haven't fleshed out everything, but honestly it'd only take more words, not more work. Everything definitely works. This isn't much more than what my initial post in this thread was; but it's far better explained. I'm posting this theorem here, without the full paper; essentially to gauge how well explained it is. If anyone has any questions, or any comments or hangups, I'm beyond happy to answer them (and they'll help because they'll teach me how to better write the paper). Despite my errors at assuming this construction would be analytic; I promise no mistakes were made in this circumstance. Somethings may be unclear though, and if they are, please tell me so I can correct myself. RE: On to C^\inftyand attempts at C^\infty hyperoperations  sheldonison  02/21/2021 (02/16/2021, 08:40 AM)JmsNxn Wrote: So I posted a proof of before I started working today... Hi James, I like your paper. I would suggest generating an infinite sequence of entire functions, perhaps defined as follows; this is slightly modified from your approach where this = JmsNxn phi(s+1) we could start with this asymptotically approaches exp(s) as gets arbitrarily negative, also asymptotically approaches exp(s) as gets arbitrarily negative James has proven that is entire, and I think each of these phi functions is also entire, and each would probably lead to an function which is also only defined at the real axis; details tbd... RE: On to C^\inftyand attempts at C^\infty hyperoperations  tommy1729  02/27/2021 (02/21/2021, 01:38 AM)sheldonison Wrote:(02/16/2021, 08:40 AM)JmsNxn Wrote: So I posted a proof of before I started working today... probably grows more like pentation. Notice the similarity to the superfunctions of the previous function in the list. So that would probably fail to get another c^oo solution to tetration but rather a c^oo solution to pentation or higher. Unfortunately probably not analytic either. Generalizing to fractional index n is then probably similar to the classic ' semisuper ' function type questions. So sorry but .. I am not convinced of its usefullness. *** **could** however converge to f(s) = s + 1 ( the successor function !) for appropriately defined f_1(s). Maybe that could be usefull for some kind of hyperoperator ? However going to negative index n does not seem to give interesting results ( only linear functions ?). Ofcourse many variants of the above can be considered and the question is very vague and open. But it is not certain in what direction we should proceed .. or is it ?? It does not seem simpler than generalizing ackermann , making ackermann analytic etc Regards tommy1729 RE: On to C^\inftyand attempts at C^\infty hyperoperations  MphLee  02/27/2021 I agree with Tommy. That kind of functional equation is structurally analogous to double recursion. I wonder if it is possible to adapt, at least theoretically disregarding radii of convergence, the classic and Nixon's limit formulas to that cases. The problem that I see, as Tommy does, that thing going back tho the successor as the limits goes to infinity. There has to be a deep reason for this. In superfunctions/subfunctions and nonintegersuperfunctions (aka noninteger ranks) successor is a fixed point of the "operator". The iteration theory of those kinds of (nonlinear)operators on functions spaces has to coincide with the rank theory of the underlying function spaces. As different generating laws define different HOF(amilies) and in some cases a generating law is in some cases a kind of operator on functions, ranks theory reduces to a special kind of iteration theory. RE: On to C^\inftyand attempts at C^\infty hyperoperations  sheldonison  02/27/2021 (02/27/2021, 12:08 AM)tommy1729 Wrote: probably grows more like pentation.Hey Tommy, I mostly agree with you with one small caveat. Here is my observation. Kneser's tetration function is actually beautifully behaved in the complex plane, or at least as reasonably nicely behaved as any tetration superfunction can be. The same thing can be said for Jame's function, except that it is also entire and 2pi*i periodic. Now, all of the "analytic" higher order functions like pentation generated from the lower fixed point of Kneser's Tetration are actually pretty poorly behaved in the complex plane. All those singularities at the negative integers for tetration get reflected in pentation as real(z) grows and they eventually show up arbitrarily close to the real axis. I have experimented with an analytic hexation generated from a complex conjugate pair of fixed points from such an "analytic" pentation, but it too is really poorly behaved in the complex plane. So imho, the higher order analytic Ackermann functions after tetration don't seem as interesting to me as tetration. Contrast this with the family of functions all of which seem to be entire and 2pi*i periodic. Since they are 2pi*I periodic with limiting behavior as real(z) grows arbitrarily negative of , then each of these functions has a corresponding Schroeder function whose inverse is also entire with there is a formal entire inverse Schroeder function for each phi_n function. Moreover, each formal Schroeder function's Taylor series can be generated with surprising ease. For we initialize a function f=x, and we iterate n times to calculate n+1 Taylor series terms as follows, where each iteration gives one additional exact term in the Taylor series of the inverse Schroeder function. Surprisingly, the iteration for are only a little bit more complicated but can also easily be coded in a single lines of parigp code or mathematical equations as follows: this works for Psi_4,5 etc. So I would assert that this family of iterated entire superfunctions is more well behaved than any other family of iterated superfunctions that I am aware of. It is also more accessible and easy to calculate than any other family than I am aware. In that sense, it is also more accessible than Kneser, which is actually pretty difficult to understand and calculate. RE: On to C^\inftyand attempts at C^\infty hyperoperations  MphLee  03/01/2021 (02/27/2021, 09:57 PM)sheldonison Wrote: Since they are 2pi*I periodic with limiting behavior as real(z) grows arbitrarily negative of , then each of these functions has a corresponding Schroeder function whose inverse is also entire with I'm probably missing some key piece of the puzzle (terminology). Are you talking about a kind of inverse Schroederlike function right? A confortable abuse of name similar to how we can call inverse Abellike function of ? In a strict sense, I don't see how is a Schroeder function of or of . For this sequence I see this: define in your notation. That is "inverse Schroederlike" in some sense. ADD: it is possible to express phi_2 (an offset of JmsNxn's phi) as an infinite composition. at Is there a similar "closed form" for the other phi_n? Is it too optimistic to declare at ? 