共形映射 (Conformal Mapping)
几何意义
解析函数在导数不为零的点处具有两个重要的局部几何性质:
- 保角性:设曲线 在点 相交,夹角为 。映射 将 映为 ,它们在 处的夹角仍为 ,且旋转方向保持不变。其原因是
即映射后的切向量相对于原切向量旋转了 ,该旋转角对所有经过 的曲线均相同,故称旋转角不变性。
- 伸缩率不变性:微小线段在映射前后的长度比近似为常数 ,与线段方向无关。即
例 设 ,求在点 处的旋转角与伸缩率。
解 ,故 。 旋转角为 。 伸缩率为 。
共形映射的定义
定义 若 在区域 内处处解析、且对任意 有 ,则称该映射在 内是共形的(或称第一类共形映射,保持夹角大小和方向)。
扩充复平面上的共形性
针对扩充复平面 ,可利用倒数变换将无穷远点转化为有限点,从而定义共形性:
情形 I: 将 映成 。 令 。若 在 处共形,则称原映射在 处共形。
情形 II: 将 映成 。 令 。若 在 处共形,则称原映射在 处共形。
情形 III: 将 映成 。 令 。若 在 处共形,则称原映射在 处共形。
定理 分式线性映射在扩充复平面上是一一的,且处处具有保角性。
分式线性映射
分式线性映射(Möbius 变换)的一般形式为
它可以分解为以下三种基本变换的复合:
平移:
旋转与伸缩:()
反演:
公式分解:
例 将分式线性映射 分解为基本变换的复合。
解
因此变换可分解为:(平移),(反演),(伸缩),(平移)。
保圆性与对称点
对称点引理
引理 设 是以 为心、 为半径的圆周。两点 关于 对称的充要条件是:过 的任意圆周(或直线)均与 正交。
代数刻画: 关于圆周 对称 ,或当 为实轴(半径为无穷大的圆周)时,。
定理 设 是分式线性映射, 为扩充复平面上的圆周。若 关于 对称,则 关于 也对称。
保圆性 (Circle-Preserving Property)
定义 若一个映射将扩充复平面上的圆周(包括直线,视为过 的圆周)映为圆周,则称它具有保圆性。
以反演映射 为例验证: 令 ,,代入一般圆方程
利用 (由 得 ),代入后整理可得
仍为圆方程(当 时为普通圆; 时为直线)。故保圆。
注 分式线性映射在扩充复平面上将圆周映成圆周,即具有保圆性。
交比与映射唯一性
交比 (Cross Ratio)
扩充复平面上四个相异点 的交比定义为
当某点为 时,将分子分母中含有该点的因子按极限理解(如 时,)。
注 分式线性映射保持交比不变,即具有保交比性:
唯一确定映射的条件
定理 给定 平面上三个相异点 与 平面上三个相异点 ,则存在唯一的分式线性映射 使得
由保交比性可直接写出该映射:
例 求将点 分别映为 的分式线性映射。
解 设对应关系为 。 利用三点式:
代入得
解得
三种典型映射类型及其推导
分式线性映射的核心在于利用边界对应原理与对称点原理确定参数。
类型 I:上半平面 单位圆盘
推导步骤:
- 设上半平面内一点 ()映为圆心 。
- 由对称点原理, 关于实轴的对称点 应映为 。
- 映射形式为 。
- 实轴映为单位圆周 ,取 为实数时 ,故 。
最终映射公式:
类型 II:单位圆盘 单位圆盘
推导步骤:
- 设圆盘内一点 ()映为 。
- 对称点 映为 。
- 映射形式为 。
- 单位圆周 映为 ,可得 ,即 。
最终映射公式:
类型 III:上半平面 上半平面
推导步骤:
- 系数 均取实数(可相差一个实常数因子)。
- 虚部满足:
- 为保持上、下半平面,需要分子分母符号一致,故要求 (保定向)。
最终映射公式:
例 求将上半平面映为单位圆盘,且使 映为 ,并满足 的分式线性映射。
解 由类型 I 公式,,,故
由附加条件 :
故 (取 )。所求映射为
例 求将上半单位圆盘 共形映射为上半平面的映射。
解 区域边界由上半圆周和实轴上的线段 组成。 先用分式线性映射将两个边界“拉直”。考虑映射 。它把实轴映为实轴,把圆周 映为虚轴。取 得 ,取 得 ,故 将上半单位圆盘映为第三象限。调正方向: 用 ,则 ,,将上半单位圆盘映为第一象限。 再平方 ,即把第一象限映为上半平面。 故所求映射为
初等函数的共形性
幂函数
幂函数 :
- 导数:。
- 共形性:除 外处处共形; 处角度放大 倍。
- 角形域变换:将角域 ()一一地共形映为角域 。
根式函数
根式函数 (取定单值分支):
- 是幂函数的逆映射,在除原点外的区域共形。
- 将角域 共形映为 。
- 常用于“展平”角度过大的角域。
指数函数
指数函数 :
- 导数:,复平面内处处共形。
- 几何意义:将水平带形域 共形映射为沿正实轴割开的复平面(去掉 到 的射线)。一般地,带形域 映为去掉从原点出发的一条射线的复平面。
- 将水平直线映为从原点出发的射线,将竖直直线映为以原点为心的圆周。
对数函数
对数函数 (取主值支 ):
- 是指数函数的逆映射,在去掉原点和负实轴的区域上解析且导数 ,故共形。
- 将上述割开的复平面共形映为水平带形域 。
- 常用来把角域或扇形域变为带形域。
例 求将带形域 共形映射为单位圆盘 的映射。
解 分两步:
- 先用指数函数 。当 时,,幅角在 ,模长取遍 ,故 将带形域映为上半平面 。
- 再将上半平面映为单位圆盘,可取典型映射 (将 映为圆心)。
复合得
例 求将扇形域 共形映射为上半平面的映射。
解
- 先用幂函数 ,将扇形域(张角 )展平为上半单位圆盘:。
- 再用上半单位圆盘到上半平面的映射:。
复合得