複分析五講 第三講 Weierstrass 級數理論

複 分析五講 第三講 Weierstrass 級數理論

龔 昇 · ^張德健

3.1. Laurent 級數

Weierstrass 是用級數來研究與刻劃複變函數的性質, 在第一講與第二講中我們已提到全 純函數的冪級數展開, 以及 Weierstrass M - 判別法等, 這些結果與微積分中的級數理論大致 上是一樣的。 在這一講中我們要強調的是 Weierstrass 理論與微積分不相同的地方。 在複變函 數的級數理論中, 與微積分級數理論最大不同之處是: 除了 Taylor 級數外, 還有 Laurent 級 數。 在介紹 Laurent 級數之前, 先介紹一個有關函數項級數的 Weierstrass 定理, 這是一個深 刻的定理, 而這個定理在微積分中是沒有的。

定理3.1. (Weierstrass 定理) 若 {fn(z)}^∞n=1 在 Ω⊂ C 上全純, 且 P^∞

n=1

fn(z) 在 Ω 上任一緊緻集合上一致收斂到 f (z), 則 f (z) 在 Ω 上全純, 且 P^∞

n=1

fn^(k)(z) 在 Ω 上任一緊緻集合上收斂到 f^(k)(z), k = 1, 2, . . . 。 在我們證明定理 3.1之前, 我們先敘述兩個有關函數項級數的結果。

(1) 若 {fn(z)}^∞n=1 在集合 A 上連續, 且 P^∞

n=1

fn(z) 在 A 上一致收斂到 f (z), 則 f (z) 在 A 上連續。

(2) 若{fⁿ(z)}^∞n=1 在可求長曲線 γ 上連續, 且 P^∞

n=1

fn(z) 在 γ 上一致收斂到 f (z), 則

Z

γ

f (z)dz =

∞

X

n=1

Z

γ

f_n(z)dz.

這兩個結果與微積分中有關函數項級數的理論是一樣的, 而定理 3.1 為更為深入的結果。

這個定理告訴我們, 如全純函數項級數在區域 Ω 上的任一緊緻集合上一致收斂, 則這個級數會

50

收斂到一個全純函數, 而且逐項求導後的級數也會在 Ω 內任一緊緻集合上一致收斂到全純函數 的導數。

定理3.1 之證明: 由上面所講的結論 (1) 知道, f (z) 在 Ω 上是連續函數。 若 K 為 Ω 內 任一圓周, 其內部包含於 Ω, γ 為 K 內任一可求長的封閉曲線, 由於

∞

P

n=1

fn(z) 在 γ 上一致 收斂, 故由結論 (2) 得到

I

γ

f (z)dz =

∞

X

n=1

I

γ

fn(z)dz = 0, 這是因為 f_n(z) 在 K 內全純。 由 H

γf (z)dz = 0 以及 Morera 定理得到 f (z) 在 K 內全純, 所以 f (z) 在 Ω 上全純。

若 z0 ∈ Ω, D(z⁰; r) ⊂ Ω, 則 P^∞

n=1

fn(z) 在 ∂D(z0; r) 上一致收斂到 f (z), 若 ζ ∈ D(z0; r/2), 則

1 (ζ− z)^k+1

   ≤2

r

k+1

. 所以 P^∞

n=1

fn(z)

(ζ− z)^k+1 在 ∂D(z₀; r) 上一致收斂到 f (z)

(ζ− z)^k+1。 於是任給 ε > 0, 存在 N = N(ε), 使得 n≥ N 時,

n

X

j=1

fj(z)

(ζ− z)^k+1 − f (z) (ζ− z)^k+1

< ε k!, 當 z ∈ ∂D(z⁰; r) 及 ζ ∈ D(z⁰;^r₂) 時成立。

因此, 當 ζ ∈ D(z0;₂^r) 時, 由 Cauchy 積分公式, 

n

X

j=1

f_j^(k)(ζ)− f^(k)(ζ)    

=    

n

X

j=1

k!

2πi Z

∂D(z0;r)

f_j(z)dz

(z− ζ)^k+1 − k!

2πi Z

∂D(z0;r)

f (z)dz (z− ζ)^k

≤ k!

2π Z

∂D(z0;r)

n

X

j=1

fj(z)

(z− ζ)^k+1 − f (z) (z− ζ)^k+1

|dz| < ε.

所以 Pⁿ

j=1

f_j^(k)(ζ) 在 D(z₀;^r₂) 上一致收斂到 f^(k)(ζ)。

取 V 為 Ω 中任一有界的閉區域, 在 V 上的每一點, 都存在一個鄰域使得 Pⁿ

j=1

f_j^(k)(ζ) 一 致收斂到 f^(k)(ζ), 這些鄰域構成 V 的一個開覆蓋, 由 Heine-Brel 定理, 我們可以選取 V 的 一個有限子覆蓋, 因此 P^∞

j=1

f_j^(k)(ζ) 在 V 上一致收斂到 f^(k)(ζ), 定理 3.1 因而證畢。

由最大模原理可以得到: 若 Ω ⊂ C 為一有界區域, 若 {fⁿ(z)}^∞n=1 為 Ω 內的全純函數序 列, 而且在 Ω 上連續, 且級數 P^∞

n=1

f_n(z) 在 ∂Ω 上一致收斂, 則 P^∞

n=1

f_n(z) 在 Ω 上一致收 斂, 因此, 定理 3.1 中的條件 「

∞

P

n=1

fn(z) 在 Ω 內任一緊緻集合上一致收斂到 f (z)」 可以改為

「P^∞

n=1

fn(z) 在 Ω 內任一封閉曲線上一致收斂到 f (z)」, 則定理 3.1 依然成立。

現在我們來討論 Laurent 級數。

若 a, c_n ∈ C, n ∈ Z, 則稱

∞

X

n=−∞

cn(z− a)ⁿ (3.1)

為在點 a 的 Laurent 級數, 即 Laurent 級數由兩部分組成, 一部分是非負冪的冪級數 P^∞

n=0

c_n(z

−a)ⁿ; 一部分是負冪的冪級數

∞

P

n=1

c−n(z−a)⁻ⁿ, 若這兩部分在 z = z0 處收斂, 則稱 Laurent 級數在這點收斂。 若 P^∞

n=0

cn(z− a)ⁿ 的收斂半徑為 R, 且 R > 0, 則級數在 |z − a| < R 內絕 對收斂, 且在其內的任一有界閉集合上一致收斂, 故級數的和 (記作 ϕ(z)) 在|z − a| < R 上 全純。 記 ζ = 1

z− a, 則

∞

P

n=1

c−n(z− a)⁻ⁿ=

∞

P

n=1

c−nζⁿ。 設其收斂半徑為 ρ, 且 ρ > 0, 則 級數在 |ζ| < ρ 內絕對收斂, 且在其內任一有界閉集合上一致收斂, 所以級數 P^∞

n=1

c−n(z−a)⁻ⁿ 在 r = 1

ρ < |z − a| < ∞ 內絕對收斂且在其內任一有界閉集合上一致收斂, 故級數的和 (記 作 ψ(z)) 在 r < |z − a| < ∞ 上全純。 如果 r > R, 則級數 (3.1) 處處發散; 如果 r = R, 則級數 (3.1) 除了 |z − a| = R 的點外, 處處發散; 而在 |z − a| = R 上有不同的情形, 如

∞

P

n=−∞

n6=0

zⁿ

n² 在 |z| = 1 上處處收斂;

∞

P

n=−∞

zⁿ 在 |z| = 1 上處處發散;

∞

P

n=−∞

n6=0

zⁿ

n 在 |z| = 1上 除了 z = 1 外處處收斂。 如果 r < R, 則級數 (3.1) 在圓環 r < |z − a| < R 內絕對收 斂, 且在其內任一有界閉集合上一致收斂, 在圓環外發散。 我們稱這圓環為級數 (3.1) 的收斂圓 環。 由定理 3.1 知, 級數 (3.1) 在圓環內收斂到一個全純函數, ϕ(z) 在 |z − a| < R 內全純, ψ(z) 在 r < |z − a| < ∞ 內全純, 而 f(z) = ϕ(z) + ψ(z) 在 r < |z − a| < R 內全純。

∞

P

n=0

cn(z− a)ⁿ 稱為級數 (3.1) 的全純部分 (holomorphic part),

∞

P

n=1

c−n(z− a)⁻ⁿ 稱為級 數 (3.1) 的主要部份 (principal part) 或奇異部份 (singular part), 即函數 f (z) 的特性主 要由這部分所決定。 綜合上面的討論, 若 Laurent 級數 (3.1) 的收斂圓環為 r < |z − a| < R, 則級數 (3.1) 在此圓環內絕對收斂且在其內任一有界閉集合上一致收斂, 因而函數 f (z) 在此 圓環上全純。

反過來, 我們有下面定理

定理 3.2: 若函數 f (z) 在圓環 V : r < |z − a| < R, 0 ≤ r < R < ∞, 上全純, 則 f (z) 在 V 上有展開式

f (z) =

∞

X

n=−∞

cn(z− a)ⁿ, (3.2) 其中

cn = 1 2πi

I

|z−a|=ρ

f (z)

(z− a)ⁿ⁺¹dz, r < ρ < R. (3.3) 展開式 (3.2) 是唯一的, 稱為 f (z) 在圓環 V 上的 Laurent 級數或 Laurent 展開式。

證明: (3.3) 中的積分與 ρ 無關, 若 r < ρ1 < ρ2 < R, 則 Z

|z−a|=ρ1

f (z)

(z− a)ⁿ⁺¹dz = Z

|z−a|=ρ2

f (z) (z− a)ⁿ⁺¹dz.

若 z ∈ V , 在 V 內取 γ1 = ∂D(a; r₁), γ₂ = ∂D(a; r₂), r₁ < r₂, 且 z 在圓環 r₁ <|z −a| <

r2 之內, 由 Cauchy 積分公式, 我們有 f (z) = 1

2πi Z

γ2

f (ζ)dζ ζ− z − 1

2πi Z

γ1

f (ζ)dζ

ζ− z , (3.4)

當 ζ ∈ γ¹ 時,

1

ζ− z = −1

(z− a)(1 − ^ζ−a_z−a) =−

∞

X

n=1

(ζ− a)ⁿ⁻¹ (z− a)ⁿ , 這是因為 

ζ− a z− a  

 < 1, 上式右手邊的級數是在 γ₁ 上一致收斂的; 當 ζ = γ₂ 時, 1

ζ− z = −1

(ζ− a)(1 −^z−a_ζ−a) =

∞

X

n=0

(z− a)ⁿ (ζ− a)ⁿ⁺¹, 這是因為 

z− a ζ− a  

 < 1, 上式右手邊的級數是在 γ2 上一致收斂的, 將這兩個式子代入 (3.4), 我們便得到 (3.2) 與 (3.3)。

最後我們來證明唯一性, 設 f (z) 在 U 上還有另一個 Laurent 級數展開式 f (z) =

∞

X

n=−∞

c^′_n(z− a)ⁿ, r <|z − a| < R. (3.5)

(3.5) 式右手邊的級數在 |z − a| = ρ, r < ρ < R 上一致收斂到 f(z), 以 (z − a)^−(m+1) 乘 (3.5) 式的兩邊, 然後在 |z − a| = ρ 上積分, 由一致收斂性有

Z

|z−a|=ρ

f (z)dz (z− a)^m+1 =

∞

X

n=−∞

c^′_n Z

|z−a|=ρ

(z− a)^n−m−1dz = 2πc^′_m,

這是因為

Z

|z−a|=ρ

(z− a)^kdz =

(2πi, 若 k =−1;

0, 若 k 6= −1.

於是 c^′_m = cm, m = 0,±1, ±2, . . ., 這便證明了級數的唯一性, 定理 3.2因而證畢。

3.2. 孤立奇異點 (Isolated singularity)

若函數 f (z) 在點 a 的鄰域 D(a; R) \ {a} 上全純, 則稱 a 點為 f(z) 的一個孤立奇異 點, 若 a 為 f (z) 的一個孤立奇異點, 由定理 3.2得知, f (z) 在 0 < |z − a| < R 上可展開成 Laurent 級數

f (z) =

∞

X

n=−∞

cn(z− a)ⁿ, 而

cn = 1 2πi

Z

|ζ−a|=ρ

f (ζ)dζ

(ζ− a)ⁿ⁺¹, 0 < ρ < R, n ∈ Z 如前面所講, f (z) = ϕ(z) + ψ(z), 這裡

ϕ(z) =

∞

X

n=0

c_n(z− a)ⁿ (3.6)

在 |z − a| < R 上全純, 為 f(z) 的 Laurent 展開式的全純部分, 而 ψ(z) =

∞

X

n=1

c−n(z− a)⁻ⁿ (3.7) 在 0 <|z − a| < ∞ 上全純, 為 f(z) 的 Laurent 展開式的主要部份。

下面我們討論 lim

z→af (z) 的情形, 有三種可能。

(1) lim

z→af (z) 存在且有限, 由第二講中的 Riemann 定理, f (z) 可以解析延拓到 D(a; R), 因 此, (3.7) 中的 c_−n 全為零。 反之, 如果 (3.7) 中的 c_−n 全為零, 則 f (z) = ϕ(z), 而

z→alimf (z) = ϕ(a), 故 lim

z→af (z) 存在且有限, 若且唯若 c−n 全為零, 這時稱 a 為可去奇異 點 (Removable singularity)。

(2) lim

z→af (z) 存在且無限, 則充要條件為: (3.7) 中 c−n 只有有限個不為零, 即 ψ(z) = c−1

z− a + c−2

(z− a)² +· · · + c−m

(z− a)^m, c−m 6= 0.

而

f (z) = ϕ(z) + ψ(z)

= c−m

(z− a)^m +· · · + c−1

(z− a) + c0+ c1(z− a) + · · ·

= g(z) (z− a)^m, 其中

g(z) = c−m+ c−m+1(z− a) + · · · , c−m = g(a)6= 0,

這時稱 a 為一個 m 級極點 (pole of order m)。 m = 1 時, 稱為簡單極點 (simple pole)。

證明: 充分性是顯而易見的, 只需證明必要性。

因為 lim

z→af (z) = ∞, 故存在 δ > 0, 使得在 0 < |z − a| < δ 內, f(z) 6= 0, 於是在 0 <|z−a|<δ 內, F (z)= 1

f (z) 全純, 且不為零及 lim

z→aF (z) = 0。 由 (1) 知, a 為 F (z) 的可 去奇異點, 且為 F (z) 的一個零點, 設 a 為 F (z) 的一個 m 階零點, 則 F (z) = (z−a)^mh(z), 這裡 h(z) 在 |z − a| < δ 上全純, 且可取 a的一個鄰域, 使 h(z) 在此鄰域內不為零, 不妨假 設此鄰域為 |z − a| < δ, 因此 1

h(z) 在 |z − a| < δ 上全純且不為零, 其 Taylor 展開式為 1

h(z) = c−m+ c−m+1(z− a) + c−m+2(z− a)²+· · · , c−m 6= 0, |z − a| < δ, 於是

f (z) = 1

F (z) = 1 (z− a)^mh(z)

= c−m

(z− a)^m + c−m+1

(z− a)^m−1 +· · · + c−1

z− a + c0 + c1(z− a) + · · · . 由 Laurent 展開式的唯一性, 得證 (2)。

從 (1), (2) 立即得到

(3) lim

z→af (z) 不存在, 其充要條件為 (3.7) 的係數 c−n 有無窮多個不為零, 這時稱 a 為 f (z) 的本性奇異點 (Essential singularity)。

例如: f (z) = e^1z, z = 0 為其本性奇異點, 因為

z=x→0lim⁺e^1z = +∞ 而 lim

z=x→0⁻e^z1 = 0, 故 lim

z→zf (z) 不存在。

對於本性奇異點, 我們有如下重要的定理。

定理3.3. (Weierstrass 奇異點定理): 若 a 為 f (z) 的本性奇異點, 任給 δ > 0, 則對任 意有限複數 α 及正數 ε > 0, 在 0 < |z − a| < δ 內有一點 z, 使得 |f(z) − α| < ε 成立, 即 f (z) 在本性奇異點的鄰域內的取值在 C 上是稠密的。

證明: 假設定理的結論不真, 則存在有限複數 α 及 ε > 0 使得在 0 < |z − a| < δ 內,

|f(z) − α| > ε, 於是

F (z) = f (z)− α z− a

在 0 <|z − a| < δ 上全純, 而當 z → a 時, F (z) → ∞, 故 a 為 F (z) 的極點, 由 (2) 得知, F (z) = c−m

(z− a)^m + c−m+1

(z− a)^m−1 +· · · + c−1

z− a + c0+ c1(z− a) + · · · 所以,

f (z) = c_−m

(z− a)^m−1 +· · · + c₋₂

z− a + (α + c−1) + c0(z− a) + · · · ,

因而 a 或是 f (z) 的 m− 1 階極點 (當 m > 1) 或是 f(z) 的可去奇異點 (當 m = 1), 這與 定理的條件相矛盾, 定理因而證畢。

Weierstrass 奇異點定理十分深入地刻劃了 f (z) 在一個本性奇異點附近的值分佈性質, 但 1879年, Picard 證明了更為廣泛, 更為深刻的 Picard 定理: 全純函數在一個本性奇異點的 鄰域內無窮多次地取到每一個有限複值, 至多除去一個例外。 關於 Picard 定理我們將在第五 講再作討論。

以上討論的孤立奇異點是有限複數的情形, 現在我們討論孤立奇異點是無窮遠點的情形。

若函數 f (z) 在圓環 V : R < |z| < ∞ (R > 0) 上全純, z = ∞ 為 f(z) 的一個孤立奇 異點, 這個時候, 考慮變換 w = 1

z, 將 z =∞ 的鄰域變為 w = 0 的鄰域, 於是 g(w) = f (z) = f1

w



在 0 <|w| < 1

R 上全純, 且可展開成 Laurent 級數 g(w) =

∞

X

n=−∞

c−nwⁿ=

∞

X

n=0

c−nwⁿ+

∞

X

n=1

cnw⁻ⁿ= ϕ(w) + ψ(w),

ϕ(w) 為 g(w) 的 Laurent 展開式的全純部分, 而 ψ(w) 為 g(w) 的 Laurent 展開式的主要 部分, 於是

f (z) =

∞

X

n=−∞

c−n

zⁿ =

∞

X

n=0

c−n

zⁿ +

∞

X

n=1

cnzⁿ= ϕ0(z) + ψ0(z),

其中 ϕ₀(z) 為 f (z) 的 Laurent 展開式的全純部分, ψ0(z) 為 f (z) 的 Laurent 展開式的主 要部分, 所以

(1) 當 z =∞ 為 f(z) 的可去奇異點時,

f (z) = c0 +c−1

z + c−2

z² +· · · ; (2) 當 z =∞ 為 f(z) 的 m 階極點時,

f (z) =

+∞

X

n=0

c−n

zⁿ + c1z + c2z²+· · · + cmz^m, cm 6= 0;

(3) 當 z =∞ 為 f(z) 的本質性奇異點時, f (z) =

∞

X

n=0

c_−n zⁿ +

∞

X

n=1

cnzⁿ.

3.3. 整函數與亞純函數 (Entrice function and meromorphic function)

若函數 f (z) 除了無窮遠點外, 在 C 上是全純的, 則稱 f (z) 為一整函數 (entire func- tion)。 於是, f (z) 的 Taylor 展開式

f (z) =

∞

X

n=0

cnzⁿ (3.8)

在複平面上成立, z =∞ 是孤立奇異點, 由 Laurent 展開式的唯一性, (3.8) 也是 f(z) 在無 窮遠點的鄰域的 Laurent 展開式。 於是有三種可能:

(1) z =∞ 為 f(z) 的可去奇異點, 則由 Liouville 定理得知, f(z) 為常數函數;

(2) z =∞ 為 f(z) 的一個 m 階極點, 則 cn = 0, 當 n > m, 即 f (z) 為一個 m 階多項式 f (z) = c0 + c1z + c2z²+· · · + c^mz^m, cm 6= 0.

(3) z =∞ 為 f(z) 的一個本性奇異點, 則

f (z) = c0 + c1z + c2z²+· · · + cnzⁿ+· · · ,

其中 c_n (n≥ 1) 有無窮多個不為零, 這時稱 f(z) 為超越整函數 (transcendental entire function), 例如: e^z, cos z, sin z 等等。

若函數 f (z) 除了無窮遠點外, 在複平面上只有極點 (極點的數目可為有限, 亦可為無限), 則稱 f (z) 為一亞純函數 (meromorphic function)。 整函數是亞純函數; 有理函數 f (z) =

Pn(z)

Q_m(z) 也是亞純函數, 其中 Pn(z), Qm(z) 為兩個互質多項式, 即 Pn(z) = a0+ a1z +· · · + aⁿzⁿ, an6= 0, Q_m(z) = b₀+ b₁z +· · · + bmz^m, b_m 6= 0.

且 (P_n(z), Qm(z)) = 1, Qm(z) 的零點是 f (z) 的極點, 由於 f (z) = Pn(z)

Qm(z) = 1 z^m−n

an+^an−1_z +· · · +_z^an0 bm+ ^bm−1_z +· · · + _z^bm0 , 所以

z→∞lim f (z) =









 an

b_m, 若 m = n;

∞, 若 n > m;

0, 若 n < m.

即 z =∞ 或是 f(z) 的可去奇異點, 或是 (n − m) 階極點。

反過來, 我們有如下定理。

定理3.4. 若 z = ∞ 為亞純函數 f(z) 的可去奇異點或極點, 則 f(z) 必為有理函數。

證明: 由於 z = ∞ 是 f(z) 的可去奇異點或極點, 故存在 R > 0, 使得 f(z) 在 R < |z| < ∞ 上全純, 假設 f(z) 在 z = ∞ 的鄰域內的 Laurent 展開式的主要部分為 P(z), 當 z = ∞ 為 f(z) 的可去奇異點時, P(z) ≡ 0; 當 z = ∞ 為 f(z) 的極點時, P(z) 是一多項式。

在圓|z| ≤ R 上, f(z) 只能有有限個極點, 否則, 若 f(z) 有無限多個極點, 由 Bolzano- Weierstrass 定理, 這無窮多個極點必有一個極限點 z0, 且 z0 在 |z| ≤ R 上, 這便告訴 我們 z₀ 是 f (z) 的一個非孤立奇異點, 但這是不可能的, 因為 f (z) 是一個亞純函數, 假設 z1, z2, . . . , zk 是 f (z) 的極點, 在 z_j, (j = 1, . . . , k) 的鄰域內, f (z) 的 Laurent 展開式的 主要部分為

ψj(z) = c^(j)₋₁ z− zj

+· · · + c^(j)_−mj

(z− zj)^mj, j = 1, 2, . . . , k.

全純部分為 ϕj(z), 於是函數

F (z) = f (z)− P(z) −

k

X

j=1

ψj(z)

除去 z₁, z2, . . . , zn,∞ 外在 C 上全純, 而這些點是 F (z) 的可去奇異點。 事實上, 當 z → zj

時,

z→zlimj

(f (z)− ψj(z)) = ϕ_j(z_j), 而 P

m6=j

ψm(z)− P(z) 在 zj 是全純的, 故 lim

z→zj

F (z) 存在且有限。 在 z =∞, f(z) − P(z) 是 f (z) 在 z = ∞ 的鄰域的 Laruent 展開式的全純部分, 故 lim

z→∞(f (z)− P(z)) 存在且有 限, 而

z→∞lim

k

X

j=1

ψj(z) = 0.

於是 lim

z→∞F (z) 有限, 故 F (z) 在 C 上全純。 由 Liouville 定理 F (z) 為一常數 c, 因此 f (z) = c +P(z) +

k

X

j=1

ψj(z).

即為有理函數, 定理因而證畢。

除去有理函數外的亞純函數, 稱為超越亞純函數。 超越亞純函數或以 z = ∞ 為本性奇 異點, 或以 z = ∞ 為它的極點的極限點。 在第二講中我們已經討論過單位圓盤的全純自同構 群, 現在我們可以進一步定義出複平面 C 及擴充複平面 C^∗, 即 C 加上無窮遠點 ∞, 也即 Riemann 面 S² 的自同構群。

3.3.1. 複平面 C 的全純自同構群 Aut(C)

若 α(z) ∈ Aut(C), 則 α(z) 一定將 ∞ 點映為 ∞ 點。 由於映射是自同構, 故為一對一 的, 因此, α(z) 在 ∞ 點有一單極點, 根據前面討論的結果, α(z) 一定是一個一次多項式, 即

α(z) = az + b, a, b∈ C, a 6= 0。 反過來, 若 a, b ∈ C, a 6= 0, 則淺顯易見 az + b ∈ Aut(C), 故 Aut(C) 是由所有的線性變換

{az + b : a, b ∈ C, a 6= 0}

所組成, 即 Aut(C) 是由平移 (translation) a(z) = z + b 及伸縮 (dilation) d(z) = az 的 複合所組成。

3.3.2. 擴充複平面的亞純自同構群 Aut(C

)

若 α(z) ∈ Aut(C^∗), 且 α(∞) = ∞, 由於自同構是一對一的, 故 α(z) 在 C 上是屬於 Aut(C) 的, 因此, α(z) = cz + d, 這裡 c, d∈ C, c 6= 0。 我們也很容易證明

α(z) = az + b

cz + d ∈ Aut(C^∗), 其中 a, b, c, d∈ C, 且 ad − bc 6= 0。

若 α(z) ∈ Aut(C^∗) 且 α(∞) 6= ∞, 則 β(z) = 1

α(z)− α(∞) ∈ Aut(C^∗), 且 β(∞) = ∞, 所以 β(z) = cz + d, 這裡 c, d ∈ C, c 6= 0, 於是

cz + d = 1

α(z)− α(∞), 由此可解出 α(z), 得到 α(z) = az + b

cz + d, 這裡 a = α(∞)c, b = dα(∞) + 1, 故 Aut(C^∗) 是 由所有分式線性變換

 az + b

cz + d : ad− bc = 1



所組成, 即 Aut(C^∗) 是由平移 α(z) = z+b, 伸縮 α(z) = az 以及反演 (Inversion) α(z) = 1 z 的複合所組成。 如果令 az + b

cz + d 與二階方陣

"

a b c d

#

一一對應, 則 Aut(C^∗) 與所有的二階方陣

("

a b c d

#

, det

"

a b c d

#

= 1 )

所組成的群相同構, 這個群稱為二階特殊線性群, 記作 SL(2, C), 這裡 detA 為矩陣 A 的行 列式。

在複分析中有下面一個非常重要的定理。

定理3.5. 單值化定理 (Uniformization theorem)

任意單連通的 Riemann 曲面一定一對一地全純等價於下面三個區域之一: 單位圓盤, 複 平面 C, 擴充複平面 C^∗, 即 Riemann 球面 S²。

Riemann 曲面的意義將在下一講中詳細介紹。 由上述的定理 3.5 及第二講中所提到的單 位圓盤上的全純自同構群, 我們可以得出定理 3.5 中所敘述三種區域的自同構群, 即定義出了 所有單連通 Riemann 曲面上一對一全純等價的區域的自同構群。 在下一講中我們還將要證明 在複變函數論中非常重要的 Riemann 映射定理 (Riemann mapping theorem): 任意邊界 點至少有兩點的單連通區域一定一對一地全純等價於單位圓盤。 所以在一對一全純等價的意義 之下, 單連通區域只有三個。 至於這個區域上的幾何性質, 我們將在第五講中作進一步地討論。

3.4. Weierstrass 因式分解定理、Mittag-Leffler 定理與插 值定理 (Interpolation theorem)

在這一節中, 我們將討論三個構造性的定理。 對於整函數 f 而言, 除了無窮遠點之外, 函 數是全純的, 所以我們可以用第二講中的 Taylor 展開式來表達之: f (z) = P^∞

j=0

ajz^j。 由上一 節的討論中, 我們也知道若 z = ∞ 是整函數 f 的極點, 則 f(z) 是一個多項式, 因此, 我們可 以將整函數看成是多項式的自然推廣, 即 f (z) =

∞

P

j=0

ajz^j 是一個無窮多次階的多項式。

對於多項式, 一個明確的表示便是用它的零點來表達, 若 a₁, . . . , an為 n 次多項式 P_n(z) 的零點, 則

Pn(z) = A(z− a¹)· · · (z − aⁿ),

這裡 A 是一個複常數, 這個表示式稱為 Pn(z) 的因式分解 (factorzation)。 對於超越整函數, 是否也可以因式分解: 即如果 a₁, a₂, . . . , a_n, . . . 為整函數的無窮多個零點, 是否可將此函數表 示為

A(z− a¹)(z− a²)· · · (z − aⁿ)· · · = A

∞

Y

j=1

(z− a^j)?

由於上式中的乘積是無窮乘積, 這就牽涉到收斂的問題。 而這個問題的答案正是 Weierstrass 因式分解定理 (Weierstrass factorization theorem)。 為了證明這個定理, 我們先簡單地討論 一下無窮乘積。

對複數序列 {an} (n = 1, 2, . . .) 作乘積 Pn =

n

Y

k=1

(1 + ak),

若 1 + ak 6= 0, k = 1, 2, . . ., 則

n→∞lim Pn =P 6= 0, 且 P 為有限, 則稱無窮乘積

∞

Y

n=1

(1 + a_n) (3.9)

是收斂的, 且收斂到 P, 記作 P = Q^∞

n=1

(1 + a_n), 否則稱 (3.9) 是發散的。

由於當 x ≥ 0 時, 1 + x ≤ e^x, 故

|a¹| + |a²| + · · · + |aⁿ| ≤ (1 + |a¹|)(1 + |a²|) · · · (1 + |aⁿ|) ≤ e^{|a1|+|a2|+···+|an|} 因此, P^∞

n=1|an| 與 Q^∞

n=1

(1 +|an|) 同時收斂或同時發散。 若 P^∞

n=1|an| 收斂, 則稱 (3.9) 絕對收斂。

於是有: 絕對收斂的無窮乘積一定收斂, 且絕對收斂的無窮乘積可以改變因子的順序而不影響 無窮乘積的值。 有關這個敘述, 讀者可以自行證之。

現在我們來討論整函數的因式分解。

如整函數 f (z) 沒有零點, 則顯然 f (z) 可以表為 f (z) = e^φ(z), 這裡 φ(z) 是一整函數。

事實上, 只要首先注意到函數 f^′(z)

f (z) 在整個平面上解析, 它是一個整函數 φ(z) 的導數。 從這一 個事實經過計算就可以推知 f (z)e^−φ(z) 的導數為零, 所以 f (z) 是 e^φ(z) 的常數倍, 這一常數 可以併在 φ(z) 之內。 若 f (z) 是一個只有有限個零點的整函數, 若 0, a₁, a2, . . . , an (aj 6= 0, j = 1, . . . , n) 是 f (z) 的零點, 其階分別為 m, m1, . . . , mn。 令

p(z) = z^m

 1− z

a1

m1

· · ·

 1− z

an

mn

,

則 h(z) = f (z)

p(z) 是以 z = 0, a_j, j = 1, . . . , n, 為可去奇異點, 故 h(z) 為沒有零點的整函 數, 於是 h(z) = e^ψ(z), ψ(z) 為整函數。 因此, f (z) 可表為

f (z) = z^m

 1− z

a₁

m1

· · ·

 1− z

a_n

mn

e^ψ(z),

即 f (z) 可表為一個多項式及一個沒有零點的整函數的乘積, 而此多項式是以 f (z) 的零點為 零點, 且其階數相同。

若整函數 f (z) 有無限多個零點且不恆等於零, 由於 f (z) 的零點為可數個, 所以我們可 將 f (z) 的零點按模的大小排列成一序列 (z = 0 除外, 將另作處理) a₁, a2, . . . , an, . . .

0 <|aⁿ| ≤ |aⁿ⁺¹|, lim

n→∞|aⁿ| = ∞. (3.10)

由於 lim

n→∞|an| = ∞, 故對任意的正數 R, P^∞

n=1

 R

|an|

n

是收斂的。 考慮無窮乘積

∞

Y

n=2

 1− z

an



exp z an

+1 2

 z an

2

+· · · + 1 n− 1

 z an

n−1

. (3.11)

令

Pn(z) = z an

+1 2

z zn

2

+· · · + 1 n− 1

 z an

n−1

, Q_n(z) = log

1− z an

+ P_n(z), En(z) =

1− z an

e^Pn(z) = e^Qn(z),

則 (3.11) 即為 Q^∞

n=2

En(z)。

對任意固定正數 R, 取正整數 N, 使得 n≥ N 時, |aⁿ| ≥ 2R, 考慮無窮乘積 Q^∞

n=N

En(z), 當 |z| ≤ R, n ≥ N 時,

z an

   ≤

1 2, 故

|Qn(z)| ≤ 1 n

 |z|

|an|

n

+ 1 n + 1

 |z|

|an|

n+1

+· · ·

≤ |z|

|an|

n

1

1−_|a^|z|_n| ≤ 2

 R

|an|

n

.

由於 P^∞

n=1

 R

|aⁿ|

n

收斂, 故 P^∞

n=N

Qn(z) 在 |z| ≤ R 上絕對且一致收斂, 故

∞

Y

n=N

E_n(z) = exp

 ^∞ X

n=N

Q_n(z)

 ,

在 |z| ≤ R 上一致收斂。 由 Weierstrass 奇異點定理 (定理 3.1) 知, 這個無窮乘積表示一個 在 |z| < R 上的全純函數, 且函數不為零, 而

 1− z

a1

^{N −1} Y

n=2

En(z)

的零點為 an (n = 1, . . . , N− 1), 而這些點都在 |z| ≤ 2R 之中。 因此, 在 |z| < R 中的那些 a_n (n = 1, 2, . . .) 是 

1− z a1

^{N −1}Y

n=2

E_n(z) 的零點, 且在 |z| < R 中只有這些零點。

當 |z| < R, n 充分大時, 可使 |Qn(z)| < 1, 不難證明 |e^z− 1| ≤ 7

4|z|, 當 |z| < 1 時 成立。 所以

|Eⁿ(z)− 1| = |e^Qn(z)− 1| ≤ 7

4|Qⁿ(z)| ≤ 7 2

 R

|an|

n

, 所以, Q^∞

n=N

En(z) 當 N 充分大時, 在|z| ≤ R 上絕對收斂。

於是對於已給的複數序列 (3.10), 存在一個以 an (n = 1, 2, . . .) 為其零點的整函數 h(z) =

1− z a1

Y^∞

n=2

En(z), 這個無窮乘積對 z 絕對收斂, 且

P_N(z) =  1− z

a1

Y^N

n=2

E_n(z) 在任意圓盤 |z| < R 上一致收斂到 h(z), 於是我們得到下面定理。

定理3.6. Weierstrass 因式分解定理

若 f (z) 為一整函數, z = 0 為 f (z) 的 m 階零點 (m 也可以為零), 其餘零點為 a1, a2, . . . 滿足 0 < |aⁿ| ≤ |aⁿ⁺¹|, lim_n→∞|aⁿ| = ∞, 則 f(z) 可表示為

f (z) = z^me^g(z)

∞

Y

n=1

1− z an

· exp z an

+ 1 2

 z an

2

+· · · + 1 n− 1

 z an

n−1

. (3.12) 其中 g(z) 為一整函數。

證明: 如前面討論, 可以作出整函數 h(z), 以 an (n = 1, 2, . . .) 為其零點, 於是 z^mh(z) 與 f (z) 有相同零點及相同階數。 所以 0, a_n (n = 1, 2, . . .) 為

H(z) = f (z) z^mh(z)

的可去奇異點, 且沒有零點, 故 H(z) = e^g(z), 這裡 g(z) 為整函數, 定理因而證畢。

由於 g(z) 不唯一, 故 f (z) 的表示式也不唯一。

對於亞純函數, 我們可以期待怎樣的表示式呢? 首先從 Weierstrass 因式分解定理的證 明中可得到: 任意亞純函數可以表為兩個整函數的商。

證明: 若 f (z) 為一亞純函數, 於是存在整函數 f₁(z), 它以 f (z) 的極點為其零點。 令 f2(z) = f (z)f1(z), 在 f (z) 的極點 a 處定義

f2(a) = lim

z→af2(z),

則 f₂(z) 也是一個整函數。 故 f (z) = f₂(z) f1(z)。

由於任意亞純函數可以表示成兩個整函數之商, 而由 Weierstrass 因式分解定理, 每個整 函數可以表示成 (3.12) 的形式, 故每個亞純函數可表示為兩個形如 (3.12) 式子的商。 這時, 這 個亞純函數可以用它的零點及極點明確地表示出來。

此外, 在上一節中討論過, 如果一個亞純函數 f (z) 只有有限多個極點 a1, a2, . . . , an, 且 z =∞ 是它的極點或可去奇異點, 則 f(z) 為有理函數, 並且有

f (z) = c + P (z) +

n

X

j=1

ψj(z), 這裡 c 為一常數, P (z) 為多項式, ψ_j(z) 為極點 z = aj 的主要部分。

對於一個超越亞純函數 f (z), z = ∞ 或是它的本性奇異點, 或是它的極點的極限點。 若 z =∞ 是 f(z) 的本性奇異點, 則 f(z) 的極點為有限多個, 故

U(z) = f (z)−

n

X

j=1

ψ_j(z)

是一個超越整函數, 因此

f (z) = U(z) +

n

X

j=1

ψj(z).

若 z = ∞ 是 f(z) 的極點的極限點, 這些極點是 a1, a2, . . . , an, . . . 按模的大小排列起 來,|aⁿ| ≤ |aⁿ⁺¹|, lim_n→∞|aⁿ| = ∞。 在 a^j 點, 其主要部分為 ψj(z) 也是已給的。 是否存在亞純 函數 f (z), 以 a1, a2, . . . , an, . . . 為其極點, 而以 ψ1, ψ2, . . . , ψn, . . . 為相應的主要部分, 於 是我們有

定理3.7. (Mittag - Leffler 定理)

存在這樣的亞純函數, 以 a1, a2, . . . , an, . . . 為其極點, 且滿足|aⁿ| ≤ |aⁿ⁺¹|, lim_n→∞|aⁿ| =

∞。 而以 ψ¹(z), ψ2(z), . . . , ψn(z), . . . 為相應的主要部分。

證明: 在 aj 點取小的鄰域 U_j, j = 1, 2, . . ., 使得 Uj ∩ Uk =∅, 當 j 6= k, 取 C^∞ 函數 ψj, 使得 ψj = 1 在 aj 的一個小鄰域 Vj ⊂ U^j, ψj = 0 在 Uj, j = 1, 2, . . . 的餘集合上, 於 是在 C \ {aj}^∞j=1 上定義 u = P^∞

j=1

ϕ_jψ_j, 則 u 在 C\ {aj}^∞j=1 上為 C^∞ 且在 V_j\ {aj} 上的 值為 ψj, 即在 aj 附近有我們所要求的主要部分。 但 u 不是亞純的。 令

Ψ =







∂u

∂z, 當 z ∈ C \ {aj}^∞j=1

0, 當 z = aj, j = 1, 2, . . . .

由於在 V_j \ {aj} 上, u = ψj, 故當 z 6= aj 時, ∂u

∂z = 0, 即在 Vj \ {aj} 上, Ψ = 0, 而由 Ψ 的定義, 當 z = ai 時, Ψ = 0, 故 Ψ 為連續函數。 同理可證 Ψ 為 C^∞ 的函數。 於是由一維的

∂ - 問題的解 (定理 2.4), ∂ - 問題

∂V

∂z = Ψ

在 C 上有 C^∞ 的解 v, 這可表示為第二講定理 2.4 中的 (1.4) 之形式 u(z) = 1

2πi Z Z

C

Ψ(ζ)

ζ− zdζ∧ dζ,

於是 f = u − v 即為所求的亞純函數。 顯然, 當 z ∈ C \ {a^j}^∞j=1 時, ∂(u− v)

∂z = 0, 即

∂f

∂z = 0, 故當 z ∈ C \ {aj}^∞j=1 時, f 是全純的。 由於 v ∈ C^∞(C), 由 u 的定義, 當 z 取 aj

附近的值時, f 有主要部分 ψ_j(z)。 定理因而證畢。

用 ∂ - 問題的解來證明 Mittag - Leffler 定理, 乾淨俐落。 但如果用古典複分析的方法來 證明, 可以將所得的亞純函數寫得更清楚。

定理3.7^′. (Mittag - Leffler 定理) 假設 f (z) 為一亞純函數, an(n = 1, 2, . . .) 為 f (z) 的極點, 且滿足 |an| ≤ |an+1|, lim

n→∞|an| = ∞, 則 f(z) 可以寫成 f (z) = U(z) +

∞

X

n=1

{Ψⁿ(z)− Pⁿ(z)},

這裡 Ψ_n(z) 為 f (z) 在極點 z = an 處的主要部分, P_n(z) (n = 1, 2, . . .) 為多項式, U(z) 為 整函數。

證明: 取正數 εn > 0 (n = 1, 2, . . .), 使得 P^∞

n=1

εn< +∞。 若 a¹ = 0, 則取 P1(z) = 0, 對 a_n (6= 0), Ψn(z) 是 (z− an)⁻¹ 的多項式, 故在 |z| < an 內全純, 因此可展成 Taylor 級 數

Ψn(z) =

∞

X

k=0

Ψ^(k)n (0) k! z^k, 當 |z| < |aⁿ| 時成立。 這個級數在 |z| < 1

2|aⁿ| 內一致收斂到 Ψⁿ(z), 故存在 λn, 使得 

Ψn(z)−

λn

X

k=0

Ψ^(k)n (0) k! z^k

< εn.

記 P_n(z) = P^λn

k=0

Ψ^(k)n

k! z^k。 設 R 為任意正數, 取正整數 N = N(R), 使得 n > N 時, |an| >

2R; n≤ N 時, |aⁿ| ≤ 2R, 於是, 當 n > N, |z| < R 

|z| < 1 2|aⁿ|

時, 

Ψⁿ(z)− Pⁿ(z)   < εⁿ. 由於 P^∞

n=1

εn < +∞, 故 P^∞

n=N +1{Ψn(z) − Pn(z)} 在 |z| < R 上一致收斂。 當 n > N 時, Ψ_n(z) 的極點 z = an 不在 |z| < R 內, 故由 Weierstrass 奇異點定理 Φn(z) =

∞

P

n=N +1{Ψn(z)− Pn(z)} 在 |z| < R 上全純, 於是 ϕ(z) =

N

X

n=1

{Ψn(z)− Pn(z)} + ΦN(z)

在|z| < R 內, 以滿足 |an| < R 的那些 an(n = 1, 2, . . .) 的點為極點, 其主要部分是 Ψn(z)。

由於 R 是任意的, 故 ϕ(z) 即為以 a₁, a₂, . . . , a_n, . . . 為極點, 以 Ψ₁(z), Ψ₂(z), . . . , Ψ_n(z), . . . 為其相應主要部分的亞純函數。 定義 U(z) = f (z)− ϕ(z),

U(an) = lim

z→an{f(z) − ϕ(z)}, 則 U(z) 為一整函數, 定理因而證畢。

若已給 m 個點 z1, . . . , zm 及 m 個複數值 a1, a2, . . . , am, 一定可以找到一個多項式 p(z), 使得

p(zj) = aj, j = 1, 2, . . . , m.

這只要從 m 個方程式 p(z_j) = aj, (j = 1, 2, . . . , m) 中解出 p(z) 的係數即可。 同樣, 若已給 m 個點 z1, z2, . . . , zm 及複數值 aj,k (j = 1, . . . m, 0≤ k ≤ nj− 1), 這裡 nj 為 ≥ 1 的整 數, 則可以找到多項式 p(z), 使得

p^(k)(zj) k! = aj,k

也就是可以找到多項式 p(z), 使得 p(z) 在 zj 的 Taylor 展開式的開始 n_j 項是所給定的多項 式。 下面我們將證明一個十分一般的插值 (interpolation) 定理。

定理3.8. (插值定理)

若 z₁, z2, . . . 為 C 中的一個離散點集合, n1, n2, . . ., 為一個正整數序列, aj,k (j ≥ 1, 0≤ k ≤ nj− 1) 為一複數序列, 則存在一個整函數 g(z) 使得

g^(k)(zj) = k!aj,k (j≥ 1, 0 ≤ k ≤ nj− 1)

成立。 即如果預先給定一個點序列 {z^j} 及每一點 z^j 上的 Taylor 展開式的開始 n_j 項, 則一 定存在一個整函數, 在這些點上, 有這樣的 Taylor 展開式。

證明: 由 Weierstrass 因子分解定理, 可以找到整函數 f (z), 使得 f (z) 在 z = zj 處為 nj 重零點。 由於 z₁, z2, . . . , zn, . . . 為一離散序列, 故可以找到正數序列 ε1, ε2, . . . , εn, . . . 使 得以 zj 為中心, 2εj 為半徑的圓盤 D(zj; 2εj) 相互之間互不相交。 作

P_j(z) = X

0≤k≤nj−1

a_j,k(z− zj)^k, j ≥ 1.

對每個 j, 作 ϕj ∈ C^∞, 使得 ϕj 的支集合在 D(zj; 2εj) 之中, 且 0≤ ϕ^j ≤ 1, 而在 D(z^j; εj) 上 ϕ_j ≡ 1, j = 1, 2, . . .。

令 ψ(z)∈ C^∞, 作函數

g(z) =X

j≥1

Pj(z)ϕj(z)− f(z)ψ(z). (3.13)

由於 ϕj 的支集在 C 上互不相交, 故對每一點 z ∈ C, P

j=1

Pj(z)ϕj(z) 中最多只有一項不為 零, 所以這個式子是有意義的。 我們要求出 ψ, 使得 g(z) 是一個整函數, 即要求 ∂g

∂z = 0。 當 z ∈ C 時, 此即

X

j≥1

Pj(z)∂ϕj(z)

∂z = f (z)∂ϕ

∂z(z).

令

h(z) = X

j≥1

Pj(z)∂ϕj(z)

∂z , 則在 S^∞

j=1

D(zj; εj) 上, h(z) ≡ 0。 在 z = z^j 處, 取 h(z)

f (z) = 0, 則 h(z)

f (z) 在 C 上是 C^∞ 的。 h 有互不相交的緊緻支隻合, 故由 ∂ - 問題知 ∂ψ

∂z = h

f 有一個光滑的解 ψ。 取這樣的 ψ, 則 (3.13) 定義了一個整函數, 在 S^∞

j=1

D(zj; εj) 上, ∂ψ

∂z = 0, 故 ψ 在 zj 的附近是全純的。

由於 f (z) 在 z = z_j 處有 n_j 重零點, 故由 (3.13) 所定義的 g(z), 可以直接計算驗證: 當 0≤ k ≤ nj− 1 時,

g^(k)(zj) = P_j^(k)(zj) = k!aj,k

成立, 定理因而證畢。

3.5. 留數定理 (Residue Theorem)

若函數 f (x) 在 D(a; r) \ {a} 上全純 (r > 0), a 為 f(z) 的孤立奇異點, f(z) 在 a 的 留數 (residue) 定義為

Res (f, a) = 1 2πi

I

|z−a|=ρ

f (z)dz,

這裡 0 < ρ < r。 由於 f (z) 在 D(a; r) \ {a} 可展開成 Laurent 級數 f(z) = P^∞

n=−∞

cn(z− a)ⁿ, 所以 Res (f, a) = c−1。

若 z = ∞ 為 f(z) 的孤立奇異點, f(z) 在 R < |z| < ∞ 內全純, 定義 f(z) 在 z = ∞ 的留數為

Res (f,∞) = −1 2πi

I

|z|=ρ

f (z)dz,

這裡 R < ρ < ∞。 由於 f(z) 在 z = ∞ 的鄰域可展開成 Laurent 級數 f(z) = P^∞

n=−∞

cnzⁿ, 故 Res (f, ∞) = −c⁻¹。

若 a (6= ∞) 為 f(z) 的 m (m ≥ 1) 階極點, 於是 f(z) 在 a 的鄰域內可寫成 f (z) = 1

(z− a)^m g(z), 而 g(z) 在 z = a 處全純, 且 g(a) 6= 0, 故

g(z) =

∞

X

n=0

1

n!g⁽ⁿ⁾(a)(z− a)ⁿ. 因此,

Res (f, a) = c₋₁ = 1

(m− 1)!g^(m−1)(a).

而

g^(m−1)(a) = lim

z→a

d^m−1 dz^m−1

n(z− a)^mf (z)o , 故

Res (f, a) = 1

(m− 1)!lim

z→a

d^m−1 dz^m−1

n(z− a)^mf (z)o . 特別當 m = 1 時,

Res (f, a) = g(a) = lim

z→a(z− a)f(z).

我們有如下的定理。

定理3.9. (留數定理)

若 f (z) 在區域 Ω ⊆ C 上除去 z1, z2, . . . , zn 之外是全純的, 且 f (z) 在 Ω 上除去 z₁, z₂, . . . , z_n 之外是連續的。 假設 ∂Ω 為可求長的簡單封閉曲線, 則

Z

∂Ω

f (z)dz = 2πi

n

X

k=1

Res (f, zk).

定理3.9^′. (留數定理)

若 f (z) 在 C^∗ 上除去 z1, z2, . . . , zn,∞ 外是全純的, z1, z2, . . . , zn,∞ 為 f(z) 的孤立 奇異點, 則 f (z) 在所有這些孤立奇異點的留數之和為零, 即

n

X

k=1

Res (f, zk) + Res (f,∞) = 0.

這兩個定理的證明是明顯的, 我們只要用 Cauchy 積分定理便立即可得到結論。 所以證明在此 從略。 留數定理本身是十分簡單的, 重要的是可以用它來計算一些定積分的值。 而這些定積分的 被積函數的反導數函數往往是求不出來的。 用留數定理求定積分有種種技巧, 如函數 f (z) 的選 取, 積分路線的選取等等。 在這裡我們只舉幾個簡單的例子來說明。

例1. 計算積分 Z ∞

−∞

dx

(1 + x²)ⁿ⁺¹, n∈ N。

解: 取 f (z) = 1

(1 + z²)ⁿ⁺¹, 則 f (z) 在上半平面有唯一孤立奇異點 z = i, 它為 f (z) 的 n + 1 階極點。 取 Ω 為上半圓盤 |z| < R, I^m(z) > 0。 於是

Res (f, i) = 1 n!

dⁿ dzⁿ

 (z − i)ⁿ⁺¹ (z²+ 1)ⁿ⁺¹

   z=i

= 1 n!

dⁿ dzⁿ

 1

(z + i)ⁿ⁺¹

   z=i

= 1 n!

(−1)ⁿ(n + 1)(n + 2)· · · (2n) (2i)ⁿ⁺¹ = 1

2i

(2n)!

2²ⁿ(n!)². 另一方面,

Res (f, i) = 1 2πi

Z

∂Ω

dz (z²+ 1)ⁿ⁺¹

= 1 2πi

Z R

−R

dx

(1 + x²)ⁿ⁺¹ + 1 2πi

Z

γ_R

dz

(1 + z²)ⁿ⁺¹, (3.14)

圖 A

這裡 γ_R 為上半圓周 (見圖 A): z = Re^iθ, 0 ≤ θ≤ π。 但

1 2πi

Z

γ_R

dz

(1 + z²)ⁿ⁺¹ = 1 2πi

Z π 0

iRe^iθdθ (1 + R²e^2iθ)ⁿ⁺¹,

當 R → ∞ 時, 顯然這個積分 → 0。 因此, 在 (3.14) 中令 R → ∞, 即得 Z ∞

−∞

dx

(1 + x²)ⁿ⁺¹ = 2πiRes(f, i) = π (2n)!

2²ⁿ(n!)²。 例2. 計算 Dirichlet 積分

Z ∞ 0

sin x x dx。

解: 顯然 Z ∞

0

sin x

x dx = 1 2

Z ∞

−∞

sin x

x dx, 因為 sin x

x 為偶函數。 考慮 f (z) = e^iz z 。 取 Ω 為上半平面的半圓環 (見圖 B), 其邊界為:

−R < z < −r; r < z < R;

γ_r: z = re^iθ, 0≤ θ ≤ π;

γR : z = Re^iθ, 0≤ θ ≤ π.

由於 f (z) 在這個半圓環中全純, 由 Cauchy 積分定 圖 B 理,

Z R r

f (x)dx + Z −r

−R

f (x)dx + Z

γ_R

f (z)dz + Z

γr

f (z)dz = 0.

而

Z

γ_R

f (z)dz = Z π

0

eiR(cos θ+i sin θ)

Reⁱθ iRe^iθdθ = i Z π

0

e−R sin θ+iR cos θdθ, 故

Z

γ_R

f (z)dz    ≤

Z π 0

e^{−R sin θ}dθ = 2 Z π/2

0

e^{−R sin θ}dθ.

但當 0≤ θ ≤ π/2 時, 2

πθ ≤ sin θ, 故 Z π/2

0

e^{−R sin θ}dθ ≤ Z π/2

0

e^−2Rπθdθ = π

2R(1− e^−R), 當 R → ∞ 時, 這是 → 0 的。 因此, 當 R → 0 時, R

γ_R f (z)dz → 0。 另一方面, Z

γr

f (z)dz = i Z 0

π

e−r sin θ+ir cos θdθ = i Z 0

π

(1 + O(r))dθ =−πi + O(r), 故當 r → 0 時, R

γrf (z)dz → −πi。 而 Z −r

−R

f (x)dx = Z −r

−R

e^ix

x dx =− Z R

r

e^−ix x dx,

於是在 Z R

r

e^ix − e^ix x dx +

Z

γ_R

f (z)dz + Z

γr

f (z)dz = 0 中令 r→ 0, R → ∞ 得 Z ∞

0

sin x

x dx = π 2。 例3. 計算

Z ∞ 0

cos x²dx 及 Z ∞

0

sin x²dx。

圖 C

解: 取 f (z) = e^iz2 及 Ω 為由 I : 0 ≤ z ≤ R; II : re^iπ4, 0 ≤ r ≤ R 及 γR = Re^iθ, 0≤ θ ≤ π

4 所圍成的扇形區域 (見圖 C)。 於是由 Cauchy 積分定理 Z

I

f (z)dz + Z

II

f (z)dz + Z

γ_R

f (z)dz = 0.

而

Z

γ_R

f (z)dz = Z ^π₄

0

e^iR2(cos 2θ+i sin 2θ)iRe^iθdθ, 故

Z

γ_R

f (z)dz    ≤ R

Z ^π₄

0

e^{−R2sin 2θ}dθ ≤ R Z ^π₄

0

e^{−R2 4πθ}dθ = π 4R

1− e^−R2 . 當 R → ∞ 時, 上式 → 0, 故

R→∞lim

 Z

I

f (z)dz + Z

II

f (z)dz



= 0, 即

Z ∞ 0

e^ix2dx− Z ∞

0

e^{ix2ei π2}e^iπ4dx = 0.

這就有

Z ∞ 0

e^ix2dx = e^iπ4 Z ∞

0

e^−x2dx.

但由微積分我們已知 Z ∞

0

e^−x2dx =

√π 2 , 因此 Z ∞

0

e^ix2dx =

√π 2 e^iπ4. 於是

Z ∞ 0

cos x²dx = Z ∞

0

sin x²dx =

√π 2 ·

√2 2 =

√2π 4 .

圖 D

3.6. 解析延拓

若 f (z) 在區域 Ω ⊆ C 上全純, 如果存在一 個包含 Ω 的區域 U, 並且有函數 F (z) 在 U 上全 純, 且在 Ω 上 F (z) = f (z), 則稱 f (z) 可解析延 拓 (或全純延拓) 到 U\ Ω 。 由全純函數的唯一性定 理, 如果在 U 內 F 存在, 則是唯一的。 同樣, 如果

f1(z), f2(z) 分別在區域 Ω1, Ω2 上全純且 Ω₁∩ Ω2 = Ω3 6= ∅, 而在 Ω3 上 f₁ = f2, 則在 Ω = Ω1∪ Ω2 (圖 D) 上定義

f (z) =

(f1(z), z ∈ Ω¹; f₂(z), z ∈ Ω2. 於是 f 在 Ω 上全純, 稱 f₁, f2 互為解析延拓。

最自然, 最重要的解析延拓的方法是用冪級數來進行。 由 Abel 定理, 一個冪級數

a0+ a1z + a2z²+· · · + anzⁿ+· · · (3.15) 存在一個收斂半徑 R, 在 |z| < R 內級數絕對收斂且在其內任一緊緻子集合上一致收斂, 所 以這個冪級數在 |z| < R 是一個全純函數, 記作 f(z)。 如果 z0 ∈ D(0; R), 則 f(z) 可以在 z = z0 處展開成 Taylor 級數

f (z) =

∞

X

n=0

f⁽ⁿ⁾(z0)

n! (z− z0)ⁿ, 若其收斂半徑為 ρ, 則 ρ ≥ R − |z0|。

如果 ρ > R − |z⁰|, 則 D(z⁰; ρ) 有一部分在 D(0; R) 之外, 於是 f (z) 可以解析延 拓到 D(z0; ρ)\ D(0; R) 上去。 若 ρ = R − |z⁰|, 則 D(z⁰; ρ) 與 D(0; R) 相切, 設其 切點為 ξ0 。 這表明 f (z) 不能在 ξ0 這個點解析延拓出去, 我們稱 ξ0 為 f (z) 的一個奇異

點。 顯然, 如果 R 是 (3.15) 的收斂半徑, 則 (3.15) 一定在 |z| = R 上至少有 f(z) 的一 個奇異點。 否則的話, 則 f (z) 可以在 |z| = R 上任一點解析延拓出去, 即對於 |z| = R 上任一點 ξ, 都有 D(ξ, r_ξ) 及 g_ξ(z), 而 g_ξ(z) 在 D(ξ; r_ξ) 上全純, 且 g_ξ(z) = f (z) 當 z ∈ D(0; R) ∩ D(ξ; rξ)。 由於 |z| = R 是緊緻集合, 故由 Heine-Borel 定理, 在 {D(ξ; rξ)} 上可以選取有限個 D(ξ₁; rξ1), D(ξ2; rξ2), . . . , D(ξm; rξm) 覆蓋 |z| = R。 令

G =

m

[

k=1

D(ξk; rξk),

ρ 為 |z| = R 到 ∂G 的距離, 顯然 ρ > 0。 於是

{R − ρ < |z| < R + ρ} ⊂ G.

在 G 內定義 Φ(z) = gξk(z) 當 z ∈ D(ξk; rξk), (k = 1, . . . , m), 則 Φ(z) 為 G上的單值全 純函數。 如 D(ξk; rξk)∩ D(ξ^j; rξj)6= ∅, k 6= j, 則



D(ξk; rξk)∩ D(ξj; rξj)

∩ D(0; R) 6= ∅,

在這部分, g_ξk(z) = g_ξj(z) = f (z) 。 由全純函數的唯一性定理, 在 D(ξ_k; r_ξk)∩ D(ξj; r_ξj) 上, g_ξk(z) = gξj(z) 。 在 G∩ D(0; R) 上, Φ(z) = f(z), 故 f(z) 可解析延拓到 G ∪ D 。 而 這包有 D(0; R + ρ), 這與 R 為 (3.15) 的收斂半徑的定義相互矛盾。

因此, 在收斂圓周上, (3.15) 一定有奇異點, 例如 P^∞

n=0

zⁿ 在 z = 1 處為它的奇異點。 下面 這個著名的例子說明有這樣的冪級數, 它的收斂圓周上每一點都是奇異點。

例.

f (z) = z^1!+ z^2!+· · · + z^n!+· · · . (3.16) 解. 由於

an=

(1, 若 n = k!;

0, 若 n 6= k!.

所以

n→∞lim

p|an n| = 1.

因此, (3.16) 的收斂半徑為 R = 1, 即 f (z) 在 D(0; 1) 上全純。 若 z0 ∈ D(0; 1), |z⁰| = 1 2, f (z) 在 z₀ 處有 Taylor 展開式

g(z) =

∞

X

n=0

f⁽ⁿ⁾(z0)

n! (z− z0)ⁿ.

延長線段 Oz₀ 與 |z| = 1 的交點為 ξ0, 如能證明 g(z) 的收斂半徑為 1

2, 則表明 f (z) 不能 在 ξ0 處解析延拓。 如果不然, 即若 g(z) 的收斂半徑 ρ > 1

2, 則 D(ξ0; ρ)∩ D(0; 1) 6= ∅, 於 是在 D(ξ0; ρ) 中有 |z| = 1 的一段圓弧 σ, ξ⁰ ∈ σ 。 由於形如 expn2πip

q

o (p, q 為整 數, p

q 為既約分數) 的點在 |z| = 1 上處處稠密, 故在 σ 上一定有點 ξ¹ = expn2πip q

o, 而 limr→1g(rξ1) = g(ξ1) (0 < r < 1) 。 但當 z ∈ D(0; 1) 時, g(z) = f(z), 故 lim_r→1f (rξ1) = g(ξ1)。 由於

f (rξ1) =

q−1

X

n=1

r^n!ξ^n!₁ +

∞

X

n=q

r^n!, 顯然

∞

X

n=q

r^n! >

N

X

n=q

r^n! > (N − q)r^{N !}.

於是當 r → 1 時,

∞

P

n=q

r^n! 可以大於任何正整數, 所以 limr→1|f(rξ1)| = ∞, 這與 lim

r→1f (rξ₁) = f (ξ₁) 相互矛盾, 故 ξ₀ 為 f (z) 的奇異點。

一個函數稱為在一點 z0 附近是解析 (或全純) 的, 如果這個函數在這點附近可以展開成收 斂冪級數, 這是函數局部解析 (或局部全純) 的定義。 這個定義與第一講中的定義是相符合的。

有了解析延拓的概念, 可以定義整體解析 (或整體全純) 函數。

從一個局部全純函數 f (z) = P^∞

n=0

cn(z−a)ⁿ出發, 如其收斂半徑為 R, 若 a1 ∈ D(a; R), 則得另一個冪級數

f1(z) =

∞

X

n=0

f⁽ⁿ⁾(a1)

n! (z− a1)ⁿ,

其收斂半徑為 R1 ≥ R − |a − a1| > 0, 稱全純函數 f(z), f1(z) 為解析元素, 而 f1(z) 為 f (z) 的解析延拓。 如有 m 個解析元素

fk(z) =

∞

X

n=0

c^(k)_n (z− ak)ⁿ, k = 1, 2, . . . , m,

fk 是 f_k−1 的解析延拓, 則 f_m 也是 f 的解析延拓。 將所有的由 f (z) 出發的解析延拓得到 的解析元素的全體組成一個集合, 這個集合稱為整體解析 (整體全純) 函數 (global analytic function) 。

完全解析 (完全全純) 函數 (complete analytic function) 是一個整體解析函數包含有 其中任何一個解析元素的所有解析延拓。 一般來說, 這是一個多值函數。 所有解析延拓所對應的 收斂圓之和稱為完全解析函數的存在域。 這當然不能再延拓出去, 因此存在域的邊界點都是完 全解析函數的奇異點。

—本文作者龔昇任教中國科技大學, 張德健任教美國 Georgetown University 數學系—

更正啟事

本刊第 34 卷第 3 期 (135 號) 第 20 頁第 3 行到第 4 行 “學校幾何課程的重整

— 為何教和如何教演繹幾何?” 一文中提及項武義及蘇式冬兩位教授的描述 「當時 (1970 年代) 項武義返回中國大陸參與數學實驗教材的編訂, 而幾何組的組長就是蘇 式冬。」 作者張家麟、 黃毅英、 林智中先生們轉其友人意見, 提出以下兩點更正。 特此 刊登, 並謝謝作者們的來信告知。

(一) 1978 年項武義教授返回中國大陸時, 提出了一個 《關於中學數學實驗教材的設 想》, 並沒有參與具體的教材編訂工作。

(二) 蘇式冬教授當時只是教育部負責組織教材的編寫和實驗研究工作的人, 不是幾 何組長。 詳情可見教材前言。