4第四章级数.docVIP

第四章 级数 本章先介绍复级数的基本概念及其性质，然后从柯西积分公式这一解析函数的积分表示式出发，给出解析函数的级数表示—泰勒级数及洛朗级数。然后，以它们为工具，进一步研究了解析函数的性质。 §4.1 复数项级数 1.复数序列 给定一列无穷多个有序的复数 ，，…，，… 称为复数序列，记为。 定义4.1.1：给定一个复数序列，设为一复常数。若对于任意给定的正数，都存在一个充分大的正整数，使得当时，有 ， 则说当趋向于时，以为极限，或者说复数序列收敛于极限，记为 。 定理4.1.1：给定一个复数序列，其中，，，则的充要条件是 和。 定理4.1.2：若，，则 ； ； ，，。 2.复数项级数 定义4.1.2：设有复数序列，表达式 (4.1.1) 称为复数项级数。 定义4.1.3：若复数项级数(4.1.1)的部分和（也称为前项和）序列 ， 以有限复数为极限，即若 ， 则称复数项级数(4.1.1)是收敛的，并称为级数(4.1.1)的和，记为 ； 若部分和 ， 无有限极限，则称级数(4.1.1)发散。 定理4.1.3：设，，则 收敛于 收敛于，收敛于。 由此可见，则级数收敛的充分必要条件是级数的实部级数和虚部级数都收敛。 定理4.1.4：收敛 。 收敛的复数级数有如下性质： （1）收敛 ，使 ； （2）若，，则 ， （为复常数）； （3）若在复级数(4.1.1)中增、删有限个项，则所得级数与原级数同为收敛或同为发散。 定义4.1.4：若级数收敛，则称级数绝对收敛；非绝对收敛的收敛级数，称为条件收敛级数。 对于绝对收敛，与定理4.1.1类似，我们有： 补充定理1：设，级数绝对收敛的充分必要条件是实数项级数与都绝对收敛。 定理4.1.5：若级数收敛，则级数必收敛（即若级数绝对收敛，则级数收敛）；但反之不一定成立。 可见，绝对收敛收敛，反之不一定。 补充定理2： （1）绝对收敛级数的各项可以重排顺序而不致改变其绝对收敛性与和。 （2）两个绝对收敛的级数，，其柯西乘积 也绝对收敛，且其和为。 【注】：上述柯西乘积等式最右边的式子即是按下述对角线方法作出： ? 反 ? 反 ? 反 ? ????? 补充对于复数项级数，存在类似于实数项级数收敛的充分必要条件： 补充定理3（柯西收敛准则）：级数(4.1.1)收敛的充分必要条件是，对于任意给定的，存在自然数，使得当时，有 其中为任意正整数。 3.复变函数项级数 定义 4.1.5：设复函数序列的各项均在点集上有定义。若存在一个在有定义的函数，对中每一点，复函数项级数 (4.1.2) 均收敛于，则称级数(4.1.2)在上收敛，其和函数为，记为 。 此定义用精确的语言叙述就是：任给，以及给定的，存在正整数，使当时，有 ， 其中。 上述的正整数，一般地说，不仅依赖于，而且依赖于。重要的一种情形是不依赖于，即，这就是一致收敛的概念： 定义4.1.6：对于级数(4.1.2)，若在点集上有函数，使对任意给定的，存在正整数，当时，对所有的，均有 ， 则称级数(4.1.2)在上一致收敛于。 补充定理4（柯西一致收敛准则）：复函数项级数(4.1.2)在点集上一致收敛于某函数的充要条件是：任给，存在正整数，使当时，对一切，均有 （为任意正整数）。 由此准则，可得出一致收敛的一个充分条件： 定理4.1.6（Weierstrass M－判别法）（优级数准则）：若复函数序列在点集上有定义，且存在正数列，使对一切，有 ， 而正项级数收敛，则复函数项级数在集上绝对收敛且一致收敛。 这样的正项级数，称为复函数项级数的优级数。 例：级数在闭圆上一致收敛。 证：事实上，所述级数有收敛的优级数。 定义4.1.7：设在区域内有定义，若在含于内的任意一个有界闭区域上都一致收敛，则称级数在内闭一致收敛。 显然，有如下关系： 若在区域内闭一致收敛，则在每一点都是收敛的，但不一定在一致收敛；若在一致收敛，则在内闭一致收敛。简要地说就是： 一致收敛 内闭一致收敛 每一点收敛 下面是关于函数项级数基本性质的三个定理。 定理4.1.7：若级数的各项在区域内连续，且一致收敛于，则其和函数也在内处处连续。 定理4.1.8：设级数的各项在曲线上连续，且在上一致收敛于，则沿可以逐项积分： 。 定理4.1.9（Weierstrass定理）：设级数的各项在区域内解析，且在内闭一致收敛于，则 （1）在内解析； （2）在内可逐项求任意阶导数： ； （3）在内闭一致收敛于。 §4.2 幂级数 1 幂级数的概念 幂级数定义：当或时