中册 6.1 数项级数的敛散性 第17题
📝 题目
17.证明下列结论.
(1)设 $a_{n}>0$ ,级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫,证明级数 $\sum_{n=1}^{\infty} a_{n}^{2}$ 收玫,反之不然.
(2)若级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫,问级数 $\sum_{n=1}^{\infty} a_{n}^{2}$ 是否收敛?是,请证明;否,请举反例.
(3)设级数 $\sum_{n=1}^{\infty} u_{n}$ 绝对收敛,证明:级数 $\sum_{n=1}^{\infty} u_{n}^{3}$ 收玫.
(4)设 $a_{n}>0$ ,级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫,证明:(1)当 $p>1$ 时级数 $\sum_{n=1}^{\infty} a_{n}^{p}$ 收玫;(2)$\displaystyle \sum_{n=1}^{\infty} \frac{\sqrt[k]{a_{n}}}{n}$ 收玫 $(k \geqslant 2, k \in \mathbf{N})$ .
💡 答案解析
\section*{解题过程:}
(1)设正项级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫,则 $\lim _{n \rightarrow \infty} a_{n}=0$ ,所以当 $n$ 充分大时有 $0 \leqslant a_{n}<1$ ,即有 $a_{n}^{2} \leqslant a_{n}$ ,因此
$\sum_{n=1}^{\infty} a_{n}^{2}$ 收玫;反之,当 $\sum_{n=1}^{\infty} a_{n}^{2}$ 收玫时,$\sum_{n=1}^{\infty} a_{n}$ 不一定收玫,例如,$\displaystyle a_{n}=\frac{1}{n}, \sum_{n=1}^{\infty} a_{n}^{2}$ 收玫,但 $\sum_{n=1}^{\infty} a_{n}$ 发散。
(2)由级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫,末必有 $\sum_{n=1}^{\infty} a_{n}^{2}$ 收玫.反例:$\displaystyle \sum_{n=1}^{\infty} a_{n}=\sum_{n=1}^{\infty}(-1)^{n} \frac{1}{\sqrt{n}}$ ,由交错级数的敛散性判别定理知 $\displaystyle \sum_{n=1}^{\infty}(-1)^{n} \frac{1}{\sqrt{n}}$ 收玫,但 $\displaystyle \sum_{n=1}^{\infty} a_{n}^{2}=\sum_{n=1}^{\infty} \frac{1}{n}$ 发散。
若 $a_{n}>0$ ,上述现象不会发生,因为 $\sum_{n=1}^{\infty} a_{n}$ 收玫,则 $\lim _{n \rightarrow \infty} a_{n}=0$ ,则 $\displaystyle \lim _{n \rightarrow \infty} \frac{a_{n}^{2}}{a_{n}}=\lim _{n \rightarrow \infty} a_{n}=0$ ,而 $\sum_{n=1}^{\infty} a_{n}$ 收玫,由比较判敛法的极限形式知,$\sum_{n=1}^{\infty} a_{n}^{2}$ 也收玫。
(3)因为级数 $\sum_{n=1}^{\infty} u_{n}$ 绝对收敛,所以 $\lim _{n \rightarrow \infty} u_{n}=0$ ,从而存在 $N>0$ ,使得当 $n>N$ 时有 $\left|u_{n}\right|<1$ ,于是 $\left|u_{n}^{3}\right|=u_{n}^{2}\left|u_{n}\right| \leqslant\left|u_{n}\right|$ ,由比较判别法,级数 $\sum_{n=1}^{\infty} u_{n}^{3}$ 收玫。
(4)由正项级数 $\sum_{n=1}^{\infty} a_{n}$ 收玫可知,存在 $N_{1} \in \mathbf{N}^{*}$ ,当 $n>N_{1}$ 时有 $\displaystyle 0 \leqslant a_{n}<\frac{1}{2}$ ,从而 $0 \leqslant a_{n}^{p} \leqslant a_{n}^{p-1} a_{n} \leqslant a_{n}$ ,由此立得 $\sum_{n=1}^{\infty} a_{n}^{p}$ 收玫。
利用几何算术平均不等式得
$$
\frac{\sqrt[k]{a_{n}}}{n}=\sqrt[k]{a_{n} \cdot\left(n^{-\frac{k}{k-1}}\right)^{k-1}} \leqslant \frac{a_{n}+(k-1) n^{-\frac{k}{k-1}}}{k} \leqslant \frac{1}{k} a_{n}+\frac{k-1}{k} n^{-\frac{k}{k-1}},
$$
因为 $\displaystyle \frac{k}{k-1}>1$ ,所以 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^{k-1}}$ 收玫,又由 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{k} a_{n}$ 收玫,故 $\displaystyle \sum_{n=1}^{\infty} \frac{\sqrt[k]{a_{n}}}{n}$ 收玫。
📋 详细解题步骤
步骤 1/5
目标:证明(1):正项级数收敛则平方级数收敛
设正项级数 $\sum_{n=1}^{\infty} a_n$ 收敛,则 $\lim_{n\to\infty} a_n = 0$。因此存在 $N$,当 $n>N$ 时 $0 \leq a_n < 1$,从而 $a_n^2 \leq a_n$。由比较判别法,$\sum_{n=1}^{\infty} a_n^2$ 收敛。反之不成立,反例:$a_n = \frac{1}{n}$,则 $\sum a_n^2$ 收敛但 $\sum a_n$ 发散。
公式:$a_n^2 \leq a_n$ 当 $0 \leq a_n < 1$
提示:注意反例中 $a_n$ 必须为正项,且平方级数收敛不能推出原级数收敛。
步骤 2/5
目标:证明(2):一般收敛级数平方不一定收敛
反例:$a_n = (-1)^n \frac{1}{\sqrt{n}}$,则 $\sum a_n$ 为交错级数,由莱布尼茨判别法收敛,但 $a_n^2 = \frac{1}{n}$,$\sum a_n^2$ 发散。若 $a_n>0$,则 $\lim_{n\to\infty} \frac{a_n^2}{a_n} = \lim a_n = 0$,由比较判别法的极限形式知 $\sum a_n^2$ 收敛。
公式:$\lim_{n\to\infty} \frac{a_n^2}{a_n} = \lim a_n = 0$
提示:注意条件:$a_n>0$ 时平方级数才一定收敛。
步骤 3/5
目标:证明(3):绝对收敛级数的立方级数收敛
由 $\sum |u_n|$ 收敛得 $\lim u_n = 0$,存在 $N$ 使 $n>N$ 时 $|u_n|<1$,则 $|u_n^3| = |u_n|^3 \leq |u_n|$。由比较判别法,$\sum |u_n^3|$ 收敛,即 $\sum u_n^3$ 绝对收敛。
公式:$|u_n^3| \leq |u_n|$ 当 $|u_n|<1$
提示:注意立方级数收敛是绝对收敛,因为 $u_n^3$ 可能为负。
步骤 4/5
目标:证明(4)第一部分:正项级数收敛则 $p>1$ 次幂级数收敛
由 $\sum a_n$ 收敛得 $\lim a_n = 0$,存在 $N$ 使 $n>N$ 时 $0 \leq a_n < 1/2$,则 $a_n^p = a_n^{p-1} a_n \leq (1/2)^{p-1} a_n$。由比较判别法,$\sum a_n^p$ 收敛。
公式:$a_n^p \leq (1/2)^{p-1} a_n$ 当 $a_n < 1/2$
提示:注意 $p>1$ 时 $a_n^{p-1}$ 有界,从而与 $a_n$ 比较。
步骤 5/5
目标:证明(4)第二部分:$\sum \frac{\sqrt[k]{a_n}}{n}$ 收敛
利用几何-算术平均不等式:$\frac{\sqrt[k]{a_n}}{n} = \sqrt[k]{a_n \cdot (n^{-\frac{k}{k-1}})^{k-1}} \leq \frac{a_n + (k-1)n^{-\frac{k}{k-1}}}{k} = \frac{1}{k}a_n + \frac{k-1}{k} n^{-\frac{k}{k-1}}$。由于 $\frac{k}{k-1}>1$,$\sum n^{-\frac{k}{k-1}}$ 收敛,且 $\sum \frac{1}{k}a_n$ 收敛,故原级数收敛。
公式:$\sqrt[k]{a_n \cdot (n^{-\frac{k}{k-1}})^{k-1}} \leq \frac{a_n + (k-1)n^{-\frac{k}{k-1}}}{k}$
提示:注意 $k \geq 2$,$\frac{k}{k-1}>1$ 保证 $p$ 级数收敛。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。