函数项级数的收敛性判断题.docVIP

设函数都在集合上有定义，。若数值级数 收敛，则称为函数项级数的收敛点，否则称为该函数项级数的发散点。所有收敛的集合，称为该函数项级数的收敛域。发散点的集合称为该函数项级数的发散域。 若上每一点均是函数项级数的收敛点，则称该函数项级数在上处处收敛。 设是函数项级数的收敛域。，设对应的级数和为，这样，便在中定义了一个函数，称为该函数项级数的和函数。 例如，几何级数 ????????? 它的收敛域为，发散域为；在收敛域内，和函数是，即有 设是函数项级数的前项和，则当时，有 称为该函数项级数的余项和。 显然，，有 [例4.1] 设，讨论函数项级数的收敛性，并求其和函数 。 ? [解]? 由于 ?????????? 故当时，；当时，；当时，，当时，它的极限不存在；当时，， 故知该级数的收敛域为，在收敛域上，它的和函数为 ??????????????? 注：1）即使每个都连续，和也仍然可以是不连续的函数。 2）函数的可微性和可积性可能不再成立。即函数项级数 ????????????????????? （4.1） ????????????????? (4.2) 都不成立。若如果式（4.1）成立，则说级数可以逐项微分；如果式（4.2）成立，则说可以逐项计分。 7.4.2 函数项级数的一致收敛性 ?处处收敛的 “” 语言，应该是这样的： ，使得当时，有 表明，不但依赖于，还依赖于。即对给定的、中不同的，可以有不同的，对所有的不一定有通用的自然数。若存在着通用的自然数使级数收敛，则称级数一致收敛。 ? [定义4.1] 设函数项级数在上收敛于和函数。若当时， 对所有的都成立，则称该级数在上一致收敛或一致收敛于。 类似地，可以给出函数列在上一致收敛于函数的定义。 一致收敛性的几何形象，（以序列为例）。设函数序列在区间上一致收敛于函数。如果以曲线为“中心”，作一“宽度”为的带形区域，则不论正数如何小，总有一个正整数，使当时，曲线都完全在上述带形区域之内（图4.1）。 再分析例4.1中的级数。当时 ????????????????? 故，若要，必须， 即?? 当时，由于，所以当在内找不到通用的。从而所讨论级数在区间内部不一致收敛，在上更不可能一致收敛（图4.2）。 但是，对于任何小于的正数，所讨论级数在上是一致收敛的，因为这时可以取。 证明一个函数项级数在上不一致收敛的一般方法是： ，使得无论自然数多么大，总存在，使得 ???? 一致收敛性的判别方法： ?[定理4.1] （Cauchy一致收敛准则） 函数项级数在上一致收敛的充分必要条件是： 当时，对及任何的自然数，有 ????????? ??????(4.3) [证明]? 必要性? 设该级数在上一致收敛于和函数。则 当时，对，有 ?????? 从而有 ???????? ?? 充分性? 设不等式（4.3）成立，则有数列的Cauchy收敛准则，对于任意固定的，部分和数列收敛，即该级数在上处处收敛，设其极限函数为。在式（4.3）中，令，便得到：当时，，即 ????????????? ???? 由定义4.1，级数在上一致收敛。 [推论] 设级数在上一致收敛，则函数列在上一致收敛于零。 [定理4.2] （Weierstrass准则或判别法）如果存在一个收敛的正项级数，使得对，有则函数项级数在上一致收敛。 ?[证明] 由于正项级数收敛，根据数值级数的Cauchy收敛准则，当时，恒有 ???????? 由已知，，有，故 根据定理4.1，该级数在上一致收敛。 定理4.2中的级数称为控制级数或优级数。 ? [例4.2] 判断级数在上的一致收敛性。 ? [解] 因为，所以?????? 而正项级数是收敛的-级数，故所讨论的函数项级数在区间上是一致收敛的。 7.4.3 和函数的分析性质 ?[定理4.3] 若函数项级数在区间上一致收敛于和函数，且级数的每一项都在上连续，则和函数也连续。 [证明] 任意取，由于在上一致收敛，对任意给定的，存在自然数，使得对任意的，有 ????????????? （4.4） 由于级数的每一项均在上连续，部分和也在上连续，特别是在处连续，所以，存在，使当时，有 由式（4.4）和式（4.5），得 这就证明了在处连续的。由的任意性可知，在区间上连续。 [定理4.4]? 若函数序列在区间上一致收敛于函数，且每一个都是在上连续，则在上也连续。 注：极限函数（级数的和）不连续，常常是判断不一致收敛的简单方法。 如在区间上连续函数列收敛于不连续的函数，所以必然是不一致收敛。 ? [例4.3] 在上不一致收敛。 [证明]? 因为当时，级数的和为零；当时， ????????????? ? 可见，。而在上连续，所以级数在上不能一致收敛。 [定理4.5] 若函数项级数在区间上一致收敛于和函数，且级数