Skip to content

共形映射 (Conformal Mapping) ​

几何意义 ​

解析函数在导数不为零的点处具有两个重要的局部几何性质:

  • 保角性:设曲线 C1,C2C_1,C_2 在点 z0z_0 相交,夹角为 θ\theta。映射 w=f(z)w=f(z) 将 C1,C2C_1,C_2 映为 Γ1,Γ2\Gamma_1,\Gamma_2,它们在 w0=f(z0)w_0=f(z_0) 处的夹角仍为 θ\theta,且旋转方向保持不变。其原因是

Arg⁡f′(z0)=lim⁡Δz→0[Arg⁡Δw−Arg⁡Δz], \operatorname{Arg} f'(z_0) = \lim_{\Delta z\to 0}\bigl[\operatorname{Arg}\Delta w - \operatorname{Arg}\Delta z\bigr],

即映射后的切向量相对于原切向量旋转了 Arg⁡f′(z0)\operatorname{Arg} f'(z_0),该旋转角对所有经过 z0z_0 的曲线均相同,故称旋转角不变性。

  • 伸缩率不变性:微小线段在映射前后的长度比近似为常数 ∣f′(z0)∣|f'(z_0)|,与线段方向无关。即

∣f′(z0)∣=lim⁡Δz→0∣Δw∣∣Δz∣. |f'(z_0)| = \lim_{\Delta z\to 0}\frac{|\Delta w|}{|\Delta z|}.

例 设 w=f(z)=z2+2zw = f(z) = z^2 + 2z,求在点 z0=1+iz_0 = 1+i 处的旋转角与伸缩率。

解 f′(z)=2z+2f'(z) = 2z + 2,故 f′(1+i)=2(1+i)+2=4+2if'(1+i) = 2(1+i)+2 = 4+2i。 旋转角为 Arg⁡(4+2i)=arctan⁡24=arctan⁡0.5\operatorname{Arg}(4+2i) = \arctan\frac{2}{4} = \arctan 0.5。 伸缩率为 ∣f′(1+i)∣=42+22=25|f'(1+i)| = \sqrt{4^2+2^2} = 2\sqrt{5}。

共形映射的定义 ​

定义 若 w=f(z)w = f(z) 在区域 DD 内处处解析、且对任意 z0∈Dz_0 \in D 有 f′(z0)≠0f'(z_0) \neq 0,则称该映射在 DD 内是共形的(或称第一类共形映射,保持夹角大小和方向)。

扩充复平面上的共形性 ​

针对扩充复平面 C∗=C∪{∞}\mathbb{C}^* = \mathbb{C}\cup\{\infty\},可利用倒数变换将无穷远点转化为有限点,从而定义共形性:

  • 情形 I:w=f(z)w = f(z) 将 z=z0(≠∞)z = z_0 (\neq \infty) 映成 w=∞w = \infty。 令 ζ=1w\zeta = \dfrac{1}{w}。若 ζ=1f(z)\zeta = \dfrac{1}{f(z)} 在 z=z0z = z_0 处共形,则称原映射在 z=z0z = z_0 处共形。

  • 情形 II:w=f(z)w = f(z) 将 z=∞z = \infty 映成 w=w0(≠∞)w = w_0 (\neq \infty)。 令 η=1z\eta = \dfrac{1}{z}。若 w=f ⁣(1η)w = f\!\left(\dfrac{1}{\eta}\right) 在 η=0\eta = 0 处共形,则称原映射在 z=∞z = \infty 处共形。

  • 情形 III:w=f(z)w = f(z) 将 z=∞z = \infty 映成 w=∞w = \infty。 令 η=1z, ζ=1w\eta = \dfrac{1}{z},\ \zeta = \dfrac{1}{w}。若 ζ=1f(1/η)\zeta = \dfrac{1}{f(1/\eta)} 在 η=0\eta = 0 处共形,则称原映射在 z=∞z = \infty 处共形。

定理 分式线性映射在扩充复平面上是一一的,且处处具有保角性。

分式线性映射 ​

分式线性映射(Möbius 变换)的一般形式为

w=az+bcz+d,ad−bc≠0.w = \frac{az+b}{cz+d}, \quad ad - bc \neq 0.

它可以分解为以下三种基本变换的复合:

  1. 平移:z↦z+bz \mapsto z + b

  2. 旋转与伸缩:z↦azz \mapsto az(a≠0a \neq 0)

  3. 反演:z↦1zz \mapsto \dfrac{1}{z}

公式分解:

w=ac−ad−bcc⋅1cz+d(c≠0).w = \frac{a}{c} - \frac{ad-bc}{c} \cdot \frac{1}{cz+d} \quad (c \neq 0).

例 将分式线性映射 w=2z+3z−1w = \dfrac{2z+3}{z-1} 分解为基本变换的复合。

解

w=2z+3z−1=2+5z−1.w = \frac{2z+3}{z-1} = 2 + \frac{5}{z-1}.

因此变换可分解为:z↦z−1z \mapsto z-1(平移),↦1z−1\mapsto \dfrac{1}{z-1}(反演),↦5z−1\mapsto \dfrac{5}{z-1}(伸缩),↦5z−1+2\mapsto \dfrac{5}{z-1}+2(平移)。

保圆性与对称点 ​

对称点引理 ​

引理 设 CC 是以 z0z_0 为心、RR 为半径的圆周。两点 z1,z2z_1, z_2 关于 CC 对称的充要条件是:过 z1,z2z_1, z_2 的任意圆周(或直线)均与 CC 正交。

代数刻画:z1,z2z_1,z_2 关于圆周 C:∣z−z0∣=RC: |z - z_0| = R 对称   ⟺  \iff (z1−z0)(z2−z0)‾=R2(z_1 - z_0)\overline{(z_2 - z_0)} = R^2,或当 CC 为实轴(半径为无穷大的圆周)时,z2=z1‾z_2 = \overline{z_1}。

定理 设 w=f(z)w = f(z) 是分式线性映射,CC 为扩充复平面上的圆周。若 z1,z2z_1,z_2 关于 CC 对称,则 w1=f(z1), w2=f(z2)w_1 = f(z_1),\ w_2 = f(z_2) 关于 f(C)f(C) 也对称。

保圆性 (Circle-Preserving Property) ​

定义 若一个映射将扩充复平面上的圆周(包括直线,视为过 ∞\infty 的圆周)映为圆周,则称它具有保圆性。

以反演映射 w=1zw = \dfrac{1}{z} 为例验证: 令 z=x+iyz = x + iy,w=u+ivw = u + iv,代入一般圆方程

a(x2+y2)+bx+cy+d=0,a(x^2+y^2) + bx + cy + d = 0,

利用 x=uu2+v2, y=−vu2+v2x = \frac{u}{u^2+v^2},\ y = \frac{-v}{u^2+v^2}(由 z=1/wz = 1/w 得 x+iy=u−ivu2+v2x+iy = \frac{u-iv}{u^2+v^2}),代入后整理可得

d(u2+v2)+bu−cv+a=0,d(u^2+v^2) + bu - cv + a = 0,

仍为圆方程(当 d≠0d \neq 0 时为普通圆;d=0d=0 时为直线)。故保圆。

注 分式线性映射在扩充复平面上将圆周映成圆周,即具有保圆性。

交比与映射唯一性 ​

交比 (Cross Ratio) ​

扩充复平面上四个相异点 z1,z2,z3,z4z_1,z_2,z_3,z_4 的交比定义为

(z1,z2,z3,z4)=z1−z3z2−z3:z1−z4z2−z4=(z1−z3)(z2−z4)(z2−z3)(z1−z4).(z_1, z_2, z_3, z_4) = \frac{z_1 - z_3}{z_2 - z_3} : \frac{z_1 - z_4}{z_2 - z_4} = \frac{(z_1 - z_3)(z_2 - z_4)}{(z_2 - z_3)(z_1 - z_4)}.

当某点为 ∞\infty 时,将分子分母中含有该点的因子按极限理解(如 z4=∞z_4 = \infty 时,(z1,z2,z3,∞)=z1−z3z2−z3(z_1,z_2,z_3,\infty) = \frac{z_1 - z_3}{z_2 - z_3})。

注 分式线性映射保持交比不变,即具有保交比性:

(w1,w2,w3,w4)=(z1,z2,z3,z4).(w_1,w_2,w_3,w_4) = (z_1,z_2,z_3,z_4).

唯一确定映射的条件 ​

定理 给定 zz 平面上三个相异点 z1,z2,z3z_1,z_2,z_3 与 ww 平面上三个相异点 w1,w2,w3w_1,w_2,w_3,则存在唯一的分式线性映射 w=f(z)w = f(z) 使得

f(zk)=wk,k=1,2,3.f(z_k) = w_k, \quad k=1,2,3.

由保交比性可直接写出该映射:

(w−w1)(w3−w2)(w−w2)(w3−w1)=(z−z1)(z3−z2)(z−z2)(z3−z1).\frac{(w - w_1)(w_3 - w_2)}{(w - w_2)(w_3 - w_1)} = \frac{(z - z_1)(z_3 - z_2)}{(z - z_2)(z_3 - z_1)}.

例 求将点 z=0,1,∞z=0,1,\infty 分别映为 w=−1,−i,1w = -1, -i, 1 的分式线性映射。

解 设对应关系为 z1=0→w1=−1, z2=1→w2=−i, z3=∞→w3=1z_1=0\to w_1=-1,\ z_2=1\to w_2=-i,\ z_3=\infty\to w_3=1。 利用三点式:

w−w1w−w2⋅w3−w2w3−w1=z−z1z−z2⋅z3−z2z3−z1.\frac{w - w_1}{w - w_2} \cdot \frac{w_3 - w_2}{w_3 - w_1} = \frac{z - z_1}{z - z_2} \cdot \frac{z_3 - z_2}{z_3 - z_1}.

代入得

w+1w+i⋅1+i2=z−0z−1⋅1=zz−1.\frac{w+1}{w+ i} \cdot \frac{1+ i}{2} = \frac{z-0}{z-1} \cdot 1 = \frac{z}{z-1}.

解得

w=(i−1)z+2(1−3i)z+(i−1).w = \frac{(i-1)z + 2}{(1-3i)z + (i-1)}.

三种典型映射类型及其推导 ​

分式线性映射的核心在于利用边界对应原理与对称点原理确定参数。

类型 I:上半平面 Im⁡(z)>0→\operatorname{Im}(z) > 0 \to 单位圆盘 ∣w∣<1|w| < 1 ​

推导步骤:

  1. 设上半平面内一点 λ\lambda(Im⁡(λ)>0\operatorname{Im}(\lambda) > 0)映为圆心 w=0w=0。
  1. 由对称点原理,λ\lambda 关于实轴的对称点 λˉ\bar{\lambda} 应映为 w=∞w=\infty。
  1. 映射形式为 w=k z−λz−λˉ\displaystyle w = k \,\frac{z - \lambda}{z - \bar{\lambda}}。
  1. 实轴映为单位圆周 ∣w∣=1|w|=1,取 zz 为实数时 ∣w∣=∣k∣=1|w| = |k| = 1,故 k=eiθk = e^{i\theta}。

最终映射公式:

w=eiθz−λz−λˉ,θ∈R, Im⁡(λ)>0.w = e^{i\theta} \frac{z - \lambda}{z - \bar{\lambda}}, \quad \theta\in\mathbb{R},\ \operatorname{Im}(\lambda) > 0.

类型 II:单位圆盘 ∣z∣<1→|z| < 1 \to 单位圆盘 ∣w∣<1|w| < 1 ​

推导步骤:

  1. 设圆盘内一点 α\alpha(∣α∣<1|\alpha| < 1)映为 w=0w=0。
  1. 对称点 1/αˉ1/\bar{\alpha} 映为 w=∞w=\infty。
  1. 映射形式为 w=k′ z−α1−αˉz\displaystyle w = k' \,\frac{z - \alpha}{1 - \bar{\alpha}z}。
  1. 单位圆周 ∣z∣=1|z|=1 映为 ∣w∣=1|w|=1,可得 ∣k′∣=1|k'|=1,即 k′=eiφk' = e^{i\varphi}。

最终映射公式:

w=eiφz−α1−αˉz,φ∈R, ∣α∣<1.w = e^{i\varphi} \frac{z - \alpha}{1 - \bar{\alpha}z}, \quad \varphi\in\mathbb{R},\ |\alpha| < 1.

类型 III:上半平面 Im⁡(z)>0→\operatorname{Im}(z) > 0 \to 上半平面 Im⁡(w)>0\operatorname{Im}(w) > 0 ​

推导步骤:

  1. 系数 a,b,c,da,b,c,d 均取实数(可相差一个实常数因子)。
  1. 虚部满足:

Im⁡(w)=12i(w−wˉ)=(ad−bc)Im⁡(z)∣cz+d∣2. \operatorname{Im}(w) = \frac{1}{2i}(w - \bar{w}) = \frac{(ad-bc)\operatorname{Im}(z)}{|cz+d|^2}.

  1. 为保持上、下半平面,需要分子分母符号一致,故要求 ad−bc>0ad - bc > 0(保定向)。

最终映射公式:

w=az+bcz+d,a,b,c,d∈R, ad−bc>0.w = \frac{az + b}{cz + d}, \quad a,b,c,d\in\mathbb{R},\ ad-bc > 0.

例 求将上半平面映为单位圆盘,且使 λ=i\lambda = i 映为 w=0w=0,并满足 w(2i)>0w(2i) > 0 的分式线性映射。

解 由类型 I 公式,λ=i\lambda = i,λˉ=−i\bar{\lambda} = -i,故

w=eiθz−iz+i.w = e^{i\theta} \frac{z - i}{z + i}.

由附加条件 w(2i)>0w(2i) > 0:

w(2i)=eiθ2i−i2i+i=eiθi3i=13eiθ>0,w(2i) = e^{i\theta} \frac{2i - i}{2i + i} = e^{i\theta} \frac{i}{3i} = \frac{1}{3} e^{i\theta} > 0,

故 eiθ=1e^{i\theta} = 1(取 θ=0\theta = 0)。所求映射为

w=z−iz+i.w = \frac{z - i}{z + i}.

例 求将上半单位圆盘 D={z:∣z∣<1, Im⁡z>0}D = \{z: |z|<1,\ \operatorname{Im}z > 0\} 共形映射为上半平面的映射。

解 区域边界由上半圆周和实轴上的线段 [−1,1][-1,1] 组成。 先用分式线性映射将两个边界“拉直”。考虑映射 w1=z+1z−1w_1 = \frac{z+1}{z-1}。它把实轴映为实轴,把圆周 ∣z∣=1|z|=1 映为虚轴。取 z=0z=0 得 w1=−1w_1=-1,取 z=iz=i 得 w1=−iw_1=-i,故 w1w_1 将上半单位圆盘映为第三象限。调正方向: 用 w2=−w1=1+z1−zw_2 = -w_1 = \frac{1+z}{1-z},则 z=0↦1z=0\mapsto 1,z=i↦iz=i\mapsto i,将上半单位圆盘映为第一象限。 再平方 w=w22=(1+z1−z)2w = w_2^2 = \left(\frac{1+z}{1-z}\right)^2,即把第一象限映为上半平面。 故所求映射为

w=(1+z1−z)2.w = \left(\frac{1+z}{1-z}\right)^2.

初等函数的共形性 ​

幂函数 ​

幂函数 w=zn (n≥2)w = z^n \ (n \ge 2):

  • 导数:dwdz=nzn−1\dfrac{\mathrm{d}w}{\mathrm{d}z} = nz^{n-1}。
  • 共形性:除 z=0z=0 外处处共形;z=0z=0 处角度放大 nn 倍。
  • 角形域变换:将角域 0<arg⁡z<α0 < \arg z < \alpha(α≤2π/n\alpha \le 2\pi/n)一一地共形映为角域 0<arg⁡w<nα0 < \arg w < n\alpha。

根式函数 ​

根式函数 w=znw = \sqrt[n]{z}(取定单值分支):

  • 是幂函数的逆映射,在除原点外的区域共形。
  • 将角域 0<arg⁡z<nα0 < \arg z < n\alpha 共形映为 0<arg⁡w<α0 < \arg w < \alpha。
  • 常用于“展平”角度过大的角域。

指数函数 ​

指数函数 w=ezw=e^z:

  • 导数:dwdz=ez≠0\dfrac{\mathrm{d}w}{\mathrm{d}z}=e^z\neq0,复平面内处处共形。
  • 几何意义:将水平带形域 0<Im⁡z<2π0<\operatorname{Im} z < 2\pi 共形映射为沿正实轴割开的复平面(去掉 00 到 +∞+\infty 的射线)。一般地,带形域 y0<Im⁡z<y0+2πy_0 < \operatorname{Im}z < y_0 + 2\pi 映为去掉从原点出发的一条射线的复平面。
  • 将水平直线映为从原点出发的射线,将竖直直线映为以原点为心的圆周。

对数函数 ​

对数函数 w=\Lnzw = \Ln z(取主值支 w=ln⁡∣z∣+iArg⁡z, −π<Arg⁡z≤πw = \ln|z| + i\Arg z,\ -\pi < \Arg z \le \pi):

  • 是指数函数的逆映射,在去掉原点和负实轴的区域上解析且导数 w′=1/z≠0w' = 1/z \neq 0,故共形。
  • 将上述割开的复平面共形映为水平带形域 −π<Im⁡w<π-\pi < \operatorname{Im}w < \pi。
  • 常用来把角域或扇形域变为带形域。

例 求将带形域 0<Im⁡z<π0 < \operatorname{Im} z < \pi 共形映射为单位圆盘 ∣w∣<1|w|<1 的映射。

解 分两步:

  1. 先用指数函数 w1=ezw_1 = e^z。当 z=x+iy, 0<y<πz = x+iy,\ 0<y<\pi 时,w1=exeiyw_1 = e^x e^{iy},幅角在 (0,π)(0,\pi),模长取遍 (0,∞)(0,\infty),故 w1w_1 将带形域映为上半平面 Im⁡w1>0\operatorname{Im} w_1 > 0。
  1. 再将上半平面映为单位圆盘,可取典型映射 w=w1−iw1+iw = \dfrac{w_1 - i}{w_1 + i}(将 ii 映为圆心)。

复合得

w=ez−iez+i.w = \frac{e^z - i}{e^z + i}.

例 求将扇形域 D={z:∣z∣<1, 0<arg⁡z<π/3}D = \{z: |z| < 1,\ 0 < \arg z < \pi/3\} 共形映射为上半平面的映射。

解

  1. 先用幂函数 w1=z3w_1 = z^3,将扇形域(张角 π/3\pi/3)展平为上半单位圆盘:∣w1∣<1, Im⁡w1>0|w_1|<1,\ \operatorname{Im} w_1 > 0。
  1. 再用上半单位圆盘到上半平面的映射:w=(1+w11−w1)2w = \left(\dfrac{1+w_1}{1-w_1}\right)^2。

复合得

w=(1+z31−z3)2.w = \left(\frac{1+z^3}{1-z^3}\right)^2.

用 VitePress 搭建 · 托管在 GitHub Pages