# Fractals/Iterations in the complex plane/fractional-iterations

Fractional iteration doesn't have a unique value. For example the square root of 4 is 2 or -2.

# Definition

Fractional iteration $\phi$ is called an ${\frac {m}{n}}$-iterate of $f$ iff
for instance, a half iterate ( = functional square root) of a function f is a function g such that
This function g(x) can be written using the index notation as
Similarly,
is the function defined such that f$^⅓$(f$^⅓$(f$^⅓$(x))) = f(x), while f$^⅔$(x) may be defined equal to f$^⅓$(f$^⅓$(x)), and so forth, all based on the principle, mentioned earlier, that f$^m$○f$^n$ = f$^{m+n}$. This idea can be generalized so that the iteration count n becomes a continuous parameter, a sort of continuous "time" of a continuous orbit.
In such cases, one refers to the system as a flow, specified by Schröder's equation.
Negative iterates correspond to function inverses and their compositions. For example, f$^{−1}$(x) is the normal inverse of f, while f$^{−2}$(x) is the inverse composed with itself, i.e. f$^{−2}$(x) = f$^{−1}$(f$^{−1}$(x)). Fractional negative iterates are defined analogously to fractional positive ones; for example, f$^{−½}$(x) is defined such that f$^{−½}$(f$^{−½}$(x)) = f$^{−1}$(x), or, equivalently, such that f$^{−½}$(f$^½$(x)) = f$^0$(x) = x.
The notion f$^{1/n}$ must be used with care when the equation g$^n$(x) = f(x) has multiple solutions, which is normally the case, as in Babbage's equation of the functional roots of the identity map. For example, for n = 2 and f(x) = 4x−6, both g(x) = 6−2x and g(x) = 2x−2 are solutions; so the expression f$^½$(x) doesn't denote a unique function, just as algebraic roots of numbers are multiple. The issue is quite similar to division by zero. The roots chosen are normally the ones belonging to the orbit under study.

## Question. It is possible to iterate a function non-integer times?

"Short answer: it depends.
* Given a differentiable function with a formal power series, and its power series can be used as a means to study its iterates and interpolate between them, and in some cases, this
interpolation also produces an differentiable function as well.
* Given a function which is not continuous or differentiable, it is possible to interpolate between iterates of the function, but there are many more possible ways of doing this." tetration forum FAQ by Henryk Trappman Andrew Robbins January 12, 2008

# Examples
## Solutions of g(g(z) = z^2+c

Solutions :
* the closed-form solution
* expansion

### c=0

Find a continous function
satisfying
for all $z\in \mathbb {C}$.
In other words find fractional iteration $g(z)=f^{\frac {1}{2}}(z)$ from functional equation
Lets try :
so
then
and
Square root of 2 is irrational number.
using "powers via logarithm"
for each real number s.

### c = −2 , description by G A Edgar

https://people.math.osu.edu/edgar.2/preprints/trans_frac/fractional.pdf "Fractional Iteration of Series and Transseries" by G. A. Edgar .
" 6. Julia Example
As an example we will consider fractional iterates for the function
$M(x)=x^{2}+c$
near $x=+\infty$
Of course, positive integer iterates of this function are used for construction of Julia sets or the Mandelbrot set. For the theory of real transseries to be applicable, we must restrict to real values c. But once we have nice formulas, they can be investigated for general complex c.
In the case c = −2 there is a closed form known,
$M^{[s]}=2cosh(2^{s}acosh(x/2))$
[Of course, $x^{2}-2=2cosh(2acosh(x/2))$ is essentially the double-angle formula for cosines.]
And of course in the case c = 0 the closed form is $M^{[s]}=x^{2^{s}}$
For other values of c no closed form is known, and it is likely that there is none (but that must be explained).
$M^{\frac {1}{2}}=2cosh({\sqrt {2}}\ acosh({\frac {x}{2}}))$

## Some formulas for fractional iteration

One of several methods of finding a series formula for fractional iteration, making use of a fixed point, is as follows.
(1) First determine a fixed point for the function such that f(a)=a .
(2) Define f $^n$(a)=a for all n belonging to the reals. This, in some ways, is the most natural extra condition to place upon the fractional iterates.
(3) Expand f $^n$(x) around the fixed point a as a Taylor series,
    $f^{n}(x)=f^{n}(a)+(x-a){\frac {d}{dx}}f^{n}(x)|_{x=a}+{\frac {(x-a)^{2}}{2!}}{\frac {d^{2}}{dx^{2}}}f^{n}(x)|_{x=a}+\cdots$
(4) Expand out
    $f^{n}\left(x\right)=f^{n}(a)+(x-a)f'(a)f'(f(a))f'(f^{2}(a))\cdots f'(f^{n-1}(a))+\cdots$
(5) Substitute in for f $^k$(a)= a, for any k,
    $f^{n}\left(x\right)=a+(x-a)f'(a)^{n}+{\frac {(x-a)^{2}}{2!}}(f''(a)f'(a)^{n-1})\left(1+f'(a)+\cdots +f'(a)^{n-1}\right)+\cdots$
(6) Make use of the geometric progression to simplify terms,
    $f^{n}\left(x\right)=a+(x-a)f'(a)^{n}+{\frac {(x-a)^{2}}{2!}}(f''(a)f'(a)^{n-1}){\frac {f'(a)^{n}-1}{f'(a)-1}}+\cdots$
(6b) There is a special case when f '(a)=1,
    $f^{n}\left(x\right)=x+{\frac {(x-a)^{2}}{2!}}(nf''(a))+{\frac {(x-a)^{3}}{3!}}\left({\frac {3}{2}}n(n-1)f''(a)^{2}+nf'''(a)\right)+\cdots$
(7) When n is not an integer, make use of the power formula y $^n$ = exp(n ln(y)).
This can be carried on indefinitely, although inefficiently, as the latter terms become increasingly complicated.
A more systematic procedure is outlined in the following section on Conjugacy.

### Example 1

For example, setting f(x) = Cx+D gives the fixed point a = D/(1-C), so the above formula terminates to just
    $f^{n}(x)={\frac {D}{1-C}}+(x-{\frac {D}{1-C}})C^{n}=C^{n}x+{\frac {1-C^{n}}{1-C}}D~,$
which is trivial to check.

### Example 2

Find the value of ${\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{\cdots }}}$ where this is done n times (and possibly the interpolated values when n is not an integer). We have f(x)=Template:Sqrt$^x$. A fixed point is a=f(2)=2.
So set x=1 and f $^n$ (1) expanded around the fixed point value of 2 is then an infinite series,
    ${\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{\cdots }}}=f^{n}(1)=2-(\ln 2)^{n}+{\frac {(\ln 2)^{n+1}((\ln 2)^{n}-1)}{4(\ln 2-1)}}-\cdots$
which, taking just the first three terms, is correct to the first decimal place when n is positive—cf. Tetration: f $^n$(1) = $^n$Template:Sqrt . (Using the other fixed point a = f(4) = 4 causes the series to diverge.)
For n = −1, the series computes the inverse function, 2 lnx/ln2.

### Example 3

With the function f(x) = x$^b$, expand around the fixed point 1 to get the series
    $f^{n}(x)=1+b^{n}(x-1)+{\frac {1}{2!}}b^{n}(b^{n}-1)(x-1)^{2}+{\frac {1}{3!}}b^{n}(b^{n}-1)(b^{n}-2)(x-1)^{3}+\cdots ~,$
which is simply the Taylor series of x$^{(bn)}$ expanded around 1.

# See also

* of half-iterates of f(x) = x² + 1/4 by Gottfried Helms, 2012-10-10
* tetration forum : Iteration exercises: f(x)=x^2 - 0.5 ; Fixpoint-irritation...
* math.stackexchange question : half-iterate-of-x2c
* http://math.stackexchange.com/questions/911818/how-to-obtain-fx-if-it-is-known-that-ffx-x2x
* wikipedia : Carleman_matrix
* Neumann–Neumann methods
* w:Superfunction
* w:Infinite compositions of analytic functions
* math stackexchange: square-root-of-a-function-in-the-sense-of-composition: X^2+1

# Examples

* Paul Bourke: fractional powers
* fractalforums.com : animating-fractional-iterations-'stirring'
* mandelstir by Tim Hutton
* YT mandelstir playlist by Tim Hutton

# References

* wikipedia : Functional square root = a half iterate
* ↑ Fractional-exponent fractals by Ken Shirriff
* ↑ new-multi-branch-algorithm-to-render by Ken Shirriff
* ↑ math.eretrandre.org : Fractional_iterate
* ↑ math.stackexchange question : half-iterate-of-x2c