积分判别法是利用非负函数的单调性和积分性质, 并以反常积分为比较对象来判断正项级数的敛散性.
定理 12.9
设 f f f 为 [ 1 , + ∞ ) [1,+\infty) [1,+∞) 上的减函数, 则级数 ∑ n = 1 ∞ f ( n ) \sum_{n=1}^{\infty} f(n) ∑n=1∞f(n) 收敛的充分必要条件是反常积分 ∫ 1 + ∞ f ( x ) d x \int_{1}^{+\infty} f(x) \mathrm{d} x ∫1+∞f(x)dx 收敛.
证
设 ∑ n = 1 ∞ f ( n ) \sum_{n=1}^{\infty} f(n) ∑n=1∞f(n) 收敛, 其和为 S S S, 则 lim n → ∞ f ( n ) = 0 \lim \limits_{n \rightarrow \infty} f(n)=0 n→∞limf(n)=0. 又因为 f f f 为 [ 1 , + ∞ ) [1,+\infty) [1,+∞) 上的减函数,所以 f ( x ) ⩾ 0 f(x) \geqslant 0 f(x)⩾0, 从而 f f f 是 [ 1 , + ∞ ) [1,+\infty) [1,+∞) 上非负的减函数, ∑ n = 1 ∞ f ( n ) \sum_{n=1}^{\infty} f(n) ∑n=1∞f(n) 为正项级数.
于是对任意正整数 m m m, 有
∫ 1 m f ( x ) d x = ∑ n = 2 m ∫ n − 1 n f ( x ) d x ⩽ ∑ n = 1 m − 1 f ( n ) ⩽ ∑ n = 1 ∞ f ( n ) = S . \int_{1}^{m} f(x) \mathrm{d} x=\sum_{n=2}^{m} \int_{n-1}^{n} f(x) \mathrm{d} x \leqslant \sum_{n=1}^{m-1} f(n) \leqslant \sum_{n=1}^{\infty} f(n)=S . ∫1mf(x)dx=n=2∑m∫n−1n