35106 複分析五講 第四講

終極密碼

遊戲規則:本遊戲為猜密碼的遊戲。密碼為0到100之間的其中1個整數,電腦會提示密碼的所在範圍,玩家必須在6次之內猜到密碼才能過關。

★ 終極密碼為0到100之間 ★
您共有六次機會

4.1. 共形映射

複變函數論中另一個重要組成部分是 Riemann 共映射理論, 這個理論的基本觀點是將全純函數 $w=f(z)$ 看作為將 $z$ 平面上的區域到 $w$ 平面上的區域的映射。也就是說, 從幾何觀點來看待與處理全純函數。 在第一講中我們已經提過, 若 $f'(z)\not=0$, 則 $w=f(z)$ 看作一個映射是有共形性, 故稱之為 共形映射, 或 全純映射。

首先觀察下面這個事實: 若 $\Omega\subseteq {\Bbb C}$ 為一個區域, 經過全純映射 $w=f(z)$ 後得到 $f(\Omega)$, 則 $f(\Omega)$ 仍是一個區域。

我們只要證明 $f(\Omega)$ 為連通開集合。 若 $w_1$, $w_2$ 為 $f(\Omega)$ 中任意兩點, 在 $\Omega$ 內有 $z_1$, $z_2$ 使得 $w_1=f(z_1)$, $w_2=f(z_2)$。 因為 $\Omega$ 為連通區域, 故在 $\Omega$ 中有 $r(t)$ 連接 $z_1$ 及 $z_2$, 而顯然 $f(r(t))\subset f(\Omega)$ 連接 $w_1$, $w_2$, 故 $f(\Omega)$ 為連通集合。

設 $w_0$ 是 $f(\Omega)$ 中任一點, 由第二講中的定理2.15, 對於充分小的 $\rho\gt 0$, 存在 $\delta\gt 0$, 使得 $D(w_0;\delta)$ 內任一點 $w$, 在 $D(z_0;\rho)$ 內存在一點 $z$, 使得 $f(z)=w_0$ 即 $D(w_0;\delta)\subset f(\Omega)$, 故 $f(\Omega)$ 為開集合。 上述的結果也稱為 開映射 (open mapping)定理: $f$ 將開集合映為開集合。

在第一講中我們已經定義過在區域 $\Omega\subseteq {\Bbb C}$ 上定義的函數 $f(z)$ 稱為單葉 (univalent), 如果 $f(z_1)=f(z_2)$ 若且唯若 $z_1=z_2$。 於是可以有如下的結果。

若 $f(z)$ 在區域 $\Omega\subseteq {\Bbb C}$ 上單葉且全純, 則任一點 $z\in \Omega$, 有 $f'(z)\not=0$。 反之, 若在點 $z_0\in \Omega$, $f'(z_0)\not=0$, 則在點 $z_0$ 的一個鄰域內 $f(z)$ 是單葉的。

對這個結果的證明並不困難, 我們現在略述如下。 若 $f(z)$ 在區域 $\Omega\subseteq {\Bbb C}$ 上單葉且全純, 但是有 $z_0\in \Omega$, 使得 $f'(z_0)=0$ 於是 $z_0$ 是函數 $f(z)-f(z_0)$ 的 $m$ 階零點, 而 $m\ge 2$。 由第二講中的定理2.15, 對於 $w_0=f(z_0)$ 的鄰域內的 $w$, $f(z)-w$ 在 $z_0$ 的鄰域內恰有 $m$ 個零點。 這與 $f(z)$ 在 $\Omega$ 上單葉的假設相矛盾。 反之, 若 $f'(z_0)\not=0$, 則 $z_0$ 是 $f(z)-f(z_0)$ 的簡單零點, 由第二講中的定理2.15 知道, 對充分小的 $\rho$, 存在 $\delta\gt 0$, 使得 $D(f(z_0);\delta)$ 中任一點 $w$, $f(z)-w$ 在 $D(z_0;\rho)$ 中只有一個零點, 即只有一個 $z$ 使得 $f(z)=w$。 取 $\rho_1\lt \rho$, 使得 $f(D(z_0;\rho_1))\subset D(w_0;\delta)$。 故 $f(z)$ 在 $D(z_0;\rho_1)$ 上是單葉的。

此外我們也很容易證明下面的結果: 若 $w=f(z)$ 在 $\Omega$ 上單葉全純, 將 $\Omega$ 映為 $U$ 則反函數 $z=g(w)$ 在 $U$ 上單葉全純, 將 $U$ 映為 $\Omega$, 因此, 單葉全純映射也稱為 雙全純映射 (biholomorphic mapping)。

下面的事實是直觀的, 但它的證明卻是十分複雜, 故述而不證。

Jordan 定理: 一條簡單封閉曲線 $\gamma$ 把複平面分成兩個區域, 其中一個是有界的, 稱為 $\gamma$ 的內部, 另一個是無界的, 稱為 $\gamma$ 的外部, $\gamma$ 是兩個區域的共同邊界。

現在我們來證明下面定理。

定理 4.1: 若 $\Omega\subseteq {\Bbb C}$ 為一區域, $\gamma$ 為 $\Omega$ 內可求長簡單封閉曲線。 其內部 $U\subseteq \Omega$。 若 $f(z)$ 在 $\Omega$ 上全純, 把 $\gamma$ 雙方單值地映為簡單封閉曲線 $\Gamma$, 則 $w=f(z)$ 在 $U$ 上單葉, 將 $U$ 映為 $\Gamma$ 的內部 $V$。

證明: 若 $w_0$ 不在 $\Gamma$ 上, 由幅角原理函數知道 $f(z)-w_0$ 在 $\gamma$ 內的零點個數 $N$ 等於 $$\frac 1{2\pi i} \oint_{\gamma}\frac{f'(z)}{f(z)-w_0}dz=\pm\frac 1{2\pi i} \oint_{\Gamma}\frac{dw}{w-w_0} .$$ 當 $w_0$ 在 $\Gamma$ 的外部時, $$ \oint_{\Gamma}\frac{dw}{w-w_0}=0,$$ 所以 $N=0$, 即 $f(z)-w_0$ 在 $U$ 內無零點。 當 $w_0$ 在 $\Gamma$ 的內部時, 則 $$\frac 1{2\pi i} \oint_{\Gamma}\frac{dw}{w-w_0} =1,$$ 所以 $\frac 1{2\pi i} \oint_{\gamma}\frac{f'(z)}{f(z)-w_0}dz=\pm 1$。 因為 $N$ 為非負整數, 故 $N=1$ 即 $f(z)-w_0$ 在 $U$ 內只有一個零點。 當 $z$ 沿 $\gamma$ 正方向繞一圈時, $w=f(z)$ 沿 $\Gamma$ 正方向繞一圈。 當 $w_0$ 在 $\Gamma$ 上時, 則 $f(z)-w_0$ 在 $U$ 內無零點。 如果不是這樣, 那我們可以找到 $z_0\in U$ 使得 $f(z_0)=w_0$ 於是有 $D(w_0;\delta)\subset f(U)$。 對於 $D(w_0;\delta)$ 中每一點 $w_1$, $f(z)-w_1$ 在 $U$ 內有零點。 取 $w_1\in D(w_0;\delta)$ 且位於 $\Gamma$ 之外, 則與 $f(z)-w_1$ 在 $U$ 內無零點相互矛盾, 定理之證明因而完畢。

下面我們舉一些最簡單的雙全純映射的例子。

例 4.1: 在第二講中我們已證明, 將單位圓盤 $D(0;1)$ 映為自己的單葉全純映射有而且只有 \begin{equation} w=e^{i\theta}\displaystyle\frac{z-a}{1-\bar a z};\qquad a\in D(0;1),\quad \theta\in{\Bbb R}.\label{4.1} \end{equation}

例 4.2: 將上半平面 $\hbox{Im}(z)\gt 0$ 映為單位圓盤 $D(0;1)$ 的單葉全純映射有而且只有 \begin{equation} w=e^{i\theta}\displaystyle\frac{z-a}{z-\bar a},\qquad \hbox{Im}(a)\gt 0,\quad \theta\in{\Bbb R}.\label{4.2} \end{equation} 很明顯的, 這個變換將 $\hbox{Im}(z)=0$ 映為 $|w|=1$。 \eqref{4.2} 也可以表示為 $$z=\frac{\bar a w-e^{i\theta}a}{w-e^{i\theta}},$$ 將 $|w|=1$ 映為 $\hbox{Im}(z)=0$。 由定理 4.1 知道, 此映射將 $D(0;1)$ 單葉全純地映為 $\hbox{Im}(z)\gt 0$。 反之, 如有 $w=f(z)$ 將 $\hbox{Im}(z)\gt 0$ 單葉地映為 $D(0;1)$。 已知 \eqref{4.2} 將 $\hbox{Im}(z)\gt 0$ 單葉全純地映為 $D(0;1)$, 記此映射為 $\psi(z)$, 則 $f\circ \psi^{-1}$ 將單位圓盤映為單位圓盤。 由例 4.1 知道, $f\circ \psi^{-1}$ 必為 \eqref{4.1} 的形式, 記作 $\phi$, 即 $f\psi^{-1}=\phi$。 故 $f=\phi\circ \psi$, 而此仍為 \eqref{4.2} 的形式。

同樣可以證明:

例 4.3: 將上半平面 $\hbox{Im}(z)\gt 0$ 映為上半平面 $\hbox{Im}(w)\gt 0$ 的單葉全純映射有而且只有 $$w=\displaystyle\frac{az+b}{cz+d},$$ 其中 $a,b,c,d\in {\Bbb R}$, 而且 $ad-bc\gt 0$。

在第三講中我們提到, 所有分式線性變換 $$\Big\{w=\frac{az+b}{cz+d},\quad a,b,c,d\in {\Bbb C},\quad ad-bc=1\Big\}$$ 所組成的群是擴充複平面 ${\Bbb C}\cup\{\infty\}$ 的亞純自同構群 Aut$({\Bbb C}^*)$。 這個群與二階特殊線性群 SL$(2,{\Bbb C})$ 在 $$w=\frac{az+b}{cz+d} \leftrightarrow \left[\begin{array}{ccc} a&~~&b\\ c&&d\end{array}\right]\quad \hbox{對應下相互一一對應}$$

假設 $z=\frac{aw+b}{cw+d}$ 為任意分式線性變換, 如將直線看成是半徑為 $\infty$ 的圓, 則對於分式變換, 有如下的性質: 分式線性變換將圓變為圓。這可證明如下:

若 $z=x+iy$, 則任意圓可以寫成 $$\alpha(x^2+y^2)+\beta x+\gamma y+\delta=0,$$ 且可取 $\alpha$, $\beta$, $\gamma$, $\delta$ 均為實數。這方程式也可寫成 $$\alpha z\bar z+\frac 12\beta(z+\bar z)+\frac 1{2i}\gamma(z-\bar z)+\delta=0,$$ 或可寫成 \begin{equation} Az\bar z+B z+\bar B\bar z+C=0 \label{4.3} \end{equation} 這裡 $A=\alpha$, $C=\delta$ 為實數, $B=\frac 12 \beta+\frac 1{2i}\gamma$ 為複數。 若 $\alpha=0$, 即 $A=0$, 則 \eqref{4.3} 表示一條直線, 否則 \eqref{4.3} 表示一個圓。而任一分式線性變換 $z=\frac{aw+b}{cw+d}$ 是由平移 $z=w+b$, 伸縮 $z=aw$ 及 $z=\frac 1w$ 等三種變換所組成, 而這三種變換都是將圓變為圓的, 這只要一一驗證便可得知。 若將 $z=w+b$ 代入 \eqref{4.3} 中, 我們便得到 $$Aw\bar w+(A\bar b+B)w+(Ab+\bar B)\bar w+Ab\bar b+Bb+\bar B\bar b+C=0,$$ 這仍是 \eqref{4.3} 的形式。 若將 $z=aw$ 代入 \eqref{4.3} 式中, 得 $$Aa\bar aw\bar w+Baw+\bar B\bar a\bar w+C=0,$$ 這也是 \eqref{4.3} 的形式。 最後若將 $z=\frac 1w$ 代入 \eqref{4.3} 式中, 得 $$Cw\bar w+\bar B w+B\bar w+A=0,$$ 這仍是 \eqref{4.3} 的形式, 故分式線性變換將圓映為圓。

若 $z_1$, $z_2$, $z_3$, $z_4$ 為 ${\Bbb C}^*$ 中的四個點, 至少有三個點是不相同的, 我們稱 $$(z_1,z_2,z_3,z_4)=\frac{(z_1-z_3)(z_2-z_4)}{(z_1-z_4)(z_2-z_3)}$$ 為這四個點的 交比 (cross ratio) 。

若這四個點中有任一點為 $\infty$, 則用極限來定義交比。 例如 $$(\infty,z_2,z_3,z_4)=\frac{(z_2-z_4)}{(z_2-z_3)}$$ 於是可以證明, 在分式線性變換 $w=\frac{az+b}{cz+d}$下, 將 $z_1$, $z_2$, $z_3$, $z_4$ 變為 $w_1$, $w_2$, $w_3$, $w_4$, 則 $$(w_1,w_2,w_3,w_4)=(z_1,z_2,z_3,z_4),$$ 即交比在分式線性變換下是不變的, 也就是: 交比在分式線性變換群下是個不變量。這個證明是容易的, 只要將 $w=\frac{az+b}{cz+d}$ 直接代入 $(w_1,w_2,w_3,w_4)$, 經過計算便可得出結果。

反過來, 如果有一個函數 $f(z_1,z_2,z_3,z_4)$ 在分式線性變換群下是個不變量, 則 $f$ 只是交比的一個函數。 即在這種意義下在分式線性變換群下的不變量本質上只有交比。這可證明如下, 若 $T$ 表示分式線性變換, 由假設 $$f(T{z_1}, T{z_2},T{z_3},T{z_4})=f(z_1,z_2,z_3,z_4)$$ 對任意 $T$ 都成立。 取 $T_1=z-z_4$, 則 $$f(z_1,z_2,z_3,z_4)=f(z_1-z_4,,z_2-z_4,z_3-z_4,0);$$ 取 $T_2=\frac 1 z$ 則 $$f(z_1,z_2,z_3,z_4)=f(\frac 1{z_1-z_4},\frac 1{z_2-z_4},\frac 1{z_3-z_4},\infty);$$ 取 $T_3=z-\frac 1 {z_3-z_4}$ 則 $$f(z_1,z_2,z_3,z_4)=f\Big(\frac {z_3-z_1}{(z_1-z_4)(z_3-z_4)},\frac {z_3-z_2}{(z_2-z_4)(z_3-z_4)},0,\infty\Big);$$ 取 $T_4=\frac {(z_1-z_4)(z_3-z_4)}{(z_3-z_2)}z$ 則 \begin{eqnarray*} f(z_1,z_2,z_3,z_4)&=&f\Big(\frac {(z_3-z_1)(z_2-z_4)}{(z_1-z_4)(z_3-z_2)},1,0,\infty\Big) =f((z_1,z_2,z_3,z_4),1,0,\infty) \end{eqnarray*} 這便完成了證明。

4.2. 正規族 (Normal Family)

在 Riemann 共形映射理論中, 最重要也是最深刻的定理便是 Riemann 映射定理, 我們現在就來討論這個定理。

定理 4.2(Riemann 映射定理): 若 $\Omega\subseteq {\Bbb C}$ 為單連通區域, 其邊界點多於一點, $z_0$ 為 $\Omega$ 中任意一點, 則在 $\Omega$ 上存在唯一的單葉全純函數 $f(z)$, 將 $\Omega$ 映到單位圓盤 $D(0;1)$ 上, 且 $f(z_0)=0$, $f'(z_0)\gt 0$。

在這個定理中要求邊界點多於一點是十分自然的。 如果 $\Omega$ 的邊界點只有一點, 我們不妨假設這個點是 $\infty$, 若 $f(z)$ 將它映到單位圓盤, 則由 Liouville 定理知道, 這個函數是常數。

由 Riemann 映射定理我們立即得到 : 在 ${\Bbb C}$ 中任意兩個邊界多於一點的單連通區域都有單葉全純函數將一個映為另一個。

若 $\Omega_1$, $\Omega_2$ 為 ${\Bbb C}$ 中的兩個區域, 且存在一個單葉全純函數, 將 $\Omega_1$ 映到 $\Omega_2$ 上, 則稱 $\Omega_1$, $\Omega_2$ 是 全純等價 (holomorphic equivalent) 的。 於是 Riemann 映射定理表明 : 任意邊界點多於一點的單連通域都是全純等價的。 任意單連通區域是相互拓樸等價的, 即可以經過連續變換將一個區域變到另一個區域, 這是顯然的。而 Riemann 映射定理告訴我們: 拓樸等價導出全純等價, 這當然是十分深入的定理。在下一講中我們還可以看到這個定理在高維情形是不成立的 (Poincaré 定理), 這就更突出這個定理在單複變函數論中的特殊地位。

這個定理的證明要依賴全純函數的正規族 (normal family)的概念。 正規族的概念是函數論中的一個基本概念在某種意義上與集合論中的緊緻 (compact) 集合相當。 在下一講中我們將作進一步討論。

定義 4.1: 在區域 $\Omega$ 上的函數族 ${\mathscr F}$ 稱為正規的, 如果 ${\mathscr F}$ 中任一序列中一定有子序列在 $\Omega$ 的任一緊緻部分集合上一致收斂, 即在 $\Omega$ 上內閉一致收斂。

定理 4.3(Montel 定理): 若 $\Omega\subseteq {\Bbb C}$ 為一區域, ${\mathscr F}$ 為 $\Omega$ 上的全純函數族, 若存在正的常數 $M$ 使得 $$|f(z)|\le M$$ 對所有的 $z\in \Omega$, $f\in {\mathscr F}$ 都成立, 則 ${\mathscr F}$ 是一個正規族。

為了要證明 Montel 定理, 我們要先證明定理 4.4 (Arzelà-Ascoli 定理), 這是一個有廣泛應用的定理, 在第五講中我們仍會用到。

定義 4.2: 若 ${\mathscr F}=\{f\}$ 為區域 $V\subseteq {\Bbb R}^n$ 上的函數族, 若對任意 $\varepsilon\gt 0$, 存在 $\delta\gt 0$, 使得對滿足 $|z-w|\lt \delta$ 的任意兩點 $z,w\in V$, 及任意 $f\in {\mathscr F}$, $$|f(z)-f(w)|\le \varepsilon$$ 成立, 則稱 ${\mathscr F}$ 為 等度連續 (equicontinuous)。

定義 4.3: 若 ${\mathscr F}=\{f\}$ 為區域 $V\subseteq {\Bbb R}^n$ 上的函數族, 若存在一個正數 $M\gt 0$, 使得任意 $z\in V$, $f\in {\mathscr F}$ $$|f(z)|\le M$$ 成立, 則稱 ${\mathscr F}$ 為 一致有界 (uniformly bounded)。

定理 4.4(Arzelà-Ascoli 定理) : 設 $K$ 為 ${\Bbb R}^n$ 中的緊緻集合。若函數族 ${\mathscr F}=\{f_\nu\}$ 是等度連續及一致有界的則 ${\mathscr F}$ 中有子序列在 $K$ 上一致收斂。換句話說, 在緊緻集合上等度連續及一致有界可導出一致收斂。

證明 : 在 $K$ 上存在一個到處稠密的序列 $\{\xi_k\}$, 例如取具有有理座標的點的全體集合。 由於 ${\mathscr F}$ 在 $K$ 上一致有界, 故對 $\xi_1$, 在 $\{f_\nu(\xi_1)\}$ 中可以找到一個收斂的子序列 $\{f_{\nu_{1k}}(\xi_1)\}$。 然後在 $\{f_{\nu_{1k}}(\xi_2)\}$ 中可以找到一個收斂的子序列 $\{f_{\nu_{2k}}(\xi_2)\}$, $\ldots$, 這樣一直進行下去, 就得到陣列 \begin{eqnarray} \nu_{11}&\lt &\nu_{12}\lt \cdots\lt \nu_{1j}\lt \cdots,\nonumber\\[-5pt] \nu_{21}&\lt &\nu_{22}\lt \cdots\lt \nu_{2j}\lt \cdots,\nonumber\\[-5pt] &\vdots&\label{4.4}\\ \nu_{k1}&\lt &\nu_{k2}\lt \cdots\lt \nu_{kj}\lt \cdots,\nonumber\\[-5pt] &\vdots&\nonumber \end{eqnarray} 這裡每一行是前一行的子序列, 且 $\lim\limits_{j\to\infty} f_{\nu_{kj}}(\xi_k)$ 對所有的 $k$ 都存在。 顯然 $\nu_{jj}$ 是嚴格遞增序列, 也是 \eqref{4.4} 中每一行的子序列。 因此 $\{f_{\nu_{jj}}\}$ 是 $\{f_\nu\}$ 的一個子序列, 在所有的點 $\xi_k$ 上收斂, 為簡單起見, 記 $\nu_{jj}$ 為 $\nu_{j}$。

由於 ${\mathscr F}$ 在 $K$ 上等度連續, 故給定 $\varepsilon\gt 0$, 可取到 $\delta\gt 0$, 使得 對任意兩個點 $\xi$, $\xi'\in K$ 及 $f\in {\mathscr F}$, 只要 $|\xi-\xi'|\lt \delta$, 即可導出 $$|f(\xi)-f(\xi')|\lt \varepsilon/3.$$ 由於 $K$ 為緊緻集合, 故可以用有限個半徑為 $\delta/2$ 的鄰域來覆蓋 $K$。 在每一個這樣的鄰域中取一點 $\xi_k$, 於是存在一個 $N$, 使得當 $\ell,j\gt N$ 時 $$|f_{\nu_{\ell}}(\xi_k)-f_{\nu_{j}}(\xi_k)|\lt \varepsilon/3$$ 成立, 對於每一點 $\xi\in K$, 一定可以找到一個點 $\xi_k$, 使得 $|\xi_k-\xi|\lt \delta$。於是 \begin{eqnarray*} |f_{\nu_{\ell}}(\xi)-f_{\nu_{\ell}}(\xi_k)|&\lt &\varepsilon/3\\ \hbox{及}\qquad |f_{\nu_{j}}(\xi)-f_{\nu_{j}}(\xi_k)|&\lt &\varepsilon/3 \end{eqnarray*} 成立。因此當 $\ell,j\gt N$ 時 \begin{eqnarray*} |f_{\nu_{\ell}}(\xi)-f_{\nu_{j}}(\xi)|&\le&|f_{\nu_{\ell}}(\xi)-f_{\nu_{\ell}}(\xi_k)|+|f_{\nu_{\ell}}(\xi_k)-f_{\nu_{j}}(\xi_k)| +|f_{\nu_{j}}(\xi_k)-f_{\nu_{j}}(\xi)|\\ &\lt &\varepsilon/3+\varepsilon/3+\varepsilon/3=\varepsilon \end{eqnarray*} 成立。由於 $K$ 為緊緻集合, 故 $\{f_{\nu_j}\}$ 在 $K$ 上一致收斂, 定理之證明完畢。

在這裡我們還要注意兩點 :

  1. 定理 4.4 中的條件, 等度連續及一致有界不僅僅是一致收斂的充分條件, 而且也是必要條件, 讀者不妨自行證之。
  2. 定義 4.2 及定理 4.4 中的等度連續的概念, 用的是歐氏空間度量, 如果改用其他的度量, 這個定理依然成立。 這在第五講中會用到, 我們在此不再重證此定理。

現在我們用 Arzelà-Ascoli 定理來證明 Montel 定理。

定理 4.3 的證明 : 對於 $z_0\in U$, 一定存在 $R\gt 0$ 使得 $\bar D(z_0;R)\subset U$。 由於 $U$ 為一開集合, 故其餘集 $U^C$ 為閉集合。 由於 $\bar D(z_0;R)\cap U^C=\emptyset$, 故在這兩個集合之間有一正的距離, 即存在 $\rho\gt 0$, 當 $z\in \bar D(z_0;R)$, $w\in U^C$ 時, $|z-w|\gt \rho$。 對任意 $z\in \bar D(z_0;R)$, 任意 $f\in {\mathscr F}$, 在圓盤 $\bar D(z;\delta)$, 上用 Cauchy 不等式, 得到 $$|f'(z)|\le \displaystyle\frac{M}{\rho}$$ 記 $\frac{M}{\rho}=C$ 於是對任意 $z$, $z'\in\bar D(z_0;R)$, 我們有 $$|f(z)-f(z')|\le C|z-z'|$$ 這表明 ${\mathscr F}$ 在 $\bar D(z_0;R)$ 上是等速連續的。 事實上, 任給 $\varepsilon\gt 0$, 只要取 $\delta=\varepsilon/C$ 即可!

若 $K$ 為 $U$ 上任意一個緊緻部分集合, 我們可以用有限個 $\bar D(z_0;R)$ 來覆蓋它, 故 ${\mathscr F}$ 在 $K$ 上也是等速連續的。 由 Arzelà-Ascoli 定理, ${\mathscr F}$ 中任意序列 $\{f_\nu\}$, 可以找到一個子序列 $\{f_{\nu_k}\}$ 在 $K$ 上一致收斂, 所以可以用證明定理 4.4 中已用過的對角線方法證明在 $\{f_\nu\}$ 中存在這樣的子序列 $\{f_{\nu_k}\}$, 在 $U$ 中所有的緊緻部分集合上一致收斂。 定理的證明因而完畢。

4.3. Riemann 映射定理

現在我們將應用 Montel 定理來證明 Riemann 映射定理。

定理 4.2 的證明 : 不妨假設 $U$ 為一有界區域。 固定一點 $z_0\in U$, 記 ${\mathscr F}=\{\sigma(z)\}$ 為單葉全純函數族, 這裡 $\sigma(z)$ 為單葉全純函數將 $U$ 映入 $D(0;1)$ 之中, 且 $\sigma(z_0)=0$。 這樣的函數族 ${\mathscr F}$ 是非空的, 這是因為 $U$ 是有界的, 故存在 $R\gt 0$, 使得 $U\subseteq D(0;R)$。 函數 $\sigma(z)=\frac1{2R}(z-z_0)$ 將 $z_0$ 映為 $0$, 全純且單葉, 且滿足 $|\sigma(z)|\lt \frac 1{2R}(R+R)=1$, 故 $\sigma\in{\mathscr F}$ 由此得出 ${\mathscr F}\not=\emptyset$。 由於 ${\mathscr F}$ 中的函數為全純且有界 (上界為 1), 故由 Montel 定理, ${\mathscr F}$ 為正規族。 定義 $$M=\sup\{|\sigma'(z_0)|:\sigma\in{\mathscr F}\}$$ 若 $\bar D(z_0;r)$ 為一個能夠包含在 $U$ 中的以 $z_0$ 為中心, $r$ 為半徑的閉圓盤, 於是由 Cauchy 不等式 $|\sigma'(z_0)|\le \frac 1r$。 故 $M\le \frac 1r$, 現在我們要證明在 ${\mathscr F}$ 中存在 $\sigma_0$ 使得 $\sigma'_0(z_0)=M$。 由 $M$ 的定義, 知道在 ${\mathscr F}$ 中存在一個序列 $\sigma_j$, 使得 $|\sigma'_j(z_0)|\to M$。 由於 ${\mathscr F}$ 為正規族, 故序列 $\{\sigma_j\}$ 中有子序列 $\{\sigma_{j_k}\}$ 在 $U$ 中任一個緊緻集合上一致收斂到 $\sigma_0$。 由於 $|\sigma'_j(z_0)|\to M$, 故 $|\sigma'_0(z_0)|= M$。 將 $\sigma_0$ 乘以模為 1 的複數, 得到一個新的 $\sigma_0$ 使得 $|\sigma'_0(z_0)|= M$。

現在我們來證明 : $\sigma_0$ 在 $U$ 上為單葉的。 這裡我們要應用到幅角原理。 若 $Q,R$ 為 $U$ 中兩個不同的點, 且 $0\lt S\lt |Q-R|$。 在 $\bar D(R;S)$ 上, 考慮函數 $\psi_k(z)=\sigma_{j_k}(z)-\sigma_{j_k}(Q)$。 由於 $\sigma_j$ 為單葉的, $\psi_k$ 在 $\bar D(R;S)$ 上不等於零, 由 Hurwitz 定理, 其極限函數 $\sigma_0(z)-\sigma_0(Q)$ 或是恆等於零, 或是在 $\bar D(R;S)$ 上恆不等於零。 由於 $\sigma'_0(z_0)=M\gt 0$, 故 $\sigma_0$ 不可能恆等於零。因此, 對所有 $z\in \bar D(R;S)$ 有 $\sigma_0(z)\not=\sigma_0(Q)$, 特別有 $\sigma_0(R)\not=\sigma_0(Q)$。 由於 $R,Q$ 為在 $U$ 上任意選取的兩個點, 故 $\sigma_0$ 為單葉的。

最後我們要證明 $\sigma_0$ 將 $U$ 映到 $D(0;1)$ 為一映成函數。 由於 $U$ 為單連通區域, 如果 $F$ 為 $U$ 上不等於零的全純函數, 則可在 $U$ 上定義 $\log F$ 為 $$\log F(z)=\int_{\gamma_z}\displaystyle\frac{F'(\xi)}{F(\xi)}d\xi+\log F(z_0),$$ 這裡 $\gamma_z$ 為從 $z_0$ 到 $z$ 的逐段 $C^1$ 曲線。 由於 $U$ 是單連通的, 故這樣定義的 $\log F(z)$ 是不依賴於路徑 $\gamma_z$ 的選取! 定義了 $\log F(z)$, 就可以定義 $F(z)$ 的 $\alpha$ 次方。 $$F^\alpha(z)=\exp(\alpha \log F(z)),\qquad \alpha\in {\Bbb C}.$$ 如果 $\sigma_0$ 不是將 $U$ 映成 $D(0;1)$, 則存在點 $\beta\in D(0;1)\backslash \sigma_0(U)$。令 $$\varphi_\beta(\xi)=\displaystyle\frac{\xi-\beta}{1-\bar \beta\xi},$$ 於是 $\mu(\xi)=(\varphi_\beta\circ \sigma_0(\xi))^{1/2}$ 是在 $U$ 上定義的全純函數。 若 $\tau=\mu(z_0)$, 令 \begin{eqnarray*}\varphi_\tau(\xi)&=&\displaystyle\frac{\xi-\tau}{1-\bar \tau\xi}\\ {\hbox{及}} \nu(\xi)&=&\displaystyle\frac{|\mu'(z_0)|}{\mu'(z_0)}(\varphi_\tau\circ \mu(\xi)), \end{eqnarray*} 於是 $\nu\in{\mathscr F}$。 但是 $\nu(z_0)=0$ 及 $$|\nu'(z_0)|=\displaystyle\frac{1+|\beta|}{2|\beta|^{1/2}}M\gt M,$$ 這與 $\sigma_0$ 的定義相互矛盾。 故 $\sigma_0$ 必須是映成函數。 這樣的 $\sigma_0$ 就是 Riemann 映射定理中所需的 $f$。 如果還存在另外一個單葉函數 $g(z)$ 也有這個性質, 則 $F(z)=f(g^{-1}(z))$ 是單位圓盤上的一個自同構, 且 $F(0)=0$, $F'(0)\gt 0$。 由第二講中的定理 2.18 單位圓盤上的全純自同構群定理知道 $F(z)=z!$ 故 $f(z)=g(z)$。 如果 $U$ 是一個無限區域, 則可用變換將 $U$ 變成有界區域, 定理因而證畢。

由 Riemann 映射定理我們知道: 存在單葉全純函數將單連通區域 $U$ 內的點與單位圓盤內的點一一對應。 現在問題是 : 邊界上有沒有相對應的關係? 事實上, 單連通區域可以有十分複雜的邊界, 這裡我們只敘述一個最簡單的情形而不予證明。

若 $U$ 為由一條 Jordan 曲線 $\Gamma$ 所圍成的區域, 若 $w=f(z)$ 為 $U$ 上的單葉全純函數, 將 $U$ 映成到單位圓盤 $D(0;1)$, 則 $f(z)$ 可以擴充到 $\Gamma$ 上, 使得 $f(z)$ 在 $\bar U$ 上連續, 並且在 $\Gamma$ 上的點與單位圓週 $|w|=1$ 上的點之間有一一對應關係。

4.4. 對稱原理 (Symmetric Principle)

定理 4.5 : (Painlevé 定理) 若 $U_1$, $U_2$ 是兩個區域, $U_1\cap U_2=\emptyset$, $\partial U_1\cap \partial U_2=\gamma$, 這裡 $\gamma$ 為一段可求長的曲線 (端點不在內)。 若 $f_1,f_2$ 分別在 $U_1$, $U_2$ 上全純, 在 $U_1\cup\gamma$ 及 $U_2\cup\gamma$ 上連續, 且在 $\gamma$ 上 $f_1(z)=f_2(z)$, 則函數 $$f(z)=\left\{\begin{array}{lcl} f_1(z),&&z\in U_1\\[5pt] f_1(z)=f_2(z),&&z\in \gamma\\[5pt] f_2(z),&&z\in U_2 \end{array}\right.$$ 在 $U_1\cup U_2\cup \gamma$ 上全純, $f_1$ 與 $f_2$ 稱為越過邊界 $\gamma$ 互為解析延拓。

圖1

證明 : 由已知的條件知道 : $f$ 在 $U_1\cup U_2\cup \gamma$ 上連續, 在 $U_1$ 及 $U_2$ 上全純, 所以我們只要證明 $f$ 在 $\gamma$ 上全純。 設 $z_0\in \gamma$, 取 $r$ 使得 $D(z_0;r)\subset U=U_1\cup U_2\cup \gamma$。設 $\Gamma$ 是 $D(z_0;r)$ 內任一可求長的簡單封閉曲線。 若 $\Gamma$ 在 $U_1\cup\gamma$ 之內, 則由 Cauchy 積分定理知道 $$\int_\Gamma f(z)dz=\int_\Gamma f_1(z)dz=0.$$ 同理, 若 $\Gamma$ 在 $U_2\cup\gamma$ 之內, 則 $$\int_\Gamma f(z)dz=\int_\Gamma f_2(z)dz=0.$$ 若 $\Gamma$ 同時屬於 $U_1$ 及 $U_2$, 令 $\Gamma_1$ 為屬於 $U_1$ 的部分, $\Gamma_2$ 為屬於 $U_2$ 的部分, 而 $\gamma$ 在 $\Gamma$ 的內部的部分記作 $\Gamma_0$, 則 $$\int_\Gamma f(z)dz=\int_{\Gamma_1+\Gamma_0} f_1(z)dz+\int_{\Gamma_2-\Gamma_0} f_2(z)dz=0.$$ 故由 Morera 定理, $f(z)$ 在 $D(z_0;r)$ 上全純, 特別在 $z=z_0$ 處全純, 而 $z_0$ 為 $\gamma$ 上任一點, 故 $f(z)$ 在 $U$ 上全純。 定理的證明因而完畢。

由 Painlevé 定理, 可推導出下面定理。

定理 4.6 : 對稱原理 (Symmetric Principle) 設區域 $U$ 位於實數軸的同一側, 其邊界包含有實數軸上的線段 $\gamma$ (端點不在內)。 若 $f(z)$ 在 $U$ 上全純, 在 $U\cup \gamma$ 上連續, 且 $f(z)$ 在 $\gamma$ 上取實值, 則一定存在一個函數 $F(z)$, 在 $U\cup U'\cup \gamma$ 上全純, 且在 $U$ 內 $F(z)=f(z)$, 這裡 $U'$ 為 $U$ 關於實數軸的對稱區域, 且 $F(\bar z)=\overline{F(z)}$。

證明 : 在 $U\cup U'\cup \gamma$ 上定義函數 $$F(z)=\left\{\begin{array}{lcl} f(z),&&z\in U\cup \gamma;\\[5pt] \overline{f(\bar z)}&&z\in U'. \end{array}\right.$$ 這樣的函數滿足 $F(\bar z)=\overline{F(z)}$。 現在要證明 $F(z)$ 在 $U\cup U'\cup \gamma$ 上全純, 先證 $F(z)$ 在 $U'$ 上全純。 若 $z_0\in U'$, $z$ 是 $z_0$ 的鄰域內的一點, 則 $$\displaystyle\frac{F(z)-F(z_0)}{z-z_0}=\displaystyle\frac{\overline{f(\bar z)}-\overline{f(\bar z_0)}}{z-z_0}=\overline{\Big(\displaystyle \frac{f(\bar z)-f(\bar z_0)}{\bar z-\bar z_0}\Big)}$$ 故 $$\lim_{z\to z_0}\displaystyle\frac{F(z)-F(z_0)}{z-z_0}=\overline{f'(\bar z_0)}.$$ 又由於 $f(z)$ 在 $\gamma$ 上取實值, 即 $\overline{f(x_0)}=f(x_0)$, 當 $x_0\in \gamma$。 故當 $z\in U'$ 時, $$\lim_{\scriptstyle z\to x_0\atop z\in U'} F(z)=\lim_{\scriptstyle z\to x_0\atop z\in U'} \overline{f(\bar z)} =\overline{\lim_{\scriptstyle z\to x_0\atop z\in U'} {f(\bar z)}}=\overline{f(x_0)}=f(x_0)$$ 故 $F(z)$ 在 $U'\circ \gamma$ 上連續。 由 Painlevé 定理, $F(z)$ 在 $U\cup U'\cup \gamma$ 上全純。 定理 4.6 的證明因而完畢。

定理 4.6 還可敘述成更為一般的形式。

定理 4.6$'$ : (對稱原理) 設 $U$ 位於直線 $l$ 的同一側, 其邊界包含 $l$ 上一線段 $\gamma$ (端點不在內)。 若 $f(z)$ 在 $U$ 上全純, 在 $U\cup \gamma$ 上連續, 且 $f(z)$ 在 $\gamma$ 上的值位於直線 $L$ 上, 則存在 $F(z)$ 在 $U\cup U'\cup \gamma$ 上全純, 在 $U$ 內 $F(z)=f(z)$, 這裡 $U'$ 為 $U$ 關於 $l$ 對稱的區域。 若 $z_1$, $z_2$ 為 $U\cup U'\cup \gamma$ 內關於 $l$ 對稱的兩點, 則 $F(z_1)$, $F(z_2)$ 是關於 $L$ 對稱的兩點。

證明 : 用變換 $Z=az+b$ 將 $l$ 變換成實數軸, $W=cw+d$ 將 $L$ 變成實數軸, 然後再變換回到 $z,w$ 即可!

對稱原理還可以推廣成, 將定理 4.6 中的 $\gamma$ 改成一段圓弧, 同樣可以解析延拓。

4.5. Riemann 曲面 (Riemann surfaces) 的一些例子

在 Riemann 映射定理中指出, 任意兩個邊界多於一點的單連通域是全純等價的, 即存在雙方單值(即單葉)的全純映射, 將一個映為另一個。如果全純映射不是雙方單值(即單葉)的, 如多值函數或無窮多值函數, 則如何建立起映射的一一對應呢? 這就要有 Riemann 曲面的概念。 Riemann 曲面是複分析中極為重要的概念, 可以用很長的篇幅來討論, 例如讀者可參考 L.V. Ahlfors and L. Sario [1] 或 J. B. Conway [2] 的書籍。但作為通俗的介紹, 我們只能用舉例的方法來描述一下什麼是 Riemann 曲面。

在第一講中討論初等函數時, 我們已經看到, 對於冪函數 $w=z^\alpha$, $\alpha=a+ib$, 當 $b\not=0$ 時, $w=z^\alpha$ 是無窮多值函數; 當 $b=0$ 而 $a=n$ 為整數時, $w=z^n$ 為單值函數, 但其反函數不是單值函數。 當 $z$ 在角形區域 $\frac{(k-1)2\pi}{n}\lt \arg(z)\lt \frac{k2\pi}{n}$, $k=1,2,\ldots,n$ 中變動時, $w=z^n$ 將任一這樣區域映為整個 $w$ 平面除去正實軸。這個映射是一對一的, 也是全純的。 每個這樣的角形區域就像在正實數軸上有一 ``切割'' (cut)。

於是這 $n$ 個角形區域對應到 $n$ 張 $w$ 複平面加上切割。 將這 $n$ 張平面按 $k=1,2,\ldots,n$ 進行排列, 然後將前一張的切割的下邊與後一張的切割的上邊黏起來, 而第 $n$ 張切割的下邊與第一張的切割的上邊黏起來(這樣做看起來似乎不可能, 除非這些張自己相交, 但這裡是指讓第 $n$ 張的切割的下邊與第一張的切割的上邊相等同)。 於是這樣就構成了一個 Riemann 曲面。稱每一張平面為 Riemann 曲面的一葉 (sheet) 或稱為 Riemann 曲面的一個分支 (branch) 。 明顯地看出, 當點 $z$ 在 $z$ 平面上變動時, 相應的點 $w$ 在 Riemann 曲面上變動, 並且 $z$ 平面與 Riemann 曲面之間的點是相互一一對應的。

可以用任意從 0 到 $\infty$ 的射線取代正實數軸作為切割。 這樣得到的 Riemann 曲面與原來得到的 Riemann 曲面是等同的, 但在對 Riemann 曲面進行討論之前須說明是如何切割的。

點 $w=0$ 有特殊位置, 它聯繫著所有的分支, 一條曲線圍繞 $w=0$ 旋轉必須轉 $n$ 圈後才能封閉, 這樣的點稱為 支點 (branch point)。 如果將 $z=\infty$ 也考慮在內, 則 $\infty$ 點也是一個支點。 一般來說, 一個支點不必聯繫所有的分支, 如果它聯繫 $m$ 個分支, 則稱此為 $m-1$ 階 (order) 的支點。

同樣我們可以討論 $w=e^z=e^{x+iy}$ 的 Riemann 曲面。 這函數將帶狀區域 $(k-1)2\pi\lt y\lt k 2\pi$ 映為 $w$ 平面的一個分支, 而切割為正實數軸。有無窮多分支互相黏接, 而 $w=0$ 不在 Riemann 曲面上, 因 $e^z$ 永不為零。

反過來, 若函數為 $w=z^{\frac 1n}$, 而 $n$ 為大於 1 的正整數, 則這函數將 $n$ 個分支的 Riemann 曲面 映為 $w$ 平面, 而且相互一一對應。 同樣 $w=\log z$ 將無窮多分支的 Riemann 曲面映為 $w$ 平面, 而且相互一一對應的。

因此, 在討論 Riemann 曲面與複平面之間的對應時, 往往必須指明, 這個討論是在 Riemann 曲面的那一個分支上進行。

4.6. Schwarz $-$ Christoffel 公式

Riemann 映射定理是一個存在定理, 至於如何具體寫出這個映射來, 卻不是件簡單的事。 在 4.1 節中只是舉了幾個最簡單的例子。下面我們要給出一個多邊形映射到上述平面的具體公式, 這個公式稱為 Schwarz $-$ Christoffel 公式。

若 $-\infty\lt a_1\lt a_2\lt \cdots\lt a_n\lt +\infty$, 為 $n$ 個實數, 取 $a_0=-\infty$, $a_{n+1}=+\infty$。 若 $\alpha_1,\alpha_2,\ldots,\alpha_n$, 為 $n$ 個實數, 滿足 $\alpha_1+\alpha_2+\cdots+\alpha_n+1\lt n$, 且令 \begin{equation}\beta(t)=(t-a_1)^{\alpha_1-1}\cdots(t-a_n)^{\alpha_n-1},\label{4.5}\end{equation} 則顯然有 $$\int_{-\infty}^{\infty} |\beta(t)|dt\lt \infty.$$ 當 $t\lt a_k$ 時, 取 $$(t-a_k)^{\alpha_k-1}=\exp\Big((\alpha_k-1)\log(t-a_k)\Big)$$ 這樣的一個分支, 使其幅角為 $\pi(\alpha_k-1)$。 於是當 $t\lt a_1$ 時, $$\arg \beta(t)=\pi\Big[[\alpha_1+\alpha_2+\cdots+\alpha_n)-n\Big];$$ 當 $t$ 在 $(a_{k-1}, a_k)$ 這線段上時 $$\arg \beta(t)=\pi\Big[[\alpha_k+\cdots+\alpha_n)-(n-k+1)\Big],\quad 2\le k\le n;$$ 當 $t$ 在 $(a_n,+\infty)$ 這線段上時, $$\arg \beta(t)=0.$$ 於是定義了 $n+2$ 個複數 \begin{equation}w_k=c\int_0^{a_k}(t-a_1)^{\alpha_1-1}\cdots(t-a_n)^{\alpha_n-1}dt,\quad 0\le k\le n+1,\label{4.6}\end{equation} 這裡 $c$ 為一個正的實數, 在上半平面 $\bar H=\{z\in {\Bbb C}:\hbox{Im} z\ge0\}$ 定義函數 \begin{equation}f(z)=c\int_0^z\beta(t)dt,\label{4.7}\end{equation} 這函數顯然在 $ H=\{z\in {\Bbb C}:\hbox{Im} z\gt 0\}$ 上是全純的。而在實數軸上有: 當 $x\in(a_{k-1},a_k)$ 時 $(1\le k\le n+1)$, \begin{eqnarray*} f(x)&=&w_{k-1}+c\int_{a_{k-1}}^x \beta(t)dt\\ &=&w_{k-1}+ce^{i[(\alpha_{k}-1)\pi+\cdots+(\alpha_n-1)\pi]}\int_{a_{k-1}}^x|\beta(t)|dt.\end{eqnarray*} 於是 $f(x)-w_{k-1}$ 在區間 $(a_{k-1},a_k)$ 上有相同的幅角 $[(\alpha_k-1)\pi+\cdots+(\alpha_n-1)\pi]$, 而其絕對值由 0 增長到 \begin{equation}l_k=c\int_{a_{k-1}}^{a_k} |\beta(t)|dt.\label{4.8}\end{equation} 故 $x$ 在區間 $[a_{k-1},a_k]$ 中變動時, 則 $f$ 在區間 $\delta_{k-1}=[w_{k-1},w_k]$ 中變動。 $\delta_{k-1}$ 的幅角為 $(\alpha_{k}-1)\pi+\cdots+(\alpha_n-1)\pi$, 長度為 $l_k$。

要證明 $w_0=w_{n+1}$, 我們只要證明: 對任給 $\varepsilon\gt 0$, 存在 $R\gt 0$, 使得當 $z\in\bar H$ 及 $|z|\ge R$ 時, $|w_0-f(z)|\le \varepsilon$ 成立即可。因為這表明 $$\lim_{z\to \infty} f(z)=w_{n+1}=w_0$$ 這可證明如下 : 由於 $$\int_{-\infty}^\infty|\beta(t)|dt\lt +\infty,$$ 故任給 $\varepsilon\gt 0$, 存在 $R_1\gt 0$ 使得 $$\int_{-\infty}^{-R_1}|\beta(t)|dt\le \varepsilon/2,$$ 於是當 $-\infty\lt x\lt -R_1$ 時, 有 $$\Big|w_0-c\int_0^x\beta(t)dt\Big|\le \int_{-\infty}^{-R_1}|\beta(t)|dt\le \varepsilon/2\hbox{}$$ 當然可以選取 $R_1\ge \max\{|a_1|,\ldots,|a_n|\}$。 取 $z_0=\rho_0e^{i\theta_0}$, 而 $\rho_0\ge R_1$, $0\le \theta_0\le \pi$, 於是 \begin{eqnarray*} |f(z_0)-f(\rho_0)|&=&c\Big|\int_0^{\theta_0}(\rho_0e^{i\theta}-a_1)^{\alpha_1-1}\cdots(\rho_0e^{i\theta}-a_n)^{\alpha_n-1}\rho_0e^{i\theta}d\theta\Big|\\ &\le&c\rho_0(\rho_0-R_1)^{\alpha_1+\alpha_2+\cdots\alpha_n-n}.\end{eqnarray*} 由於 $\alpha_1+\cdots\alpha_n\lt n-1$, 故當 $\rho_0\to\infty$ 時, 上式 $\to 0$。 故有 $R\ge R_1$, 使得當 $\rho_0=|z_0|\ge R$ 時, $|f(z_0)-f(\rho_0)|\le \varepsilon/2$。 因此, 當 $|z|\ge R$, $\hbox{Im} z\ge 0$ 時, $|f(z)-w_0|\le \varepsilon$。這就證明了 $w_0=w_{n+1}$。, 於是 $f$ 將 ${\Bbb R}\cup\{+\infty\}$ 映到閉 $(n+1)$ 邊形 $\triangle$, 其邊為 $\delta_0, \delta_1, \ldots ,\delta_n$, 其頂點為 $w_0, w_1, \ldots ,w_n=w_0$。

若假設 $0\lt \alpha_k\lt 2$, 則可證這個多邊形在頂點 $w_k$ 處, 其內角為 $\alpha_k\pi$。這可證明如下 :

由於 $\beta(t)$ 可寫成 $\beta_k(t)(t-a_k)^{\alpha_k-1}$, 這裡 $\beta_k(t)=\prod\limits_{j\not=k}(t-a_j)^{\alpha_j}$。 顯然 $\beta_k(t)$ 在 $a_k$ 點的一個鄰域 $U$ 中是全純的, 故可展開成 Taylor 級數 $$\beta_k(t)=a_{0,k}+a_{1,k}(t-a_k)+\cdots,\quad a_{0,k}\not=0.$$ 於是當 $z\in U\cap\bar H$ 時, 有 \begin{eqnarray*} f(z)&=&w_k+c\int_{a_k}^z (a_{0,k}+a_{1,k}(t-a_k)+\cdots)(t-a_k)^{\alpha_k-1}dt\\ &=&w_k+c\frac{a_{0,k}}{\alpha_k}(z-a_k)^{\alpha_k} \Big[1+\frac{\alpha_k}{\alpha_k+1}\cdot \frac{a_{1,k}}{a_{0,k}}(z-a_k)+\cdots\Big].\end{eqnarray*} 當 $z$ 沿著傾角 $\theta$ 的直線趨於 $a_k$ 時 $(0\le \theta\le \pi)$, $f(z)$ 沿著一條曲線趨於 $w_k$, 而在 $w_k$ 點處, 其切線的傾角為 $\arg(a_{0,k})+\alpha_k\theta$, 這是因為 $c\gt 0$ 及 $\alpha_k\gt 0$。 在 $\bar H$ 中作一個以 $a_k$ 為中心的小半圓, 使之全包含在 $U\cap \bar H$ 之中。 讓 $z$ 在這個小半圓的週邊上變動, 從 $\theta=0$ 到 $\theta=\pi$, 這樣 $f(z)$ 在一條 Jordan 曲線上變動從 $\delta_{k-1}$ 上的點變到 $\delta_k$ 上的點, 而 $f(z)$ 的幅角也由 $\arg(a_{0,k})$ 變到 $\arg(a_{0,k})+\alpha_k\pi$。 故在頂點 $w_k$ 處的內角為 $\alpha_k\pi$。 而在頂點 $w_0=w_{n+1}$ 處的內角為 $((n-1)-(\alpha_1+\cdots+\alpha_n))\pi\gt 0$, 這是因為 $n+1$ 邊形的內角和為 $(n-1)\pi$, 特別當 $\alpha_1+\cdots+\alpha_n=n-2$ 時, 則頂點 $w_0$ 處的內角為 $\pi$, 即此為 $n$ 邊形。

公式 \eqref{4.7} 就叫做 Schwarz $-$ Christoffel 公式, 這裡 $\beta(t)$ 由公式 \eqref{4.5} 所定義, 而 $\alpha_1+\cdots+\alpha_n\lt n-1$。 公式 \eqref{4.7} 將上半平面映為 $n+1$ 邊形, 其頂點分別為 $w_0,w_1,\ldots,w_n$, $w_{n+1}=w_0$, $w_j(j=0,1,\ldots,n+1)$ 由公式 \eqref{4.6} 所定義。 多邊形的邊為 $[w_{k-1},w_k]$, $(k=1,\ldots,n+1)$, 其長度為 $l_k$, 由公式 \eqref{4.8} 所給出。 若 $0\lt \alpha_j\lt 2$ $(j=1,\ldots,n)$, 則在頂點 $w_k$ 處的內角為 $\alpha_k\pi(k=1,\ldots,n)$。 在 $w_0=w_{n+1}$ 處的內角為 $[(n-1)-(\alpha_1+\cdots+\alpha_n)]\pi$。

當然, 如果把公式 \eqref{4.6} 寫成更一般的形式 $$w_k=c\int_0^{a_k}(t-a_1)^{\alpha_1-1}\cdots(t-a_n)^{\alpha_n-1}dt+c',\qquad 0\le k\le n+1,$$ 則公式 \eqref{4.7} 還可以寫成更一般的形式 \begin{equation}f(z)=c\int_0^z \beta(t)dt+c',\label{4.9}\end{equation} 這裡 $c,c'$ 為兩個正的常數。 公式\eqref{4.9} 也是 Schwarz $-$ Christoffel 公式。

附錄 A. Poincaré 定理

在本講中提到了一個十分深刻的 Riemann 映射定理, 大致上講這個定理告訴我們兩個區域若拓樸等價一定導出全純等價。 但 Poincaré 定理卻說, 不存在雙全純映射將 ${\Bbb C}^n$ $(n\ge 2)$ 中的單位球映為多圓柱。 這裡 $z=(z_1,\ldots,z_n)\in {\Bbb C}^n$, 單位球定義為 $B(0;1)=\{z\in {\Bbb C}^n:\sum\limits_{j=1}^n |z_j|^2\lt 1\}$, 多圓柱定義為 $D^n(0;1)=\{z\in {\Bbb C}^n:|z_1|\lt 1,\ldots,|z_n|\lt 1\}$。 我們在此給出 Poincaré 定理的一個證明, 目的就是要指出單複變與多複變函數論之間存在一些本質性的差異!

為了簡化符號, 我們只討論 ${\Bbb C}^2$ 的情形。 有興趣的讀者可參考其它相關文獻, 如 R. E. Greene and S. G. Krantz [3] 及 S. G. Krantz [K]。 一個映射 $f(z)=(f_1(z),f_2(z))$ 稱為在區域 (連通開集合) $\Omega\subseteq {\Bbb C}^2$ 上全純, 若 $f_1(z)$ 及 $f_2(z)$ 為區域 $\Omega$ 上的全純函數。 函數 $g(z)=g(z_1,z_2)$ 稱為在區域 $\Omega\subseteq {\Bbb C}^2$ 上全純, 若固定任意的變數 $z_1$ 或 $z_2$, $g(z)$ 是餘下兩個變數的全純函數。全純映射稱為是雙全純 (biholomorphic), 如果映射是一對一, 映成, 且 $f^{-1}$ 也是全純的。

要證明 Poincaré 定理, 我們要先討論在 $\Omega$ 上的全純自同構群。 現在先看一下 ${\Bbb C}^2$ 中單位球及雙圓柱上的全純自同構群。 回顧在定出單位圓盤上的全純自同構群時, 主要是用了 Schwarz 引理, 在多複變的情形, 我們要應用推廣了的 Schwarz 引理, 這便是 Cartan 的兩個定理。

定理 A.1 (Cartan 定理) : 若 $\Omega\subseteq {\Bbb C}^2$ 為有界區域, $p\in \Omega$, 若 $f=(f_1,f_2)$ 為全純映射, 將 $\Omega$ 映入到 $\Omega$, 且 $f(p)=P$, $J_f(p)=I$, 則 $f(z)\equiv z$, 這裡 $J_f(z)$ 為 $f$ 在 $z$ 點的 Jacobi 矩陣, 即 $$J_f(z)=\left[\begin{array}{ccc} \dfrac{\partial f_1}{\partial z_1}&~~&\dfrac{\partial f_2}{\partial z_2}\\[5pt] \dfrac{\partial f_2}{\partial z_1}&&\dfrac{\partial f_2}{\partial z_2} \end{array}\right].$$ $I$ 為單位 $2\times 2$ 方陣。

證明 : 不妨假設 $p=0$。 我們可用反證法, 如果定理不成立, 則 $f(z)$ 在 0 點可以展開成 Taylor 級數 $$f(z_1,z_2)=z+A_m(z)+\cdots,$$ 這裡 $A_m(z)=(A_m^{(1)}(z), A_m^{(2)})$ 為第一個出現不為 0 的項, 這裡 $A_m^{(1)}(z)$, $A_m^{(2)}(z)$ 為 $m$ 次齊次多項式 $(m\ge 2)$。

記 $f^1=f$, $f^2=f\circ f,\ldots, f^j=f^{j-1}\circ f$ $(j\ge 2)$, 於是 \begin{eqnarray} f^1(z)&=&z+A_m(z)+\cdots,\nonumber\\ f^2(z)&=&f(z)+A_m(f(z))+\cdots,\nonumber\\ &=&z+A_m(z)+A_m(z)+\cdots,\nonumber\\ &=&z+2A_m(z)+\cdots,\label{A.1}\\ &\vdots&\nonumber\\ f^j(z)&=&z+jA_m(z)+\cdots.\nonumber \end{eqnarray} 由於 $\Omega$ 是有界區域, $f$ 將 $\Omega$ 映入到 $\Omega$, 故由 Montel 定理知 $\{f^j\}$ 為正規族, 即有子序列 $\{f^{j_k}\}$ 當 $j_k\to \infty$ 時, $f^{j_k}\to F$。再由 Weierstrass 定理知, $f^{j_k}$ 的 $m$ 階導數在 0 點的值收斂到 $F$ 的 $m$ 階導數在 0 點的值。由 \eqref{A.1}, $f^{j_k}$ 的 $m$ 階導數在 0 點的值當 $j_k\to\infty$ 時是趨於 $+\infty$ 的。 另一方面, $F$ 的 $m$ 階導數在 0 點的值不可能為 $+\infty$, 由此得到矛盾, 故 $A_m(z)\equiv 0$ 必須在 $\Omega$ 上成立, 即 $f(z)\equiv z$。 定理因而證畢。

定理 A.1 在單複變的情形 $\Omega$ 為單位圓盤 $D$ 時成為 : 若全純函數 $f(z)$ 將 $D$ 映入到 $D$, $f(0)=0$, $f'(0)=1$, 則 $f(z)\equiv z$, 即 Schwarz 引理等號成立的那個部分。

下面我們來證明 Cartan 的另一個定理。

若 $\Omega\subseteq {\Bbb C}^2$ 為一個區域, 假設任一點 $(z_1,z_2)\in\Omega$, 任一實數 $\theta\in {\Bbb R}$, 有 $(e^{i\theta}z_1,e^{i\theta}z_2)\in \Omega$, 則稱 $\Omega$ 為一圓形區域 (Circular Domain)。

定理 A.2 (Cartan 定理) : 若 $\Omega\subseteq {\Bbb C}^2$ 為有界圓形區域, $f$ 為將 $\Omega$ 映到 $\Omega$ 自身的雙全純映射, 且 $f(0)=0$, 則 $f$ 為線性映射, 即 $f(z)=Az$, 其中 $A$ 為一常數 $2\times 2$方陣。

證明 : 令 $\theta\in[0,2\pi]$, $\rho_\theta(z_1,z_2)=(e^{i\theta}z_1,e^{i\theta}z_2)$, 考慮映射 $$g=\rho_{-\theta}\circ f^{-1}\circ \rho_\theta\circ f,$$ 則 $$J_g(0)= \left[\begin{array}{ccc} e^{-i\theta}&~~&0\\ 0&&e^{-i\theta} \end{array}\right]J_f^{-1}(0)\left[\begin{array}{ccc} e^{i\theta}&~~&0\\ 0&&e^{i\theta} \end{array}\right]J_f(0)=I.$$ 由於 $g(z)$ 將 $\Omega$ 映入到 $\Omega$, 且 $g(0)=0$, $J_g(0)=I$, 故由定理 A.1 知道 $g(z)\equiv z$, 此即 \begin{equation} f\circ \rho_\theta=\rho_\theta\circ f.\label{A.2} \end{equation} 將 $f$ 在 0 點附近展開成收斂冪級數 $$f(z)=\sum_{j,k=0}^\infty a_{jk}z_1^jz_2^k=\Big(\sum_{j,k=0}^\infty a_{jk}^{(1)}z_1^jz_2^k, \sum_{j,k=0}^\infty a_{jk}^{(2)}z_1^jz_2^k\Big)$$ 於是 $$\rho_\theta\circ f=(e^{i\theta}f_1,e^{i\theta}f_2)=\Big(\sum_{j,k=0}^\infty a_{jk}^{(1)}e^{i\theta}z_1^jz_2^k, \sum_{j,k=0}^\infty a_{jk}^{(2)}e^{i\theta}z_1^jz_2^k\Big)$$ 而 \begin{eqnarray*}f\circ \rho_\theta=\Big(\sum_{j,k=0}^\infty a_{jk}^{(1)}(e^{i\theta}z_1)^j(e^{i\theta}z_2)^k, \sum_{j,k=0}^\infty a_{jk}^{(2)}(e^{i\theta}z_1)^j(e^{i\theta}z_2)^k\Big)\\ =\Big(\sum_{j,k=0}^\infty a_{jk}^{(1)}e^{i(j+k)\theta}z_1^jz_2^k, \sum_{j,k=0}^\infty a_{jk}^{(2)}e^{i(j+k)\theta}z_1^jz_2^k\Big). \end{eqnarray*} 由 \eqref{A.2}, 比較係數即得所有 $a_{jk}=0$ 除去 $j+k=0$ 及 $j+k=1$, 即得 $f(z)$ 在 0 點附近為線性的, 故由全純函數的唯一性, 我們便知 $f(z)$ 在整個 $\Omega$ 上為線性的。 定理因而證畢。

這個 Cartan 定理, 在單複變的情形, 若 $\Omega$ 為單位圓盤 $D$ 時: 若全純單位函數 $f(z)$ 將 $D$ 映到 $D$ 本身且 $f(0)=0$, 則 $f(z)=e^{i\theta}z$。

有了定理 A.1 及 A.2, 我們現在便可計算出 ${\Bbb C}^2$ 中單位球及雙圓柱上的全純自同構群。 若 $\Omega$ 為 ${\Bbb C}^2$ 中的區域, 如果存在將 $\Omega$ 映為自身的雙全純映射 $f(z)$, 則稱此映射為 $\Omega$ 上的全純自同構 (holomorphic automorphism) 或 雙全純自同構 (biholomorphic automorphism)。 $\Omega$ 上所有的全純自同構的全體組成一個群, 這個群稱為 $\Omega$上全純自同構群 (group of holomorphic automorphisms), 記作 $Aut(\Omega)$。

定理 A.3: $Aut(D^2(0;1))$ 是由雙全純映射 \begin{eqnarray} w&=&\Big(e^{i\theta_1}\dfrac{z_1-a_1}{1-\bar a_1z_1},e^{i\theta_2}\dfrac{z_2-a_2}{1-\bar a_2z_2}\Big)\label{A.3}\\ {\hbox{及}} w&=&\Big(e^{i\theta_2}\dfrac{z_2-a_1}{1-\bar a_1z_2},e^{i\theta_1}\dfrac{z_1-a_2}{1-\bar a_2z_1}\Big)\label{A.4} \end{eqnarray} 的全體所組成, 這裡 $z=(z_1,z_2)\in D^2(0;1)$, $a_1,a_2\in D(0;1)$, $\theta_1,\theta_2\in[0,2\pi]$。

證明 : 若 $\phi(z)\in Aut(D^2(0;1))$, 且 $\phi(0)=\xi=(\xi_1,\xi_2)$, 定義 $$\psi(z)=\Big(\dfrac{z_1-\xi_1}{1-\bar\xi_1 z_1},\dfrac{z_2-\xi_2}{1-\bar\xi_2 z_2}\Big),$$ 則 $g\equiv \psi\circ \phi\in Aut(D^2(0;1))$, 且 $g(0)=0$。 由定理 A.2, $$g(z)=Az=(z_1,z_2)\left[\begin{array}{ccc} a_{11}&~~&a_{12}\\[5pt] a_{21}&&a_{22} \end{array}\right]=(a_{11}z_1+a_{21}z_2,a_{12}z_1+a_{22}z_2).$$ 由於 $g\in Aut(D^2(0;1))$, 故 $$|a_{11}z_1+a_{21}z_2|\lt 1,\qquad |a_{12}z_1+a_{22}z_2|\lt 1.$$ 對任意 $(z_1,z_2)\in D^2(0;1)$ 都成立, 這立即導出 $|a_{ij}|\lt 1$ $(i,j=1,2)$。取 \begin{eqnarray*} z^{1,k}&=&\Big((1-\frac 1k)\dfrac{\bar a_{11}}{|a_{11}|},(1-\frac 1k)\dfrac{\bar a_{21}}{|a_{21}|}\Big)\in D^2(0;1),\\ z^{2,k}&=&\Big((1-\frac 1k)\dfrac{\bar a_{12}}{|a_{12}|},(1-\frac 1k)\dfrac{\bar a_{22}}{|a_{22}|}\Big)\in D^2(0;1), \end{eqnarray*} 則 \begin{eqnarray*} g(z^{1,k})&=&\Big((1-\frac 1k)(|a_{11}|+a_{21}|),(1-\frac 1k)\Big(\dfrac{\bar a_{11} a_{12}}{|a_{11}|} +\dfrac{\bar a_{21} a_{22}}{|a_{21}|}\Big)\Big)\in D^2(0;1),\\ g(z^{2,k})&=&\Big((1-\frac 1k)\Big(\dfrac{a_{11}\bar a_{12}}{|a_{12}|}+\dfrac{a_{21} \bar a_{22}}{|a_{22}|}\Big) ,(1-\frac 1k)(|a_{12}|+a_{22}|)\Big)\in D^2(0;1), \end{eqnarray*} 於是 $$(1-\frac 1k)(|a_{11}|+|a_{21}|)\lt 1,\qquad (1-\frac 1k)(|a_{12}|+|a_{22}|)\lt 1.$$ 讓 $k\to\infty$, 即得 \begin{equation} |a_{11}|+|a_{21}|\le 1\quad \hbox{}\quad |a_{12}|+|a_{22}|\le 1.\label{A.5} \end{equation} 另一方面, \begin{eqnarray*} &&\hskip -2cm (1-\frac 1k,0)\in D^2(0;1),(0,1-\frac 1k)\in D^2(0;1),\\ g(1-\frac 1k,0)&=&\Big((1-\frac 1k)a_{11},(1-\frac 1k)a_{12}\Big)\in D^2(0;1),\\ g(0,1-\frac 1k)&=&\Big((1-\frac 1k)a_{21},(1-\frac 1k)a_{22}\Big)\in D^2(0;1), \end{eqnarray*} 當 $k\to\infty$ 時, $(1-\frac 1k,0)$ 及 $(0,1-\frac 1k)$ 趨於 $\partial D^2(0;1)$, 所以 $$(a_{11},a_{12})\in \partial D^2(0;1)\quad \hbox{及}\quad (a_{21},a_{22})\in \partial D^2(0;1)$$ 於是 \begin{equation} \max\{|a_{11}|,|a_{12}|\}=1\quad \quad \max\{|a_{21}|,|a_{22}|\}=1.\label{A.6} \end{equation} 要 \eqref{A.5}, \eqref{A.6} 同時成立, 只有下列兩種情形:

  1. $a_{11}=1$, $a_{12}=0$, $a_{21}=0$, $|a_{22}|=1$,
  2. $a_{12}=1$, $a_{11}=0$, $a_{22}=0$, $|a_{21}|=1$,

也就是 $A$ 只有下列兩種情形: $$(1)\quad A=\left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2}\end{array}\right];\qquad\hskip 2cm (2)\quad A=\left[\begin{array}{ccc} 0&~~&e^{i\theta_1}\\ e^{i\theta_2}&&0\end{array}\right].$$ 於是得到 \begin{eqnarray*} (1)\quad \psi\circ \phi(z)&=&z\left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2}\end{array}\right]=(z_1e^{i\theta_1},z_2e^{i\theta_2}),\hskip 4cm~\\ {\hbox{或}} (2)\quad \psi\circ \phi(z)&=&z\left[\begin{array}{ccc} 0&~~&e^{i\theta_1}\\ e^{i\theta_2}&&0\end{array}\right]=(z_2e^{i\theta_2},z_1e^{i\theta_1}), \end{eqnarray*} 若 $\phi=(\phi_1,\phi_2)$, 則 (1) 即是 $$\Big(\dfrac{\phi_1-\xi_1}{1-\bar \xi_1\phi_1},\dfrac{\phi_2-\xi_2}{1-\bar \xi_2\phi_2}\Big)=(z_1e^{i\theta_1},z_2e^{i\theta_2}),$$ 即 $$\dfrac{\phi_1-\xi_1}{1-\bar \xi_1\phi_1}=z_1e^{i\theta_1},\qquad \dfrac{\phi_2-\xi_2}{1-\bar \xi_2\phi_2}=z_2e^{i\theta_2}.$$ 從而得到 $$\phi=(\phi_1,\phi_2)=\Big(e^{i\theta_1}\dfrac{\xi_1e^{-i\theta_1}+z_1}{1+\bar\xi_1e^{i\theta_1}z_1}, e^{i\theta_2}\dfrac{\xi_2e^{-i\theta_2}+z_2}{1+\bar\xi_2e^{i\theta_2}z_2}\Big),$$ 而此即為 \eqref{A.3} 的形式。 同樣在 (2) 的情形, $\phi$ 為 \eqref{A.4} 的形式, 定理因而證畢。

現在我們要計算單位球上的全純自同構群。首先, 當 $a\in{\Bbb C}$, $|a|\lt 1$, 直接計算可以得到 \begin{equation} \phi_a(z_1,z_2)=\Big(\dfrac{z_1-a}{1-\bar a z_1},\dfrac{(1-|a|^2)^{1/2}z_2}{1-\bar a z_1}\Big) \in Aut(B(0;1)).\label{A.7} \end{equation} 由於 $$\Big|\dfrac{z_1-a}{1-\bar a z_1}\Big|^2+\Big|\dfrac{(1-|a|^2)^{1/2}z_2}{1-\bar a z_1}\Big|^2 =\dfrac{|z_1|^2-2Re(\bar a z_1)+|a|^2+(1-|a|^2)|z_2|^2}{|1-\bar az_1|^2}$$ 上式的右邊小於或等於 $$\dfrac{1-|a|^2-2Re(\bar a z_1)+|a|^2+|a|^2|z_1|^2} {|1-\bar az_1|^2}=1$$ 若且唯若 $(z_1,z_2)\in B(0;1)$, 故 \eqref{A.7} 成立。 顯然, $(\phi_a)^{-1}=\phi_{-a}$。 一個 $2\times 2$ 的方陣 $U$ 稱為 酉方陣 (unitary matrix), 若 $U\bar U^t=I$, 這裡 $\bar U^t$ 為 $U$ 共軛轉置。 而映射 $w=U(z)$ 稱為 酉旋轉 (unitary rotation)。

定理 A.4: 若 $g\in Aut(B(0;1))$, 且 $g(0)=0$, 則 $g$ 為酉旋轉, 即 $g(z)=zA$, 而 $A$ 為一酉方陣。

證明 : 由於 $B(0;1)$ 為圓形區域, 故由定理 A.2 知, $g(z)=zA$, 而 $g$ 將單位向量映到單位向量。若 $$A=\left[\begin{array}{ccc} a_{11}&~~&a_{12}\\ a_{21}&&a_{22}\end{array}\right],$$ $(\alpha,\beta)$ 為一單位向量, 則 $(\alpha,\beta)\left[\begin{array}{ccc} a_{11}&~~&a_{12}\\ a_{21}&&a_{22}\end{array}\right]=(\gamma,\delta)$ 也是單位向量, 而 $\gamma=a_{11}\alpha+a_{21}\beta$, $\delta=a_{12}\alpha+a_{22}\beta$。 於是 \begin{equation}|a_{11}\alpha+a_{21}\beta|^2+|a_{12}\alpha+a_{22}\beta|^2=1\label{A.8} \end{equation} 取 $\alpha=1$, $\beta=0$ 及 $\alpha=0$, $\beta=1$, 則得到 \begin{equation}|a_{11}|^2+|a_{12}|^2=1\quad \hbox{及}\quad |a_{21}|^2+|a_{22}|^2=1.\label{A.9} \end{equation} 將 \eqref{A.9} 代入 \eqref{A.8} 中, 我們得到 $$Re\Big((a_{11}\bar a_{21}+a_{12}\bar a_{22})\alpha\bar \beta\Big)=0.$$ 取 $\alpha=\frac{1}{\sqrt{2}}$, $\beta=\frac{1}{\sqrt{2}}$ 及 $\alpha=\frac{i}{\sqrt{2}}$, $\beta=\frac{1}{\sqrt{2}}$, 則得到 \begin{eqnarray} Re\Big(a_{11}\bar a_{21}+a_{12}\bar a_{22}\Big)&=&0,\nonumber\\ \hbox{Im}\Big(a_{11}\bar a_{21}+a_{12}\bar a_{22}\Big)&=&0,\nonumber\\ {\hbox{所以}} a_{11}\bar a_{21}+a_{12}\bar a_{22}&=&0.\label{A.10} \end{eqnarray} 由 \eqref{A.9} 及 \eqref{A.10}, 我們便得到 $A$ 為一酉方陣。

定理 A.5: $Aut(B(0;1))$ 中每一元素均可表為最多兩個酉旋轉及一個 $\phi_a$ 的複合, 即 $Aut(B(0;1))$ 是由酉旋轉及 $\phi_a$ 及其複合所組成。

證明 : 若 $f\in Aut(B(0;1))$, $f(0)=\alpha$, 則有酉方陣 $U$ 使得 $\alpha U=(|\alpha|,0)$。 作 $g(z)=\phi_{|\alpha|}\circ U\circ f(z)$, 這裡 $\phi_{|\alpha|}$ 是由公式 \eqref{A.7} 所定義, 將 $(|\alpha|,0)$ 映為 0 點。 於是 $g(z)\in Aut(B(0;1))$, 且 $$g(0)=\phi_{|\alpha|}\circ U\circ f(0)=\phi_{|\alpha|}\circ U\circ \alpha=0.$$ 由定理 A.4 得知 $$g(z)=zV=V(z)$$ 其中 $V$ 為酉方陣, 於是 $$f(z)=U^{-1}\circ \varphi_{-|\alpha|}\circ V(z)$$ 這便證明了定理 A.5。

現在我們終於可以證明 Poincaré 定理了。

定理 A.6: (Poincaré 定理) 不存在雙全純映射 $\Phi$ 將 $D^2(0;1)$ 映到 $B(0;1)$ 上。

證明 : 我們用反證法。假設存在這樣的雙全純映射 $\phi$ 將 $D^2(0;1)$ 映為 $B(0;1)$, 且 $\phi(0)=\alpha$, 則 $\Phi=\phi_\alpha\circ \phi$ 也是一個雙全純映射, 將 $D^2(0;1)$ 映成 $B(0;1)$, 且 $\Phi(0)=\phi_\alpha\circ \phi(0)=0$, 這裡 $\phi_\alpha$ 是由公式 \eqref{A.7} 所定義。 若 $\Lambda\in Aut(D^2(0;1))$, 則 \begin{equation}\Lambda \mapsto \Phi\circ \Lambda \circ \Phi^{-1}\in Aut(B(0;1)) \label{A.11}\end{equation} 建立起這兩個群之間的同構。現考慮在 $Aut(D^2(0;1))$ 及 $Aut(B(0;1))$ 令原點不動的子群, 分別記作 $Aut_0(D^2(0;1))$ 及 $Aut_0(B(0;1))$, 則 \eqref{A.11} 建立起這兩個子群的同構。

由定理 A.3 $Aut_0(D^2(0;1))$ 是由所有的雙全純映射 $$w=\Big(e^{i\theta_1}z_1,e^{i\theta_2}z_2\Big)=(z_1,z_2) \left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2} \end{array}\right]\quad (\theta_1,\theta_2\in {\Bbb R})$$ 組成, 也就是這個群由所有的 $\left\{\left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2} \end{array}\right], \theta_1,\theta_2\in {\Bbb R}\right\}$ 組成。

由定理 A.5 $Aut_0(B(0;1))$ 由所有的雙全純映射 $$w=zVU^{-1}$$ 組成, 這裡 $U,V$ 為酉方陣。由於酉方陣之逆及乘積仍為酉方陣, 故 $Aut_0(B(0;1))$ 由所有的 $w=zX$ 組成, 這裡 $X$ 為酉方陣, 也就是這個群由所有的酉方陣所組成, 即為酉群 (unitary group) $SU(2)$。

如果存在雙全純映射將 $D^2(0;1)$ 映到 $B(0;1)$, 則由 \eqref{A.11} 建立起 $Aut_0(D^2(0;1))$ 到

$Aut_0(B(0;1))$ 的群同構, 即 $\left\{\left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2} \end{array}\right], \theta_1,\theta_2\in {\Bbb R}\right\}$ 與 $SU(2)$同構, 但這是不可能的, 因為群 $\left\{\left[\begin{array}{ccc} e^{i\theta_1}&~~&0\\ 0&&e^{i\theta_2} \end{array}\right], \theta_1,\theta_2\in {\Bbb R}\right\}$ 為 Abel 群, 而 $SU(2)$ 不是 Abel 群, 於是得到矛盾。

故這樣的雙全純映射 $\Phi$ 是不存在的, 這便證明了 Poincaré 定理。

總結來說, Poincaré 定理指出 Riemann 映射定理在 ${\Bbb C}^n(n\ge 2)$ 時是不對的, 即兩個區域是拓樸等價的未必是全純等價。 於是就引出了 ${\Bbb C}^n$ 中區域的分類問題, 即如果兩個區域拓樸等價, 什麼時候全純等價呢? 這個問題距離解決還很遙遠, 希望更多的年輕人投入這個方向的研究!

參考文獻

L. V. Ahlfors and L. Sario, Riemann Surfaces, Princeton University Press, 1960. J. B. Conway, Function of One Complex Variable, Springer-Verlay, 1986. R. E. Greene and S. G. Krantz, Biholomorphic self-maps of domains, Lecture Notes # 1276, Springer-Verlag, 136-207. S. G. Krantz, Theory of Several Complex Variables, 2nd edition, Wadsworth & Brooks / Cole, 1992. S. Gong and Y. Gong, Concise Complex Analysis, revised edition, World Scientific, 2007. 龔昇與張德健, 微積分五講, 第一講, 「數學傳播」, 第30卷, 第1期, 25-35; 第二講, 「數學傳播」, 第30卷, 第2期, 12-27; 第三講, 「數學傳播」, 第30卷, 第3期, 31-41; 第四講, 「數學傳播」, 第30卷, 第4期, 20-31; 第五講, 「數學傳播」, 第31卷, 第1期, 17-29。

---本文作者龔昇(1930$\sim$2011)逝世前任教中國科技大學, 張德健任教美國 Georgetown University 數學系---