A central theme in complex analysis is that holomorphic [functions](/page/Function) with nonvanishing derivative preserve angles between curves. This geometric property — conformality — transforms the study of holomorphic mappings from a purely analytic enterprise into a geometric one: questions about function theory become questions about the shapes of domains, and conversely, geometric problems (solving [Laplace's equation](/page/Laplace's%20Equation) on an irregular region, computing fluid flow around an obstacle) reduce to finding the right holomorphic map. The theory of conformal maps connects three ideas that at first seem unrelated: the local differential condition $f'(z_0) \neq 0$, the global geometric condition of angle preservation, and the [topological](/page/Topology) condition of being a homeomorphism onto the image. For holomorphic functions, these conditions interact in a remarkably rigid way — a single derivative condition at a point forces angle preservation at that point, and the Riemann mapping theorem asserts that any two simply connected proper subdomains of $\mathbb{C}$ are related by a global conformal equivalence. This rigidity is unique to one complex variable and fails completely in higher dimensions, in several complex variables, and in the real $C^1$ category. ## Motivation [motivation] ### Why Angles? If $f : \Omega \to \mathbb{C}$ is a real-[differentiable](/page/Derivative) map and $\gamma_1, \gamma_2$ are two smooth curves through a point $z_0 \in \Omega$ meeting at angle $\alpha$, then the image curves $f \circ \gamma_1$ and $f \circ \gamma_2$ meet at an angle determined by the Jacobian matrix $Df(z_0)$. For a general $C^1$ map, this image angle depends on the directions of $\gamma_1$ and $\gamma_2$ in a complicated way — the Jacobian can stretch and shear different directions by different amounts. The special property of a holomorphic function $f$ with $f'(z_0) \neq 0$ is that the Jacobian acts by multiplication by the complex number $f'(z_0)$: it rotates all directions by $\arg(f'(z_0))$ and scales all lengths by $|f'(z_0)|$, uniformly. In particular, the angle $\alpha$ between any two curves is preserved. This angle-preserving property is not merely an aesthetic curiosity. Harmonic functions — solutions of Laplace's equation $\Delta u = 0$ — are preserved under composition with conformal maps: if $u$ is harmonic on $f(\Omega)$ and $f : \Omega \to f(\Omega)$ is conformal, then $u \circ f$ is harmonic on $\Omega$. This means that solving a Dirichlet problem on a complicated domain $\Omega$ reduces to solving it on a simpler domain (such as the disc or half-plane) and pulling back the solution via a conformal map. The Riemann mapping theorem guarantees that such a map exists for any simply connected domain. ### Why Bijectivity? A holomorphic function $f$ with $f'(z_0) \neq 0$ preserves angles at $z_0$, but it need not be injective — for instance, $f(z) = z^2$ has $f'(1) = 2 \neq 0$ and preserves angles at $z = 1$, but it is not injective on any neighbourhood of $1$ that contains both $1$ and $-1$. For the Dirichlet problem application and for the full geometric theory, we need $f$ to be a bijection: a one-to-one correspondence between domains that is holomorphic in both directions. This is the notion of a *biholomorphism* or *conformal equivalence*. [/motivation] ## Definition The notion of conformality comes in two flavours: a local differential condition (angle preservation at a point) and a global mapping condition (biholomorphic equivalence between domains). We define both precisely and then establish their relationship. A conformal map is, at its core, a map that preserves angles. In the complex-analytic setting, this amounts to requiring that the derivative exists and is nonzero — the derivative, viewed as a complex [linear map](/page/Linear%20Map), acts as a rotation-dilation, which automatically preserves angles between tangent vectors. [definition: Conformal Map] Let $\Omega \subseteq \mathbb{C}$ be open and let $f : \Omega \to \mathbb{C}$ be holomorphic. The map $f$ is **conformal at** $z_0 \in \Omega$ if $f'(z_0) \neq 0$. The map $f$ is **conformal on $\Omega$** if $f'(z) \neq 0$ for every $z \in \Omega$. [/definition] The condition $f'(z_0) \neq 0$ ensures that $f$ is locally injective near $z_0$ (by the [inverse function theorem](/page/Inverse%20Function%20Theorem) for holomorphic maps) and that it preserves both the magnitude and the orientation of angles between curves through $z_0$. If we allowed $f'(z_0) = 0$, the map $f$ would multiply angles by the order of vanishing of $f'$ at $z_0$: for example, $f(z) = z^n$ at the origin has $f'(0) = 0$ (for $n \ge 2$) and multiplies angles by $n$. For global mapping theory, we need a stronger notion: a bijective conformal map between domains. [definition: Biholomorphism] Let $\Omega_1, \Omega_2 \subseteq \mathbb{C}$ be open. A **biholomorphism** (or **conformal equivalence**) from $\Omega_1$ to $\Omega_2$ is a bijective holomorphic map $f : \Omega_1 \to \Omega_2$ whose inverse $f^{-1} : \Omega_2 \to \Omega_1$ is also holomorphic. Two domains are **conformally equivalent** if a biholomorphism between them exists. [/definition] A remarkable fact, specific to one complex variable, is that the holomorphicity of the inverse is automatic: if $f : \Omega_1 \to \Omega_2$ is a bijective holomorphic map, then $f^{-1}$ is automatically holomorphic. This follows from the fact that a bijective holomorphic map must have nonvanishing derivative (injectivity forces $f'(z) \neq 0$ for all $z$), and the holomorphic inverse function theorem then gives holomorphicity of $f^{-1}$. Thus a biholomorphism is simply a bijective holomorphic map. ## The Conformal Condition The preceding discussion asserts that for holomorphic functions, the conditions "locally injective," "angle-preserving," and "nonvanishing derivative" are all equivalent. We now state this precisely. The key link is the inverse function theorem for holomorphic maps, which gives a much stronger conclusion than its real counterpart: a holomorphic function with nonvanishing derivative is not merely locally invertible but locally biholomorphic, and the derivative condition at a single point controls the geometry in a full neighbourhood. [theorem: Characterisation Of Local Conformality] Let $\Omega \subseteq \mathbb{C}$ be open and let $f : \Omega \to \mathbb{C}$ be holomorphic. The following are equivalent at a point $z_0 \in \Omega$: (i) $f'(z_0) \neq 0$. (ii) $f$ is locally injective at $z_0$: there exists a neighbourhood $U$ of $z_0$ such that $f|_U$ is injective. (iii) $f$ preserves angles at $z_0$: for any two smooth curves $\gamma_1, \gamma_2$ through $z_0$ with well-defined tangent vectors, the angle between $f \circ \gamma_1$ and $f \circ \gamma_2$ at $f(z_0)$ equals the angle between $\gamma_1$ and $\gamma_2$ at $z_0$ (both in magnitude and orientation). (iv) $f$ is a local biholomorphism at $z_0$: there exists a neighbourhood $U$ of $z_0$ such that $f(U)$ is open and $f|_U : U \to f(U)$ is a biholomorphism. [/theorem] The implication (i) $\Rightarrow$ (iv) is the holomorphic inverse function theorem. The implication (iv) $\Rightarrow$ (ii) is trivial. For (ii) $\Rightarrow$ (i): if $f'(z_0) = 0$, then $f(z) - f(z_0)$ has a zero of order $n \ge 2$ at $z_0$, so near $z_0$ the map $f$ behaves like $z \mapsto (z - z_0)^n$ (after a change of coordinates), which is $n$-to-$1$ — contradicting injectivity. The equivalence with (iii) follows from the fact that the Jacobian of a holomorphic function at $z_0$ is the real-linear map "multiply by $f'(z_0)$," which is a rotation-dilation when $f'(z_0) \neq 0$ and hence preserves angles. The failure mode when $f'(z_0) = 0$ is instructive. If $f$ has a zero of order $n$ at $z_0$ (that is, $f(z) - f(z_0) = a_n(z - z_0)^n + \cdots$ with $a_n \neq 0$ and $n \ge 2$), then $f$ multiplies angles at $z_0$ by $n$. For instance, $f(z) = z^2$ doubles all angles at the origin: two curves meeting at angle $\pi/4$ map to curves meeting at angle $\pi/2$. This is why the nonvanishing derivative condition is essential for conformality. ## Möbius Transformations The simplest and most important conformal maps are the Möbius transformations — the rational functions of degree one. They form a [group](/page/Group) under composition and act transitively on the Riemann sphere, which makes them the natural "symmetries" of complex analysis. To motivate the definition: suppose we want a conformal map of the Riemann sphere $\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}$ to itself. Since $\hat{\mathbb{C}}$ is compact, any holomorphic map $\hat{\mathbb{C}} \to \hat{\mathbb{C}}$ is a rational function (by Liouville's theorem applied to the chart at infinity). The rational functions of degree one — those with exactly one pole and one zero — are the simplest nontrivial examples, and they turn out to be exactly the automorphisms of $\hat{\mathbb{C}}$. [definition: Moebius Transformation] A **Möbius transformation** (or **linear fractional transformation**) is a map of the form \begin{align*} T : \hat{\mathbb{C}} &\to \hat{\mathbb{C}} \\ z &\mapsto \frac{az + b}{cz + d}, \end{align*} where $a, b, c, d \in \mathbb{C}$ with $ad - bc \neq 0$. The condition $ad - bc \neq 0$ ensures that $T$ is not constant. [/definition] When $c = 0$, the map reduces to the affine transformation $z \mapsto (a/d)z + b/d$, which is a composition of a rotation, a dilation, and a translation. When $c \neq 0$, the map has a pole at $z = -d/c$ (which maps to $\infty$) and maps $\infty$ to $a/c$. The determinant condition $ad - bc \neq 0$ is equivalent to requiring that the map is not degenerate — without it, the numerator and denominator would be proportional, making $T$ constant. Every Möbius transformation is a biholomorphism $\hat{\mathbb{C}} \to \hat{\mathbb{C}}$, and conversely, every biholomorphism of $\hat{\mathbb{C}}$ is a Möbius transformation. The [set](/page/Set) of all Möbius transformations forms a group under composition, isomorphic to $\operatorname{PSL}(2, \mathbb{C}) = \operatorname{SL}(2, \mathbb{C}) / \{\pm I\}$, via the correspondence $T \leftrightarrow \pm\begin{pmatrix} a & b \\ c & d\end{pmatrix}$. A key property of Möbius transformations is that they are *triply transitive*: given any three distinct points $z_1, z_2, z_3 \in \hat{\mathbb{C}}$ and any three distinct points $w_1, w_2, w_3 \in \hat{\mathbb{C}}$, there exists a unique Möbius transformation $T$ with $T(z_k) = w_k$ for $k = 1, 2, 3$. This follows from the fact that $\operatorname{PSL}(2, \mathbb{C})$ has complex dimension $3$ and acts freely on ordered triples of distinct points. [example: The Cayley Transform] The **Cayley transform** is the Möbius transformation \begin{align*} C : \hat{\mathbb{C}} &\to \hat{\mathbb{C}} \\ z &\mapsto \frac{z - i}{z + i}. \end{align*} We claim that $C$ maps the upper half-plane $\mathbb{H} = \{z \in \mathbb{C} : \operatorname{Im}(z) > 0\}$ biholomorphically onto the open unit disc $\mathbb{D} = \{w \in \mathbb{C} : |w| < 1\}$. First, $C$ maps the real axis to the unit circle: for $x \in \mathbb{R}$, \begin{align*} |C(x)| = \left|\frac{x - i}{x + i}\right| = \frac{|x - i|}{|x + i|} = \frac{\sqrt{x^2 + 1}}{\sqrt{x^2 + 1}} = 1. \end{align*} Also, $C(i) = 0/(2i) = 0 \in \mathbb{D}$, so $C$ maps one point of $\mathbb{H}$ into $\mathbb{D}$. Since $C$ is [continuous](/page/Continuity) and maps the boundary $\mathbb{R}$ of $\mathbb{H}$ to the boundary $\partial \mathbb{D}$ of $\mathbb{D}$, it maps $\mathbb{H}$ onto $\mathbb{D}$. More explicitly: for $z = x + iy$ with $y > 0$, \begin{align*} |C(z)|^2 = \frac{|z - i|^2}{|z + i|^2} = \frac{x^2 + (y-1)^2}{x^2 + (y+1)^2} = \frac{x^2 + y^2 - 2y + 1}{x^2 + y^2 + 2y + 1}. \end{align*} Since $y > 0$, the numerator is strictly less than the denominator (they differ by $4y > 0$), so $|C(z)| < 1$. The inverse of the Cayley transform is \begin{align*} C^{-1}(w) = i\frac{1 + w}{1 - w}, \end{align*} which maps $\mathbb{D}$ to $\mathbb{H}$. The Cayley transform is the standard "dictionary" between the disc and half-plane models of conformal geometry — any result proved for $\mathbb{D}$ can be transferred to $\mathbb{H}$ via $C$, and vice versa. [/example] [example: Mapping Three Points To Three Points] Find the Möbius transformation $T$ mapping $0 \mapsto 1$, $1 \mapsto 0$, $\infty \mapsto -1$. Write $T(z) = \frac{az + b}{cz + d}$. The condition $T(\infty) = a/c = -1$ gives $a = -c$. The condition $T(0) = b/d = 1$ gives $b = d$. The condition $T(1) = (a + b)/(c + d) = 0$ gives $a + b = 0$, so $b = -a = c$. Setting $a = -1$: $b = 1$, $c = 1$, $d = 1$. Thus: \begin{align*} T(z) = \frac{-z + 1}{z + 1} = \frac{1 - z}{1 + z}. \end{align*} We verify: $T(0) = 1/1 = 1$, $T(1) = 0/2 = 0$, $T(\infty) = -1/1 = -1$. The determinant is $(-1)(1) - (1)(1) = -2 \neq 0$, confirming this is a valid Möbius transformation. This map also sends the unit circle to the real axis (since it maps three points of $\mathbb{R} \cup \{\infty\}$ to $\mathbb{R} \cup \{\infty\}$, and Möbius transformations map circles-or-lines to circles-or-lines). Since $T(i) = \frac{1 - i}{1 + i} = \frac{(1-i)^2}{2} = \frac{-2i}{2} = -i$, which has $|{-i}| = 1$, we see that $T$ maps the unit circle to itself (not to a line). Checking: $T$ maps $0 \mapsto 1$ (inside $\to$ boundary), so $T$ does *not* map $\mathbb{D}$ to $\mathbb{D}$ — it maps $\mathbb{D}$ to the complement of $\overline{\mathbb{D}}$, and the exterior of $\overline{\mathbb{D}}$ to $\mathbb{D}$. [/example] ## The Riemann Mapping Theorem The most powerful result in the theory of conformal maps is the Riemann mapping theorem, which asserts that conformal equivalence among simply connected domains is almost trivially simple: up to biholomorphism, there are only two simply connected domains in $\mathbb{C}$ — the whole plane and the open disc. Any proper simply connected subdomain of $\mathbb{C}$, no matter how complicated its [boundary](/page/Boundary), is conformally equivalent to the unit disc. This result is surprising because the domains in question can have wildly different geometric properties — a thin slit, a snowflake-shaped region, and a smooth convex domain are all conformally equivalent to $\mathbb{D}$. The conformal map "absorbs" all the geometric complexity of the boundary into the behaviour of its derivative. [theorem: Riemann Mapping Theorem] Let $\Omega \subsetneq \mathbb{C}$ be a nonempty simply connected [open set](/page/Open%20Set) with $\Omega \neq \mathbb{C}$. Then $\Omega$ is conformally equivalent to the open unit disc $\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}$. Moreover, for any $z_0 \in \Omega$, there exists a unique biholomorphism $f : \Omega \to \mathbb{D}$ satisfying $f(z_0) = 0$ and $f'(z_0) > 0$. [/theorem] The two excluded cases — $\Omega = \mathbb{C}$ and $\Omega = \emptyset$ — are genuine: $\mathbb{C}$ is not conformally equivalent to $\mathbb{D}$ (by Liouville's theorem, any bounded entire function is constant, so a biholomorphism $\mathbb{C} \to \mathbb{D}$ would be bounded and entire, hence constant — contradicting bijectivity). The simple connectivity hypothesis is also necessary: an annulus $\{r < |z| < R\}$ is not conformally equivalent to $\mathbb{D}$, and two annuli $\{r_1 < |z| < R_1\}$ and $\{r_2 < |z| < R_2\}$ are conformally equivalent if and only if $R_1/r_1 = R_2/r_2$ (the conformal modulus). This shows that conformal equivalence among non-simply-connected domains has a rich and nontrivial structure, in sharp contrast with the simply connected case. The uniqueness clause — fixing $z_0 \mapsto 0$ with positive derivative — pins down the map completely. Without this normalisation, there is a three-real-parameter family of biholomorphisms $\Omega \to \mathbb{D}$ (corresponding to the automorphism group of $\mathbb{D}$, which is three-dimensional). The proof of the Riemann mapping theorem is non-constructive: it uses the theory of normal families (Montel's theorem) to extract a convergent subsequence from a maximising [sequence](/page/Sequence) of injective maps. The key idea is to consider the family $\mathcal{F} = \{f : \Omega \to \mathbb{D} \mid f \text{ injective, } f(z_0) = 0\}$, show it is nonempty (using the hypothesis $\Omega \neq \mathbb{C}$) and normal, and then maximise $|f'(z_0)|$ over $\mathcal{F}$. The extremal function turns out to be surjective: if it missed some point $w_0 \in \mathbb{D}$, one could compose with a square root and a Möbius transformation to produce a new function in $\mathcal{F}$ with strictly larger derivative at $z_0$, contradicting extremality. ## Standard Conformal Maps The Riemann mapping theorem guarantees the existence of conformal maps between simply connected domains, but it does not construct them explicitly. In practice, one builds conformal maps between specific domains by composing elementary building blocks. The following examples form the core toolkit. ### Power Maps and Sectors The simplest conformal maps beyond Möbius transformations are the power maps $z \mapsto z^\alpha$ for $\alpha > 0$. These maps open or close angular sectors. [example: Opening A Sector To A Half Plane] Consider the sector $S_\beta = \{z \in \mathbb{C} : z \neq 0, \, 0 < \arg(z) < \beta\}$ for $0 < \beta \le 2\pi$. The power map \begin{align*} f : S_\beta &\to \mathbb{H} \\ z &\mapsto z^{\pi/\beta} \end{align*} (using the branch of $z^{\pi/\beta}$ with argument in $(0, \pi)$ on $S_\beta$) maps $S_\beta$ conformally onto the upper half-plane $\mathbb{H}$. To see this: write $z = re^{i\theta}$ with $r > 0$ and $\theta \in (0, \beta)$. Then $f(z) = r^{\pi/\beta} e^{i\pi\theta/\beta}$, and the argument of $f(z)$ is $\pi\theta/\beta$. As $\theta$ ranges over $(0, \beta)$, the argument $\pi\theta/\beta$ ranges over $(0, \pi)$, which is exactly the upper half-plane. Special cases: when $\beta = \pi$ (a half-plane), $f(z) = z^1 = z$ (the identity). When $\beta = \pi/2$ (a quarter-plane), $f(z) = z^2$. When $\beta = 2\pi$ (the slit plane $\mathbb{C} \setminus [0, \infty)$), $f(z) = z^{1/2}$, the principal square root. The derivative is $f'(z) = (\pi/\beta) z^{\pi/\beta - 1}$, which vanishes only at $z = 0$ (which is not in $S_\beta$), confirming conformality on the sector. [/example] ### The Exponential and Logarithm The exponential map $z \mapsto e^z$ transforms horizontal strips into sectors, and its inverse (a branch of the logarithm) does the reverse. This is the basic tool for converting between "rectangular" and "polar" geometries. [example: Exponential Maps A Strip To A Sector] The horizontal strip $\Sigma_\beta = \{z = x + iy : x \in \mathbb{R}, \, 0 < y < \beta\}$ for $0 < \beta \le 2\pi$ is mapped conformally onto the sector $S_\beta$ by the exponential: \begin{align*} \exp : \Sigma_\beta &\to S_\beta \\ z = x + iy &\mapsto e^x e^{iy}. \end{align*} The image has modulus $e^x$ (which ranges over all of $(0, \infty)$ as $x$ ranges over $\mathbb{R}$) and argument $y$ (which ranges over $(0, \beta)$). Thus $\exp$ maps $\Sigma_\beta$ onto $S_\beta$, and since $\exp' = \exp \neq 0$, it is conformal. It is also injective on $\Sigma_\beta$ provided $\beta \le 2\pi$ (the exponential is injective on any horizontal strip of height at most $2\pi$). Composing with the previous example: the map $z \mapsto e^{\pi z/\beta}$ maps the strip $\{0 < \operatorname{Im}(z) < \beta\}$ to $S_\beta$, and then $w \mapsto w^{\pi/\beta}$ maps $S_\beta$ to $\mathbb{H}$. The composition maps the strip to the upper half-plane. For the standard strip $\{0 < \operatorname{Im}(z) < \pi\}$, the exponential itself does the job: $e^z$ maps $\Sigma_\pi$ onto $\mathbb{H}$. [/example] ### The Joukowski Map The Joukowski (or Zhukovsky) map is a classical example from aerodynamics. It maps the exterior of the unit disc conformally onto the complement of a line segment, and it is the basis for the theory of airfoil shapes. [example: The Joukowski Map] The **Joukowski map** is \begin{align*} J : \mathbb{C} \setminus \{0\} &\to \mathbb{C} \\ z &\mapsto z + \frac{1}{z}. \end{align*} The derivative is $J'(z) = 1 - 1/z^2$, which vanishes at $z = \pm 1$. Away from these points, $J$ is conformal. We claim that $J$ maps the exterior of the closed unit disc $\{|z| > 1\}$ conformally onto $\mathbb{C} \setminus [-2, 2]$. **The boundary maps to $[-2, 2]$:** For $z = e^{i\theta}$ on the unit circle, $J(e^{i\theta}) = e^{i\theta} + e^{-i\theta} = 2\cos\theta$. As $\theta$ ranges over $[0, 2\pi)$, $2\cos\theta$ traces the interval $[-2, 2]$ (traversed twice, once in each direction). **Injectivity on $|z| > 1$:** If $J(z_1) = J(z_2)$, then $z_1 + 1/z_1 = z_2 + 1/z_2$, which gives $(z_1 - z_2)(1 - 1/(z_1 z_2)) = 0$. So either $z_1 = z_2$ or $z_1 z_2 = 1$. If $|z_1| > 1$ and $|z_2| > 1$, then $|z_1 z_2| > 1 \neq 1$, so $z_1 z_2 \neq 1$, forcing $z_1 = z_2$. Thus $J$ is injective on $\{|z| > 1\}$. **Surjectivity onto $\mathbb{C} \setminus [-2, 2]$:** Given $w \in \mathbb{C} \setminus [-2, 2]$, the equation $z + 1/z = w$ is equivalent to $z^2 - wz + 1 = 0$, with solutions $z = (w \pm \sqrt{w^2 - 4})/2$. Since $w \notin [-2, 2]$, $w^2 - 4 \notin (-\infty, 0]$ (one can verify this), so $\sqrt{w^2 - 4}$ is well-defined via the principal branch. Exactly one of the two roots has $|z| > 1$ (since their product is $1$), and this root lies in the exterior of the unit disc. The Joukowski map is the prototype for conformal maps used in fluid dynamics. The flow of an ideal fluid around the unit disc is known explicitly (by symmetry), and applying $J$ transforms it into the flow around the "Joukowski airfoil" — the image of a circle under $J$. Different circles (slightly displaced or slightly larger than the unit circle) produce different airfoil shapes, all with analytically tractable flow patterns. [/example] ## The Schwarz Lemma and Automorphisms The Schwarz lemma is a rigidity result: it says that a holomorphic map from the disc to itself that fixes the origin cannot expand distances, and if it preserves any nonzero distance, it must be a rotation. This simple result has far-reaching consequences for the structure of conformal automorphisms. The lemma addresses the following question: among all holomorphic maps $f : \mathbb{D} \to \mathbb{D}$ with $f(0) = 0$, how large can $f$ be? The answer is that $f$ is dominated by the identity: $|f(z)| \le |z|$ for all $z \in \mathbb{D}$, with equality only for rotations. [theorem: Schwarz Lemma] Let $f : \mathbb{D} \to \mathbb{D}$ be holomorphic with $f(0) = 0$. Then: (i) $|f(z)| \le |z|$ for all $z \in \mathbb{D}$. (ii) $|f'(0)| \le 1$. (iii) If $|f(z_0)| = |z_0|$ for some $z_0 \in \mathbb{D} \setminus \{0\}$, or if $|f'(0)| = 1$, then $f$ is a rotation: $f(z) = e^{i\alpha} z$ for some $\alpha \in \mathbb{R}$. [/theorem] The proof is a beautiful application of the [maximum modulus principle](/theorems/491). Define $g(z) = f(z)/z$ for $z \neq 0$ and $g(0) = f'(0)$ (which is well-defined since $f(0) = 0$, so $f(z)/z$ has a removable singularity at $0$). Then $g$ is holomorphic on $\mathbb{D}$. For $|z| = r < 1$, $|g(z)| = |f(z)|/r \le 1/r$ (since $|f(z)| \le 1$). By the maximum modulus principle, $|g(z)| \le 1/r$ on $|z| \le r$. Letting $r \to 1^-$ gives $|g(z)| \le 1$ on all of $\mathbb{D}$, which is conclusion (i). Conclusion (ii) follows by evaluating at $z = 0$: $|g(0)| = |f'(0)| \le 1$. If equality holds in (i) or (ii), then $|g|$ attains its maximum $1$ in $\mathbb{D}$, so $g$ is constant by the maximum modulus principle: $g(z) = e^{i\alpha}$, giving $f(z) = e^{i\alpha} z$. The Schwarz lemma determines the automorphism group of $\mathbb{D}$. Every automorphism of $\mathbb{D}$ (biholomorphism $\mathbb{D} \to \mathbb{D}$) must be a Möbius transformation that maps $\mathbb{D}$ to itself. The following classification is obtained by combining the Schwarz lemma with the Möbius transformation machinery. [theorem: Automorphisms Of The Disc] Every biholomorphism $f : \mathbb{D} \to \mathbb{D}$ has the form \begin{align*} f(z) = e^{i\alpha} \frac{z - a}{1 - \bar{a}z} \end{align*} for some $\alpha \in \mathbb{R}$ and $a \in \mathbb{D}$. [/theorem] The map $\varphi_a(z) = (z - a)/(1 - \bar{a}z)$ is called the **Blaschke factor** with zero at $a$. It is a Möbius transformation that maps $\mathbb{D}$ to $\mathbb{D}$, sends $a$ to $0$, and satisfies $\varphi_a \circ \varphi_a = \operatorname{id}$ (it is its own inverse). The general automorphism is a Blaschke factor composed with a rotation. The proof uses the Schwarz lemma: given an automorphism $f$ with $f(a) = 0$, the composition $g = f \circ \varphi_a^{-1}$ is an automorphism fixing $0$, so the Schwarz lemma applied to both $g$ and $g^{-1}$ gives $|g'(0)| \le 1$ and $|g^{-1}{}'(0)| \le 1$, forcing $|g'(0)| = 1$, so $g$ is a rotation. The automorphism group $\operatorname{Aut}(\mathbb{D})$ is thus a real three-dimensional Lie group: two real parameters for $a \in \mathbb{D}$ and one for $\alpha \in [0, 2\pi)$. This matches the dimension count from the Riemann mapping theorem (three real parameters of normalisation freedom). [example: Automorphism Mapping A Given Point To The Origin] Find a biholomorphism $\mathbb{D} \to \mathbb{D}$ that maps $a = 1/2$ to $0$. The Blaschke factor with $a = 1/2$ is \begin{align*} \varphi_{1/2}(z) = \frac{z - 1/2}{1 - z/2} = \frac{2z - 1}{2 - z}. \end{align*} We verify: $\varphi_{1/2}(1/2) = 0/(2 - 1/2) = 0$. At $z = 0$: $\varphi_{1/2}(0) = -1/2$. At $z = 1$ (boundary): $|\varphi_{1/2}(1)| = |1/(2 - 1)| = 1$. At $z = -1$: $|\varphi_{1/2}(-1)| = |(-3)/(3)| = 1$. So $\varphi_{1/2}$ maps the boundary of $\mathbb{D}$ to itself. The derivative is \begin{align*} \varphi_{1/2}'(z) = \frac{2(2 - z) - (2z - 1)(-1)}{(2 - z)^2} = \frac{4 - 2z + 2z - 1}{(2 - z)^2} = \frac{3}{(2 - z)^2}. \end{align*} At $z = 1/2$: $\varphi_{1/2}'(1/2) = 3/(3/2)^2 = 3/(9/4) = 4/3 > 0$. Since the derivative is real and positive at $a$, this is the unique normalised Riemann map $\mathbb{D} \to \mathbb{D}$ sending $1/2$ to $0$ with positive derivative (as in the Riemann mapping theorem with $\Omega = \mathbb{D}$, $z_0 = 1/2$). [/example] ## Conformal Maps and Harmonic Functions The original motivation for conformal mapping theory was the solution of boundary value problems for Laplace's equation. The key principle is that harmonicity is conformally invariant: if $u$ is harmonic on a domain $\Omega_2$ and $f : \Omega_1 \to \Omega_2$ is conformal, then $u \circ f$ is harmonic on $\Omega_1$. This allows one to transfer Dirichlet problems from complicated domains to simple ones. The proof of conformal invariance is a direct computation. If $f$ is holomorphic and $u$ is harmonic (meaning $\Delta u = 4\partial\bar{\partial} u = 0$), then $\Delta(u \circ f) = |f'|^2 (\Delta u) \circ f = 0$ by the chain rule for the Laplacian in complex coordinates. The factor $|f'|^2$ is irrelevant because $\Delta u = 0$ on the image. [example: Dirichlet Problem On A Sector] Solve the Dirichlet problem: find a harmonic function $u$ on the quarter-plane $S_{\pi/2} = \{z : \operatorname{Re}(z) > 0, \, \operatorname{Im}(z) > 0\}$ with boundary conditions $u = 0$ on the positive real axis and $u = 1$ on the positive imaginary axis. **Step 1: Map the sector to the half-plane.** The power map $f(z) = z^2$ maps $S_{\pi/2}$ conformally onto the upper half-plane $\mathbb{H}$. Under this map, the positive real axis $\{x > 0, y = 0\}$ maps to $\{x > 0, y = 0\}$ (the positive real axis in $\mathbb{H}$), and the positive imaginary axis $\{x = 0, y > 0\}$ maps to $\{x < 0, y = 0\}$ (the negative real axis in $\mathbb{H}$). So the boundary conditions become: $u = 0$ on the positive real axis, $u = 1$ on the negative real axis. **Step 2: Solve on the half-plane.** The harmonic function on $\mathbb{H}$ with boundary values $0$ on $(0, \infty)$ and $1$ on $(-\infty, 0)$ is \begin{align*} U(w) = \frac{1}{\pi} \arg(w) = \frac{1}{\pi} \operatorname{Arg}(w), \end{align*} where $\operatorname{Arg}(w) \in (0, \pi)$ for $w \in \mathbb{H}$. This is the imaginary part of $\frac{1}{\pi}\operatorname{Log}(w)$, which is holomorphic on $\mathbb{H}$, so $U$ is harmonic. On the positive real axis, $\operatorname{Arg}(w) = 0$, giving $U = 0$. On the negative real axis, $\operatorname{Arg}(w) = \pi$, giving $U = 1$. **Step 3: Pull back to the sector.** The solution on the quarter-plane is $u(z) = U(f(z)) = U(z^2)$. Writing $z = re^{i\theta}$ with $r > 0$ and $\theta \in (0, \pi/2)$: \begin{align*} u(z) = \frac{1}{\pi}\operatorname{Arg}(z^2) = \frac{1}{\pi}\operatorname{Arg}(r^2 e^{2i\theta}) = \frac{2\theta}{\pi}. \end{align*} The solution is $u(z) = \frac{2}{\pi}\arg(z)$ — a linear function of the angle, as expected by symmetry. On the positive real axis ($\theta = 0$), $u = 0$. On the positive imaginary axis ($\theta = \pi/2$), $u = 1$. [/example] ## Problems [problem] Find a conformal map from the region $\Omega = \{z \in \mathbb{C} : \operatorname{Im}(z) > 0, \, |z| > 1\}$ (the upper half-plane with the closed unit semicircle removed) onto the upper half-plane $\mathbb{H}$. [/problem] [solution] **Step 1: Identify the geometry.** The domain $\Omega$ is the intersection of the upper half-plane with the exterior of the unit disc. Its boundary consists of two pieces: the real axis segments $(-\infty, -1]$ and $[1, \infty)$, and the upper semicircle $\{e^{i\theta} : 0 \le \theta \le \pi\}$. **Step 2: Apply the Joukowski map.** The Joukowski map $J(z) = z + 1/z$ maps the exterior of the unit disc to $\mathbb{C} \setminus [-2, 2]$ (as computed in the earlier example). We need to determine where $J$ maps $\Omega$. On the upper semicircle $|z| = 1$, $\operatorname{Im}(z) \ge 0$: $J(e^{i\theta}) = 2\cos\theta$ for $\theta \in [0, \pi]$, which traces $[-2, 2]$. On the positive real axis $z = x > 1$: $J(x) = x + 1/x > 2$ (since $x + 1/x \ge 2$ with equality only at $x = 1$). So $J$ maps $(1, \infty)$ to $(2, \infty)$. On the negative real axis $z = x < -1$: $J(x) = x + 1/x < -2$. So $J$ maps $(-\infty, -1)$ to $(-\infty, -2)$. For $z \in \Omega$ (upper half-plane, $|z| > 1$), write $z = re^{i\theta}$ with $r > 1$ and $\theta \in (0, \pi)$: \begin{align*} \operatorname{Im}(J(z)) = \operatorname{Im}(re^{i\theta} + r^{-1}e^{-i\theta}) = (r - r^{-1})\sin\theta. \end{align*} Since $r > 1$ and $\theta \in (0, \pi)$, both $r - r^{-1} > 0$ and $\sin\theta > 0$, so $\operatorname{Im}(J(z)) > 0$. Therefore $J$ maps $\Omega$ into $\mathbb{H}$. The boundary of $\Omega$ maps to: the semicircle maps to $[-2, 2]$, and the real-axis parts map to $(-\infty, -2) \cup (2, \infty)$. Together, these give the entire real axis. Since $J$ is a bijection from $\{|z| > 1\}$ onto $\mathbb{C} \setminus [-2, 2]$, and it maps $\Omega$ into $\mathbb{H}$, we have $J : \Omega \to \mathbb{H}$ is a biholomorphism. **Step 3: Verify conformality.** $J'(z) = 1 - 1/z^2$, which vanishes at $z = \pm 1$. Since $\pm 1 \notin \Omega$ (they lie on the boundary), $J$ is conformal on $\Omega$. Therefore $J(z) = z + 1/z$ is a conformal map from $\Omega$ onto $\mathbb{H}$. [/solution] [problem] Let $f : \mathbb{D} \to \mathbb{D}$ be holomorphic (not necessarily bijective) with $f(1/3) = 0$. (a) Prove that $|f(0)| \le 1/3$. (b) Prove that $|f'(1/3)| \le 9/8$. (c) If equality holds in both (a) and (b), determine $f$ completely. [/problem] [solution] **Step 1: Reduce to the Schwarz lemma.** The Blaschke factor $\varphi(z) = \frac{z - 1/3}{1 - z/3}$ is an automorphism of $\mathbb{D}$ with $\varphi(1/3) = 0$. Consider the composition $g = f \circ \varphi^{-1} : \mathbb{D} \to \mathbb{D}$. Since $\varphi^{-1}(0) = 1/3$ and $f(1/3) = 0$, we have $g(0) = f(\varphi^{-1}(0)) = f(1/3) = 0$. So $g$ satisfies the hypotheses of the Schwarz lemma: $g : \mathbb{D} \to \mathbb{D}$ is holomorphic with $g(0) = 0$. By the Schwarz lemma: $|g(w)| \le |w|$ for all $w \in \mathbb{D}$, and $|g'(0)| \le 1$. **Step 2: Prove (a).** We have $f(z) = g(\varphi(z))$. At $z = 0$: $f(0) = g(\varphi(0))$. Now $\varphi(0) = (0 - 1/3)/(1 - 0) = -1/3$. So $f(0) = g(-1/3)$, and by the Schwarz lemma: \begin{align*} |f(0)| = |g(-1/3)| \le |-1/3| = \frac{1}{3}. \end{align*} **Step 3: Prove (b).** By the chain rule: $f'(z) = g'(\varphi(z)) \cdot \varphi'(z)$. At $z = 1/3$, where $\varphi(1/3) = 0$: \begin{align*} f'(1/3) = g'(0) \cdot \varphi'(1/3). \end{align*} We compute $\varphi'$. From $\varphi(z) = \frac{z - 1/3}{1 - z/3}$: \begin{align*} \varphi'(z) = \frac{(1 - z/3) \cdot 1 - (z - 1/3) \cdot (-1/3)}{(1 - z/3)^2} = \frac{1 - z/3 + z/3 - 1/9}{(1 - z/3)^2} = \frac{8/9}{(1 - z/3)^2}. \end{align*} At $z = 1/3$: \begin{align*} \varphi'(1/3) = \frac{8/9}{(1 - 1/9)^2} = \frac{8/9}{(8/9)^2} = \frac{9}{8}. \end{align*} Since $|g'(0)| \le 1$ by the Schwarz lemma: \begin{align*} |f'(1/3)| = |g'(0)| \cdot \frac{9}{8} \le \frac{9}{8}. \end{align*} The bound $9/8 > 1$ is not a contradiction — it reflects the fact that the hyperbolic metric density at $z = 1/3$ is $1/(1 - |z|^2) = 9/8$ times the Euclidean metric. In the Schwarz–Pick formulation, the bound reads $|f'(1/3)| \le (1 - |f(1/3)|^2)/(1 - |1/3|^2) = 1/(8/9) = 9/8$, confirming our result. **Step 4: Determine $f$ when both equalities hold.** Equality in (a) means $|g(-1/3)| = 1/3$, so by the Schwarz lemma rigidity clause, $g(w) = e^{i\alpha}w$ for some $\alpha \in \mathbb{R}$. Equality in (b) means $|g'(0)| = 1$, which gives the same conclusion. With $g(w) = e^{i\alpha}w$, we have $f(z) = g(\varphi(z)) = e^{i\alpha}\varphi(z)$: \begin{align*} f(z) = e^{i\alpha} \cdot \frac{z - 1/3}{1 - z/3}. \end{align*} Checking (a): $f(0) = e^{i\alpha} \cdot (-1/3)$, so $|f(0)| = 1/3$. Checking (b): $f'(1/3) = e^{i\alpha} \cdot 9/8$, so $|f'(1/3)| = 9/8$. Both equalities hold. The extremal functions are exactly the rotations of the Blaschke factor $\varphi_{1/3}$. [/solution] ## References - Ahlfors, L. V., *Complex Analysis* (1979). - Conway, J. B., *Functions of One Complex Variable I* (1978). - Needham, T., *Visual Complex Analysis* (1997). - Stein, E. M. and Shakarchi, R., *Complex Analysis* (2003). - Pommerenke, Ch., *Boundary Behaviour of Conformal Maps* (1992).