Iteration of fractional linear maps

From Hyperoperations Wiki
Jump to navigation Jump to search

Our concern here are functions of the form $f(z)=\frac{az+b}{cz+d}$ with $c\neq 0$.

Fixpoints

In the case $c\neq 0$, the fixpoints are given by

$L_{1,2}=-\frac{d-a}{2c} \pm \sqrt{\left(\frac{d-a}{2c}\right)^2 + \frac{b}{c}}$, or for later use:

$L_{1,2}=\frac{a_1}{c} \pm \frac{a_2}{c} \underbrace{\sqrt{1-\frac{ad-bc}{a_2^2}}}_{=:q}$, where $a_1=\frac{a-d}{2}$ and $a_2=\frac{a+d}{2}$.

Derivative at the fixpoints

The derivative of the fractional linear map $f$ is:

$f'(z)=\frac{ad-bz}{(cz+d)^2}$

If we plug in $z=L_1$ we get:

$f'(L_1) = \frac{ad-bz}{(a_1+a_2 q + d)^2} = \frac{ad-bz}{a_2^2}/\left(1+q\right)^2 = \frac{1-q^2}{\left(1+q\right)^2} = \frac{1-q}{1+q}$

$f'(L_2) = \frac{1+q}{1-q} = 1/f'(L_1)$.