A conformal map preserves the magnitude and orientation of angles between intersecting smooth curves locally. For a complex holomorphic function, the condition at is : the first-order change rotates and uniformly scales every tangent vector by the same complex factor. This local statement does not require a globally one-to-one map.
No region maps onto the entire finite complex plane: is never zero. Its image on is . A fundamental strip such as
maps bijectively onto that punctured plane, because . The half-open strip supplies one representative of each angle; it is not an open domain. An open strip of height omits a ray as well. The missing zero is approached only in the limit .
Writing gives and . Thus the closed square maps to the annular sector
Its horizontal edges become radial segments and its vertical edges become circular arcs. Each radial tangent is perpendicular to the tangent of its adjoining circle, so the four interior angles remain . Equivalently, the complex derivative is nonzero at every vertex and the map is conformal there.
Use the complex logarithm with on the nonzero points of the first-quadrant square. Put . The square bounds give
The two edges meeting at map to the horizontal half-lines and , extending indefinitely to the left. The other edges map to for and for . They meet at .
The angles are preserved at , and . There is finite and nonzero. The origin is a branch point, has no finite logarithmic image, and supplies no fourth finite vertex at which angle preservation could be asserted.
Figure 1.
A square, its exponential annular sector, and its logarithmic image extending to the left
. Details.

Articles by others on the same topic (0)

There are currently no matching articles.