generalizing the problem of fractional analytic Ackermann 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: Hyperoperations and Related Studies (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=11) + Thread: generalizing the problem of fractional analytic Ackermann functions (/showthread.php?tid=708) Pages:
1
2

generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/13/2011 Well there's an obvious connection between the Ackermann function and superfunctions, but now I've found a way to generalize this to what I am labeling "metasuperfunctions". These have to do with iteration but in a very different complicated light. consider the definition: or so that is the super function of and is the abel function of this gives the relation: for some arbitrary constant C, that gives no singularities and such. we'd center the equation at zero, so that: the question I ask is, how do we find fractional values of n? Or put more linguistically, what function is in between a function and its super function? The connection to the Ackermann function is simple: so that we get which is a simple exercise in super functions now to split confusion we'll rewrite this in "meta superfunction" notation, fixing a to some arbitrary constant we get the simple result from out previous formula above and this defines the Ackermann function in terms of "meta superfunctions" Now, the difficulty with defining fractional values of these "meta superfunctions" is that we do not have a recurrence relation for fractional values... The difference between that and regular superfunctions is that we do, namely there is no such property or relation for "meta superfunctions" the only property we know it must satisfy is: but this is no good because it doesn't give an expression in terms of an even integer superfunction. So my question is, are metasuperfunctions by nature discrete? and inconclusively continuous? Since there is no external property they need satisfy other than maybe with R(x) being analytic across x. So, I believe, before the Ackermann function can be continued analytically we must define a recurrence relation across meta superfunctions that applies to fractional values. My rather meagre attempt at this recurrence relation comes from defining a new operator. I call it "meta composition". It's rather vague and does not have a concrete definition, but it's the best I can come up with. this would mean that the identity of meta composition is the function itself which implies idempotency and also that is defined relatively based on each function. Actually, is very much like the composition operator except it is reformulated with as the identity function rather than the normal identity function Actually thinking about it, I'm sure I've read somewhere of composition operators redefined to suit different identity functions. If this was the case this could perhaps be an approach to a solution for analytic fractional operators! So I'm wondering, is this just absurd? It's really the best I can come up with... any other possible "meta superfunction" recurrence relations would be welcomed with a warm heart! RE: generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/14/2011 doing a little bit of algebra, it seems "meta superfunctions" are expressible by nested iteration: which is obvious but it gives the relation: which, when plugged in with the iteration formula gives which means which to me resembles something like "compositional"/"iterational" tetration. where there are x amount of nested iterations. actually, the generalized formula to give nested iterations is: I think I just need a bit more time to make sense of this "meta compositional" operator such that it gives a solution which gives a recurrence relation which allows us to solve half operators. RE: generalizing the problem of fractional analytic Ackermann functions  tommy1729  11/14/2011 (11/13/2011, 11:33 PM)JmsNxn Wrote: now I've found a way to generalize this to what I am labeling "metasuperfunctions". These have to do with iteration but in a very different complicated light. NO I DONT CONSIDER THE DEFINITION : the very first equation seems wrong from first glance already ( and im eating chocolate ! ) take the last equation take on both sides => ( name this equation 3) this gives the same result as if we had used on both sides. hence together with the first equation we conclude f and g are inverse under the diamond operator. also now consider equation 3 and keep in mind all 3 equations and f and g are inverses then : take on both sides : => for all n !!!! this looks really bad. for small n we get ( n = 0 ) which seems paradoxal , and actually , it is. for larger n we get e.g. ... till n approaching infinity !!! simultaneous ! it seems f and g are not functions , the diamond is not a function nor operator nor composition and none of them are finite !?!? i prefer different definitions and equations. once again your first post contains mistakes. all the rest that follows is even more paradoxal. no offense , but i prefer you look at it first ... mathematics requires thinking. at least twice. regards tommy1729 RE: generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/16/2011 you made a very major mistake... uhh this is exactly the assumption I was describing doesn't work. instead, we'd need to create a new operator the diamond operator is NOT composition. And the diamond superscript is an index of superfunctions. instead, it's defined by continued arbitrarily where seriously. You could try reading first. my definitions are perfectly consistent. I'll give you the benefit of the doubt for maybe misreading for then again maybe you should try actually reading instead of eating chocolate... and thinking instead of claiming other people arent... RE: generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/16/2011 if perhaps I read you wrong, and maybe you meant to say this would imply inconsistency. Which to me is no surprise, the diamond operator was just suggested in a makeshift attempt to come up with a recurrence relation for fractional values of superfunction indexes. It was by no means canon. It hardly makes the rest of my post "inconsistent" as if you read carefully I even asked [in reference to the diamond operator]: Quote:So I'm wondering, is this just absurd? It's really the best I can come up with... That being said, the concept of is still perfectly consistent which was the main point of the post. And it is hardly wrong at first glance. therefore I still can't help but think by your post that you mistook for RE: generalizing the problem of fractional analytic Ackermann functions  tommy1729  11/16/2011 (11/16/2011, 04:09 PM)JmsNxn Wrote: if perhaps I read you wrong, and maybe you meant to say ?? first you say you would not be surprised if it was inconsistant. then you continue , the rest of the post remains correct. but everything is based on the beginning equations ? as for composition , i know your diamond isnt composition. but it does share many properties. and you yourself gave a relation between the 0 th diamond of g and the compositional inverse of f. i did not even mention composition. assuming an equation is welldefined , it must be assumed that when inverses are introduced , they are introduced without switching branches. hence if we do not loose information or do forbidden operations , we get a group structure. this group structure has the diamond operator. and you write  before your diamonds , suggesting it has inverses. all diamond operators , f and g give a result that belongs to the same structure ( so we can continu taking diamonds ) hence all conditions are met for representation by groups. if the diamond is your group operator and the inverse is also a group operator in that group ( what must be as explained above ) , then we can do leftinverses of the group operators or aka taking diamonds and antidiamonds on the left side. since by your first equation we can reduce the group operations (diamonds) we get at the contradion i posted. ( note what i did is more general then working with functional compositions of continu functions ... also a counterargument with integrals will fail because of the " + constant " after integrals ) so im far from convinced i made a mistake , if i did plz let me know clearly and keep in mind , you are the one proposing something so in fact it is actually up to you to prove that it exists. i might apologize if im wrong. but i doubt it that i am if you insist on all the equation you wrote down and x being real. sorry for the emotional shit regards tommy1729 RE: generalizing the problem of fractional analytic Ackermann functions  tommy1729  11/16/2011 >> Actually thinking about it, I'm sure I've read somewhere of >> composition operators redefined to suit different identity >> functions. If this was the case this could perhaps be an approach >> to a solution for analytic fractional operators! btw , there already exist fractional operators : fractional calculus. where we have e.g. fractional derivatives. RE: generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/16/2011 okay okay we seem to just have a big miscommunication. the definition I was putting forth was so that is the inverse of which defines a sequence of super functions therefore is the superfunction of and is the superfunction of so on and so forth this is all perfectly consistent. Now I related that to the Ackermann function, which is selfevident, and sort of generalizes the question of operators inbetween addition and multiplication that are analytic, to functions inbetween a subfunction and a superfunction. namely, what is , which if made sense of puts us a lot closer to an analytic Ackermann function. I wrote about the "diamond operator" which would have this relation: just as a shot in the dark to try and see if we can come up with a formula that relates halfsuperfunctions and superfunctions I posed this operator not as if it would be true, but just as a "does this work?" Clearly it doesn't work, which frankly, doesn't surprise me. The point of this thread was to try to come up with a formula that will relate halfsuperfunctions and superfunctions in the same way that we have a relation between halfiterates and a function itself Until we can agree upon a proper relation between halfsuperfunctions and superfunctions (even if that relation is the fact that there is no relation) then we ultimately cannot solve the Ackermann function for fractional values. I was merely pointing out that if we do not have a relation between halfsuperfunctions and superfunctions then it will be about 100 times harder and will give about a 100 times more solutions. And I am well aware about fractional calculus operators. By fractional operators I was referring to operators inbetween addition and multiplication and exponentiation and tetration etc etc that form a smooth analytic transition for all arguments (save maybe a few holes or what have you). In conclusion. I just wanted to ask the question how can we make the transition from function to superfunction to supersuperfunction etc etc analytic? And what qualifications should a halfsuperfunction have in terms of the function and its superfunction itself? that's it. The fact that the diamond operator is inconsistent doesn't really matter. That was just thrown in there to try to come up with a solution. Frankly I'm a little embarrassed I didn't see the obvious fault with it, lol I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent. RE: generalizing the problem of fractional analytic Ackermann functions  tommy1729  11/17/2011 (11/16/2011, 10:57 PM)JmsNxn Wrote: I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent. hmm ... how does a converging infinite sequence of uniquely defined superfunctions look like any way ? fractal ?? another question or remark .. if a superfunction look like ( carleman f(z) ) ^ x , does that imply that fractional superfunction operators look like ( carleman f(z) ) ^ ^ x ? if so , we need to extend the bases E [1,eta]U[sqrt(e),oo[ to matrix bases ? does this imply that the (carleman) matrices require det = E[1,eta]U[sqrt(e),oo[ ?? again  as usual  many questions , more questions than answers. regards tommy1729 RE: generalizing the problem of fractional analytic Ackermann functions  JmsNxn  11/18/2011 (11/17/2011, 07:52 PM)tommy1729 Wrote:(11/16/2011, 10:57 PM)JmsNxn Wrote: I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent. That's a good way to approach the question. I'm not too familiar with carleman matrices but I think it goes something like this Beware: the following maybe extremely inconsistent... Enter at own discretion and by the recurrence relation for any appropriate constant that does not produce singularities or other problems. therefore which is the traditional superfunction equation. continuing this we would get which would give: This isn't good though, this would imply the matrix method doesn't work for the Ackermann function since Arghhhh if only I knew more about matrices. I hope you can help me out. Hopefully your guess is right, that it somehow turns into tetration across matrices. At least that way we get something noncontradictory. but there is hope, if is valid then we can have a solution for the modified Ackermann function; namely where and for for multiplication and for exponentiation tetration would be ridiculously complex. with this we have the relation with and Hopefully you or somebody can correct me if I'm wrong. I think that I'm wrong; this seems too contradictory and fishy to be right... The fact that it fails for the usual Ackermann function makes me angry D:< If this is right though, we may have a tool for solving halfsuperfunctions given certain parameters that which is the equivalent of In a sense you were right about the tetration intuition. Except that it's like a lefthanded tetration! which forms an independent operator over matrices since matrix multiplication is not commutative! EDIT: The formula seems to change from the original one to not sure why that is, must've made a minor mistake somewhere... Too tired right now to figure out where. I think I've slashed through enough mathematical jungle for one day. Maybe you can clarify my errors... 