本帖最后由 雪山飞狐D 于 2018-6-21 11:59 编辑
看上去好像是一群国外的深井冰在试图糊弄着愚笨的欧洲人民，可惜流传到中国，中国学生的数学底蕴远远超乎那群英国佬的想象，一眼看破真相。民科再一次被火眼金睛的我们所识破，一切都是一个笑话罢了。 然而，真的到此为止了吗？这群英国佬当真只是无聊深井冰？貌似视频里的那个Tony还是诺丁汉大学的物理学家。啊呀呀，这么大的来头只是为了开个大众玩笑么？如果是错的，为什么这个式子会在物理学上有着深刻的影响与应用？ 我们应该更冷静的思考一下，这式子的背后究竟是什么。 ◆ 我们在求什么 事实上，就像在中学时，老师为了向学生们说明为什么圆锥的体积是同底等高圆柱体积的三分之一时，只是用一个圆锥型容器装了三次水然后正好倒满一个同底等高的圆柱型容器一样。中学老师不会真正给你讲述重积分的计算，Tony也不会真正告诉你全体自然数求和的数学背景。这些看上去是充满漏洞，其实只是为了给你演示这个结论的存在，而非严格意义上的证明。 为了追根溯源，我们应当先理解一个本质上的问题：我们在求什么？ 看上去又是一个咬文嚼字的问题，但如果只是玩文字游戏扣定义细节，那我也没有写这些的必要了。 没错，我们是在求“和”，这个答案显而易见。然而，“和”的概念是怎样而来的呢？ 对于有穷个数的相加，“和”的确定是无可争议的——加起来得到什么就是什么。 然而一旦被加数的项数变成了无穷大，我们就很难直接把我们要求的这个“和”给立马拎出来，而是需要用到极限的思想，去对我们的“和”进行一个逼近。 在大多数人接触到的传统的数学中，无穷级数的和是由这个级数前n项和来逼近的。 换句话说，对于一个级数
我们对它的前n项进行求和，得到一个数列{An}，其中
则我们说该级数和为A。 以上，我们严格的给出了一个级数求和的方式：用级数的前n项和去逼近其真实的值。按这种方式，我们得到的和是所谓的柯西(Cauchy)和。 我们有理由相信按照柯西和的方式求得的“和”是正确且严谨的，但是，我们有什么理由相信，就不存在其它的同样正确而严谨的途径，来求得无穷级数的“和”呢？ 意大利数学家切萨罗(Cesàro)，就提出了另一种方式去让我们求得无穷级数的“和”，同样利用极限去逼近，但切萨罗却是利用前n项的部分和的平均来完成这件事。切萨罗定义了一个新的数列{Cn}，其中
是这个级数的前n项部分和的平均，如果数列{Cn}收敛于C
则我们说该级数的和为C。 可以证明，如果级数在柯西和下求得结果为α，那么在切萨罗和下结果与柯西保持一致，也为α。 关于切萨罗和与柯西和的比较，我们暂且绕开计算复杂度不表，仅仅从数学的严谨性上来看，我们完全找不到一个理由去说：柯西和优于切萨罗和。我们应该认为，这两种求和的方式，起码在数学地位上是平等的。 无独有偶，对于无穷级数“和”的定义，除了切萨罗和外，还有阿贝尔(Abel)和、拉玛努金(Ramanujan)和等等，切萨罗还对上述求和进行推广，给出了广义切萨罗求和的概念。我们不应该在我们仅仅了解柯西和的情况下去否认这些各式各样的“和”的正确性。 但似乎切萨罗这群数学家们在干一件费力不讨好的事情，柯西和的定义不仅直观而且便于计算，得到的结果也不算糟糕，那么，刚刚说到的这些人们，是不是只是在做无用功呢？ ◆ 一二三四，再来一次 了解了我们在求什么，我们重新回到最开始的问题上。这次我们用理性的，科学的方式重新对刚刚那几个级数求一次和。 首先是格兰迪级数S1： 显然，柯西和似乎在这里并不适用了，格兰迪级数的前n项和An是在1、0之间摆动的一个数列，并没有收敛于某个数。如果我们手头只有柯西和这个工具，那么我们也只能对这个看似简单的级数束手无策，悻悻作罢。 这个时候，如果用切萨罗的方法求和又会怎样呢？ 我们来分别计算一下{An}与{Cn}，看看能得到怎样的结果：
可以看到，虽然柯西和不存在，但是切萨罗平均得到的数列却拥有极限1/2。所以，我们可以说，格兰迪级数具有切萨罗和为1/2。 我们发现，切萨罗求和比柯西和不仅是相容的（即柯西和若存在，则切萨罗和存在且与柯西和相同），而且在柯西和无法解决的发散级数中，切萨罗和也有着用武之地。 不仅仅是切萨罗和，前文提到的阿贝尔和、拉玛努金和等等求和，都可以处理格兰迪级数，并且得到一致的结果——1/2。 就好像无理数将有理数域扩充为实数域，虚数将实数域扩充为复数域。各式各样新的求和方式让我们对级数的本质有了更深刻的认识，对于发散级数那无穷个加号背后蕴含的东西，我们终于可以去进行理论计算，而非望洋兴叹。 现在，我们再来看看S2，这个呈增幅趋势正负摆动的级数是不是又像视频中所说，等于1/4呢？ 如果你拿出纸笔计算一下，你会遗憾的发现，级数S2做切萨罗平均后得到的数列{Cn}并不收敛。我们似乎又碰到了麻烦。难道S2就真的无法求和了吗？ 广义切萨罗求和再一次帮助我们解决了这个问题。这次我们是用前n项的部分和的平均的平均来逼近数列的和。 为了不使**充斥太多的符号和计算过程而显得晦涩难懂，在这里就不进行具体的计算，有兴趣的同学可以在切萨罗求和的维基百科中看到相关的定义。 在二阶切萨罗平均数列的逼近下，我们的的确确的求得了一个极限——1/4，这个和正是视频中给出的答案。同样，阿贝尔和、拉玛努金和也均一致得到这个正确的结论。 最后，就到了最让人不能接受的那个等式——自然数之和等于-1/12。 如果你动手算了，你会沮丧的发现，无论是柯西和、切萨罗和、广义切萨罗和（哪怕推广到无穷阶）还是阿贝尔和，对于全体自然数相加这个级数，居然都无能为力——似乎无论用什么办法去逼近这个和，得到的都是发散的结果。 然而拉玛努金和，却给出了这个正确的结果：-1/12。 求的拉玛努金和的具体过程，艰深而复杂。无法在**中给出证明，但我们已经知道，-1/12这样一个数字，并不是靠一个简单的数学把戏凭空捏造的，这其中涉及到相当有趣且深奥的数学理论。 ◆ 想更多一点 这篇小**的最后，让我们再想多一点点。 在第一个视频中，视频的制作者留下了一个有趣的问题：假设房间里有一盏灯，一分钟之后将它打开，30秒后关上，15秒再打开，以后每次操作时间减半，那么2分钟时，灯处于什么状态？ 忽略普朗克时间等因素不做讨论，我们从纯思维上的去考虑这个问题，就会发现，格兰迪级数的切萨罗和1/2反映的不正是反应了一个物理上的叠加态吗？ 又如视频中所说，全体自然数之和等于-1/12，物理上确实已经有相应的实验从统计量角度验证了这个等式的成立，并且该结论被广泛应用于弦论当中。另外关于这个等式，还有很多种证明，其中最简明的应该是黎曼ζ函数在-1处的解得延拓。
维基百科： 格兰迪级数： http://zh.wikipedia.org/wiki/%E6%A0%BC%E8%98%AD%E8%BF%AA%E7%B4%9A%E6%95%B8 切萨罗求和：http://zh.wikipedia.org/wiki/%E5%88%87%E8%90%A8%E7%BD%97%E6%B1%82%E5%92%8C 拉玛努金求和：http://en.wikipedia.org/wiki/Ramanujan_summation 黎曼ζ函数：http://zh.wikipedia.org/wiki/%E9%BB%8E%E6%9B%BCzeta%E5%87%BD%E6%95%B0
作者：pineislet
链接：https://www.zhihu.com/question/36864440/answer/69853980
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
| 
楼主
标题置顶
标题高亮
;){kind=link}