Uniqueness of fractionally iterated functions
#2
(07/04/2022, 02:12 AM)Daniel Wrote: A troubling question that occured to me is if my derivation of the Taylor's series of \( f^n(z) \) is correct, due to its generality it must contain all solutions that don't have a super-attracting fixed point. Since all functions except the successor function have finite fixed points, if f(z) is smooth then my approach should be valid. So shouldn't all valid methods give the same results? Yeah, lots of different tetrations and all, but shouldn't they all agree on their common areas? Aren't we all studying parts of the same "elephant"?

Your iteration method is the basis for iterations. But no, they don't agree.

The same fallacy seems to be making its way around this forum, and I keep on having to correct it.

If \(f\) is a holomorphic function, and has two fixed points \(x_0, x_1\). Then the iteration \(f^{\circ s}(z)\) for \(z \approx x_0\) is NOT THE SAME FUNCTION, as the iteration \(f^{\circ s}(z)\) for \(z \approx x_1\). You CANNOT make them one function. It's incorrect. If you iterate \(\sqrt{2}^z\) about \(z\approx 2\), it is NOT THE SAME iteration as iterating \(\sqrt{2}^z\) about \(z\approx 4\).

We can also iterate from periodic points too, and that can be even MORE COMPLICATED. They are not the same elephant.

So, as your iteration method works, it works to construct Schroder's iteration about a fixed point. This is commonly referred to as the standard iteration, or the regular iteration.

The higher order problems are to create an iteration which works globally (and hence for no fixed points--like Kneser). Or to construct super functions, which there are uncountably many.

Your iteration method is precisely the local iteration. And any local iteration looks like your iteration method. The trouble lies in extending iterations to larger domains (excluding other fixed points), and dealing with more exotic constructions.


Messages In This Thread
RE: Uniqueness of fractionally iterated functions - by JmsNxn - 07/04/2022, 11:45 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  4 hypothesis about iterated functions Shanghai46 11 2,879 04/22/2023, 08:22 PM
Last Post: Shanghai46
  Question about the properties of iterated functions Shanghai46 9 2,239 04/21/2023, 09:07 PM
Last Post: Shanghai46
  Computing sqrt 2 with rational functions. tommy1729 0 452 03/31/2023, 11:49 AM
Last Post: tommy1729
  [NT] Caleb stuff , mick's MSE and tommy's diary functions tommy1729 0 465 02/26/2023, 08:37 PM
Last Post: tommy1729
  Evaluating Arithmetic Functions In The Complex Plane Caleb 6 1,793 02/20/2023, 12:16 AM
Last Post: tommy1729
  [MSE] iterated sin using Besselfunction 1st kind Gottfried 7 2,322 12/18/2022, 02:06 PM
Last Post: Gottfried
  Iterated function convergence Daniel 1 902 12/18/2022, 01:40 AM
Last Post: JmsNxn
  Bessel functions and the iteration of \(e^z -1 \) JmsNxn 8 2,609 09/09/2022, 02:37 AM
Last Post: tommy1729
  The iterational paradise of fractional linear functions bo198214 7 2,720 08/07/2022, 04:41 PM
Last Post: bo198214
  Universal uniqueness criterion? bo198214 57 127,974 06/28/2022, 12:00 AM
Last Post: JmsNxn



Users browsing this thread: 2 Guest(s)