Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Inverse super-composition
#1
Let us invastigate the composition and its iterated function. We know the followings:
(f o g) o g^-1 = f
f^-1 o (f o g) = g
☉ f ☥^N = f o f o ... o f (N times), where ☉ is called steinix and ☥ is called ankh.
☉ f ☥^N o ☉ f ☥^M = ☉ f ☥^(N+M)
☉(☉ f ☥^N)☥^M = ☉ f ☥^(N*M)
f o ☉ f ☥^N = ☉ f ☥^N o f = ☉ f ☥^(N+1)
...
etc.
The question is that what the inverses of the ☉ f(x) ☥^N, steinix-ankh formula is?
According to the previous rules, I can find one of the inverses which is the next:
☉(☉ f ☥^N)☥^(1÷N) = f
But I am interested in that what the other inverse is which would give me N.
So ☉ f ☥^N {something operator}(f) = N, what is it? (It might be called steinix-logarithm.)
Any thoughts?
Xorter Unizo
Reply
#2
This is just the abel function which satisfies



and then if

we have

Reply
#3
Hmm. And what is the taylor series of it? Or what else could we know about this function?
Xorter Unizo
Reply
#4
(12/23/2016, 01:33 PM)Xorter Wrote: Hmm. And what is the taylor series of it? Or what else could we know about this function?

Taylor series is a mess, can usually only be solved in specific instances. There are more natural ways of representing it other than Taylor series. Ecalle has a nice formula, but I can't remember it.
Reply
#5
(12/23/2016, 08:12 PM)JmsNxn Wrote:
(12/23/2016, 01:33 PM)Xorter Wrote: Hmm. And what is the taylor series of it? Or what else could we know about this function?

Taylor series is a mess, can usually only be solved in specific instances. There are more natural ways of representing it other than Taylor series. Ecalle has a nice formula, but I can't remember it.

I am interested in all the working methods, it can be easy way or not. Please, if you do not mind, it would be really helpful for me and for the community if you tried to find it. Thank you very much.
Xorter Unizo
Reply
#6
(12/24/2016, 09:53 PM)Xorter Wrote: I am interested in all the working methods, it can be easy way or not. Please, if you do not mind, it would be really helpful for me and for the community if you tried to find it. Thank you very much.

Your question is too general, since you don't identify what f(x) you are interested in. In general, the type of solution depends on the behavior at the fixed point. I assume you are interested in real valued functions. Some iterated functions have an attracting point. Then we look at the slope at the fixed point.

If the slope at the fixed point is equal to 1, then we have the parbolic case, which is where the method of Ecalle works. This is the method that James was refering too. Ecalle's method can be used to find the solution for the slog inverse of the iterated function for where , and the fixed point is "e". Then the method of Ecalle generates the Abel function at the fixed point. See http://mathoverflow.net/questions/45608/...x-converge and look for the formal power series definition where Will Jagy writes, "Now, given a specific x....it is a result of Jean Ecalle at Orsay that we may take". The algebra for the method of Ecalle is easiest if the fixed point is moved to zero, by solving the Abel function for the equivalent probem, instead of where

If the slope is less than 1, then we can use Koenig's Schröder's function solution; see https://en.m.wikipedia.org/wiki/Schröder's_equation

If there are no real valued fixed points, then we have Kneser's solution for tetration. There are various numerical solutions for Kneser's slog such as mine: http://math.eretrandre.org/tetrationforu...p?tid=1017
- Sheldon
Reply
#7
(12/25/2016, 04:16 AM)sheldonison Wrote: Your question is too general, since you don't identify what f(x) you are interested in. In general, the type of solution depends on the behavior at the fixed point. I assume you are interested in real valued functions. Some iterated functions have an attracting point. Then we look at the slope at the fixed point.

Yes, my question is general, because I am looking for a totally general solution for all the kind of problem like this.
Anyway, I found a nicer formula for my question instead of steinix-ankh, like this:

According to the knowledge of f and g, what is N? How can I calculate it?
For example:

Thus N must be = log2(x), but here is the question why and how can I know it from?
Xorter Unizo
Reply
#8
(12/25/2016, 04:38 PM)Xorter Wrote:
(12/25/2016, 04:16 AM)sheldonison Wrote: Your question is too general, since you don't identify what f(x) you are interested in. In general, the type of solution depends on the behavior at the fixed point. I assume you are interested in real valued functions. Some iterated functions have an attracting point. Then we look at the slope at the fixed point.

Yes, my question is general, because I am looking for a totally general solution for all the kind of problem like this.
Anyway, I found a nicer formula for my question instead of steinix-ankh, like this:

According to the knowledge of f and g, what is N? How can I calculate it?
For example:

Thus N must be = log2(x), but here is the question why and how can I know it from?

For a fixed point of zero, with a fixed point multiplier of 2, the general solution for the Abel function generated at the fixed point of zero is:


This is the Abel function for f(z)

where S(z) is the formal Schröder equation solution;

This is sometimes called Koenig's solution. It can be modified to work with any fixed point multiplier of k, |k|<>1. Using pari-gp one can easily write a program to generate the formal power series for S(x) given f(x).
- Sheldon
Reply
#9
(12/25/2016, 08:35 PM)sheldonison Wrote: For a fixed point of zero, with a fixed point multiplier of 2, the general solution for the Abel function generated at the fixed point of zero is:


This is the Abel function for f(z)

where S(z) is the formal Schröder equation solution;

This is sometimes called Koenig's solution. It can be modified to work with any fixed point multiplier of k, |k|<>1. Using pari-gp one can easily write a program to generate the formal power series for S(x) given f(x).

I almost undestand it.
Okey, than what is the a[n] and b[n] in the sum formula?
I feel we are closer then ever before.
Could you show me this way with another example, please?
For instance, let us invastigate it: . (And cos' fixed point is ~0.739.) The question is that what N is and how I can calculate it.
Xorter Unizo
Reply
#10
(12/25/2016, 10:23 PM)Xorter Wrote:
(12/25/2016, 08:35 PM)sheldonison Wrote: For a fixed point of zero, with a fixed point multiplier of 2, the general solution for the Abel function generated at the fixed point of zero is:


This is the Abel function for f(z)

where S(z) is the formal Schröder equation solution;

This is sometimes called Koenig's solution. It can be modified to work with any fixed point multiplier of k, |k|<>1. Using pari-gp one can easily write a program to generate the formal power series for S(x) given f(x).

I almost undestand it.
Okey, than what is the a[n] and b[n] in the sum formula?
I feel we are closer then ever before.
Could you show me this way with another example, please?
For instance, let us invastigate it: . (And cos' fixed point is ~0.739.) The question is that what N is and how I can calculate it.




I make no attempt to address your question, partly because I doubt your question has an answer.

Using f(x) as an example to explore the Schröder equation probably isn't a good first example either because the multiplier at the fixed point, which is the a1 coefficient of f(x), is negative. Therefore it is no longer possible for the fractional iterates of the function to be real valued. So the Taylor series of the Schröder equation for f(x) isn't relevant either, but it follows the definition from my previous post. Here are the first couple of terms.
- Sheldon
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  the inverse ackerman functions JmsNxn 3 2,883 09/18/2016, 11:02 AM
Last Post: Xorter
  Inverse Iteration Xorter 0 360 09/18/2016, 10:36 AM
Last Post: Xorter
  Uniterated composition Xorter 2 758 09/15/2016, 05:17 PM
Last Post: MphLee
  Solving tetration using differintegrals and super-roots JmsNxn 0 471 08/22/2016, 10:07 PM
Last Post: JmsNxn
  The super of exp(z)(z^2 + 1) + z. tommy1729 1 826 03/15/2016, 01:02 PM
Last Post: tommy1729
  Super-root 3 andydude 10 3,094 01/19/2016, 03:14 AM
Last Post: andydude
  Inverse power tower functions tommy1729 0 641 01/04/2016, 12:03 PM
Last Post: tommy1729
  [2014] composition of 3 functions. tommy1729 0 777 08/25/2014, 12:08 AM
Last Post: tommy1729
  The inverse gamma function. tommy1729 3 3,839 05/13/2014, 02:18 PM
Last Post: JmsNxn
  super of exp + 2pi i ? tommy1729 1 1,836 08/18/2013, 09:20 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)