Mathematics
›
🎓 University Year 1
›
Complex Conformal Maps: Bending a Grid Without Breaking Its Angles
🎓 University Year 1 · Lesson 12 of 15
Complex Conformal Maps: Bending a Grid Without Breaking Its Angles
An analytic complex function can stretch and twist the plane into wild new shapes, yet at every ordinary point it preserves the angle between any two crossing curves.
💡
The big idea: A complex function w = f(z) moves every point of the plane somewhere new, warping a square grid into curves. If the function is analytic (complex-differentiable) then near any point where its derivative is non-zero it does something remarkably tame: it rotates and uniformly scales a tiny neighbourhood. Because a rotation-plus-scaling preserves angles, analytic maps are conformal — they bend the grid but keep every intersection at its original angle. This is the geometric heart of complex analysis.
A function that moves the plane
A real function bends a line. A complex function w = f(z) bends the whole plane: it takes each point z = x + iy and sends it to a new point w. Feed it a square grid and the grid lines come out as curves. In general those curves can cross at any angle, tear, or fold.
But there is a special class of functions — the analytic ones — that warp the grid beautifully: the curves still meet at exactly the same angles they did before. Maps with this property are called conformal.
🔑
Analytic = complex-differentiable
A function is analytic at a point if it has a single well-defined derivative f′(z) there, no matter which direction you approach from. Writing f = u + iv, this forces the Cauchy–Riemann equations linking the partial derivatives of the real and imaginary parts. Analyticity is a far stronger condition than real differentiability — and it is exactly what makes a map conformal.
\[ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x} \]
The Cauchy–Riemann equations. A function f = u + iv with continuous partials satisfying these is analytic.
🎮 Complex Conformal Map LIVE
A complex map w = f(z) bends a grid but preserves angles where it is analytic.
Why angles survive
Zoom in on a tiny patch around a point z0. There the function is well approximated by its linearisation, f(z) ≈ f(z0) + f′(z0)(z − z0). The only thing that happens to the little displacement z − z0 is that it gets multiplied by the single complex number f′(z0).
And multiplying by a complex number r e iφ does just two things: it scales lengths by r and rotates by the angle φ. Every direction near z0 is turned by the same angle φ, so the angle between any two directions is unchanged. That is conformality.
\[ f(z) \approx f(z_0) + f'(z_0)\,(z - z_0), \qquad f'(z_0) = r\,e^{i\phi} \]
Locally the map is multiplication by f′(z₀): a scaling by r = |f′(z₀)| and a rotation by φ = arg f′(z₀).
📝 Worked example: For f(z) = z², describe the local behaviour at z = i.
- Differentiate: f′(z) = 2z, so f′(i) = 2i.
- In polar form 2i = 2·e^{iπ/2}, so |f′(i)| = 2 and arg f′(i) = π/2 (90°).
- Near z = i the map scales small shapes by 2 and rotates them by 90°.
- Because f′(i) ≠ 0, angles are preserved there.
✓ At <em>z</em> = <em>i</em> the map <em>z</em>² is conformal: it magnifies by <strong>2</strong> and rotates by <strong>90°</strong>, keeping every crossing angle intact.
📝 Worked example: Show that f(z) = z² fails to be conformal at the origin.
- f′(z) = 2z, so f′(0) = 0 — the derivative vanishes at the origin.
- The linear term disappears, so the linear rotation-scaling argument no longer applies.
- In polar form z = r·e^{iθ} maps to z² = r²·e^{i(2θ)}: the angle θ is doubled.
- Two rays meeting at angle α at the origin come out meeting at angle 2α.
✓ At the origin <em>z</em>² <strong>doubles angles</strong> rather than preserving them — a <strong>critical point</strong> where <em>f</em>′ = 0 and conformality breaks down.
✨
The map is a local similarity
Where f′(z) ≠ 0, an analytic map acts on a tiny neighbourhood exactly like a similarity transformation: rotate and uniformly scale. Small circles map to small circles and small squares to small squares — the shapes are preserved even as the global picture is dramatically warped. This is why conformal maps are used to solve flow and heat problems: they carry a hard-shaped region to a simple one without distorting the local physics.
⚠️
Conformality needs f′ ≠ 0
The angle-preserving property holds only where the derivative is non-zero. At a critical point (f′ = 0) angles are multiplied instead: a zero of order k multiplies angles by k + 1. And a map that is not analytic — for instance the conjugation f(z) = z̅ — is not conformal at all; it reflects, reversing orientation while keeping angle sizes.
Check your understanding
1. What does it mean for a complex map to be conformal at a point?
Conformal means angle-preserving: two curves meeting at an angle map to curves meeting at the same angle.
2. Why does an analytic map preserve angles where f′(z₀) ≠ 0?
Near z₀ the map is multiplication by f′(z₀) = r·e^{iφ}: it rotates all directions by the same φ and scales by r, so angles between directions are unchanged.
3. For f(z) = z², what is the local scaling and rotation at z = 1?
f′(z) = 2z, so f′(1) = 2 = 2·e^{i0}: magnify by 2 with no rotation.
4. Where does f(z) = z² fail to be conformal?
f′(0) = 0 is a critical point; there z² doubles angles instead of preserving them.
5. Which condition characterises the analytic functions behind conformal maps?
A function f = u + iv with continuous partials is analytic exactly when it satisfies the Cauchy–Riemann equations u_x = v_y and u_y = −v_x.
✅ Key takeaways
- A complex function w = f(z) transforms the whole plane, warping a grid into curves.
- Analytic (complex-differentiable) functions satisfy the Cauchy–Riemann equations and are the ones that give conformal maps.
- Near a point, an analytic map is just multiplication by f′(z₀) = r·e^{iφ}: scale by r and rotate by φ, turning every direction equally.
- Turning all directions by the same angle preserves the angle between curves, so analytic maps are angle-preserving where f′(z) ≠ 0.
- At critical points where f′ = 0 angles are multiplied (z² doubles them), and non-analytic maps like conjugation are not conformal at all.