第 6 章 · 共形映射：把复杂问题搬进标准答案

全纯函数（导数非零处）是共形映射：保角、保定向。这给出一种"地图投影"式的问题解法：把复杂区域变形成简单区域，在那儿解好问题再带回去。黎曼映射定理是这座桥的通行证。

共形性的来源

$f$ 全纯、$f'(z_0)\ne0$：在 $z_0$ 附近 $f(z) \approx f(z_0) + f'(z_0)(z-z_0)$——乘 $f'(z_0)$ 就是旋转（辐角）+ 缩放（模），处处等向缩放 ⟹ 任何两曲线的夹角被原样保留。反例预警：$z^2$ 在原点导数为零，夹角加倍——共形性只在导数非零处成立。

分式线性变换：最常用的一族

平移、缩放、反演的复合；把圆与直线（广义圆）映成广义圆、保交比。三点定一映射：给定三点的像，$T$ 唯一——这是构造具体映射的手工通道。典型应用：把上半平面映到单位圆盘、把两个相切圆之间的月牙区域拉直。

黎曼映射定理与边界行为

单连通真区域 $\Omega \subsetneq \mathbb{C}$ ⟹ 存在双全纯 $\varphi: \Omega \to \mathbb{D}$（单位圆盘）。存在但不唯一（差一个圆盘自同构）；指定一点及其像后唯一。这是"所有单连通区域在共形意义下只有一种"的惊人陈述。边界对应（Jordan 区域上延拓到同胚）与 Schwarz-Christoffel（多边形区域的显式公式）是两个实用分支——后者的积分公式把"多边形映射"化成可积形式，工程空气动力学（Joukowski 翼型）用它。

应用：二维物理的 cheat code

拉普拉斯方程 $\Delta u = 0$ 在共形变换下不变（二维特殊性质）。于是：不规则区域的稳态温度、静电势、理想绕流 → 共形映成圆盘/上半平面 → 那儿的解是初等的（泊松积分公式）→ 拉回去。整套流程是 19 世纪空气动力学的主力工具。

老师的提醒

• 用线性分式变换造映射的口诀：三点定像。选好三个"关键点"（角点、圆心、无穷远）事半功倍；把 $\infty$ 想成普通点常能秒解。
• 共形法只对二维有效：三维没有对应的黎曼映射定理（刚性完全不同）——不要把直觉越界搬运。

自检

• 为什么导数非零的全纯映射保角？
• 分式线性变换的"三点定一"是什么？
• 二维拉普拉斯方程为什么吃共形映射这一套？

更深一层：共形映射是"二维物理的通用变焦镜头"

共形映射保角（导数非零处），而二维拉普拉斯方程在共形变换下不变——这两句话组合成 19 世纪数学物理的超级工具：任何不规则单连通区域上的稳态热传导、静电势、理想绕流，都可以"变焦"到单位圆盘或上半平面，在那里解是初等公式（泊松积分），再变回去。翼型绕流的 Joukowski 方法是这套流程的工业巅峰：圆（有已知精确解）经分式线性+茹科夫斯基变换映成翼型，升力从圆解直接翻译。现代的数值共形映射（SC 变换的数值实现）继续服务于网格生成、图像配准、脑皮层展开（医学成像）。

线性分式变换的三点定一是手工构造的主力：把目标区域的三个"关键点"（角点、圆心、无穷远）指定像，唯一确定 $T(z) = \frac{az+b}{cz+d}$。技巧提示：把 $\infty$ 当普通点处理（$T(\infty) = a/c$）常一步到位——"无穷远是普通点"是分式变换最反直觉也最有用的性质。

推导细读：黎曼映射定理的"为什么惊人"

定理：任何单连通真区域都可双全纯映到单位圆盘。惊人的点有三：普适性（千奇百怪的单连通区域在共形意义下只有一个等价类——与三维以上形成刺眼对比，三维的共形群极小）；不构造性（证明是存在性的极值论证——最大化"定点导数"的正规族极限，不给你公式）；边界差距（区域边界可以极不规则，内部映射依然完美光滑——边界行为是独立的研究课题）。证明的正规族技术（有界全纯函数族必有收敛子列）是泛函分析紧性思想的预演——复分析的定理生产，一半靠紧性。

专题深入：共形映射是"二维物理的通用变焦镜头"完整版

共形映射保角（导数非零处），而二维拉普拉斯方程在共形变换下不变——这两句话组合成 19 世纪数学物理的超级工具：任何不规则单连通区域上的稳态热传导、静电势、理想绕流，都可以"变焦"到单位圆盘或上半平面，在那里解是初等公式（泊松积分），再变回去。翼型绕流的 Joukowski 方法是这套流程的工业巅峰：圆（有已知精确解）经分式线性+茹科夫斯基变换映成翼型，升力从圆解直接翻译。现代的数值共形映射（SC 变换的数值实现）继续服务于网格生成、图像配准、脑皮层展开（医学成像）。

线性分式变换的三点定一是手工构造的主力：把目标区域的三个"关键点"（角点、圆心、无穷远）指定像，唯一确定 $T(z) = \frac{az+b}{cz+d}$。技巧提示：把 $\infty$ 当普通点处理（$T(\infty) = a/c$）常一步到位——"无穷远是普通点"是分式变换最反直觉也最有用的性质。

数学细节展开：黎曼映射定理的"为什么惊人"完整版

定理：任何单连通真区域都可双全纯映到单位圆盘。惊人的点有三：普适性（千奇百怪的单连通区域在共形意义下只有一个等价类——与三维以上形成刺眼对比，三维的共形群极小）；不构造性（证明是存在性的极值论证——最大化"定点导数"的正规族极限，不给你公式）；边界差距（区域边界可以极不规则，内部映射依然完美光滑——边界行为是独立的研究课题）。证明的正规族技术（有界全纯函数族必有收敛子列）是泛函分析紧性思想的预演——复分析的定理生产，一半靠紧性。

工程案例细节：二维拉普拉斯方程的"共形不变性"实战

二维拉普拉斯方程在共形变换下不变（二维特殊性质）是共形方法的全部合法性：不规则区域的稳态温度、静电势、理想绕流 → 共形映成圆盘/上半平面 → 那儿的解是初等的（泊松积分公式）→ 拉回去。Schwarz-Christoffel（多边形区域的显式公式）是实用分支——它的积分公式把"多边形映射"化成可积形式，工程空气动力学（Joukowski 翼型）用它。共形法只对二维有效：三维没有对应的黎曼映射定理（刚性完全不同）——不要把直觉越界搬运。