在数学分析、数值计算、泛函分析等诸多领域中，“收敛性”是描述序列、级数或函数族趋近于某个确定极限的核心概念。不同对象的收敛性判别需依托不同的规则与方法，掌握这些方法是分析数学问题的基础。以下将按数列、数项级数、函数列与函数项级数、反常积分四类常见对象，系统梳理收敛性的判别方法。
一、数列的收敛性判别方法
数列收敛的本质是当项数足够大时，数列的项无限趋近于某个固定常数。常用判别法如下：
1. **定义法**：若存在常数$a$，对于任意$\varepsilon>0$，总存在正整数$N$，当$n>N$时，$|x_n – a|<\varepsilon$，则数列$\{x_n\}$收敛于$a$。这是收敛性判断的根本依据，但直接应用需预知极限值。
2. **柯西收敛准则**：数列$\{x_n\}$收敛当且仅当对任意$\varepsilon>0$，存在正整数$N$，当$m,n>N$时，$|x_m – x_n|<\varepsilon$。该准则无需预知极限，仅通过数列自身的“渐近稳定性”判断，是数列收敛的充要条件。
3. **单调有界定理**：若数列$\{x_n\}$单调递增且有上界，或单调递减且有下界，则数列必收敛。这是实数完备性的重要体现，适用于递推数列等单调性明显的场景，如$x_{n+1}=\sqrt{2+x_n}$（$x_1=\sqrt{2}$），单调递增且有上界2，故收敛。
4. **夹逼准则**：若存在数列$\{y_n\}$、$\{z_n\}$，使得$y_n\leq x_n\leq z_n$对所有$n$成立，且$\lim_{n\to\infty}y_n=\lim_{n\to\infty}z_n=a$，则$\lim_{n\to\infty}x_n=a$。常用于处理难以直接求极限的数列，如$\lim_{n\to\infty}(n!)^{1/n}$。
5. **海涅定理**：数列$\{x_n\}$收敛于$a$当且仅当对任意收敛于$a$的数列$\{t_n\}$（$t_n\neq a$），都有$\lim_{n\to\infty}f(t_n)=a$。该定理搭建了数列极限与函数极限的桥梁，可通过函数极限的存在性判断数列极限。
二、数项级数的收敛性判别方法
数项级数$\sum u_n$的收敛性等价于其部分和数列$\{S_n\}$（$S_n=\sum_{k=1}^n u_k$）的收敛性，需区分正项级数与任意项级数分别讨论：
1. **正项级数（$u_n\geq0$）**
- **比较判别法（极限形式）**：若$\lim_{n\to\infty}\frac{u_n}{v_n}=l$（$0
– **根值判别法（柯西判别法）**：若$\lim_{n\to\infty}\sqrt[n]{u_n}=\rho$，$\rho<1$时收敛；$\rho>1$时发散；$\rho=1$时失效。常用于含$n$次幂的级数，如$\sum(\frac{n}{3^n})$。
– **积分判别法**：若$f(x)$在$[1,+\infty)$非负递减且$u_n=f(n)$，则$\sum u_n$与$\int_1^{+\infty}f(x)dx$同敛散。如$\sum\frac{1}{n^p}$的敛散性可通过积分$\int_1^{+\infty}\frac{1}{x^p}dx$判断。
– **拉贝判别法**：若$\lim_{n\to\infty}n(1-\frac{u_{n+1}}{u_n})=r$，$r>1$时收敛；$r<1$时发散；$r=1$时失效。用于比值判别法失效的情况，如$\sum\frac{1}{n(\ln n)^p}$。
2. **任意项级数**
- **绝对收敛与条件收敛**：若$\sum|u_n|$收敛，则$\sum u_n$绝对收敛（必收敛）；若$\sum u_n$收敛但$\sum|u_n|$发散，则为条件收敛。绝对收敛可通过正项级数判别法判断。
- **莱布尼茨判别法**：针对交错级数$\sum(-1)^n a_n$（$a_n>0$），若$\{a_n\}$单调递减且$\lim_{n\to\infty}a_n=0$，则级数收敛。如$\sum\frac{(-1)^n}{n}$收敛且为条件收敛。
– **狄利克雷判别法**：若部分和数列$\{S_n=\sum_{k=1}^n a_k\}$有界，$\{b_n\}$单调递减趋于0，则$\sum a_n b_n$收敛。
– **阿贝尔判别法**：若$\sum a_n$收敛，$\{b_n\}$单调有界，则$\sum a_n b_n$收敛。
三、函数列与函数项级数的收敛性
需区分**逐点收敛**与**一致收敛**：逐点收敛是对定义域内每个点$x$，数列$\{f_n(x)\}$收敛；一致收敛是数列$\{f_n(x)\}$在整个定义域上“同步”趋近于$f(x)$。
1. **逐点收敛**：对每个$x\in D$，用数列收敛判别法判断$\{f_n(x)\}$的收敛性即可。
2. **一致收敛**
– **柯西一致收敛准则**：函数列$\{f_n\}$在$D$上一致收敛当且仅当对任意$\varepsilon>0$，存在$N\in\mathbb{N}^+$，当$m,n>N$时，对所有$x\in D$有$|f_m(x)-f_n(x)|<\varepsilon$；函数项级数的一致收敛等价于部分和数列的一致收敛。
- **魏尔斯特拉斯判别法（M判别法）**：若存在$M_n\geq0$，使得$|u_n(x)|\leq M_n$对所有$x\in D$成立，且$\sum M_n$收敛，则$\sum u_n(x)$在$D$上一致收敛。如$\sum\frac{x^n}{n^2}$在$[-1,1]$上一致收敛。
- **狄尼定理**：若$\{f_n(x)\}$是闭区间$[a,b]$上的连续函数列，逐点收敛于连续函数$f(x)$，且$\{f_n(x)\}$单调（对每个$x$），则$\{f_n(x)\}$在$[a,b]$上一致收敛。
- **狄利克雷/阿贝尔判别法**：函数项级数版与数项级数类似，将“部分和有界”“数列单调有界”替换为“部分和一致有界”“函数列单调一致有界”即可。
四、反常积分的收敛性判别
反常积分包括**无穷限反常积分**（如$\int_a^{+\infty}f(x)dx$）与**瑕积分**（如$\int_a^b f(x)dx$，$x=b$为瑕点）：
1. **正函数反常积分**
- **比较判别法（极限形式）**：若$\lim_{x\to+\infty}\frac{f(x)}{g(x)}=l$（$0