Chapter 5 · Conformal mapping intuition

The hook

A map that bends every line but keeps every angle

Story

Here is a map of the plane that bends almost everything. Take $w = z^2$ . Feed it the horizontal and vertical grid lines of the $z$ -plane — the ordinary graph-paper grid — and watch what comes out in the $w$ -plane. The straight lines become parabolas. The square cells bulge and stretch, small near the origin, enormous far away. Nothing is straight any more. Nothing is the same size.

And yet, almost everywhere, one thing survives untouched: the angles. Where two grid lines crossed at a right angle in the $z$ -plane, their bent images still cross at a right angle in the $w$ -plane. The map throws away straightness and throws away scale, but it refuses to throw away angle.

That refusal has a name. A map that preserves angles is called conformal, and the surprising fact of this chapter is that every analytic function is conformal — wherever its derivative isn't zero.

Story

You already know why, you just haven't connected it yet.

In Chapter 1 you learned that multiplying by a complex number $a = \rho\, e^{i\alpha}$ does exactly two things: it scales by $\rho$ and rotates by $\alpha$ . In Chapter 3 you learned that an analytic function has a well-defined derivative $f'(z_0)$ — a single complex number attached to each point. Put those together. Up close, near a point $z_0$ , an analytic function does almost nothing except multiply small displacements by $f'(z_0)$ . And multiplying by a complex number rotates and scales.

Rotate-and-scale is the gentlest thing a map can do to a neighbourhood. It can spin the picture and blow it up or shrink it, but it cannot shear, cannot reflect, cannot distort one direction more than another. So the angle between two little arrows leaving $z_0$ is preserved: both arrows get spun by the same angle $\alpha = \arg f'(z_0)$ , and the angle between them never moves.

Why this matters

This is the chapter where the geometry of Unit 1 pays off, and it pays off twice. First, immediately: Chapter 6 is about Möbius transformations, the single most useful family of conformal maps, and everything there rests on the angle-preservation idea you build here.

Second, in applications — this is the CO-4 thread. Because conformal maps preserve angles, they also preserve the equation that governs steady heat flow, electrostatics, and ideal fluid flow: Laplace's equation. A harmonic function (Chapter 4) stays harmonic after a conformal change of variables. So a hard boundary-value problem on an awkward region can be conformally mapped to the same problem on a simple region — a disc, a half-plane — solved there, and mapped back. One idea, "analytic maps preserve angles," is at once the gateway to Chapter 6 and the reason complex analysis turns up in heat-transfer and field-theory courses two semesters from now.

Intuition before formula

What "preserves angles" actually means

A map is a picture of one plane drawn on another

Write $w = f(z)$ . Think of two copies of the plane side by side: the $z$ -plane on the left, the $w$ -plane on the right. The function takes each point $z = x + iy$ on the left to a point $w = u + iv$ on the right. A curve on the left becomes a curve on the right; a region becomes a region. The whole subject of conformal mapping is the study of what shapes go to what shapes under a given $f$ .

This reframes everything from Chapters 3–4. " $f$ is analytic" stops being an algebraic property of $u$ and $v$ and becomes a geometric one: it controls how the left picture is redrawn on the right.

The angle between two curves

Take two smooth curves $C_1$ and $C_2$ that cross at a point $z_0$ . At the crossing, each curve has a tangent direction; the angle between the curves is the angle between those two tangents, measured with a sign (counterclockwise from $C_1$ to $C_2$ ). Under $w = f(z)$ the curves become images $C_1'$ and $C_2'$ crossing at $w_0 = f(z_0)$ , with their own angle between them.

Definition

Conformal at $z_0$ means: for every such pair of curves through $z_0$ , the angle between the images equals the angle between the originals — same size, same sense (same direction of turning).

The "same sense" clause is the part students drop, and it is exactly what separates a conformal map from its mirror-image cousin. We name that cousin in Beat 3.

Why scaling and rotating cannot disturb an angle

Here is the picture under the surface, the one Beat 1 promised. Near $z_0$ , the map sends a tiny displacement $\Delta z$ to a tiny displacement $\Delta w \approx f'(z_0)\,\Delta z$ . Writing $f'(z_0) = \rho\, e^{i\alpha}$ :

\Delta w \approx \rho\, e^{i\alpha}\,\Delta z.

Every little arrow $\Delta z$ leaving $z_0$ is rotated by the same $\alpha$ and scaled by the same $\rho$ . Rotating all arrows by a common angle leaves the angles between them unchanged; scaling them all by a common factor does too. So angles survive — provided $f'(z_0) \neq 0$ , because only then is $\rho > 0$ and $\alpha = \arg f'(z_0)$ a sensible, single direction to rotate by.

When $f'(z_0) = 0$ , the arrow $\rho\, e^{i\alpha}$ collapses, the linear approximation says only " $\Delta w \approx 0$ ," and the whole argument falls silent. Those points are special, and they are where conformality breaks. They have a name too, coming up next.

Formal statement

Analytic ⟹ conformal, except where the derivative dies

Theorem · conformality of analytic functions

Let $f$ be analytic on a domain $D$ , and let $z_0 \in D$ with $f'(z_0) \neq 0$ . Then the mapping $w = f(z)$ is conformal at $z_0$ : it preserves both the magnitude and the sense of angles between curves through $z_0$ .

The proof is the Beat 2 argument made precise: near $z_0$ , $f(z) - f(z_0) \approx f'(z_0)(z - z_0)$ , a multiplication by the fixed nonzero number $f'(z_0) = \rho\, e^{i\alpha}$ ; multiplication rotates every tangent by $\alpha$ and scales by $\rho$ , so the angle between any two tangents is unchanged in size and sense. (Reveal 2 walks this through in three steps — it is a clean exam-grade proof.)

Critical points — where conformality fails

Definition · critical point

A point $z_0$ where $f$ is analytic but $f'(z_0) = 0$ is called a critical point of $f$ . At a critical point the mapping is not conformal.

Critical points are the zeros of $f'$ , so for any non-constant analytic $f$ they are isolated — scattered, never filling a region. At an ordinary point, angles are preserved; at a critical point, they are not merely disturbed but multiplied.

The precise rule: if $f'(z_0) = 0$ and the first non-vanishing derivative at $z_0$ is the $m$ -th one, then curves crossing at $z_0$ at angle $\theta$ are mapped to curves crossing at $m\theta$ . Angles are multiplied by $m$ at a critical point. For $w = z^2$ the derivative $2z$ vanishes only at $z_0 = 0$ , where $m = 2$ : angles double there — the one case you'll see worked here, with the general $m$ as its natural extension. That doubling is the one place the $z^2$ grid betrays its right angles — at the origin, where a quarter-turn becomes a half-turn.

Conformal, isogonal, anti-conformal

The hierarchy

Isogonal = preserves the magnitude of angles, sense or not. A conformal map is an isogonal map that also preserves sense (so conformal maps are the sense-preserving isogonal maps). An anti-conformal map is an isogonal map that reverses sense. The cleanest anti-conformal example is $w = \bar{z}$ — a reflection across the real axis: same angle sizes, flipped direction, so it is isogonal but not conformal. And $\bar{z}$ isn't analytic (fails Cauchy–Riemann), which is exactly why it isn't conformal — conformality is the analytic, sense-preserving member of the isogonal family.

Interactive playground

Try it: deform the grid, watch the angles

Three elementary maps, for reference as you play:

Linear map $w = az + b$ ( $a \neq 0$ ). Derivative $a$ everywhere, never zero, so conformal at every point. Geometrically it is pure rotate-scale-translate: rotate by $\arg a$ , scale by $|a|$ , shift by $b$ . It preserves angles and shapes (a similarity); only position, size and orientation change. This is the "nothing surprising happens" baseline.

Square map $w = z^2$ . Derivative $2z$ , zero only at $z = 0$ . Conformal everywhere except the origin; angles double at the origin. In polar form $z = r e^{i\theta} \mapsto r^2 e^{2i\theta}$ : radii get squared, angles get doubled. A ray at angle $\theta$ maps to a ray at angle $2\theta$ , which is why the first quadrant ( $0 \le \theta \le \pi/2$ ) opens out to the entire upper half-plane ( $0 \le 2\theta \le \pi$ ).

Inversion $w = 1/z$ . Derivative $-1/z^2$ , which is never zero on the map's domain. So $1/z$ is the instructive contrast to $z^2$ : it is conformal at every point where it is defined — it has no critical points at all, whereas $z^2$ has exactly one. And one caution that reliably trips students: the origin is not a critical point of $1/z$ . A critical point is a place where $f$ is analytic and $f'$ vanishes; at $z = 0$ the function $1/z$ is simply undefined — it isn't in the domain, so it can't be a critical point. ("Undefined here" and "critical point here" are different statements.) What $1/z$ does to circles and lines is the heart of Chapter 6; for this chapter it is enough to see that it bends the grid while preserving every angle it touches.

Deform the grid, watch the angles

Map: · Grid morph Angle probe

a: |a| 1.0 arg 0° · b: Re 0 Im 0

ray direction 20° · separation 50° — click the left plane to place z₀ (drag near the origin to land on it)

z-plane

w-plane

Insight · Card 7

Notice what $f'(z_0)$ is doing in the angle-probe panel. Its argument is exactly how much the picture is rotated at $z_0$ ; its modulus is exactly how much the picture is magnified there. The derivative you computed back in Chapter 3 as a limit of difference quotients turns out to be a little instruction sheet: "at this point, spin by $\arg f'$ and zoom by $|f'|$ ." That is what a complex derivative is, geometrically.

And the one point where the instruction sheet is blank — $f'(z_0) = 0$ , "spin by nothing, zoom by nothing" — is precisely the point where angles stop being preserved. No rotation angle is defined, so there is no common angle to protect.

Retrieval gauntlet

Test yourself before moving on

Commit to an answer before revealing anything. Recognising the right answer once you see it feels like knowing it. It isn't the same thing.

Quiz 1 · finding the critical points

For the map $w = f(z) = z^3 - 3z$ , at which of these points does the mapping fail to be conformal?

Quiz 2 · angle preservation at a regular point

A map is conformal at $z_0$ , with $f'(z_0) = 2\,e^{i\pi/3}$ . Two smooth curves cross at $z_0$ at an angle of 40°. At what angle do their images cross at $w_0 = f(z_0)$ ?

Quiz 3 · angle multiplication at a critical point

Under $w = z^2$ , two rays leave the origin with 30° between them. What is the angle between their images at $w = 0$ ?

Try first. Find the image, in the

w

-plane, of the vertical line

x = 2

under

w = z^2

. Work it on paper before revealing.

Parametrise the line by $y$ : a point on it is $z = 2 + iy$ . Then

w = z^2 = (2 + iy)^2 = (4 - y^2) + 4iy.

So writing $w = u + iv$ ,

u = 4 - y^2, \qquad v = 4y.

Eliminate the parameter: from the second equation $y = v/4$ , and substituting,

u = 4 - \left(\frac{v}{4}\right)^2 = 4 - \frac{v^2}{16}.

This is a parabola opening in the negative- $u$ direction, with vertex at $(u, v) = (4, 0)$ .

Check one point. At $y = 1$ : $z = 2 + i$ , $w = (2+i)^2 = 3 + 4i$ , so $u = 3,\ v = 4$ . The formula gives $u = 4 - 16/16 = 3$ . ✓

Horizontal lines $y = c$ with $c \neq 0$ map to parabolas opening the other way ( $u = v^2/(4c^2) - c^2$ ). The degenerate case $c = 0$ is the real axis, which maps to the non-negative real axis — a ray, not a parabola. Away from the origin the two parabola families are mutually orthogonal — they cross at right angles — which is exactly what the conformality of $z^2$ guarantees. Same orthogonal-families idea as Chapter 4, now produced by a mapping rather than by a harmonic conjugate.

Prove: an analytic function $f$ is conformal at any point $z_0$ where $f'(z_0) \neq 0$ . Three sub-steps; attempt each on paper before revealing.

Step 1 — linearise near $z_0$ .

f

is differentiable at

z_0

. Write down what

f(z)

looks like for

z

close to

z_0

, keeping only the leading behaviour.

Differentiability at $z_0$ means

f(z) - f(z_0) = f'(z_0)\,(z - z_0) + \varepsilon(z),

where the error $\varepsilon(z)$ shrinks faster than $|z - z_0|$ as $z \to z_0$ . So for a small displacement $\Delta z = z - z_0$ , the image displacement is

\Delta w \approx f'(z_0)\,\Delta z.

To leading order, the map is multiplication by the fixed number $f'(z_0)$ .

Step 2 — read multiplication geometrically. Write

f'(z_0) = \rho\, e^{i\alpha}

. What does multiplying

\Delta z

by this number do to

\Delta z

's direction?

From Chapter 1, multiplying by $\rho\, e^{i\alpha}$ scales modulus by $\rho$ and adds $\alpha$ to the argument:

\arg(\Delta w) \approx \arg(\Delta z) + \alpha.

Every small displacement leaving $z_0$ , whatever its direction, is rotated by the same angle $\alpha$ . Here is where $f'(z_0) \neq 0$ is essential: only a nonzero number has a well-defined argument $\alpha$ , so only then is "rotate by $\alpha$ " a meaningful instruction.

Step 3 — close the argument. Two curves through

z_0

have tangent directions

\beta_1

and

\beta_2

. What are the tangent directions of their images, and what is the angle between the images?

By Step 2 each tangent direction is rotated by $\alpha$ :

\beta_1 \mapsto \beta_1 + \alpha, \qquad \beta_2 \mapsto \beta_2 + \alpha.

The angle between the image curves is the difference of image directions:

(\beta_2 + \alpha) - (\beta_1 + \alpha) = \beta_2 - \beta_1,

the original angle — unchanged in size, and unchanged in sign, so unchanged in sense. The map is conformal at $z_0$ . ∎

The proof also explains the exception for free. If $f'(z_0) = 0$ , Step 1 leaves no linear term and Steps 2–3 never start — which is exactly why critical points are not conformal. One argument delivers both the theorem and its boundary.

Exam translator

How this concept appears on exams

Exam patterns

In standard Indian engineering math exams, and likely in MCC201A unless your class notes differ, conformal mapping shows up in three forms.

CO-1 form — define and identify. "Define a conformal mapping" / "Distinguish conformal and isogonal mappings" / "Define a critical point and find the critical points of $w = z^2 - 1$ ." Roughly 3–5 marks; budget 4 minutes. The definition must include both magnitude and sense of angles, or it reads as the bare isogonal definition and loses a mark. For critical points, just solve $f'(z) = 0$ .

CO-1 / CO-4 form — discuss a mapping. "Discuss the transformation $w = z^2$ " or "Find the image of the region in the first quadrant between $|z| = 1$ and $|z| = 2$ under $w = z^2$ ." Roughly 6–8 marks; budget 8 minutes. The polar reading $z = re^{i\theta} \mapsto r^2 e^{2i\theta}$ does most of the work; state where the map is and isn't conformal.

CO-1 form — justify the theorem. "Show that an analytic function is conformal where $f'(z) \neq 0$ ," or "Prove that the angle of intersection is preserved." Roughly 5–7 marks; budget 6 minutes. Reveal 2 is the model answer — the three-line linearisation $f(z) - f(z_0) \approx f'(z_0)(z - z_0)$ , then "multiplication rotates all tangents equally."

Exam trap

Three patterns that commonly cost marks on this material.

Dropping "sense" from the definition. Writing "a conformal map preserves the magnitude of angles" and stopping. That is the isogonal definition — the larger family. Conformal preserves magnitude and sense; the missing clause is the whole distinction, and examiners test exactly that boundary with $w = \bar z$ .

Forgetting that critical points are not conformal. A question may hand you a map and a point that happens to be a critical point and ask about angle preservation, expecting you to notice $f'(z_0) = 0$ and say "not conformal here; angles are multiplied." Treating every analytic map as conformal everywhere walks straight into it.

Confusing "conformal" with "shape-preserving." Conformal preserves angles, not shapes or sizes. A conformal map can bend a straight line into a parabola (you did this in Reveal 1) and still be perfectly conformal. Only similarity maps ( $w = az + b$ ) preserve shape; the general conformal map preserves angle alone.

Six things to carry out of this chapter

A mapping $w = f(z)$ redraws the $z$ -plane onto the $w$ -plane. Curves go to curves, regions to regions; the subject is which shapes go where.
Conformal = preserves angles in magnitude and sense. The sense clause is non-negotiable.
Every analytic function is conformal wherever $f'(z) \neq 0$ . The reason: near $z_0$ the map is multiplication by $f'(z_0) = \rho e^{i\alpha}$ , which rotates all tangents by $\alpha$ and scales by $\rho$ , leaving angles between them fixed.
$f'(z_0)$ is the local instruction sheet. Its argument is the local rotation, its modulus the local magnification. The derivative is the rotate-and-scale.
Critical points are zeros of $f'$ , and conformality fails there. Angles are multiplied by $m$ (the order of the first non-vanishing derivative). For $w = z^2$ , angles double at $z = 0$ .
Isogonal = angle magnitude preserved (sense not necessarily). Conformal maps are the sense-preserving isogonal maps; anti-conformal maps (e.g. $w = \bar z$ , not analytic) reverse sense.

Why this matters

What comes next. Chapter 6, Möbius transformations, takes the single most important family of conformal maps — $w = \dfrac{az + b}{cz + d}$ — and works out exactly what they do to circles, lines and regions. The angle-preservation reflex you built here is the foundation; Möbius maps are conformal everywhere they're defined, and their special magic (circles and lines go to circles and lines) sits on top of that.

Before you open Chapter 6: take two or three maps — $w = z^2$ , $w = 1/z$ , $w = e^z$ — and for each, find the critical points (solve $f'(z) = 0$ ) and sketch the image of one simple curve. ( $e^z$ wasn't in the playground, but the same rule applies — find $f'(z)$ and check whether it ever vanishes.) The "discuss the transformation" exercises in Zill, Complex Analysis, Ch. 7 [verify the section against your copy] are the highest-value drill. Don't re-read this chapter; produce the pictures yourself.

Same material, another voice

If a different explanation would help, this one is worth your time — free, from MIT OpenCourseWare:

Watch: Herbert Gross, Calculus Revisited, Lecture 3 — Conformal Mappings — a geometric chalkboard introduction to conformal maps, this chapter in motion.

✓ Chapter complete. Your progress, and every quiz answer, is saved on this computer — revisit any time.