ABSTRACT

Power series is an important concept in mathematical analysis, and is used as a basic content in many fields such as real variable functions and complex variable functions. And in the postgraduate mathematics, the power series is also the focus of the chapter of the series. Therefore, it is very important to summarize the convergence radius of the power series, the convergence domain, and the method of finding the sum function in the mathematics at this stage. First, this article briefly summarizes the concepts and properties of power series convergence and sum functions. Then, it summarizes the application of power series convergence and sum function in postgraduate mathematics. Among them, in the problem of finding the convergence series of power series, this article discusses the concrete and abstract problems respectively; in the problem of the sum function, this article summarizes the solution of the sum function in different situations, and gives the corresponding problem-solving process for specific examples, and it also systematically discusses the application of power series and functions in related mathematical branches such as indefinite integrals, derivatives, sequence limits, and inequalities.

Keywords:Power Series, Convergence Radius, Convergence Domain, Sum Function

幂级数的收敛与和函数

白颖，周颂奇

东北大学秦皇岛分校，河北 秦皇岛

收稿日期：2020年7月26日；录用日期：2020年8月13日；发布日期：2020年8月20日

摘 要

幂级数是数学分析中的重要概念，被作为基础内容应用到了实变函数、复变函数等众多领域当中。并且在考研数学里，幂级数也是级数这一章所需要掌握的重点。因此，总结幂级数的收敛半径，收敛域，以及和函数求法在现阶段备考数学中是非常重要的。首先，本文对幂级数收敛与和函数的概念与性质进行了简要概括。然后，对幂级数收敛与和函数在考研数学中的应用进行了总结归纳。其中，在求幂级数收敛域的问题中，本文分别对具体型与抽象型问题进行了讨论；在求和函数的问题中，本文对不同情况下和函数的求解思路进行总结，针对具体的例题给出相应的解题过程，并对幂级数和函数在不定积分、导数、数列极限、不等式等相关数学分支中的应用进行系统地论述。

关键词 :幂级数，收敛半径，收敛域，和函数

Copyright © 2020 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 绪论

幂级数是函数项级数的一种特殊情形，也是数学分析中非常重要的内容，不论在数学方面还是其他学科中都有广泛的应用。幂级数在收敛区间绝对收敛，并且具有逐项积分、逐项求导等性质。巧妙利用幂级数的展开式以及性质把一些较为复杂的问题转化为简单形式，在解题时往往思路清晰，条理清楚。幂级数和函数在不定积分、导数、数列极限、不等式等相关数学分支中应用广泛，因此研究幂级数收敛域、和函数是非常重要的。本文可分为以下四个部分：1) 绪论：主要介绍了为何选取此课题。2) 预备知识：分别介绍了幂级数，幂级数收敛，幂级数和函数的基本理论知识。3) 主要结论：对幂级数收敛，幂级数和函数的理论知识进行深层次挖掘。对于幂级数收敛域的问题，分为具体型与抽象型两种；在求和函数的问题中，总结归纳和函数的求解思路，利用四则运算，逐项求导，逐项积分求取和函数。4) 结论：主要对本文内容进行总结概括，以及在学习幂级数的心得体会。

2. 预备知识

2.1. 幂级数的概念

1) 函数项级数：设函数列 $\left\{u_n\left(x\right)\right\}$ 定义在区间I上，称 $u_1\left(x\right)+u_2\left(x\right)+\cdots +u_n\left(x\right)+\cdots$ 为定义在区间I上的函数项级数，记为 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$，当x取确定的 $x_0$ 时， ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 成为常数项级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x_0\right)$。

2) 幂级数：若 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 的一般项 $u_n\left(x\right)$ 是n次幂级数，则称 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 为幂级数，它是一种函数项级数，其一般形式为 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{\left(x-x_0\right)}^n=a_0+a_1\left(x-x_0\right)+\cdots +a_n{\left(x-x_0\right)}^n+\cdots$，其标准形式为 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n=a_0+a_{1}x+\cdots +a_n{x}^n+\cdots$，其中 $a_n\left(n=0,1,2,\cdots \right)$ 为幂级数的系数。

3) 收敛点与发散点：若 $x_0\in I$，有 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x_0\right)$ 收敛，则称点 $x_0$ 为幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 的收敛点；若给定 $x_0\in I$，${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x_0\right)$ 发散，则称点 $x_0$ 为幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 的发散点。

4) 收敛半径：对任意给定的幂级数，必存在唯一的r (r满足 $0\le r\le +\infty$ )，使得幂级数在 $\left|x\right|<r$ 绝对收敛，在 $\left|x\right|>r$ 发散，r为收敛半径。

5) 收敛域：函数项级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 的所有收敛点的集合称为它的收敛域。

6) 和函数：在收敛域上，记 $S\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$，并称 $S\left(x\right)$ 为 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n}\left(x\right)$ 的和函数。

2.2. 幂级数的收敛

1) 阿贝尔第一定理：当幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 在点 $x=x_1\left(x_1\ne 0\right)$ 处收敛时，对于满足 $\left|x\right|<\left|x_1\right|$ 的一切x，幂级数绝对收敛；当幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 在点 $x=x_2\left(x_2\ne 0\right)$ 处发散时，对于满足 $\left|x\right|>\left|x_2\right|$ 的一切x，幂级数发散 [1]。

2) 收敛半径r求法：若幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的相邻两项系数之比满足条件 $\underset{n\to \infty }{\lim }\frac{\left|a_{n+1}\right|}{\left|a_n\right|}=\rho$ 则幂级数的收敛半径 $r=\frac{1}{\rho }$ ( $\rho =0$ 时理解为 $r=+\infty ,\rho =+\infty$ 时理解为 $r=0$ )。

证明：用达朗贝尔判别法， $\underset{n\to \infty }{\lim }\frac{\left|a_{n+1}{x}^{n+1}\right|}{\left|a_n{x}^n\right|}=\underset{n\to \infty }{\lim }\frac{\left|a_{n+1}\right|}{\left|a_n\right|}\left|x\right|=\rho \left|x\right|$，$\rho \ne 0$，则当 $\left|x\right|<\frac{1}{\rho }$ 时级数绝对收敛，则当 $\left|x\right|>\frac{1}{\rho }$ 时级数发散。若 $\rho =0$，则级数对任意当x绝对收敛。当 $\rho =+\infty$ 时，级数在 $x=0$ 外发散，证毕 [1]。

3) 收敛区间与收敛域的求法：a) 求收敛半径r；b) 开区间 $\left(-r,r\right)$ 为幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的收敛区间；单独考察幂级数在 $x=\pm r$ 处的敛散性就可以确定其收敛域为 $\left(-r,r\right)$ 或 $\left[-r,r\right)$ 或 $\left(-r,r\right]$ 或 $\left[-r,r\right]$。

2.3. 幂级数的和函数

1) 运算法则

若幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 与 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{b}_n}{x}^n$ 的收敛半径分别为 $r_a$ 和 $r_b$ $\left(r_a\ne r_b\right)$ 则有：

a) $k{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}k{a}_n}{x}^n$，$\left|x\right|<r_a$，k为常数；

b) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n\pm {\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{b}_n}{x}^n={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}\left(a_n\pm b_n\right)x^n}$，$\left|x\right|<r=\min \left\{r_a,r_b\right\}$。

2) 和函数的性质

a) 幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的和函数 $S\left(x\right)$ 在其收敛区间I上连续，且如果幂级数在收敛区间的端点 $x=r$ (或 $x=-r$ )处收敛，则和函数 $S\left(x\right)$ 在 $\left[-r,r\right)$ 或 $\left(-r,r\right]$ 上连续 [2]。

b) 幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的和函数 $S\left(x\right)$ 在其收敛域I上可积，且有逐项积分公式 ${\displaystyle {\int }_0^{x}S\left(t\right)\text{d}t}={\displaystyle {\int }_0^x\left({\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n{t}^n}\right)\text{d}t}={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{\displaystyle {\int }_0^x{t}^n}\text{d}t={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}\frac{a_n}{n+1}{x}^{n+1}}\left(x\in I\right)$，逐项积分后所得到的幂级数与原级数有相同的收敛半径，但收敛域可能扩大。

c) 幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的和函数 $S\left(x\right)$ 在收敛区间 $\left(-r,r\right)$ 内可导，有逐项求导公式 $S^{\prime }\left(x\right)={\left({\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n{x}^n}\right)}^{\prime }={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\left(a_n{x}^n\right)}^{\prime }}={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}n{a}_n{x}^{n-1}}\left(\left|x\right|<r\right)$，逐项求导后所得到的幂级数与原级数有相同的收敛半径，但收敛域可能缩小。

3. 主要结论

3.1. 幂级数的收敛域

为了具体说明考研数学中对于幂级数收敛域的考察情况，本文总结了关于收敛域的两种出题角度，第一种给出的研究对象是具体的，第二种给出的研究对象是抽象的。

3.1.1. 收敛域的具体型问题

1) 对于 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$

a) 求收敛半径，若 $\underset{n\to \infty }{\lim }\frac{\left|a_{n+1}\right|}{\left|a_n\right|}=\rho$，则幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的收敛半径 [3]：

$r=\{\begin{array}{l}\frac{1}{\rho },\rho \ne 0\\ +\infty ,\rho =0\\ 0,\rho =+\infty \end{array}$ (3.1)

b) 开区间 $\left(-r,r\right)$ 为幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ 的收敛区间；单独考察端点处的敛散性，确定收敛域。

例1 求幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{x^n}{n}}$ 的收敛域。

解令 $a_n=\frac{1}{n}$，则 $r=\frac{1}{\rho }=\underset{n\to \infty }{\lim }\frac{\left|a_n\right|}{\left|a_{n+1}\right|}=\underset{n\to \infty }{\lim }\left|1+\frac{1}{n}\right|=1$，在 $x=1$ 时，幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{x^n}{n}}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{1}{n}}$ 发散，当 $x=-1$ 时，幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{x^n}{n}}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(-1\right)}^n}{n}}$ 是一个交错级数，由莱布尼茨判别法可知级数条件收敛，故收敛域为 $\left[-1,1\right)$。

2) 通过换元法将幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{\left(x-x_0\right)}^n$ 改为标准幂级数 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n}{x}^n$ [3]。

例2 求级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(x-5\right)}^n}{n^n}n}!$ 的收敛域。

解令 $y=x-5$，得级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(\frac{y}{n}\right)}^{n}n}!$ 其收敛半径

$r=\frac{1}{\rho }=\underset{n\to \infty }{\lim }\frac{\left|a_n\right|}{\left|a_{n+1}\right|}=\underset{n\to \infty }{\lim }\frac{n!}{n^n}\cdot \frac{{\left(n+1\right)}^{n+1}}{\left(n+1\right)!}=\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^n=\text{e}$ (3.2)

当 $y=-\text{e}$ 时，级数成为 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(-1\right)}^n}\frac{n!}{n^n}{\text{e}}^n$，这是交错级数，设 $\frac{n!}{n^n}{\text{e}}^n=b_n$，由于 $\underset{n\to \infty }{\lim }\frac{\left|b_{n+1}\right|}{\left|b_n\right|}=1$，达朗贝尔判别法失效，但是，因为 $\frac{b_{n+1}}{b_n}=\frac{\text{e}}{{\left(1+\frac{1}{n}\right)}^n}>1$，即数列 $\left\{b_n\right\}$ 严格单调递增，而 $b_1=\text{e}>0$，所以当 $n\to \infty$ 时， $\left\{b_n\right\}$ 一般项不趋于0，级数发散。当 $y=\text{e}$ 时，级数显然也发散。故级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(\frac{y}{n}\right)}^{n}n}!$ 的收敛域为 $\left(-\text{e},\text{e}\right)$，从而原级数的收敛域为 $\left(5-\text{e},5+\text{e}\right)$。

3) 对于缺项幂级数 ${\displaystyle \sum u_n(\; x\; )}$

a) 加绝对值，即写成 ${\displaystyle \sum \left|u_n\left(x\right)\right|}$，

b) 用正项级数的达朗贝尔(或者柯西)判别法。 $\underset{n\to \infty }{\lim }\frac{\left|u_{n+1}\right|}{\left|u_n\right|}$ (或 $\underset{n\to \infty }{\lim }\sqrt[n]{\left|u_n\left(x\right)\right|}$ )<1，求出收敛区间 $\left(a,b\right)$。

c) 单独讨论收敛区间两个端点的敛散性，从而确定收敛域。

例3求幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(-1\right)}^{n-1}}{2n-1}{x}^{2n}}$ 的收敛域。

解 $u_n\left(x\right)=\frac{{\left(-1\right)}^{n-1}}{2n-1}{x}^{2n}$，由于 $\underset{n\to \infty }{\lim }\frac{\left|u_{n+1}\right|}{\left|u_n\right|}=\underset{n\to \infty }{\lim }\frac{2n-1}{2n+1}{x}^2=x^2$，故当 $\left|x\right|<1$ 时， ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(-1\right)}^{n-1}}{2n-1}{x}^{2n}}$ 收敛；当 $x=\pm 1$ 时， ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{u}_n\left(\pm 1\right)}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(-1\right)}^{n-1}}{2n-1}}$，根据莱布尼茨判别法知此级数收敛。故幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left(-1\right)}^{n-1}}{2n-1}{x}^{2n}}$ 收敛域为 $\left[-1,1\right]$。

3.1.2. 收敛域的抽象型问题

考研对于求解收敛域的抽象问题大概有2种 [2]。

1) 根据阿贝尔第一定理，已知 ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n{\left(x-x_0\right)}^n}$ 在点 $x_1\left(x_1\ne x_0\right)$ 的敛散性，则该幂级数的收敛半径可以分为3种。

a) 如果幂级数在 $x_1$ 处收敛，则收敛半径 $\left|x_1-x_0\right|\le r$，

b) 如果幂级数在 $x_1$ 处发散，则收敛半径 $r\le \left|x_1-x_0\right|$，

c) 如果幂级数在 $x_1$ 处条件收敛，则收敛半径 $r=\left|x_1-x_0\right|$。

2) 已知 ${\displaystyle \sum a_n{\left(x-x_1\right)}^n}$ 的敛散性信息，求 ${\displaystyle \sum b_n{\left(x-x_2\right)}^m}$ 的敛散性

a) ${\left(x-x_1\right)}^n$ 与 ${\left(x-x_2\right)}^m$ 的转化一般通过平移收敛区间、提出或者乘以因式 ${\left(x-x_0\right)}^k$ ；

b) $a_n$ 与 $b_n$ 的转化一般通过对级数逐项求导、逐项积分得到；

c) 以上对幂级数的变形(平移收敛区间、提出或者乘以因式 ${\left(x-x_0\right)}^k$ 、对级数逐项求导、逐项积分)都不改变收敛半径，但幂级数收敛域可能变化 [4]。

例 4 证明 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n{\left(x+1\right)}^n}$ 在点 $x=1$ 处条件收敛，则幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n{a}_n{\left(x-1\right)}^n}$ 在点 $x=2$ 处绝对收敛。

解由 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n{\left(x+1\right)}^n}$ 在点 $x=1$ 处条件收敛，根据阿贝尔第一定理 $r=\left|x_1-x_0\right|=2$，且收敛区间为 $\left(-3,1\right)$ ；将 ${\left(x+1\right)}^n$ 转化为 ${\left(x-1\right)}^n$，即把级数的中心点−1转移到1，故收敛区间平移到 $\left(-1,3\right)$，得到 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n{\left(x-1\right)}^n}$ 收敛半径不变；对 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n{\left(x-1\right)}^n}$ 逐项求导，得 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n{a}_n{\left(x-1\right)}^n}$，再逐项乘以 $\left(x-1\right)$ 得 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n{a}_n{\left(x-1\right)}^n}$，收敛半径不变，收敛区间不变。故 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n{a}_n{\left(x-1\right)}^n}$ 的收敛区间为 $\left(-1,3\right)$，$x=2$ 在收敛区间内部，故该点处级数绝对收敛，得证。

3.2. 求和函数

求解幂级数和函数时需要先求出收敛半径，进而求得收敛域，然后再求幂级数收敛域上的和函数。通常在求和函数的过程中我们依赖四则运算法则，恒等变形以及一些基本级数的和函数形式。

3.2.1. 和函数的运算

1) 恒等变形

a) 通项、下标一起变，其中l为整数，可正可负可为0，如 ${\displaystyle \underset{n=k}{\overset{\infty }{\sum }}{a}_n}{x}^n={\displaystyle \underset{n=k+l}{\overset{\infty }{\sum }}{a}_{n-l}}{x}^{n-l}$ ；

b) 只变下标，不变通项，如 ${\displaystyle \underset{n=k}{\overset{\infty }{\sum }}{a}_n}{x}^n=a_k{x}^k+a_{k+1}{x}^{k+1}+\cdots +a_{k+l-1}{x}^{k+l-1}+{\displaystyle \underset{n=k+l}{\overset{\infty }{\sum }}{a}_n}{x}^n$ ；

c) 只变通项，不变下标 ${\displaystyle \underset{n=k}{\overset{\infty }{\sum }}{a}_n}{x}^n=x^l{\displaystyle \underset{n=k}{\overset{\infty }{\sum }}{a}_n}{x}^{n-l}$。

2) 一些基本级数的和函数

a) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}\frac{x^n}{n!}}=1+x+\frac{x^2}{2!}+\cdots +\frac{x^n}{n!}+\cdots ={\text{e}}^x,-\infty <x<+\infty$ ；

b) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\left(-1\right)}^n{x}^n}=1-x+x^2-x^3+\cdots +{\left(-1\right)}^n{x}^n+\cdots =\frac{1}{1+x},-1<x<1$ ；

c) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{x}^n}=1+x+x^2+x^3+\cdots +x^n+\cdots =\frac{1}{1-x},-1<x<1$ ；

d) ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(-1\right)}^{n-1}\frac{x^n}{n}}=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots +{\left(-1\right)}^{n-1}\frac{x^n}{n}+\cdots =\ln \left(1+x\right),-1<x\le 1$ ；

e) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\left(-1\right)}^n\frac{x^{2n+1}}{\left(2n+1\right)!}}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots +{\left(-1\right)}^n\frac{x^{2n+1}}{\left(2n+1\right)!}+\cdots =\sin x,-\infty <x<+\infty$ ；

f) ${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\left(-1\right)}^n\frac{x^{2n}}{\left(2n\right)!}}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots +{\left(-1\right)}^n\frac{x^{2n}}{\left(2n\right)!}+\cdots =\cos x,-\infty <x<+\infty$。

3.2.2. 幂级数求和函数

1) 直接套公式(利用已知的基本级数的和函数)

例5 求幂级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{1}{n}}{\left(3+x\right)}^{2n}$ 的和函数。

解因为 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(-1\right)}^{n-1}\frac{{{\displaystyle x}}^n}{n}}=\ln \left(1+x\right)$，$x\in \left(-1,1\right]$，所以 $\ln \left(1-x\right)=-{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{{\displaystyle x}}^n}{n}},x\in \left[-1,1\right)$。故

${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{1}{n}}{\left(3+x\right)}^{2n}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{{\left[{\left(3+x\right)}^2\right]}^n}{n}}=-\ln \left[1-{\left(3+x\right)}^2\right]$ $(-4<x<-2)$。

2) 先导后积或先积后导求和函数(一定在收敛区间求)

a) 当 ${\left(an+b\right)}^c$ 在分母上时，先导后积

注：在题目中验证 ${\displaystyle {\int }_a^x{S}^{\prime }\left(x\right)\text{d}t}$ 是否等于 $S\left(s\right)$，事实上由于 ${\displaystyle {\int }_a^x{S}^{\prime }\left(x\right)\text{d}t}=S\left(x\right)-S\left(a\right)$ 故 $S\left(x\right)={\displaystyle {\int }_a^x{S}^{\prime }\left(x\right)\text{d}t}+S\left(a\right)$ ；又由于当a为中心点时， $\{\begin{array}{l}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n{x}^n}\stackrel{a=0}{\to }{a}_0\\ {\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{a}_n{\left(x-x_0\right)}^n}\stackrel{a=x_0}{\to }{a}_0\end{array}$ 都收敛，故下限a通常取中心点。

例 6求级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{x_n}{n}}$ 的和函数。

解设 $S\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{x_n}{n}}$，逐项求导，得 $S^{\prime }\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(\frac{x_n}{n}\right)}^{\prime }}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{{\displaystyle x}}^{n-1}}=\frac{1}{1-x}$，$\left|x\right|<1$，然后两边积分，得 $S\left(x\right)-S\left(0\right)={\displaystyle {\int }_0^x\frac{\text{d}t}{1-t}}=-\ln \left(1-x\right)$，又因为 $S\left(0\right)=0$，故和函数

$S\left(x\right)=-\ln \left(1-x\right)+S\left(0\right)=-\ln \left(1-x\right)$，$x\in \left[-1,1\right)$ (3.3)

b) 当 ${{\displaystyle \left(an+b\right)}}^c$ 在分子上时，先积后导

例 7求级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^n$ 的和函数。

解 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^n=x{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^{n-1}$，设 $S\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^{n-1}$，则原级数 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^n=xS\left(x\right)$。对 $S\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n}{x}^{n-1}$ 两边积分，得 ${\displaystyle {\int }_0^{x}S\left(t\right)\text{d}t}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\displaystyle {\int }_0^{x}n}{t}^{n-1}\text{d}t}={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{x}^n}=\frac{x}{1-x}$，$\left|x\right|<1$。再两边求导，得

${\left[{\displaystyle {\int }_0^{x}S\left(t\right)\text{d}t}\right]}^{\prime }={\left(\frac{x}{1-x}\right)}^{\prime }=\frac{1}{{\left(1-x\right)}^2}$ (3.4)

所以 ${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}n{x}^n}=xS\left(x\right)=\frac{x}{1-x^2}$，$\left|x\right|<1$。

3) 运用四则运算法则

例 8求幂级数的和函数。

解先利用幂级数的运算法则，如加减法：得到幂级数然后利用已有的几个初等函数的幂级数展示求和，得：

(3.5)

(3.6)

故原级数等于。

3.2.3. 和函数的应用

1) 计算积分 [5]

例 9计算不定积分。

解根据公式，则，从而

(3.6)

2) 计算导数

例 10设由方程组所确定，求。

解，分别对求导，

， (3.7)

则。

注：易于求和函数，故求和后再求导；不易于求和函数，故求导后再求和。

3) 求数列极限

例 11求极限。

解由于为正项级数，设，由

(3.8)

知收敛，因此

4) 证明不等式

例 12证明不等式，。

证明因为，，而故原不等式成立。

注：是双曲余弦函数，它的图像在数学中称为悬链线。

4. 结论

本文主要讨论了幂级数收敛与和函数在数学分析以及考研数学中的解题方法。

论文首先给出了幂级数收敛以及和函数的相关理论知识。然后，对幂级数收敛与和函数在考研数学中的应用进行了总结归纳。其中，在求幂级数收敛域的问题中，由于求收敛域和收敛半径题目类型多样，为更好更快地解决问题，需要分“具体型”和“抽象型”两种类型求解，在上述过程中我们通过例题总结出一般的解题规律。在求和函数的问题中，本文对不同情况下和函数的求解思路进行总结，利用四则运算，逐项求导，逐项积分求取和函数，在计算过程中灵活变形，具体问题具体分析，使得问题得到很好的解决；紧接着本文描述了幂级数和函数在不定积分，导数，数列极限，不等式等相关数学分支中的应用。

为了更好学习幂级数这一节内容，我系统总结了几种求收敛域、和函数的方法。通过总结收敛域求法有两种类型，具体型和抽象型。其中具体型主要是根据达朗贝尔判别法得到收敛半径，然后根据数项级数的收敛性判别方法判断端点处的收敛性，求得收敛域；抽象型根据阿贝尔第一定理，以及对原级数平移，求导，积分(不改变收敛半径)得到所要求级数的收敛域。和函数主要学到了如何求和函数值以及利用幂级数和函数求解其他数学问题，如求极限、求导、求不等式以及求积分等等。利用逐项积分，逐项求导，四则运算法则拆分等方法求取和函数的值时一定要注意和函数成立的条件是在收敛域内，这一点尤为重要。

文章引用

白 颖,周颂奇. 幂级数的收敛与和函数
Convergence and Sum Function of Power Series[J]. 应用数学进展, 2020, 09(08): 1221-1229. https://doi.org/10.12677/AAM.2020.98143

参考文献