Inverse super-composition Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 11/24/2016, 12:53 PM 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 JmsNxn Ultimate Fellow     Posts: 1,065 Threads: 121 Joined: Dec 2010 11/25/2016, 08:55 PM This is just the abel function which satisfies and then if we have Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 12/23/2016, 01:33 PM Hmm. And what is the taylor series of it? Or what else could we know about this function? Xorter Unizo JmsNxn Ultimate Fellow     Posts: 1,065 Threads: 121 Joined: Dec 2010 12/23/2016, 08:12 PM (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. Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 12/24/2016, 09:53 PM (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 sheldonison Long Time Fellow    Posts: 684 Threads: 24 Joined: Oct 2008 12/25/2016, 04:16 AM (This post was last modified: 12/25/2016, 11:17 AM by sheldonison.) (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 Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 12/25/2016, 04:38 PM (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 sheldonison Long Time Fellow    Posts: 684 Threads: 24 Joined: Oct 2008 12/25/2016, 08:35 PM (This post was last modified: 12/25/2016, 09:13 PM by sheldonison.) (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 Xorter Fellow   Posts: 93 Threads: 30 Joined: Aug 2016 12/25/2016, 10:23 PM (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 sheldonison Long Time Fellow    Posts: 684 Threads: 24 Joined: Oct 2008 12/26/2016, 07:10 AM (This post was last modified: 12/26/2016, 07:38 AM by sheldonison.) (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 « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post another infinite composition gaussian method clone tommy1729 2 69 01/24/2023, 12:53 AM Last Post: tommy1729 inverse supers of x^3 tommy1729 0 324 06/12/2022, 12:02 AM Last Post: tommy1729 Consistency in the composition of iterations Daniel 9 1,137 06/08/2022, 05:02 AM Last Post: JmsNxn Improved infinite composition method tommy1729 5 2,928 07/10/2021, 04:07 AM Last Post: JmsNxn Composition, bullet notation and the general role of categories MphLee 8 5,101 05/19/2021, 12:25 AM Last Post: MphLee Is bugs or features for fatou.gp super-logarithm? Ember Edison 10 18,187 08/07/2019, 02:44 AM Last Post: Ember Edison Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 19,079 06/10/2019, 04:29 AM Last Post: Ember Edison Inverse Iteration Xorter 3 8,051 02/05/2019, 09:58 AM Last Post: MrFrety The super 0th root and a new rule of tetration? Xorter 4 10,405 11/29/2017, 11:53 AM Last Post: Xorter Solving tetration using differintegrals and super-roots JmsNxn 0 4,108 08/22/2016, 10:07 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s) 