1 − 2 + 3 − 4 + …
在数学中,1 − 2 + 3 − 4 + …表示以由小到大的接续正整数,依次加后又减、减后又加,如此反复所构成的无穷级数。它是交错级数,若以Σ符号表示前m项之和,可写作:
此无穷级数发散,即其部分和的序列(1, −1, 2, −2, …)不会趋近于任一有穷极限。也就是说,单从极限的角度看的话,1 − 2 + 3 − 4 + …不存在和。不过,在18世纪中期,莱昂哈德·欧拉写出了一个他承认为悖论的等式:
该等式的严谨解释在很久以后才出现。自1890年起,恩纳斯托·切萨罗、埃米尔·博雷尔与其他一些数学家就在研究有哪些定义良好的方法,可以给发散级数赋予广义和[注 1]——其中包含了对欧拉结果的新解释。这些求和法大部分可简单地指定1 − 2 + 3 − 4 + …的“和”为1⁄4。切萨罗求和是少数几种不能计算出1 − 2 + 3 − 4 + …之和的方法,因为此级数求和需要某个略强的方法——譬如阿贝耳求和。
级数1 − 2 + 3 − 4 + …与格兰迪级数1 − 1 + 1 − 1 + …有紧密的联系。欧拉将这两个级数当作1 − 2n + 3n − 4n + …的特例(其中n为任意自然数),这个级数既直接扩展了他在巴塞尔问题上所做的工作,同时也引出了我们现在所知的狄利克雷η函数和黎曼ζ函数。
发散性
级数项(1, −2, 3, −4, …)不趋近于0,因此通过项测试便可确定1 − 2 + 3 − 4 + …发散。不过作为后文的参考,此处也以基础的方法去证明此级数发散。首先,从定义可知,无穷级数的敛散性是由其部分和的敛散性所确定的,1 − 2 + 3 − 4 + …的部分和为:[1]
- 1 = 1,
- 1 − 2 = −1,
- 1 − 2 + 3 = 2,
- 1 − 2 + 3 − 4 = −2,
- 1 − 2 + 3 − 4 + 5 = 3,
- 1 − 2 + 3 − 4 + 5 − 6 = −3,
- …
此部分和序列的一个显著特点是每个整数都恰好出现一次——如果将空部分和计入还包括0——因此它还说明了整数集 是可数的。[2]很明显的,不可能让变化的结果收敛到一个确定的数[注 2],因此1 − 2 + 3 − 4 + …发散。
求和的启发
稳定性与线性
由于各项 1, −2, 3, −4, 5, −6, … 以一种简单模式排列,级数1 − 2 + 3 − 4 + …可以透过移项以及逐项求和,再透过解方程得出一数值。暂时假设s = 1 − 2 + 3 − 4 + …这样的写法有意义——其中的s为常数,那么以下的计算将说明s = 1⁄4:
因此,s = 1⁄4[3],如右图所示。
尽管1 − 2 + 3 − 4 + …没有通常意义的和,等式s = 1 − 2 + 3 − 4 + … = 1⁄4却可被赋予另外一种意义。发散级数之“和”的一种普遍定义被称为一种求和法或可和法——通常是对于符合特定条件的一类级数可求和。求和法有许多种(部分将在下文中有所描述),这些方法跟普通求和也许有着一些共同的特性,例如:
- 线性:设AΣ为一种级数求和法。如果对于AΣ可定义其上的那些序列,AΣ是个线性泛函的话,则简单地称AΣ是线性的。也就是说,对于序列r, s和标量k,有AΣ(k r+s)=k AΣ(r)+AΣ(s)。
- 稳定性:如果a是一个初项为a0的序列,设a*为a去掉初项后的序列,即对于一切n有a*n=an+1,那么AΣ(a)有定义当且仅当AΣ(a*)有定义。而且,AΣ(a)=a0 + AΣ(a*)。
因此,以上的计算实际上证明的是下面的内容:给出任意的线性且稳定的可和法,并能对级数1 − 2 + 3 − 4 + …求和,则结果必为1⁄4。此外,由于:
故此方法也一定能对格兰迪级数求和,并得结果为
柯西乘积
1891年,恩纳斯托·切萨罗在他的一篇论文中指出有可能将发散级数严谨地纳入微积分学,并写道:
已可写出
并断定两边均等于1⁄4。[4]
对切萨罗而言,这个等式是他前一年发表的一个定理的应用,该定理可说是在历史上关于可求和发散级数的第一个定理。关于此求和法的详细内容请见下文;其中心思想是:1 − 2 + 3 − 4 + …是1 − 1 + 1 − 1 + …对1 − 1 + 1 − 1 + …的柯西乘积。
两个无穷级数的柯西乘积可被定义,即使在它们都发散的时候。例如,若Σan= Σbn= Σ(−1)n,柯西乘积的项由有穷对角线求和的方式给出:
积级数为:
所以,如果有一种求和法可以保持两个级数的柯西乘积,并能得出 的结果,那么它也能够求出 。由前一节的结果可知,当方法是线性、稳定并保持柯西乘积的时候,1 − 1 + 1 − 1 + …与1 − 2 + 3 − 4 + …的可求和之间是等价的。
切萨罗的定理是一个微妙的例子。级数1 − 1 + 1 − 1 + …在最弱的意义上是切萨罗可求和,称作(C, 1)-可求和,然而1 − 2 + 3 − 4 + …则需要切萨罗的定理的一个更强的形式[5],它是(C, 2)-可求和的。由于切萨罗的定理的所有形式均为线性且稳定的,所得的值正是此前计算所得的。
特殊方法
切萨罗与赫尔德
若1 − 2 + 3 − 4 + …的(C, 1)切萨罗和存在,要找到其数值就需要计算该级数部分和的算术平均值。[6] 部分和为:
- 1, −1, 2, −2, 3, −3, …,
这些部分和的算术平均值为:
- 1, 0,2⁄3, 0,3⁄5, 0,4⁄7, ….
此平均值序列不收敛,因此1 − 2 + 3 − 4 + …不是切萨罗可求和。
切萨罗求和有两种有名的广义化:让这些在概念上更简单的是(H, n)法的序列,其中n为自然数。(H, 1)和为切萨罗求和,更高的方法则重复平均值的计算。在上文中,偶数项平均值趋近于1⁄2,奇数项平均值则全部等于0,所以平均值的平均值趋近于 0 与1⁄2的平均数,即1⁄4。[7]因此,1 − 2 + 3 − 4 + …是(H, 2)-可求和,其值为1⁄4。
符号“H”代表奥图·赫尔德。1882年,他第一次证明了被现在数学家们所看作的在阿贝耳求和与(H, n)求和之间的关系;-1 + 2 − 3 + 4 − …是他给的第一个例子[8]。1⁄4是1 − 2 + 3 − 4 + …的(H, 2)和这个事实也保证了它是阿贝耳和;这些都将在下文直接予以证明。
另外一个常用的切萨罗求和的广义化,是(C, n)法的序列。已经证明了(C, n)求和与(H, n)求和均能给出相同的结果,但是它们却有不同的历史背景。在1887年,切萨罗已经接近于陈述出(C, n)求和的定义了,但是他只给出了少量的例子。特别的,他在计算1 − 2 + 3 − 4 + …为1⁄4时所采用的方法可能是(C, n)的另一种描述,但是在当时并没有对其进行证明。他在1890年正式定义了(C, n)法,以陈述他的定理:一个(C, n)-可求和级数与一个(C, m)-可求和级数的柯西乘积是(C, m + n + 1)-可求和。[9]
阿贝耳求和
在一份1749年的报告中,莱昂哈德·欧拉承认级数1 − 2 + 3 − 4 + …是发散的,但还是决定要对其求和:
“ | ……当说该级数1 − 2 + 3 − 4 + 5 − 6 …的和为1⁄4时,那肯定看起来是悖论。因为对该级数的100项相加,我们得到了-50,但是,101项的和却给出+51,这与1⁄4是截然不同的,而且这种差距还会随着项数增加而变得更大。不过我在前一段时间已经注意到了,有必要给“和”这个词赋予一个更加广泛的意义……。[10] | ” |
欧拉曾几次提议将“和”这个词广义化。在1 − 2 + 3 − 4 + …的情况下,他的设想与现在所知的阿贝耳求和相似:
“ | ……毫无疑问,级数1 − 2 + 3 − 4 + 5 + …的和为1⁄4;由于它是由公式1⁄(1+1)2展开而成,而此公式的值明显为1⁄4。在考虑一般级数1 − 2x + 3x2 − 4x3 + 5x4 − 6x5 + …后这个概念变得更明晰了。这个一般级数是由表达式1⁄(1+x)2展开而成,当我们让 x = 1 后,这个级数就确确实实地相等了。[11] | ” |
至少在当绝对值 |x| < 1 时,有许多方式去验证欧拉的下列等式正确:
可以对右边作泰勒展开,或使用正规的多项式长除。从左方开始,可采用上文的一般启发式,并尝试乘以两次(1+x),或对几何级数1 − x + x2 − …求平方。欧拉似乎也提出可以对后者级数的每项求导。[12]
以现代的观点看,级数 1 − 2x + 3x2 − 4x3 + … 并没有定义一个在x = 1时的函数,因此不能简单地把值代入到其相应的表达式。不过由于此级数在|x| < 1时定义了一个函数,所以仍可取x趋近于1时的极限,而这就是阿贝耳和的定义:[6]
欧拉与波莱尔
欧拉对该级数还使用了另外一种技巧:欧拉变换,这是他自己的发明。要计算欧拉变换,首先要有可形成交错级数的正项序列——在此情况下为1, 2, 3, 4, …。将此序列中的首项标示为 a0。
下一步需要1, 2, 3, 4, …的前向差分序列;这恰好是1, 1, 1, 1, …。将该序列的首项标示为 Δa0。欧拉变换也基于差分的差分,以及更高的迭代,但是在1, 1, 1, 1, …各项之间的前向差分均为0。1 − 2 + 3 − 4 + …的欧拉变换便可定义为:
用现代术语来说,1 − 2 + 3 − 4 + …是欧拉可求和且其值为1⁄4。
欧拉可求和也蕴涵了另一种可求和性。将1 − 2 + 3 − 4 + …表示为:
就有了相关的处处收敛级数:
因此 1 − 2 + 3 − 4 + … 的波莱尔和为:[13]
尺度分离
赛切夫与Woyczyński只通过两个物理原理便得出了1 − 2 + 3 − 4 + … =1⁄4,这两个原理分别是:无穷小松弛(infinitesimal relaxation)与尺度分离(separation of scales)。为求表达准确,这些原理促使了他们去定义一系列的“φ-求和法”,所有这些方法都可以将级数求和得1⁄4:
- 如果φ(x)是一个函数,其一、二阶导数在(0, ∞)上是连续且可积的,有φ(0) = 1 ,并且φ(x)与xφ(x)在+∞时的极限均为0,则:[14]
该结果推广了阿贝耳求和,当取φ(x) = exp(−x)时可得到先前的等式。此一般陈述可通过将关于m的级数中的项配对,并将表达式变换为黎曼积分的形式予以证明。在后一步中,对1 − 1 + 1 − 1 + …的相应证明运用了中值定理,但在这里需要泰勒公式中更强的拉格朗日形式。
广义化
1 − 1 + 1 − 1 + …的三重柯西乘积为1 − 3 + 6 − 10 + …,为三角形数的交错级数;其阿贝耳与欧拉和为1⁄8。[15]1 − 1 + 1 − 1 + …的四重柯西乘积为1 − 4 + 10 − 20 + …,为四面体数的交错级数,其阿贝耳和为1⁄16。
另一个1 − 2 + 3 − 4 + …在略微不同的方向的广义化是一般级数1 − 2n + 3n − 4n + …。对正整数n来说,此级数有下列的阿贝耳和:[16]
其中Bn是伯努利数。对大于0的偶数n,则化约为:
后一个和成为尼尔斯·亨利克·阿贝尔特别嘲笑的对象,在1826年时他说:
- “发散级数纯粹是魔鬼的工作,胆敢去找到任何证明它们的行为都是羞耻的。如果用到它们,可以从中获得想要的东西;同时也是它们,制造了如此多的不愉快与如此多的悖论。试问能想到比下面内容更令人惊恐的东西吗:
- 0 = 1 − 2n + 3n − 4n + etc.
- 其中,n为正数。这是一个笑料,朋友。”[17]
切萨罗的老师欧仁·查理·卡塔兰也轻视发散级数。在卡塔兰的影响下,切萨罗早期提出1 − 2n + 3n − 4n + …的“习用式”是“荒谬的等式”;而在1883年,切萨罗表明了当时的一个典型看法:这些公式是错的,不过在某些场合在形式上是有用的。最后,在他1890年的书《Sur la multiplication des séries》中,切萨罗从定义开始采用了一个现代的做法。[18]
此级数在n为非整数值的情况亦有所研究;这产生了狄利克雷η函数。欧拉研究1 − 2 + 3 − 4 + …相关级数的部分动机是η函数的函数方程,这直接导向了黎曼ζ函数的函数方程。欧拉在正偶数(包括在巴塞尔问题中)时找到这些函数值的建树已让他闻名,他也试图找到正奇数(包括在阿培里常数中)时的值,但这个问题直到今天仍是难以解决的。η函数通过欧拉的方法解决会比较简单,因为它的狄利克雷级数是处处阿贝耳可求和;而ζ函数的狄利克雷级数则非常难以对发散的部分求和。[19]例如,1 − 2 + 3 − 4 + …在η函数中的相似级数是非交错级数1 + 2 + 3 + 4 + …,该级数在现代物理学上有很深的应用,不过需要非常强的方法才能求和。
参见
注释
参考来源
- ^ Hardy p.8
- ^ Beals p.23
- ^ Hardy (p.6) 结合格兰迪级数1 − 1 + 1 − 1 + …的计算提出了此推导过程。
- ^ "One already writes(1 − 1 + 1 − 1 + …)2 = 1 − 2 + 3 − 4 + …and asserts that both the sides are equal to .", Ferraro, p.130.
- ^ Hardy, p.3; Weidlich, pp.52–55.
- ^ 6.0 6.1 B.A.卓里奇. 《数学分析》下册. 高等教育出版社. 2006: 346. ISBN 9787040202571.
- ^ Hardy, p.9. 要了解详细的计算过程,参看 Weidlich, pp.17–18.
- ^ Ferraro, p.118; Tucciarone, p.10. Ferraro批评了Tucciarone对赫尔德他自己对一般结论的看法的解释(p.7),不过在赫尔德对-1 + 2 − 3 + 4 − …的处理方式上,两位作者的解释是相似的。
- ^ Ferraro, pp.123–128.
- ^ Euler et al, p.2. 虽然这篇文章写于1749年,但直到1768年才发表。
- ^ Euler et al, pp.3, 25.
- ^ 例如,Lavine (p.23)提倡多项式长除,但并没有真的列出计算步骤;Vretblad (p.231)计算了柯西乘积。欧拉的建议是含糊的;参看Euler et al, pp.3, 26。 约翰·贝兹甚至提出一种包括将点集与量子谐振子相乘的范畴理论法。Baez, John C. 欧拉对 1 + 2 + 3 + … = 1/12 的证明 (PDF) (页面存档备份,存于互联网档案馆)。 math.ucr.edu (2003年12月19日)。 2007年3月11日检索。
- ^ Weidlich p. 59
- ^ Saichev and Woyczyński, pp.260–264.
- ^ Kline, p.313.
- ^ Knopp, p.491; 在 Hardy, p.3. 中的这一点有误
- ^ Grattan-Guinness, p.80. 参看 Markushevich, p.48, 另一个法语转译版本;保留了原有的语调。
- ^ Ferraro, pp.120–128.
- ^ Euler et al, pp.20–25.
书目
- Beals, Richard. Analysis: an introduction. Cambridge UP. 2004. ISBN 0-521-60047-2.
- Davis, Harry F. Fourier Series and Orthogonal Functions. Dover. May 1989. ISBN 0-486-65973-9.
- Euler, Leonhard; Lucas Willis; and Thomas J Osler. Translation with notes of Euler's paper: Remarks on a beautiful relation between direct as well as reciprocal power series. The Euler Archive. 2006 [2007-03-22]. (原始内容存档于2012-07-10). Originally published as Euler, Leonhard. Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques. Memoires de l'academie des sciences de Berlin. 1768, 17: 83–106.
- Ferraro, Giovanni. The First Modern Definition of the Sum of a Divergent Series: An Aspect of the Rise of 20th Century Mathematics. Archive for History of Exact Sciences. June 1999, 54 (2): 101–135. doi:10.1007/s004070050036.
- Grattan-Guinness, Ivor. The development of the foundations of mathematical analysis from Euler to Riemann. MIT Press. 1970. ISBN 0-262-07034-0.
- Hardy, G.H. Divergent Series. Clarendon Press. 1949. LCCN 91-0 – 0.
- Kline, Morris. Euler and Infinite Series. Mathematics Magazine. November 1983, 56 (5): 307–314 [2007-04-20]. (原始内容存档于2019-08-21).
- Lavine, Shaughan. Understanding the Infinite. Harvard UP. 1994. ISBN 0674920961.
- Markushevich, A.I. Series: fundamental concepts with historical exposition English translation of 3rd revised edition (1961) in Russian. Hindustan Pub. Corp. 1967. LCCN 68-0 – 0.
- Alexander I. Saichev, and Wojbor A. Woyczyński. Distributions in the physical and engineering sciences, Volume 1. Birkhaüser. 1996. ISBN 0-8176-3924-1.
- Tucciarone, John. The development of the theory of summable divergent series from 1880 to 1925. Archive for History of Exact Sciences. January 1973, 10 (1-2): 1–40. doi:10.1007/BF00343405.
- Vretblad, Anders. Fourier Analysis and Its Applications. Springer. 2003. ISBN 0387008365.
- Weidlich, John E. Summability methods for divergent series. Stanford M.S. theses. June 1950. OCLC 38624384.