数学一

高等数学

知识单元 MATH-CAL-49：幂级数的收敛域与和函数

---

一、定位信息

• 圈层：核心层（大纲考点）
• 前置知识回顾：常数项级数的收敛与发散概念、正项级数判别法（比值法、根值法）、交错级数与莱布尼茨判别法、几何级数的求和公式 $\sum_{n=0}^{\infty} ar^n = \frac{a}{1-r}$（$|r|<1$）。需要掌握区间和邻域的概念。
• 知识网络定位：本单元是无穷级数理论的核心，上承常数项级数判别法，下启函数展开为幂级数（泰勒展开）。幂级数将函数表示为无穷多项式的形式，是连接"离散"级数与"连续"函数的桥梁。
• 考点热度等级：H级（高频重点）。求收敛半径、收敛域以及和函数是几乎每年必考的解答题，分值8-10分。

---

二、知识点讲解

2.1 幂级数的基本概念

定义：形如

$\sum_{n=0}^{\infty} a_n (x - x_0)^n = a_0 + a_1(x-x_0) + a_2(x-x_0)^2 + \cdots$

的级数称为 $(x-x_0)$ 的幂级数，其中 $a_n$ 为系数，$x_0$ 为展开中心。

不失一般性，取 $x_0 = 0$，讨论 $\sum_{n=0}^{\infty} a_n x^n$。

2.2 Abel 定理（收敛半径的存在性）

定理：若幂级数 $\sum_{n=0}^{\infty} a_n x^n$ 在 $x = x_1 \neq 0$ 处收敛，则对所有满足 $|x| < |x_1|$ 的 $x$，幂级数绝对收敛。若在 $x = x_1$ 处发散，则对所有满足 $|x| > |x_1|$ 的 $x$，幂级数发散。

证明思路：若 $\sum a_n x_1^n$ 收敛，则 $a_n x_1^n \to 0$，有界，设 $|a_n x_1^n| \leq M$。当 $|x| < |x_1|$ 时，$|a_n x^n| = |a_n x_1^n| \cdot \left|\frac{x}{x_1}\right|^n \leq M \left|\frac{x}{x_1}\right|^n$，右边是公比 $<1$ 的几何级数，由比较判别法绝对收敛。

推论：存在 $R \in [0, +\infty]$（收敛半径），使得：

• 当 $|x| < R$ 时，幂级数绝对收敛
• 当 $|x| > R$ 时，幂级数发散
• 当 $|x| = R$ 时，需单独判断

开区间 $(-R, R)$ 称为幂级数的收敛区间，再考虑端点后的完整集合称为收敛域。

2.3 收敛半径的计算

方法一：比值法（达朗贝尔）

设 $\lim_{n\to\infty} \left|\frac{a_{n+1}}{a_n}\right| = \rho$，则：

$R = \frac{1}{\rho}$

（$\rho = 0$ 时 $R = +\infty$；$\rho = +\infty$ 时 $R = 0$）

方法二：根值法（柯西-阿达马）

$\frac{1}{R} = \limsup_{n\to\infty} \sqrt[n]{|a_n|}$

根值法的适用范围更广（比值极限不存在时根值极限仍可能存在）。

重要提醒：求出收敛半径 $R$ 后，必须单独检验端点 $x = \pm R$ 处的敛散性，才能确定完整的收敛域。

2.4 收敛域的求法步骤

1. 求收敛半径 $R$（比值法或根值法）
2. 写出收敛区间 $(-R, R)$
3. 检验端点：
   • 将 $x = R$ 代入幂级数，得到常数项级数，用常数项级数判别法判断
   • 将 $x = -R$ 代入幂级数，同理判断
4. 写出收敛域（可能是开区间、闭区间、半开半闭区间）

2.5 幂级数的和函数

定理：幂级数 $\sum_{n=0}^{\infty} a_n x^n$ 在收敛区间 $(-R, R)$ 内的和函数 $S(x)$ 具有以下性质：

1. 连续性：$S(x)$ 在 $(-R, R)$ 内连续
2. 逐项可积性：在 $(-R, R)$ 内可逐项积分：

$\int_0^x S(t)\,dt = \sum_{n=0}^{\infty} \frac{a_n}{n+1} x^{n+1}$

积分后的幂级数收敛半径不变。

3. 逐项可导性：在 $(-R, R)$ 内可逐项求导：

$S'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$

求导后的幂级数收敛半径不变。

求和函数的核心技巧：通过逐项求导或逐项积分，将幂级数化为已知的几何级数 $\sum_{n=0}^{\infty} x^n = \frac{1}{1-x}$（$|x|<1$），再反推和函数。

2.6 常见幂级数的和函数

幂级数	收敛域	和函数
$\sum_{n=0}^{\infty} x^n$	$(-1,1)$	$\frac{1}{1-x}$
$\sum_{n=0}^{\infty} \frac{x^n}{n!}$	$(-\infty,+\infty)$	$e^x$
$\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}$	$(-\infty,+\infty)$	$\cos x$
$\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}$	$(-\infty,+\infty)$	$\sin x$
$\sum_{n=1}^{\infty} \frac{(-1)^{n-1} x^n}{n}$	$(-1,1]$	$\ln(1+x)$
$\sum_{n=0}^{\infty} (-1)^n x^n$	$(-1,1)$	$\frac{1}{1+x}$
$\sum_{n=1}^{\infty} nx^{n-1}$	$(-1,1)$	$\frac{1}{(1-x)^2}$

---

三、记忆与理解辅助

技巧1：收敛半径公式记忆

$R = \frac{1}{\rho}, \quad \rho = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|$

口诀："系数比值取极限，倒数就是收敛半径。"

特殊情况：$\rho = 0 \Rightarrow R = +\infty$（处处收敛）；$\rho = +\infty \Rightarrow R = 0$（仅在 $x=0$ 处收敛）。

技巧2：求和函数的"三板斧"

遇到幂级数求和函数，按以下顺序尝试：

1. 识别标准形式：是否直接对应 $e^x$、$\sin x$、$\cos x$、$\ln(1+x)$ 等已知展开式
2. 逐项求导：通项含 $\frac{1}{n}$ 时，求导可消去分母中的 $n$
3. 逐项积分：通项含 $n$ 时，积分可消去分子中的 $n$

核心思想：化为几何级数 $\frac{1}{1-x}$ 或其变体。

技巧3：端点判断的注意事项

端点处级数类型	常用判别法
正项级数	比较法、比值法、$p$-级数比较
交错级数	莱布尼茨判别法
含 $\frac{1}{n^p}$	$p$-级数，$p>1$ 收敛，$p\leq 1$ 发散

端点处的收敛性决定了收敛域是开区间、闭区间还是半开半闭区间。

技巧4：逐项求导/积分不改变收敛半径

这是一个重要且常被忽略的事实。逐项求导或积分后，收敛半径 $R$ 不变，但端点处的敛散性可能改变。例如 $\sum x^n$ 在 $x=\pm 1$ 处发散，但逐项积分后的 $\sum \frac{x^{n+1}}{n+1}$ 在 $x=-1$ 处收敛。

---

四、例题与精解

例1（基础巩固）

命题意图：考查收敛半径和收敛域的标准求法。

求幂级数 $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} x^n$ 的收敛域。

审题分析：系数 $a_n = \frac{(-1)^{n-1}}{n}$，需要先求收敛半径，再检验端点。

解题思路：比值法求收敛半径，再分别代入端点判断。

完整步骤：

第一步：求收敛半径

$\rho = \lim_{n\to\infty} \left|\frac{a_{n+1}}{a_n}\right| = \lim_{n\to\infty} \frac{\frac{1}{n+1}}{\frac{1}{n}} = \lim_{n\to\infty} \frac{n}{n+1} = 1$

$R = \frac{1}{\rho} = 1$

收敛区间为 $(-1, 1)$。

第二步：检验端点 $x = 1$

代入 $x=1$：$\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} \cdot 1^n = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}$

这是交错调和级数，$u_n = \frac{1}{n}$ 单调递减趋于零，由莱布尼茨判别法，收敛。

第三步：检验端点 $x = -1$

代入 $x=-1$：$\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} \cdot (-1)^n = \sum_{n=1}^{\infty} \frac{(-1)^{2n-1}}{n} = -\sum_{n=1}^{\infty} \frac{1}{n}$

这是负的调和级数，发散。

第四步：写出收敛域

收敛域为 $(-1, 1]$。

方法反思：此幂级数在 $x=1$ 处的和恰好是 $\ln 2$，在 $x=-1$ 处发散（调和级数）。收敛域的确定必须逐个检验端点，不能遗漏。

例2（中等提升）

命题意图：考查幂级数求和函数的方法（逐项积分或逐项求导）。

求幂级数 $\sum_{n=1}^{\infty} n x^n$ 的和函数。

审题分析：通项含 $n$，直接不好求和。考虑通过逐项积分消去 $n$，化为几何级数。

解题思路：先求收敛半径，再通过逐项积分法求和函数。

完整步骤：

第一步：求收敛半径

$\rho = \lim_{n\to\infty} \left|\frac{a_{n+1}}{a_n}\right| = \lim_{n\to\infty} \frac{n+1}{n} = 1, \quad R = 1$

在 $(-1, 1)$ 内级数收敛。

第二步：设和函数 $S(x) = \sum_{n=1}^{\infty} n x^n$，$|x| < 1$

方法：逐项积分法

对 $S(x)$ 从 $0$ 到 $x$ 积分：

$\int_0^x S(t)\,dt = \sum_{n=1}^{\infty} n \int_0^x t^n\,dt = \sum_{n=1}^{\infty} n \cdot \frac{x^{n+1}}{n+1} = \sum_{n=1}^{\infty} \frac{n}{n+1} x^{n+1}$

这个积分后的级数仍不好求和。换一种思路——逐项求导法的逆向思考。

更好的方法：利用几何级数

注意到 $S(x) = x \sum_{n=1}^{\infty} n x^{n-1}$。令 $T(x) = \sum_{n=1}^{\infty} n x^{n-1}$，则 $S(x) = x \cdot T(x)$。

对几何级数 $\sum_{n=0}^{\infty} x^n = \frac{1}{1-x}$ 逐项求导：

$\sum_{n=1}^{\infty} n x^{n-1} = \frac{d}{dx}\left(\frac{1}{1-x}\right) = \frac{1}{(1-x)^2}$

因此 $T(x) = \frac{1}{(1-x)^2}$。

第三步：得出和函数

$S(x) = x \cdot T(x) = \frac{x}{(1-x)^2}, \quad |x| < 1$

第四步：验证

取 $x = \frac{1}{2}$：$S\left(\frac{1}{2}\right) = \frac{\frac{1}{2}}{(1-\frac{1}{2})^2} = \frac{\frac{1}{2}}{\frac{1}{4}} = 2$

直接计算：$\sum_{n=1}^{\infty} n \cdot \left(\frac{1}{2}\right)^n = \frac{1}{2} + \frac{2}{4} + \frac{3}{8} + \frac{4}{16} + \cdots$

利用公式 $\sum n r^n = \frac{r}{(1-r)^2}$，$r=\frac{1}{2}$：$\frac{1/2}{1/4} = 2$ ✓

方法反思：求和函数的核心技巧是化为几何级数。当通项含 $n$ 时，考虑从几何级数出发逐项求导；当通项含 $\frac{1}{n}$ 时，考虑从几何级数出发逐项积分。

---

五、考情分析

• 考查频次：近5年每年必考，是级数章节最重要的考点。
• 常见题型：解答题（求收敛域和和函数），分值8-10分。
• 分值占比：约8-10分，是级数章节分值最高的知识点。
• 命题趋势：求和函数的难度有增加趋势，常需要多次运用逐项求导/积分的技巧。近年来也出现了将幂级数与微分方程结合的综合题。

---

六、易错点提醒

1. 错误表现：求出收敛半径 $R$ 后直接写收敛域为 $(-R, R)$，忘记检验端点。 错误原因：收敛区间和收敛域是两个不同的概念。端点处可能收敛也可能发散。 正确理解/做法：收敛半径确定的是开区间 $(-R, R)$，收敛域必须逐个检验端点 $x = R$ 和 $x = -R$ 后才能确定。

2. 错误表现：用比值法求收敛半径时，对含 $(-1)^n$ 的系数直接取绝对值后比值计算错误。 错误原因：比值法中的 $\left|\frac{a_{n+1}}{a_n}\right|$ 要对系数取绝对值后再比，含 $(-1)^n$ 的部分在取绝对值后消去，不影响 $\rho$ 的计算。 正确理解/做法：$\left|\frac{a_{n+1}}{a_n}\right|$ 中 $(-1)^n$ 取绝对值后变为1，只需计算系数中不含符号部分的比值。

3. 错误表现：求和函数时，忘记标注收敛域，或在端点处也使用了求导/积分公式。 错误原因：逐项求导和逐项积分只在开区间 $(-R, R)$ 内成立，端点处需要单独验证。 正确理解/做法：和函数的表达式 $\sum a_n x^n = S(x)$ 在收敛域内成立。端点处若级数收敛，可以通过连续性（Abel定理的推论）或直接求极限得到和函数在端点的值。

4. 错误表现：混淆 $\sum a_n x^n$ 与 $\sum a_n (x-x_0)^n$ 的收敛中心。 错误原因：后者的收敛区间是以 $x_0$ 为中心的 $(x_0 - R, x_0 + R)$，而非以原点为中心。 正确理解/做法：做变量替换 $t = x - x_0$，化为标准形式 $\sum a_n t^n$ 求收敛半径，再换回 $x$。

---

七、来源标注

• 依据2026考研统考大纲（数学一·高等数学·无穷级数·幂级数部分）
• 依据大学本科经典教材共识（同济大学《高等数学》第七版下册）