The Joukowski map is holomorphic on . A holomorphic function is locally conformal where its derivative is nonzero. Here vanishes at . Therefore
where the exclusion of zero is because the function is undefined there. Holomorphy alone does not supply conformality at the two critical points.
Put . Expanding the holomorphic function near its critical point gives
For a small ray , the leading image displacement is . Thus oriented ray angles are doubled modulo at . This is angle multiplication at a holomorphic critical point of multiplicity two; an unoriented angle between full tangent lines must also be interpreted modulo . The map is not locally one-to-one there.
For the image is , a real number. Therefore each semicircle maps onto the real interval , with endpoints included for closed semicircles. Under positive traversal of the full unit circle, the upper half runs from to and the lower half returns from to . Every interior point has two unit-circle preimages. The Joukowski circle-to-ellipse mapping degenerates to a doubled line segment at this radius.
For a radius , write . Then
For its image is the ellipse
Its horizontal semiaxis is , its vertical semiaxis is , and its foci are because the squared semiaxes differ by . Reciprocal radii give the same ellipse, traversed in opposite directions as increases.
Figure 1.
The Joukowski map sends reciprocal-radius circles to one ellipse and the unit circle to a doubled interval
. Details.

Articles by others on the same topic (0)

There are currently no matching articles.