You are on page 1of 4

§4.

1 Weierstrass 定理
复数项级数 设 {zn } 是复数列,称形式和

∑z
n =1
n = z1 + z2 + L + zn + L
n
为(复数项)级数; zn 为该级数的第 n 项; Sn = ∑ zk 为该级数的前 n 项的部分和;若数列
k =1
{S n } 收敛于有限极限 S ,则称该级数收敛到 S ,记为

∑z n =1
n =S,

并称 S 为该级数的和;若数列 {Sn} 不收敛于有限极限,则称称该级数发


散. 此外,复数项级数的 Cauchy 收敛准则、收敛的必要条件、绝对收
敛的概念等与实数项级数完全相同.

注意:当级数 ∑ zn 收敛时,它有两个含义:一是形式和;二是它的和 S .
n =1

函数项级数 设 Ω ⊂ £ 是非空点集, { f n ( z )} 是 Ω 上的函数列,称形式和


∑f
n =1
n ( z ) = f1 ( z ) + f 2 ( z ) + L + fn ( z ) + L

为 Ω 上的函数项级数.对于 z0 ∈Ω ,若复数项级数 ∑ f n ( z0 ) 收敛到 f ( z0 ) ,则称 z0 是函数项级数
n =1
∞ ∞ ∞


n =1
f n ( z ) 的收敛点.令 E ⊂ Ω 为函数项级数 ∑ f n ( z ) 的收敛点的全体,则 ∑ f n ( z ) = f ( z ) ( z ∈ E )
n =1 n =1

便是 E 上的函数,称为函数项级数 ∑ f n ( z ) 的和函数.
n =1

注意: 当函数项级数 ∑ f n ( z ) 的收敛点集 E 非空时,它有两个含义: 一是形式和;二是它的
n =1

定义在 E 上的和函数 f ( z ) .

定义 4.1.1 设 ∑ f n ( z ) 是 E ⊂ £ 上的函数项级数, f ( z ) 是 E 上的函数.若 ∀ε > 0, ∃ N ∈ ¥ * ,使
n =1

得 ∀n > N , z ∈ E 都成立不等式
n

∑f
k =1
k (z) − f (z) < ε ,

则称 ∑ f n ( z ) 在 E 上一直收敛到 f ( z ) .
n =1

定理 4.1.2(Cauchy 一致收敛原理) 函数项级数 ∑ f n ( z ) 在 E 上一致
n =1

收敛的充要条件是, ∀ε > 0, ∃ N ∈ ¥ ,使得 ∀n > N , p ∈ ¥ , z ∈ E 都成立不 * *

等式
n+ p


k = n +1
fk ( z) < ε .

∞ n
证: 必要性.设 ∑ f n ( z ) 在 E 上一致收敛到 f ( z ) ,并记 Sn ( z ) = ∑ f k ( z ) .按定义, ∀ε > 0, ∃ N ∈ ¥ * ,
n =1 k =1

使得 ∀n > N , p ∈ ¥ * , z ∈ E 都成立不等式
ε ε
Sn ( z ) − f ( z ) < 和 Sn+ p ( z ) − f ( z ) < ,
2 2
n+ p

从而 ∑
k = n +1
f k ( z ) = S n + p ( z ) − Sn ( z )

ε ε
= [ S n + p ( z ) − f ( z )] − [ Sn ( z ) − f ( z )] < + =ε .
2 2
充分性.假定 ∀ε > 0, ∃ N ∈ ¥ * ,使得 ∀n > N , p ∈ ¥ * , z ∈ E 都成立不等式
n+ p
S n + p ( z ) − Sn ( z ) = ∑
k = n +1
fk ( z ) < ε ,

此时,函数列 {Sn ( z )} 在 E 上收敛到一个函数 f ( z ) .在上述不等式中令


p → ∞ ,便得到
f ( z ) − Sn ( z ) ≤ ε .

这说明 ∑ f n ( z ) 在 E 上一致收敛到 f ( z ) .#
n =1

定理 4.1.3(Weierstrass 一致收敛判别法) 设 ∑ f n ( z ) 是 E ⊂ £ 上的函数项级数.如果
n =1
∞ ∞
存在收敛的数项级数 ∑ an ,使得 ∀n ∈ ¥ * , z ∈ E 都成立不等式 f n ( z ) ≤ an ,则 ∑ f n ( z ) 在 E 上一
n =1 n =1

致收敛.
∞ n+ p

证 : 因为 ∑ an 收敛,故 ∀ε > 0, ∃ N ∈ ¥ ,使得 ∀n > N , p ∈ ¥ 都成立不等式 * *


∑a k < ε .于是,
n =1 k = n +1

∀n > N , p ∈ ¥ * , z ∈ E 都成立不等式
n+ p n+ p


k = n +1
fk ( z) ≤ ∑a
k = n +1
k <ε ,

这说明 ∑ f n ( z ) 在 E 上一致收敛.#
n =1

定 理 4.1.4 若连续函数项级数 ∑ f n ( z ) 在 E ⊂ £ 上一致收敛到函数 f ( z ) ,则 f ( z ) 也在 E 上
n =1

连续.
证: ∀a ∈ E ,要证 f ( z ) 在 a 处连续. ∀ε > 0, ∃ N ∈ ¥ * ,使得 ∀z ∈ E 都成立
ε
f ( z) − SN ( z) < ;
3
又 ∃δ > 0 ,使得当 z ∈ E , z − a < δ 时成立
ε
S N ( z ) − SN (a ) < .
3
于是,当 z ∈ E , z − a < δ 时成立
f ( z ) − f ( a ) = [ f ( z ) − S N ( z )] + [ S N ( z ) − S N ( a )] + [ SN ( a ) − f ( a )]
ε ε ε
< + + = ε .#
3 3 3

定理 4.1.5 设 γ 是 £ 中的可求长曲线,连续函数项级数 ∑ f n ( z ) 在 γ 上一致收敛到连续函
n =1

数 f ( z ) ,则

∫ f ( z )dz = ∑ ∫ f n ( z )dz .
γ γ
n =1

证: 设 γ 的长度 L > 0 . ∀ε > 0, ∃ N ∈ ¥ * ,使得 ∀n > N , z ∈ γ 都成立


ε
SN ( z) − f ( z) < .
L
n
ε
故 ∑∫
k =1
γ
f n (z)dz − ∫ f ( z )dz =
γ ∫ [ S (z) − f (z)]dz ≤ L ⋅ L = ε (长大不等式).
γ
n


这说明级数 ∑ ∫γ f n ( z )dz 收敛到 ∫γ f ( z )dz .#
n =1

注记 以上这些函数项级数的知识不涉及到全纯,与《数学分析》中的相应知识完全相同.

定义 4.1.6 若函数项级数 ∑ f n ( z ) 在域 D ⊂ £ 中的任意紧子集上都一
n =1

致收敛,则称 ∑ f n ( z ) 在域 D 上内闭一致收敛.
n =1

引理 4.1.8 设 D ⊂£ 是区域, K ⊂ D 是紧集, m∈ ¥ * .则存在常数 C > 0 ,使得 ∀ f ∈ H ( D ) ,成立


不等式
max f ( m ) ( z ) ≤ C sup f ( z ) .
z∈K z∈D

证: 取 r 满足 0 < r < d ( K , ∂D ) . ∀a ∈ K , B ( a, r ) ⊂ D .由 Cauchy 不等式,


成立
m! m!
f ( m) (a) ≤ max f ( z ) ≤ m sup f ( z ) .
m z∈∂B ( a ,r )
r r z∈D
m!
令C = m ,并让
f ( m ) ( a ) 在 K 上取最大值,便得到结论.#
r
定理 4.1.9(Weierstrass 定理) 设 D 是 £ 中的区域,全纯函数项级数

∑f
n =1
n ( z ) 在 D 上内闭一致收敛到 f ( z ) .那么

(ⅰ) 和函数 f ( z ) 是 D 上的全纯函数;



(ⅱ) ∀m∈¥ * , 全纯函数项级数 ∑ f n (z) 在 D 上内闭一致收敛到 f ( m ) (z) .
( m)

n =1

证: (1).任取 B( a, r ) ⊂ D ,只要证 f ( z ) 在 B(a, r) 上全纯即可.因为 ∑ f n ( z ) 在 B( a, r ) 上一致收敛
n =1

到 f ( z ) ,故 f ( z ) 在 B( a, r ) 上连续(定理 4.1.4).对于 B( a, r ) 中的任意可求长闭曲线 γ ,有


∫ f ( z )dz = ∑ ∫ f n ( z )dz = 0 (定理 4.1.5 和 Cauchy 积分定理),


γ γ
n =1

故 f ( z ) 在 B(a, r) 上全纯(Morera 定理).



(2).设 B( a, r ) ⊂ B ( a, R ) ⊂ B( a, R ) ⊂ D ,则 ∑ f n (z) 在 B( a, R ) 上一致收敛到
n =1
f ( z ) .由引理 4.1.8,存在常数 C > 0 ,使得

max S n( m ) ( z ) − f ( m ) ( z ) ≤ C sup Sn ( z ) − f ( z ) → 0 ( n → ∞) .
z∈B ( a ,r ) z∈B ( a , R )
∞ ∞
这说明 ∑ f (z) .再由有限覆盖定理,便知 ∑ f n( m ) (z) 在任意紧
( m)
n (z) 在 B( a, r ) 上一致收敛到 f ( m)

n =1 n =1

集 K ⊂ D 上一致收敛到 f ( m)
(z) .#

1
例 4.1.10 Riemann ζ − 函数 ζ (z) =∑ z 在右半平面
Re z >1 上全纯.
n =1 n

1 1 1
1+ε .由于 ∑ 1+ε 收敛,故全纯函数
− z log n − (Re z )log n
证: ∀ ε > 0 ,当 Re z > 1 + ε 时,成立 z = e = e <
n n n =1 n
∞ ∞
1 1
项级数 ∑ z 在 Re z > 1 + ε 上一致收敛,从而在 Re z > 1 上内闭一致收敛.于是 ζ (z) = ∑ z 在
n =1 n n =1 n
Re z >1 上全纯.#

习题 4.1( P138 ) 1,3,6,8,12,13.

You might also like