93幂级数.docVIP

§9.3. 幂 级 数 幂级数的收敛域 1．幂级数的定义：形如 的函数级数称为幂级数，其中为常数，称为幂级数的系数. 令，则幂级数化简为： 2．定理1.(阿贝尔第一定理) 1)若幂级数(1)在收敛,则幂级数(1)在都绝对收敛. 2) 若幂级数(1)在发散,则幂级数(1)在都发散. 证明: 1)若级数收敛,由收敛的必要条件,有,因此数列有界,即有 ,即,有 由于几何级数收敛,所以幂级数(1)在都绝对收敛. 2)用反证法: 假设,幂级数(1)在收敛,由上述1)的结论,可知幂级数(1)在绝对收敛, 这与已知条件矛盾,所以级数(1)在都发散. 定理1说明:1)幂级数的收敛点与发散点在数轴上不能交错出现,即可描述成: 2)令 ,易证明幂级数(1)在 绝对收敛；在发散.将这个称为幂级数（1）的收敛半径. 3）当幂级数(1)仅在原点0收敛,则收敛半径；幂级数(1)D在R收敛,则收敛半径；其它情况下，. 4）若幂级数(1)的收敛半径是，则在幂级数(1)都绝对收敛，在区间端点或处的收敛性则要另外判断. 3．定理2 有幂级数（1），即，若 （ ）， 则幂级数（1）的收敛半径 证明：讨论正项级数.根据§9.1达朗贝尔判别法（或柯西判别法），有 . 1）当或，幂级数(1)绝对收敛；当或，幂级数(1)发散.于是，收敛半径. 2），有，即幂级数(1)绝对收敛.于是，收敛半径. 3），且，有，即，幂级数(1)发散.于是，收敛半径. 求幂级数的收敛半径，并讨论收敛域. 解：已知 于是，收敛半径. 幂级数在区间端点的敛散性须分别讨论： ，级数发散. ，级数收敛. 于是，幂级数的收敛域是. 求幂级数的收敛半径. 解： 已知 于是，收敛半径，即收敛域是R. 例3．求幂级数的收敛半径. 解： 已知 于是，收敛半径，即仅在0收敛，收敛域{0}. 例4. 求幂级数的收敛半径，并讨论收敛域. 解： 设 已知 . 即幂级数的收敛半径是1.，幂级数都收敛.因此幂级数的收敛域是.于是，幂级数的收敛半径是1，收敛域是.1 二、幂级数和函数的分析性质 1.定理3.（阿贝尔第二定理） 若幂级数（1）的收敛半径，则幂级数（1）在任意闭区间都一致收敛. 证明： ，即，有 . 已知级数收敛.根据 M 判别法，幂级数（1）在闭区间一致收敛. 注：称幂级数在收敛区间内的任意闭区间都一致收敛的性质为内闭一致收敛. 2.定理4. 若幂级数与的收敛半径分别是正数与，则. 证法： 首先证明，即往证，若是的收敛点，则也是的收敛点.其次证明.于是. 证明：证明..已知级数收敛.有 . 已知极限，从而数列有界，即 ，有. 于是， . 根据比较判别法，级数绝对收敛，即. 同法证明，..已知级数收敛.有 . 已知极限，从而数列有界，即 ，有. 于是， . 根据比较判别法，级数绝对收敛，即. 综上所证，. 推论 若幂级数与的收敛半径与，则. 证明： 因为，根据定理4，所以. 注： 虽然幂级数，，的收敛半径相等，但是它的收敛域可能不相同.例如，幂级数 ， 收敛半径，收敛域是. ， 收敛半径，收敛域是. ， 收敛半径，收敛域是. 3.定理5. 若幂级数的收敛半径，则它的和函数在区间连续. 证明： 使.已知幂级数内闭一致收敛，根据§9.2定理6，和函数在x连续，从而，和函数在区间连续. 推论 若幂级数的收敛半径，且在收敛，则和函数在左连续（右连续），且 . 证明： 由§9.2例8，幂级数在区间一致收敛. 根据§9.2定理6，和函数在r左连续，且 . 同法可证在的情况. 4.定理6. 若幂级数的收敛半径，则它的和函数由0到x可积，且可逐项积分，即 . 证明： ，使.已知幂级数内闭一致收敛，根据§9.2定理7，和函数由0到x可积，且可逐项积分，即 . 根据定理4，此幂级数的收敛半径也是r. 5.定理7. 若幂级数的收敛半径，则它的和函数在区间可导，且可逐项微分，即，有 . 证明： 根据定理4，幂级数的收敛半径也是r. ， ，使.已知幂级数内闭一致收敛，根据§9.2定理8，和函数在x可导，从而和函数在区间可导，且可逐项微分，即，有 . 推论 若幂级数的收敛半径，则它的和函数在区间存在任意阶导数，且，有 ， 此幂级数的收敛半径也是r. 小结：由定理1～7看到，幂级数（收敛半径）具有以下性质