在解析变换中,研究复变函数的映射性质的重要主题是共形映射。如果一个复变函数
在区域
内是一个单射且保角的变换,我们就称
是区域
内的共形映射。
Riemann 存在唯一性定理[]
存在性[]
对于任意扩充复平面中边界不为一点的单连通区域
,总存在一个单值解析函数
,将该区域
共形映射成一个单位圆盘
根据这个定理,对任意符合定理条件的区域
,要把它变成另一个区域
,我们可以先将它施加单值解析变换
变成单位圆,得到另外一个将区域
变成单位圆所施加的单值解析变换
,这样再由单值解析变换的可逆性,得到
将单位圆变为区域
,于是
即为所要求的单值解析变换。
定理的条件要求单连通区域
的边界不为一点,这是必须的,例如边界为一点的单连通区域即扩充复平面,没有任何一个单值解析变换,将该区域映作单位圆。
唯一性[]
假设同上,在附加约束条件
下的单值解析函数
是唯一的。唯一性条件的几何意义是,将区域
中的某一点
映作单位圆的圆心,而旋转角
唯一性条件还可作如下修改:
- 若直接将区域
共形映射成
,那么唯一性条件可改为
- 若区域
和
的边界是周线,那么唯一性条件可改为
- 区域
和
指定的边界三点
,它们的绕行方向和区域的正向一致,唯一性条件可改为
边界对应定理[]
(正定理)设一复变函数
将有界单连通区域
共形映射成有界单连通区域
,那么该函数
可以延拓到闭包
上去,且在
上
是连续函数,并且它将边界
连续地单值映射为
(逆定理)设复变函数
在有界单连通区域
内解析,边界连续,且它将边界
单值映射为闭曲线
,
的内部
是单连通的,那么
在
内单值解析,且
将
共形映射成
。
边界对应定理的逆定理常用来证明解析函数的单值性。
上下节[]
参考资料