04/22/2010, 08:27 PM

Since it is a bit off topic , and perhaps not of the same 'level' as most posts i present it here in the ' community ' section.

Fractional iterations and calculus ( I include recursion theory ) are things that we all want to unite , i believe , and somehow that is not just a desire but unavoidable ; how else will we carry out computations.

When i try to think about that - without thinking about tetration - i often end up with the same problem.

Is f(x) a fractional ( or real if you like ) iterate of id(x) ?

( id(x) = x )

Although it is usually not hard to decide if such is the case , e.g. f(x) = 1-x clearly is a fractional iterate of id(x) , the general case seems - to me at least - not so trivial.

For starters , id(x) commutes with every function , so the problem is harder than to determine if 2 functions commute under composition.

One could (naively(?)) use matrix methods when dealing with taylor series , arriving at the matrix equation :

A is the carleman matrix of f(x) and B is the carleman matrix of id(x).

r is a real number to be found.

A ^ r = B

( notice A = B ^ r fails , because e.g. half-iterates of id(x) include id(x) )

And then try to solve it by setting r = log(B)/log(A).

But does that really work ? How do we know r is real and not a nonreal matrix ?

Keep in mind that the matrices are of infinite size !!

What if the logaritms give problems ? Suppose log(B) and log(A) have norm or eigenvalues 0 or 00 , use l'hospital ?? ... and if the matrices are not invertible ?

Or does non-invertable mean that f(x) is not a fractional iterate of x ?

I've had other ideas as well apart from the matrix approach.

A specific series expansion for example.

I have to give credit for inspiration to Euler and God.

Especially Euler's Beta function. (Perhaps you see why)

It goes without saying that the issue is mainly about irrational iterates of x , since for rational , a certain test might be poor but will always terminate.

r is also trivially the period of the superfunction of f(x).

But finding that period without having or needing the superfunction is challaging imho at least.

Maybe this has been settled long ago , or maybe i regret pressing ' post thread ' in a minute , but at the moment i am in doubt ...

Regards

tommy1729

dedicated to Euler , God and a friend.

Fractional iterations and calculus ( I include recursion theory ) are things that we all want to unite , i believe , and somehow that is not just a desire but unavoidable ; how else will we carry out computations.

When i try to think about that - without thinking about tetration - i often end up with the same problem.

Is f(x) a fractional ( or real if you like ) iterate of id(x) ?

( id(x) = x )

Although it is usually not hard to decide if such is the case , e.g. f(x) = 1-x clearly is a fractional iterate of id(x) , the general case seems - to me at least - not so trivial.

For starters , id(x) commutes with every function , so the problem is harder than to determine if 2 functions commute under composition.

One could (naively(?)) use matrix methods when dealing with taylor series , arriving at the matrix equation :

A is the carleman matrix of f(x) and B is the carleman matrix of id(x).

r is a real number to be found.

A ^ r = B

( notice A = B ^ r fails , because e.g. half-iterates of id(x) include id(x) )

And then try to solve it by setting r = log(B)/log(A).

But does that really work ? How do we know r is real and not a nonreal matrix ?

Keep in mind that the matrices are of infinite size !!

What if the logaritms give problems ? Suppose log(B) and log(A) have norm or eigenvalues 0 or 00 , use l'hospital ?? ... and if the matrices are not invertible ?

Or does non-invertable mean that f(x) is not a fractional iterate of x ?

I've had other ideas as well apart from the matrix approach.

A specific series expansion for example.

I have to give credit for inspiration to Euler and God.

Especially Euler's Beta function. (Perhaps you see why)

It goes without saying that the issue is mainly about irrational iterates of x , since for rational , a certain test might be poor but will always terminate.

r is also trivially the period of the superfunction of f(x).

But finding that period without having or needing the superfunction is challaging imho at least.

Maybe this has been settled long ago , or maybe i regret pressing ' post thread ' in a minute , but at the moment i am in doubt ...

Regards

tommy1729

dedicated to Euler , God and a friend.