目录
- 1. 复变函数项级数
- 2. 幂级数
- 2.1. 一般式与标准式
- 2.2. 阿贝尔(Abel)定理
- 2.3. 收敛半径与收敛圆
- 2.4. 分析性质
- 2.5. 复合性质
- 2.6. 运算性质
- 3. 泰勒级数
- 3.1. 泰勒展开定理
- 3.2. 直接展开法
- 3.3. 间接展开法
- 3.4. 待定系数法
- 3.5. 级数代入法
- 4. 洛朗级数
- 4.1. 圆环收敛域
- 4.2. 唯一性
1. 复变函数项级数
1.1. 复数序列 { z n } \{z_n\} {zn}
一列无穷多个有序的复数 z 1 , z 2 , . . . , z n , . . . z_1,\,z_2,\,...,\,z_n,\,... z1,z2,...,zn,... 记作 { z n } ( n = 1 , 2 , ⋅ ⋅ ⋅ ) \{z_n\}\,\,(n=1,\,2,\,\cdot\cdot\cdot) {zn}(n=1,2,⋅⋅⋅)。
若 ∃ z 0 = a + b i \exists z_0=a+bi ∃z0=a+bi,对于 ∀ ϵ > 0 \forall\epsilon>0 ∀ϵ>0,存在一个充分大的正整数 N N N,当 n > N n>N n>N 时,有 ∣ z n − z 0 ∣ < ϵ |z_n-z_0|<\epsilon ∣zn−z0∣<ϵ,记作
lim n → ∞ z n = z 0 \lim_{n\to\infty}z_n=z_0 n→∞limzn=z0
并称 { z n } \{z_n\} {zn} 收敛于极限 z 0 z_0 z0,反之,若极限不存在,则称 { z n } \{z_n\} {zn} 发散。
1.2. 复数项级数 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn
对于 { z n } \{z_n\} {zn}, z 1 + z 2 + ⋅ ⋅ ⋅ + z n + ⋅ ⋅ ⋅ z_1+z_2+\cdot\cdot\cdot\,\,+z_n+\cdot\cdot\cdot\,\, z1+z2+⋅⋅⋅+zn+⋅⋅⋅ 记作 ∑ n = 1 ∞ z n ( z n = a n + i b n ) \displaystyle\sum_{n=1}^\infty z_n\,\,(z_n=a_n+ib_n) n=1∑∞zn(zn=an+ibn)。
其前 n n n 项和 s n = z 1 + z 2 + ⋅ ⋅ ⋅ + z n s_n=z_1+z_2+\cdot\cdot\cdot\,\,+z_n sn=z1+z2+⋅⋅⋅+zn,称为部分和。若 { s n } \{s_n\} {sn} 收敛于
s = lim n → ∞ s n s=\lim_{n\to\infty}s_n s=n→∞limsn
则称 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛,并称该极限为级数的和,记作 s = ∑ n = 1 ∞ z n \displaystyle s=\sum_{n=1}^\infty z_n s=n=1∑∞zn,反之,若极限不存在,则称级数发散。
1.2.1. 收敛条件
复数项级数收敛的充要条件: ∑ n = 1 ∞ a n \displaystyle\sum_{n=1}^\infty a_n n=1∑∞an 和 ∑ n = 1 ∞ b n \displaystyle\sum_{n=1}^\infty b_n n=1∑∞bn 同时收敛
复数项级数收敛的必要条件: lim n → ∞ z n = 0 \displaystyle\lim_{n\to\infty}z_n=0 n→∞limzn=0
1.2.2. 绝对收敛和条件收敛
∑ n = 1 ∞ ∣ z n ∣ \displaystyle\sum_{n=1}^\infty |z_n| n=1∑∞∣zn∣ 收敛,称 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 绝对收敛,并且 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 一定收敛。
∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛,而 ∑ n = 1 ∞ ∣ z n ∣ \displaystyle\sum_{n=1}^\infty |z_n| n=1∑∞∣zn∣ 发散,称 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 条件收敛。
1.3. 复变函数项级数 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z)
对于复变函数序列 { f n ( z ) } \{f_n(z)\} {fn(z)}, f 1 ( z ) + f 2 ( z ) + ⋅ ⋅ ⋅ + f n ( z ) + ⋅ ⋅ ⋅ f_1(z)+f_2(z)+\cdot\cdot\cdot\,\,+f_n(z)+\cdot\cdot\cdot\,\, f1(z)+f2(z)+⋅⋅⋅+fn(z)+⋅⋅⋅ 记作 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z)。
其中, f n ( z ) f_n(z) fn(z) 均定义在集合 E E E 上。若 ∃ z 0 ∈ E \exists z_0\in E ∃z0∈E,复数项级数 ∑ n = 1 ∞ f n ( z 0 ) \displaystyle\sum_{n=1}^\infty f_n(z_0) n=1∑∞fn(z0) 收敛,则称 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z) 在 z 0 z_0 z0 处收敛,并称 z 0 z_0 z0 为收敛点, ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z) 的收敛点的全集为它的收敛域,记作 D D D。
其前 n n n 项和 s n ( z ) = f 1 ( z ) + f 2 ( z ) + ⋅ ⋅ ⋅ + f n ( z ) s_n(z)=f_1(z)+f_2(z)+\cdot\cdot\cdot\,\,+f_n(z) sn(z)=f1(z)+f2(z)+⋅⋅⋅+fn(z),称为部分和。则 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z) 的和函数为
s ( z ) = lim n → ∞ s n ( z ) , z ∈ D s(z)=\lim_{n\to\infty}s_n(z),\,\,z\in D s(z)=n→∞limsn(z),z∈D
记作 s ( z ) = ∑ n = 1 ∞ f n ( z ) s(z)=\sum_{n=1}^\infty f_n(z) s(z)=n=1∑∞fn(z)
1.3.1. 一致收敛
对于 ∀ ϵ > 0 \forall\epsilon>0 ∀ϵ>0,存在充分大的正整数 N ( ϵ ) N(\epsilon) N(ϵ),当 n > N ( ϵ ) n>N(\epsilon) n>N(ϵ) 时, ∣ s ( z ) − s n ( z ) ∣ < ϵ |s(z)-s_n(z)|<\epsilon ∣s(z)−sn(z)∣<ϵ 在 E E E 上恒成立,称 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z) 一致收敛于 s ( z ) s(z) s(z)。
其充要条件为:对于收敛的正项级数 ∑ n = 1 ∞ M n \displaystyle\sum_{n=1}^\infty M_n n=1∑∞Mn, ∣ f n ( z ) ∣ ≤ M n \Big|f_n(z)\Big|\le M_n fn(z) ≤Mn
同一定义集上,复变函数 f n ( z ) f_n(z) fn(z) 和一致收敛于 s ( z ) s(z) s(z) 的 ∑ n = 1 ∞ f n ( z ) \displaystyle\sum_{n=1}^\infty f_n(z) n=1∑∞fn(z) 有以下性质
- 连续性:区域 D D D 上,对于连续函数 f n ( z ) f_n(z) fn(z), s ( z ) s(z) s(z) 连续
- 可积性:(逐段)光滑曲线 C C C 上,对于连续函数 f n ( z ) f_n(z) fn(z), s ( z ) s(z) s(z) 可积,并有
∫ C ∑ n = 1 ∞ f n ( z ) d z = ∫ C s ( z ) d z = ∑ n = 1 ∞ ∫ C f n ( z ) d z \int_C\sum_{n=1}^\infty f_n(z)dz=\int_Cs(z)dz=\sum_{n=1}^\infty \int_Cf_n(z)dz ∫Cn=1∑∞fn(z)dz=∫Cs(z)dz=n=1∑∞∫Cfn(z)dz - 可微性:区域 D D D 上,对于解析函数 f n ( z ) f_n(z) fn(z), s ( z ) s(z) s(z) 解析,并有
s ( p ) ( z ) d z = ∑ n = 1 ∞ f n ( p ) ( z ) d z ( p = 1 , 2 , ⋅ ⋅ ⋅ ) s^{(p)}(z)dz=\sum_{n=1}^\infty f_n^{(p)}(z)dz\,\,\,(p=1,\,2,\,\cdot\cdot\cdot) s(p)(z)dz=n=1∑∞fn(p)(z)dz(p=1,2,⋅⋅⋅)
2. 幂级数
2.1. 一般式与标准式
形如 ∑ n = 1 ∞ a n − 1 ( z − z 0 ) n − 1 \displaystyle\sum_{n=1}^\infty a_{n-1}(z-z_0)^{n-1} n=1∑∞an−1(z−z0)n−1 的复变函数项级数称为幂级数,其一般形式为 ∑ n = 0 ∞ a n ( z − z 0 ) n \displaystyle\sum_{n=0}^\infty a_n(z-z_0)^n n=0∑∞an(z−z0)n,取 z 0 = 0 z_0=0 z0=0 时,为标准形式 ∑ n = 0 ∞ a n z n \displaystyle\sum_{n=0}^\infty a_nz^n n=0∑∞anzn
2.2. 阿贝尔(Abel)定理
对于标准幂级数 ∑ n = 0 ∞ a n z n \displaystyle\sum_{n=0}^\infty a_nz^n n=0∑∞anzn,若级数在点 z 0 ( ≠ 0 ) z_0(\not=0) z0(=0) 处
- 收敛:级数在 ∣ z ∣ < ∣ z 0 ∣ |z|<|z_0| ∣z∣<∣z0∣ 上绝对收敛,在 ∣ z ∣ ≤ ρ ∣ z 0 ∣ ( 0 < ρ < 1 ) |z|\le\rho|z_0|\,\,(0<\rho<1) ∣z∣≤ρ∣z0∣(0<ρ<1) 上一致收敛
- 发散:级数在 ∣ z ∣ > ∣ z 0 ∣ |z|>|z_0| ∣z∣>∣z0∣ 上发散
2.3. 收敛半径与收敛圆
对于一般幂级数 ∑ n = 0 ∞ a n ( z − z 0 ) n \displaystyle\sum_{n=0}^\infty a_n(z-z_0)^n n=0∑∞an(z−z0)n,一定 ∃ R > 0 \exists R>0 ∃R>0,满足
- ∣ z − z 0 ∣ < R |z-z_0|<R ∣z−z0∣<R 时级数绝对收敛
- ∣ z − z 0 ∣ > R |z-z_0|>R ∣z−z0∣>R 时级数发散
- ∣ z − z 0 ∣ = R |z-z_0|=R ∣z−z0∣=R 时级数敛散性不确定
则称 R R R 为级数的收敛半径, ∣ z − z 0 ∣ < R |z-z_0|<R ∣z−z0∣<R 为级数的收敛圆。一般幂级数的收敛半径的求法如下:
级数的增长速率分别定义为
- 检比法(达朗贝尔法则): λ = lim n → ∞ ∣ a n + 1 a n ∣ \displaystyle\lambda=\lim_{n\to\infty}\Big|\frac {a_{n+1}}{a_n}\Big| λ=n→∞lim anan+1
- 检根法(柯西法则): λ = lim n → ∞ ∣ a n ∣ n \displaystyle\lambda=\lim_{n\to\infty}\sqrt[n]{|a_n|} λ=n→∞limn∣an∣
都有
R = { + ∞ , λ = 0 1 λ , 0 < λ < + ∞ 0 , λ = + ∞ R=\begin{cases}+\infty,&\lambda=0\\\\\displaystyle\frac1\lambda,&0<\lambda<+\infty\\\\0,&\lambda=+\infty\end{cases} R=⎩ ⎨ ⎧+∞,λ1,0,λ=00<λ<+∞λ=+∞
2.4. 分析性质
对于一般幂级数 ∑ n = 0 ∞ a n ( z − z 0 ) n \displaystyle\sum_{n=0}^\infty a_n(z-z_0)^n n=0∑∞an(z−z0)n,在收敛圆 D D D 上,和函数 s ( z ) s(z) s(z) 解析并可积,设光滑曲线 C ⊂ D C\subset D C⊂D,有
s ( k ) ( z ) = ∑ n = k ∞ n ! ( n − k ) ! a n ( z − z 0 ) n − k s^{(k)}(z)=\sum_{n=k}^\infty\frac{n!}{(n-k)!}a_n(z-z_0)^{n-k} s(k)(z)=n=k∑∞(n−k)!n!an(z−z0)n−k ∫ C s ( z ) d z = ∫ C ∑ n = 0 ∞ a n ( z − z 0 ) n d z \int_C s(z)dz=\int_C \sum_{n=0}^\infty a_n(z-z_0)^ndz ∫Cs(z)dz=∫Cn=0∑∞an(z−z0)ndz
2.5. 复合性质
对于标准幂级数 ∑ n = 0 ∞ a n z n = s ( z ) \displaystyle\sum_{n=0}^\infty a_nz^n=s(z) n=0∑∞anzn=s(z),收敛半径为 R R R,复变函数 g ( z ) g(z) g(z) 满足 ∣ g ( z ) ∣ < R |g(z)|<R ∣g(z)∣<R,若其解析区域为 ∣ z ∣ < R |z|<R ∣z∣<R,则有
s [ g ( z ) ] = ∑ n = 0 ∞ a n [ g ( z ) ] n s[g(z)]=\sum_{n=0}^\infty a_n[g(z)]^n s[g(z)]=n=0∑∞an[g(z)]n
2.6. 运算性质
对于标准幂级数 ∑ n = 0 ∞ a n z n , ∑ n = 0 ∞ b n z n \displaystyle\sum_{n=0}^\infty a_nz^n,\,\,\sum_{n=0}^\infty b_nz^n n=0∑∞anzn,n=0∑∞bnzn,收敛半径分别为 R 1 , R 2 R_1,\,\,R_2 R1,R2,有加法:
( ∑ n = 0 ∞ a n z n ) ± ( ∑ n = 0 ∞ b n z n ) = ∑ n = 0 ∞ ( a n ± b n ) z n (\sum_{n=0}^\infty a_nz^n)\pm(\sum_{n=0}^\infty b_nz^n)=\sum_{n=0}^\infty (a_n\pm b_n)z^n (n=0∑∞anzn)±(n=0∑∞bnzn)=n=0∑∞(an±bn)zn
有柯西乘积:
( ∑ n = 0 ∞ a n z n ) ( ∑ n = 0 ∞ b n z n ) = ∑ n = 0 ∞ ( ∑ k = 0 n a k b n − k ) z n (\sum_{n=0}^\infty a_nz^n)(\sum_{n=0}^\infty b_nz^n)=\sum_{n=0}^\infty (\sum_{k=0}^n a_kb_{n-k})z^n (n=0∑∞anzn)(n=0∑∞bnzn)=n=0∑∞(k=0∑nakbn−k)zn
其中新级数的收敛半径 R = m i n { R 1 , R 2 } R=min\{R_1,\,\,R_2\} R=min{R1,R2}. 若 b 0 ≠ 0 b_0\not=0 b0=0,且 ∃ ∑ n = 0 ∞ c n z n \displaystyle\exists \sum_{n=0}^\infty c_nz^n ∃n=0∑∞cnzn,使得
∑ n = 0 ∞ a n z n = ( ∑ n = 0 ∞ b n z n ) ( ∑ n = 0 ∞ c n z n ) \sum_{n=0}^\infty a_nz^n=(\sum_{n=0}^\infty b_nz^n)(\sum_{n=0}^\infty c_nz^n) n=0∑∞anzn=(n=0∑∞bnzn)(n=0∑∞cnzn)
则称 ∑ n = 0 ∞ c n z n \displaystyle\sum_{n=0}^\infty c_nz^n n=0∑∞cnzn 是 ∑ n = 0 ∞ a n z n \displaystyle\sum_{n=0}^\infty a_nz^n n=0∑∞anzn 和 ∑ n = 0 ∞ b n z n \displaystyle\sum_{n=0}^\infty b_nz^n n=0∑∞bnzn 的商。
3. 泰勒级数
3.1. 泰勒展开定理
f ( z ) f(z) f(z) 在区域 D D D 上解析, z 0 ∈ D z_0\in D z0∈D, R R R 为 z 0 z_0 z0 到区域边界(最近奇点)的距离,则收敛圆 ∣ z − z 0 ∣ < R |z-z_0|<R ∣z−z0∣<R 上,有
f ( z ) = ∑ n = 0 N − 1 a n ( z − z 0 ) n + R N ( z ) f(z)=\sum_{n=0}^{N-1}a_n(z-z_0)^n+R_N(z) f(z)=n=0∑N−1an(z−z0)n+RN(z)
由柯西积分公式、常见幂级数展开和高阶导数公式,易证
a n = 1 2 π i ∮ C r f ( ζ ) ( ζ − z 0 ) ( n + 1 ) d ζ = f n ( z 0 ) n ! a_n=\frac1{2\pi i}\oint_{C_r}\frac{f(\zeta)}{(\zeta-z_0)^{(n+1)}}d\zeta=\frac{f^{n}(z_0)}{n!} an=2πi1∮Cr(ζ−z0)(n+1)f(ζ)dζ=n!fn(z0) R N ( z ) = 1 2 π i ∮ C r [ ∑ n = N ∞ f ( ζ ) ( ζ − z 0 ) ( n + 1 ) ( z − z 0 ) n ] d ζ R_N(z)=\frac1{2\pi i}\oint_{C_r}\Big[\sum_{n=N}^\infty\frac{f(\zeta)}{(\zeta-z_0)^{(n+1)}}(z-z_0)^n\Big]d\zeta RN(z)=2πi1∮Cr[n=N∑∞(ζ−z0)(n+1)f(ζ)(z−z0)n]dζ
其中, C r : ∣ ζ − z 0 ∣ = r < R C_r:|\zeta-z_0|=r<R Cr:∣ζ−z0∣=r<R. 由此推知, f ( z ) f(z) f(z) 在 z 0 z_0 z0 解析的充要条件 为: f ( z ) f(z) f(z) 在 z 0 z_0 z0 附近展开为幂级数,而该级数只能是泰勒级数。
3.2. 直接展开法
利用泰勒展开式,直接计算展开系数 a n a_n an,由此可得以下常用函数的幂级数展开式:
收敛域为 ∣ z ∣ < 1 |z|<1 ∣z∣<1 的有:
1 1 − z = ∑ n = 0 ∞ z n \frac1{1-z}=\sum_{n=0}^\infty z^n 1−z1=n=0∑∞zn 1 1 + z = ∑ n = 0 ∞ ( − 1 ) n z n \frac1{1+z}=\sum_{n=0}^\infty (-1)^nz^n 1+z1=n=0∑∞(−1)nzn l n ( 1 + z ) = ∑ n = 1 ∞ ( − 1 ) n − 1 z n 1 ln(1+z)=\sum_{n=1}^\infty (-1)^{n-1}\frac{z^n}1 ln(1+z)=n=1∑∞(−1)n−11zn
收敛域为 ∣ z ∣ < + ∞ |z|<+\infty ∣z∣<+∞ 的有:
e z = ∑ n = 0 ∞ z n e^z=\sum_{n=0}^\infty z^n ez=n=0∑∞zn s i n z = ∑ n = 0 ∞ ( − 1 ) n z 2 n + 1 ( 2 n + 1 ) ! sin z=\sum_{n=0}^\infty (-1)^n \frac{z^{2n+1}}{(2n+1)!} sinz=n=0∑∞(−1)n(2n+1)!z2n+1 c o s z = ∑ n = 0 ∞ ( − 1 ) n z 2 n ( 2 n ) ! cos z=\sum_{n=0}^\infty (-1)^n \frac{z^{2n}}{(2n)!} cosz=n=0∑∞(−1)n(2n)!z2n
3.3. 间接展开法
将展开式未知的函数 f ( z ) f(z) f(z) 向展开式已知的函数 g ( z ) g(z) g(z) 的形式构造,并利用级数的分析性质、复合性质和运算性质求解。
对于在 z 0 = ζ z_0=\zeta z0=ζ 处的泰勒展开式,需利用添项法转化为 f ( z − ζ ) f(z-\zeta) f(z−ζ) 的形式,并通过提出常系数因子或 ( z − ζ ) m (z-\zeta)^m (z−ζ)m 的方式构造出 g ( z − ζ ) g(z-\zeta) g(z−ζ)(其导函数或者原函数的部分也可),再利用级数性质求解。
特别的,对于 n = 0 n=0 n=0 项为常数的级数求导后所得的级数,其首项应从 n = 1 n=1 n=1 开始。
3.4. 待定系数法
对于一个展开式未知的函数 f ( z ) f(z) f(z) 和两个展开式已知的函数 g ( z ) g(z) g(z) 和 h ( z ) h(z) h(z),若满足以下条件之一:
g ( z ) = f ( z ) ⋅ h ( z ) g(z)=f(z)\cdot h(z) g(z)=f(z)⋅h(z) g ( z ) = f ( z ) ± h ( z ) g(z)=f(z)\pm h(z) g(z)=f(z)±h(z)
即可对 f ( z ) f(z) f(z) 用待定系数展开泰勒级数,并将各函数的幂级数展开式代入上式,从而通过比较同次幂项系数解出待定系数。
3.5. 级数代入法
设有复合函数 f ( z ) = F [ g ( z ) ] f(z)=F[g(z)] f(z)=F[g(z)],其中 F ( ζ ) = ∑ k = 0 ∞ α k ζ k \displaystyle F(\zeta)=\sum_{k=0}^\infty \alpha_k\zeta^k F(ζ)=k=0∑∞αkζk, g ( z ) = ∑ n = 0 ∞ β n z n \displaystyle g(z)=\sum_{n=0}^\infty \beta_nz^n g(z)=n=0∑∞βnzn,收敛圆分别为 ∣ ζ ∣ < r |\zeta|<r ∣ζ∣<r 和 ∣ z ∣ < R |z|<R ∣z∣<R,且 ∣ z ∣ < R |z|<R ∣z∣<R 时, ∣ g ( z ) ∣ < r |g(z)|<r ∣g(z)∣<r,则有
f ( z ) = ∑ k = 0 ∞ α k ( ∑ n = 0 ∞ β n z n ) k f(z)=\sum_{k=0}^\infty \alpha_k(\sum_{n=0}^\infty \beta_nz^n)^k f(z)=k=0∑∞αk(n=0∑∞βnzn)k
利用柯西乘积将 ( ∑ n = 0 ∞ β n z n ) k \displaystyle(\sum_{n=0}^\infty \beta_nz^n)^k (n=0∑∞βnzn)k 展开为幂级数,即可求解(结果不一定有通项)。
4. 洛朗级数
∑ n = − ∞ ∞ a n ( z − z 0 ) n \sum_{n=-\infty}^\infty a_n(z-z_0)^n n=−∞∑∞an(z−z0)n
4.1. 圆环收敛域
洛朗级数可分为含有正幂项和负幂项的级数,即: ∑ n = 0 ∞ a n ( z − z 0 ) n \displaystyle\sum_{n=0}^\infty a_n(z-z_0)^n n=0∑∞an(z−z0)n 和 ∑ n = 1 ∞ a − n ( z − z 0 ) − n \displaystyle\sum_{n=1}^\infty a_{-n}(z-z_0)^{-n} n=1∑∞a−n(z−z0)−n,其收敛半径分别为 R 2 R_2 R2 和 1 R 1 \displaystyle\frac1{R_1} R11。
仅当 0 ≤ R 1 < R 2 ≤ + ∞ 0\le R_1<R_2\le+\infty 0≤R1<R2≤+∞ 时,洛朗级数有收敛域,即圆环
D : R 1 < ∣ z − z 0 ∣ < R 2 D:R_1<|z-z_0|<R_2 D:R1<∣z−z0∣<R2
4.2. 唯一性
在闭圆环域上解析的函数,在该解析区域上的洛朗级数展开唯一。