13. Conformal Mapping

Local Angle Preservation

Local Angle Preservation in Conformal Mapping

students, imagine zooming in on a tiny piece of a map πŸ—ΊοΈ. On a very small scale, roads that meet at certain angles should still meet at the same angles after the map is drawn on paper. That idea is at the heart of local angle preservation in complex analysis. It helps explain why some complex functions are so useful for transforming regions while keeping the important shape of intersections intact.

In this lesson, you will learn how local angle preservation works, why it matters, and how it connects to the bigger idea of conformal mapping. By the end, you should be able to describe the main terms, check whether a function preserves angles locally, and use examples to recognize conformal behavior.

What Does Local Angle Preservation Mean?

A complex function $f(z)$ is said to preserve angles locally at a point if, when two smooth curves cross at that point, the angle between the curves is preserved after applying the function. In complex analysis, the angle is usually preserved in both size and orientation.

This is one reason conformal maps are so important. A conformal map is a function that preserves angles locally at points where it is well behaved. In practice, this means a small shape may be stretched or shrunk, but its tiny angles stay the same. Think of a tiny grid drawn on a rubber sheet. If you stretch the sheet gently, the little squares may become rectangles or distorted shapes, but a conformal map keeps the local crossing angles correct βœ….

To be more precise, suppose two curves meet at a point $z_0$. If the curves have tangent directions forming an angle $\theta$, then after mapping by $f$, the image curves should meet at the same angle $\theta$ at $f(z_0)$. This is a local property, meaning it is about behavior near one point, not the whole region.

Why Differentiability Matters

The key tool behind local angle preservation is the complex derivative $f'(z_0)$. If $f$ is analytic at a point $z_0$ and $f'(z_0) \neq 0$, then $f$ preserves angles locally at $z_0$.

Why? Near $z_0$, an analytic function behaves almost like a linear function:

$$f(z) \approx f(z_0) + f'(z_0)(z-z_0).$$

This approximation is crucial. The term $f'(z_0)$ acts like a multiplication by a complex number. Multiplying by a complex number does two things:

  • it rotates by some angle,
  • and it scales by some positive factor.

Rotation and scaling do not change the angle between two lines or curves. So if $f'(z_0) \neq 0$, then tiny shapes near $z_0$ are rotated and scaled, but not angle-distorted.

If $f'(z_0)=0$, then this nice linear behavior breaks down. In that case, the function may fail to preserve angles locally. For example, the function $f(z)=z^2$ has $f'(0)=0$, and at $z_0=0$ it is not conformal.

Example: A Simple Scaling and Rotation

Consider the function

$$f(z)=(2e^{i\pi/6})z.$$

Here, $f'(z)=2e^{i\pi/6}$ everywhere, and this derivative is never $0$. The map multiplies every vector by a factor of $2$ and rotates it by $\pi/6$. Because this is pure scaling and rotation, angles are preserved everywhere. So this function is conformal everywhere in the complex plane.

Now compare that with

$$f(z)=z^2.$$

At $z_0=1$, we have $f'(1)=2 \neq 0$, so the map is conformal at $z=1$. At $z_0=0$, however, $f'(0)=0$, so angle preservation fails there. This shows that conformality can depend on the point, not just the formula.

How to Visualize Angle Preservation

A good way to think about local angle preservation is to imagine two roads crossing at an intersection πŸš—πŸšΆ. If the roads meet at $60^\circ$ before the mapping, then after the mapping, the image roads should still meet at $60^\circ$ if the map is conformal at that point.

The roads may no longer look straight or the same length. One may be stretched more than the other. But the angle where they cross remains the same.

This is especially important in physics and engineering. For example, conformal maps are used in fluid flow and electrostatics because angles tell us how streamlines and boundaries meet. Preserving local angles helps maintain the structure of a flow pattern even when the region is transformed.

A Closer Look at Curves and Tangents

To understand local angle preservation more carefully, think of two smooth curves $\gamma_1(t)$ and $\gamma_2(t)$ passing through $z_0$. Their angles are determined by their tangent vectors at that point.

If the derivative $f'(z_0)$ exists and is not zero, then the tangent vectors are mapped by multiplication with $f'(z_0)$. That means both tangent vectors get rotated and scaled by the same factor. Since the same transformation is applied to both, the angle between them stays unchanged.

This is the heart of the proof of local angle preservation:

  1. Near $z_0$, an analytic function behaves like a linear map.
  2. A nonzero complex number acts as a rotation plus scaling.
  3. Rotation plus scaling preserves angles.

One subtle point is orientation. In complex analysis, analytic functions preserve angles with orientation, sometimes called preserving the β€œsense” of the angle. This means the order in which the curves are crossed is kept. This is different from some real transformations, such as reflections, which can preserve angle size but reverse orientation.

When a Function Is Conformal

A function is conformal at a point if it is analytic there and has a nonzero derivative there. Many standard functions are conformal on regions where these conditions hold.

Examples include:

  • $f(z)=z+c$ for any constant $c$,
  • $f(z)=az+b$ where $a\neq 0$,
  • $f(z)=e^z$ on all points, because $(e^z)'=e^z\neq 0$,
  • $f(z)=\dfrac{1}{z}$ on its domain, because $\left(\dfrac{1}{z}\right)'=-\dfrac{1}{z^2}$, which is nonzero whenever $z\neq 0$.

These functions can bend, stretch, or shift regions, but where they are conformal, they keep local angles intact.

Important Warning

Analytic does not automatically mean conformal everywhere. A function can be analytic and still fail to be conformal at points where its derivative is zero. The function $f(z)=z^3$ is analytic everywhere, but $f'(0)=0$, so it is not conformal at $z=0$.

This distinction is essential in complex analysis. Whenever you check local angle preservation, always look at two conditions:

  • Is the function analytic at the point?
  • Is the derivative nonzero at the point?

Connection to Conformal Mapping

Local angle preservation is not just one small idea; it is the defining feature of conformal mapping 🌟. A conformal map is a transformation that preserves angles locally at every point in its domain where the derivative is nonzero.

This is why conformal mapping is so useful for mapping regions. Suppose you have a complicated region in the plane, such as an oddly shaped area in a fluid tank. A conformal map can transform that region into a simpler one, like a disk or a strip, while preserving the local geometry of intersections and boundaries.

The region may change shape dramatically, but if the map is conformal, small angle relationships remain intact. This makes it easier to solve difficult problems in the new region and then translate the answer back to the original one.

Local angle preservation also explains why conformal maps are not the same as rigid motions. A rigid motion preserves distances and angles globally, while a conformal map usually preserves angles only locally and may change lengths.

Worked Example: Angle Between Coordinate Axes

Consider the map $f(z)=z^2$ near the point $z_0=1$.

The derivative is

$$f'(z)=2z,$$

so

$$f'(1)=2 \neq 0.$$

Now look at two curves passing through $1$: the real axis and the imaginary direction through $1$. Their tangent vectors at $1$ are along the directions $1$ and $i$. These directions meet at angle $\dfrac{\pi}{2}$.

Under multiplication by $f'(1)=2$, both directions are scaled by the same factor $2$. Since this is just a real positive number, there is no rotation. The angle between the two directions remains $\dfrac{\pi}{2}$.

So $f(z)=z^2$ preserves angles locally at $z=1$. This does not mean the whole plane is preserved nicely everywhere. It only means the tiny neighborhood around that point is angle-preserving.

Why This Matters in Real Problems

Local angle preservation helps in applications where shape relationships matter more than exact sizes. For example:

  • In fluid dynamics, streamlines and walls may need to meet at correct angles.
  • In electrostatics, boundary behavior can be easier to study after a conformal change of variables.
  • In mapping regions, a hard shape can be converted into a simpler one without destroying local intersection geometry.

students, this is the big idea: conformal maps let us reshape problems while keeping the small-angle structure reliable. That makes them powerful tools in both pure and applied mathematics.

Conclusion

Local angle preservation is the defining local feature of conformal mapping. If a complex function is analytic at a point and has nonzero derivative there, then it preserves the angles between intersecting curves at that point. This happens because the function behaves like multiplication by a nonzero complex number, which only rotates and scales.

Understanding this idea helps you recognize conformal maps, test whether a function is conformal at a point, and see why complex analysis is so useful for transforming regions without losing important geometric information.

Study Notes

  • Local angle preservation means that two curves crossing at a point keep the same angle after a complex map is applied.
  • A function is conformal at a point if it is analytic there and $f'(z_0) \neq 0$.
  • Near a point, an analytic function looks like $f(z) \approx f(z_0)+f'(z_0)(z-z_0)$.
  • Multiplication by a nonzero complex number causes rotation and scaling, which preserve angles.
  • If $f'(z_0)=0$, local angle preservation may fail at that point.
  • Examples of conformal functions include $f(z)=az+b$ with $a\neq 0$, $f(z)=e^z$, and $f(z)=\dfrac{1}{z}$ for $z\neq 0$.
  • The function $f(z)=z^2$ is conformal at points where $z\neq 0$, but not at $z=0$.
  • Conformal mapping is important because it transforms regions while keeping local geometric angle relationships intact.

Practice Quiz

5 questions to test your understanding