Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
The bounded analytic semiHyper-operators
#1
Hello everyone, I am happy to announce I think I have a constructive proof of our beloved semi-operators. Namely, the extension of hyper-operators to complex numbers.

In such a sense I'll reiterate what is already known, and what I've found.

Taking




then by initially having



and recursively defining





where



then





therein defining tetration, pentation, hexation, septation,... etc These functions have monotone growth on the real positive line and are bounded for


Now, I've taken the following two variable function



and I've shown



is a well defined function for . Where in further, trivially



and much less trivially



which when written in hyper-operator notation





The function



for

and is monotonely growing in


I am finalizing the paper now, I am just fixing a few wordings and typos and polishing it up. The interesting thing, which I find curious and funny, is that no living computer on this god given earth has a chance of calculating this function, it is most definitely one of the most processor heavy functions ever. Sadly this means calculating or graphing the function is next to impossible. Meaning we dont get to look at the pretty picture these semi operators define.


This also means there's no numerical evidence to support the conclusion. Furthermore we cannot even check the result with numerical evidence. I'm hoping there's a better way to define this function--an alternative expression--however I've had no luck so far.

I'll post the paper up most likely in two weeks. I just thought I'd post a little hurrah before so.

Reply
#2
I already saw it on Arxiv! I'm pretty updated on your arxiv page (stalker mode ;P).

I find all of this extremely exciting... I can't even imagine what is the role of this function, that I guess we agree must be a very special one in the sea of new functions that your iteration method can produce, in the universe and physics... I mean... what the hell it stands for? what does it computes? History tell us that almost every mathematical concept has a role in our understanding of the universe even if sometimes it needed decades or centuries before the correct link was found.

I also think that this is, as usual, only the tip of the iceberg: this is only the analytic view on the subject. But we know that complex analysis is deeply linked with a lot of other interesting fields... from geometry to number theory!

Think of the historical jump in complexity from integer/rational/irrational algebra to analysis/real and complex exponentiation. And apply it to tetration/all the hyperoperations. Are we maybe on the verge of a new mathematical revolution?

Ok, this last paragraph is a bit more extreeme: a lot of fantasy, sorry.
But I'm still very excited.

But back on the topic: I was not able to finish your last two papers (too difficult for me so I'm slower at reading)
So forgive me if I ask you something that appears there.
Now you have some kind of operator that maps functions to their iteration (using your notation).

(where is a set of complex-valued function on an addition-closed subset of )


Some serious mathematician would ask if you have started to compare it with other known methods, when they match and when they do not. But I'm not so serious or professional so I would like to ask you: have you some ideas/intuition on the behavior of this map and its dynamics in general? Is it injective? Has it fixed points? These bounded analytic semiHyper-operators are just an orbit (a flow) of this map.




__________
Last note: from the algebraic point of view, this may sound unexpected to me but obvious to the expert, the flow is just the "manifestation" of some more basic "fundamental blocks/bricks":

See the following, I believe that this progression is quite remarkable and speaks for itself:

Monoid/group action
- abelian monoid (or group)
- (or equivalently is an homomorphism where

concept of "evaluation"
- monoid (or group )
- (or equivalently is an homomorphism where

concept of "Iteration"
- ring (or field )
- monoid (or group )
- or equivalently is an homomorphism where
- or equivalently is an homomorphism


Is it known that the flows are definable by iteration and evaluation...


but the fact that all those concepts are structurally and algebraically very similar... are kind of group actions or "enriched" actions (such as module structures or vector space structures) what changes are just the domains it's mind-blowing.

At this point we may ask for (I.E. we extend the domain of iteration to the domain of evaluation like for example from natural iteration of complex function to complex iteration of complex functions) and for a new external operation satisfying

(the main example is )

Here is where we hget the superfunction and where we get an external operation that is structurally very different from the previous. Do the problems with iteration comes from this algebraic loss of "regular structure"?

in fact the rank arise as iteration of on the right( with this notation):




Now it gets interesting:

(05/06/2016, 06:30 PM)JmsNxn Wrote:

is a well defined function for . Where in further, trivially



and much less trivially


by definition of nabla



apply to both side using the evaluation



Applyng the algebraic properties of these operation we get



where 1 is the multiplicative unit of the ring/field of exponents, we then apply the definition of nabla and of "rank-exponentiation" again




If the link is not clear fix the value of
and and define a new function , like we did for the flow:



and we get



This is just to point that much of the equations are out there embedded in the intrinsic algebraic structure... and can be derived algebraically without analysis.
MathStackExchange account:MphLee
Reply
#3
Hey Mphlee. I corrected some of the mistakes I made on my old arxiv page. They were rather small (the same result holds), the new version is also being edited by my professor, and just some double checking being done by him.

And to your question on the super function operator, I have added a little bit about this.

If is a set in which all its elements are holomorphic for , take the real positive line to itself, have a fix point such that and for all

then..

There is a semi group of operators such that acts on . Where more beneficially, the semi group is isomorphic to

This semi group being for where



and if



then



(05/23/2016, 07:25 PM)MphLee Wrote: I would like to ask you: have you some ideas/intuition on the behavior of this map and its dynamics in general?


I have no idea to be honest. This is where I'm looking. The analysis is extensively simplified using ramanujan's master theorem. and some key points arise. I have a few well thought out points but nothing too expansive.

Quote: Is it injective?

is injective in and (where is the imaginary period in .
The operator is injective as well on the function space as defined above.

Quote:Has it fixed points?

The only fixed point of I can think of are constant functions. Since



and if then surely

It always follows that though. This is exemplified by
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 949 03/20/2018, 12:16 AM
Last Post: tommy1729
Question Analytic matrices and the base units Xorter 2 2,084 07/19/2017, 10:34 AM
Last Post: Xorter
  Non-analytic Xorter 0 1,242 04/04/2017, 10:38 PM
Last Post: Xorter
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 9,899 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 3,433 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,328 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,163 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Are tetrations fixed points analytic? JmsNxn 2 2,546 12/14/2016, 08:50 PM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 35,324 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,269 08/22/2016, 12:19 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)