Tetration Forum
elementary superfunctions - Printable Version

+- Tetration Forum (https://math.eretrandre.org/tetrationforum)
+-- Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3)
+--- Thread: elementary superfunctions (/showthread.php?tid=275)

Pages: 1 2 3 4

elementary superfunctions - bo198214 - 04/23/2009

Triggered by the interesting finding of Andrew I open this thread for the further investigation of elementary superfunctions, i.e. functions that are expressible with elementary functions and operations such that

for a given elementary function .

Our first example is:
with a superfunction .

Now the has the same property as the . Hence is another superfunction of .

Indeed exists and is differentiable at .
But it does not exist at the other fixed point , because is not defined.

Edit: both are regular super-functions at fixed point 1. .

So if we are at polynomials , we can also give an elementary superfunction for , i.e. .
Because .

Edit: these are the regular super-exponentials at 1. .

Generally for Chebyshev polynomials, these are the polynomials such that - for example above we used -, we know already two elementary superfunctions of , these are and .

RE: elementary superfunctions - bo198214 - 04/23/2009

Peeping a bit into the Szekeres-Seminar somewhere on the forum mentioned by Andrew, and rearranging the elementary Schröder functions found by Schröder himself, I can add some more elementary superfunctions:

1. , .
Let us check:
and on the other hand

So its indeed a superfunction.
Edit: It is regular at fixed point :

2. ,
Let us check:

It is again regular at 0.

RE: elementary superfunctions - bo198214 - 04/23/2009

Next function , the natural numbered iterates are:

So a super-function would be


For the regular iteration we need to find a fixed point

, .

Then (*) looks like:

If we translate along the x-axis we can get

Edit: It is regular at .

Summary: is the at regular superfunction of , for .

RE: elementary superfunctions - tommy1729 - 04/27/2009

bo198214 Wrote:Summary: is an elementary superfunction of , for .

this result is far from new.


'in general' super-functions are of hypergeometric or inverse hypergeometric " kind " , where " kind " mainly denotes nested structures.

and with ' in general ' i mean usually if the (original) function is elementary.

i advocated the concept of inverse hypergeometric functions before , as e.g. on sci.math but without much results.

usually , if we arrive at an integral expression for our super-function its hypergeometric or inverse hypergeometric.

and that can often be reduced to elementary by using 'integral calculus'.

i tried to related all of this to half iterations of exp(x) but nothing worked.

mainly because exp(x) lacks a real fixpoint and a real zero at the same time ....



RE: elementary superfunctions - bo198214 - 04/28/2009

This thread was not intended to make a lot of wise comments, but rather to establish a collection of examples of elementary super-functions. So if you have one which is not already mentioned, please post.

RE: elementary superfunctions - bo198214 - 04/28/2009

Ansus Wrote:What you're speaking about is simply a fractional iteration.

What you mean is probably regular iteration.
Everything is a fractional iteration that satisfies:

While regular iteration at a fixed point p is a certain fractional iteration that satisfies that is differentiable at the fixed point . Regular iteration is unique by this demand.

Quote:You know that fractional iteration can be expressed in terms of Newton's and Lagrange's series. There are also methods to solve iterational equations that can be extended to fractional iterations.

Ansus, again, the title of this thread is *elementary* *superfunctions*. That implies
1. I am seeking *elementary* functions, while all methods of regular iteration dont return elementary functions per se.
2. I am seeking *superfunctions*, they dont have necessarily to be regular (=the result of regular iteration). So if you have an example of an elementary superfunction that is not by regular iteration at some fixed point, I would highly appreciate it!

RE: elementary superfunctions - bo198214 - 04/28/2009

Yes exactly those formula I was looking for!
However can you shorten them a bit by gathering terms or introducing constants for repeatedly occuring terms?
If possible it would be very preferable to indicate the fixed point, if the super-function is obtained by regular iteration.
Would anyway be good if you could explain how you obtained the formulas or what the idea behind is.

RE: elementary superfunctions - bo198214 - 04/28/2009

Ansus Wrote:Mathematica simply finds these formulas. I do not know how it does.

You mean by solving the recurrence F(z+1)=f(F(z))?
Please take the time, simplify the results and verify them.
I mean its a quite strange looking term , isnt it?

RE: elementary superfunctions - bo198214 - 04/28/2009

Thanks, for simplifying.

Ansus Wrote:What's wrong with it?

Well the function is supposed to be real and this would give complex values, if they do not cancel out, or something.
But I see the functions are all decreasing, so one would not expect a real solution.

RE: elementary superfunctions - andydude - 04/28/2009

bo198214 Wrote:Well the function is supposed to be real and this would give complex values, if they do not cancel out, or something.

Yeah, also, Mathematica is very pedantic about exponents. For example, it does not assume because this is only true for complex numbers where or something.