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 $\varphi$ is called an $\frac{m}{n}$-iterate of $f$ iff

 ${\varphi }^n(x)=f^m(x)$

for instance, a half iterate ( = functional square root) of a function f is a function g such that

g(g(x)) = f(x).

This function g(x) can be written using the index notation as

 Template:Math .

Similarly,

 Template:Math

is the function defined such that Template:Math, while Template:Math may be defined equal to Template:Math, and so forth, all based on the principle, mentioned earlier, that Template:Math. 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, Template:Math is the normal inverse of Template:Mvar, while Template:Math is the inverse composed with itself, i.e. Template:Math. Fractional negative iterates are defined analogously to fractional positive ones; for example, Template:Math is defined such that Template:Math, or, equivalently, such that Template:Math.

The notion Template:Math must be used with care when the equation Template:Math has multiple solutions, which is normally the case, as in Babbage's equation of the functional roots of the identity map. For example, for Template:Math and Template:Math, both Template:Math and Template:Math are solutions; so the expression Template:Math 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

 $g:ℂ\to ℂ$

satisfying

 $g(g(z))=z^2$

for all $z\in ℂ$.

In other words find fractional iteration $g(z)=f^{\frac{1}{2}}(z)$ from functional equation

 $g(g(z))=f(z)=z^2$

Lets try :

 $g(z)=z^s$

so

 $g(g(z))=(z^s{)}^s=z^{s*s}$

then

 $s^2=2$

and

 $s=\sqrt{2}=1.414213562373095048801688724209\dots$

Square root of 2 is irrational number.

 $f^{\frac{1}{2}}(z)=g(z)=z^s=z^{\sqrt{2}}$

using "powers via logarithm"

 $z^s=(e^{\ln z}{)}^s=e^{s\cdot \ln z}$

for each real number s.

 $\ln (a+bı)=\ln (|z|{\exp }^{ı\phi })=\ln |z|+\ln {\exp }^{ı\phi }=\ln |z|+ı\phi$

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=+\mathrm{\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 Template:Math .

(2) Define Template:Math 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 Template:Math 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}{d{x}^2}{f}^n(x){|}_{x=a}+\cdots$

(4) Expand out

$f^n\left(x\right)=f^n(a)+(x-a)f^{\prime }(a)f^{\prime }(f(a))f^{\prime }(f^2(a))\cdots f^{\prime }(f^{n-1}(a))+\cdots$

(5) Substitute in for Template:Math, for any k,

$f^n\left(x\right)=a+(x-a)f^{\prime }(a{)}^n+\frac{(x-a{)}^2}{2!}(f^{″}(a)f^{\prime }(a{)}^{n-1})(1+f^{\prime }(a)+\cdots +f^{\prime }(a{)}^{n-1})+\cdots$

(6) Make use of the geometric progression to simplify terms,

$f^n\left(x\right)=a+(x-a)f^{\prime }(a{)}^n+\frac{(x-a{)}^2}{2!}(f^{″}(a)f^{\prime }(a{)}^{n-1})\frac{f^{\prime }(a{)}^n-1}{f^{\prime }(a)-1}+\cdots$

(6b) There is a special case when Template:Math,

$f^n\left(x\right)=x+\frac{(x-a{)}^2}{2!}(n{f}^{″}(a))+\frac{(x-a{)}^3}{3!}(\frac{3}{2}n(n-1)f^{″}(a{)}^2+n{f}^{‴}(a))+\cdots$

(7) When n is not an integer, make use of the power formula Template:Math.

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 Template:Math gives the fixed point Template:Math, 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 Template:Math. A fixed point is Template:Math.

So set x=1 and Template:Math 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: Template:Math. (Using the other fixed point Template:Math causes the series to diverge.)

For Template:Math, the series computes the inverse function, Template:Math.

Example 3

With the function Template:Math, 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