复变函数论(八)-解析延拓4-多角形区域的共形映射2：退化情形

首先,由于分式线性变换的保圆周性及定义 7.3 ,我们易得:

定理 8.8

两直线在无穷远点的交角, 等于它们在第二交点 (有限点) 的交角反号.

证
设 $L_1,L_2$ 是从无穷远点出发的两条射线, 为明了起见,还设它们在有限点 ${\xi }_0$ $\left({\xi }_0\ne 0\right)$ 相交.通过反演变换 $w=\frac{1}{z}$ 后, 得到的像曲线为经过 $w=0$ 的两条圆弧${\Gamma }_1$ 及 ${\Gamma }_2$, 于是其第二交点为 $w=\frac{1}{{\xi }_0}$.圆弧 ${\Gamma }_1$ 及 ${\Gamma }_2$ 在两交点处的交角必互为相反数(图8.20).再由 $w=\frac{1}{z}$ 在点 ${\xi }_0$ 保角, 又由定义$7.3,w=\frac{1}{z}$ 在 $z=\infty$ 处保角,定理就得到证明.

其次,上面定理 8.7 的下列两个退化情形是很有用的:

(1)

$n$ 角形 $P_n$ 有一个顶点是无穷远点的像, 即$a_1,a_2,\cdots ,a_n$ 中有一个, 例如 $a_n$ $=\infty$.

为了要把这种情形化成上面定理的情形,我们作一个分式线性变换

$$\zeta =-\frac{1}{z}+a_n^{\prime }$$

把上半平面 $\mathrm{Im}z>0$ 共形映射成上半平面$\mathrm{Im}\zeta >0$, 且把点 $a_1,a_2,\cdots ,a_n=\infty$
分别变成有限点 $a_1^{\prime },a_2^{\prime },\cdots ,a_n^{\prime }$(见下面注).

应用公式 (8.9),我们得出

w = C ′ ∫ ζ 0 ζ ( ζ − a 1 ′ ) a 1 − 1 ( ζ − a 2 ′ ) a 2 − 1 ⋯ ( ζ − a n ′ ) a n − 1   d ζ + C 1 ′ = C ′ ∫ z 0 z ( a n ′ − a 1 ′ − 1 z ) a 1 − 1 ( a n ′ − a 2 ′ − 1 z ) a 2 − 1 ⋯ ⋅ ( − 1 z ) a n − 1 d z z 2 + C 1 ′ . \begin{aligned} w & =C^{\prime} \int_{\zeta_{0}}^{\zeta}\left(\zeta-a_{1}^{\prime}\right)^{a_{1}-1}\left(\zeta-a_{2}^{\prime}\right)^{a_{2}-1} \cdots\left(\zeta-a_{n}^{\prime}\right)^{a_{n}-1} \mathrm{~d} \zeta+C_{1}^{\prime} \\ & =C^{\prime} \int_{z_{0}}^{z}\left(a_{n}^{\prime}-a_{1}^{\prime}-\frac{1}{z}\right)^{a_{1}-1}\left(a_{n}^{\prime}-a_{2}^{\prime}-\frac{1}{z}\right)^{a_{2}-1} \cdots \cdot\left(-\frac{1}{z}\right)^{a_{n}-1} \frac{\mathrm{d} z}{z^{2}}+C_{1}^{\prime} . \end{aligned}