《4第四章 级数.doc》由会员分享，可在线阅读，更多相关《4第四章 级数.doc（11页珍藏版）》请在金锄头文库上搜索。
1、第四章 级数本章先介绍复级数的基本概念及其性质，然后从柯西积分公式这一解析函数的积分表示式出发，给出解析函数的级数表示泰勒级数及洛朗级数。然后，以它们为工具，进一步研究了解析函数的性质。4.1 复数项级数1.复数序列给定一列无穷多个有序的复数，称为复数序列，记为。定义4.1.1：给定一个复数序列，设为一复常数。若对于任意给定的正数，都存在一个充分大的正整数，使得当时，有，则说当趋向于时，以为极限，或者说复数序列收敛于极限，记为。定理4.1.1：给定一个复数序列，其中，则的充要条件是和。定理4.1.2：若，则；，。2.复数项级数定义4.1.2：设有复数序列，表达式 (4.1.1)称为复数项级数。
2、定义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：若级数收敛，则称级数绝对收敛；非绝对收敛的收敛级数，称为条件收敛
3、级数。对于绝对收敛，与定理4.1.1类似，我们有：补充定理1：设，级数绝对收敛的充分必要条件是实数项级数与都绝对收敛。定理4.1.5：若级数收敛，则级数必收敛（即若级数绝对收敛，则级数收敛）；但反之不一定成立。可见，绝对收敛收敛，反之不一定。补充定理2：（1）绝对收敛级数的各项可以重排顺序而不致改变其绝对收敛性与和。（2）两个绝对收敛的级数，其柯西乘积也绝对收敛，且其和为。【注】：上述柯西乘积等式最右边的式子即是按下述对角线方法作出：对于复数项级数，存在类似于实数项级数收敛的充分必要条件：补充定理3（柯西收敛准则）：级数(4.1.1)收敛的充分必要条件是，对于任意给定的，存在自然数，使得当时，
4、有其中为任意正整数。3.复变函数项级数定义 4.1.5：设复函数序列的各项均在点集上有定义。若存在一个在有定义的函数，对中每一点，复函数项级数 (4.1.2)均收敛于，则称级数(4.1.2)在上收敛，其和函数为，记为。此定义用精确的语言叙述就是：任给，以及给定的，存在正整数，使当时，有，其中。上述的正整数，一般地说，不仅依赖于，而且依赖于。重要的一种情形是不依赖于，即，这就是一致收敛的概念：定义4.1.6：对于级数(4.1.2)，若在点集上有函数，使对任意给定的，存在正整数，当时，对所有的，均有，则称级数(4.1.2)在上一致收敛于。补充定理4（柯西一致收敛准则）：复函数项级数(4.1.2)在
5、点集上一致收敛于某函数的充要条件是：任给，存在正整数，使当时，对一切，均有 （为任意正整数）。由此准则，可得出一致收敛的一个充分条件：定理4.1.6（Weierstrass M判别法）（优级数准则）：若复函数序列在点集上有定义，且存在正数列，使对一切，有，而正项级数收敛，则复函数项级数在集上绝对收敛且一致收敛。这样的正项级数，称为复函数项级数的优级数。例：级数在闭圆上一致收敛。证：事实上，所述级数有收敛的优级数。定义4.1.7：设在区域内有定义，若在含于内的任意一个有界闭区域上都一致收敛，则称级数在内闭一致收敛。显然，有如下关系：若在区域内闭一致收敛，则在每一点都是收敛的，但不一定在一致收敛；
6、若在一致收敛，则在内闭一致收敛。简要地说就是：一致收敛 内闭一致收敛 每一点收敛下面是关于函数项级数基本性质的三个定理。定理4.1.7：若级数的各项在区域内连续，且一致收敛于，则其和函数也在内处处连续。定理4.1.8：设级数的各项在曲线上连续，且在上一致收敛于，则沿可以逐项积分：。定理4.1.9（Weierstrass定理）：设级数的各项在区域内解析，且在内闭一致收敛于，则（1）在内解析；（2）在内可逐项求任意阶导数： ；（3）在内闭一致收敛于。4.2 幂级数1 幂级数的概念幂级数定义：当或时，就得到复函数项级数的特殊情况： (4.2.1)或 (4.2.2)这种级数称为幂级数，其中及都是复常数
7、。如果在(4.2.1)中令，就得到(4.2.2)。一般地，如果在(4.2.1)中作变换（变换后把仍改写为）就可变成那么(4.2.2)；反之还是用这个变换也能把(4.2.2)变回到(4.2.1)的形式。因此，为了方便，今后就以(4.2.2)形式的复函数项级数来进行讨论而不失一般性。幂级数是最简单的解析函数项函数。为了搞清楚它的收敛情况，先建立下述的阿贝尔定理。定理4.2.1（阿贝尔(Abel)定理）：（1）若幂级数在点处收敛，则它在圆内收敛且绝对收敛，在所有半径小于的闭同心圆盘上一致收敛（也即则在圆内收敛且绝对收敛，且内闭一致收敛）；（2）若级数在点处发散，则它在满足的点处发散。推论1：若幂级数
8、在点处收敛，则正项级数在收敛；若幂级数在点处发散，则它在闭圆的外部（即在满足的处）发散，特别地，这时正项级数在闭圆的外部发散。2 幂级数的收敛圆与收敛半径基于上述阿贝尔定理及其推论，我们也能对复幂级数引出象实幂级数那样的收敛半径的概念及相关定理。为此，我们去考虑与幂级数相对应的实的幂级数 。 (A)由实分析知，对此实的幂级数，存在一非负实数，是该实的幂级数(A)的收敛半径，并且具体地有（1）若，则(A)仅在处收敛；（2）若，则(A)对任意正数都收敛；（3）若，则(A)在时绝对收敛，在时发散，在时可能收敛或发散。借助实幂级(A)的这些特性，同时再根据上述阿贝尔定理及其推论，就容易得出下面的定理：
9、推论2：对于复幂级数，设与之相应实幂级数的收敛半径是，那么按照不同情况，我们分别有：（1）如果R=0，那么级数在复平面上除去原点外每一点发散；（2）如果，那么级数在复平面上每一点绝对收敛；（3）如果，那么当时，级数绝对收敛；当时，级数发散。该定理中的圆称为复幂级数的收敛圆，与之相应的实幂级数的收敛半径也就称为复幂级数的收敛半径。求复幂级数的收敛半径问题归结为求与之相应的实幂级数的收敛半径问题。在数学分析中已讲过，在常见情况下，实幂级数的收敛半径可用达朗贝尔法则或柯西法则求出；在一般情况下，则可用柯西阿达玛公式求出，由此可立即推出：定理4.2.23：若幂级数的系数满足下列条件之一：（1） （达朗
10、贝尔）（2） （柯西）（3） （柯西阿达玛）则幂级数的收敛半径 (4.2.3)对于幂级数(4.2.1)，该定理仍然成立，其收敛圆为。【注】：上极限的定义如下：已给一个实数序列，数。若任给，（1）至多有有限个；（2）有无穷个，那么说序列的上极限是，记作；若任给，有无穷个，那么说序列的上极限是，记作；若任给，至多有有限个，那么说序列的上极限是，记作。3 幂级数和的解析性定理4.2.45：（1）幂级数的和函数在其收敛圆内解析；（2）在收敛圆内，幂级数可以逐项求任意阶导数： ， (4.2.4)且其收敛半径不变；（3）幂级数的系数可以用和函数在收敛圆心处的相应阶导数表出： (4.2.5)（4）沿收敛圆内
11、的任一简单曲线，可逐项积分：，且收敛半径不变。4 幂级数的和函数在其收敛圆周上的状况注意，前面的讨论没有涉及到幂级数在收敛圆周上的收敛性（假设）。在上，幂级数既可以是点点收敛，也可以是点点发散，还可以在一部分点上收敛，在其余的点上发散。可以相应举三个例子，例如，的收敛半径。在上，收敛，因此在上处处绝对收敛；几何级数在上点点发散，因为这时一般项的模为而不趋于零；幂级数的收敛半径，在圆周上只在点处发散，在其余的点上，其实部和虚部两个实级数都收敛，因此级数在圆周上除去点外处处收敛。但需特别指出：纵使幂级数在其收敛圆周上处处收敛，其和函数在收敛圆周上仍然至少有一个奇点。这写成一个定理就是：定理4.2.
12、6：如果幂级数的收敛半径，且，则在收敛圆周上至少有一奇点，即不可能有这样的函数存在，它在内与恒等，而在上处处解析。【注】：定理中所说收敛半径，并不意味着收敛半径还有什么取负值的情况存在。其用意只是为了排除的情况。该定理的一个例子如：虽然在上处处绝对收敛，从而在闭圆上一致收敛，在复平面上都是解析的，因此可以在内应用Weierstrass定理。设在内的和函数为，则有当从单位圆内沿实轴趋于时，趋于。而我们知道，解析函数在其解析点处是无穷次可微的，所以是和函数的一个奇点。4.3 泰勒级数在前一节已知，任意一个收敛半径为正数的幂级数，其和函数在收敛圆内是解析的。下面的泰勒展开定理是其逆定理。定理4.3.
13、1（泰勒(Taylor)展开定理）：设在区域内解析，只要圆含于，则在圆内能展开成幂级数 (4.3.1)其中系数 ，； (4.3.2)，而且展开式是唯一的。显然，幂级数(4.3.1)的收敛半径应大于或等于（注意，定理4.3.1中的并不指收敛半径），否则，(4.3.1)式将不能在圆内成立。至于幂级数(4.3.1)的收敛半径能取多大，当用(4.3.2)式确定系数后，可由求收敛半径的公式(4.2.3)确定。另外，前面曾指出：对收敛半径为正数的幂级数，它在收敛圆内的和函数在收敛圆周上至少有一奇点。由此可得到确定幂级数收敛半径的另一个新方法：推论：设在点解析，点是的奇点中距最近的一个奇点，则在点的某邻域内就可展为幂级数，且点与点间的距离就是幂级数的收敛半径。这个推论，一方面建立了幂级数的收敛半径与此幂级数所代表的函数的性质之间的密切关系，同时，还表明幂级数的理论只有在复数域内才弄得完全明白。例如，在实数域内便不了解：为什么只当时有展式而函数对于独立变数的所有的值都是确定的。这个现象
