关于克罗内克引理（Kronecker lemma）变体形式的技术问询

问题陈述 #

设${x_n}{n \geq 1}$是实数域$\mathbb{R}$中的序列，${a_n}{n \geq 1}$是正实数序列，满足当$n \to \infty$时$a_n \to \infty$。进一步假设级数$\sum_{n=1}^{\infty} \frac{x_n}{a_n}$收敛，证明：
$$
\frac{1}{a_n} \sum_{k=1}^{n} x_k \to 0 \quad \text{当 } n \to \infty.
$$

疑问点 #

有评论提到上述命题是克罗内克引理的一种重新表述，但标准克罗内克引理的形式似乎有所不同，想明确这个命题到底是对标准克罗内克引理做了怎样的修改？

变体与标准克罗内克引理的差异解析 #

咱们先回忆下标准克罗内克引理的经典表述：
设${b_n}{n \geq 1}$是严格递增的正实数序列，且$b_n \to \infty$；${y_n}{n \geq 1}$是实数序列，级数$\sum_{n=1}^{\infty} y_n$收敛。则有
$$
\frac{1}{b_n} \sum_{k=1}^{n} b_k y_k \to 0 \quad \text{当 } n \to \infty.
$$

现在把题目里的命题和标准版放在一起对比，做个简单的变量替换就能看穿它们的等价性：

• 令$y_n = \frac{x_n}{a_n}$，这样题目里的收敛条件$\sum_{n=1}^{\infty} \frac{x_n}{a_n}$收敛，就对应标准引理里的$\sum_{n=1}^{\infty} y_n$收敛；
• 再令$b_n = a_n$，这时候关键点就出来了：标准引理要求${b_n}$是严格递增的正序列且趋于无穷，但题目里只要求${a_n}$是正的、趋于无穷的序列，完全没提单调性！

所以这个命题其实是标准克罗内克引理的一个推广/变体——它弱化了对权重序列${a_n}$的限制，去掉了严格递增的要求，只保留了正性和趋于无穷的条件。

其实你不用觉得它是“完全不同”的引理，标准克罗内克引理的证明思路（比如用阿贝尔求和公式那套方法），稍微调整一下就能覆盖非单调的情况，所以题目里的表述本质上就是更一般化的克罗内克引理，只是很多教材会先从严格递增的版本讲起，才会让人觉得两者有差异。

备注：内容来源于stack exchange，提问作者Ricci Ten