Contents
4 级数
4.1 复数项级数
复数列的极限:设 { z n } ( n = 1 , 2 , ⋅ ⋅ ⋅ ) \{z_n\}\ \ (n = 1, 2, · · · ) {
zn} (n=1,2,⋅⋅⋅) 为一复数列,其中 z n = a n + i b n z_n = a_n + ib_n zn=an+ibn , 又设 z = a + i b z = a + ib z=a+ib 为一确定的复数。如果对于任意给定的 ϵ > 0 \epsilon > 0 ϵ>0 ,存在正整数 N ( ϵ ) N(\epsilon) N(ϵ) ,使得当 n > N n > N n>N 时,有 ∣ z n − z ∣ < ϵ |z_n − z| < \epsilon ∣zn−z∣<ϵ 成立,则称复数列 { z n } \{z_n\} {
zn} 的极限为 z z z ,记作
lim n → + ∞ z n = z \lim_{n\to+\infty}z_n=z n→+∞limzn=z
定理 1:复数列 { z n } = { a n + i b n } \{z_n\}=\{a_n+ib_n\} {
zn}={
an+ibn} 收敛于 z = a + i b z=a+ib z=a+ib 的充要条件为
lim n → ∞ a n = a , lim n → ∞ b n = b \lim_{n\to\infty}a_n=a \ \ , \ \ \ \ \lim_{n\to\infty}b_n=b n→∞liman=a , n→∞limbn=b
定理 2(柯西收敛准则):复数列 { z n } \{z_n\} {
zn} 收敛于 z z z 的充要条件为,对于任意给定的 ϵ > 0 \epsilon > 0 ϵ>0 ,存在正整数 N ( ϵ ) N(\epsilon) N(ϵ) ,使得当 n > N n > N n>N 时,恒有
∣ z n + p − z n ∣ < ϵ ( p = 1 , 2 , . . . ) |z_{n+p}-z_n|<\epsilon \ \ \ \ (p=1,2,...) ∣zn+p−zn∣<ϵ (p=1,2,...)
复数项级数和部分和的概念同实数项级数类似:
∑ n = 1 ∞ z n = z 1 + z 2 + . . . + z n + . . . \sum_{n=1}^\infty z_n=z_1+z_2+...+z_n+... n=1∑∞zn=z1+z2+...+zn+...
S n = z 1 + z 2 + . . . + z n S_n=z_1+z_2+...+z_n Sn=z1+z2+...+zn
如果 { S n } \{Sn\} { Sn} 收敛,则称级数 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛。
定理 3:复数项级数 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛的充要条件是它的部分和序列 { S n } \{S_n\} { Sn} 满足柯西收敛准则。
推论:复数项级数 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛的必要条件是 lim n → ∞ z n = 0 \displaystyle\lim_{n\to\infty}z_n=0 n→∞limzn=0 .
定理 4:复数项级数 ∑ n = 1 ∞ z n \displaystyle\sum_{n=1}^\infty z_n n=1∑∞zn 收敛的充要条件是级数 ∑ 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 均收敛,其中 { z n } = { a n + i b n } \{z_n\}=\{a_n+ib_n\} { zn}={ an+ibn} 。
定理 5:如果级数 ∑ 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 ∣ ≤ ∑ n = 1 ∞ ∣ z n ∣ \bigg|\displaystyle\sum_{n=1}^\infty z_n \bigg|\leq\displaystyle\sum_{n=1}^\infty |z_n| ∣∣∣∣n=1∑∞zn∣∣∣∣≤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 绝对收敛;如果级数