generalizing the problem of fractional analytic Ackermann functions
#1
Well there's an obvious connection between the Ackermann function and superfunctions, but now I've found a way to generalize this to what I am labeling "meta-superfunctions". These have to do with iteration but in a very different complicated light.

consider the definition:






or so that

is the super function of

and
is the abel function of

this gives the relation:



for some arbitrary constant C, that gives no singularities and such.

we'd center the equation at zero, so that:



the question I ask is, how do we find fractional values of n? Or put more linguistically, what function is in between a function and its super function?

The connection to the Ackermann function is simple:





so that we get



which is a simple exercise in super functions

now to split confusion we'll rewrite this in "meta superfunction" notation, fixing a to some arbitrary constant





we get the simple result from out previous formula above



and this defines the Ackermann function in terms of "meta superfunctions"


Now, the difficulty with defining fractional values of these "meta superfunctions" is that we do not have a recurrence relation for fractional values... The difference between that and regular superfunctions is that we do, namely



there is no such property or relation for "meta superfunctions"

the only property we know it must satisfy is:



but this is no good because it doesn't give an expression in terms of an even integer superfunction. So my question is, are meta-superfunctions by nature discrete? and inconclusively continuous? Since there is no external property they need satisfy other than maybe



with R(x) being analytic across x.


So, I believe, before the Ackermann function can be continued analytically we must define a recurrence relation across meta superfunctions that applies to fractional values.

My rather meagre attempt at this recurrence relation comes from defining a new operator. I call it "meta composition". It's rather vague and does not have a concrete definition, but it's the best I can come up with.



this would mean that the identity of meta composition is the function itself



which implies idempotency and also that is defined relatively based on each function. Actually, is very much like the composition operator except it is reformulated with as the identity function rather than the normal identity function

Actually thinking about it, I'm sure I've read somewhere of composition operators redefined to suit different identity functions. If this was the case this could perhaps be an approach to a solution for analytic fractional operators!

So I'm wondering, is this just absurd? It's really the best I can come up with...

any other possible "meta superfunction" recurrence relations would be welcomed with a warm heart!
Reply
#2
doing a little bit of algebra, it seems "meta superfunctions" are expressible by nested iteration:



which is obvious but it gives the relation:



which, when plugged in with the iteration formula



gives


which means




which to me resembles something like "compositional"/"iterational" tetration.



where there are x amount of nested iterations.

actually, the generalized formula to give nested iterations is:



I think I just need a bit more time to make sense of this "meta compositional" operator such that it gives a solution



which gives a recurrence relation which allows us to solve half -operators.
Reply
#3
(11/13/2011, 11:33 PM)JmsNxn Wrote: now I've found a way to generalize this to what I am labeling "meta-superfunctions". These have to do with iteration but in a very different complicated light.

consider the definition:





NO I DONT CONSIDER THE DEFINITION :

the very first equation seems wrong from first glance already ( and im eating chocolate ! )

take the last equation

take on both sides

=>

( name this equation 3)

this gives the same result as if we had used on both sides.

hence together with the first equation we conclude f and g are inverse under the diamond operator.

also now consider equation 3 and keep in mind all 3 equations and f and g are inverses then :

take on both sides :

=>

for all n !!!!

this looks really bad.

for small n we get ( n = 0 )



which seems paradoxal , and actually , it is.

for larger n we get e.g.







...

till n approaching infinity !!!
simultaneous !

it seems f and g are not functions , the diamond is not a function nor operator nor composition and none of them are finite !?!?

i prefer different definitions and equations.

once again your first post contains mistakes.

all the rest that follows is even more paradoxal.

no offense , but i prefer you look at it first ...


mathematics requires thinking. at least twice.

regards

tommy1729
Reply
#4
you made a very major mistake...


uhh



this is exactly the assumption I was describing doesn't work.




instead, we'd need to create a new operator



the diamond operator is NOT composition. And the diamond superscript is an index of superfunctions.



instead, it's defined by





continued arbitrarily

where



seriously. You could try reading first.

my definitions are perfectly consistent. I'll give you the benefit of the doubt for maybe misreading for


then again maybe you should try actually reading instead of eating chocolate... and thinking instead of claiming other people arent...
Reply
#5
if perhaps I read you wrong, and maybe you meant to say





this would imply inconsistency.

Which to me is no surprise, the diamond operator was just suggested in a makeshift attempt to come up with a recurrence relation for fractional values of superfunction indexes. It was by no means canon.

It hardly makes the rest of my post "inconsistent" as if you read carefully I even asked [in reference to the diamond operator]:

Quote:So I'm wondering, is this just absurd? It's really the best I can come up with...

That being said, the concept of





is still perfectly consistent which was the main point of the post. And it is hardly wrong at first glance.

therefore I still can't help but think by your post that you mistook for

Reply
#6
(11/16/2011, 04:09 PM)JmsNxn Wrote: if perhaps I read you wrong, and maybe you meant to say





this would imply inconsistency.

Which to me is no surprise, it was just suggested in a makeshift attempt to come up with a recurrence relation for fractional values of superfunction indexes. It was by no means canon.

It hardly makes the rest of my post "inconsistent" as if you read carefully I even asked [in reference to the diamond operator]:

Quote:So I'm wondering, is this just absurd? It's really the best I can come up with...

That being said, the concept of





is still perfectly consistent which was the main point of the post. And it is hardly wrong at first glance.

therefore I still can't help but think by your post that you mistook for

??

first you say you would not be surprised if it was inconsistant.

then you continue , the rest of the post remains correct.

but everything is based on the beginning equations ?

as for composition , i know your diamond isnt composition.

but it does share many properties.

and you yourself gave a relation between the 0 th diamond of g and the compositional inverse of f.

i did not even mention composition.

assuming an equation is welldefined , it must be assumed that when inverses are introduced , they are introduced without switching branches.

hence if we do not loose information or do forbidden operations , we get a group structure.

this group structure has the diamond operator.

and you write - before your diamonds , suggesting it has inverses.

all diamond operators , f and g give a result that belongs to the same structure ( so we can continu taking diamonds ) hence all conditions are met for representation by groups.

if the diamond is your group operator and the inverse is also a group operator in that group ( what must be as explained above ) ,

then we can do left-inverses of the group operators or aka taking diamonds and anti-diamonds on the left side.

since by your first equation we can reduce the group operations (diamonds) we get at the contradion i posted.

( note what i did is more general then working with functional compositions of continu functions ... also a counterargument with integrals will fail because of the " + constant " after integrals )

so im far from convinced i made a mistake , if i did plz let me know clearly and keep in mind , you are the one proposing something so in fact it is actually up to you to prove that it exists.

i might apologize if im wrong.

but i doubt it that i am if you insist on all the equation you wrote down and x being real.

sorry for the emotional shit Smile

regards

tommy1729
Reply
#7
>> Actually thinking about it, I'm sure I've read somewhere of
>> composition operators redefined to suit different identity
>> functions. If this was the case this could perhaps be an approach
>> to a solution for analytic fractional operators!



btw , there already exist fractional operators :

fractional calculus.

where we have e.g. fractional derivatives.
Reply
#8
okay okay

we seem to just have a big miscommunication.


the definition I was putting forth was



so that is the inverse of



which defines a sequence of super functions

therefore
is the superfunction of

and
is the superfunction of

so on and so forth

this is all perfectly consistent.

Now I related that to the Ackermann function, which is self-evident, and sort of generalizes the question of operators inbetween addition and multiplication that are analytic, to functions inbetween a subfunction and a superfunction.

namely, what is , which if made sense of puts us a lot closer to an analytic Ackermann function.

I wrote about the "diamond operator" which would have this relation:


just as a shot in the dark to try and see if we can come up with a formula that relates half-superfunctions and superfunctions

I posed this operator not as if it would be true, but just as a "does this work?" Clearly it doesn't work, which frankly, doesn't surprise me.

The point of this thread was to try to come up with a formula that will relate half-superfunctions and superfunctions in the same way that we have a relation between half-iterates and a function itself

Until we can agree upon a proper relation between half-superfunctions and superfunctions (even if that relation is the fact that there is no relation) then we ultimately cannot solve the Ackermann function for fractional values.

I was merely pointing out that if we do not have a relation between half-superfunctions and superfunctions then it will be about 100 times harder and will give about a 100 times more solutions.


And I am well aware about fractional calculus operators. By fractional operators I was referring to operators inbetween addition and multiplication and exponentiation and tetration etc etc that form a smooth analytic transition for all arguments (save maybe a few holes or what have you).


In conclusion. I just wanted to ask the question

how can we make the transition from function to superfunction to super-superfunction etc etc analytic? And what qualifications should a half-superfunction have in terms of the function and its superfunction itself?

that's it. The fact that the diamond operator is inconsistent doesn't really matter. That was just thrown in there to try to come up with a solution. Frankly I'm a little embarrassed I didn't see the obvious fault with it, lol Tongue

I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent.
Reply
#9
(11/16/2011, 10:57 PM)JmsNxn Wrote: I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent.

hmm ...

how does a converging infinite sequence of uniquely defined superfunctions look like any way ?

fractal ??

another question or remark ..

if a superfunction look like ( carleman f(z) ) ^ x , does that imply that fractional superfunction operators look like ( carleman f(z) ) ^ ^ x ?

if so , we need to extend the bases E [1,eta]U[sqrt(e),oo[ to matrix bases ?

does this imply that the (carleman) matrices require |det| = E[1,eta]U[sqrt(e),oo[ ??

again - as usual - many questions , more questions than answers.

regards

tommy1729
Reply
#10
(11/17/2011, 07:52 PM)tommy1729 Wrote:
(11/16/2011, 10:57 PM)JmsNxn Wrote: I just got the feeling that you were implying is inconsistent seperate from the diamond operator; which is not true. It's very simple and nothing about it implies inconsistency, unless you think an infinite sequence of superfunctions is inconsistent.

hmm ...

how does a converging infinite sequence of uniquely defined superfunctions look like any way ?

fractal ??

another question or remark ..

if a superfunction look like ( carleman f(z) ) ^ x , does that imply that fractional superfunction operators look like ( carleman f(z) ) ^ ^ x ?

if so , we need to extend the bases E [1,eta]U[sqrt(e),oo[ to matrix bases ?

does this imply that the (carleman) matrices require |det| = E[1,eta]U[sqrt(e),oo[ ??

again - as usual - many questions , more questions than answers.

regards

tommy1729

That's a good way to approach the question. I'm not too familiar with carleman matrices but I think it goes something like this


Beware: the following maybe extremely inconsistent... Enter at own discretion




and by the recurrence relation



for any appropriate constant that does not produce singularities or other problems.

therefore



which is the traditional superfunction equation.

continuing this we would get





which would give:



This isn't good though, this would imply the matrix method doesn't work for the Ackermann function since

Arghhhh if only I knew more about matrices. I hope you can help me out.

Hopefully your guess is right, that it somehow turns into tetration across matrices. At least that way we get something non-contradictory.


but there is hope, if



is valid then we can have a solution for the modified Ackermann function; namely



where



and

for


for multiplication



and for exponentiation





tetration would be ridiculously complex.

with this we have the relation



with and

Hopefully you or somebody can correct me if I'm wrong. I think that I'm wrong; this seems too contradictory and fishy to be right... The fact that it fails for the usual Ackermann function makes me angry D:<

If this is right though, we may have a tool for solving half-superfunctions given certain parameters that which is the equivalent of

In a sense you were right about the tetration intuition. Except that it's like a left-handed tetration! which forms an independent operator over matrices since matrix multiplication is not commutative!

EDIT: The formula seems to change from the original one

 

to



not sure why that is, must've made a minor mistake somewhere...

Too tired right now to figure out where. I think I've slashed through enough mathematical jungle for one day.

Maybe you can clarify my errors...
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  [Question for Bo] about formal Ackermann laws MphLee 6 663 12/18/2022, 09:14 AM
Last Post: MphLee
  Is successor function analytic? Daniel 6 849 11/28/2022, 12:03 PM
Last Post: JmsNxn
  Ackermann fixed points Daniel 0 362 09/18/2022, 03:13 PM
Last Post: Daniel
  The modified Bennet Operators, and their Abel functions JmsNxn 6 1,357 07/22/2022, 12:55 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 4 8,742 06/29/2022, 11:46 PM
Last Post: JmsNxn
  On my old fractional calculus approach to hyper-operations JmsNxn 14 8,191 07/07/2021, 07:35 AM
Last Post: JmsNxn
  the inverse ackerman functions JmsNxn 3 11,305 09/18/2016, 11:02 AM
Last Post: Xorter
  Bounded Analytic Hyper operators JmsNxn 25 47,632 04/01/2015, 06:09 PM
Last Post: MphLee
  Theorem in fractional calculus needed for hyperoperators JmsNxn 5 14,122 07/07/2014, 06:47 PM
Last Post: MphLee
  Negative, Fractional, and Complex Hyperoperations KingDevyn 2 12,073 05/30/2014, 08:19 AM
Last Post: MphLee



Users browsing this thread: 1 Guest(s)