中册 6.1 数项级数的敛散性 第45题

数学分析早年真题

📝 题目

45.已知级数 $\sum_{n=1}^{\infty}\left(a_{n+1}-a_{n}\right)$ 绝对收敛,级数 $\sum_{n=1}^{\infty} b_{n}$ 收敛,求证:级数 $\sum_{n=1}^{\infty} a_{n} b_{n}$ 收玫.

💡 答案解析

\section*{解题过程:} 设 $S_{n}=b_{1}+b_{2}+\cdots+b_{n}$ ,则 $b_{n}=S_{n}-S_{n-1}$ .于是由 $\sum_{n=1}^{\infty} b_{n}$ 收敛知:$\exists M_{1}>0,\left|S_{n}\right| \leqslant M_{1}, n=1,2, \cdots$ 。 由 $\sum_{n=1}^{\infty}\left(a_{n+1}-a_{n}\right)$ 绝对收敛知 $\left\{a_{n}\right\}$ 收敛,于是 $\forall \varepsilon>0, \exists N_{1}>0, \forall n, m>N_{1}$ 有 $$ \left|a_{n}-a_{n-1}\right|+\left|a_{n+1}-a_{n}\right|+\cdots+\left|a_{m}-a_{m-1}\right|<\varepsilon \text {, 且 }\left|a_{n}-a_{m}\right|<\varepsilon \text {. } $$ 由 $\left\{a_{n}\right\}$ 收玫知:$\exists M_{2}>0,\left|a_{n}\right| \leqslant M_{2}, n=1,2, \cdots$ 。记 $M=\max \left\{M_{1}, M_{2}\right\}$ 。 又 $\left\{S_{n}\right\}$ 收敛,对上述 $\varepsilon>0, \exists N_{2}>0, \forall n>N_{2}, m>N_{2}$ 有 $$ \left|S_{n}-S_{m}\right|<\varepsilon $$ 取 $N=\max \left\{N_{1}, N_{2}\right\}+1$ ,则当 $n, m>N$ 时, $$ \begin{aligned} & \left|a_{n} b_{n}+a_{n+1} b_{n+1}+\cdots+a_{m} b_{m}\right| \\ & =\left|a_{n}\left(S_{n}-S_{n-1}\right)+a_{n+1}\left(S_{n+1}-S_{n}\right)+\cdots+a_{m}\left(S_{m}-S_{m-1}\right)\right| \\ & \leqslant\left|S_{n}\left(a_{n+1}-a_{n}\right)+S_{n+1}\left(a_{n+2}-a_{n+1}\right)+\cdots+S_{m-1}\left(a_{m}-a_{m-1}\right)+S_{m} a_{m}-S_{m} a_{n}+S_{m} a_{n}-S_{n-1} a_{n}\right| \\ & \leqslant M\left[\left|a_{n+1}-a_{n}\right|+\left|a_{n+2}-a_{n+1}\right|+\cdots+\left|a_{m}-a_{m-1}\right|\right]+M\left|a_{m}-a_{n}\right|+\left|a_{n} \| S_{m}-S_{n-1}\right|<3 M \varepsilon . \end{aligned} $$ 由柯西收敛准则,级数 $\sum_{n=1}^{\infty} a_{n} b_{n}$ 收玫。

📋 详细解题步骤

步骤 1/7
目标:引入部分和并利用收敛性得到有界性
设 $S_n = b_1 + b_2 + \cdots + b_n$,则 $b_n = S_n - S_{n-1}$。由于级数 $\sum_{n=1}^{\infty} b_n$ 收敛,故部分和数列 $\{S_n\}$ 收敛,从而有界:存在 $M_1 > 0$,使得 $|S_n| \leq M_1$ 对所有 $n$ 成立。
公式:$b_n = S_n - S_{n-1}$
提示:注意 $S_0 = 0$,但这里从 $n=1$ 开始,$S_0$ 可定义为0。
步骤 2/7
目标:利用绝对收敛得到数列 $\{a_n\}$ 收敛且有界
由 $\sum_{n=1}^{\infty} (a_{n+1} - a_n)$ 绝对收敛,可知级数收敛,从而其部分和 $a_{n+1} - a_1$ 收敛,故 $\{a_n\}$ 收敛。收敛数列必有界:存在 $M_2 > 0$,使得 $|a_n| \leq M_2$ 对所有 $n$ 成立。记 $M = \max\{M_1, M_2\}$。
提示:绝对收敛推出原级数收敛,但这里需要的是数列 $\{a_n\}$ 收敛,注意 $a_n = a_1 + \sum_{k=1}^{n-1} (a_{k+1} - a_k)$。
步骤 3/7
目标:利用绝对收敛的柯西准则得到差的和可任意小
由 $\sum_{n=1}^{\infty} |a_{n+1} - a_n|$ 收敛,根据柯西收敛准则,对任意 $\varepsilon > 0$,存在 $N_1 > 0$,当 $n, m > N_1$ 时,有 $\sum_{k=n}^{m-1} |a_{k+1} - a_k| < \varepsilon$,且 $|a_n - a_m| < \varepsilon$(因为 $\{a_n\}$ 收敛)。
公式:$\sum_{k=n}^{m-1} |a_{k+1} - a_k| < \varepsilon$
提示:注意 $n, m$ 的大小关系,通常取 $n < m$,且 $\sum_{k=n}^{m-1}$ 表示从 $n$ 到 $m-1$ 的项。
步骤 4/7
目标:利用 $\{S_n\}$ 收敛得到其差可任意小
由于 $\{S_n\}$ 收敛,对上述 $\varepsilon > 0$,存在 $N_2 > 0$,当 $n, m > N_2$ 时,有 $|S_n - S_m| < \varepsilon$。
提示:注意 $S_n$ 是部分和,收敛意味着柯西条件成立。
步骤 5/7
目标:对级数部分和进行阿贝尔变换
取 $N = \max\{N_1, N_2\} + 1$,则当 $n, m > N$ 时,考虑部分和 $\sum_{k=n}^{m} a_k b_k$。利用 $b_k = S_k - S_{k-1}$,有 \[ \sum_{k=n}^{m} a_k b_k = \sum_{k=n}^{m} a_k (S_k - S_{k-1}) = \sum_{k=n}^{m} a_k S_k - \sum_{k=n}^{m} a_k S_{k-1}. \] 通过调整下标,可写成 \[ = -a_n S_{n-1} + \sum_{k=n}^{m-1} (a_k - a_{k+1}) S_k + a_m S_m. \] 或者直接使用阿贝尔变换公式: \[ \sum_{k=n}^{m} a_k b_k = a_m S_m - a_n S_{n-1} - \sum_{k=n}^{m-1} (a_{k+1} - a_k) S_k. \]
公式:$\sum_{k=n}^{m} a_k b_k = a_m S_m - a_n S_{n-1} - \sum_{k=n}^{m-1} (a_{k+1} - a_k) S_k$
提示:阿贝尔变换是处理 $a_n b_n$ 型级数的重要工具,注意下标对应。
步骤 6/7
目标:估计部分和的绝对值
对上述表达式取绝对值,并利用三角不等式: \[ \left| \sum_{k=n}^{m} a_k b_k \right| \leq |a_m||S_m| + |a_n||S_{n-1}| + \sum_{k=n}^{m-1} |a_{k+1} - a_k| |S_k|. \] 由于 $|a_n|, |a_m|, |S_k|, |S_m|, |S_{n-1}| \leq M$,且 $\sum_{k=n}^{m-1} |a_{k+1} - a_k| < \varepsilon$,$|a_m - a_n| < \varepsilon$,但这里需要更精细的估计。实际上,由 $|S_m| \leq M$,$|S_{n-1}| \leq M$,以及 $|S_k| \leq M$,得 \[ \leq M|a_m| + M|a_n| + M \sum_{k=n}^{m-1} |a_{k+1} - a_k| \leq 2M^2 + M\varepsilon. \] 但这样不能得到任意小。正确做法是利用 $S_n$ 的收敛性,将 $S_k$ 替换为 $S_k - S_m$ 或类似技巧。实际上,原解答中使用了另一种变形: \[ \sum_{k=n}^{m} a_k b_k = S_n (a_{n+1} - a_n) + \cdots + S_{m-1} (a_m - a_{m-1}) + S_m a_m - S_{n-1} a_n. \] 然后估计: \[ \left| \sum_{k=n}^{m} a_k b_k \right| \leq M \sum_{k=n}^{m-1} |a_{k+1} - a_k| + M|a_m - a_n| + |a_n||S_m - S_{n-1}| < 3M\varepsilon. \]
提示:注意 $S_m - S_{n-1}$ 的绝对值小于 $\varepsilon$ 是因为 $n-1, m > N$,且 $\{S_n\}$ 收敛。
步骤 7/7
目标:由柯西收敛准则得级数收敛
由上述估计,对任意 $\varepsilon > 0$,存在 $N$,当 $n, m > N$ 时,$\left| \sum_{k=n}^{m} a_k b_k \right| < 3M\varepsilon$,即部分和满足柯西条件,因此级数 $\sum_{n=1}^{\infty} a_n b_n$ 收敛。
提示:柯西收敛准则是判断级数收敛的充要条件,注意这里 $\varepsilon$ 是任意的,$3M$ 是常数,所以可以取 $\varepsilon' = \varepsilon/(3M)$ 得到标准形式。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。