Problem 9 - Complex Analysis

Question

Let \(D \subset \mathbb{C}\) be an elementary domain, and let \(f: D \rightarrow \mathbb{E}\) be a conformal map. If \(\left(z_{n}\right)\) is a sequence in \(D\) with \(\lim _{n \rightarrow \infty} z_{n}=r \in \partial D\), then the sequence \(\left(\left|f\left(z_{n}\right)\right|\right)\) converges to 1 . Give an example of a sequence \(\left(z_{n}\right)\) converging to a boundary point of \(D\), such that the image sequence \(\left(f\left(z_{n}\right)\right)\) by a conformal map \(f: D \rightarrow \mathbb{E}\) does not converge to a boundary point of \(\mathbb{E}\).

Step-by-Step Solution

Answer

Consider \(z_n = 1 - \frac{1}{n}\) for \(f(z) = z\) mapping \(D\) to \(\mathbb{E}\).

Step 1: Understanding the problem

We need to understand what it means for a conformal map \(f\) to map a domain \(D\) to \(\mathbb{E}\), meaning \(\mathbb{E}\) is likely the unit disk. For sequences \((z_n)\) converging to a boundary point \(r\) of \(D\), \((|f(z_n)|)\) converges to 1. Our task is to find a sequence \((z_n)\) converging to \(\partial D\) such that \(f(z_n)\) does not converge to a boundary point of \(\mathbb{E}\).

Step 2: Choose an illustrative example

An elementary example for a conformal map is the map from the open unit disk \(D = \{ z \, | \, |z| < 1 \} \) to itself: \( f(z) = z \). Consider the sequence \( z_n = 1 - \frac{1}{n} \), which converges to \( r = 1 \), a boundary point of \(D\).

Step 3: Analyze the images under the conformal map

For our \(f\), \( f(z_n) = z_n = 1 - \frac{1}{n} \). Each of these points remains inside the unit disk, and as \( z_n \to 1 \), an accumulation point on the boundary of \(\mathbb{E}\), each corresponding \(f(z_n)\) remains less than 1, implying it is inside \(\mathbb{E}\).

Step 4: Evaluation of convergence

While \((|f(z_n)|)\) converges to 1, the sequence \((f(z_n))\) consisting of actual values does not converge to a boundary point of the unit disk.\( \mathbb{E}\), as each \(f(z_n) = z_n\), remains strictly less than 1 without reaching the boundary of \(\mathbb{E}\).

Step 5: Conclusion and interpretation

This example illustrates that while sequence norms \((|f(z_n)|)\) approach 1, this does not necessitate that the mapped points \(f(z_n)\) themselves converge to a boundary point of the target domain \(\mathbb{E}\), exemplifying the underlying concept misconceptions.

Key Concepts

Complex Analysis

Complex Analysis is a branch of mathematics that studies functions of complex numbers. These functions can have interesting properties and behaviors that are not present in real-numbered functions.
Complex analysis helps us understand how these functions behave in intricate ways, such as how they map regions from one part of the complex plane to another. This field is critical in studying concepts like convergence, continuity, and differentiability.

• Functions in complex analysis are generally holomorphic, meaning they are differentiable at every point in their domain.
• Complex functions can take complex inputs and produce complex outputs, often transforming the plane in unexpected ways.

Through complex analysis, we can explore how such functions maintain structure, such as preserving angles, known as conformality, which is crucial to mapping properties in this area of math.

Boundary Behavior

Understanding boundary behavior in complex analysis can reveal a lot about how functions behave at the edges of their domains.
When we talk about sequences converging to boundary points, we explore how values within a domain approach these edges and how their images under functions behave.

• A sequence like \((z_n)\) can approach the edge, or boundary, of a domain \(D\).
• The rule in conformal mappings often dictates that if a sequence approaches a boundary in \(D\), then its image should approach the corresponding boundary in the image domain.
• However, there can be instances where the actual values of these images do not reach the boundaries while their norms converge.

This intriguing behavior shows why understanding boundaries is essential for grasping how complex functions behave and map their domains.

Unit Disk

The unit disk is a fundamental concept in complex analysis, characterized as all points \(z\) in the complex plane for which \(|z| < 1\). It is often represented by \( \mathbb{E} \). This seemingly simple structure provides much insight into the behavior of complex functions.

• The unit disk is a typical domain where many conformal mappings operate, showcasing the transformation properties of these mappings.
• One of the unique aspects of the unit disk is how functions map it onto itself or another similar shape, showing their boundary behavior.
• Mappings, such as \(f(z) = z\), preserve the unit disk, demonstrating that not every boundary point must be reached by images of sequences.

Understanding the unit disk's role is vital for exploring deeper into the realms of complex planes.

Holomorphic Function

A holomorphic function is a function that is complex-differentiable in its domain. This means it can be differentiated not just in the traditional real sense, but also complexly, allowing it to have smooth, continuous changes.
Holomorphic functions lie at the heart of complex analysis due to their vast range of nice properties that differentiate them from real counterparts.

• Being holomorphic implies having derivatives at all points in a domain.
• Such functions pave the way for conformal mappings, which preserve angles and enable interesting transformations within the complex plane.
• Examples like \(f(z) = z\) demonstrate straightforward yet profound properties, showing how sequences can approach boundaries while maintaining their holomorphic nature.

Grasping holomorphic functions is crucial for anyone diving into complex analysis, especially when learning about the fascinating world of conformal maps and boundary behaviors.