Conformal map Study Guide

📖 Core Concepts Conformal map – a function that preserves angles locally (infinitesimal shapes keep their angles). Jacobian condition – at a point \(p\), the Jacobian \(Jf(p)=\lambda R\) where \(\lambda>0\) and \(R\) is a rotation matrix (\(\det R = 1\)). Orientation – standard definition requires \(\det R = +1\); some authors also allow orientation‑reversing maps (\(\det R = -1\)). 2‑D holomorphic characterization – on an open set \(U\subset\mathbb C\), \(f\) is conformal ⇔ \(f\) is holomorphic and \(f'(z)\neq0\) for every \(z\in U\). Antiholomorphic map – complex conjugate of a holomorphic function; preserves angles but reverses orientation. Biholomorphic – one‑to‑one holomorphic map with holomorphic inverse; the strict “conformal” notion in complex analysis. Riemann Mapping Theorem – any non‑empty simply connected proper open subset of \(\mathbb C\) is conformally bijective to the unit disk \(\mathbb D\). Möbius transformation – on the Riemann sphere \(\widehat{\mathbb C}\): \(z\mapsto \dfrac{az+b}{cz+d}\) with \(ad-bc\neq0\); the only global conformal maps on the sphere. Higher‑dimensional conformality – \(g\) and \(\tilde g\) are conformally equivalent if \(\tilde g=\Omega^{2}g\) (\(\Omega>0\)). A diffeomorphism \(F\) is conformal when \(F^{}\tilde g=\Omega^{2}g\). Liouville’s Theorem (≥3 D) – any conformal map on an open set of \(\mathbb R^{n}, n\ge3\) is a composition of a homothety (scaling), an isometry (rotation + translation), and a special conformal transformation (inversion‑translation‑inversion). --- 📌 Must Remember Angle preservation ⇔ Jacobian = scalar × orthogonal (det = ±1). Holomorphic + non‑zero derivative ⇒ conformal (2‑D). Antiholomorphic = angle‑preserving and orientation‑reversing. Every Möbius map is conformal on \(\widehat{\mathbb C}\); no other global conformal maps exist on the sphere. Liouville: In \(n\ge3\), only compositions of homothety, isometry, and special conformal transformation are possible. Stereographic projection is conformal: circles ↔ circles (or lines), angles unchanged. Harmonic functions stay harmonic under composition with a conformal map (planar Laplace equation invariant). --- 🔄 Key Processes Testing conformality in \(\mathbb C\): Compute \(f'(z)\). Verify \(f'(z)\neq0\) on the domain. Conclude \(f\) is conformal (angle‑preserving). Constructing a Möbius map sending three points \(z1,z2,z3\) to \(w1,w2,w3\): Use cross‑ratio invariance: \(\displaystyle \frac{(f(z)-w1)(w2-w3)}{(f(z)-w3)(w2-w1)} = \frac{(z-z1)(z2-z3)}{(z-z3)(z2-z1)}\). Solve for coefficients \(a,b,c,d\) (up to a non‑zero scalar). Applying Liouville’s decomposition (3 D+): Identify any inversions \(I(x)=\frac{x}{|x|^{2}}\). Apply translation \(Ta(x)=x+a\). Apply rotation/translation (isometry) \(R(x)=Qx+b\). Apply scaling \(\lambda x\). Compose in any order to match the given map. Using the Riemann Mapping Theorem: Pick a convenient reference point (e.g., map a boundary point to \(1\)). Construct a holomorphic bijection (often via Schwarz–Christoffel or explicit Möbius maps) to \(\mathbb D\). --- 🔍 Key Comparisons Holomorphic vs. Antiholomorphic Holomorphic: preserves orientation, derivative \(f'(z)\) (complex linear). Antiholomorphic: reverses orientation, derivative \(\overline{f'(z)}\) (complex conjugate linear). Möbius Transformation vs. General Conformal Map (2‑D) Möbius: global on \(\widehat{\mathbb C}\); rational function with \(ad-bc\neq0\). General conformal: any holomorphic map with non‑zero derivative, may be only locally defined. Homothety vs. Isometry (≥3 D) Homothety: multiplies all distances by constant \(\lambda>0\) (uniform scaling). Isometry: distance‑preserving; consists solely of rotations and translations (no scaling). Conformal Linear Transformation vs. General Conformal Map (≥3 D) Linear: only homothety + rotation (no inversion). General: may include special conformal transformation (inversion‑translation‑inversion). --- ⚠️ Common Misunderstandings “Conformal ⇒ length‑preserving.” Wrong; only infinitesimal shapes keep shape, not size. “Any differentiable map with orthogonal Jacobian is conformal.” The Jacobian must be a positive scalar times an orthogonal matrix; a pure rotation (scalar = 1) works, but a reflection (det = ‑1) is orientation‑reversing and only allowed if the definition permits it. “All angle‑preserving maps in 3 D are Möbius.” False; Möbius maps are special to the sphere. In \(\mathbb R^{3}\) the full class is given by Liouville’s theorem (inversions, etc.). “If a holomorphic function has a zero derivative at one point, it’s not conformal anywhere.” Only the point where \(f'(z)=0\) fails conformality; the map may still be conformal elsewhere. --- 🧠 Mental Models / Intuition “Zoom‑in picture” – Think of a conformal map as a tiny magnifying glass that rotates and scales the picture but never shears it; angles stay the same. “Cross‑ratio is the DNA of Möbius maps.” Preserve the cross‑ratio, and you have a Möbius transformation. “Liouville’s recipe” – Any high‑dimensional conformal map is just a scale → rotate/translate → invert‑translate‑invert sandwich. --- 🚩 Exceptions & Edge Cases Orientation‑reversing maps are excluded in the strict (positive‑determinant) definition; they appear when authors allow any orthogonal matrix. Riemann Mapping Theorem does not apply to the whole plane or to domains that are not simply connected. Liouville’s theorem fails in 2 D: there are many more conformal maps (all holomorphic functions). --- 📍 When to Use Which Check angle preservation → use Jacobian = \(\lambda R\) test (any dimension). 2‑D problems → verify holomorphic + non‑zero derivative; if you need a global map on the sphere, restrict to Möbius transformations. Mapping a complicated planar domain to a simple one → apply Riemann Mapping Theorem (construct via Schwarz–Christoffel or explicit Möbius maps). Higher‑dimensional geometry → decompose the map per Liouville’s theorem; if the map is linear, only consider homothety + isometry. Physics (potential theory) → compose the known solution with a conformal map to transfer boundary conditions. --- 👀 Patterns to Recognize Zero of derivative → loss of conformality at that point (look for critical points). Rational function with degree 1 → likely a Möbius map. Composition of inversions → signals a special conformal transformation in 3 D+. Cross‑ratio constant across four points → indicates a Möbius transformation is in play. Holomorphic function with simple pole → still conformal away from the pole (punctured domain). --- 🗂️ Exam Traps “All conformal maps are isometries.” Distractor: forgets scaling factor \(\lambda\). Choosing a Möbius map for a 2‑D domain that is not simply connected. The Riemann Mapping Theorem does not guarantee a bijection to the unit disk. Assuming any orthogonal Jacobian implies conformality. Must check the positive scalar factor; a pure reflection flips orientation (may be disallowed). Confusing antiholomorphic with holomorphic – both preserve angles, but orientation differs; exam may ask which one reverses orientation. Applying Liouville’s theorem in 2 D – invalid; in the plane conformal maps are far richer (any holomorphic with non‑zero derivative). ---