Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
half-iterates of x^2-x+1
#1
What is the analytic solution to f(f(x))=x^2-x+1? I am thinking about Ecalle's method . . .

I don't think transforming this into Abel's equation would be of any use since it's mostly applicable where f has a attractive fixed points and transforming it into Schroeder's form and solving it by following Koening's line for 0 < |f'(z)| < 1. But x^2 - x + 1 has only one fixed point which is neutral.

I think Taylor series maybe used since 1 is probably a fixed point of f but it doesn't seems like it would converge, would it? Can we analytically continue the taylor series then?

Balarka
.
Reply
#2
(03/22/2013, 08:19 PM)Balarka Sen Wrote: What is the analytic solution to f(f(x))=x^2-x+1? I am thinking about Ecalle's method . . .

.... But x^2 - x + 1 has only one fixed point which is neutral.

I think Taylor series maybe used since 1 is probably a fixed point of f but it doesn't seems like it would converge, would it?
You are correct. If you develop the half iterate of a function at the parabolic fixed point, then it is a divergent series.

see Will Jagy's comments at http://math.stackexchange.com/questions/...ate-of-x2c. Your question is equivalent to f(f(x))=x^2+x, where now the parabolic fixed point is zero. For your case, , the equivalent parabolic fixed point is 1 where y=x+1. Then there is a formal abel function solution given by Ecalle for . This abel function is actually a formally divergent series, but in practice it works quite well, especially for smaller values x, as x approaches zero, by simply iterating a few times before using the abel function, or if approaching from the negative reals, iterating g(z) a few times and also using the log(-x) in the abel function.





and then the half iterate is
, and y=x+1 gets you back to your original equation.

Since the abel function is a divergent series at x=0, then the half iterate would also be a divergent series at x=0. The half iterate generated at any center point other than zero would be a normal convergent analytic function. This is because there are really two different leau fatou flower petals with two different abel functions, one generated from x>0 fixed point (repelling), and one generated from x<0 (attracting), and you can't analytically continue from one to the other.

For example, I generated the half iterate of 0.5i, from both flower petals. In one case, I iterated g(z) 40 times, to get an accurate abel function result. Then I added a half, and took the inverse abel function, and then iterated 40 times to get the half iterate of 0.5i . In the other case, I did the reverse, starting with 0.5i, and iterating 40 times, then I took the half iterate, and then I iterated g(z) 40 times to get a half iterate of 0.5i . The two results differed by nearly 0.01i. Had I started with 0.2i, the two results would be consistent to 4E-12. So, the half iterate centered at zero acts like an analytic function as long as z is close to zero, but as imag(z) gets bigger, the half iterate has two possible values that are increasingly different. You have to pick which leau flower petal you're interested in to get arbitrarily exact results. Hope that helps.
- Sheldon
Reply
#3
@Balarka

I posted a method for half-iterates today. If you want to avoid matrices , fixpoints , abel- or super functions that might intrest you.

regards

tommy1729

"Truth is that what does not go away when you stop believing in it"
tommy1729
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 229 09/10/2019, 11:28 AM
Last Post: sheldonison
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 142 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 285 09/09/2019, 10:50 PM
Last Post: tommy1729
  Does tetration take the right half plane to itself? JmsNxn 7 5,432 05/16/2017, 08:46 PM
Last Post: JmsNxn
  Half-iteration of x^(n^2) + 1 tommy1729 3 3,700 03/09/2017, 10:02 PM
Last Post: Xorter
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 13,758 01/09/2017, 02:41 AM
Last Post: Gottfried
  [AIS] (alternating) Iteration series: Half-iterate using the AIS? Gottfried 33 35,629 03/27/2015, 11:28 PM
Last Post: tommy1729
  [entire exp^0.5] The half logaritm. tommy1729 1 2,293 05/11/2014, 06:10 PM
Last Post: tommy1729
  Does the Mellin transform have a half-iterate ? tommy1729 4 3,529 05/07/2014, 11:52 PM
Last Post: tommy1729
  Simple method for half iterate NOT based on a fixpoint. tommy1729 2 3,139 04/30/2013, 09:33 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)