以后有时间我也来写几篇文章讨论发散级数及其在数学物理中的应用。 现在先为这里的讨论添几根柴火。 :-)

我觉得星空兄用一个函数在某点处左右极限均存在且相等， 作为函数在该点处数值等于该极限的依据 (并用类似的方法论证 1-1+1-1+... 的确等于 1/2) 是不妥的。 一个函数完全可以在某点处左右极限均存在且相等， 但在该点上有一个截然不同的数值甚至根本没有数值。 只有在该点连续的函数才满足星空兄所说的性质。 而当我们讨论与 1-1+1-1+... 相联系的函数时并不能先验地对函数的连续性做出假定。 如果假定了， 实质上是对级数和作了一种特殊的定义。 无论哪一种情况， 都不能视为是对 1-1+1-1+... = 1/2 的 “证明” (不过可以视为对其 “合理性” 的 “证明” - 也许这正是星空兄的意图 :-)。

1-1+1-1+... 究竟等于多少？ 归根到底还是取决于级数和的定义 (当然这种定义要有一定的合理性， 否则很难有应用价值)。 这种定义所满足要求通常有这样几条：

1. 对所有传统意义上的收敛级数， 它必须等于传统的级数和。
2. ∑(a_n + b_n) = ∑a_n + ∑b_n。
3. ∑(c a_n) = c ∑a_n。

换句话说级数和 ∑ 是无穷维空间 V = {(a₁, a₂, ...)} 的一个子集到 R 的线性映射。 传统级数和的定义域较小。 各种广义和 (如 Abel sum, Borel sum, Cesaro Sum, etc) 是对该定义域的延拓。

一个毫无疑问的事实是： 象 1-1+1-1+... 这样的所谓发散级数的传统和是不存在的， 也就是说传统部分和 s_n 的极限是不存在的。 XXFF 所问的 (-1)^N 当 N 趋于无穷大时的极限也不存在， 但这并不对 1-1+1-1+... 的广义和等于 1/2 构成挑战， 因为后者既不需要、 也不可能假定 (-1)^N 的极限存在， 只有传统和的存在性才有赖于该极限是否存在。

广义和的定义通常有两类： 一类是对传统和 “函数化”， 然后定义广义和为函数的某种极限， 比如 Abel sum, Borel sum 等 (这类定义类似于对可去奇点的处理)； 另一类是用其它无穷序列 (比如部分和的平均值) 取代传统的部分和， 定义广义和为前者的极限， 比如 Cesaro Sum。 XXFF 所用的 1+X+X²+X³+... 是 Abel sum 的思路， 但 Abel sum 是用 x→-1 来定义广义和， 这一方法不能用于 x=-1， 因为后者正是传统和本身， 它并不存在。

有一个问题我觉得很有意义， 但没有查过文献。 那就是广义和作为传统和的延拓， 是否是唯一的？ 我没见过任何两种广义和对同一个发散级数 (即在传统级数和的定义域之外的级数) 给出不同的结果， 但也没见有关唯一性的证明 (或否证)。 如果哪位朋友知道的话欢迎介绍一下。