10/04/2007, 01:30 PM
If we consider \( f(z)=b^z \) then \( \lim_{n\to\infty}f^{\circ n}(z) \) is either the lower fixed point of \( b^z \) or \( \infty \) if we start at a non fixed point \( z \).
This is because all fixed points of \( b^z \) are repelling except the lower real fixed point (which though only exists for \( b<\eta \)). All fixed points can be reached via iterating a branch of the logarithm except the lower real fixed point can be reached by iterating exponentiation.
Interestingly the upper real fixed point can be reached by iterating the logarithm even if we start at real \( z \) below the lower real fixed point.
So for the case \( 1<b<\eta \) either
\( f^{\circ n}(z)\to \infty \) or \( f^{\circ n}(z)\to a \) where \( a \) is the lower real fixed point.
However I am not sure in the moment for which area A the first case applies. Surely \( f^{\circ n}(z)\to\infty \) for each \( z>a_2 \) where \( a_2 \) is the upper fixed point and \( f^{\circ n}(z)\to a \) for all other real \( z \).
But for example \( f^{\circ n}(5+i)\to 2 \), but \( f^{\circ n}(5+0.1i)\to\infty \) for \( b=\sqrt{2} \). Jay?
Also we didnt consider yet the case of non-real \( b \).
This is because all fixed points of \( b^z \) are repelling except the lower real fixed point (which though only exists for \( b<\eta \)). All fixed points can be reached via iterating a branch of the logarithm except the lower real fixed point can be reached by iterating exponentiation.
Interestingly the upper real fixed point can be reached by iterating the logarithm even if we start at real \( z \) below the lower real fixed point.
So for the case \( 1<b<\eta \) either
\( f^{\circ n}(z)\to \infty \) or \( f^{\circ n}(z)\to a \) where \( a \) is the lower real fixed point.
However I am not sure in the moment for which area A the first case applies. Surely \( f^{\circ n}(z)\to\infty \) for each \( z>a_2 \) where \( a_2 \) is the upper fixed point and \( f^{\circ n}(z)\to a \) for all other real \( z \).
But for example \( f^{\circ n}(5+i)\to 2 \), but \( f^{\circ n}(5+0.1i)\to\infty \) for \( b=\sqrt{2} \). Jay?
Also we didnt consider yet the case of non-real \( b \).
