Conformal Mapping & Möbius Transformations

the exponential and logarithm as conformal maps

Beyond Mobius maps, the most useful conformal mappings come from the elementary functions you already know — and the two most versatile are the exponential e^z and its inverse, the logarithm log z. What makes them so handy is the simple way they trade rectangles for wedges and strips for sectors. They are the standard tools for handling regions bounded by rays and parallel lines, which Mobius maps alone cannot reshape.

Watch the exponential at work. Write z = x + i y; then e^z = e^x * e^(i y), so the modulus of the image is e^x and its argument is y. This means a vertical line x = constant maps to a circle of radius e^x, and a horizontal line y = constant maps to a ray from the origin at angle y. Consequently a horizontal strip, say 0 < y < pi (all points between two horizontal lines), maps conformally onto the upper half-plane: as y sweeps from 0 to pi the argument of e^z sweeps from 0 to pi, filling exactly the upper half. Narrow the strip and you get a wedge of smaller angle. The derivative of e^z is e^z, which is never zero, so the map is conformal everywhere — angles between the strip's bounding lines (a right angle where a vertical crosses a horizontal) are faithfully preserved as the right angle between a ray and a circle.

The logarithm log z runs this in reverse: it unrolls a wedge or sector back into a strip. A sector 0 < arg z < alpha (a pie-slice) maps under log z to the horizontal strip 0 < y < alpha, turning a curved angular region into a flat-sided one where problems are far simpler. This is exactly why log is the go-to map for corner and wedge domains. The essential caveat is multivaluedness: log z is many-valued (arg z is only defined up to multiples of 2 pi), so to use it as a single-valued conformal map you must fix a branch and a branch cut — typically slitting the plane along a ray so that arg z stays inside one interval of length 2 pi. Cross the cut and the imaginary part of log jumps by 2 pi.

The strip 0 < y < pi maps under w = e^z onto the upper half-plane: the bottom edge y = 0 goes to the positive real axis (arg = 0), the top edge y = pi to the negative real axis (arg = pi). Running it backwards, w = log z carries the upper half-plane back to the strip — a standard step in solving heat problems on wedges.

exp sends horizontal strips to sectors; log unrolls sectors back into strips.

The exponential is conformal but NOT injective on the whole plane — it is 2-pi-i periodic, so e^z repeats every horizontal strip of height 2 pi. It is a bijection only when restricted to a single such strip; correspondingly log needs a fixed branch.

Also called
exp and log as region mapsstrip-to-sector maps指數與對數的映射作用