反常积分收敛，为什么推不出 f(x)→0？

发布于 2026-09-28反常积分收敛性反例级数高等数学

# 反常积分收敛，为什么推不出 f(x)→0？

学级数的时候，老师都会强调一条收敛的必要条件：

> 若 $\displaystyle\sum_{n=1}^{\infty}a_n$ 收敛，则 $\displaystyle\lim_{n\to\infty}a_n=0$。

很多人会自然而然地把它"移植"到反常积分上：若 $\displaystyle\int_0^{+\infty}f(x)\,\mathrm{d}x$ 收敛，那么 $\displaystyle\lim_{x\to+\infty}f(x)=0$？

这不是移植，是移植错误。 这个结论不成立，而且考研概念题就爱考这个坑。

---

一、级数为什么成立

级数的证明一句话就能写完：记部分和 $S_n$，则

a_n = S_n - S_{n-1}.

级数收敛意味着 $S_n$ 有极限，两个都收敛的数列相减，极限等于极限的差：

\lim_{n\to\infty}a_n = \lim_{n\to\infty}S_n - \lim_{n\to\infty}S_{n-1} = 0.

注意证明的关键：$a_n$ 就是第 $n$ 段区间的"全部贡献"，它恰好等于两个部分和的差，所以它必须趋零。

---

二、积分为什么不成立

积分这边，"第 $n$ 个小区间上的贡献"对应的应该是 $\int_n^{n+1}f(x)\,\mathrm{d}x$（注意这是积分，不是函数值）。收敛的积分当然能推出这些小区间贡献趋于零——但这跟 $f$ 在某一点的取值是两回事。

核心区别：连续函数在一个点（甚至很窄的一条）上的值，对积分的影响可以任意小。

也就是说：$f$ 完全可以在很窄很窄的区间上冲得很高，只要每次冲高的面积足够小，积分照样收敛，而函数值本身可以毫无节制。

尖峰反例

在 $[0,+\infty)$ 上构造一个连续、恒正的 $f$：

1. 基底取 $\mathrm{e}^{-x}$（连续、恒正、可积）； 2. 在每个整数 $n$ 处叠一个高度为 $n$、底宽约 $\dfrac{1}{n\cdot 2^n}$ 的尖峰（用折线连出三角形即可，保持连续）。

每个尖峰的面积约为

\frac{1}{2}\cdot n\cdot\frac{1}{n\cdot 2^n} = \frac{1}{2^{n+1}},

于是全部尖峰的总面积是有限值：

\sum_{n=1}^{\infty}\frac{1}{2^{n+1}} = \frac{1}{2}.

所以

\int_0^{+\infty}f(x)\,\mathrm{d}x \le \int_0^{+\infty}\mathrm{e}^{-x}\,\mathrm{d}x + \frac{1}{2} = \frac{3}{2} < +\infty,

积分收敛。但 $f(n)\ge n\to+\infty$——函数值不仅不趋于零，反而趋于无穷。

这个 $f$ 连续、恒正、可积，条件够"好"了吧？照样不趋零。顺带一提，这个反例还说明：收敛也推不出有界（$f$ 无界）。

---

三、什么时候直觉是对的

反例虽然凶，但只要补上一点条件，直觉就回来了。这两条是值得记住的：

补强条件一（极限存在）： 若 $\displaystyle\int_0^{+\infty}f(x)\,\mathrm{d}x$ 收敛，且 $\displaystyle\lim_{x\to+\infty}f(x)$ 存在（允许为 $+\infty$），则该极限必为 $0$。

道理用反证法一句话：若极限是正数 $A$（或 $+\infty$），则 $x$ 充分大后 $f(x)>\dfrac{A}{2}$，积分变成无限宽的正值条带，必然发散。尖峰反例之所以能逃掉，正是因为它的极限根本不存在。

补强条件二（单调）： 若 $f$ 在 $[0,+\infty)$ 上单调、非负，且 $\displaystyle\int_0^{+\infty}f(x)\,\mathrm{d}x$ 收敛，则不仅 $f(x)\to 0$，还有更强的结论 $x f(x)\to 0$。

（$x f(x)\to 0$ 的证明是经典练习：利用 $[x/2, x]$ 上的单调性做下界估计，留给读者。）

---

四、考研怎么考

把这个知识点整理成一张清单，四个选项级别的判断就全在里面：

| 条件 | 能推出的结论 | |---|---| | 收敛 + 极限存在 | 极限必为 $0$ | | 收敛 + 单调非负 | $f(x)\to 0$，且 $x f(x)\to 0$ | | 收敛 + 连续恒正 | 什么都推不出（尖峰反例） | | 收敛（一般函数） | 连有界都推不出 |

典型题目长这样：

> 例：设 $f(x)$ 在 $[0,+\infty)$ 上连续、非负，且 $\displaystyle\int_0^{+\infty}f(x)\,\mathrm{d}x=1$。则下列结论中正确的是（　） > > A. $\displaystyle\lim_{x\to+\infty}f(x)=0$　　B. 存在 $x_0>0$，使 $\displaystyle\int_0^{x_0}f(x)\,\mathrm{d}x=\int_{x_0}^{+\infty}f(x)\,\mathrm{d}x$ > > C. $f(x)$ 在 $[0,+\infty)$ 上有界　　D. $\displaystyle\lim_{x\to+\infty}f(x)$ 存在

A、C、D 全部被尖峰反例干掉；正确答案是 B——令 $F(x)=\displaystyle\int_0^xf(t)\,\mathrm{d}t$，则 $F$ 连续、单调增，$F(0)=0$，$F(+\infty)=1$，由介值定理存在 $F(x_0)=\dfrac{1}{2}$。

一句话总结：级数的通项是"离散的整块贡献"，必须趋零；积分里的函数值只是"一个点上的瞬时值"，对整体可以毫无影响。 判断概念题时，先问自己：这个结论需不需要补"极限存在"或"单调"才能成立？