Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Grzegorczyk hierarchy vs Iterated differential equations?
#1
Inspired by JmsNxn's thread (http://math.eretrandre.org/tetrationforu...39#pid7139) about the continuum sum I repost this obsevation about the link between the fractional calculus and the Hyperoperations.
I guess that there can be interesting links... and probably is not the wrong way to approach the problem. I just found some results about something similar.

M. Campagnolo, C. Moore -Upper and Lower Bounds on
Continuous-Time Computation


In this text I found a relation betwen a hierarchy of real valued function and the Grzegorczyk hierarchy.

The interesting relations are betwen a hierarchy called and the hierarchy :

Quote:1-Any function in is computable in

2-If then is the extension to the reals of some then

3-the converse holds: if is a function on the naturals of rank it has an extension in

-------------------
The interesting thing is that the various levels of are defined via iterated solution of a special kind of functional equation...and that maybe can be linked with your knowledge in this field...

Definition- is defined as follow

Quote:I-the constants ,, and , the projection functions, are in

II- is closed composition and linear integration
in a recursive way we define
Quote:III- contains the functions in

IV- in we can find all the solutions to the equation (2) in this text ( http://languagelog.ldc.upenn.edu/myl/DK/...oMoore.pdf ) applied to the functions in

V- is closed under composition and linear integration

and

if
if

MathStackExchange account:MphLee

Fundamental Law
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  [YT] One parameter groups of transformations, vector fields and differential operator MphLee 1 358 06/16/2021, 04:31 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 6,375 05/26/2021, 11:55 PM
Last Post: MphLee
  Arbitrary Order Transfer Equations JmsNxn 0 474 03/16/2021, 08:45 PM
Last Post: JmsNxn
  New Quantum Algorithms (Carleman linearization) Finally Crack Nonlinear Equations Daniel 2 1,164 01/10/2021, 12:33 AM
Last Post: marraco
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 2,744 01/16/2020, 10:08 PM
Last Post: sheldonison
  iterated derivation Xorter 0 1,882 06/09/2019, 09:43 PM
Last Post: Xorter
  1st iterated derivatives and the tetration of 0 Xorter 0 2,691 05/12/2018, 12:34 PM
Last Post: Xorter
  Iterated nand Xorter 2 6,447 03/27/2017, 06:51 PM
Last Post: Xorter
  Taylor polynomial. System of equations for the coefficients. marraco 17 27,944 08/23/2016, 11:25 AM
Last Post: Gottfried
  Iterated compositions Xorter 0 2,807 08/20/2016, 01:19 PM
Last Post: Xorter



Users browsing this thread: 1 Guest(s)