08/16/2009, 11:15 PM

Ok, my explanation for the phenomenon is roughly:

The orbit of a point from the upper halfplane under is a right winding spiral around the primary fixed point in the upper halfplane.

This spiral gets bigger the farther is located from the origin.

The spiral getting bigger means the lower part of the spiral gets closer to the real axis.

Indeed already the second iteration of (though it is usually not the minimum of the spiral) converges to the real axis when the imaginary part of goes to infinity.

for big arguments the logarithm grows faster than the arctan, thatswhy if we increase a big the quotient decreases and hence decreases.

As long as the radius of a number with is too big, the imaginary part of the logarithm (which is the angle of ) will be smaller than the imaginary part of .

But doesnt this mean that the singularities that come close to the real axis somehow accumulate around 0?

At least the minimum of the spiral will be around 0. I think I could even calculate bounds on the real axis around 0 in which the minimum of every such spiral has to live.

The orbit of a point from the upper halfplane under is a right winding spiral around the primary fixed point in the upper halfplane.

This spiral gets bigger the farther is located from the origin.

The spiral getting bigger means the lower part of the spiral gets closer to the real axis.

Indeed already the second iteration of (though it is usually not the minimum of the spiral) converges to the real axis when the imaginary part of goes to infinity.

for big arguments the logarithm grows faster than the arctan, thatswhy if we increase a big the quotient decreases and hence decreases.

As long as the radius of a number with is too big, the imaginary part of the logarithm (which is the angle of ) will be smaller than the imaginary part of .

But doesnt this mean that the singularities that come close to the real axis somehow accumulate around 0?

At least the minimum of the spiral will be around 0. I think I could even calculate bounds on the real axis around 0 in which the minimum of every such spiral has to live.