The bounded analytic semiHyper-operators

[MphLee]

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).

\( \uparrow:H\to H \) (where \( H\subset {\mathbb C}^S \) is a set of complex-valued function on an addition-closed subset \( S \) of \( \mathbb C \))


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 \( \uparrow:H\to H \) 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.

\( \{\uparrow^{\circ s}[\times]\}_{s\in S\subset {\mathbb C}} \)


__________
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 \( \phi:E\times X\to X \)
- \( (E,+) \) abelian monoid (or group)
- \( \phi (a+b,\chi)=\phi (a,\phi (b,\chi)) \) (or equivalently \( \phi' : (E,+) \to ({X^X},\circ) \) is an homomorphism where \( \phi':a \mapsto \phi (a,-) \)

concept of "evaluation" \( {\diamond}:F\times X\to X \)
- \( (F,*) \) monoid (or group )
- \( (f*g) \diamond \chi=f\diamond (g\diamond \chi) \) (or equivalently \( \diamond' : (F,*) \to ({X^X},\circ) \) is an homomorphism where \( \diamond' :f \mapsto (f\diamond -) \)

concept of "Iteration" \( {\triangle}:E\times F\to F \)
- \( (E,+,\cdot) \) ring (or field )
- \( (F,*) \) monoid (or group )
- \( (a\cdot b) \triangle f=a \triangle (b \triangle f) \) or equivalently \( \triangle' : (E,\cdot) \to ({F^F},\circ) \) is an homomorphism where \( \triangle' :a \mapsto (e \triangle -) \)
- \( (a+b)\triangle f=(a\triangle f) *(b\triangle f) \) or equivalently \( \triangle ({_},f) : (E,+) \to (F,*) \) is an homomorphism


Is it known that the flows \( \phi:E\times X\to X \) are definable by iteration and evaluation...
\( \phi(e,\chi)=(e\triangle f)\diamond \chi \)

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 \( E\subseteq X \) (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 \( {\nabla}:X\times F\to F \) satisfying

\( (\chi \nabla f)\diamond e=(e \triangle f)\diamond \chi \) (the main example is \( F_\chi (e)=F^{\circ e}(\ch) \))

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 \( {\nabla} \) on the right( with this notation): \( {\rm ra}:{\mathbb N}\times F\to F \)

\( {\rm ra}_\chi(0,f):=f \)
\( {\rm ra}_\chi(n+1,f):=\chi \nabla{\rm ra}_\chi(n,f) \)

Now it gets interesting:

\( F(s,z) = \frac{d^{z-1}}{dw^{z-1}}\frac{d^{s-1}}{du^{s-1}}|_{u=0}|_{w=0}\vartheta \)

is a well defined function for \( \Re(s) > 0, \Re(z) > 0 \). Where in further, trivially

\( F(n,z) = \alpha \uparrow^n z \)

and much less trivially

\( F(s,F(s+1,z)) = F(s+1,z+1) \)

by definition of nabla

\( {\rm ra}_\chi(n+1,f)\diamond \xi=[\xi \triangle{\rm ra}_\chi(n,f)]\diamond \chi \)

apply \( [{\rm ra}_\chi(n,f)]\diamond \) to both side using the evaluation

\( [{\rm ra}_\chi(n,f)]\diamond[{\rm ra}_\chi(n+1,f)\diamond \xi]=[{\rm ra}_\chi(n,f)]\diamond[[\xi \triangle{\rm ra}_\chi(n,f)]\diamond \chi] \)

Applyng the algebraic properties of these operation we get

\( [{\rm ra}_\chi(n,f)*{\rm ra}_\chi(n+1,f)] \diamond \xi=[(1+\xi) \triangle{\rm ra}_\chi(n,f)]\diamond \chi \)

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

\( [{\rm ra}_\chi(n,f)*{\rm ra}_\chi(n+1,f)] \diamond \xi=[\chi \nabla{\rm ra}_\chi(n,f)]\diamond (1+\xi) \)
\( [{\rm ra}_\chi(n,f)*{\rm ra}_\chi(n+1,f)] \diamond \xi={\rm ra}_\chi(n+1,f)\diamond (1+\xi) \)

If the link is not clear fix the value of \( f\in F \)
and \( \chi\in X \) and define a new function \( {\mathcal F}:{\mathbb N}\times X\to X \), like we did for the flow:

\( {\mathcal F}(n,\xi):={\rm ra}_\chi(n,f)\diamond \xi \)

and we get

\( {\mathcal F}(n,{\mathcal F}(n+1,\xi))={\mathcal F}(n+1,1+\xi) \)

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.