Just a few illustrations that did not fit in the previous post. A brief recap: given a holomorphic map of the upper half-plane, we can extend it to the bottom half-plane by setting . This extension is not holomorphic unless is linear; however, it extends to a global homeomorphism provided that . A calculation shows that the power map satisfies this inequality whenever .
Here are two examples where this inequality is seriously violated: and . The images of concentric circles are shown, the upper half (power map) in green and the lower half (extended map) in red.
When the extension is , so the images of concentric circles are again circles. The plot reminded me of this:
However, here the angle is . Oh well. Maybe I should blog about the Kelvin wake pattern instead of holomorphic maps. The Wikipedia article does not offer much in the way of explanation.
By the way, nothing forces to be a real number. The Ahlfors extension works for any complex exponent with . For example, :
The plot shows also images of radial segments. In the green territory, the radial segments and circles are mapped to logarithmic spirals. The red part is more complicated. Here is what happens when exceeds :
Finally, a flower with :