关于二重级数柯西准则与非负项比较检验关联性的问询

嘿，这个问题问到点子上了，我来给你捋明白其中的逻辑关系～

先复习下二重级数的柯西准则 #

咱们先把核心准则摆出来：对于二重级数$\sum_{m,n=1}^\infty a_{m,n}$，它收敛的充要条件是：对任意给定的$\epsilon>0$，总能找到一个正整数$N$，只要取的矩形区域右下角的坐标$(m_2,n_2)$和左上角的$(m_1,n_1)$都大于$N$，这个矩形区域内所有项的和的绝对值就能小于$\epsilon$。用数学式子写就是：
$$\left|\sum_{m=m_1}^{{m_2}\sum_{n=n_1}}{n_2}a_{m,n}\right| < \epsilon$$
说白了就是，只要把求和的区域往“无穷远”挪，那这块区域里的项加起来的绝对值能任意小。

怎么从柯西准则推出非负项的比较检验？ #

假设我们有两个二重级数：$\sum a_{m,n}$和$\sum b_{m,n}$，满足所有项都是非负的，而且对每一对$(m,n)$都有$0 \leq a_{m,n} \leq b_{m,n}$，同时$\sum b_{m,n}$是收敛的。

因为$\sum b_{m,n}$收敛，根据柯西准则，随便给个$\epsilon>0$，肯定能找到一个$N$，当$m_1,m_2>N$、$n_1,n_2>N$时，这个矩形区域内$b$的项加起来的和小于$\epsilon$。

而$a_{m,n}$都是非负的，所以这个矩形区域内$a$的项的和肯定满足：
$$0 \leq \sum_{m=m_1}^{{m_2}\sum_{n=n_1}}{n_2}a_{m,n} \leq \sum_{m=m_1}^{{m_2}\sum_{n=n_1}}{n_2}b_{m,n} < \epsilon$$
这就直接满足了$\sum a_{m,n}$的柯西收敛条件呀！所以$\sum a_{m,n}$必然收敛。

反过来，如果$\sum a_{m,n}$发散，因为非负项级数发散意味着它的部分和会无限增大，那$\sum b_{m,n}$的部分和肯定也会跟着无限增大，所以$\sum b_{m,n}$也发散。这就把比较检验的逻辑给串起来了。

为什么比较检验必须要求项非负？ #

这里的关键就是非负性给了我们两个核心保障：

1. 二重级数的部分和是单调递增的——每加一项都是非负的，部分和只会涨不会跌；
2. 任意矩形区域内的项的和也是非负的，这样我们才能把$a$的和稳稳地夹在0和$b$的和之间。

如果没有非负性，比如存在负项，那情况就乱了：可能$a$的矩形和因为正负抵消，绝对值很小，但整个级数其实是发散的；或者$a_{m,n} \leq b_{m,n}$，但$b$收敛，$a$却因为正负项的振荡而发散。柯西准则本身不限制项的符号，但比较检验的推导完全依赖非负性带来的这些“良好性质”，没了它，推导链条就断了。

有没有其他适用的柯西准则？ #

严格来说，二重级数的核心柯西准则就一个，但可以有不同的等价表述：比如把“矩形区域”换成“任意有界的下标集合”——只要这个集合里的所有下标$(m,n)$都足够大，那集合内项的和的绝对值就能任意小，这个和矩形版本是等价的。

另外，如果是针对绝对收敛的情况，也可以衍生出一个柯西准则：$\sum a_{m,n}$绝对收敛当且仅当$\sum |a_{m,n}|$满足原柯西准则。不过这其实是原准则的推论，因为绝对收敛的级数必然收敛，而收敛的级数如果绝对收敛，那绝对值级数也一定收敛。

还有一种是针对累次级数（先对$m$求和再对$n$求和，或者反过来）的柯西准则，但那是针对“分步求和”的情况，和咱们说的二重级数本身的柯西准则不是同一个概念，就不多展开了。

总的来说，核心的柯西准则还是咱们最开始说的矩形区域版本，其他的要么是等价表述，要么是针对特殊场景的衍生版本。

内容的提问来源于stack exchange，提问作者user482939