补给箱
陈泽光:复分析学习笔记 - 共形映射zhuanlan.zhihu.com领取补给后开启今天的内容
前情提要
我们在 复分析学习笔记 - 共形映射 中提及,共形映射具有保角性和伸缩率不变性. 而本章涉及的分式线性变换(
变换)则更进一步,在保证了
「保角性」和
「伸缩率的不变性」的基础上,还有
「保圆性」和
「保对称性」,并且在整个复平面上是
对应的.
分式线性变换
下面是分式线性变换的定义和几个简单性质,
- 定义(分式线性变换):
其中
保证这一映射不会退化为
等于常数.
不难看出,不为恒等变换的分式线性变换至多只有两个不动点,或者说对于任意扩充复平面上(包含无穷远点
)的分式线性变换,
,
有且仅有两个不动点(计重数). 我们将在分式线性变换的应用部分使用到这个结论.
- 初等变换
- 平移变换:
- 旋转变换:
- 伸缩变换:
- 反演变换:
不难验证,任何分式线性变换都可以由以上四种初等变换复合而来,
- 「保圆性」
,下面验证分式线性变换的「保圆性」和「保对称性」. 事实上,我们仅需验证四种初等变换满足「保圆性」和「保对称性」即可.
「保圆性」:设
是
中的圆周,则
也是圆周.
小提示:圆周方程
显然平移、旋转和伸缩变换仅改变圆周的位置或大小,所以我们验证反演变换后得到的
,仍满足圆周方程的形式即可. 此时
,代入原方程可得
即
分式线性变换将
圆周映成
圆周.
「保对称性」:若
,
关于
对称,则
,
关于
对称.
小提示:这里
,
关于圆周
对称,需要
,
位于
的同一侧,并且满足
不难得到
我们将在验证前三个初等变换的过程中使用这一结论.
至于反演变换,我们会使用下面这个结论:
对于圆周方程
,
关于圆周对称
.
- 平移变换
- 旋转变换
这里注意即可.
- 伸缩变换
- 反演变换
分式线性变换将
对称点映成
对称点.
最后一部分省略了大多步骤,有任何问题欢迎私信 & 评论区留言(拒绝催更).