Generalized arithmetic operator  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: Generalized arithmetic operator (/showthread.php?tid=840) Pages:
1
2

Generalized arithmetic operator  hixidom  03/11/2014 Hello forum. So I've finally hit a dead end in my hyperoperator theory. "Dead end" as in I fear I've discovered that there is, in general, no closed for for [x]a, where [x] is my hyperoperator (with argument x) and a is the argument. So this is what I've got so far: Amateur document (The real meat of the theory starts in Section 4) Crude summary Define a binary operation, , where , , and so on. My goal is to get to a point where I can evaluate for . Next, define a unary operation, . Denote iteration of the binary and unary operators via a superscript: e.g. Next, establish the following axioms: A0: A1: A2: (perhaps this is not really an axiom based on the way I have defined iteration of the unary operator) A3: From these "axioms" the following relations, among others, can be proven (see the document for derivations): is not tetration (sorry forum) (definition of inverse) (2 is a fixed point, explaining why , etc.) The problem: I find that , where is the yth superiteration of . What do I mean by "superiteration" and how do I come to that conclusion? It's in Section 4.3 of the document, but here it is again anyway: Given the axioms, we can find that . Define . Now we can iterate both sides times to obtain . Now we must define , and repeat the iteration to obtain . Repeating this algorithm y times results in . I know that the "superiteration" method is necessary because I've tried other more naive derivations of which turned out to be wrong when testing various combinations of x and y (e.g. should be the same for (x,y)=(0,1) and (x,y)=(1,0)). So anyways, I'm putting this out here on the forum because superiteration seems to be an unmanageable concept to me, and I have not been able to find a way to avoid it. I hope that someone with more experience in this area of mathematics will have some idea of how to manipulate the superiteration into something simpler or how to relate and without the need for superiteration. Ideally, the end result is a closed form expression for , where x can be any complex number. I'm using the term "superiteration" because it is used on another thread on the forum (which, btw, is the only place on the internet where I could find information on anything similar to what I'm encountering). Thanks for reading. I know that this is my problem, but if anyone finds it interesting enough to think about, I would appreciate any comments on the validity of what I have so far and suggestions on how to proceed. Thanks again. hixidom RE: Generalized arithmetic operator  JmsNxn  03/11/2014 Well I'm not certain, but your operators seem to be like a modified lower hyperoperators. These operators satisfy the recursion: where Check if this function works. I'm pulling it out of a hat but I have a lot of math behind it.: where This may or may not work. Depending on if 1/x[s]y is holomorphic or meromorphic and if (x[s]y)[s1]x is holo as well with decent enough behaviour. RE: Generalized arithmetic operator  hixidom  03/11/2014 Quote:I can't seem to prove or disprove that statement in my system, except by the following discrepancy: Wikipedia has , which doesn't agree with what I have. For example: According to Wiki, According to what I have, . So I don't think that that recursion relation results in the same set of hyperoperators. Do you think that the equation with the summation still applies? What exactly should I take from that equation? Is it to be evaluated numerically? Thanks for the response. hixidom RE: Generalized arithmetic operator  MphLee  03/11/2014 These are not the "natural" (leftassociative) hyperoperations family, and seems that are different from lower hyperoperations too. Why you chose this kind of bracketing? RE: Generalized arithmetic operator  hixidom  03/11/2014 (03/11/2014, 10:49 PM)MphLee Wrote: These are not the "natural" (leftassociative) hyperoperations family, and seems that are different from lower hyperoperations too. I'm not familiar with the difference between left and rightassociative hyperoperators. I would say that the unary version is definitely righassociative, as but perhaps that is not what you are referring to. If I had to write a recursion relation along the lines of what has been posted so far, I would say it is: which is neither left nor rightassociative, if I understand the meaning of that phrase. The ones that have been posted so far are , and . which are very similar, with the only difference being that the [x1] operation on the right side is flipped. But neither of these definitions result in the same [4] operator that I have. etc. RE: Generalized arithmetic operator  JmsNxn  03/12/2014 Yes I noticed that it wasn't exactly lower hyper operators, but it's closer to it than anything else. It depends on a lot of factors but the summation formula I gave may or may not work. I think the recursion is more aptly written by the general law: So it's almost like it's necessarily satisfying the exponential law. Which is really cool now that I think about it. Let's see. I'm thinking there's trouble evaluating for arbitrary natural n and arbitrary natural k and complex a. So let's be a bit more modest with our findings. So let us fix a to N for some natural N is definitely calculatable for m, k natural as well. Now let us suppose that is holo in s for m greater than or equal to exponentiation Define: Where Now do the same trick (hope fully you get what I mean so that I don't have to reexplain) so that we get: And do the same trick one more time to get, , and : This may or may not work depending on if the functions you defined are holo morphic. Mine are. They should obey the recursion by some fractional calculus theorems I've given, it's a little clunky. but Not very hard to show. They may not equal your operators though, you'll have to do the calculations :p I don't really want to spend the time to rigourously justify this. It's very time consuming and it requires a lot of finesse to pull off. But I can see the cauchy integrals coming out as they should after about 3 pages of equations for one identity. lol RE: Generalized arithmetic operator  hixidom  03/12/2014 I'll try to work with the equation you provided, but it will take me a while to figure it out. Thanks for the suggestion! Regarding the relation provided: It is only true when , unfortunately, because in general. For example (x=4): RE: Generalized arithmetic operator  MphLee  03/12/2014 (03/11/2014, 11:20 PM)hixidom Wrote: I'm not familiar with the difference between left and rightassociative hyperoperators. I would say that the unary version is definitely righassociative, as well , i think i got it. tell me if i'm right first lets notice that we have so we have that if (note that since we have that ) and so so the formulae that define all your hyperoperation family are Quote:1) with this three difinitions (and if we already have defined the function iteration) we can get all the values of your hyperoperations. and if im right again we have too I think i have already found this family somewhere, probably in the tetration FAQ pdf  I've jsut noticed that we can maybe write it as functional equation let Quote:1') the last can be rewritten in this way 3'') and we have this property and there is a name for this functional equation, I don't remember it but is a kind of abel functional equation i guess. I'm sure that someone here can help you more about this. Lee EDIT: BINGOOO found them. I knew it! bo198214 wrote about this family long ago (2008 ) BALANCED HYPEROPERATIONS http://math.eretrandre.org/tetrationforum/showthread.php?tid=145&highlight=balanced+hyperoperations RE: Generalized arithmetic operator  hixidom  03/12/2014 Thanks Lee! That is very exciting to read. One of the last things he mentions is Quote:. which is equivalent to what I have as Somewhere in his OP he says it can be extended to realargumented hyperoperators, but he never gets there as far as I can tell. He does plot a[4]a, which is really cool, and shows the fixed point at a=2. There's a section on "Balanced hyperoperators" in the Wikipedia page. Apprently they were first considered in this paper. RE: Generalized arithmetic operator  MphLee  03/12/2014 I know! is even what i said too but i use for the rank usually 