Thoughts on hyper-operations of rational but non-integer orders?
#1
I can't seem to find the right angle to approach this concept intuitively. Does anyone have any ideas of how to consider hyper-operations in a way that isn't recursive, such as to accept non-integers?
Reply
#2
I am not sure I get your problem correctly.           

Take the function \( f: b^z \) as to be iterated, with, say \( b=sqrt(2) \) .             
Assume one plane on a math-paper and look for easiness only the lines and their crossings of the coordinate-system of integer complex numbers \( z_0 \) .              
Now take another paper, position it 10 cm above and for every point of the crossings (and ideally also of the lines) mark the values of \( z_1=b^{z_0} \). Then repeat it with a third plane, again 10 cm above, marking \( z_2=b ^{b^{z_0}} \) .
After that, try to connect the related points of the zero'th, the first and the second plane by a weak string, say a spaghetti or so. Surely except of the fixpoints in \( z_0 \) it shall be difficult to make a meaningful and smooth curve - and in principle it seems arbitrary, except at the fixpoints, where we simple stitch a straight stick through the iterates of the \( z_0 \) at the fixpoint.           
Of course the spaghetti on the second level is then no more arbitrary but must be - point for point - be computed by one iteration. But the spaghatti in the first level follow that vertically orientated curve, where a fictive/imaginative plane of paper is at fractional heights and the fractional iterates would be the marks on the coordinate-papers at the "fractional (iteration) height".                                                     

I'd liked to construct some physical example, showing alternative paths upwards between the fixed basic planes, with matrial curves made by an 3-D-printer, but I've not yet started to initialize the required data.

But I think, that mind-model alone makes it possibly already sufficiently intuitive for you.


A somewhat better illustration is in my answer at MSE, see https://math.stackexchange.com/a/451755/1714
Gottfried Helms, Kassel
Reply
#3
I think the OP refers to concepts like , what i called " semi- super " operators.

Like the semisuper operator of the semisuper operator of f(x) is the super of f(x).

This is extremely difficult.

Do not confuse with the functional half-iterate of the superfunction.

Regards 

Tommy1729
Reply
#4
(09/01/2019, 04:34 AM)VSO Wrote: Does anyone have any ideas of how to consider hyper-operations in a way that isn't recursive, such as to accept non-integers?
Although, each level of the Ackermann function is primitive resursive. The entire Ackermann function itself can not be de-recursed.
Please remember to stay hydrated.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ Sincerely: Catullus /ᐠ_ ꞈ _ᐟ\
Reply
#5
(06/28/2022, 08:33 AM)Catullus Wrote:
(09/01/2019, 04:34 AM)VSO Wrote: Does anyone have any ideas of how to consider hyper-operations in a way that isn't recursive, such as to accept non-integers?
Although, each level of the Ackermann function is primitive resursive. The entire Ackermann function itself can not be de-recursed.

This comment doesn't address VSO's question. Ackermann function do not coincides with hyperoperations. Secondly, hyperoperations need not to be defined recursively. Third point: ackermann function, goodstein function (natural hyperoperations), if considered as functions over the natural numbers are recursive. Are defined recursively.

It is not fully clear what do you mean by de-recursed. Anyways, if the question is if it's possible to give an analytical, non recursive, expression to the ackermann function/hyperoperations, the answer is yes.
JmsNxn gave one expression for that. The real question is if that analytical representation has desired properties: does it satifies a functional equation? Is it smooth? Holomorphic?

Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)

\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  How could we define negative hyper operators? Shanghai46 2 2,491 11/27/2022, 05:46 AM
Last Post: JmsNxn
Question Base Pi Hyper-Operations Catullus 3 3,629 11/08/2022, 06:51 AM
Last Post: Catullus
Question Hyper-Operational Salad Numbers Catullus 9 7,393 09/17/2022, 01:15 AM
Last Post: Catullus
Question Rank-Wise Approximations of Hyper-Operations Catullus 48 40,171 09/08/2022, 02:52 AM
Last Post: JmsNxn
Question Octonion Hyper-Operations Catullus 3 3,511 07/05/2022, 08:53 AM
Last Post: Catullus
  Laws and Orders GFR 33 64,117 06/28/2022, 02:43 PM
Last Post: tommy1729
Question Weak Hyper-Operational Etas and Euler Numbers Catullus 0 1,500 06/17/2022, 09:45 AM
Last Post: Catullus
  On my old fractional calculus approach to hyper-operations JmsNxn 14 16,193 07/07/2021, 07:35 AM
Last Post: JmsNxn
  hyper 0 dantheman163 2 8,600 03/09/2021, 10:28 PM
Last Post: MphLee
  On to C^\infty--and attempts at C^\infty hyper-operations JmsNxn 11 14,581 03/02/2021, 09:55 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)