The Central Idea
Suppose \(f\) is analytic near \(z_0\) and
\[ f'(z_0)\neq0. \]Then for small \(h\),
\[ f(z_0+h)-f(z_0) \approx f'(z_0)h. \]If
\[ f'(z_0)=\rho e^{i\phi}, \]then locally the map:
- scales lengths by \(\rho\);
- rotates directions by \(\phi\).
This is the geometric foundation of conformality.
What Is a Conformal Map?
A map is conformal at a point if it preserves angles between intersecting curves, including their orientation.
A fundamental theorem states:
\[ \boxed{ f\text{ analytic at }z_0 \text{ and } f'(z_0)\neq0 \Rightarrow f\text{ conformal at }z_0. } \]Angle Preservation
Suppose two smooth curves intersect at \(z_0\) with tangent directions
\[ h_1 \]and
\[ h_2. \]Under the local map
\[ h\mapsto f'(z_0)h, \]both directions are multiplied by the same nonzero complex number.
Therefore their angular difference is unchanged.
Local Scaling and Rotation
If
\[ f'(z_0)=a+ib, \]then
\[ |f'(z_0)| = \sqrt{a^2+b^2} \]gives the local scale factor, while
\[ \arg f'(z_0) \]gives the local rotation angle.
The Jacobian View
For
\[ f(z)=u(x,y)+iv(x,y), \]the Jacobian is
\[ J_f = \begin{pmatrix} u_x & u_y\\ v_x & v_y \end{pmatrix}. \]Under the Cauchy–Riemann relationships,
\[ J_f = \begin{pmatrix} a & -b\\ b & a \end{pmatrix}, \]which is exactly the real matrix for multiplication by \(a+ib\).
When an Analytic Map Is Not Conformal
If
\[ f'(z_0)=0, \]the first-order local scale-and-rotation map collapses.
The function may still be analytic, but conformality can fail at that point.
For example,
\[ f(z)=z^2 \]has
\[ f'(0)=0. \]Affine Conformal Maps
The simplest conformal transformations are
\[ \boxed{ f(z)=az+b, \qquad a\neq0. } \]These combine:
- scaling by \(|a|\);
- rotation by \(\arg a\);
- translation by \(b\).
Example: Affine Mapping
Consider
\[ f(z)=(2i)z+(1-i). \]Multiplication by \(2i\):
- scales by \(2\);
- rotates by \(\pi/2\).
Then \(1-i\) translates the result.
Power Maps
Let
\[ f(z)=z^n. \]In polar form,
\[ z=re^{i\theta} \]gives
\[ \boxed{ z^n=r^ne^{in\theta}. } \]Thus power maps multiply arguments by \(n\) and raise radii to the \(n\)th power.
Mapping Sectors with Power Functions
Suppose a sector has angular width
\[ \alpha. \]Under
\[ w=z^n, \]the angular width becomes
\[ n\alpha. \]This makes power maps useful for opening or compressing wedges and sectors.
Square-Root Maps
A square-root branch
\[ w=\sqrt z \]halves arguments:
\[ re^{i\theta} \mapsto \sqrt r\,e^{i\theta/2}. \]This can transform a slit plane into a half-plane or reduce sector angles.
The Exponential Map
For
\[ z=x+iy, \]we have
\[ e^z=e^x e^{iy}. \]Therefore:
- vertical motion changes argument;
- horizontal motion changes modulus.
Vertical lines map to circles centered at the origin, while horizontal lines map to rays.
Mapping a Horizontal Strip with \(e^z\)
Consider the strip
\[ 0<\operatorname{Im}(z)<\pi. \]Under
\[ w=e^z, \]the argument of \(w\) satisfies
\[ 0<\arg w<\pi. \]Therefore the strip maps onto the upper half-plane.
The Logarithm Map
On a chosen branch,
\[ \operatorname{Log}z = \ln|z|+i\operatorname{Arg}(z). \]Thus:
- circles centered at the origin become vertical lines;
- rays from the origin become horizontal lines.
The logarithm reverses the basic geometric role of the exponential.
The Reciprocal Map
The map
\[ w=\frac1z \]sends
\[ re^{i\theta} \mapsto \frac1r e^{-i\theta}. \]It inverts radial distance and reverses the sign of the angle.
Circles and lines are transformed into circles or lines, with special behavior when they pass through the origin.
Möbius Transformations
A Möbius transformation has the form
\[ \boxed{ T(z)=\frac{az+b}{cz+d}, } \]where
\[ ad-bc\neq0. \]These transformations are among the most important conformal maps in complex analysis.
Derivative of a Möbius Transformation
Differentiate:
\[ T'(z) = \frac{a(cz+d)-c(az+b)}{(cz+d)^2}. \]Simplify:
\[ \boxed{ T'(z) = \frac{ad-bc}{(cz+d)^2}. } \]Wherever \(cz+d\neq0\), the derivative is nonzero.
Therefore Möbius maps are conformal throughout their finite domains.
Möbius Maps Preserve Generalized Circles
Möbius transformations send circles and lines to circles or lines.
It is convenient to treat a line as a circle passing through the point at infinity on the extended complex plane.
Under that viewpoint, Möbius maps send generalized circles to generalized circles.
Three Points Determine a Möbius Transformation
A Möbius transformation is determined uniquely by its action on three distinct points, provided the target points are also distinct.
This makes boundary correspondence a powerful design tool for constructing mappings.
The Cross Ratio
For four points,
\[ z_1,z_2,z_3,z_4, \]the cross ratio may be written
\[ \boxed{ (z_1,z_2;z_3,z_4) = \frac{(z_1-z_3)(z_2-z_4)} {(z_1-z_4)(z_2-z_3)}. } \]Möbius transformations preserve cross ratios.
Mapping the Unit Disk to a Half-Plane
A standard Möbius map is
\[ \boxed{ w=\frac{1+z}{1-z}. } \]It maps the unit disk
\[ |z|<1 \]onto the right half-plane
\[ \operatorname{Re}(w)>0. \]Why the Unit Circle Becomes a Line
For
\[ |z|=1, \]the transformation
\[ w=\frac{1+z}{1-z} \]sends the boundary circle, except the point \(z=1\), to the imaginary axis.
The interior of the disk goes to one side of that boundary line.
Mapping a Half-Plane to the Unit Disk
The inverse transformation is
\[ \boxed{ z=\frac{w-1}{w+1}. } \]It maps the right half-plane back to the unit disk.
Upper Half-Plane to Unit Disk
A standard map from the upper half-plane
\[ \operatorname{Im}(z)>0 \]to the unit disk is
\[ \boxed{ w=\frac{z-i}{z+i}. } \]The real axis maps to the unit circle.
Checking the Upper-Half-Plane Map
If \(z=x\) is real, then
\[ \left| \frac{x-i}{x+i} \right| = 1. \]Therefore the real axis maps to
\[ |w|=1. \]Testing \(z=i\) gives
\[ w=0, \]confirming that the upper half-plane maps into the disk interior.
Automorphisms of the Unit Disk
For
\[ |a|<1, \]the map
\[ \boxed{ \phi_a(z) = e^{i\theta} \frac{z-a}{1-\overline{a}z} } \]maps the unit disk onto itself.
Such maps can move any chosen interior point to the origin.
Why Transform Domains?
Many physical and mathematical problems are difficult because the boundary geometry is complicated.
A conformal map can transform the original region into a simpler standard region such as:
- a disk;
- a half-plane;
- a strip;
- a wedge.
Solve the problem there, then transform the solution back.
Conformal Maps and Harmonic Functions
The real and imaginary parts of analytic functions are harmonic.
Conformal maps preserve the essential structure of Laplace's equation under coordinate transformation.
This makes them especially useful for two-dimensional potential problems.
Boundary-Value Problems
Suppose one wants to solve
\[ \nabla^2 u=0 \]in a complicated planar region with specified boundary data.
A conformal map may transform the region into a disk or half-plane where the boundary-value problem has a standard solution.
The Dirichlet Problem
A classical Dirichlet problem asks for a harmonic function \(u\) inside a region with prescribed boundary values.
Conformal mapping can transfer the problem to a standard domain and preserve harmonic structure.
A Preview of the Poisson Kernel
On the unit disk, harmonic functions with known boundary values can be reconstructed using the Poisson integral formula.
Conformal maps therefore connect complicated planar boundary-value problems to explicit formulas on standard domains.
Application: Two-Dimensional Fluid Flow
In ideal incompressible, irrotational flow, the velocity potential and stream function form harmonic conjugates.
They can be combined into a complex potential
\[ \boxed{ F(z)=\phi(x,y)+i\psi(x,y). } \]Conformal maps can transform simple flows into flows around more complicated obstacles.
Potential Lines and Streamlines
For a complex potential
\[ F=\phi+i\psi, \]curves
\[ \phi=\text{constant} \]and
\[ \psi=\text{constant} \]intersect orthogonally where the gradients are nonzero.
This reflects the Cauchy–Riemann relationships.
Application: Electrostatics
In charge-free two-dimensional electrostatic regions, electric potentials satisfy Laplace's equation.
Conformal mapping can transform complicated conductor geometries into simpler configurations where potentials are easier to compute.
Application: Steady-State Heat Flow
Steady two-dimensional temperature fields in homogeneous materials satisfy
\[ \nabla^2 T=0. \]Conformal maps can therefore transfer heat-flow problems between planar domains while preserving the harmonic character of the temperature field.
Application: Engineering Field Models
Conformal mapping has historically been used in:
- potential flow;
- electrostatics;
- heat conduction;
- two-dimensional elasticity;
- field-line analysis;
- airfoil modeling.
The Joukowski Map
A famous conformal transformation is
\[ \boxed{ w=z+\frac{1}{z}. } \]Variants of this map transform circles into airfoil-like shapes and played an important historical role in mathematical aerodynamics.
Critical Points of the Joukowski Map
Differentiate:
\[ \frac{dw}{dz} = 1-\frac1{z^2}. \]The derivative vanishes at
\[ z=\pm1. \]These critical points are where local conformality fails and special geometric behavior can occur.
A Preview of Schwarz–Christoffel Mapping
Schwarz–Christoffel transformations map the upper half-plane or disk onto polygonal regions.
They provide a systematic way to transform straight-boundary geometries and are important in applied conformal mapping.
The Riemann Mapping Theorem
One of the central existence theorems of complex analysis states that every nonempty simply connected proper open subset of \(\mathbb{C}\) is conformally equivalent to the unit disk.
Symbolically, for such a domain \(D\), there exists a bijective analytic map
\[ f:D\to\{w:|w|<1\} \]whose inverse is also analytic.
Why the Riemann Mapping Theorem Matters
The theorem says that, from the viewpoint of conformal geometry, all simply connected proper planar domains have the same basic analytic shape.
The difficult geometry can, in principle, be transferred to the unit disk.
Local Conformality Versus Global One-to-One Behavior
A function may be locally conformal but not globally one-to-one.
For example,
\[ f(z)=e^z \]has
\[ f'(z)=e^z\neq0 \]everywhere, so it is locally conformal everywhere.
But
\[ e^{z+2\pi i}=e^z, \]so it is not globally one-to-one on all of \(\mathbb{C}\).
Conformal Equivalence of Domains
Two domains are conformally equivalent if there exists a one-to-one analytic map from one onto the other whose inverse is also analytic.
Such a map preserves the essential local angle geometry of the domains.
Tracking a Boundary Under a Map
A practical strategy is to map:
- boundary lines;
- boundary circles;
- special corner points;
- representative interior points.
Once the image boundary is understood, the image region can often be determined.
Use a Test Point to Determine the Correct Side
A boundary curve may map to a line or circle, but that alone does not tell us which side contains the image.
Map one known interior point.
Its image tells you which side of the transformed boundary corresponds to the original region.
Building Complicated Maps by Composition
Many useful conformal transformations are built step by step:
\[ z \mapsto z_1 \mapsto z_2 \mapsto \cdots \mapsto w. \]Each step handles one geometric feature:
- translate;
- rotate;
- scale;
- open a sector;
- map to a half-plane;
- map to a disk.
Composition Preserves Conformality
If \(f\) and \(g\) are conformal at the relevant points, then
\[ f\circ g \]is also conformal there.
The chain rule gives
\[ (f\circ g)'(z) = f'(g(z))g'(z), \]which is nonzero when both factors are nonzero.
Common Errors
- Assuming every analytic point is conformal: also require \(f'(z_0)\neq0\).
- Confusing local and global behavior: local conformality does not guarantee global one-to-one behavior.
- Mapping only the boundary: use a test point to determine the correct image region.
- Ignoring branch choices: roots and logarithms require suitable branches.
- Forgetting excluded points of Möbius maps: \(cz+d=0\) must be handled on the extended plane.
- Assuming conformal maps preserve lengths: they preserve angles locally, not absolute distance.
A Reliable Procedure for Analyzing a Conformal Map
- Identify the domain and any excluded points.
- Differentiate the map.
- Locate points where \(f'(z)=0\).
- Determine where the map is analytic and locally conformal.
- Map important boundary curves.
- Map special boundary points.
- Use an interior test point to identify the correct image side.
- Check whether the map is globally one-to-one on the chosen domain.
A Reliable Procedure for Constructing a Mapping
- Identify the target standard region.
- Translate important points to convenient locations.
- Rotate or scale the geometry if needed.
- Use a power map for sectors.
- Use exponential or logarithm maps for strips, rays, or half-planes.
- Use a Möbius transformation to move circles and lines.
- Compose the steps.
- Verify boundary correspondence and an interior point.
Worked Example: Upper Half-Plane to Unit Disk
Consider
\[ w=\frac{z-i}{z+i}. \]For real \(z=x\),
\[ |w| = \left| \frac{x-i}{x+i} \right| = 1. \]Thus the real axis maps to the unit circle.
The point
\[ z=i \]maps to
\[ w=0. \]Therefore the upper half-plane maps to
\[ \boxed{|w|<1}. \]Worked Example: Map a Strip to the Upper Half-Plane
Let
\[ 0<\operatorname{Im}(z)<\pi. \]Use
\[ w=e^z. \]If \(z=x+iy\), then
\[ w=e^x e^{iy}. \]Since
\[ 0Therefore,
\[ \boxed{ \operatorname{Im}(w)>0. } \]Worked Example: Sector to Half-Plane
Suppose
\[ 0<\arg z<\frac{\pi}{3}. \]Apply
\[ w=z^3. \]Then
\[ 0<\arg w<\pi. \]Thus the sector maps to the upper half-plane:
\[ \boxed{ \operatorname{Im}(w)>0. } \]Practice Problems
Practice 1
If
\[ f'(z_0)=3e^{i\pi/6}, \]state the local scale factor and rotation angle.
Practice 2
Is
\[ f(z)=z^2 \]conformal at \(z=1\)? At \(z=0\)?
Practice 3
Describe geometrically
\[ f(z)=(1+i)z+2. \]Practice 4
Under
\[ w=z^4, \]what happens to an angle of width \(\pi/8\)?
Practice 5
What do vertical lines map to under
\[ w=e^z? \]Practice 6
What do circles centered at the origin map to under a branch of
\[ w=\operatorname{Log}z? \]Practice 7
Show that
\[ w=\frac{z-i}{z+i} \]maps the real axis to the unit circle.
Practice 8
State the general form of a Möbius transformation and its nondegeneracy condition.
Practice 9
What standard domain does the strip
\[ 0<\operatorname{Im}(z)<\pi \]map to under \(e^z\)?
Practice 10
Why are conformal maps useful for solving Laplace boundary-value problems?
Practice Answers
Practice 1
The local scale factor is
\[ \boxed{3} \]and the rotation angle is
\[ \boxed{\frac{\pi}{6}}. \]Practice 2
Since
\[ f'(z)=2z, \]we have
\[ f'(1)=2\neq0, \]so the map is conformal at \(1\).
But
\[ f'(0)=0, \]so it is not conformal at \(0\).
Practice 3
Multiplication by \(1+i\) scales by
\[ \sqrt2 \]and rotates by
\[ \frac{\pi}{4}. \]Then \(+2\) translates two units to the right.
Practice 4
The angle width becomes
\[ 4\cdot\frac{\pi}{8} = \boxed{\frac{\pi}{2}}. \]Practice 5
A vertical line \(x=c\) has constant modulus
\[ |e^z|=e^c. \]Therefore vertical lines map to circles centered at the origin.
Practice 6
Since
\[ \operatorname{Re}(\operatorname{Log}z)=\ln|z|, \]circles \(|z|=R\) map to vertical lines
\[ \boxed{\operatorname{Re}(w)=\ln R}. \]Practice 7
For real \(x\),
\[ \left| \frac{x-i}{x+i} \right| = \frac{\sqrt{x^2+1}}{\sqrt{x^2+1}} = \boxed{1}. \]Practice 8
\[ \boxed{ T(z)=\frac{az+b}{cz+d}, \qquad ad-bc\neq0. } \]Practice 9
\[ \boxed{\text{the upper half-plane}}. \]Practice 10
They can transform a complicated region into a standard domain such as a disk or half-plane while preserving harmonic structure, making the boundary problem easier to solve.
Checking Strategies
- Differentiate first and locate zeros of the derivative.
- Track both modulus and argument when working in polar form.
- Map boundaries and then test one interior point.
- For Möbius maps, identify the point where \(cz+d=0\).
- Check whether the map is only locally conformal or also globally one-to-one.
- Respect branch restrictions for logarithms and roots.
- Use composition to simplify complicated geometry step by step.
Connections to Earlier Mathematics
- Complex differentiation: nonzero derivatives produce local scale-and-rotation behavior.
- Cauchy–Riemann relationships: the Jacobian has the special matrix form of complex multiplication.
- Harmonic functions: conformal maps transport Laplace-type boundary-value problems.
- Möbius transformations: circles and lines are mapped to generalized circles.
- Topology: global conformal equivalence depends on domain structure.
- Applied mathematics: field problems, potential flow, and heat transfer gain simpler geometries.
What to Remember
If
\[ f'(z_0)\neq0, \]then locally
\[ \boxed{ f(z_0+h)-f(z_0)\approx f'(z_0)h. } \]This means local scaling by
\[ \boxed{|f'(z_0)|} \]and local rotation by
\[ \boxed{\arg f'(z_0)}. \]Möbius transformations have the form
\[ \boxed{ \frac{az+b}{cz+d}, \qquad ad-bc\neq0. } \]Standard conformal maps can transform disks, half-planes, strips, sectors, and more complicated regions into one another.
The essential idea is: conformal mapping uses analytic structure to simplify geometry without destroying local angle relationships.
Closing the Complex Analysis Section
This section began with the complex plane and progressed through polar and exponential forms, complex functions, limits, differentiation, analyticity, Cauchy–Riemann structure, contour integration, Cauchy's theorem, Laurent series, singularities, residues, and conformal mapping.
Together, these topics show the central character of complex analysis: strong local differentiability creates powerful global consequences in geometry, integration, series, topology, and applications.