电子科技大学 2023年数学分析第0题
📝 题目
2．设幂级数 $\sum_{n=0}^{\infty} a_{n} x^{n}$ 的收敛半径为 1 ，左极限 $\lim _{x \rightarrow 1^{-}} \sum_{n=0}^{\infty} a_{n} x^{n}$ 存在，且 $\lim _{n \rightarrow \infty} n a_{n}=0$ ．证明：数项级数 $\sum_{n=0}^{\infty} a_{n}$ 收敛且 $\sum_{n=0}^{\infty} a_{n}=\lim _{x \rightarrow 1^{-}} \sum_{n=0}^{\infty} a_{n} x^{n}$ 。举例说明：仅由 $\sum_{n=0}^{\infty} a_{n} x^{n}$ 的收敛半径为 1 及左极限 $\lim _{x \rightarrow 1^{-}} \sum_{n=0}^{\infty} a_{n} x^{n}$ 存在不能断言数项级数 $\sum_{n=0}^{\infty} a_{n}$ 收玫。
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：理解已知条件和证明目标
已知幂级数 \(\sum_{n=0}^{\infty} a_n x^n\) 的收敛半径为 1，左极限 \(\lim_{x \to 1^-} \sum_{n=0}^{\infty} a_n x^n = S\) 存在，且 \(\lim_{n \to \infty} n a_n = 0\)。需要证明数项级数 \(\sum_{n=0}^{\infty} a_n\) 收敛且其和等于 \(S\)。这是一个典型的Tauber型定理问题，即由Abel可和性与系数的衰减条件推出级数收敛。
公式：\lim_{x \to 1^-} \sum_{n=0}^{\infty} a_n x^n = S, \quad \lim_{n \to \infty} n a_n = 0
提示：注意区分幂级数的和函数在边界上的极限与数项级数的和，两者不一定相等，需要额外条件。
步骤 2/5
目标：利用Abel变换将和函数与部分和联系起来
设部分和 \(A_n = \sum_{k=0}^n a_k\)，并定义 \(A_{-1}=0\)。对 \(0 < x < 1\)，利用Abel变换（分部求和）可得：
\[
\sum_{n=0}^{\infty} a_n x^n = (1-x) \sum_{n=0}^{\infty} A_n x^n.
\]
这是因为 \(a_n = A_n - A_{n-1}\)，代入后重新组合即得。
公式：\sum_{n=0}^{\infty} a_n x^n = (1-x) \sum_{n=0}^{\infty} A_n x^n
提示：Abel变换是处理幂级数与部分和关系的常用技巧，注意这里要求 \(|x|<1\) 以保证级数绝对收敛。
步骤 3/5
目标：将已知极限条件转化为关于部分和的信息
由已知 \(\lim_{x \to 1^-} \sum_{n=0}^{\infty} a_n x^n = S\)，代入Abel变换结果得：
\[
\lim_{x \to 1^-} (1-x) \sum_{n=0}^{\infty} A_n x^n = S.
\]
这意味着部分和序列 \(\{A_n\}\) 在Abel意义下可和到 \(S\)，即 \(\sum a_n\) 是Abel可和的。
公式：\lim_{x \to 1^-} (1-x) \sum_{n=0}^{\infty} A_n x^n = S
提示：Abel可和性弱于普通收敛，需要额外条件才能推出收敛。
步骤 4/5
目标：利用条件 \(n a_n \to 0\) 进行精细估计（Tauber型论证）
取 \(x = 1 - \frac{1}{n}\)（其中 \(n\) 为正整数），考虑差值 \(f(x) - A_n\)。将其分为两部分：
\[
f(x) - A_n = \sum_{k=0}^n a_k (x^k - 1) + \sum_{k=n+1}^{\infty} a_k x^k.
\]
对于第一部分，利用 \(1 - x^k \le k(1-x) = \frac{k}{n}\)，得
\[
\left| \sum_{k=0}^n a_k (x^k - 1) \right| \le \frac{1}{n} \sum_{k=0}^n k |a_k|.
\]
由 \(\lim_{k \to \infty} k a_k = 0\) 可知 \(\frac{1}{n} \sum_{k=0}^n k |a_k| \to 0\)（因为 \(k|a_k|\) 有界且趋于0，其算术平均也趋于0）。
对于第二部分，当 \(k > n\) 时，由 \(k|a_k| < \varepsilon\)（对充分大的 \(k\)），得 \(|a_k| < \varepsilon/k\)，且 \(x = 1-1/n\)，则 \(x^k \le e^{-k/n}\)。于是
\[
\left| \sum_{k=n+1}^{\infty} a_k x^k \right| \le \varepsilon \sum_{k=n+1}^{\infty} \frac{1}{k} e^{-k/n} \le \varepsilon \int_{n}^{\infty} \frac{1}{t} e^{-t/n} dt = \varepsilon \int_{1}^{\infty} \frac{1}{u} e^{-u} du = \varepsilon \cdot C,
\]
其中 \(C\) 为常数。因此当 \(n\) 充分大时，第二部分可任意小。结合两部分估计，可得 \(A_n \to S\)。
公式：\left| \sum_{k=0}^n a_k (x^k - 1) \right| \le \frac{1}{n} \sum_{k=0}^n k |a_k|, \quad \left| \sum_{k=n+1}^{\infty} a_k x^k \right| \le \varepsilon \sum_{k=n+1}^{\infty} \frac{1}{k} e^{-k/n}
提示：关键技巧是取 \(x = 1-1/n\) 将离散与连续联系起来，并利用积分估计控制尾部。注意 \(\sum_{k=0}^n k|a_k| = o(n)\) 的证明需要用到 \(k a_k \to 0\) 的Cesàro平均性质。
步骤 5/5
目标：总结证明并指出反例
由上述Tauber型论证，我们证明了 \(\lim_{n \to \infty} A_n = S\)，即数项级数 \(\sum_{n=0}^{\infty} a_n\) 收敛且其和等于 \(S\)。
反例：取 \(a_n = (-1)^n\)，则幂级数 \(\sum_{n=0}^{\infty} (-1)^n x^n = \frac{1}{1+x}\) 的收敛半径为1，且 \(\lim_{x \to 1^-} \frac{1}{1+x} = \frac{1}{2}\) 存在，但数项级数 \(\sum_{n=0}^{\infty} (-1)^n\) 发散（部分和在0和1之间振荡）。此例中 \(\lim_{n \to \infty} n a_n\) 不存在（振荡无界），因此不满足定理条件，说明条件 \(n a_n \to 0\) 是必要的。
公式：\sum_{n=0}^{\infty} (-1)^n x^n = \frac{1}{1+x}, \quad \lim_{x \to 1^-} \frac{1}{1+x} = \frac{1}{2}
提示：反例说明仅靠收敛半径为1和左极限存在不能保证数项级数收敛，必须加上系数衰减条件。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。